• Journal of Biosystems Engineering
• /
• v.38 no.1
• /
• pp.1-8
• /
• 2013

Purpose: Path planning and tracking algorithms applicable to various agricultural operations, such as tillage, planting, and spraying, are needed to generate steering angles for auto-guidance tractors to track a point ahead on the path. An optimal coverage path algorithm can enable a vehicle to effectively travel across a field by following a sequence of parallel paths with fixed spacing. This study proposes a path generation and tracking algorithm for an auto-guided Korean tractor with a tillage implement that generates a path with C-type turns and follows the generated path in a paddy field. A mathematical model was developed to generate a waypoint path for a tractor in a field. This waypoint path generation model was based on minimum tractor turning radius, waypoint intervals and LBOs (Limit of Boundary Offsets). At each location, the steering angle was calculated by comparing the waypoint angle and heading angle of the tractor. A path following program was developed with Labview-CVI to automatically read the waypoints and generate steering angles for the tractor to proceed to the next waypoint. A feasibility test of the developed program for real-time path tracking was performed with a mobile platform traveling on flat ground. The test results showed that the developed algorithm generated the desired path and steering angles with acceptable accuracy.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.7
• /
• pp.1719-1727
• /
• 2015

In this paper we have studied about the interconnection technology between tablet device and interactive white board(IWB) system. For this study we have implemented the board writing software for both tablet device and interactive white board system which has contents management, page turning and basic writing functions. Then we defined the data format to communicate the control information and board writing information between two devices, and implemented the communication module for the real-time bidirectional communication by using the Socket programming. The page turning or writing information on tablet device were transferred to the IWB system in real-time and vice versa. From the result of performance test based on the error rate, latency time and communication coverage we derived that our implementation software has good performance between tablet device and IWB system. Also from the result of field test we proved that our solution is well suitable to use in real education environment.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.4
• /
• pp.807-819
• /
• 2019

Greybox fuzzing is known as an effective method to discover unknown security flaws reside in software and has been actively researched today. However, most of greybox fuzzing tools require an executable file. Because of this, a library, which cannot be executed by itself requires an additional executable file for greybox fuzzing. Generating such an executable file is challengeable because it requires both understanding of the library and fuzzing. In this research, we suggest the approach to generate an executable file automatically for a library and implement this approach as a tool based on the LLVM framework. This tool shows that executable files and seed files can be generated automatically by static/dynamic analysis of a unit test in the target project. A generated executable file is compatible with various greybox fuzzers like AFL because it has a common interface for greybox fuzzers. We show the performance of this tool as code coverage and discovered unknown security bugs using generated executable files and seed files from open source projects through this tool.

• Journal of Society of Preventive Korean Medicine
• /
• v.25 no.2
• /
• pp.85-98
• /
• 2021

Objectives : This study aimed to analyze characteristics of the Korean Medicine users aged 19-39 years, the determinants of Korean Medicine use and effects of Korean Medicine use experience on behavioral intentions among youths. Methods : We studied Korean Medicine Utilization and Herbal Medicine Consumption Survey(2017) data set by complex-sample survey data analysis. In order to derive the characteristics of younger users, Rao-scott χ² test and t-test were conducted. Through multiple logistic regression model adjusted by general characteristic variables, the determinants and behavioral intentions of the Korean Medicine utilization among youths were derived. Results : Fist of all, young users and non-users have significant differences in socio-demographic characteristics and perception on Korean Medicine. Among the general characteristic variables, region, age, marital status, occupation, chronic disease, and private health insurance plans had an effect on the Korean Medicine use in young people(Model II). And adjusted by general characteristic variables as control variables, awareness of Korean Medicine and perception of safety of herbal medicine were deduced as determinants of Korean Medicine use(Model III). Secondly, Korean Medicine use experience increased intentions to use and recommend Korean Medicine services(Model IV-1, 3). Conclusions : In order to increase the use of Korean Medicine among young people, Korean Medicine institutions should strive to increase users' satisfaction, and public health insurance coverage for Korean Medicine services needs to be expanded.

• Journal of the Korean Geosynthetics Society
• /
• v.22 no.4
• /
• pp.9-15
• /
• 2023

