• Journal of KIISE:Software and Applications
• /
• v.31 no.10
• /
• pp.1304-1319
• /
• 2004

We can significantly reduce the cost o# program testing by automating the process of test data generation. Test data generation usually concerns identifying input values on which a selected path is executed. Although lots of research has been done so far, there still remains a lot of issues to be addressed. One of the issues is the shape problem. The shape problem refers to the problem of figuring out a shape of the input data structure required to cause the traversal of a given path. In this paper, we introduce a new method for the shape problem. The method converts the selected path into static single assignment (SSA) form without pointer dereferences. This allows us to consider each statement in the selected path as a constraint involving equality or inequality. We solve the constraints to get a solution which will be represented in terms of the points-to relations for each input variable. Simple, but illustrative examples are given to explain the proposed method.

• Journal of Veterinary Clinics
• /
• v.37 no.2
• /
• pp.106-108
• /
• 2020

An eight-month-old, outdoor, intact male English Pointer dog weighing 23.5 kg presented to the hospital with signs of hematochezia, soft stools, and weight-loss. There were no remarkable findings on physical examination, complete blood count, serum biochemistry, electrolyte and gas analysis, and radiography. The serologic and Polymerase Chain Reaction (PCR) tests for canine parvovirus were negative. A fecal smear examination showed rod-shaped, sporeforming bacteria. Additionally, a fecal flotation test showed ova of Ancylostoma spp. The size of ova was 60 × 40 ㎛, and it was identified as Ancylostoma caninum using light microscopy. The PCR test indicated a Clostridial perfringens infection and the presence of C. perfringens alpha toxin. The diagnosis given was C. perfringens enterotoxicosis with ancylostomiasis. Treatment included antibiotics (metronidazole, trimethoprim-sulfamethoxazole) and anthelmintics (afoxolaner, milbemycin oxime). After two weeks, the clostridial infection resolved, but ancylostomiasis persisted for six weeks. The anthelmintic was changed to Drontal^â plus (praziquantel/pyrantel pamoate/febantel). After four weeks, there were no remarkable findings in the fecal samples, but the patient still presented with watery stools and hematochezia. Survey of abdominal ultrasound had performed, and a target-like sign with multiple rings was seen in the cecocolic region. The patient was diagnosed with A. caninum-induced cecocolic intussusception from the history and clinical signs. After a surgery, he recovered fully. This is the first clinical case report of Ancylostoma caninum parasitizing from the small intestine and causing an intussusception in the large intestine.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.500-504
• /
• 2004

This research is about the result of leakage current waveform about the situation of surface leakage current and environmental changes(Salt fog, clean fog and rain) by EPDM polymer insulators' amount of salt. The researcher presents the result of changing about fundamental harmonic, 3rd harmonic and 5th harmonic from starting point of supplying power to flashover. In this study, researched environmental affects (clean fog, salt fog and .am) about surface aging of polymer insulators and used frequency spectrum of leakage current waveform to develop the diagnostic technique of surface aging. When amount of salt contents changed, surface aging stage and the degree of aging (distortion factor) about 3rd and 5th harmonir waveform on low frequency harmonic wave. The distortion factor which is harmonic percentage about basic harmonic is important pointer to evaluate the surface condition of polymer insulators.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.3 no.3 s.10
• /
• pp.151-163
• /
• 2003

In this study, the algorithm of groundwater flow process was established for koreanized groundwater program development dealing with the geographic and geologic conditions of the aquifer have dynamic behaviour in groundwater flow system. All the input data settings of the 3-DFM model which is developed in this study are organized in Korean, and the model contains help function for each input data. Thus, it is designed to get detailed information about each input parameter when the mouse pointer is placed on the corresponding input parameter. This model also is designed to easily specify the geologic boundary condition for each stratum or initial head data in the work sheet. In addition, this model is designed to display boxes for input parameter writing for each analysis condition so that the setting for each parameter is not so complicated as existing MODFLOW is when steady and unsteady flow analysis are performed as well as the analysis for the characteristics of each stratum. Descriptions for input data are displayed on the right side of the window while the analysis results are displayed on the left side as well as the TXT file for this results is available to see. The model developed in this study is a numerical model using finite differential method, and the applicability of the model was examined by comparing and analyzing observed and simulated groundwater heads computed by the application of real recharge amount and the estimation of parameters. The 3-DFM model is applied in this study to Sehwa-ri, and Songdang-ri area, Jeju, Korea for analysis of groundwater flow system according to pumping, and obtained the results that the observed and computed groundwater head were almost in accordance with each other showing the range of 0.03 - 0.07 error percent. It is analyzed that the groundwater flow distributed evenly from Nopen-orum and Munseogi-orum to Wolang-bong, Yongnuni-orum, and Songja-bong through the computation of equipotentials and velocity vector using the analysis result of simulation which was performed before the pumping started in the study area. These analysis results show the accordance with MODFLOW's.

• Journal of Biomedical Engineering Research
• /
• v.23 no.3
• /
• pp.189-196
• /
• 2002

Transdermal drug delivery offers an alternative method to the conventional oral and injection delivery method. Its advantages include its ability to deliver drugs directly into systemic circulation. However, there have been restrictions in its application to deliver drugs because of the skin's barrier function. In this study, we try to combine a Sonophoresis and oxygen Pressure method in order to increase the Permeability of the skin. we used water as the compound and by utilizing the skin impedance method. we measured the hydration Permeability of skin Ultrasound was applied using a sonicator(Solcare-U1000. Solco, Korea) operating at a frequency of 1MHz. oxygen Pressure was applied using a compressor(Oxyjet-Pointer, Nora Bode. Germany) operating at a pressure of 2Bar/cm2. Experiment was performed in vivo for 42 People. We divided the subjects into four smaller groups. A different transdermal drug delivery method was applied for each group on the back of their hand. We measured the skin impedance variations on the hand. during a 20-minute time Period. The control group did not show any significant increase or variation of skin impedance to water. In comparison to the control group(Passive diffusion) the hydration Permeability of the ultrasound group and the oxygen Pressure group was approximately 25 and 30 times higher consecutively. Futhermore, the hydration permeability of the combination of ultrasound and oxygen Pressure group was about 70-fold higher in comparison to the control group(passive diffusion) . The results reveal that a combination of ultrasound and oxygen Pressure will significantly enhance transdermal water transport compared when only one of them is used.

• Journal of the Korea Computer Graphics Society
• /
• v.27 no.2
• /
• pp.1-11
• /
• 2021

In a virtual environment, a 3D workspace and 3D interaction are possible, but most virtual reality applications use a 2D color picker. This paper implements a 3D color picker based on 3D color space in a virtual environment, and compares color selection performance with the existing 2D color picker. The 3D color picker is intuitive by using the 3D color space as it is, and it can position the 3D pointer at a specific point in the color space using a controller, which is a virtual reality device, so a user can select a color in one step. On the other hand, the 2D color picker has the advantage of being familiar with existing users who work with colors in a computer environment, but has a disadvantage that requires several steps of user interaction since it has to set color properties through 2D interfaces. Based on user experiments, we confirmed the usefulness of a 3D color picker in addition to a 2D color picker in a virtual environment, and it was possible to perform natural 3D work in a virtual environment using the 3D color picker.