• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2011.11a
• /
• pp.481-487
• /
• 2011

This paper provides a comparison between finite element analysis results and test data of rupture disc. Rupture disc is safety device of high pressure equipment. Rupture disc of solid rocket motor is a device to control rupture pressure. Rupture discs were made of AISI 316L. By the elastic-plastic analysis, the stress limit of rupture discs were compared to the test results. The results can be used to control the rupture pressure by the change of the disc size.

• Journal of Korean Society of Steel Construction
• /
• v.23 no.1
• /
• pp.113-124
• /
• 2011

This study concerned the interoperability between the structural-analysis model and the default detail model in steel structures available for the structural-design process based on BIM. The purpose of the study was to develop an interface module that can perform data conversion between the analysis and design applications and the BIM applications, through the dotnet frame work development environment using OpenAPI provided by the BIM application vendor. The direct-link method was applied for BIM interoperability. A basic-frame model for detail design and modeling was created from the structural-analysis model to verify if the application was developed. Finally, the proposed process was compared with the existing process to verify the efficiency of the former.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.46-61
• /
• 2002

Among the many phases involved in software development, requirements analysis phase in generally considered to play a crucial role in determining the overall software quality. Therefore, many software development companies manages the phase as one of the important phase. Especially, safety assurance through requirements analysis for safety-critical systems is quite demanding, and national and international bodies routinely require safety demonstration. Among various approaches, inspection and formal methods are generally shown to be effective. In this paper, we propose a formal verification procedure for SCR(Software Cost Reduction)-style SRS(Software Requirements Specification) using the PVS specification and verification procedure and applied this procedure to an industrial system such that a shutdown system for Wolsung nuclear power plant. This system had been verified through inspection not formal verification. The application of formal methods is rare in Korea, so it is very important to experiment about formal verification to industrial systems.

• Journal of rehabilitation welfare engineering & assistive technology
• /
• v.12 no.1
• /
• pp.53-62
• /
• 2018

In this study, we developed a smart 1RM system for national health management and physical fitness, which enables quantitative 1RM measurement in various types of exercise using digital pulley technology, and to test the effect on training by using it. We developed the smart 1RM system, which is composed of portable muscle strength measuring device, Bluetooth communication based mobile phone data transmission and circuit diagram, and height adjustable system body. We recruited the 30 participants with 20th aged and divided into training and non-performing groups with 15 participants randomly. The participants performed 5 sets of elbow, lumbar, knee extension / flexion 10 times using smart 1RM system and the experimental period was 3 days a week for a total of 8 weeks. The experimental results showed that the maximum strength of the elbow, lumbar, and knee joints was significantly improved before and after maximal muscle strength training in the training group. Oxygen intakes during 1RM exercise mode showed 10.91% than endurance. To verify the validity of the smart 1RM maximal strength data, the reliability was 0.895 (* p <0.00). This study can be applied to the early rehabilitation treatment of the elderly and rehabilitation patients more quantitatively using the national health care.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.196.1-196.1
• /
• 2012

인공위성은 지상에서부터 발사 및 궤도 운용까지 다양한 전자파 환경에 노출되며 이러한 환경에서의 위성 운용을 검증하기 위하여, 다양한 전자파 환경을 모사하는 전자파 환경시험을 수행하게 된다. 특히, 궤도내에서 위성의 운용시 지상국과의 교신을 위하여 X 밴드 안테나와 S 밴드 안테나에서 지상국으로 강한 전자기파를 방사하게 되는데, 이 방사에너지가 위성에 영향을 주는지 검증하는 시험을 지상에서 수행한다. 이런 시험을 RFC (RF Auto-Compatibility) 시험이라고 부른다. RFC 시험은 위성으로부터 방사되는 전자기파가 외부에 새어나가지 않도록 전자파 챔버내에서 시험하며, 강한 전자기파를 흡수할 수 있는 고전력 전파 흡수체가 설치된 전자파 챔버가 필요하다. RFC 시험시 X 밴드 안테나와 S 밴드 안테나를 최대 전력으로 방사시키고, 이때 위성 주변에 전자파 센서를 부착하여 전계강도를 측정함으로써 위성으로 입사되는 전자기파의 세기가 적정 레벨 이하인지를 검증하고, 동시에 위성의 운용상태를 확인하여 위성에 영향이 없음을 검증한다. 본 논문에서는 다목적 실용위성 3호의 RFC 시험시 측정된 전계강도를 이론적으로 검증하고, RS 시험시 인가하는 레벨과의 상관관계를 설명한다. RS 시험 레벨의 선정은 위성 안테나의 방사레벨과 관련이 있으며 RFC 시험결과를 검토함으로써 RFC 시험 결과의 유효성과 RF 레벨 요구사항의 적절성을 검증한다.

• Journal of Platform Technology
• /
• v.9 no.1
• /
• pp.32-39
• /
• 2021

