• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.12
• /
• pp.615-622
• /
• 2016

Automotive control software can be a source of critical safety issues when developers do not comply system constraints. However, a violation is difficult to identify in complicated source code if not supported by an automated verification tool. This paper introduces two possible approaches that check whether an automotive control software complies API call constraints to compare their performance and effectiveness. One method statically analyzes the source code and explores all possible execution paths, and the other utilizes a model checker to monitor constraint violations for a given set of constraint automata. We have implemented both approaches and performed a series of experiments showing that the approach with model-checking finds constraint violations more accurately and scales better.

• The Journal of Churna Manual Medicine for Spine and Nerves
• /
• v.11 no.1
• /
• pp.33-40
• /
• 2016

Objectives : To evaluate the foot indices using dynamic and static checking on healthy adult people. Methods : Foot indices analysis was performed for 46 students. Static checking practiced for Foot Pressure(FP) and Toe Pressure Difference(TPD) and dynamic checking was used for Vertical Axis Angle(VAA). Results : On gender, there was generally no statical significant difference, except RFP(Right Foot Pressure). The RFP of male was bigger than that of female. On age, in addition, there was similar tendency, only RFP had a positive correlation (r=0.35, p<0.05). Comparing foot indices on right and left, we found TPD and VAA had a tendency of pronation on left, but FP had a opposite tendency. On consistency of each foot index, discrepancy between TPD and VAA (39.47%) was lesser than combination of the others. Conclusions : According to foot indices among 46 healthy student, we found out that there is partially correlation between dynamic and static checking. We hope that the data we found will contribute to standardization of podiatry indices which provide medical guidance for cure of foot disease, supporting further podiatry research.

• Communications of Mathematical Education
• /
• v.2
• /
• pp.181-191
• /
• 1997

The purpose of this study is to provide the primary sources to improve the problem solving performance by analyzing the errors and the strategies selection of the high school students when solving given algebraic problems. To attain the purpose of this study, the questions for investigation in this study are : 1. What are the differences / similarities in the patterns of errors committed by successful and unsuccessful problem-solvers when solving particular algebraic problems ? 2. What are the error types chosen by unsuccessful problem-solvers when solving particular algebraic problems? 3. Do students utilize checking, either locally or globally, when solving particular algebraic problems? Twenty students were drawn out of 10th grade students in J girls' high school in Yengi -gun, Chung-Nam, for this study. The problem-solving test was used as a test instrument. From the data, the verbal protocols and the written protocols were analyzed by the patterns. The conclusions drawn from the results obtained in the present study are as follows: First, in solving particular algebraic problems, when the problems were solved with one strategy, most students didn't give any consideration to other strategies. So mathematics teachers should teach them to use the various strategies, and should develop the problems to be used the various strategies. Second, in solving particular algebraic problems, errors on notions or transformations of equations were found. Thus, the basic knowledges related to equation should be taught. In addition, most unsuccessful students seleted the strategies inadequately to solve the problems because of misunderstanding the problems. So, to improve the problem solving performance the processes of 'understanding problem' should be emphasized to students. Third, although the unsuccesful students used the 'checking' processes when solving the problems, most of them did not find the errors because of misconceptions related to the problems, carelessness, and unskillfulness of checking. Thus, students must be taught more carefully and encouraged to use the checking.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.6
• /
• pp.279-287
• /
• 2005

File integrity checking is the most reliable method to examine integrity and stability of system resources. It is required to examine the whole data whenever auditing system's integrity, and its process and result depends on administrator's experience and ability. Therefore the existing method is not appropriate to intrusion response and recovery systems, which require a fast response time. Moreover file integrity checking is able to collect information about the damaged resources, without information about the person who generated the action, which would be very useful for intrusion isolation. In this paper, we propose rtIntegrit, which combines system call auditing functions, it is called Syswatcher, with file integrity checking. The rtlntegrit can detect many activities on files or file system in real-time by combining with Syswatcher. The Syswatcher audit file I/O relative system call that is specified on configuration. And it can be easily cooperated with intrusion response and recovery systems since it generates assessment data in the standard IDMEF format.

• Quality Improvement in Health Care
• /
• v.7 no.1
• /
• pp.106-116
• /
• 2000

