• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.14 no.2
• /
• pp.97-106
• /
• 2001

본 연구에서는 트러스 구조물의 이산최적설계를 위해 유전알고리즘(GA)을 적용하였다. 확률론적인 절차를 통해 설계에 필요한 초기 집단을 생성시킨 후, 설계를 개선시키기 위해서 자연선택 및 적자생존의 원리를 적용하였다. 다하중조건 하에서 트러스 구조물의 중량 최소화를 위해 응력 및 변위 제약을 고려하였다. 먼저, 이미 잘 알려진 트러스 구조물에 대해서 GA를 이용하여 얻은 최적해와 기존 문헌들에서 제시하고 있는 값들을 비교함으로써 GA의 신뢰성 및 적용성을 검증하였고, 이러한 신뢰성 검증을 바탕으로 사용성 있는 트러스 구조물의 이산최적설계를 위해 현재 생산중인 강재제원표로부터 부재가 선택되도록 하였다. 강재의 단면으로는 L형강을 사용하였으며, L형강의 강종은 9개의 강종들 (SS 400, SWS 400, SMA 41, SWS 490Y, SWS 520, SMA 50, SWS 570, SMA 58) 중에서 설계자에 의해 자유롭게 선택되도록 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.208-210
• /
• 2004

인증서 상태 검증이란 해당 거래에서 사용되는 인증서에 대한 유효성을 결정하는 과정으로 인증서를 이용하는 거래에 90%이상이 실시간적이고 신속 정확한 처리를 필요로 하는 인터넷뱅킹과 증권 트레이닝에 사용된다. 하지만 기존의 CRL을 이용한 인증서 상태 검증 기법은 인증서 상태의 대한 실시간성을 반영할 수 없다는 문제점이 있다. 이와 같은 CRL 기반의 인증서 상태 검증 기법의 문제점을 해결하고자 OCSP를 이용한 인증서 상태 검증 기법이 제기되었다. 이 기법은 인중서 상태에 대한 실시간성 문제는 해결 한 수 있었지만 OCSP 서버에 대한 중앙 집중화 처리구조로 인해 네트워크 과부하라는 또 다른 문제가 발생한다. 따라서 본 논문에서는 서명자가 인증서 발급을 요청하고 이에 따른 결과로 인증서가 인증기관으로부터 발급되었을 때 서명자정보와 인증서 일련번호가 인증기관 데이터베이스에 매칭 되어 저장된다는 점에 기인하여 위에 문제점들을 해결할 수 있는 서명자의 정보를 이용한 인증서 상태 검증 기법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04b
• /
• pp.829-832
• /
• 2002

공개키 기반구조의 응용이 네트워크 상의 전자 거래로 확대됨에 따라 통신 상대방의 인증을 위해 인증서의 사용이 증대되었으며, 이 인증서는 사용하기 전에 반드시 검증 과정을 거쳐야 한다. 본 논문에서는 시간정보(Time-stamp Information)를 포함한 인증서 검증 프로토콜을 제안한다. 본 논문에서는 긴 길이의 폐지 정보와 주기적으로 발행되는 특징을 가진 인증서 폐지 목록 등 기존의 인증서 검증 메커니즘들이 가지는 문제점을 분석하고 현재의 인증서 상태에 대한 유효성뿐만 아니라 인증서 검증 결과에 시간 정보를 추가하여 보다 신뢰할 수 있는 인증서의 상태 검증 정보를 제공할 수 있는 프로토콜을 제안한다.

• Proceedings of the Korea Port Economic Association Conference
• /
• 2007.07a
• /
• pp.391-405
• /
• 2007

The purpose of this paper is to verify the two problems(normalization for the different inputs and outputs data, and translation invariant for the negative data) which will be occurred in measuring the seaport DEA(data envelopment analysis) efficiency. The main result is as follow: Normalization and translation invariant in the BCC model for measuring the seaport efficiency by using 26 Korean seaport data in 1995 with two inputs(berthing capacity, cargo handling capacity) and three outputs(import cargo throughput, export cargo throughput, number of ship calls) was verified. The main policy implication of this paper is that the port management authority should collect the more specific data and publish these data on the inputs and outputs in the seaports with consideration of negative(ex. accident numbers in each seaport) and positive value for analyzing the efficiency by the scholars, because normalization and translation invariant in the data was verified.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.385-387
• /
• 2000

실시간 시스템은 그 특성상 시스템 내에서의 오류가 매우 위험하고 때론 치명적일 수 있다. 따라서, 시스템의 정확성과 안전성을 보장하는 것은 매우 중요한 문제가 된다. 이러한 문제를 해결하기 위해 정형기법을 사용한 명세와 검증을 통해 실시간 시스템의 안전성을 보장하려는 시도들이 많이 이루어져 왔다. 이 논문에서는 월성 원자로 운전 중지 시스템의 기존 명세의 문제점을 보완하여, 실시간 요구사항들을 타임드 오토마타(timed automata)로 기술할 것을 제안한다. 또한 명세를 실시간 모델 체커 UPPAAL의 입력으로 넣어서, 모델 체킹 기법을 이용해 자동적으로 시간 제약 속성을 검증한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.113-117
• /
• 2003

