• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.603-606
• /
• 2004

Automatic test case generation for testing an embedded software is considered. Existing tools for test case generation such as finite state machine or mutant test usually adopt top down approach and depend upon graphical transition and decision table, which makes it difficult to find out where the bugs exist. Also it is hard to describe the special features of embedded systems such as concurrent execution of individual components. Most of embedded systems interacts with the real world, receiving signals through sensors or switches and sending output signals to actuators that somehow manipulate the environment. Embedded software controls the entire system based on the logics such as interpreting the sensor inputs and making the actuators to start or stop their intended operation. This study proposes an automatic test case generation procedure that tests the system starting from the control logics of sensors, switches and actuators and then their concurrent execution controls, and finally the entire system operation. Such a stepwise approach makes it easy to generate test cases to tell where the bugs of embedded software exist.

• Asian Pacific Journal of Cancer Prevention
• /
• v.15 no.23
• /
• pp.10057-10059
• /
• 2015

Positron emission tomography (PET) as the functional component of current hybrid imaging (like PET/CT or PET/MRI) seems to dominate the horizon of medical imaging in coming decades. $^{18}$Flourodeoxyglucose ($^{18}FDG$) is the most commonly used probe in oncology and also in cardiology and neurology around the globe. However, the major capital cost and exorbitant running expenditure of low to medium energy cyclotrons (about 20 MeV) and radiochemistry units are the seminal reasons of low number of cyclotrons but mushroom growth pattern of PET scanners. This fact and longer half-life of $^{18}F$ (110 minutes) have paved the path of a centralized model in which $^{18}FDG$ is produced by commercial PET radiopharmacies and the finished product (multi-dose vial with tungsten shielding) is dispensed to customers having only PET scanners. This indeed reduced the cost but has limitations of dependence upon timely arrival of daily shipments as delay caused by any reason results in cancellation or rescheduling of the PET procedures. In recent years, industry and academia have taken a step forward by producing low energy, table top cyclotrons with compact and automated radiochemistry units (Lab-on-Chip). This decentralized strategy enables the users to produce on-demand doses of PET probe themselves at reasonably low cost using an automated and user-friendly technology. This technological development would indeed provide a real impetus to the availability of complete set up of PET based molecular imaging at an affordable cost to the developing countries.

• Proceedings of the Korea Contents Association Conference
• /
• 2007.11a
• /
• pp.209-211
• /
• 2007

The computational time of Stocahstic Diagonalization (SD) calculation for 2-dimensional interacting fermion systems is reduced by using several methods including symmetry operations. First, each lattice is subdivided into spin-up and spin-down lattices separately, thus allowing a bi-partite lattice. A valid basis state is then obtained from stacking up an up-spin configuration on top of a down-spin configuration. As a consequence, the memory space to be used in saving the trial basis state reduces significantly. Secondly, the matrix elements of a Hamiltonianin are reconrded in a look-up table when making basis state set. Thus the repeated calculation of the matrix elements of the Hamiltonian are avoided during SD process. Thirdly, by applying symmetry operations to the basis state set the original basis state is transformed to a new basis state whose elements are the eigenvectors of the symmetry operations. The ground state wavefunction is constructed from the elements of symmetric - bonding state - basis state set. As a result, the total number of basis states involved in SD calculation is reduced upto 50 percentage by using symmetry operations.

• Proceedings of the KOSOMBE Conference
• /
• v.1997 no.05
• /
• pp.141-144
• /
• 1997

Femoral neck anteversion is the angle between the neck and the knee axis projected on a plane perpendicular to the longitudinal axis. Conventional methods that use cross-sectional Computed Tomography(CT) images to estimate femoral anteversion have several problems because of the complex 3D structure of the femur. These are the ambiguity of defining the longitudinal axis, the femoral neck axis and condylar line, and the dependence on patient positioning. Especially the femoral neck axis that is known as a major source of error is hard to determine from a single or multiple 2D transverse images. So we developed a new method for measuring femoral anteversion by 3D modeling method. In this method, femoral head is modeled as a sphere. The center of femoral neck is the mid-point of the 2D reconstructed oblique image in the femoral neck part. Then neck axis is a line connecting foregoing two centers. We model the longitude of femur as a cylinder, and the long axis is defined from the fitted cylinder. The knee axis which is tangent to the back of the femoral condyles is easily determined by table-top method. By the definition of femoral anteversion, the femoral anteversion is easily calculated from this model.

• Korean Journal of Applied Biomechanics
• /
• v.16 no.4
• /
• pp.95-103
• /
• 2006

The purpose of this study was to review the relevant literature about coaching and thereupon, survey the coaching methods used for golf lesson to reinterpret them and thereby, describe in view of kinetics the swing errors committed frequently by amateur golfers and suggest more scientific golf coaching methods. For this purpose, kinetic elements were divided into accuracy and power ones and therewith, the variables affecting such elements were identified. For this study, a total of 60 amateur golfer were sampled, and their swing forms were photographed with two high-speed digital cameras, and the resultant images were analyzed to determine the errors of each form kinetically, which would be analyzed again with the program V1-5000. The kinetic elements could be identified as accuracy, power and accuracy & power. Thus, setup and trajectory were classified into accuracy elements, while differences of inter-joint angles, cocking and delayed hitting. Lastly, timing and axial movement were classified into accuracy & power elements. Three errors were identified in association with setup. The errors related with trajectory elements accounted for most (6) of the 20 errors. Three errors were determined for inter-joint angle differences, and one error was associated with cocking and delayed hitting. Lastly, one error was classified into timing error, while five errors were associated with axial movement. Finally, as a result of arranging the errors into a cross table, it was found that the errors were associated with each other between take-back and back-swing, take-back and follow-through, back-swing and back-swing top, and between back-swing and down-swing. Namely, an error would lead to other error repeatedly. So, it is more effective to identify all the errors for every form and correct them comprehensively rather than single out the errors and correct them one by one.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.28 no.2
• /
• pp.217-224
• /
• 2008

