• 정보보호학회논문지
• /
• 제13권5호
• /
• pp.17-37
• /
• 2003

본 논문에서는 인증 및 키 분배 프로토콜에 대한 논리성 검증을 위한 ASVO 로직을 제안한다. ASVO 로직은 기존의 인증 로직 중 하나인 SVO 로직에 대해서 자동 검증을 고려하여 변형 설계한 로직이다. ASVO 로직은 구문적/의미적 구조의 안전성을 갖는 로직으로서. 비교적 간소화된 증명 단계를 갖는다. 또한 Isabelle/Isar 시스템을 이용하여 구현된 Isabelle/ASVO 시스템은 ASVO 로직을 통한 반자동 검증을 지원한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.1447-1448
• /
• 2011

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

• 대한전자공학회논문지SD
• /
• 제38권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㎽의 전력 소모를 하였다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2018년도 춘계학술대회
• /
• pp.110-111
• /
• 2018

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

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2004년도 추계학술대회 학술발표 논문집 제14권 제2호
• /
• pp.3-6
• /
• 2004

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

• 정보보호학회지
• /
• 제30권1호
• /
• pp.61-64
• /
• 2020

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.100-102
• /
• 2002

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.945-946
• /
• 2009

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

• 한국항공우주학회지
• /
• 제34권7호
• /
• pp.55-62
• /
• 2006

본 논문에서는 국제민간항공기구와 미연방항공청에서 규정한 "Right of way" 규정과 조종사의 경험을 바탕으로 한 퍼지로직을 이용한 무인항공기의 충돌회피를 다루고 있다. 이 규정을 적용하기 위해 퍼지로직을 이용한 충돌회피 시스템을 설계하였다. 그리고 충돌회피 시스템이 작동할 조건을 위해 결심로직을 설계하였다. 결심로직은 상대방위, CPA까지의 시간, CPA에서의 거리 등 세가자의 중요 요소로 구성되어 있다. 결심로직의 적용은 NMAC를 회피하기위해 설계 되어졌으며 몇 가지 시뮬레이션을 통하여 검증하였다. 결론적으로 본 논문에서는 일반공역에서 유인항공기와 함께 비행할 수 있도록 무인항공기의 "See and Avoid" 능력을 수행할 수 있는 방법을 제안하였다.

• 정보보호학회논문지
• /
• 제13권1호
• /
• pp.115-129
• /
• 2003

본 논문에서는 암호프로토콜의 논리성 검증을 위한 방법 중 하나인 SVO 로직을 바탕으로 한 자동 검증 방법과 실험에 대해서 다룬다. 먼저 기존 SVO 로직 자동 검증의 문제점을 도출한 후 자동 검증을 고려한 ASVO 로직을 설계하고 검증하였으며, Isabelle/Isar 시스템을 이용하여 구현하였다 본 논문에서는 잘 알려진 NSSK 프로토콜 중심으로 추론 구성 사례를 소개하도록 한다. 결과적으로 이미 Denning-Sacco 공격에 취약한 것으로 알려진 NSSK 프로토콜의 문제점들을 ASVO 로직의 자동화 검증을 통해서 정확히 확인할 수 있었다. 그리고 최종적으로 ASVO 로직의 자동화 검증을 통해서 발견된 취약점들을 개선한 NSSK7 프로토콜을 설계하고 검증하였다.