• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• Journal of the Korean Data and Information Science Society
• /
• v.9 no.2
• /
• pp.95-103
• /
• 1998

Azzalini and Bowman proposed the pseudo-likelihood ratio test for checking the linear relationship using kernel regression estimator when the error of the regression model follows the normal distribution. We modify their method with the bootstrap technique to construct a new test, and examine the power of our test through simulation. Our method can be applied to the case where the distribution of the error is not normal.

• Journal of Astronomy and Space Sciences
• /
• v.23 no.4
• /
• pp.327-336
• /
• 2006

In this paper, gain loss of KVN (Korean VLBI Network) 21-m shaped Cassegrain antenna due to misalignment of antenna optics is calculated using ray-tracing method. It enables us to estimate alignment tolerances of feed and sub-reflector positioning. According to numerical results, KVN 21-m shaped Cassegrain antenna's gain loss is more sensitive to positions of feed and sub-reflector than in case of the equivalent classical Cassegrain antenna. The result of calculation is believed to be utilized as a possible guideline when checking the performance of the antenna system.

• Journal of Nutrition and Health
• /
• v.19 no.6
• /
• pp.402-408
• /
• 1986

Since diet is an essential component of the treatment for diabetic mellitus, a progressive educational plan was designed to educate diabetic children for the proper selection of their foods. Seven suspicious children were chosen according to the previous oral glucose tolerance test and present blood glucose levels (fasting and postprandial 2 hours). The education program includes the basic nutrition study, learning of the five basic food groups. familiarization with the food exchange lists. calorie calculation and menu planning, and follow-up evaluation by checking every day -food intake. The duration of the education was five weeks. The levels of fasting blood glucose and postprandial -2 hours blood sugar of the seven children were significantly reduced after the 5-weeks education:FBS:from 92-125mg% to 67-80mg%, pp-2hours BS: from 130-169mg% to 69-90mg%. The children have felt much better with profound self-confidence after to program . Their oral glucose tolerance test levels were also significantly decreased after the 5-weeks education in comparison with those of one year ago.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.852-855
• /
• 1995

In modern plant lndustry, dignosis system is an essential implement because a human operator cannot check the state of system all the time. The recent facility needs a computer system which is able to replace and extense the function of the human expert. Checking the state of the plant system, the computer system uses signals form sensors attached to the plant systems. But, It is difficult to predict the cause of the failure from the sensing signals. Because the relationship among the signals cannot be easily represented by mathematical models. So expert system based on a fuzzy rule and Neural network method is sugguested. Expert system decide whether aa state of the system is ordinary of failure by the evaluation of the signals. If the state of the system is unstable, expert system preprocess the signals. When fault is occurred in the machine, the expert system dignoses the state of the system and find the cause as a primary tool. If the expert system dose not find the adequate cause successfully, neural network system uses the preprocessed signals as an input and propose a cause of the failure.

• Archives of Plastic Surgery
• /
• v.33 no.5
• /
• pp.577-580
• /
• 2006

Purpose: Hemangioma of the breast is an infrequent finding and usually encountered incidentally when checking for other disease. Most of hemangiomas of the breast are asymptomatic, not palpable perilobular type. Cavernous hemangioma of the breast is rare and only a few reports about this type of lesion are present. No example has been reported about reconstruction of the breast after resection of large cavernous hemangioma. Methods: We report here a case of immediate breast reconstruction using a Becker implant after subcutaneous mastectomy for a large cavernous hemangioma involving almost entire breast. Results: Symmetry is well maintained after 3 years without deformity or recurrence. Conclusion: The clinical prognosis of breast cavernous hemangioma is good after total excision and reconstruction.

• Journal of the korean Society of Automotive Engineers
• /
• v.13 no.4
• /
• pp.76-84
• /
• 1991

The off-road tractive performance of tracked vehicles can be evaluated in terms of soil thrust, motion resistance and drawbar pull. The ability to predict accurately ground pressure distribution under track is of importance since the vehicle sinkage and motion resistance are closely related to it. While the formulation of the method for predicting ground pressure distribution follows closely in spirit the ideas outlined for the terrain with linear pressure- sinkage relation case by Garber and Wong, the analysis of various terrain stiffness is magnified by numerical implementation procedure. The effects of soil parameters on tractive forces can be introduced through the terrain-track interaction such as pressure-sinkage and shearing characteristics. It is illustrated by determining the drawber pull-slip relation and corresponding ground pressure distribution for the terrains typically chosen and by comparing the results with the conventional ones based on normal ground pressure. The factorial experiment method is finally adopted for checking the sensitivity of the values of soil parameters on the drawbar pull.

• Journal of Environmental Impact Assessment
• /
• v.16 no.4
• /
• pp.285-300
• /
• 2007

The purpose of this study was to ascertain the ecological state and problems of eco-bridges on Korean roads. The study was conducted from March to April 2007 by checking ecological factors and wildlife around the eco-bridges and habitats. 8 representative eco-bridges were selected by their bridge shape and condition of location. After field survey, we analyzed ideal trails for wildlife using field data, digital topology maps, satellite images, and land use map. In addition to trail analysis, we identified the propriety of the eco-bridges through Population Viability Analysis. Because of unsuitable location and management, we found that most of the bridges are not proper for wildlife dispersal. Moreover, in some habitats, we could expect that some local populations might be extinct without appropriate treatments.

• The Journal of Pediatrics of Korean Medicine
• /
• v.22 no.3
• /
• pp.17-24
• /
• 2008

Objectives : The purpose of this study is to report a case of conversion disorder child treated by oriental medical treatment. Methods : We diagnosed the patient as Soeumin Woolgwang disease and treated him with herbal medicine, acupuncture, moxa, consultation. We observed the improvement of his disease by checking his pseudo-seizure, stool, headache and chest discomfort. Results : By use of oriental medical treatment, we could make a considerable improvement of pseudo-seizure and other symptoms(stool, headache and chest discomfort). Conclusions : This study shows that oriental medical treatment can be an effective treatment for conversion disorder. But the symtoms may recur, so we need continuous observation and management.

• Proceedings of the KSR Conference
• /
• 2003.10b
• /
• pp.531-537
• /
• 2003

Recently, various and new special methods of construction about steel bridges have been tried, and the study about local buckling about this have been performed too. But becuase of various cases, structural analysis is performed to check safety for each step of construction, and this is not efficient and economical method for time and manpower. So, for solution of this problems, general method about checking safety needs to be developed. In this study, in preparation for development about this, we look into elastic buckling characteristics of plates for each case as load, boundary condition, aspect ratio, and so on.