• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.8
• /
• pp.786-793
• /
• 2010

This paper proposes a new method called the path-history coverage to generate a test suite to test the state transition behavior of the robot SW component. The proposed method generate a test suite which includes abnormal state transitions based on FSM of target component. Especially the proposed method covers the disadvantage of the mutation test method that the size of the test suite is explosively increasing. Examples including OPRoS Component[1] show the validity of the proposed method.

• Journal of Advanced Navigation Technology
• /
• v.24 no.5
• /
• pp.423-429
• /
• 2020

In this paper, the electromagnetic compatibility (EMC) test standard is described, and the purpose and test configuration for the electromagnetic susceptibility (EMS) test of the missile component and the missile system are confirmed. The test configuration and specifications are suggested by the configuration of the missile component and the missile system based on the US military standards MIL-STD-461F and MIL-STD-464C, and explained that the ungrounded state, the final operating state of the missile component and the missile system, was constructed. In addition, the methods for checking the steady state and the points to be considered during the immunity test were introduced.

• Nuclear Engineering and Technology
• /
• v.52 no.1
• /
• pp.59-68
• /
• 2020

ECCMIX component was introduced in RELAP5/MOD3 for calculating the interfacial condensation. Compared to other existing components in RELAP5, user experience of ECCMIX component is restricted to developmental assessment applications. To evaluate the capability of the ECCMIX component, ECCS experiment was conducted which included single-phase and two-phase thermal mixing. The experiment was carried out with test sections containing a main pipe (70 mm inner diameter) and a branch pipe (21 mm inner diameter) under the atmospheric pressure. The steam mass flow in the main pipe ranged from 0 to 0.0347 kg/s, and the subcooled water mass flow in the branch pipe ranged from 0.0278 to 0.1389 kg/s. The comparison of the experimental data with the calculation results illuminated that although the ECCMIX component was more difficult to converge than Branch component, it was a more appropriate manner to simulate interfacial condensation under two-phase thermal mixing circumstance, while the two components had no differences under single-phase circumstance.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.27 no.3
• /
• pp.206-213
• /
• 2022

This paper presents setting up a laboratory-scale testbed to estimate the aging of power MOSFET devices and integrated power modules by measuring its on-state voltage and current. Based on the aging mechanisms of the component inside the power module (e.g., bond-wire, solder layer, and semiconductor chip), a system to measure the on-state resistance of device-under-test (DUT) is designed and experimented: a full-bridge circuit applies current stress to DUT, and a temperature chamber controls the ambient temperature of DUT during the aging test. The on-state resistance of SiC MOSFET measured by the proposed testbed was increased by 2.5%-3% after 44-hour of the aging test.

• International Journal of Air-Conditioning and Refrigeration
• /
• v.10 no.4
• /
• pp.220-228
• /
• 2002

The cool-down performance after soaking is very important in an automotive air-conditioning system and is considered as a key design variable. Therefore, transient characteristics of each system component are essential to the preliminary design as well as steady-state performance. The objective of this study is to develop a computer simulation model and ostinato theoretically the transient performance of an automotive air-conditioning system. To do that, the mathematical modelling of each component, such as compressor, condenser, receiver/drier, expansion valve, and evaporator, is presented first of all. The basic balance equations about mass and energy are used in modelling. For detailed calculation, condenser and evaporator are divided into many sub-sections. Each sub-section is an elemental volume for modelling. In models of expansion valve and compressor, dynamic behaviors are not considered in this analysis, but the quasisteady state ones are just considered, such as the relation between mass flow rate and pressure drop in expansion device, polytropic process in compressor, etc. Also it is assumed that there are no heat loss and no pressure drop in discharge, liquid, and suction lines. The developed simulation model is validated by comparing with the laboratory test data of an automotive air-conditioning system. The overall time-tracing properties of each component agreed well with those of test data in this case.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.10a
• /
• pp.167-170
• /
• 1997

For the optimal net shape forging of semi-solid materials (SSM), it is important to predict the deformation for variation of strain rate. It should be necessruy to conduct a formation of stress-strain curve in semi-solid alloys for analysis of the thixoforming process. Particularly, important problem to application of computer aided engineering in SSM processing is to prevent a segregation of liquid component during compression process. The liquid segregation is studied as multistage change of the strain rate and test piece size to prevent the liquid segregation during the compression process. The compression test for semi-solid aluminium alloy with a controlled solid fraction is performed by dynamic material test system with a furnace. Moreover morphology of structure and fraction of pore are investigated through compression test.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.1 no.2
• /
• pp.84-90
• /
• 1997

The turboshaft engine with the free power turbine has been used for various purposes, for instance electric power generator, emergency power source, helicopter powerplant and so on. Steady-state simulation program was developed and experimental tests was carried out for comparing with computer simulation results. The test unit was composed of 1-stage centrifugal compressor, the can type combustor chamber, 1-stage radial type compressor turbine, and radial type free power turbine, and its output power is obtained from 3-phase AC generator. Main component characteristics which was used for the steady state simulation program, were obtained from the manufacturer of the test unit, and modified from experimental results of test unit. In comparison between computer simulation and experimental test results even though the test unit has the operational limit, deviation of component performance characteristics in simulation were within 6％ range of experimental results.

• Bulletin of the Korean Chemical Society
• /
• v.33 no.3
• /
• pp.803-808
• /
• 2012

We have implemented two-component spin-orbit relativistic effective core potential (SOREP) methods in an all-electron relativistic program DIRAC. This extends the capacity of the two-component SOREP method to many ground and excited state calculations in a single program. As the test cases, geometries and energies of the small halogen molecules were studied. Several two-component methods are compared by using spin-orbit and scalar relativistic effective core potentials. For the $I_2$ molecule, excitation energies of low-lying excited states agree well with those from corresponding all-electron methods. Efficiencies in SOREP calculations enhanced by using symmetries are also discussed briefly.

• Journal of the Korean Statistical Society
• /
• v.19 no.2
• /
• pp.182-185
• /
• 1990

Let a p-component vector y have a p-variate normal distribution $N(b\theta, \Sigma), \Sigma$ unknown, b specified, then for testing $\theta = 0$ against general $\theta$, Khatri and Rao (1987) derive a certain t test and obtain its power function. This paper presents a direct derivation of this power function in terms of the original variates unlike Khatri and Rao (1987) who resort to the canonical transformations of the original variates and the conditional distributions.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.129-139
• /
• 2004

In developing highly reliable systems such as C4I systems formal methods provide both developers and clients with assurance that they are in the right development processes. This paper investigates into techniques for formal specifications and tests for software components where rigorous verification is required. In particular, the paper suggests decomposition techniques for state-model based specifications using the weakest precondition, and suggests test methods for the specification by generating black box test-cases.