• Journal of Information Processing Systems
• /
• v.4 no.1
• /
• pp.33-40
• /
• 2008

Traceability has been held as an important factor in testing activities as well as model-driven development. Vertical traceability affords us opportunities to improve manageability from models and test cases to a code in testing and debugging phase. This paper represents a vertical test method which connects a system test level and an integration test level in testing stage by using UML. An experiment how traceability works to effectively focus on error spots has been included by using concrete examples of tracing from models to the code.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2002.05a
• /
• pp.139.1-139
• /
• 2002

• Proceedings of the Korean Nuclear Society Conference
• /
• 2002.05a
• /
• pp.148.1-148
• /
• 2002

• Proceedings of the Korean Nuclear Society Conference
• /
• 2004.05a
• /
• pp.107-107
• /
• 2004

• Proceedings of the Korean Nuclear Society Conference
• /
• 2002.10a
• /
• pp.146-146
• /
• 2002

• Proceedings of the Korean Nuclear Society Conference
• /
• 2002.10a
• /
• pp.167-167
• /
• 2002

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 2004.11a
• /
• pp.138-138
• /
• 2004

• Proceedings of the Korean Nuclear Society Conference
• /
• 2005.10a
• /
• pp.588-589
• /
• 2005

• 한국전산유체공학회:학술대회논문집
• /
• 2004.10a
• /
• pp.215-220
• /
• 2004

A mathematical formulation based on two-phase, two-fluid hyperbolic conservation laws is developed to investigate propagation of shock waves in one- and two-dimensions. We used a high resolution upwind scheme called the split-coefficient matrix method. Two extreme cases are computed for validation of the computer code: the states of a pure gas and a pure liquid. Computed results agreed well with the previous experimental and numerical results. It is studied how the shock wave propagation pattern is affected by the void fraction in the two-phase flow. The shock structure in a two-phase flow turned out, in fact, much deviated from the shape well known in the gas only phase.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.11a
• /
• pp.964-968
• /
• 1996

The demands of size and quality of large steel shaft forgings for ship building, power plant, steel plant, etc. are rapidly increasing, and some of these productions are manufactured from ingot weighing more than 300 tons. For use as rotating components. shafts require toughness, strength and homogeneity, and therefore are produced through a variety of heat treatments. According to the increase of ingot size, micro- and macrosegregation and also mass effect of the product increase. Thus, special care should be paid to the heat treatment of such large shaft forgings. In this paper, the heat treatment of large shaft forgings such as rotor and back-up roll is calculated using the commercial finite element code SYSWELD. Calculated distributions of temperature and phase are compared with experimental data. The continuous cooling transformation diagram, thermal and mechanical properites of each phase are used. The phase proportion, hardness and residual stress during water quenching are discussed.