• Journal of KIISE:Software and Applications
• /
• v.32 no.12
• /
• pp.1283-1291
• /
• 2005

One of the problems in boosting Java performance using a Just-in-Time (JIT) compiler is removing redundant array bound checks. In conventional static compilers, many powerful algorithms have been developed, yet they are not directly applicable to JIT compilation where the compilation time is part of the whole running time. In the current JIT compilers, we tan use either a naive algorithm that is not powerful enough or an aggressive algorithm which requires the transformation into a static single assignment (SSA) form of programs (and back to the original form after optimization), thus causing too much overhead not appropriate for JIT compilation This paper proposes a new algorithm based on an inequality graph which can eliminate array bounds check codes aggressively without resorting to the SSA form. When we actually perform this type of optimization, there are many constraints in code motion caused by the precise exception rule in Java specification, which would cause the algorithm to miss many opportunities for eliminating away bound checks. We also propose a new method to overcome these constraints.

• Journal of Food Hygiene and Safety
• /
• v.33 no.5
• /
• pp.399-403
• /
• 2018

In this study, safety investigations on harmful microorganisms and mycotoxins were conducted on honeybee drone pupae as a new food material, which is rich in nutrients and capable of being mass produced in apiaries. The honeybee drone pupae produced in apiaries were collected from three different regions in Korea and frozen immediately. Subsequently, the samples were subjected to freeze-drying. According to the Korean Food Code test method, coliforms, Salmonella species, Staphylococcus aureus, and enterohemorrhagic Escherichia coli were not detected in 280 honeybee drone pupas. In addition, mycotoxins, aflatoxin $B_1$, ochratoxin A, deoxynivalenol, and zearalenone were not detected. Therefore, it is proposed that the honeybee drone pupae collected from the beehives and immediately frozen as safe from harmful microorganisms and mycotoxins and can be used as a food material.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.21 no.6
• /
• pp.147-161
• /
• 2017

Generally, significant amount of reinforcements are used in nuclear power plant structures and it may cause several potential problems during the construction. In particular, it is more difficult to pour concrete into structural member joint area than other areas because of the significant congestion of the joint area due to a lot of hooked bars, embedded materials, and other reinforcements. The purpose of this study is to solve these problems due to the reinforcement congestion by using the high-strength(ASTM A615 Gr.80) headed deformed bars of large-sized diameter(43 mm & 57 mm) in nuclear power plant structures as a alternative of standard hooked bars. In order to use headed deformed bars effectively, It is necessary to find the method how to relax limits on their use while maintaining or improving the anchorage capacity. Therefore, this study will analyze the results of tests planned to evaluate the influence of the restricted variables, such as bar size, yield strength, clear cover thickness.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.21 no.6
• /
• pp.196-205
• /
• 2017

In precast deck system, structural performance and serviceability are mostly determined by the connection methods between the precast decks. This study proposes precast deck system with asymmetric ribbed connection details using High Strength Fiber Reinforced Concrete(HSFRC) with filler. To verify the proposed method, the flexural performance experiment was carried out with variation of joint cross section type and splice rebar details. From the test results, regardless of joint details, spliced tensile rebars of specimens were deformed to yielding strain level. Also, all types of specimens resulted in sufficient flexural performance. These test results show that the minimum lap splice length specified in current Korea Highway Bridge Design Code is conservative for precast deck joint using HSFRC. Therefore, splice details can be simplified and joint width can be reduced by using HSFRC with filler between the precast decks, and the proposed precast deck systems can be applied to the connection part of precast decks effectively.

• Journal of the Korean Geosynthetics Society
• /
• v.9 no.1
• /
• pp.47-57
• /
• 2010

