• Proceedings of the Korea Concrete Institute Conference
• /
• 2005.05a
• /
• pp.479-482
• /
• 2005

The concrete box girder members are extensively used as a superstructure in bridge construction. The load carrying capacity of concrete box girders in lateral direction is generally influenced by the sizes of haunch and web. The internal upper decks are restrained by the webs and exhibit strength enhancement due to the development of aching action. The current codes do not have generally consider the arching action of deck slab in the design because of complexity of the behavior. However, there are significant benefits in utilizing the effects of arching action in the design of concrete members. The main objective of this paper is to propose a rational method to predict the ultimate load of deck slab by considering various haunch sizes and web restraint effect of concrete box girder bridges. To this end, a comprehensive experimental program has been set up and seven large-scale concrete box girders have been tested. A transverse analysis model of concrete box girders with haunches is proposed and compared with test data. The results of present study indicate that the ultimate strength is significantly affected by haunch dimension. The increase of strength due to concrete arcing action is reduced with an increase of prestressing steel ratio in laterally prestressed concrete box girders and increases with a larger haunch dimension. The proposed theory allows more realistic prediction of lateral ultimate strength for rational design of actual concrete box girder bridges.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.2
• /
• pp.151-159
• /
• 2014

We discuss the implementation of a compiler for an imperative programming language, using monad in Haskell. This compiler involves a recursive-descent parser conducting nondeterministic parsing, in which backtracking occurs to try with other rules when the application of a production rule fails to parse an input string. Haskell has some strong facilities for parsing. Its algebraic types represent abstract syntax trees in a smooth way, and program codes by monad parsing are so concise that they are highly readable and code size is reduced significantly, comparing with other languages. We also deal with the runtime environment of the assembler and code generation whose target is the Stack-Assembly language based on a stack machine.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.21 no.1
• /
• pp.59-71
• /
• 2008

In this paper, a software framework that integrates computational and experimental simulation has been developed to simulate and test a large-scale structural system under earthquake loading. The proposed software framework does not need development of the computer codes for both dynamic and static simulations. Any general-purpose software can be utilized with a main control module and interface APIs. This opens up a new opportunity to facilitate use of sophisticated finite elements into hybrid simulation regime to enhance accuracy and efficiency of simulations. The software framework described in the paper is modular and uses object oriented programming concepts. A series of illustrative examples demonstrate that the system is fully-functional and is capable of running any number of experimental and/or analytical components.

• Journal of Radiation Protection and Research
• /
• v.10 no.2
• /
• pp.148-154
• /
• 1985

Radiation shield design for a shipping cask, KSC-1, was evaluated to verify that the cask can be used in the transportation of a spent fuel assembly discharged from KNU 5 & 6. Radiation source term of the spent fuel assembly was calculated with the computer program ORIGEN-79, QAD-CG, ANISN-KA and DOT 3.5 codes Were used in the shielding calculations and the nuclear cross section data needed was extracted from the DLC-23/CASK library. It is concluded that KSC-1 shipping cask satisfies the requirements specified in the relevant regulations under normal conditions of transport and under accident conditions in transport.

• Journal of the Korean Society of Safety
• /
• v.27 no.6
• /
• pp.14-19
• /
• 2012

The Helium cooled ceramic reflector(HCCR) test blanket module(TBM) has been designed and developed to participate the ITER(International Thermonuclear Experimental Reactor) test blanket program in Korea. The TBM was one of the main objectives for developing ITER for proving the tritium self-sufficiency and the heat transfers to produce the electricity with the breeding blanket concept. Among the TBM components, the first wall(FW) was the most important component in safety since it was directly faced a high level of a heat and fast neutrons from the plasma side and could protect the others components inside TBM. In this paper, the FW has been designed through the thermo-mechanical analysis considering ITER operation conditions. With the developed simple models, the stress limit analysis based on RCC-MR code which is the nuclear power plant design codes in France was evaluated for the allowable design criteria. The results showed that the designed FW model satisfied $1.5S_m$ or $3S_m$ of the allowable stress($S_m$) in RCC-MR code at the maximum stress region in the FW.

• Journal of Pharmaceutical Investigation
• /
• v.37 no.6
• /
• pp.377-395
• /
• 2007

