• Nuclear Engineering and Technology
• /
• v.48 no.2
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2000.11a
• /
• pp.165-169
• /
• 2000

High level vibrationional environments induced while launching of spacecraft can damage sensitive equipment or payloads, unless the equipment is properly designed. This is a critical issue for KOMPSAT-2 which will carry a high resolution electro-optic camera and a sophisticated attitude and orbit control system. Thus careful consideration on the launch environment is required in the design stage of spacecraft. This requires generation of vibration specification for each component. This paper describes the generation process of vibrational specification for KOMPAT-2, which is designed and tested by Korean engineers.

• Computers and Concrete
• /
• v.17 no.3
• /
• pp.387-406
• /
• 2016

Confined transverse reinforcement was arranged in a plastic hinge region to resist the lateral load that increased the lateral confinement effect in the bridge substructure. Columns increased the seismic performance through securing stiffness and ductility. The calculation method of transverse reinforcements at plastic hinges is reported in the AASHTO-LRFD specification. This specification was only proposed for solid reinforced concrete (RC) columns. Therefore, if this specification is applied for another column as composite column besides the solid RC column, the column cannot be properly evaluated. The application of this specification is particularly limited for composite hollow RC columns. The composite hollow RC column consists of transverse, longitudinal reinforcements, cover concrete, core concrete, and an inner tube inserted in the hollow face. It increases the ductility, strength, and stiffness in composite hollow RC columns. This paper proposes a modified equation for economics and rational design through investigation of displacement ductility when applying the existing specifications at the composite hollow RC column. Moreover, a parametric study was performed to evaluate the detailed behavior. Using these results, a calculation method of economic transverse reinforcements is proposed.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.791-795
• /
• 2006

Urban transit is one of the most effective ways for efficient operation and construction of an urban transit by composition system which is liked originally such as rolling-stock, power, signal and infrastructure. Urban rail transit system is running in domestic, imports major equipments from advanced countries and setup for maintenance. But it takes long time because it does each organizations and lines. Also, signal, power and track system apply different standard by each construction organizations it causes an increasing construction of cost accordingly it desperately needs a systematic countermeasure. Therefore standard specification of urban transit have been establishing and operatingfor efficient operation of urban transit and base technology security that is populace ride to become a base of state economy. After track, power and signal system will be announced. Standard specification become more, the importance of administrationof standards is emphasized more. Specification administrator’s the importance which use a computing support tool recently in railroad part in embossed and is predicted to be more such forward. Therefore we propose the effective method of management with track, power signal system by constructed data-base system.

• Journal of KIISE:Software and Applications
• /
• v.29 no.5
• /
• pp.345-354
• /
• 2002

There have been many researches about monitoring and checking the implementations during run-time using formal requirement specification. They usually adopt temporal logics or their extensions to specify the requirements for the implementations. However, most of the systems fail to support the specification of requirements fir dynamic systems - systems whore components are created and removed during run-time. Unlike analysis or design models, most actual implementations are dynamic, so the notion of instances should be employed in the property specification language. In this paper, we show how we can monitor and check Java programs using our temporal logic for dynamic systems (HDTL). We suggest a framework in which the execution of Java programs are monitored and chocked against given HDTL requirements.

• Journal of Korea Multimedia Society
• /
• v.22 no.2
• /
• pp.299-310
• /
• 2019

Most web documents are written in Cartesian coordinates, so the study of vertical arrangement of text has been well organized, while the study of circular arrangement is very early. With the recent development of circular display devices, the demand for circular arrangement of texts is increasing. Thus, we proposed a CSS3 extended specification of polar coordinate layout for the circular placement of text. First, we defined the concept of fan model for the text arrangement in polar coordinate which is corresponding to box model in Cartesian coordinate. And, we described new definition on the directions of sentence, paragraph and text orientation in polar coordinate. Based on this new definitions, we developed the extended specification consisting of three parts. A part for setting the fan model, a part for setting directions, and a part for setting typesetting properties. To verify the feasibility of the proposed specification in current web browsers, a preprocessor was developed and sample contents were examined. We compared the code length of the sample contents implemented using other JavaScript library CssWarp.js so as to verify the efficiency of the proposed specification.

• Journal of Korean Society of Steel Construction
• /
• v.16 no.1 s.68
• /
• pp.135-144
• /
• 2004

Since Modern bridges have a tendency to make the spans continuous and longer, the effect of concrete shrinkage and creep is very important and must be evaluated appropriately for the durability and safety of steel-concrete composite bridges. However, highway design specification in current use prescribes $180^{1\;2}$ as the final shrinkage strain. which is for less value than one resulted from many experimental researches and cause some problems in the construction of composite bridges due to the understimation of shrinkage strain. Thus, in this paper nonlinear analysis with time-steps applying the CEB-FIP(90) provision have been conducted for plate girder bridge, box girder bridge and Preflex beam bridge and the linear equivalent shrinkage strain for the design of composite bridges. which produces the stress equal to the values from the nonlinear analysis, has been calculated by comparing the results with the values following highway design specification. The results yield appropriately double values than $180^{1\;2}$ which highway design specification prescribes.

• Journal of the Korea Society for Simulation
• /
• v.19 no.4
• /
• pp.161-167
• /
• 2010

To realize the U-healthcare system, the mobile patient monitoring system is of the essence. In this monitoring system, a patient's real-time data on biometrics and location must be transferred to predeterminate destination server ceaselessly. As the number of mobile patients increases steadily or mobile patients are moving into some specific area, the load balancing solution to real-time data congestion problem is needed. In this paper, we propose a new mobile patient monitoring system with Torus topology where three layers are connected hierarchically and the intermediate layer takes charge of priority-based load balancing. For the formalized design and verification of proposed system, we describe the overall structure with connectivity among its components and implement major components in pseudo-code by adopting a system specification-based approach. This approach makes the design and verification of our mobile patient monitoring system more flexible and accurate.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.9
• /
• pp.4207-4213
• /
• 2012

Software quality is strongly associated with requirement quality. Accordingly, companies are trying effect for enhancing requirement quality. But, it is difficult to verify the requirement of specification format, which have to rely on abnormal business knowledge of analyst. Also, it is insufficient to normal methodology or automated technique for enhancing requirement quality of specification format. In this paper, we propose the process of requirement verification and automated verification tool for enhancing requirement quality. we compare the external view design and internal view design for verifying requirement. In the case study, we evaluate the feasibility of the proposed automated verification technique of requirement.

• Journal of the Korean Society of Safety
• /
• v.30 no.6
• /
• pp.70-77
• /
• 2015

In this study, the governing design factors of GFRP-reinforced concrete bridge deck are analyzed for typical bridges in Korea. The adopted bridge deck is a cast-in-situ concrete bridge deck for the prestressed concrete girder bridge with dimensions of 240 mm thickness and 2.75 m span length from center-to-center of supporting girders. The selected design variables are the diameters of GFRP rebar, spacings of GFRP rebars and concrete cover thicknesses, Considering the absence of the specification relating GFRP rebar in Korea, AASHTO specification is used to design the GFRP-reinforced concrete bridge deck. The GFRP-reinforced concrete bridge deck is proved to be governed by the criteria about serviceability, especially maximum crack width, while steel reinforced concrete bridge deck is governed by the criteria on ultimate limit state. In addition, GFRP rebars with diameter of 16 mm ~ 19 mm should be used for the main transverse direction of decks to assure appropriate rebar spacings.