• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.21 no.45
• /
• pp.319-328
• /
• 1998

In this paper, the design of ALT(Accelerated Life Test) requires a sampling plan based on failure-censored(Type II censored) ALT with lognormal life distribution. Specially the environmental effect of products has been emphasized, so we considered the upper life limit as well as lower life limit in the ALT sampling plan. The optimal plan with a high stress and a low stress is used as test plan, and the total sample size for test and lot acceptability constant which minimize an asymptotic variance of maximum likelihood estimator of assumed model parameters and satisfy the given producer's risk and customer's risk are drawn out. These values can be acquired by means of the computer program that we coded for resolving the difficulty and complexity of calculation.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.6
• /
• pp.374-382
• /
• 2020

The purpose of this study is to improve the learning speed of an ammunition stockpile reliability classification artificial neural network model by proposing a normalization method that reduces the number of input variables based on the characteristic of Ammunition Stockpile Reliability Program (ASRP) data without loss of classification performance. Ammunition's performance requirements are specified in the Korea Defense Specification (KDS) and Ammunition Stockpile reliability Test Procedure (ASTP). Based on the characteristic of the ASRP data, input variables can be normalized to estimate the lot percent nonconforming or failure rate. To maintain the unitary hypercube condition of the input variables, min-max normalization method is also used. Area Under the ROC Curve (AUC) of general min-max normalization and proposed 2-step normalization is over 0.95 and speed-up for marching learning based on ASRP field data is improved 1.74 ~ 1.99 times depending on the numbers of training data and of hidden layer's node.

• Journal of Institute of Control, Robotics and Systems
• /
• v.22 no.8
• /
• pp.671-677
• /
• 2016

A Controller Area Network (CAN) is a serial communication protocol that is highly reliable and efficient in many aspects, such as wiring cost and space, system flexibility, and network maintenance. Therefore, it is chosen for the communication protocol between a single chip controller based on Field Programmable Gate Array (FPGA) and peripheral devices. In this paper, the design and implementation of CAN IP, which is written in VHSIC Hardware Description Language (VHDL), is presented. The implemented CAN IP is based on the CAN 2.0A specification. The CAN IP consists of three processes: clock generator, bit timing, and bit streaming. The clock generator process generates a time quantum clock. The bit timing process does synchronization, receives bits from the Rx port, and transmits bits to the Tx port. The bit streaming process generates a bit stream, which is made from a message received from a micro controller subsystem, receives a bit stream from the bit timing process, and handles errors depending on the state of the CAN node and CAN message fields. The implemented CAN IP is synthesized and downloaded into SmartFusion FPGA. Simulations using ModelSim and chip test results show that the implemented CAN IP conforms to the CAN 2.0A specification.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2009.10a
• /
• pp.328-329
• /
• 2009

Air-Damping Mount is proposed to compromise between performance and weight & cost. The design of Air-Damping Mount was based on the specification from the engine mounting system analysis of a small car. To verify it's feasibility, R&H test was done on the small car and it is proven that Air-Damping Mount shows the performance between hydraulic mount and rubber mount.

• The KIPS Transactions:PartD
• /
• v.9D no.4
• /
• pp.651-658
• /
• 2002

This paper suggests the scenario composition supporting method, which can be used to perform integration test based on specification, and implemented a scenario composition supporting tool. To compose scenario for object-oriented integration testing, requirement specification, Process definition table and program to table relation diagram are used. In addition, requirement trace table is created. It can check user's requirements, quickly and exactly, dividing former three fables into the stages of requirement analysis, design, and test. The output of scenario composition supporting tool plays a guide part in composing scenario. This tool can reduce scenario composition effort of quality for the checking team and prevent an omission of requirement and input of errors during the test.

• Journal of the Korean Society for Railway
• /
• v.19 no.6
• /
• pp.736-743
• /
• 2016

In accordance with the trend of higher speed and automation, the Train Control System is building on the technology of control methods using radio in the technology of exchanging information by wire, toward a wireless communication method that will be applied using LTE-R radio communication technology with $4^{th}$ generation LTE mobile communication a $2^{nd}$ generation GSM-R. Therefore, a standard specification suitable for the Korea Radio based Train Control System-2(below KRTCS-2) for the 350km/h class using wireless communication is created; a prototype based on the standard specification is installed on a high-speed train and is installed on a test section(Ik san-Jeong eup) on the Honam high speed line to ensure the reliability and safety of the standard specifications, which are verified through various performance tests. In the future, the standard specification that has been established as a national railway standard, and the standard specifications will be commercialized by applying the train control system to conventional and High speed railway lines.

• 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 the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.8
• /
• pp.581-588
• /
• 2020

The aging characteristics of exploding foil initiator (EFI) are studied. In order to observe the aging characteristics, the main components of the exploding foil initiator were classified and the failure mechanism was defined. The aging characteristics were defined in terms of power and sensitivity, and the accelerated aging test plan was established based on the activation energy calculated by HFC (Heat Flow Calorimetry) and Arrhenius theory. The performance variation was observed using the sensitivity test (Neyer test) and power test (Dent test) for the aged samples. The aging characteristic was observed on the mean exploding point of the sensitivity test, but long-enough life span was predicted considering the related specification.

• 한국신재생에너지학회:학술대회논문집
• /
• 2007.11a
• /
• pp.349-352
• /
• 2007

A GFRP based composite blade was developed for a 2MW wind energy conversion system of type class IIA. The blade sectional geometry was designed to have a general shell-spar and shear web structure. The load cases specified in the IEC61400-1 international specification were considered. For withstanding all relevant extreme loads, the structural analysis for the complete blade was performed using a commercial FEM code. The static load carrying capacity, blade tip deflection and natural frequencies were evaluated to satisfy the strength and stability requirements in accordance with the IEC61400-1 and GL Regulations. The prototype blade was passed the structural proof test for GL certification.

• Wind and Structures
• /
• v.31 no.3
• /
• pp.209-216
• /
• 2020

Aiming at the wind-resistant design of a sea-crossing arch bridge, the static aerodynamic coefficients of its girder (composed of stretches of π-shaped cross-section and box cross-section) were studied by using computational fluid dynamics (CFD) numerical simulation and wind tunnel test. Based on the comparison between numerical simulation, wind tunnel test and specification recommendation, a combined calculation method for the horizontal force coefficient of intermediate and small span bridges is proposed. The results show that the two-dimensional CFD numerical simulations of the individual cross sections are sufficient to meet the accuracy requirements of engineering practice.