Compaction is performed in civil engineering sites to secure the stability of the ground and prevent settlement. While the process of compaction is crucial, it is also essential to evaluate the degree of compaction after the completion of the process. In domestic sites, the evaluation of compaction is mainly conducted on a small number of spot using point-based tests such as plate load tests and sand cone tests. The methods presented so far allow assessment of surface compaction, but evaluating compaction in deeper layers poses challenges. Moreover, due to the limited coverage of point-based testing, it is difficult to achieve an overall assessment of compaction. As a solution to these issues, the Spectral-Analysis-of-Surface-Waves (SASW) tests were utilized to evaluate compaction. SASW tests offer a broader measurement range compared to point-based tests, and depending on the test setup, this method can provide the stiffness of the ground at greater depths. In this study, SASW tests were conducted in a compacted soil site under different conditions to assess compaction. Additionally, Nuclear Density Gauge tests were conducted concurrently to compare and verify the results of SASW. The research results confirmed the feasibility of evaluating compaction using SASW at the geotechnical site.

• Archives of Plastic Surgery
• /
• v.35 no.5
• /
• pp.527-532
• /
• 2008

Purpose: Transverse type or volar oblique type of defect of thumb tip can be covered by Moberg flap or second toe pulp free flap. We compared these two methods in functional result, patients' satisfaction, and sensation, etc. to find a better way to cover the defect of the thumb tip. Methods: From 2003 to 2006, we chose the patients randomly with preoperative pictures. The patients had the defect of the thumb tip which is either transverse or volar oblique type. The 6 patients were treated with Moberg flap and other 6 patients were treated with second toe pulp free flap. We have analyzed the results by 2 point discrimination, side pinching power test, pulp to pulp pinching power test, pain scales (visual analogue scale), satisfaction scales of the patients (functional and aesthetic), the degree of the range of motion, etc. Results: All flaps survived without any complications. In the cases of Moberg flaps, the value of static 2 point discrimination test was 5.6 mm, and the value of moving 2 point discrimination test was 4.8 mm. In the cases of second toe pulp free flaps, the values were 9.6 mm and 9.3 mm. In the cases of Moberg flaps, the value of the Side pinch power test was 6.6 kg, 4.4 kg. In the case of second toe pulp free flaps, the values were 4.8 kg and 2.5 kg. The value of aesthetic satisfaction scale of the patients in Moberg flaps was 5.6, the value of functional satisfaction scale of the patients was 3.6. In cases of second toe pulp free flaps, the values were 5.6 and 3.6. The active range of motion of Interphalangeal joint in the cases of Moberg flaps was 46.6 degree, and the active range of motion of metacarpophalangeal joint was 55 degree, in the cases of second toe pulp free flaps, the values were 36.6 degree and 59 degree. Conclusion: As a result, when the defect of the thumb tip is transverse or volar oblique type, we suggest that the operators choose Moberg flap to cover the defect of the thumb tip.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.7
• /
• pp.1821-1841
• /
• 1997

This paper presents an automated protocol conformance test sequence generation based on formal methods for LOTOS specification by using and applying many existing related algorithms and technique, such as the testing framework, Rural Chinese Postman tour concepts. We use the state-transition graphs obtained from LOTOS specifications by means of the CAESAR tool. This tool compiles a specification written in LOTOS into an extended Petri net, from which a transition graph of a event finite-state machine(EvFSM) including data is generated. A new characterizing sequence(CS), called Unique Event sequence(UE sequence) is defined. An UE sequence for a state is a sequence of accepted gate events that is unique for this state. Some experiences about UE sequence, partial UE sequence and signature are also explained. These sequences are combined with the concept of the Rural Chinese Postman Tour to obtain an optimal test sequence which is a minimum cost tour of the reference transition graph of the EvFSM. This paper also presents a fault coverage estimation experience of an automated method for optimized test sequences generation and the translation of the test sequence obtained by using our tool to TTCN notation are also given. A prototype of the proposed framework has been built with special attention to real application in order to generated the executable test cases in an automatic way. This formal method on conformance testing can be applied to the protocols related to IN, PCS and ATM for the purpose of verifying the correctness of implementation with respect to the given specification.

• Korean Journal of Health Education and Promotion
• /
• v.23 no.5
• /
• pp.29-46
• /
• 2006

