• Annual Conference of KIPS
• /
• 2000.10a
• /
• pp.145-148
• /
• 2000

현대 사회는 정보통신 기술의 발달로 정보 시스템의 사용이 급격히 증가되고 있다. 정보화의 가속화에 따라 다양한 역기능들 또한 도출되고 있다. 여러 가지 역기능들로부터 정보를 보호하고 안정한 정보 유통을 위한 양질의 정보보호 시스템을 위해 정보보호 제품에 대한 평가를 수행하고 있다. 각국의 평가 등급을 살펴보면, 정형기법을 사용한 시스템이 높은 등급을 받고 있다. 특히, 미국의 평가 등급인 TCSEC을 관리하는 NIST 에서는 최상위 등급을 받기 위해서는 정형화 시스템을 사용해야 한다. 이를 위해 미국에서 시행하고 있는 승인된 TOOL 리스트와 이 리스트에 포함되기 위한 평가와 가이드 라인을 분석하여 현재 사용하고 있는 tool 들을 평가해보고 국내 실정에 맞는 최고등급 평가에 사용될 수 있는 검증 받은 도구 리스트와 가이드라인의 초안을 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.576-578
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)에서의 시간 명세 방법에 대해서 기술한다. ATM은 임무 위급 시스템과 같은 실시간시스템을 명세, 분석 및 검증 할 수 있는 LTS(Labeled Transition System) 정형 기법이다. 실시간 시스템이 요구하는 많은 속성 중 특히 시간 제약에 대해서는 사용자나 개발자 모두에게 명확하고 간결한 명세기법이 요구된다. ATM에서는 전이와 모드의 시간 제약을 간략하게 표현할 수 있는 방법을 제공한다. 또한 주기적 동작을 패턴인식하여 보여주는 주기 주제 모드를 통하여 주기와 관련된 동작과 시간 제약을 쉽게 파악할 수 있게 하며 주기적 동작을 선택적으로 간략화하는 방법을 제공한다. 본 논문은 ATM의 다양한 시간에 대한 요구사항에 대한 표현방법을 기술하고 예를 통해서 살펴본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.610-612
• /
• 2002

본 논문에서는 복잡 배경을 포함한 비디오 영상에서 객체 변형 및 겹침에 강건한 칸투어 추적 방법을 제안한다. 복잡 배경에서의 칸투어 추출 문제를 해결하기 위해 텍스처 분석과 노이즈 필터링 과정을 거치며, 보다 객체 원형에 가까운 칸투어 추출을 위해 각 칸투어 포인터 간 최소 경로 측정 알고리즘을 적용한다. 객체 추적 방법에 있어서 추출된 칸투어 정보는 연속된 프레임 상에서 객체 움직임이 발생했을 때 추적 위치를 판별하기 위한 모션 벡터로 사용되며, 시점에 따라 형태가 변하는 상황을 포함한 팬, 틸트, 줌에도 안정적 추적이 가능하게 하기 위해, 폐곡선을 이루는 각 칸투어 포인터들의 움직임 벡터와 칸투어내 면적의 변화에서 측정되는 이동도 측정을 통하여 객체 위치 추적을 가능하게 하였다. 또한 매 추적 과정을 진행함에 있어서 다른 객체의 겹침 및 모양변형 발생여부 검사과정을 통하여, 안정적인 추적이 가능하게 하였다. 본 논문에서 제안한 방법의 성능을 검증하기 위해 다양한 배경을 갖는 복잡 배경에 존재하는 비정형 객체를 대상으로 실험하였고, 제안된 방법이 효율적임을 확인할 수 있었다.

• Geotechnical Engineering
• /
• v.9 no.2
• /
• pp.55-64
• /
• 1993

When earth structures such as dykes or embankments are constructed on very soft clay foundation, unexpectedly large deformations of earth structures as well as clay foundation are encountered during and after construction. The final constructed section is composed of a portion of embankment above the existing ground level and that which penetrated into the soft foundation soil. This study is aimed to correctly estimate the shape of earth structures which penetrate some depth into the soft clay foundation. In this study the methods to predict penetration depth and deformation shape of embankment section after dumping of construction material. Model tests were carried out to prove the developed theory and FEM analysis. And when the mat is added, reinforcement effect was markedly noticed.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.137-142
• /
• 1998

이 연구의 목적은 혼합핵연료 장전노심에서와 같이 스펙트럼이 상이한 인접핵연료의 영향으로 나타나는 노드내 스펙트럼 이력효과를 보정해 주고자 하는 것이다. 이를 위해 이 연구에서는 노드내 13개 지역에서 국부적 미시연소를 수행하여 스펙트럼 이력이 각각 다른 13 개의 독립적인 핵단면적을 구하였고 이로부터 노드내 핵단면적의 분포를 다항식으로 근사하였다. 스펙트럼 이력구배 효과의 보정은 노드내 중성자속 가중평균 핵단면적과 노드내 핵단 면적의 분포에 따른 불연속인자로 보정하였다. 이 스펙트럼 이력구배 효과 보정방법을 혼합 핵연료와 우라늄핵연료가 Checkerboard 형으로 무한히 장전된 경우에 대하여 검증계산을 수행하여 참조해인 CASMO-3 결과와 비교하였다. 스펙트럼 이력분포가 고려되지 않은 경우는 연소도 40 MWD/kgHM에서 노심 반응도에서 약 0.38%, 봉출력에서 최대 11.2 %, 평균 4.3%의 오차를 보였으나 스펙트럼 이력분포를 반영함으로서 노심 반응도에서 0.12 %, 봉출력에서 최대 4.9%, 평균 1.3%의 오차를 보였다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.4
• /
• pp.317-326
• /
• 2001

