• 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.

• Journal of Oriental Neuropsychiatry
• /
• v.19 no.1
• /
• pp.55-70
• /
• 2008

Objective : The aim of this study is to investigate and measure the Test-anxiety of college students in OO Oriental Medicine by using Korea's version-Test Anxiey Inventory(K-TAI-K), State-Trait Anxiety Inventory(STAI), Symptom Check List-90-Revision(SCL-90-R), etc. Methods : We studied 181 students who being at OO College of Oriental Medicine in second semester, 2007 We used some questionaries like K-TAI-K, STAI, SCL-90-R , College Life Satisfacaion, Life Event Questionnaire. Results and Conclusions : 1.141 persons(83,43%) of students feel the largest test anxiety before test. 18 persons(9.94%) of students feel the largest test anxiety after test. 2.The 1st grade students of preparatory course and 4th grade students of regular course have the lowest score in State Anxiety Inventory and obsessive-compulsive of SCL-90-R. The 2nd grade students of regular course have the lowest score in State Anxiety Inventory and obsessive-compulsive of SCL-90-R 3. Students who failed in test one time have the lowest score , and who failed in test more than two times have the highest score in K-TAl-K Students who failed one time in grade promotion more than two times showed high score in second K-TAI-K. 4. The higher grade, the lower score in College Life Satisfaction. The scores of College Life Satisfaction have negative correlations with those of K-TAI-K, STAI SCL-90-R except phobic anxiety, 5. The scores of Life Event Questionnaire have positive correlations with those of K-TAI-K, STAI and SCL-90-R except phobic anxiety. 6. The scores of K-TAl-K have positive correlations with those of STAI, SCL-90-R, College Life Satisfaction and Life Event Questionnaire. A correlation coefficient of obsessive-compulsive scale is highest, anxiety scale is second, interpersonal sensitivity scale is third, depression scale is fourth high among the scales of SCL-90-R.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.8 no.1
• /
• pp.12-21
• /
• 1988

The behaviour of pressure vessel made of SS41 steel was investigated during hydrotest. AE tests were carried out for the vessels in as-manufactured, V-notched and weld-cracked state using microcomputer-based AE instrumentation. The following results were obtained: 1) In the case of source location using cylindrical program, to minimize the error of source location, the difference of max. Delta T values measured from each sensor should be kept as small as possible. 2) When crack grew, AE event rate increased continuously but AE event from the inclusions occurred intermittently, so by analyzing event rate, the source of AE could be derived. 3) From the spot welding part of supporter, many events with low energy occurred independent of Kaiser effect, which could be confirmed by analyzing energy parameter. 4) The b-value from the tensile specimen of was lower than that from normal specimen and the b-value from crack propagation was lower than that from deformation, so by analyzing peak amplitude distribution, the source mechanism could be derived from the b-value.

• IE interfaces
• /
• v.20 no.3
• /
• pp.288-297
• /
• 2007

Success of semiconductor/LCD industry depends on its yield and quality of product. For the purpose, FDC (Fault Detection and Classification) system is used to diagnose fault state in main manufacturing processes by monitoring time series data collected by equipment sensors which represent various conditions of the equipment. The data set is segmented at the start and end of each product lot processing by a trigger event module. However, in practice, segmented sensor data usually have the features of data asynchronization such as different start points, end points, and data lengths. Due to the asynchronization problem, false alarm (type I error) and missed alarm (type II error) occur frequently. In this paper, we propose a robust process fault detection system by integrating a process event detection method and a similarity measuring method based on dynamic time warping algorithm. An experiment shows that the proposed system is able to recognize abnormal condition correctly under the asynchronous data situation.

• Wind and Structures
• /
• v.3 no.3
• /
• pp.177-191
• /
• 2000

