• Journal of KIISE
• /
• v.41 no.11
• /
• pp.892-899
• /
• 2014

Dynamic binary instrumentation is a code insertion technique for debugging a program without scattering its execution flow, while the program is running. Most dynamic instrumentations are implemented using dynamic binary translation techniques. Existing studies translated program codes dynamically by parsing the machine code stream to intermediate representation (IR) and then applying compilation techniques for IRs. However, they have high overhead during translation, which is a major cause of difficulty in applying the dynamic binary translation technique to the program which requires high responsiveness. In this paper, we introduce a light-weight dynamic binary instrumentation framework based on a novel dynamic binary translation technique which has low overhead while translating the program code. In order to reduce the translation overhead, our approach adopts a tabular-based address translation and exploits a translation bypassing scheme, which stores the translated address of a frequently called library function in advance. It then accesses the translated address and executes function codes without code translation when calling the function. Our experiment results demonstrated that the proposed approach outperforms the prior dynamic binary translation techniques from 2% up to 65%.

• Journal of Korean Society of Steel Construction
• /
• v.15 no.1
• /
• pp.25-31
• /
• 2003

This research aimed to experimentally and theoretically investigate the moment strength of deck plates. A moment experiment was carried out using a full-scale 14 specimen. To prevent local buckling, the point load was applied at 1/4 points. After the experiment, theoretical analysis was conducted and the differences between various codes were identified. The experimental results were compared with AISI (the American Iron and Steel Institute), EC (Euro Code) 3, and KS (Korea Standard) codes. Analysis results are summarized as follows: (1) the failure mode was influenced by local buckling at the midpoint of the beam and/or at the intermediate loading point: (2) if yielding first occurred at the tension side, the moment strength would increase as the plastic reservation of the tension zone acted: (3) the experimental results were closest to the EC3 codes in which the partial plastic reservation was considered; (4) statistical evaluation based on the EC3 Annex Z showed that the partial resistance safety coefficient calculated applying to the EC3 formula, $^{\circ}{_M}$, was placed within 1.1 which was the target value of EC3 code; and (5) the analytical power of AISI and KS codeswere expected to improve into the level of EC3 codes if the concept of plastic reservation of the tension side would be introduced to them.

• Transactions of the Korean Society of Pressure Vessels and Piping
• /
• v.12 no.1
• /
• pp.126-133
• /
• 2016

Recently, the research and development of Sodium-cooled Fast Reactors (SFRs) have made progresses. However, liquid sodium, the coolant of an SFR, is chemically unstable and sodium fire can be occurred when liquid sodium leaks from sodium pipe. To reduce the damage by the sodium fire, many fire walls and fire extinguishers are needed for SFRs. LBB concept in SFR might reduce the scale of sodium fire and decrease or eliminate fire walls and fire extinguishers. Therefore, LBB concept can contribute to improve economic efficiency and to strengthen defense-in depth safety. The LBB assessment procedure has been well established, and has been used significantly in light water reactors (LWRs). However, an LBB assessment of an SFR is more complicated because SFRs are operated in elevated temperature regions. In such a region, because creep damage may occur in a material, thereby growing defects, an LBB assessment of an SFR should consider elevated temperature effects. The procedure and method for this purpose are provided in RCC-MRx A16, which is a French code. In this study, LBB assessment was performed for PGSFR IHTS hot-leg pipe according to RCC-MRx A16 and the applicability of the code was discussed.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.5 no.4
• /
• pp.580-597
• /
• 2013

Three materials SUS304, 9% Ni steel and Al 5083-O alloy, which are considered possible candidate for International Maritime Organization (IMO) type B Cargo Containment System, were studied. Monotonic tensile, fatigue, fatigue crack growth rate and Crack Tip Opening Displacement tests were carried out at room, intermediate low ($-100^{\circ}C$) and cryogenic ($-163^{\circ}C$) temperatures. The initial yield and tensile strengths of all materials tended to increase with decreasing temperature, whereas the change in elastic modulus was not as remarkable. The largest and smallest improvement ratio of the initial yield strengths due to a temperature reduction were observed in the SUS304 and Al 5083-O alloy, respectively. The fatigue strengths of the three materials increased with decreasing temperature. The largest increase in fatigue strength was observed in the Al 5083-O alloy, whereas the 9% Ni steel sample showed the smallest increase. In the fatigue crack growth rate test, SUS304 and Al 5083-O alloy showed a decrease in the crack propagation rate, due to decrease in temperature, but no visible improvement in da/dN was observed in the case of 9% Ni steel. In the Crack Tip Opening Displacement (CTOD) test, CTOD values were converted to critical crack length for the comparison with different thickness specimens. The critical crack length tended to decrease in the case of SUS304 and increase for the Al 5083-O alloy with decreasing temperature. In case of 9% Ni steel, change of critical crack length was not observed due to temperature decrease. In addition, the changing material properties according to the temperature of the LNG tank were analyzed according to the international code for the construction and equipment of ships carrying liquefied gases in bulk (IGC code) and the rules of classifications.