Trusses are found in many common structures such as bridges and buildings. The truss is a fundamental design element in engineering structures and it is important for an engineer to apply the truss design to engineering structures by understanding the mechanics of truss element. In an experimental course, the experiment selves as an example of the usefulness of the Wheatstone bridge in amplifying the output of a transducer. With the apparatus described here, it is possible to obtain experimental measurements of forces in a truss member which agree within errors to predictions from elementary mechanics. The apparatus is inexpensive, easy to operate, and suitable as either a classroom demonstration or student laboratory experiment. This device is a small table-top experiment. The conventional strain measuring device is costly and complicated - it is not simple to understand its structure. Hence, strain gage and the A/D converter are assembled to come up with a load and a strain measuring device. The device was tested for measuring the strain in a loaded specimen and the results were compared to those predicted by theory of mechanics.

• Journal of Preventive Medicine and Public Health
• /
• v.19 no.1 s.19
• /
• pp.100-122
• /
• 1986

Obtaining an available information on health concerns of parents of school-age children and furthermore developing the sound policy for the public on health education, this study was conducted during Nov.-Dec. 1985 in the four selected areas; Seoul, large, middle and small city, and farming and fishery villages for 3,337 parents of schoolchildren in Korea. In this study, parents complected a questionnaire containing 34 items related to health concerns(e.g. drinking alcohol, air pollution, cancer, etc. see Table 4 and Fig. 2). For each health items, respondents were asked to indicate a choice between three levels of concern; 'Very high concern,' 'Moderate concern,' 'Little concern', and 'No opinion'. An analysis of responses indicated that most of the top ten health concerns identified by parents as cancer, abortions among high school students, medical malpractice, water pollution, traffic accidents, air pollution, suicide of parents and homicide of offspring, heart disease, venereal diseases, and high blood pressure in that order. Those health problems about which respondents were least concerned were more closely related to the individual, such as drinking alcohol, smoking, tooth decay, gum disease, underweight, overweight. Of greater concern were more such as water pollution, abortions among high school students, air pollution, accidents, medical malpractice. For cancer, heart disease, high blood pressure, various accidents, environmental pollution, parents showed high concern, however, for health issues which contributed as causative influences such as lung cancer from smoking and liver cirrhosis and traffic accidents from drinking alcohol showed less concern. Relationship between parent's residential areas, educational level and sex distribution and health concern showed little difference, however, for these issues parents identified as relatively high concern. Most parents stowed more concern in sex-related of family-related health issues such as abortions among high school students, suicide of parents and homicide of offspring.

• Journal of Korea Water Resources Association
• /
• v.31 no.2
• /
• pp.167-176
• /
• 1998

On steep hillslopes, saturation zone formations and subsurface flows were monitored through the observation systems of observation wells, tensiometers and trenches. By the 103 mm rain which had fallen on the hillslope with dry soil moisture, the saturation zone began to be formed at the top of hillslope during the rain and developed to be formed within a few hours after the end of rain on all hillslope. Subsurface water outflowed mainly from the soil profile of 0-40 cm depth, but did not outflow from the one of 40-80 cm depth. This saturation zone seemed to be formed by partially saturation of soil. This resulted for two reasons. Firstly, the saturation zone was formed by a smaller amount of rain than that required. Secondly the soil at a certain depth below the water table was unsaturated. Saturation zones formed by pre-rains responded rapidly to rains and subsurface water outflowed mainly from the soil profile of 40-80 cm depth simultaneously with the rising of the water level. The rates of subsurface discharge from the soil profile of 40-80 cm depth to the precipitation were related to the antecedent precipitation although the maximum water levels of saturation zone formed by four rains were similar.

• Journal of KIISE:Software and Applications
• /
• v.28 no.11
• /
• pp.795-813
• /
• 2001

Sophisticated geometric structure analysis must be preceded to create electronic document from logical components extracted from document image. this paper presents a knowledge-based method for sophisticated geometric structure analysis of technical journal pages. The proposed knowledge base encodes geometric characteristics that are not only common in technical journals but also publication-specific in the form rules. The method takes the hybrid of top-down and bottom-up techniques and consists of two phases: region segmentation and identification. Generally, the result of segmentation process does not have a one-to-one matching with composite layout components. Therefore, the proposed method identifies non-text objects such as image, drawing and table, as well as text objects such as text line and equation by splitting or grouping segmented regions into composite layout components. Experimental results with 372 images scanned from the IEEE Transactions on Pattern Analysis and Machine Intelligence show that the proposed method has performed geometrical structure analysis successfully on more than 99% of the test images, resulting in sophisticated performance compared with previous works.

• Journal of the Institute of Convergence Signal Processing
• /
• v.11 no.1
• /
• pp.13-18
• /
• 2010

Most of the research in the multi-touch area is based on the FTIR(Frustrated Total Internal Re리ection), which is just implemented by using the previous approach. Moreover, there are not the software solutions to improve a performance in the multi touch-blobs detection or the user gesture recognition. Therefore, we implement a multi-touch table-top display that is based on the DI(Diffused Illumination), the improved touch-points detection and user gesture recognition. The proposed method supports a simultaneous transformation multi-touch command for objects in the running application. Also, the system latency time is reduced by the proposed ore-testing method in the multi touch-blobs detection processing. Implemented device is simulated by programming the Flash AS3 application in the TUIO(Tangible User Interface Object) environment that is based on the OSC(Open Sound Control) protocol. As a result, Our system shows the 37% system latency reduction, and is successful in the multi-touch gestures recognition.