• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10c
• /
• pp.495-500
• /
• 2007

2차원 기반의 얼굴 분석 및 처리 알고리즘은 포즈 및 조명에 강인하지 못한 문제점들이 존재한다. 이러한 이유로 3차원 기반의 얼굴 분석 및 처리 분야에 많은 연구를 진행하려 하였지만, 컴퓨팅 파워의 한계와 고속 스캐너의 부재 등으로 많은 연구가 진행되지 못하였다. 하지만 오늘날 하루가 다르게 빨라지고 있는 컴퓨터의 성능으로 인해 추출했던 연구들이 다시 진행되고 있다. 이에 본 논문에서는 영상 등록(image Registration) 알고리즘의 한 종류인 Inverse Compositional Image Alignment 알고리즘을 3차원 모퍼블 모델에 적용 및 구현을 하였으며, 기존의 다른 영상 등록 알고리즘과 비교를 하였다.

• Proceedings of the International Microelectronics And Packaging Society Conference
• /
• 2002.05a
• /
• pp.241-246
• /
• 2002

극자외선 노광공정(EUVL: Extreme Ultraviolet Lithography)은 반도체 공정에서 0.1$\mu\textrm{m}$ 이하의 해상도를 실현하기 위해 연구되고 있는 유력한 차세대 노장공정(NGL: Next Generation Lithography)이다. [1] 본 연구에서는 극자외선 노광공정에서 사용되는 반사형 다층박막 미러를 제조하기 위해서 직접 제작한 전산모사 도구를 이용하여 130~135$\AA$의 파장 영역에서 고반사도를 가지는 효율적인 다층박막의 구조인자를 예측하였으며, 그러한 구조인자를 실현하기 위해서 상온(~300K)에서 마그네트론 스퍼터링을 이용하여 다층박막을 증착하였다. 증착조건 중에서, 공정압력에 따른 다층박막 계면 성장의 질적 의존성이 나타났으며, 결과적으로는 낮은 공정압력에서 더좋은 계면특성을 가지는 다층박막이 형성되었다. 다층박막의 구성물질로 Ru, Mo, Si을 사용하였으며, 다층박막의 구조분석은 high/low angle XRD, 단면 TEM images 등을 이용하여 분석되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.124-126
• /
• 2005

초고속 통신망 및 이동통신 단말기의 보급을 통해 전자상거래 서비스가 널리 확산되고 있으며, 이로 인해 유.무선 기반의 다양한 전자지불 시스템 및 표준들이 제안되고 있다. 그 중에서도 스마트 카드를 이용한 CESP 전자 상거래 표준이 많이 사용되고 있다. 본 논문에서는 Casper 및 FDR 도구를 사용하여, CEPS 표준 중에서 전자화폐를 이용한 물품 구입 프로토콜을 정형적으로 명세하고, 보안 취약점을 분석해 보았다.

• Annual Conference of KIPS
• /
• 2010.04a
• /
• pp.498-501
• /
• 2010

세계화 시대로 접어들면서 한 지역에 국한되지 않고 다양한 사람들을 만나 친분을 쌓고 비즈니스를 위해 접촉을 하는 행위가 빈번해졌다. 이러한 상황에서 사람에 따라 대처를 해야 하는 방법들도 다르고, 상대의 성향을 알아야 충동적인 불의를 일으키는 우를 범하지 않게 된다. 이를 위해 본 논문에서는 관상학적으로 바라본 인중과 성격의 이론적 내용을 기반으로 IT 공학의 영상처리를 이용하여 인중의 길이를 추출하고 결과 값에 따른 비율을 측정하여 사람의 성향을 판단하는 방법을 제안하였다. 또한, 제안한 방법으로 추출한 인중의 길이 및 비율로 관상학적 성향과 개체군의 성향을 비교, 분석하여 상호간의 연관성을 입증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06d
• /
• pp.11-15
• /
• 2007

최근 각종 전자기기의 발명 및 발전으로 가정에서의 컴퓨터 및 전자기기 사용이 크게 증가하고 있고, 이런 추세로 인해 흠 네트워크 분야의 관심 증대되고 연구가 활발히 이루어지고 있다. 특히 개인 보안을 위한 인증분야의 중요성이 크게 대두되고 있다. 본 논문에서는 홈네트워크 환경을 고려한 적합한 인증 시스템을 비교 평가하여 미래의 유비쿼터스 홈네트워크 환경이 구축될 때 가장 적합한 인증 시스템에 대하여 연구를 하였다. 본 논문에는 홈네트워크 환경에 적합한 인증 시스템의 요건인 인증의 신뢰성(reliability), 이음새 없는 서비스 구현을 위한 연산의 복잡성(complexity), 외부 침입 등 해킹에 대한 강인함(robustness) 3가지를 기준으로 현재 사용되고 있는 인증 방법론을 비교여 각 방범론의 장 단점 분석하고, 홈네트워크 환경에서 좀 더 쉽고 빠르고 안전하게 정보에 접근하기 위하여 이미지 코드를 이용한 인증 시스템을 제안한다.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2001.11a
• /
• pp.144-148
• /
• 2001

