• The KIPS Transactions:PartA
• /
• v.18A no.3
• /
• pp.109-114
• /
• 2011

We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. As is well known, IR (Intermediate Representation) optimization is an important step in a compiler backend. But unfortunately, it is difficult to detect and debug the IR optimization errors for compiler developers. So, we introduce a C level error check system for detecting the correctness of these IR transformation techniques. In our system, we first create an IR-to-C converter to translate IR to C code before and after each compiler optimization phase, respectively, since our technique is based on the Memory Comparison-based Clone(MeCC) detector which is a tool of detecting semantic equivalency in C level. MeCC accepts only C codes as its input and it uses a path-sensitive semantic-based static analyzer to estimate the memory states at exit point of each procedure, and compares memory states to determine whether the procedures are equal or not. But MeCC cannot guarantee two semantic-equivalency codes always have 100% similarity or two codes with different semantics does not get the result of 100% similarity. To increase the reliability of the results, we describe a technique which comprises how to generate C codes in IR-to-C transformation phase and how to send the optimization information to MeCC to avoid the occurrence of these unexpected problems. Our methodology is illustrated by three familiar optimizations, dead code elimination, instruction scheduling and common sub-expression elimination and our experimental results show that the C level error check system is highly reliable.

• Korean Journal of Social Welfare
• /
• v.69 no.1
• /
• pp.103-123
• /
• 2017

This article examines the existing literature on the intersection of care and migration in Europe and the potential contributions of the Korean case. The paper reviews the three bodies of research: care, migration and their intersections. When defined as social reproductive labour, the concept of care not only captures individual/family level of experiences but it can also be an effective tool to analyse the diversity of the welfare state and the path of its evolution. Furthermore, in the context of globalisation and international migration, the concept of care can help overcome so-called 'the methodological nationalism' in the welfare state research. Accumulated evidence shows that only by applying a transnational perspective to the relationship between such social realities as class, gender and race, can we properly examine the dynamics of care distribution. Existing care-migration nexus research has found a widely observed trend of the 'migrantisation of care' in European welfare states; however, the actual modality of care-migration intersection varies reflecting historical and institutional contexts. This is why care-migration nexus research must go beyond the well-known welfare regime types. The Korean case can expand the geographical coverage and theoretical applicability of the intersection research by including a new welfare state regime type (productivist or developmental welfare states) and new patterns of migration (co-ethnic migration and marriage migration) which were rarely dealt with in this scholarship.

• Journal of Embryo Transfer
• /
• v.28 no.3
• /
• pp.297-302
• /
• 2013

Cryopreservation of epididymal spermatozoa offers a potential tool for rescuing genetic material from males of genetically elite populations. Castration, catastrophic injury, sudden death or any other event that makes semen collection or mating impossible may prematurely terminate a stallion reproduction. Stallion epididymal spermatozoa vary widely in the loss of progressive motility, acrosomal integrity, and viability during freezing and thawing. The objective of this work was to investigate the effect of (1) freezing package types on cryopreservation efficiency, (2) thawing temperatures (37, 56 or $70^{\circ}C$) on Computer Assisted Sperm Analysis (CASA) parameters and (3) post-thawing incubation time (0, 1, 2 or 4h) on castrated stallion epididymis. Post-thawed sperm motility ranged between 59.69% and 64.28% ($56^{\circ}C$ and $37^{\circ}C$) in various thawing temperatures. When stallion epididymis sperm was frozen, straw was better than freezing tube on VCL (Velocity of Curvilinear Line) and VAP (Velocity of Average Path) parameter. Higher percentage of motility was observed at $37^{\circ}C$ thawing temperature even though no significant difference was observed among various temperatures. The motility, VCL, ALH (Amplitude of Lateral Head displacement), VAP, BCF (Beat-Cross Frequency) and STR (Straightness index) parameter of post-thawed sperm were significantly decreased by increasing the incubation time for all thawing temperatures. The present study showed that type of freezing package (Straw vs. Freezing tube) was not significantly different on cryopreservation efficiency. Furthermore, stallion epididymal spermatozoa frozen-thawed at $37^{\circ}C$ for 1 min resulted the highest proportion of motility and velocity movement. In addition, motility and viability of frozen-thawed stallion epididymal spermatozoa were also decreased by incubation.