• The Journal of Engineering Geology
• /
• v.26 no.3
• /
• pp.325-330
• /
• 2016

The second phase of low- and intermediate-level waste (LILW) disposal facility is under planned on the sedimentary rock in unsaturated zone. In this study, we created two meshes which were a matrix continuum mesh and a fracture continuum mesh to carry out 2 dimensional numerical modeling for groundwater flow in the unsaturated zone containing fractures focused on the second phase of LILW disposal facility. Two continuum meshes were developed using MINC in meshmaker module of TOUGH2 code. A fracture continuum mesh was included the k-field distribution of the permeability derived from the Discrete Fractured Network (DFN) modeling. To apply the unsaturated zone for the modeling, the gridding steps to generate mesh were developed. Each step to generate a mesh consisted of definition of materials, setting the initial conditions and creating grids using MINC. The methodology development of meshes in this study will be applied for more precise modeling of groundwater flow and mass transport.

• Journal of Energy Engineering
• /
• v.16 no.3
• /
• pp.103-112
• /
• 2007

Flood issue for nuclear power plants designed and built in 1970 is extremely severe for main steam header compartment and main feedwater line region of intermediate building and lower floor. A calculation for flood level at the main feedwater line isolation compartment is now performing by hand calculation. But, this methodology is quite conservative assumption. The goal of this study was to develop method to analyze flowrate using the RETRAN-3D computer code, and the developed method was applied to flood level analysis following main feedwater line break. As a result of analysis, flood level was low remarkably.

• Nuclear Engineering and Technology
• /
• v.48 no.4
• /
• pp.952-964
• /
• 2016

The prototype generation IV sodium-cooled fast reactor (PGSFR) has been developed by the Korea Atomic Energy Research Institute. This reactor uses sodium as a reactor coolant to transfer the core heat energy to the turbine. Sodium has chemical characteristics that allow it to violently react with materials such as a water or steam. When a sodium-water reaction (SWR) occurs due to leakage or breakage of steam generator tubes, high-pressure waves and corrosive reaction products are produced, which threaten the structural integrity of the components of the intermediate heat-transfer system (IHTS) and the safety of the primary heat-transfer system (PHTS). In the PGSFR, SWR events are included in the design-basis event. This event should be analyzed from the viewpoint of the integrities of the IHTS and fuel rods. To evaluate the integrity of the IHTS based on the consequences of the SWR, the behaviors of the generated high-pressure waves are analyzed at the major positions of a failed IHTS loop using a sodium-water advanced analysis method-II code. The integrity of the fuel rods must be consistently maintained below the safety acceptance criteria to avoid the consequences of the SWR. The integrity of the PHTS is evaluated using the multidimensional analysis of reactor safety-liquid metal reactor code to model the whole plant.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.1 s.39
• /
• pp.107-117
• /
• 2006

Java language creates class files through Java compiler. Class files include informations involved with achievement of program. We can do analysis and optimization for efficient codes by analyzing class files. This paper analyzes bytecodes using informations of Java class files. We translate stack-based Java bytecodes into 3-address codes. Then we translate into static single assignment form using the 3-address codes. Static single assignment form provides a compact representation of a variable's definition-use information. Static single assignment form is often used as an intermediate representation during code optimization. Static sing1e assignment form renames each occurrence of a variable such that each variable is defined only once.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.41 no.10
• /
• pp.85-94
• /
• 2004

In this paper, a register allocation techlique that translates memory accesses to register accesses Is presented to enhance embedded software performance. In the proposed method, a source code is profiled to generate a memory trace. From the profiling results, target functions with high dynamic call counts are selected, and the proposed register allocation technique is applied only to the target functions to save the compilation time. The memory trace of the target functions is searched for the memory accesses that result in cycle count reduction when replaced by register accesses, and they are translated to register accesses by modifying the intermediate code and allocating Promotion registers. The experiments where the performance is measured in terms of the cycle count on MediaBench and DSPstone benchmark programs show that the proposed method increases the performance by 14% and 18% on the average for ARM and MCORE, respectively.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.6
• /
• pp.1659-1665
• /
• 2008

In this paper, we propose a design and implementation of HTML Filter to provide wireless internet service efficiently. The HTML Filter translates the Web documents written by HTML into the WML documents for portable wireless equipments automatically that are suitable for the WAP environment. The HTML Filter consists of "the HTML lexical analyzer" which gathers HTML source into token units, "the HTML syntax analyzer" which takes the lexical units from the lexical analyzer and analyses grammar for the source, "the HTML abstract parser tree" which can represent meaning of HTML sources more effectively called an intermediate code, and "the target code generator" which can convert the abstract parser tree into WML documents. The proposed translating method using ordinary compiler technology provides more easy and effective than the existing converters, and will be applied to other wireless language translating methods on wireless internet.