• 제어로봇시스템학회논문지
• /
• 제16권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.

• 한국항행학회논문지
• /
• 제24권5호
• /
• pp.423-429
• /
• 2020

본 논문에서는 전자기 적합성 (EMC; electromagnetic compatibility)시험 규격에 대해 설명하고, 유도탄 구성품과 유도탄 시스템의 전자기 내성 (EMS; electromagnetic susceptibility)시험에 대한 목적과 시험 구성을 확인하였다. 시험구성과 규격은 미 국방규격인 MIL-STD-461F와 MIL-STD-464C를 기반으로 유도탄 구성품과 유도탄 시스템의 구성을 제시하였고, 유도탄 구성품과 유도탄 시스템의 최종운용 상태인 비접지 상태가 구성되도록 설명하였다. 또한, 내성 시험 중 정상상태 확인 방법과 고려해야할 점에 대하여 소개하였다.

• Nuclear Engineering and Technology
• /
• 제52권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.

• 전력전자학회논문지
• /
• 제27권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
• /
• 제10권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.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 추계학술대회 논문집
• /
• 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.

• 한국추진공학회지
• /
• 제1권2호
• /
• pp.84-90
• /
• 1997

다목적으로 활용할 수 있는 분리축방식의 터보축 엔진 개발을 위한 정상상태 해석 프로그램의 개발과 함께 동일한 형식의 가스터빈엔진 시험장치를 이용한 실험을 통해 프로그램의 해석결과와 비교, 그 타당성을 입증하였다. 실험에 이용된 시험장치는 1단 원심형 압축기, 인통형 연소기, 1단 원심형 압축기 터어빈 및 동력 터어빈으로 구성되어 있으며 출력은 3상 교류발전기를 통해 획득된다. 해석에 사용된 주요 구성품의 성능곡선은 시험장치 제작자로부터 획득된 자료를 이용하였으며, 경우에 따라 시험장치를 이용한 실험을 통하여 보정하였다. 시험장치를 이용한 실험결과를 프로그램 해석결과와 비교한 결과, 시험장치의 운용제한에 의해 실제 작동영역이 제한되기는 했으나, 압력비, 출력 등 주요 변수들에서 6％ 미만의 오차를 보였다.

• Bulletin of the Korean Chemical Society
• /
• 제33권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
• /
• 제19권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.

• 컴퓨터교육학회논문지
• /
• 제7권6호
• /
• pp.129-139
• /
• 2004

C4I 시스템과 같이 신뢰성이 강조되는 시스템의 개발에 있어 정형기법의 도입은 개발 과정에서 나타나는 결과물에 대한 검증을 가능케 함으로서 올바른 시스템을 개발하고 있다는 확신을 개발자와 의뢰자 모두에게 기공해준다. 본 논문은 엄밀한 검증이 필요한 컴포넌트를 설계할 때 사용될 수 있는 컴포넌트의 정형명세 기법과 이에 기반한 테스트 방법을 논한다. 특히 상태기반의 기능명세에 대해 미약선조건을 이용하여 분해하는 방법과 이 과정을 통해 생성된 하위명세에 대한 블랙박스 테스트케이스를 생성시키는 방법을 제시한다.