• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1418-1420
• /
• 2004

비정형적인 방법에 의해 설계되어진 프로토콜은 불확실성과 오류를 내포하고 있을 수 있으며, 이러한 특성은 프로토콜의 안전성에 매우 심각한 영향을 미치게 된다. 또한 구형되어진 프로토콜 명세에 만족하게 구현되어졌는지를 확인하는 것 또한 프로토콜 엔지니어링에서 매우 중요한 부분이다. 즉, 프로토콜 명세의 정형검정과 적합성 시험은 프로토콜 개발 과정에서 매우 중요한 부분이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델에 대한 적합성 시험을 위하여 프로토콜 제어흐름을 IOFSM으로 모델링하였으며, 이 명세로부터 UIO 방법에 의한 적합성 시험계열 생성방법을 제시하였다. 또한, 프로토콜 검정 및 적합성 시험 방법을 실제 프로토콜의 정확성을 분석하는 데 사용할 수 있도록 프로토콜 검정기와 시험기를Windows 환경하에서 GUI기능에 의해 Window상에 구현되도록 하여 프로토콜 명세의 정확성을 평가할 수 있게 하였다.

• Journal of the Korean Geotechnical Society
• /
• v.26 no.7
• /
• pp.161-170
• /
• 2010

For the development of load and resistance factor design, reliability analysis is required to calibrate resistance factors in the framework of reliability theory. The distribution of measured-to-predicted pile resistance ratio was obrained based on only the results of load tests conducted to failure for the assessment of uncertainty regarding pile resistance and used in the conventional reliability analysis. In other words, successful pile load test (piles resisted twice their design loads without failure) results were discarded, and therefore, were not reflected in the reliability analysis. In this paper, a new systematic method based on Bayesian theory is used to update reliability indices of driven steel pipe piles by adding more proof pile load test results, even not conducted to failure, to the prior distribution of pile resistance ratio. Fifty seven static pile load tests performed to failure in Korea were compiled for the construction of prior distribution of pile resistance ratio. The empirical method proposed by Meyerhof is used to calculate the predicted pile resistance. Reliability analyses were performed using the updated distribution of pile resistance ratio. The challenge of this study is that the distribution updates of pile resistance ratio are possible using the load test results even not conducted to failure, and that Bayesian updates are most effective when limited data are available for reliability analysis.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.6
• /
• pp.211-222
• /
• 2021

Recently, frozen and refrigerated appliances on the market are being released with additional IoT functions, but there are few tests on IoT functions. In particular, the existing test system does not have IoT test items for IoT-based frozen and refrigerated appliances, making it difficult for companies to find the cause even if defects occur, and test institutions are also restricted from selecting IoT-related test items and conducting correct performance tests. In this paper, we design a test item framework that can identify product defects and identify causes in the performance test process of frozen and refrigerated products with IoT functions among products in the home appliance field, and propose test methods and management measures using them. Through the proposed research, manufacturers and testing institutions can test the correct performance of IoT-based frozen and refrigerated products, thereby enhancing the completeness and securing reliability of the products.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.33 no.1
• /
• pp.69-77
• /
• 2005

To optimize and limit the axial length of the baffle of the KSR-III engine, stability rating tests using pulse gun as one of artificial disturbance devices have been done. Generally a rocket engine can be considered to be dynamically stable if a certain imposed external perturbation or pressure oscillation in rocket combustion chamber could be suppressed within a short time period. Decay time and other parameters for the evaluation of stabilization ability of an engine to external perturbation have been analyzed to quantify stabilization capacity of engine, in other words, dynamic stability margin. Baffle not covering flame zone enough which can be considered as collision region of injector wasn't be able to suppress external perturbation sufficiently. The limit of combustion stability margin of engine is assumed to be 50 mm length baffle of the KSR-III engine.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1260-1261
• /
• 2011

LSM기반의 초고속자기부상열차는 고전압, 대전류의 추진 전력을 공급할 수 있도록 설계되어진 특수한 형태의 추진 인버터와 주행시 부상공극변동에 대해서도 강인한 부상특성을 제공할 수 있도록 개발된 부상제어시스템이 필요하다. 본 논문은 550km/h급 초고속자기부상 시스템에 대한 설계기술의 확보를 위한 것으로, 실 규모시스템 구현에 앞서 축소모형으로 각각의 시스템 구성품을 개발하되 실규도 시스템에 적용하는 방식의 2스텝의 추진용 인버터시스템과 전류원 초퍼기반의 부상시스템 토플로지를 구성하고 그 제어특성의 시험 및 평가를 위해 시뮬레이션을 수행하여 그 가용성을 확인하였다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.34 no.9
• /
• pp.97-103
• /
• 2006