Background : Severance Hospital is an university hospital which has 1,580 beds. A LAN system was installed in the Medical Record Department in 1992 and discharge abstract data have been added to the discharge abstract database(DB) The previous work flow in the Medical Record Department had 5 levels: 1) chart collection from wards, 2) assembling, 3) abstracting data from medical record on worksheet by 2 RRAs, 4) checking deficiencies and coding diagnosis and procedures by 4 RRAs, 5) inputting the data into the discharge abstract data base by 1 RRA. The average processing time took 19.3 days from the patient discharge date. It had the production of monthly statistical report delayed. Besides, it caused the users in the hospital to complain. Methods : A CQI team was organized to find a way to shorten the processing time less than 10 days. The team identified the factors making the processing time long and integrated three levels from the 3rd level into one. Each of 7 RRAs performed the integrated level on her workstation instead of taking one of three separate levels. The comparison of processing time before and after the changes was made with 3'846 discharges of April, 1999 and 4,189 discharges of August, 1999. Results : The average processing time was shortened from 19.3 days to 8.7 days. Especially the integrated level took only 3.6 days, compared with 12.3 days before the change. The percentage of finishing up the whole processing within 10 days from discharge was increased up to 77.6%, which was 2.4% before the integration. The prevalence of error in data input was not increased in the new method. Conclusions : The integrated processing method has the following advantages: 1) the expedition of production of monthly statistical report, 2) the increase of utilizing rate of dischare abstract data by Billing Dept, Emergency Room, QI Dept., etc., 3) the improvement of intradepartmental work follow, 4) the enhancement of medical record quality by checking the deficiencies earlier than before.

• Proceedings of the Korean Statistical Society Conference
• /
• 2000.11a
• /
• pp.253-255
• /
• 2000

다변량분석 기법을 사용하기 위해서는 자료가 정규성(normality)가정을 만족해야한다. 본 연구에서는 GUI(graphic user interface)환경 하에서 일변량(univariate)과 다변량자료(multivariate data)의 정규성검정, 이상치(outliers)제거 및 변수변환(variable transformation)을 지원하는 시스템을 구축하여 사용자들이 보다 편리하게 사용할 수 있음을 소개 하고자 한다.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.1 s.94
• /
• pp.87-94
• /
• 1999

The peak recoil force in a pistol have an effect on the reliability of the frame and target shooting. The experimental system has been established for measurement of the peak recoil force, which consists of force and velocity sensors, high speed camera. For effective operation of the system, a software has also developed, and combined with the hardwares. Several pistols have been tested and compared quantitatively on the peak recoil force and impact energy. It is concluded that the established system can be utilzed for checking peak force, and data accumulation for new pistol design.

• IE interfaces
• /
• v.17 no.1
• /
• pp.13-21
• /
• 2004

In this study, the prototype of a system for checking risk-factor of NC machine is proposed. The proposed system can get the risk-related information by monitoring the status of real-time processes of NC machines. Using the information, the accidents can be prevented by the background process of an expert system tool. This paper consists of 2 parts: (1) the method for gathering data and definition of the risk-related factors of NC machines and (2) the procedure for finding the proper actions by using the forward chaining of a rule-base. Proposed system is implemented with C++ language under MS-windows.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1992.04b
• /
• pp.299-308
• /
• 1992

Determining tool-approach directions is an important issue when an effort is made to transfer CAD data into manufacturing automatically. An algorithm is developed to determine whether a given part can be machined on a three-axis milling machine. lf a set of feasible tool-approach directions exists for a sculptured surface, the NC tool path and G-codes for machining the surface on a three-axis milling machine can be generated automatically by an NC tool path generation algorithm. The algorithm can be used for orientation and fixturing of the workpiece for interference free machining. The algorithm can also be applied to checking the translational separability of polyhedral parts in automatic assembly.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.1409-1412
• /
• 2005

Therefore this study focused on developing real-time system, which makes it possible for nurses to check the residual quantity and changing time of Ringer's solution in nurses' room. Load Cell is utilized as a sensor to check the residual quantity of Ringer's solution. This Load Cell detects the physical changes of Ringer's solution and transfers electronic signal to the amplifier. Amplified analog signal is converted into digital signal by A/D converter. Developed Embedded system, which computes these data with microprocess(8052) then makes it possible to monitor the residual quantity of Ringer's solution real-time on a server computer. A Checking system on Residual Quantity of Ringer's Solution Using Load cell cut costs using a simple design for a circuit