• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2002.10a
• /
• pp.217-223
• /
• 2002

초대형부유식 해상구조물의 안전성 확보를 위한 방파제 설계를 수행하여 그 효용성을 검증하고 관련 구조물의 설계에 대한 지침을 제공하였다. 초대형부유식 구조물의 설치 위치에 따라 파랑 하중을 계산하였고, 이 하중에 대한 최적의 직립식 방파제 단면을 통용되고 있는 Goda 식에 의하여 scantling 하였다. 케이슨의 안전성 검증을 위하여 유한요소해석을 수행하였고, 최종적으로 VLFS의 안전성 확보를 위한 하나의 방파제 설계도를 제시하였다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2012.08a
• /
• pp.102-102
• /
• 2012

진공측정 특히 고진공영역에 사용되는 터보분자펌프, 이온펌프, 크라이오펌프 등의 특성평가 장치의 신뢰성을 확보하기 위해서는 신뢰성이 검증된 미세 유량발생 장치를 포함한 이온게이지를 이용한 고진공 측정기술이 확보되어야한다. 본 발표에서는 고진공펌프 특성평가를 위한 미세 기체유량계와 펌프 평가기술에 대한 국제적인 동등성을 확립하고 검증하기 위해 수행해오고 있는 진공분야의 국제비교 및 측정기술 개발 활동에 대해 소개한다.

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

무선 통신의 발달로 무선 단말기 상에서 서명 생성 및 검증과 메시지의 암호화와 복호화 등의 연산의 필요성이 대두되었다. 하지만, 무선 통신이라는 특성상 적은 메모리 용량을 사용해서 빠른 연산을 수행하고, 적은 통신량을 보장해야 한다. 이러한 무선 단말기의 제약사항은 서명과 암호화를 함께 하는 Signcryption 개념과 ECC 기반의 연산을 수행하여 해결할 수 있다. 또한 네트워크상에서의 정보보안을 위해 설치된 방화벽을 통과하기 위해서는 서명의 검증이 필요한데, 서명된 메시지를 암호화 해서 보낼 경우 서명 검증시 수신자의 비밀키가 있어야 메시지를 복원해서 서명을 검증할 수 있기 때문에 이 점을 보완하기 위해 본 논문에서는 서명 검증시에 평문이 필요없는 ECC 기반의 signcryption 방식을 제안한다.

• Annual Conference of KIPS
• /
• 2016.04a
• /
• pp.493-496
• /
• 2016

차량 전장용 소프트웨어의 안정성을 플랫폼 단계에서 테스트 및 검증을 수행하면 많은 비용이 소요된다. 본 연구에서는 플랫폼 단계에서 차량용 내장형 소프트웨어를 테스트하기 이전에 Spin 모델 검증기를 활용하여 전장용 소프트웨어의 기본단위인 타스크들의 행위를 모의 실험함으로써 시스템의 설계오류를 검증할 수 있는 도구를 개발하였다. 본 연구에서는 운영체제와 환경설정 및 제어 프로그램이 수행할 타스크들을 모델로 구축하고, 모델 검증 도구 Spin을 이용하여 타스크의 상태변화를 확인할 수 있었으며, NuSMV를 이용한 방식과 비교하여 다양한 장점들을 확인하였다.

• Journal of the Korean GEO-environmental Society
• /
• v.18 no.9
• /
• pp.11-18
• /
• 2017

Numerical analysis method for prediction of pile behaviour characteristics has widely been used in detail design process before construction because field static loading test requires high cost. However, the reliability verification of numerical analysis of result is not permitted compare with field test. In this study, to verify the numerical analysis results, pile behaviour prediction was compared with field static loading test results. For exact analysis of interaction between pile and ground, soil investigation and in-situ test such as boring, SPT and bore-hole shear test were performed before pile static loading test. During the static loading test, pile behaviour characteristics were analyzed under every loading condition. After static pile loading test, numerical analysis was carried out under same condition with static pile loading test. In the numerical analysis, to apply same loading condition with each loading condition in the field test and to compare with between the results of numerical analysis, the field test results for reliability were verified with the results of numerical analysis.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.29 no.3
• /
• pp.147-153
• /
• 2017

In this paper, a test is performed to verify the mechanical durability of acoustic sensor system mounted in seabed given test specification. High system durability is required for acoustic sensor system which is costly for installation process, and is affected with various tensional loads by installation equipments. So, it is necessary to verify the system durability including its performance or lifetime in mounted environments. The list of specified tests is mainly based on UJ QTS 200 and the system mostly satisfies the test specification for electrical characteristics.

• Journal of Internet Computing and Services
• /
• v.4 no.4
• /
• pp.53-64
• /
• 2003

To perform the certificate validation on the user-side application induces the very considerable overhead on the user-side system because of the complex and time-consuming characteristic of the validation processing. Most of the time spend for performing the validation processing is required for the digital signature verification, since the verification accompanies with the cryptographic calculation over each certificate on the certificate path. In this paper, we propose a new certificate validation scheme using DSVP(Delegated Signature Validation Protocol) which can reduce the overhead for the user-side certificate validation processing. It is achieved by delegating the digital signature verification to CAs of the PKI domain. As the proposed DSVP is the protocol performed between a user and CAs, it is applied to the hierarchical PKI efficiently and used for delegating the digital signature verification reliably and safely, our proposed scheme can not only reduces the overhead for the validation processing by decreasing the cryptographic calculation but also improves the utilization of CAs by employing them to the validation processing.

• Nuclear industry
• /
• v.16 no.5 s.159
• /
• pp.59-68
• /
• 1996

한국원자력연구소는 최근 원자력 선진국인 프랑스로부터 원자로 격납 용기 실험 용역 사업을 국내 최초로 수주, 그동안 꾸준히 수행해 온 중대 사고에 대한 원전 안전성 확보를 위한 연구 성과를 국외에서 인정받게 되었다. 본 실험의 목적은 프랑스 900MWe 표준 원전 캐비티 모형에 대한 중대 사고시 고압 방출에 의해 캐비티 밖으로 방출되는 용융 노심 파편물의 방출량을 측정하고, 방출분율을 예측하는 상관식의 검증과 캐비티의 구조 특성을 고려할 수 있는 상관식을 개발하는 것으로서, 금년 2월부터 내년 1월까지 수행한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.1-8
• /
• 2015

Safety critical systems require exhaustive verification of safety properties, because even a single corner-case fault can cause a critical safety failure. However, existing verification approaches are too costly in terms of time and computational resource required, making it hard to be applied in practice. In this paper, we implemented a tool for minimizing the size of the verification target w.r.t. verification properties to check, based on program slicing technique[1]. The efficacy of program slicing using our tool is demonstrated in a case study with a verification target Trampoline[3], which is an open source automotive operating system compliant with OSEK/VDX[2]. Experiments have shown enhanced performance in verification, with a 71% reduction in the size of the code.

• Aerospace Engineering and Technology
• /
• v.11 no.1
• /
• pp.49-56
• /
• 2012

The flight software monitors the status of the satellite and performs attitude control and its own mission. Due to the operating environments and its uniqueness, the high level of reliability is required for the flight software. To this end, a variety of activities to meet the given requirements and improve the safety and reliability are made during the development of flight software. A variety of development environments should be provided to support execution of flight software on hardware or satellite simulator and dynamic verification of flight software through command/telemetry interface. The satellite flight software team has been developing the IVF to be applied to various satellite projects more effectively and to improve the reliability of flight software. In this paper, the design and configuration method of IVF for the effective verification of flight software is introduced.