• Annual Conference of KIPS
• /
• 2001.10a
• /
• pp.773-776
• /
• 2001

본 논문에서는 캘리브레이션 패턴을 카메라와 평행한 평면에 위치시켜 카메라의 회전 요소를 없게 하여 회전 행렬이 단위 행렬이 되게 한 상태에서 카메라를 캘리브레이션 하였다. 카메라의 투영중심에 대한 투영면과 프레임 버퍼에서의 영상 중심 위치($C_x,\;C_y$), 촛점거리(f) 등의 내부 파라메타와 세계 좌표의 원점에 대한 카메라의 상대 위치($T_x,\;T_y,\;T_z$)를 서로 다른 거리에서 획득한 두 장의 패턴 영상을 이용하여 효과적으로 계산하였다.

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

지금까지 제안된 패스워드를 이용하는 인증 프로토콜은 오프라인 추측 공격이나 패스워드 파일 컴프로마이즈에 대하여 안전하지 않으므로 이에 대한 연구가 요구되고 있다. 본 논문에서는 패스워드를 이용하는 인증 프로토콜인 스키마 PAP(Password based Authentication Protocol)을 적용하여 새로운 인증 프로토콜 PAPRSA를 제안하였다. PAP는 패스워드를 표현하는 많은 값들 중에서 임의로 선택한 한 값을 처리하는 것을 특징으로 한다. PAPRSA는 패스워드를 표현하는 값을 처리하기 위하여 RSA를 이용하는 PAP기반 인중 프로토콜이다. 제안된 PAPRSA는 오프라인 추측 공격과 패스워드 파일 컴프로마이즈를 포함한 공격들로부터 안전하였으며, 패스 수와 계산량을 측정한 결과 효율성 면에서 매우 우수하였다.

• Annual Conference of KIPS
• /
• 2001.04a
• /
• pp.181-184
• /
• 2001

모델체킹에 사용되는 논리는 CTL 과 LTL 이 있다. 이 두 논리식은 그 표현력과 효과적인 면에서 크게 차이가 있다. 현재 SPIN에서는 LTL 을 이용하여 모델체킹을 수행하고 있다. 본 논문에서는 LTL 모델체커인 SPIN 에 CTL 을 적용시킬 수 있는 가능성을 제시하고, LTL 모델 체커에 CTL 을 적용시킬 수 있는 방법에 대해 논한다.

• Annual Conference of KIPS
• /
• 2000.04a
• /
• pp.1159-1162
• /
• 2000

본 논문에서는 컴퓨터 자수 소프트웨어인 펀칭 프로그램의 개발과정에서 베지에르 곡선식을 사용하여 구현한 박음질(Satin) 알고리즘을 기술한다. 자수에서 박음질은 지그재그로 1회씩 정해진 구간의 밀도와 수폭사이를 왕복하여 작업이 이루어지며 폭이 좁거나 테두리 부분을 작업할 때 주로 사용된다. 박음질은 밑박음질(Running)과 다르게 불규칙적인 면을 채울 수 있도록 고안됐다.

• Annual Conference of KIPS
• /
• 2015.10a
• /
• pp.773-775
• /
• 2015

스마트폰과 소형 디바이스의 발달로 헬스 케어 시장은 큰 성장세를 보이고 있고 플랫폼을 제공하는 회사들 간의 치열한 경쟁이 시작되고 있다. 시장의 성장세와는 달리 데이터 보안에는 상대적으로 취약한 면을 보였다. 본 논문에서는 헬스 케어 보안이 허술한 사례들을 보이고 이에 대한 해결방안을 모색해 본다.

• Annual Conference of KIPS
• /
• 2015.04a
• /
• pp.114-117
• /
• 2015

이 논문에서는 소수 추출 방법인 Sieve of Eratosthenes 알고리즘을 병렬화하되 실행시간과 에너지 소모 면에서 개선된 효과를 얻고자 한다. 멀티코어 프로세서의 공유 메모리를 효율적으로 활용하도록 하이브리드 병렬 프로그래밍 모델을 적용하고, 부하 균등화를 정교하게 조절하도록 파이프라인 작업 방식을 도입하였다. 실험결과 이전 방식보다 연산속도가 향상되었고, 에너지 사용량도 감소함을 확인하였다.

• Annual Conference of KIPS
• /
• 2012.11a
• /
• pp.482-485
• /
• 2012

본 논문은 평면 디스플레이 패널 외관 검사의 무인 자동화를 위한 전처리 단계의 알고리즘으로 패널 외관 검사 영역의 정합성 향상 및 자동 설정하는 알고리즘 기술에 관한 것이다. 평면디스플레이 패널의 제조 공정 중, 점등 검사 공정 단계에서는 Line 불량, Point 불량, 얼룩 불량, 외관 불량, Pol 불량 등 다양한 불량들을 검출한다. 이중 외관 불량 검사를 자동화하기 위한 전처리 단계로써 획득한 영상 내에서의 검사 영역을 설정함에 있어서 영상에서의 패널 위치의 변화, 패널의 Rotation/tilt, 패널 에지에 불량이 결부될 경우에도 실제 절단면을 정확하게 추출하여 불량 측정 오차를 최소화하는 알고리즘 을 제안한다.

• Annual Conference of KIPS
• /
• 2004.05a
• /
• pp.1047-1050
• /
• 2004

버퍼 오버플로우 공격의 방어는 그 심각한 위험성 때문에 많은 연구가 되고 있지만 방어에 의한 오버헤드의 발생으로 인해 실제 적용되기 어려운 면이 있다. 본 논문은 이진 코드를 재작성 하여 스택의 리턴 주소 사본을 지역변수 아래 부분에 두고 함수 반환시 비교 검사를 하는 것으로써, 소스코드가 없는 경우에도 버퍼 오버플로우 공격을 막는 동시에 오버헤드를 줄일 수 있는 방법을 제안하였다.

• Annual Conference of KIPS
• /
• 2009.11a
• /
• pp.403-404
• /
• 2009

현재 이슈가 되고 있는 디지털화된 지연 고정 루프는 여러 가지 방법으로 설계 되고 있다. 아날로그 형태의 지연 고정 루프는 전력 소모 면에 있어 상당한 대기 전력을 가지고 있으며 이를 효과적으로 방지하기 위해 디지털화되고 있다. 또한 지터와 스큐 문제를 최소화하며 주파수 범위도 넓힐 수 있다.

• Annual Conference of KIPS
• /
• 2009.11a
• /
• pp.813-814
• /
• 2009

익스트림 프로그래밍에서는 문서화 보다는 면대면 의사소통을 중시하기 때문에 직접 소통이 곤란한 상황에서는 빠른 정보 획득과 이해에 어려움을 갖는다. 이러한 문제점은 개발 중 나타나는 산출물을 프로젝트 개발 특성에 따른 분류와 단위화로 해결이 가능하다. 이를 위하여 본 연구에서는 익스트림 프로그래밍에서 사용자 스토리 중심의 개발 단위와 개발 수준별 산출물 유형을 식별하고 이를 기반으로 하는 사용자 스토리 바인더 생성 방안을 제안하였다. 아울러 자판기 사례를 통하여 적용을 보인다.