• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.5
• /
• pp.17-37
• /
• 2003

This paper presents the ASVO (Automation-considered SVO) Logic that can be used for verifying authentication and key distribution protocols. The ASVO logic was designed for automatic verification, in a way to modify the SVO logic, one of the most famous authentication logics. The ASVO logic is syntactically and semantically sound, and requires relatively simple verification steps. Also we implemented the Isabelle/ASVO system which supports semi-automated verification, by using the Isabelle/Isar system.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.1447-1448
• /
• 2011

초저온 액화 공정 플랜트의 정상 운전시 제어 로직을 사전에 점검할 수 있는 테스트 플랫폼을 개발하였다. 초저온 액화 공정 플랜트상의 주요 제어 대상 포안트 17 개를 선정하여 PID 및 cascade 제어 알고리즘을 구현하였으며 이를 시뮬레이터에 연결하여 제어 로직 계산 결과를 테스트하였다. 시뮬레이터에서는 제어시스템의 제어 로직에 대한 동적 반응 특성을 계산하여 제시함으로써 제어시스템의 제어 로직을 사전에 분석, 점검할 수 있도록 역할을 수행한다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.3
• /
• pp.51-51
• /
• 2001

본 논문에서는 CMOS 로직과 pass-transistor logic(PTL)의 장점만을 가진 새로운 복합모드로직(Compound Mode Logic)을 제안하였다. 제안된 로직은 VLSI설계에서 중요하게 부각되고 있는 저전력, 고속 동작이 가능하며 실제로 전가산기를 설계하여 측정 한 결과 복합모드 로직의 power-delay 곱은 일반적인 CMOS로직에 비해 약 22% 개선되었다 제안한 복합모드 로직을 이용하여 고성능 32×32-bit 곱셈기를 설계 제작하였다. 본 논문의 곱셈기는 개선된 사인선택(Sign Select) Booth 인코더, 4-2 및 9-2 압축기로 구성된 데이터 압축 블록, 그리고 carry 생성 블록을 분리한 64-bit 조건 합 가산기로 구성되어 있다. 0.6um 1-poly 3-metal CMOS 공정을 이용하여 제작된 32×32-bit 곱셈기는 28,732개의 트랜지스터와 1.59×l.68 ㎜2의 면적을 가졌다. 측정 결과 32×32-bit 곱셈기의 곱셈시간은 9.8㎱ 이었으며, 3.3V 전원 전압에서 186㎽의 전력 소모를 하였다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2018.05a
• /
• pp.110-111
• /
• 2018

최근 5년간 우리나라 해양사고 현황을 살펴보면 어선 사고가 약 68.2%, 100톤 미만의 선박 사고가 약 80%를 차지하고 있으며, 사고건수도 매년 증가하는 추세이다. 특히 어선 사고 중 11.6%는 충돌사고로 기관손상 다음으로 높은 비율을 차지하였으며, 이는 운항 과실에 의한 해양사고가 대부분을 차지하였다. 본 연구에서는 이러한 소형 선박의 충돌사고를 예방하기 위하여 육상에서 활용되고 있는 WAVE 통신기술을 기반으로 실용적으로 사용할 수 있는 소형 선박 충돌예방 로직을 고안하고자 한다. 로직은 충돌위험 선박의 판별, 알고리즘에 의한 계속적 감시(계산), 충돌위험 알람 발생의 3단계로 구분되며, 알람 발생에 대한 기준을 마련하기 위하여 사용자 설문 및 시뮬레이션 실험을 수행하였다. 그 결과 DCPA 기준 $8(L_a+L_b)$와 TCPA 기준 2분(항해 중), 6분(조업 중)을 도출하였고, 이를 적용하여 로직을 개발하였다. 추후 로직 고도화 및 시스템화를 통하여 소형 선박의 충돌사고를 예방하는데 기여할 수 있을 것이다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.10a
• /
• pp.3-6
• /
• 2004

본 논문에서는 퍼지 로직을 이용하여 로봇과 공의 상태에 따른 로봇 행동의 선택 알고리즘을 제시한다. 전략 및 전술 알고리즘으로 많이 알려진 Modular Q-학습 알고리즘은 개체의 수에 따른 상태수를 지수 함수적으로 증가시킬 뿐만 아니라, 로봇이 협력하기 위해 중재자 모듈이라는 별도의 알고리즘을 필요로 한다. 그러나 앞으로 제시하는 퍼지 로직을 적용한 로봇축구 전략 및 전술 알고리즘은 퍼지 로직을 이용하여 로봇의 주행 알고리즘을 선택하는 과정과 로봇의 행동을 협력하는 과정을 동시에 구현함으로써, 계산 양을 줄여 로봇 축구에 보다 적합하게 해준다.