This paper described the design and performance evaluation of fiber optic gyro using digital closed-loop processing. For the feedback to null the gyro input rate, digital serrodyne modulation was employed, and for scale factor stabilization, the control circuits of modulation amplitude and optical power are implemented. Performance tests show that prototype fiber optic gyro has bias stability of 0.34 deg/hr, scale factor non-lineality of about 100ppm, and maximum measurement range of ${\pm}500$ deg/sec.

• Proceedings of the KIEE Conference
• /
• 2003.07b
• /
• pp.1205-1207
• /
• 2003

고전압 전원공급기를 고 밀도로 제작하기 위하여 고 주파수 동작을 시켜야 한다. 이에 따라 전원 공급기에서 최대의 부피를 차지하는 부품인 변압기는 원하는 주파수에서 최소의 부피로 충분한 전력을 수강하면서 완벽한 펄스재현을 하여야 한다. 그리고 승압비를 일정수준으로 유지하여야 한다. 이러한 변압기의 설계 및 제작 시 주의하여야 한다. 진행파관 증폭기용 고밀도 고전압전원공급기용 고주파수, 고전압, 펄스 변압기 변압기를 설계, 제작 시험하였다. 변압기의 스윗칭 주파수는 80 kHz 이며 입력전압은 265 Vdc이고 출력전압은 4kVdc 이다. 변압기의 정상 출력은 1.7 kW이다. 그리고 최대부피는 $200\;cm^3$ 이하가 되어야 한다. 본 논문에서는 다양한 권선 방법에 의하여 제작된 변압기에 대하여 변압기의 설계 및 시험절차가 제시되었다. 그리고 변압기의 누설 인덕턴스, 분포 케페시턴스 및 공진 주파수도 측정하여 평가하였다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.32 no.8
• /
• pp.101-108
• /
• 2004

The thermomechanical tensile characteristics were evaluated for A12024-T3 under heating rates from $1^{\circ}C/sec\;to\;30^{\circ}C/sec$ by using an infrared heating equipment to simulate aerodynamic heating. The rapid heating test results were compared with tensile test results after 1/2 hour exposure in terms of yield stress to investigate the influence of heating condition. A heating rate-yield temperature parameter was suggested for rapid heating based on time-temperature parameters, and master yield stress curve was obtained by using these parameter. These test results can be used for margin of safety of supersonic vehicle structures subjected to aerodynamic heating.

• 한국IT서비스학회:학술대회논문집
• /
• 2007.11a
• /
• pp.562-567
• /
• 2007

분산 환경에서 신분 확인을 위한 생체인증기기가 이용되는 경우 그 기기가 생체인증 표준인 BioAPI를 준용하여 제대로 구현된 것인가에 대한 적합성 시험이 필요하게 된다. 이러한 적합성 시험은 분산 환경의 사용자 및 서비스 제공자에게 표준 규격을 준용한 제품이라는 신뢰성을 주게 된다. 기존에 제공되는 있는 BioAPI(Biometric Application Programming Interface) v2.0 기반의 BSP(Biometric Service Provider)는 오프라인 상에서 BioAPI기반의 제품의 준용 여부만을 평가하기 때문에 분산 환경에서 여러 사람이 동시에 준용 여부를 평가 받기 힘들며 이에 따른 동시 서비스 제공도 불가능하다. 본 논문에서는 BioAPI v2.0 기반의 제품들이 분산 환경에서 제공되는 9개 모델의 표준화된 환경으로 구분하고, 원활한 적합성 시험을 위하여 XML기반의 Test Assertion을 설계하여 생체인증 API 표준 적합성을 시험하였다. XML Test Assertion을 이용한 생체인증 적합성 시험을 위한 메시지 플로우를 밝혀 그 타당성을 입증하였다.

• Journal of the Korean Geotechnical Society
• /
• v.20 no.5
• /
• pp.117-126
• /
• 2004

Recently, the top ＆ down method with drilled shafts as a foundation of high rise building is often adopted for the purpose of construction period reduction and construction cost effectiveness. It is common to omit the loading test as a quality assurance on account of the high capacity of drilled shafts for the top ＆ down method. It seems that the capacity of drilled shaft in recent top ＆ down method is beyond that of conventional loading test method. However, the quality assurance for the drilled shaft as foundation of high rise building becomes much more important since the drilled shaft should bear much higher working load. A small scale test pile can be an alternative as a quality assurance for the drilled shaft with hish capacities. Through a case study, this paper gives an idea for solving the limitation of the conventional loading test method for the quality assurance of drilled shaft with high capacities. In particular, this paper analyzed the scale effect for a small drilled shaft installed into bedrock, which could be used for an alternative.