Granular soils having a large particle size have been used as a filling material in the construction of foundation, harbor, dam, and so on. Consequently, the shear behavior of this granular soil plays a key role in respect of stability of structures. For example, soil particle crushing occurring at the interface between structure and soil and/or within soil mass can cause a disturbance of ground characteristics and consequently induce issues in respect of stability of structures. In order to investigate the shear behavior according to an existence and nonexistence of particle crushing, numerical analyses were conducted by using the DEM (Discrete Element Method)-based software program PFC2D (Particle Flow Code). By dividing soil particle bonding model into crushing model and noncrushing model, total four particle bonding models were simulated and their results were compared. Noncrushing model included one ball model and clump model, and crushing model included cluster model and Lobo-crushing model. The combinations of soil particle followed the research results of Lobo-Guerrero and Vallejo (2005) which were composed of eight circles. The results showed that the friction angle was in order of clump model > cluster model > one ball model. The particle bonding model compared to one ball model and noncrushing model compared to crushing model showed higher shear strength. It was also concluded that the model suggested by Lobo-Guerrero and Vallejo (2005) is not appropriate to simulate the soil particle crushing.

• Journal of Radiation Protection and Research
• /
• v.39 no.4
• /
• pp.159-167
• /
• 2014

In Korea, July 2012, the law as called 'Act on Safety Control of Radioactive Rays Around Living Environment' was implemented to control the consumer product containing Naturally Occurring Radioactive Material (NORM), but, there are no appropriate database and effective dose calculation system. The aim of this study was to develop evaluation technique of the exposure dose with the use of the consumer products containing NORM and to understand the characteristics of the exposed dose according to the radiation type and energy. For the evaluate of exposure dose, the ICRP reference phantom was simulated by the MCNPX code based on Monte Carlo method, and the minimum, medium, maximum energy of alphas, betas, gammas from the representative NORM of Uranium decay series were used as the source term in the simulation. The annual effective doses were calculated by the exposure scenario of the consumer product usage time and position. Short range of the alpha and beta rays are mostly delivered the dose to the skin. On the other hand, the gamma rays mostly delivered the similar dose to all of the organs. The results of the annual effective dose with $1Bq{\cdot}g^{-1}$ radioactive stone-bed and 10% radioactive concentration were employed with the usage time of 7 hours 50 minute per day, the maximum annual effective dose of alphas, betas, gammas were calculated 0.0222, 0.0836, $0.0101mSv{\cdot}y^{-1}$, respectively.

• Macromolecular Research
• /
• v.10 no.3
• /
• pp.158-167
• /
• 2002