본 연구에서는 쾌한 향과 불쾌한 향에 대한 좌우 반구의 차이를 보여 주는 비대칭 지수를 사용하여, 두 반구 사이의 변화를 살펴보았다. 중년층과 장년층 여성을 대상으로, 100%의 Basil oil, Lavender oil, Lemon oil, Jasmin oil, Ylangylang oil(KIMEX co. Ltd), Sketol의 총 6가지 종류의 천연향을 제시한 후, 주관적 평가를 통해 쾌한 향과 불쾌한 향을 구분한 후, 이 두 향에 대한 뇌파의 비대칭도를 비교 분석하였다. 그 결과, 중년층의 경우, 주관적 평가에서 쾌한 향으로 나타난 lemon향을 제시했을 때, 불쾌한 향을 제시한 경우에 비해 세타파와 알파파에서 우반구 부분이 우세한 경향을 보여 주었고, 장년층에 비해 중년층은 마찬가지로 세타파와 알파파에서 쾌한 향 자극 시 우반구가 우세함을 보여 주었다.

• Proceedings of the Korean Reliability Society Conference
• /
• 2006.05a
• /
• pp.149-157
• /
• 2006

에스컬레이터 스텝 및 수평보행기 팰릿의 가속수명시험 국제 기준인 5백만회 시험조건 및 하중조건의 등가 현장 수명에 대한 근거를 산출하였다. 업체 및 산기원의 시험 데이터로부터 Weibull 모델을 추정하여 분석한 결과 에스컬레이터 스텝 및 수평보행기 팰릿의 형상모수가 각각 2.4$\sim$2.6 및 2.7$\sim$2.8로 산출되었다. 이 형상모수를 이용하여 본 연구에서 대상으로 한 에스컬레이터 스텝 및 수평보행기 팰릿의 B$_{10}$ 수명이 각각의 목표 수명 7년과 6년을 보증할 수 있음을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.334-336
• /
• 2005

본 논문은 정형 명세 언어인 Esterel이 가지는 취약점을 보안하기 위해 Safety-Critical Aided Development Environment를 추가로 활용하여 신뢰성 있고 안전적인 임베디드 제어 소프트웨어 개발을 위한 기법을 제시하고 있다. 그 뿐만 아니라 제시한 기법을 이용하여 개발된 간단한 자동 강속 제어 소프트웨어를 인터페이스와 기능 부분에 대해서 각각 확인 및 검증을 수행한 후 임베디드 시스템인 레고 마인드 스톰으로 제작된 차량 로봇에 탑재한 후 실험을 하고, 실험을 통해 기존 개발 기법과의 차이점을 분석한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.220-222
• /
• 2005

전자지불 시스템의 활용성 중대와 더불어 상거래의 안전성을 보장하는 문제가 중요한 핵심 사항으로 간주되고 있다. 본 논문에서는 이러한 전자지불 시스템의 암호화 키는 안전하다는 가정 하에 전자지불 프로토콜을 통해 소비자와 상인, 은행간의 상거래의 정확성을 중점으로 NetBill 프로토콜을 명세, 검증했다. 프로토콜의 명세를 위해서는 실시간 개념이 포함되어 있는 UPPAAL을 사용했다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.07a
• /
• pp.511-512
• /
• 2023

자율주행 소프트웨어의 안전성에 대한 요구가 높아짐에 따라 소프트웨어를 개발 시 정형 검증 기법을 적용하여 안전성을 확보하고자 하는 노력이 증가하고 있다. 본 논문에서는 ROS 기반의 자율주행 소프트웨어의 동작을 Timed Automata를 사용하여 모델링하고 그 정확성(실시간적 특성)을 모델체킹을 통해 정형 검증하는 방법을 제시한다. ROS 기반 응용 프로그램의 동작은 ROS가 제공하는 노드 간의 통신에 영향을 받기 때문에 자율주행 소프트웨어뿐 아니라 그 동작에 영향을 끼치는 ROS의 큐를 통한 통신을 통합한 모델을 제시한다. 또한 통합 모델에서 큐 크기, 타임아웃, 프로세스의 주기를 매개 변수로 주어 다양한 조합에 따른 실시간 요구사항의 만족 여부를 검증함으로써 ROS에서 매개 변수 설정 기준을 제시한다.