• Asian Pacific Journal of Cancer Prevention
• /
• v.16 no.1
• /
• pp.1-8
• /
• 2015

The Japan National Committee for the Union for International Cancer Control (UICC) and UICC-Asia Regional Office (ARO) organized a Roundtable Discussion as part of the official program of the UICC World Cancer Congress 2014 in Melbourne, Australia. The theme for the Roundtable Discussion was "Looking Toward the Realization of Universal Health Care 'UHC' for Cancer in Asia" and it was held on December 5, 2014. The meeting was held based on the recognition that although each country may take a different path towards the realization of UHC, one point that is common to all is that cancer is projected to be the most difficult disease to address under the goals of UHC and that there is, therefore, an urgent and pressing need to come to a common understanding and awareness with regard to UHC concepts that are a priority component of a post-MDG development agenda. The presenters and participants addressed the issue of UHC for cancer in Asia from their various perspectives in academia and international organizations. Discussions covered the challenges to UHC in Asia, collaborative approaches by international organizations, the need for uniform and relevant data, ways to create an Asia Cancer Barometer that could be applied to all countries in Asia. The session concluded with the recognition that research on UHC in Asia should continue to be used as a tool for cancer cooperation in Asia and that the achievement of UHC would require research and input not only from the medical community, but from a broad sector of society in a multidisciplinary approach. Discussions on this issue will continue towards the Asia-Pacific Cancer Conference in Indonesia in August 2015.

• Journal of Korean Ophthalmic Optics Society
• /
• v.8 no.1
• /
• pp.35-39
• /
• 2003

The display technology on the retina is the key role in inspecting the condition of the patients. 2-dimensional retina image is widely used in the eye examination as of today. Recently, 3-dimensional retina image ones have been introduced to this area, but the quality of the image is not fully satisfied to the operator. For the purpose of developing 3-D retina imaging instrument, the optimization of a 3-D retina imaging system using Code-V tool was investigated in this thesis. He-Ne laser having the wavelength 632.8 nm was used to make a power source to detect the retina. Several lenses and mirrors installed on sledge which were developed to perform focus control on 3-D device were designed to make a beam focusing and direct line. Polygon scanner having 24 mirror facets and galvanometer making tilting movement were utilized to make a 2-D laser plane. Also, design of eye ball had been fulfilled to see the focus of the 2-D plane. Reflected ray from retina detected on the sensor array with the same path. All cognitive components were optimized for aberration correction in order to focus on retina. Results of optimization were compared to those of initial designed optics system. On the basis of above results, the result of third aberration has been corrected to stable values to the optical system. MTF evaluating the resolution of an image has been closely correlated to the diffraction limit and PSF indicating the strength distribution of an image has shown the SR value as 0.9998 having high performance. The possibility of new and powerful 3-D retina image instrument was verified by simulating each component of the instrument by Code-V.

• Journal of KIISE:Software and Applications
• /
• v.37 no.12
• /
• pp.882-891
• /
• 2010

Many automated dynamic test data generation technique have been proposed. The techniques evaluate fitness of test data through executing instrumented Software Under Test (SUT) and then generate new test data based on evaluated fitness values and optimization algorithms. Previous researches and experiments have been showed that these techniques generate effective test data. However, optimization algorithms in these techniques incur much time to generate test data, which results in huge test case generation cost. In this paper, we propose a technique for reducing the time of evaluating a fitness of test data among steps of dynamic test data generation methods. We introduce the concept of Fitness Evaluation Program (FEP), derived from a path constraint of SUT. We suggest a test data generation method based on FEP and implement a test generation tool, named ConGA. We also apply ConGA to generate test cases for C programs, and evaluate efficiency of the FEP-based test case generation technique. The experiments show that the proposed technique reduces 20% of test data generation time on average.

• Journal of Advanced Navigation Technology
• /
• v.22 no.5
• /
• pp.384-390
• /
• 2018

This paper introduces a MATLAB graphical user interface (GUI) based software for analysis of korea augmentation satellite system (KASS) availability performance. This software uses minimum variance (MV) estimator and Kriging algorithm to generate integrity information such as user differential range error (UDRE) and grid ionospheric vertical error (GIVE). The information is offered to ground and aviation users in Korean region. The software also gives accuracy data, protection level data and availability map about each user position by using the integrity information. In particular the software calculates the protection level along a path of aircraft. We verified the result of protection level of aviation user by comparing them with the results of SBASimulator#2, which is a simulation tool of european geostationary navigation overlay service (EGNOS). As a result, the protection level error between the result of our software and the SBASimulator#2 was about 2% which means that the result of our software is accurate.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2014.02a
• /
• pp.150.1-150.1
• /
• 2014

