• ETRI Journal
• /
• v.11 no.4
• /
• pp.22-36
• /
• 1989

In this paper, a design and implementation of an efficient protocol verification system named LOVE has been described. The LOVE has been developed specifically for LOTOS. It performs not only protocol syntax validation (PSV) but also protocol functional verification(PFV). The PSV is a test to check if a protocol is free from protocol syntax errors such as deadlocks and livelocks. The PFV confirms whether or not a protocol achieves its functional objectives. For the PSV, the reachability analysis is employed, and the observational equivalence test is used for the PFV. For protocol verification using the LOVE, a schematic protocol verification methodology has been outlined.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1994.10a
• /
• pp.26-31
• /
• 1994

The analysis of acoustic emission signals generated during machining has been proposed as a technique for studying both the fundamentals of the cutting process and process and as a methodology for detecting tool fracture on line. In this study, AE signals detected during End Milling were applied as the experimental test to sensing tool fracture on the CNC vertical milling machine. Because automatic monitoring of the cutting condition is one of the most important technologies in machining, the in-process detection of cutting tool life including fracture has been investigated by performing experimental test.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.40 no.2
• /
• pp.126-136
• /
• 2003

We propose a new technique to improve the parametric fault coverage of oscillation test method (OTM). The OTM has been popular as a vectorless scheme for analog circuit test, both as a general defect-oriented technique, as well as an oscillation built-in self- test (BIST) scheme. However, it still requires improvement in several aspects. This paper analyzes the limitation of OTM, and proposes new signature analysis scheme to improve its performance.

• Journal of the Korean Statistical Society
• /
• v.28 no.4
• /
• pp.469-478
• /
• 1999

We propose a Kolmogorov-Smirnov-type test for independence of paired failure times in the presence of independent censoring times. This independent censoring mechanism is often assumed in case-control studies. To do this end, we first introduce a process defined as the difference between the bivariate survival function estimator proposed by Wang and Wells (1997) and the product of the product-limit estimators (Kaplan and Meier (1958)) for the marginal survival functions. Then, we derive its asymptotic properties under the null hypothesis of independence. Finally, we assess the performance of the proposed test by simulations, and illustrate the proposed methodology with a dataset for remission times of 21 pairs of leukemia patients taken from Oakes(1982).

• ETRI Journal
• /
• v.27 no.2
• /
• pp.140-152
• /
• 2005

In this paper, we present design features, implementation, and validation of a satellite simulator subsystem for the Korea Multi-Purpose Satellite-2 (KOMPSAT-2). The satellite simulator subsystem is implemented on a personal computer to minimize costs and trouble on embedding onboard flight software into the simulator. An object-oriented design methodology is employed to maximize software reusability. Also, instead of a high-cost commercial database, XML is used for the manipulation of spacecraft characteristics data, telecommand, telemetry, and simulation data. The KOMPSAT-2 satellite simulator subsystem is validated by various simulations for autonomous onboard launch and early orbit phase operations, anomaly operation, and science fine mode operation. It is also officially verified by successfully passing various tests such as the satellite simulator subsystem test, mission control element system integration test, interface test, site installation test, and acceptance test.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.12
• /
• pp.611-623
• /
• 2002

This paper introduce the real time digital simulator which is located in Korea Electric Power Research Institute. This paper also describes the methodology for the performance test of the PSS using KEPS. This test is to get a high degree of the confidence of the developed PSS before it is installed into the real power system. This has been performed in the form of closed-loop tests in which Simulator and PSS are connected and signals come and back interactively. Many tests have successfully done using KEPS which consists of 26 RTDS racks, under the large-scale power system. The simulated reduced KEPCO power system contains 88 generators and 295 buses. Through the AVR step, three phase fault and active power variation test, the effectiveness of developed PSS has been proved. This paper also presents the overview of KEPS and hardware of protype PSS.

• Journal of Korean Society for Atmospheric Environment
• /
• v.15 no.2
• /
• pp.139-150
• /
• 1999

The ozone concentrations measured at the National Air Monitoring Stations between 1990 and 1995 were reviewed to detect any anomalies in the measurements. By screening the cases, in which variation of the ozone concentration from the previous measured value is greater than 75ppb, 125 station-days were identified as the test cases for the anomaly test. Historical and parallel consistencies of the measured concentrations were examined by plotting data for each test case. The detected anomalies can be classified into four categories; single outliers, anomalous variations during the startup period, baseline rises, and fluctuations in th diurnal variations. Anomalies were detected in as many as 80 cases among 125 test cases. Because of these anomalies, the number of hours exceeding 100ppb in the areas other than the Greater Seoul Area(GSA) could decrease from 157 to 107. Further studies for developing the methodology for eliminating the abnormal monitoring data are warranted for the data from the National Air Monitoring Stations are official to the both inside and outside of the country.

• Current Photovoltaic Research
• /
• v.2 no.3
• /
• pp.140-145
• /
• 2014

The globally used PV qualification tests and reports the pass/fail only. Therefore, the reliability of new PV materials and parts can't be compared quantitatively with the reliability of the PV parts and materials in the market. Global PV materials and parts companies test and compare their materials, parts, and modules using the failure-to-test (FTT). However, it takes a long accelerated stress test (AST) until failure. It also needs to test the new and existing materials and parts. Therefore, it requires excessive equipment time and cost. In order to reduce the time and cost, a new reliability enhancement methodology has been developed. It tests the PV materials, parts, and modules in the global market and stores them in the PV reliability database. It reduces the time and cost of the comparison and enhancement of PV reliability. An example of the reliability enhancement of the PV encapsulant, EVA is presented.

• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.1-7
• /
• 2018

The research and development stage can improve the goal level of the project through systematic operation and management of systems engineering. The test evaluation tasks in the R&D process have a lot of connections with the system engineering in terms of requirement management, and the methodology for deriving the requirements when establishing the test evaluation items has been consistently required. In this paper, we propose the process of effectively establishing and using QFD (Quality Function Deployment), a tool to manage customer requirement, and drawing up HOQ (House of Quality) in the search and exploratory development stage of the self - propelled mortar project.

• 제어로봇시스템학회:학술대회논문집
• /
• 1987.10b
• /
• pp.288-293
• /
• 1987

This study presents the methodology for the hierachical construction of digital control system which can be of practical value to a wide application of sequence control. Optimization of digital control system, programming of the system by micropascal, and simulation of a model program under test are discussed.