Near infrared(NIR) spectral data have been used for the noninvasive analysis of various biological samples. Nonetheless, absorption bands of NIR region are overlapped extensively. It is very difficult to select the proper wavelengths of spectral data, which give the best PCR(principal component regression) models for the analysis of constituents of biological samples. The NIR data were used after polynomial smoothing and differentiation of 1st order, using Savitzky-Golay filters. To find the best PCR models, all-possible combinations of available principal components from the given NIR spectral data were derived by in-house programs written in MATLAB codes. All of the extensively generated PCR models were compared in terms of SEC(standard error of calibration), $R^2$, SEP(standard error of prediction) and SECP(standard error of calibration and prediction) to find the best combination of principal components of the initial PCR models. The initial PCR models were found by SEC or Malinowski's indicator function and a priori selection of spectral points were examined in terms of correlation coefficients between NIR data at each wavelength and corresponding concentrations. For the test of the developed program, aqueous solutions of BSA(bovine serum albumin) and glucose were prepared and analyzed. As a result, the best PCR models were found using a priori selection of spectral points and the final model selection by SEP or SECP.

• Journal of the Korea Society of Computer and Information
• /
• v.6 no.4
• /
• pp.6-11
• /
• 2001

After automatic translation system for hangul's romanization based on the World Wide Web converting korean-word. sentence, document to Transliteration letters by applying algorithm based phonological principles. even though a user do not know the basic principles of the usage of Korean-to-Romanization notations. It refers to corresponding character table that has been currently adopted the authority's standard proposition for Korean-to-Romanization notation rule concurrently, add to make possible to convert a machinized code as well. It Provides font for toggling Korean-English mode, insert-edit mode by assigning ASCII codes are hardly used to them. This program could be made in C++ programming language and Unified Modeling Language to implement various font. font-expanding and condensing, alternative printing.

• Nuclear Engineering and Technology
• /
• v.39 no.4
• /
• pp.287-298
• /
• 2007

As part of the $AP1000^{TM}$ pressurized water reactor design certification program, a series of integral systems tests of the nuclear steam supply system was performed at the APEX-1000 test facility at Oregon State University. These tests provided data necessary to validate Westinghouse safety analysis computer codes for AP1000 applications. In addition, the tests provided the opportunity to investigate the thermal-hydraulic phenomena expected to be important in AP1000 small-break loss of coolant accidents (SBLOCAs). The APEX-1000 facility is a 1/4-scale pressure and 1/4-scale height simulation of the AP1000 nuclear steam supply system and passive safety features. A series of eleven tests was performed in the APEX-1000 facility as part of a U.S. Department of Energy contract. In all, four SBLOCA tests representing a spectrum of break sizes and locations were simulated along with tests to study specific phenomena of interest. The focus of this paper is the SBLOCA tests. The key thermal-hydraulic phenomena simulated in the APEX-1000 tests, and the performance and interactions of the passive safety-related systems that can be investigated through the APEX-1000 facility, are emphasized. The APEX-1000 tests demonstrate that the AP1000 passive safety-related systems successfully combine to provide a continuous removal of core decay heat and the reactor core remains covered with considerable margin for all small-break LOCA events.

• Nuclear Engineering and Technology
• /
• v.45 no.4
• /
• pp.489-504
• /
• 2013

Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software development processes. The RPS software is typically modeled with function block diagrams (FBDs) in the design phase, and then mechanically translated into C programs in the implementation phase, which is finally compiled into executable machine codes and loaded on RPS hardware - PLC (Programmable Logic Controller). Whereas C Compilers are fully-verified COTS (Commercial Off-The-Shelf) software, translators from FBDs to C programs are provided by PLC vendors. Long-term experience, experiments and simulations have validated their correctness and function safety. This paper proposes a behavior-preserving translation from FBD design to C implementation for RPS software. It includes two sets of translation algorithms and rules as well as a prototype translator. We used an example of RPS software in a Korean nuclear power plant to demonstrate the correctness and effectiveness of the proposed translation.

• Architectural research
• /
• v.22 no.4
• /
• pp.105-112
• /
• 2020

The purpose of this study is to establish a method for assessing a building's risk against disaster, tentatively named the Korean integrated disaster evaluation simulator (K-IDES). Based on previous studies, FEMA's risk management series and FEMA IRVS are selected as case studies for developing a frame work of K-IDES, through the comparative analysis of domestic building design guides, codes, and special acts related to disasters, in order to develop a risk assessment methodology for quantitative results. The assessment method consists of a classification system and calculating risk, and a simulation applying the developed checklist in K-IDES to similar types of high-rise buildings will be conducted to validate its accuracy. The final goal is to systemize an integrated risk management in a high-rise building against disasters for the purpose of recognizing vulnerable areas from the beginning of the design process and reinforcing it from potential threats after construction.