This paper presents an approach for evaluating directionality effects for both wind speeds and wind loads in hurricane-prone regions. The focus of this study is on directional wind loads on low-rise structures. Using event-based simulation, hurricane directionality effects are determined for an open-terrain condition at various locations in the southeastern United States. The wind speed (or wind load) directionality factor, defined as the ratio of the N-year mean recurrence interval (MRI) wind speed (or wind load) in each direction to the non-directional N-year MRI wind speed (or wind load), is less than one but increases toward unity with increasing MRI. Thus, the degree of conservatism that results from neglecting directionality effects decreases with increasing MRI. It may be desirable to account for local exposure effects (siting effects such as shielding, orientation, etc.) in design. To account for these effects in a directionality adjustment, the factor described above for open terrain would need to be transformed to other terrains/exposures. A "local" directionality factor, therefore, must effectively combine these two adjustments (event directionality and siting or local exposure directionality). By also considering the direction-specific aerodynamic coefficient, a direction-dependent wind load can be evaluated. While the data necessary to make predictions of directional wind loads may not routinely be available in the case of low-rise structures, the concept is discussed and illustrated in this paper.

• Proceedings of the Korea Contents Association Conference
• /
• 2005.05a
• /
• pp.422-428
• /
• 2005

In this paper, for maintaining the presentation quality of multimedia contents, we define the several events that can happen in showing when handle the multimedia contents. Also we classified these events in 4 types based on each characteristic. Furthermore we design the event model which can manage synchronization of presentation by control and managing the events. Also we propose an idea that maintain the quality of presentation service by interaction between each module and threads related in progress of show. Especially, in this research, we focus the active process for the user's participant and the unpredictable state variation of IMPSs(Interacitve Multimedia Presentation Systems).

• Journal of the Society of Naval Architects of Korea
• /
• v.53 no.2
• /
• pp.101-107
• /
• 2016

Generally, the shipbuilding industry has finite resources and limited workspace. Due to finite resources, limited workspace and state of block preparation, erection process in shipbuilding industry is frequently delayed than erection process scheduling which is planned at long-term plan stage. In this study, considering variability of block reserve ratio, the degree of delay in real erection process is measured and compared to scheduling which is planned at long-term plan stage in shipbuilding industry including finite capacity and variative lead time. Also, the erection process scheduling which has minimum lead time can be checked through simulation. The results of this study could be improved the accuracy of erection process scheduling by checking the main event compliance ratio by block reserve ratio and calculating the optimum erection pitch for the main event compliance.

• Nuclear Engineering and Technology
• /
• v.50 no.8
• /
• pp.1234-1245
• /
• 2018

The risk of multi-unit nuclear power plants (NPPs) at a site has received considerable critical attention recently. However, current probabilistic safety assessment (PSA) procedures and computer code do not support multi-unit PSA because the traditional PSA structure is mostly used for the quantification of single-unit NPP risk. In this study, the main purpose is to develop a multi-unit Level 2 PSA method and apply it to full-power operating six-unit OPR1000. Multi-unit Level 2 PSA method consists of three steps: (1) development of single-unit Level 2 PSA; (2) extracting the mapping data from plant damage state to source term category; and (3) combining multi-unit Level 1 PSA results and mapping fractions. By applying developed multi-unit Level 2 PSA method into six-unit OPR1000, site containment failure probabilities in case of loss of ultimate heat sink, loss of off-site power, tsunami, and seismic event were quantified.

• The Journal of Korea Robotics Society
• /
• v.3 no.3
• /
• pp.226-236
• /
• 2008

In this paper, control software architecture is designed to enable a heterogeneous multiple humanoid robot demonstration executing tasks cooperating with each other. In the heterogeneous humanoid robot team, one large humanoid robot and two small humanoid robots are included. For the efficient and reliable information sharing between many software components for humanoid control, sensing and planning, CORBA based software framework is applied. The humanoid tasks are given in terms of finite state diagram based human-robot interface, which is interpreted into the XML based languages defining the details of the humanoid mission. A state transition is triggered based on the event which is described in terms of conditions on the sensor measurements such as robot locations and the external vision system. In the demonstration of the heterogeneous humanoid team, the task of multiple humanoid cleaning the table is given to the humanoid robots and successfully executed based on the given state diagram.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.3
• /
• pp.213-220
• /
• 2008

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.