Purpose: Since 1994, Asian Health Services, the Korean American Community Advisory Board, and the Center for Family and Community Health (University of California at Berkeley) have conducted periodic, population-based surveys on Korean American community health in Alameda County, California. The present study examines changes in health care access and utilization between 1994 and 2002 among Korean American adults in Alameda County, California. Method: We reanalyzed data from the 1994 and 2002 Korean Health Surveys. The primary variables of interest, health care access and utilization, were operationalized in terms of health insurance coverage, routine check-ups, a usual source of health care and reported barriers to health care. The frequency distribution of each indicator was calculated and its standard error was estimated using SUDAAN. The differences between 1994 and 2002 were examined with chi-square test. Results: Compared to 1994, Korean Americans in Alameda County were more likely to have health insurance coverage in 2002 (74.0% vs. 82.7%). Korean Americans in Alameda County were more likely to have received a recent (prior two years) routine health checkup in 2002 (50.4% vs. 57.2%). Health checkups increased over time for males, for adults with more than 12 years of education, and for employed adults. Also, compared to 1994, employed adults were more likely to have a usual source of health care in 2002 (66.5% vs. 78.4%). In both 1994 and 2002, high cost (58.0% vs. 47.8%) was the most commonly cited barrier to health care, and the next most frequently cited barriers were language (29.2% vs. 27.7%) and no time (29.2% vs. 30.3%). Conclusion: To improve health care utilization and health conditions, it is important to investigate factors related to health care and to monitor changing trends. Ongoing surveillance of health-related factors can contribute to the development of health education programs to reduce morbidity and mortality due to chronic disease, and thereby lead to improvements in health status among Korean Americans.

• Research in Community and Public Health Nursing
• /
• v.6 no.1
• /
• pp.34-54
• /
• 1995

Occupational health services in Korea have been operated as dual types: one is operated by occupational health care manager and the other is health care agency without their own personnel. The performance of occupational health service should be different due to the variety of characteristics of health care manager and workplace, qualification of health care manager. This study is to analyze performance of occupational health care services with a particular consideration of job, based on comparing those two types of health care management to show on the basic data for the settlement of more qualitative. health care management system at workplace. For this study, total 391 places in Seoul and Inchon city area: 154 places (39.4%) managed by designated. health care manager and 237 places (60.6%) by the agency with their commission are selected as research samples. Tools for data collection are questionnares have been investigated during the period of 20 September 1993-20 December 1993. Those data are compared with percentiles, mean, standard deviation due to the characterstics of each variable and analyzed for impacting factors with relation to the using multiple regression analysis using SPSS PC program, especially using t -test method in order to compare each type of health care management. Conclusions observed from the tests and each comparison could be summerized as follows : 1. Occupational health care have been accomplished at workplaces with designated people than with agencies people, and coverage rate of the occupational health care services has differences, due to management types. The reason of these results is due to visit only one or two times monthly by the agencies, while their own health care manager obsess, at the workplaces all the times. 2. The common sickness management is the most accomplished item in health care area of occupational health care services, while the preventive care and control for the workers who have serious health problems are insufficient in workers health care area. 3. An insufficient accomplishment of overall health education has been shown because it is difficult to perform health education due to almost no chance of the direct introduction at workplaces. Therefore a strong support system for making and supplying the media is necessary in order to activate indirect health education by means of media. 4. Because health care managers and the agencies managers where take the workplaces for this study are almost nurses who have been comparatively high work site rounding rate about an environmental management at the workplaces, that non-profession can also do it, the activities about the professional area not enough. Therefore, an appropriate referral system should be established in order to complement professional area. 5. Two factors which have an effect on the coverage rate of occupational health care services are : one is those from the workplaces such as type of services, the number of workers, the number of harzadous factors and safety & health committee, the other from health care organization about whether there is its own manager or not.

• Journal of Broadcast Engineering
• /
• v.12 no.1 s.34
• /
• pp.11-27
• /
• 2007

T-DMB(Terrestrial-Digital Multimedia Broadcasting) for portable and mobile broadcasting service was officially launched in the metropolitan area of Korea in December 2005. The development of interactive data services and the expansion of T-DMB network have been now progressed, and the regional T-DMB broadcasters will be selected in the near future. Although it is important to evaluate service area and reduce a fringe area for optimizing RF coverage of T-DMB, there was no professional system to support those works, and therefore lots of resources in budget, manpower and time were required. The measurement considering characteristics of SFN(Single Frequency Network) is essential in the implementation of T-DMB network which needs to control synchronization, spacing and output power of transmitters. In addition, mobile measurement, enough measured parameters for many-sided analysis of reception quality, efficient management of enormous measured data and representation of measured results on the electronic map are also important in evaluating service area. In this paper, we derived requirements for a new measurement system in T-DMB by considering the above details, and we proposed and developed an integrated measurement and analysis system. The developed system was applied to the implementation of T-DMB network of KBS and field tests, and it proved its efficiency and accuracy in result.