네트워크에서 보안 기능을 전개하는데 있어 정책 기반 전개 방법이 널리 사용되고 있다. 본 논문에서는 정책 기반 보안 기능 전개에 있어 정책을 설정하고 검증하기 위한 프레임을 제시한다 정책 기반 기능 전개에 있어 중요하고도 어려운 문제는 설정한 정책의 정확성(correctness)과 완전성(completeness)을 검증하는 것이지만 이에 관한 기존의 방법은 주로 경험이나 혹은 감시에 의한 끊임없는 정책 갱신이다. 본 연구에서는 기존의 제안된 여러 보안 모델들을 검토해보고 이 모델들로부터 공통적으로 적용할 수 있는 정책의 정확성과 완전성을 위한 제어 프레임을 설계한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.05a
• /
• pp.253-255
• /
• 2018

기술발전에 따라, 보다 다양한 분야와 영역에 다양한 형태의 임베디드 시스템이 사용됨에 따라, 그에 대한 신뢰성과 안전성에 대한 요구가 증가하면서, 하드웨어 뿐만 아니라 소프트웨어까지도 포함한 부분에 대한 철저한 명세와 그에 따른 검증이 요구되고 있어, 임베디드 시스템 및 소프트웨어의 요구사항 검증을 위해 요구사항 시뮬레이션이라는 기법을 적용하고, 그 효용성을 확인하고자 한다.

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

위성에 탑재되어 위성의 상태를 모니터링하며, 지상으로부터 명령을 받아 위성 본연의 임무 수행이 가능하게 하는 위성비행소프트웨어는 그 개발단계에서 다양한 검증활동이 이루어진다. 설계 검증 및 리뷰, 인스펙션을 거쳐 소스 코드로 구현된 후, 단위 시험을 통해 가장 낮은 수준의 검증을 거치게 된다. 이러한 단위 시험은 개별 함수에 대해 입력에 따른 해당 출력 및 동작 여부를 검사하게 된다. 단위 시험이 하나의 함수에 대한 시험 항목이라는 점은 검증대상의 스코프가 좁다는 장점이 있으나, 다른 모듈과 연동되었을 경우에 발생할 수 있는 다양한 경우를 고려하여 테스트 케이스를 작성해야 하는 어려움이 있다. 이러한 문제점을 해결하기 위하여 단위 시험과 함께, 연관된 함수가 이미 구현되어 있는 경우, Stubbing을 하기보다는 직접 해당 함수를 사용하며, 또한 동등한 수준의 개별 함수들을 주어진 시나리오에 따라 동작하는 Compound Test를 활용, 그 결과를 확인하는 방법을 도입하였다. 이를 이용하면 단위 시험에서는 검증하기 어려운 상황별 시나리오에 따른 검증 활동을 수행할 수 있고, 또한 전체 위성비행소프트웨어를 빌드할 필요없이 테스트의 대상이 되는 함수만을 이용, 나머지 부분은 기존의 방식을 그대로 적용할 수 있어, 위성비행소프트웨어의 안전성 및 신뢰성을 보다 향상시킬 수 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.1
• /
• pp.249-257
• /
• 1998

다층 인쇄회로기판에서 고속 신호를 정확하고 신속하게 배선 설계하려면, 물리적 설계 규칙과 신호 잡음을 고려한 전기적 설계 규칙을 정립하고, 적용할 신호 검증 도구를 사용하여 신호의 충실성을 검증하여야 한다. 본 논문은 현재 개발 제작되어 동작 중에 있는 HIPSS(High Performance Storage System)보드에 대한 전기적 설계 규칙과 고속 신호의 배선에 따른 일부 고속 신호의 신호 검증 방법을 설명한다. 또한 전기적 설계 규칙을 적용하여 인쇄회로기판을 설계하는 경우, 발생하는 신호 지연, 반사 그리고 누화 등의 신호 잡음을 검증 도구를 이용하여 시뮬레이션 하고, 분석한 결과를 보이며, 수정된 고속 신호의 배선 설계를 확인한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.646-648
• /
• 1999

본 논문에서는 가입자망의 고속화를 실현하는 방안으로 개발되고 있는 B-WLL 시스템의 MAC 프로토콜을 설계하고 검증하였다. MAC 프로토콜의 설계는 DAVIC에서 제시하는 MAC 메시지를 사용하여 SDL로 설계했으며, 가변적인 경쟁/예약 타임 슬롯할당 알고리즘을 적용했다. 또한 설계한 MAC 프로토콜의 유효성을 검증하기 위하여 Object(GEODE의 SDL Design Tracer를 이용하여 문법적인 오류를 검사하고, MSC를 생성하여 프로토콜의 동작절차에 대해 검증하였다. 검증의 결과, 설계한 MAC 프로토콜이 절차에 따라 정확하게 동작했으며, B-WLL 시스템이 지원하는 모든 서비스에 대해 유효함을 확인했다.