• Review of KIISC
• /
• v.30 no.1
• /
• pp.61-64
• /
• 2020

본 연구에서는 하드웨어 암호화 로직이 적용된 FPGA 암호 시험 평가 보드를 기반으로 구축한 부채널 분석 시험 환경과 이 환경에서의 부채널 취약성 시험 결과를 소개한다. 시험 대상은 2종의 RSA 암호화 로직 오픈소스가 적용된 FPGA 암호시험 평가 보드이며, 암호화 과정을 수행 중에 전력 파형을 수집 분석하여 부채널 취약성을 검증하였다.

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

최근 컴포넌트 기반 개발이 소프트웨어 개발의 새로운 패러다임으로 대두되고 있는 가장 큰 이유는 컴포넌트의 재사용으로 인해 얻을 수 있는 개발 기간의 단축, 유지ㆍ보수의 용이함 등의 장점들 때문이다. 재사용의 개념을 시스템으로 확장하여 생각하면 기존 레거시 시스템을 컴포넌트 기반 시스템으로 바꾸는 것이며 이를 위해서는 레거시 시스템의비즈니스 로직을 추출하여 컴포넌트화 해야 한다. 본 논문에서는 기존 레거시 시스템에서 컴포넌트 기반 시스템으로 변환하기 위해 필요한 비즈니스 로직 추출 방법으로 레거시 시스템 분석을 통해 얻은 시스템 플로우 그래프, 프로그램 호출 그래프, 패러그래프 흐름 그래프 등의 그래프 등을 이용하여 레거시 시스템을 이해하고 추출 정보로써 핵심 변수와 패턴 식별을 이용한 방법을 제안한 후 구현된 비즈니스 로직 추출기를 이용하여 구체적으로 COBOL 소스 코드에서 비즈니스 로직이 추출되는 과정을 설명하겠다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.945-946
• /
• 2009

현재의 컴퓨터 설문 시스템은 설문의 규칙이나 처리절차들을 하드코딩하는 방식으로 구현하기 때문에 설문이 변경되면 처리엔진을 수정해야 한다. 이것은 설문 처리엔진이 설문에 종속되어 있음을 의미한다. 본 논문에서는 이러한 약점을 해결하고자 능동문서 모델을 이용하여 설문으로부터 처리엔진을 독립시키는 방법을 고안하였다. 능동문서 기반의 설문지는 컨텐츠, 로직, 지식베이스(사용자 응답), 질의로 구성된다. 이 중에서 로직은 다양한 질문유형에 대한 처리 방법을 기술하는 것으로서 어떤 설문 설계자도 정의할 수 있어야 한다. 또한 로직은 직관적으로 서술할 수 있고 실행가능 하도록 XML 형식의 규칙 마크업 언어인 ERML로 표현하였다. ERML로 작성된 로직은 Prolog로 변환된 후 추론기에 등록되며, 사용자 응답에 따라 설문을 제어하고 처리한다. 마지막으로 몇 가지 질문유형을 ERML로 구현하고 설문 시스템(WINAD: The Web Interview System with Active Documents)에 적용한 실험 결과 설문으로부터 처리엔진을 독립시킬 수 있음을 확인했다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.34 no.7
• /
• pp.55-62
• /
• 2006

This thesis describes collision avoidance using fuzzy logic based on "Right of way" rules of ICAO and FAA and pilot's experiences for Unmanned Aerial Vehicle(UAV). To apply the rules, we designed fuzzy logic based collision avoidance system. And we also designed decision logic for enable condition of collision avoidance system. Decision logic have three kinds of core key, i.e. Relative Range, Time of CPA(Closest Point of Approach) and Distance at CPA. Application of decision logic made a possible to avoid NMAC(Near Mid-Air Collision) and it has been verified through several simulations. To conclude, we proposed the method to carry out "See and Avoid" ability on UAVs, which is capability to mingle with manned aircraft in civil airspace.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.1
• /
• pp.115-129
• /
• 2003

This paper presents a semi-automated formal verification method based on the famous SVO logic, and discusses its experimental results. We discuss several problems on automating the SVO logic and design its derivative, ASVO logic for automation. Also the proposed method is implemented by the Isabelle/Isar system. As a result, we verified the well-known weakness of the NSSK protocol that is vulnerable to the Denning-Sacco attack, using our Isabelle/ASVO system. Finally, we refined the protocol by following the logical consequence of the ASVO verification.