Showerhead is used as a main part in the semiconductor equipment. The face plate flatness should remain constant and the cleaning performance must be gained to keep the uniformity level of etching or deposition in chemical vapor deposition process. High operating temperature or long period of thermal loading could lead the showerhead to be deformed thermally. In some case, the thermal deformation appears very sensitive to showerhead performance. This paper describes the methods for robust design using computational fluid dynamics. To reveal the influence of the post distribution on flow pattern in the showerhead cavity, numerical simulation was performed for several post distributions. The flow structure appears similar to an impinging flow near a centered baffle in showerhead cavity. We took the structure as an index to estimate diffusion path. A robust design to reduce the thermal deformation of showerhead can be achieved using post number increase without ill effect on flow. To prevent the showerhead deformation by heat loading, its face plate thickness was determined additionally using numerical simulation. The face plate has thousands of impinging holes. The design key is to keep pressure drop distribution on the showerhead face plate with the holes. This study reads the methodology to apply to a showerhead hole design. A Hagen-Poiseuille equation gives the pressure drop in a fluid flowing through such hole. The assumptions of the equation are the fluid is viscous-incompressible and the flow is laminar fully developed in a through hole. An equation can be expressed with radius R and length L related to the volume flow rate Q from the Hagen-Poiseuille equation, $Q={\pi}R4{\Delta}p/8{\mu}L$, where ${\mu}$ is the viscosity and ${\Delta}p$ is the pressure drop. In present case, each hole has steps at both the inlet and the outlet, and the fluid appears compressible. So we simplify the equation as $Q=C(R,L){\Delta}p$. A series of performance curves for a through hole with geometric parameters were obtained using two-dimensional numerical simulation. We obtained a relation between the hole diameter and hole length from the test cases to determine hole diameter at fixed hole length. A numerical simulation has been performed as a tool for enhancing showerhead robust design from flow structure. Geometric parameters for the design were post distribution and face plate thickness. The reinforced showerhead has been installed and its effective deposition profile is being shown in factory.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.12
• /
• pp.563-573
• /
• 2019

The purpose of this study is to confirm whether the parenting stress of mothers with preschool children mediated the parent-child interaction and parenting attitude on children's learning readiness. Data was used from the 5th (2012) to 7th (2014) Korean Children's Panel, and a total of 1,480 data sets were used for the analysis. The age of study participants was five years old. The Amos 23.0 program was used as an analytical tool, and the structural equation model analysis was applied to estimate the path coefficient corresponding to the research question. First, it was expected that mothers' parenting stress negatively affected the parent-child interaction, mother's parenting attitude, and children's readiness. Second, it was assumed that parent-child interaction and the mother's warm parenting attitude were positively significant to children's readiness. Third, the relationship between the parenting stress of mothers and children's learning readiness was partially mediated by a positive parenting attitude. The current study supplies valuable data to establish the educational support and efficiency strategy for domestic children. This study is meaningful in that it provides basic data in preparing a plan to more effectively provide educational support for domestic children.

• Journal of radiological science and technology
• /
• v.39 no.4
• /
• pp.571-575
• /
• 2016

Monte Carlo simulations are widely used as the most accurate technique for dose calculation in radiation therapy. In this paper, the GATE6(Geant4 Application for Tomographic Emission ver.6) code was employed to calculate the dosimetric performance of the photon beams from a linear accelerator(LINAC). The treatment head of a Varian 21EX Clinac was modeled including the major geometric structures within the beam path such as a target, a primary collimator, a flattening filter, a ion chamber, and jaws. The 6 MV photon spectra were characterized in a standard $10{\times}10cm^2$ field at 100 cm source-to-surface distance(SSD) and subsequent dose estimations were made in a water phantom. The measurements of percentage depth dose and dose profiles were performed with 3D water phantom and the simulated data was compared to measured reference data. The simulated results agreed very well with the measured data. It has been found that the GATE6 code is an effective tool for dose optimization in radiotherapy applications.