In order to endow with new bioactive functionality from small intestine submucosa (SIS) powder as natural source to poly (L-lactide) (PLA) and poly (lactide-co-glycolide) (PLGA) synthetic biodegradable polymer, porous SIS/PLA and SIS/PLGA as natural/synthetic composite scaffolds were prepared by means of the solvent casting/salt leaching methods for the possibility of the application of tissue engineered bone and cartilage. A uniform distribution of good interconnected pores from the surface to core region was observed the pore size of 40~500 ${\mu}{\textrm}{m}$ independent with SIS amount using the solvent casting/salt leaching method. Porosities, specific pore areas as well as pore size distribution also were almost same. After the fabrication of SIS/PLA hybrid scaffolds, the wetting properties was greatly enhanced resulting in more uniform cell seeding and distribution. Five groups as PGA non-woven mesh without glutaraldehyde (GA) treatment, PLA scaffold without or with GA treatment, and SIS/PLA (Code No.3 ; 1 : 12 of salt content, (0.4 : 1 of SIS content, and 144 ${\mu}{\textrm}{m}$ of median pore size) without or with GA treatment were implanted into the back of nude mouse to observe the effect of SIS on the induction of cells proliferation by hematoxylin and eosin, and von Kossa staining for 8 weeks. It was observed that the effect of SIS/PLA scaffolds with GA treatment on bone induction are stronger than PLA scaffolds, that is to say, in the order of PLA/SIS scaffolds with GA treatment > PLA/SIS scaffolds without GA treatment > PGA nonwoven > PLA scaffolds only with GA treatment = PLA scaffolds only without GA treatment for the osteoinduction activity. The possible explanations are (1) many kinds of secreted, circulating, and extracellular matrix-bound growth factors from SIS to significantly affect critical processes of tissue development and differentiation, (2) the exposure of SIS to GA resulted in significantly calcification, and (3) peri-implant fibrosis due to covalent bonding between collagen molecule by crosslinking reaction. In conclusion, it seems that SIS plays an important role for bone induction in SIS/PLA scaffolds for the application of tissue engineering area.

• Nuclear Engineering and Technology
• /
• v.47 no.3
• /
• pp.293-305
• /
• 2015

In this paper, we suggest the conceptual design of a water-cooled reactor system for a low-pressure inherent heat sink nuclear desalination plant (LIND) that applies the safety-related design concepts of high temperature gas-cooled reactors to a water-cooled reactor for inherent and passive safety features. Through a scoping analysis, we found that the current LIND design satisfied several essential thermal-hydraulic and neutronic design requirements. In a thermal-hydraulic analysis using an analytical method based on the Wooton-Epstein correlation, we checked the possibility of safely removing decay heat through the steel containment even if all the active safety systems failed. In a neutronic analysis using the Monte Carlo N-particle transport code, we estimated a cycle length of approximately 6 years under 200 $MW_{th}$ and 4.5% enrichment. The very long cycle length and simple safety features minimize the burdens from the operation, maintenance, and spent-fuel management, with a positive impact on the economic feasibility. Finally, because a nuclear reactor should not be directly coupled to a desalination system to prevent the leakage of radioactive material into the desalinated water, three types of intermediate systems were studied: a steam producing system, a hot water system, and an organic Rankine cycle system.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.57 no.6
• /
• pp.21-33
• /
• 2015

Recently, the Korean government announced a new development plan for a large-scale greenhouse complex in reclaimed lands. Wind environments of reclaimed land are entirely different from those of inland. Many standard books for ventilation design didn't include qualitative standard for natural ventilation. In this study, natural ventilation rates were analyzed to suggest standard for ventilation design of venlo type greenhouse built on reclaimed land. CFD (Computational Fluid Dynamics) simulation models were designed according to the number of spans, wind conditions and vent openings. The wind profile at a reclaimed land was designed using ESDU (Engineering Sciences Data Unit) code. Using the designed CFD simulation model, ventilation rates were computed using mass flow rate and tracer gas decay method. Additionally computed natural ventilation rates were evaluated by comparing with ventilation requirements. As a result of this study, ventilation rates were decreased with increasing of the number of spans. Ventilation rates were linearly increased with increasing of wind speed. When the wind speed was $1.0\;m{\cdot}s^{-1}$, only side vent was open and wind direction was $45^{\circ}$, homogeneity of ventilation rate at 0~1 m height is the worst. Finally, chart for computing natural ventilation rate was suggested. The chart was expected to be used for establishing standard of ventilation design.

• Journal of the Institute of Convergence Signal Processing
• /
• v.9 no.1
• /
• pp.62-74
• /
• 2008

In this paper, we would like to propose the design of symmetric digital filter core in order to use in the radio astronomy. The function of FIR filter core would be designed by VHDL code required at the Data Acquisition System (DAS) of Korean VLBI Network (KVN) based on the FPGA chip of Vertex-4 SX55 model of Xilinx company. The designed digital filter has the symmetric structure to increase the effectiveness of system by sharing the digital filter coefficient. The SFFU(Symmetric FIR Filter Unit) use the parallel processing method to perform the data processing efficiently by using the constrained system clock. In this paper, therefore, for the effective design of SFFU, the Unified Synthesis software ISE Foundation and Core Generator which has excellent GUI environment were used to overall IP core synthesis and experiments. Through the synthesis results of digital filter core, we verified the resource usage is less than 40% such as Slice LUT and achieved the maximum operation frequency is more than 260MHz. We also confirmed the SFFU would be well operated without error according to the SFFU simulation result using the Modelsim 6.1a of Mentor Graphics Company. To verify the function of SFFU, we carried out the additional simulation experiments using the pseudo signal to the Matlab software. From the comparison experimental results of simulation and the designed digital FIR filter, we confirmed the FIR filter was well performed with filter's basic function. So we verified the effectiveness of the designed FIR digital filter with symmetric structure using FPGA and VHDL.