Existing environmental measuring devices mainly focus on electromagnetic wave and eco-friendly product certification and durability test, and sensor reliability verification and verification of measurement data are conducted mainly through sensor performance evaluation through type approval and registration, acceptance test, initial calibration, and periodic test. This platform has established an ICT-based environmental monitoring sensor reliability verification system that supports not only performance evaluation for each target sensor, but also a verification system for sensor data reliability. A sensor board to collect sensor data for environmental information was produced, and a sensor and data reliability evaluation and verification service system was standardized. In addition, to evaluate and verify the reliability of sensor data based on ICT, a sensor data platform monitoring prototype using LoRa communication was produced, and the test was conducted in smart cities. To analyze the data received through the system, an optimization algorithm was developed using machine learning. Through this, a sensor big data analysis system is established for reliability verification, and the foundation for an integrated evaluation and verification system is provide.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.135.1-135.1
• /
• 2012

위성 및 발사체 등 지상 및 우주에서 운용되는 시스템은 발사 및 궤도 내 운용환경에서의 다양한 전자파환경에 노출되며 이를 모사하는 전자파환경시험을 전자파챔버에서 수행하게 된다. 전자파챔버에서의 전자파환경시험은 크게 방출시험과 내성시험으로 구분된다. 그 중 복사성 내성시험은 안테나를 통해 방출되는 전기장 에너지를 시험 대상 유니트 또는 시스템에 복사함으로서 발생되는 시험품의 정상동작 여부를 판단하는 시험이다. 이 때, 안테나로부터 복사되는 전기장의 세기는 주파수 및 안테나 타입에 따라 상이한 형상을 가지므로 시험품에 복사되는 전기장 에너지 또한 그에 따른 형상을 가지게 된다. 이에 따라 전자파챔버에서 복사성 내성 시험을 수행할 때 주파수 및 안테나 타입에 따른 필드 균일성 패턴을 측정하고 안테나 빔 중심과 그 주변에서 발생되는 전기장 세기를 정량적으로 평가함으로써 시험품에 대한 복사성 내성시험을 수행함에 있어 시험품 영역에 따른 내성특성을 확인할 수 있을 것이다. 본 논문에서는 한국항공우주연구원 전자파챔버에서 사용하는 복사성 내성 시험용 안테나에 대해 시스템 및 유니트 시험영역에서 필드 균일성 시험을 수행함으로서 위성 또는 발사체 시스템 및 유닛에 복사되는 전기장의 분포 특성을 분석하였다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2002.11a
• /
• pp.609-612
• /
• 2002

본 논문에서는 데이터 유효성 검증 작업을 수행하는 서버인 DVCS의 효율적인 설계에 대하여 고찰하고, 나아가서 무선 환경에서의 효율적인 DVCS 프로토콜 적용에 관하여 살펴본다. DVCS는 전자서명된 데이터의 유효성 검증 및 특정 시점에서의 인증서 유효성 검증을 위하여 과거에 발행된 CRL들에 대한 분석을 필요로 하는데, 이는 시간 및 공간적인 복잡도가 높은 작업이므로 효율적인 시스템 설계가 요구된다. 또한, 성능이 제한적인 무선 단말기에서 DVCS 프로토콜 및 메시지 처리를 가능하게 하기 위하여, 무선 환경에서의 요구사항 및 이에 대한 해결책을 제시하도록 한다.

• Computational Structural Engineering
• /
• v.6 no.2
• /
• pp.79-86
• /
• 1993

A method to verify seismic qualification of the plant protection system cabinet for a nuclear power plant is presented. A finite element model of the cabinet is developed and the dynamic characteristics are obtained. The results of the modal analysis provide insight into the fundamental dynamic properties of the structure, which correspond to the frequency of the peak values of the input seismic spectrum. It necessitates the design modification of the reference cabinet. Techniques for verifying structural integrity and operability are exemplified by summarizing response spectrum and time history analyses of the structure.

• Annual Conference of KIPS
• /
• 2013.05a
• /
• pp.932-933
• /
• 2013

단순 부품부터 계통까지 기존의 아날로그 제품들이 최근 들어 펌 웨어(Firmware)와 고수준의 컴퓨터 언어로 구현된 응용 소프트웨어를 포함하는 디지털 설비로 바뀌고 있다. 따라서 어느 때 보다 소프트웨어의 확인 및 검증의 중요성이 대두되고 있으며, 이를 위해 학계뿐만 아니라 국제표준 기관에서 확인 및 검증을 위한 지침을 제시하고 있는 실정이다. 본 논문은 원자력발전소 출력을 제어하는 제어봉제어계통의 업그레이드와 관련하여 IEEE 1012 에 따라 수행된 독립 확인 및 검증 업무를 요약하고, 이를 통해 얻은 교훈을 기술한다.