본 논문에서는 교환기와 같은 실시간 분산 시스템의 개발을 위한 SDL과 CHILL에 기반한 통합 소프트웨어 개발 방법이 제시된다. 이미 다양한 분야에서 SDL과 CHILL의 도구들이 각각 개발되어 왔지만, 본 논문에서는 이들을 통합할 수 있도록 SDL에서 CHILL로의 자동 코드 생성과 심벌 디버깅 환경에 중점을 둔다. 이는 완벽한 수행과 심벌 추적 정보의 삽입을 위한 자동 코드 생성 단계와 SDL 심벌 디버거와 CHILL 시험 환경을 이용한 실시간 심벌 디버깅 단계로 이루어지며, 첫째 SDL에 기반한 정형명세, 둘째 설계의 검증과 확인, 셋째 자동 코드 생성, 넷째 분산된 실시간 병행 CHILL 프로그램의 디버깅, 그리고 마지막으로 응용 프로그램의 CHILL에 기반한 호스트 통합 시험을 제공한다.

• Annual Conference of KIPS
• /
• 2002.04a
• /
• pp.435-438
• /
• 2002

원자력 발전 및 항공 시스템과 같은 실시간 시스템의 설계는 대표적인 Safety-critical 시스템으로서 그 설계로부터 구현에 이르기까지 다양한 방법으로 안정성을 보장하는 설계방법이 연구되고 있다. 특히 이러한 내장형 시스템은 근래에 들어 하드웨어-소프트웨어 통합설계를 통해 설계초기부터 안정성과 일관성 등을 높일 필요가 있다. 본 연구에서는 아날로그 및 디지털이 혼합된 Heterogeneous 시스템의 통합 설계 도구인 PtolemyII[1]을 이용하여 원자력 발전 내장형 시스템의 일종인 Digital Plant Protection 시스템을 설계하고 이를 시뮬레이션 함으로 Safety-critical 시스템 가운데 가장 높은 등급을 요하는 시스템에 통합설계를 적용시켜 본다. 그리고 이에 대한 정형 검증기법을 제안한다.

• Journal of Digital Contents Society
• /
• v.11 no.4
• /
• pp.453-461
• /
• 2010

Specifying and designing the election algorithm in mobile ad hoc distributed systems is very difficult task. It is because mobile ad hoc systems are more prone to failures than conventional distributed systems. The aim of this paper is to propose a specification and design of the election algorithm in a specific ad hoc mobile computing environment. For this aim, we specify and design an election algorithm in this paper. In addition, we formally verify it and show that it is correct. This solution is based on the nodes detection algorithm that is a classical one for synchronous distributed systems.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.4 no.2
• /
• pp.47-56
• /
• 2000

지반-구조물 상호작용 시스템 구조물의 진동제어 시스템 복합재료 구조물과 같은 비비례 감쇠 구조물의 경우 정확한 동적응답을 얻기 위해서는 감쇠행렬을 고려한 고유치 문제를 계산하는 것이 필수적이다 그러나 대부분의 고유치 해법에서는 구하고자 하는 고유치 중 일부를 누락시킬 수 있기 때문에 어떤 고유치 해법이 실제문제에 응용 가능한 방법이 되기 위해서는 누락된 고유치의 존재 여부를 검사하는 기법을 포함하고 있어야만 한다. 비감쇠나 비례감쇠 시스템의 경우에는 널리 알려진 Sturm 수열성질을 이용하여 누락된 고유치를 쉽게 검사할 수 있는 반면에 비비례 감쇠 시스템의 경우에는 널리 알려진 Sturm 수열 성질을 이용하여 누락된 고유치를 쉽게 검사할 수 있는 반면에 비비례 감쇠 시스템의 경우에는 아직까지 검사 기법이 개발되어 있지않다 본 논문에서는 편각의 원리를 이용하여 감쇠행렬을 고려한 고유치 문제의 누락된 고유치의 존재여부를 검사하는 기법을 제안하였다 제안방법의 효용성을 검증하기 위하여 두가지 수치예제를 고려하였다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.795-798
• /
• 2010

본 논문에서는 상사진동에서의 응답을 통해 구성된 모드유연도에 의해 추정되는 손상유발 변위를 이용하여 전당빌딩의 손상을 탐지하는 진동기반의 손상탐지 방법을 제시하였다. 이 방법은 전단빌딩의 층간변위를 활용하여 오직 손상이 존재할 때에만 발생하는 Damage-induced inter-story deflection (DI-ID)을 통해 손상탐지를 수행하는 방법이다. 구조물의 전체 자유도에 양의 전단력을 발생시킴으로써 층간변위를 분명히 파악할 수 있도록 하는 양전단력 탐색하중(Positive Shear Inspection Load)을 통해 DI-ID를 산정한다. 제안된 방법의 검증을 위해 5층의 전단빌딩 축소모형을 대상구조물로 선정하여 수치모의실험을 수행했다. 단일손상과 다중손상의 모사를 위해 1층과 3층의 휨강성을 각각 10% 씩 저감시켰고, 수치모의실험 결과, 단일손상과 다중손상 모두 정확히 손상발생 구역을 확인했다.