• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.18 no.4
• /
• pp.41-48
• /
• 2004

In this paper, a PFC(Power Factor Correction) electronic ballast with constant voltage-fed is proposed. The proposed PFC electronic ballast is combined of a high-efficiency boost converter and a conventional half bridge inverter. It is proved that the ripple of input-current and the input-current's harmonic of the proposed PFC electronic ballast are reduced using the voltage divider and soft-switching technique. It is demonstrated that simulation results for fluorescent lamp correspond with theoretical analysis.

• Proceedings of the KIEE Conference
• /
• 2004.10a
• /
• pp.188-192
• /
• 2004

이 논문에서 정 전압형 PFC 전자식 안정기에 대하여 제안하였다. 제안하는 PFC 전자식 안정기는 고효율 승압형 컨버터와 기존의 하프브리지 인버터를 조합한 것이다. 제안된 PFC 전자식 안정기는 전압 분압기와 소프트 스위칭 기술을 사용하여 입력전류의 왜형과 입력전류의 고조파가 감소됨을 증명하였다. 형광램프에 대한 시뮬레이션결과는 이론적인 분석과 일치함을 나타내었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.559-561
• /
• 2003

최근 차세대 Web 기술로서 Semantic Web이 주목 받고 있다. Semantic Web에서는 Web상에 존재하는 문서에 Web Resource들에 대한 Ontology를 기반으로 Semantic Annotation을 하고 Ontology 추론 Agent를 통하여 의미 기반으로 Web을 검색할 수 있도록 해준다. 이와 같은 Semantic Web 기술의 핵심 요소는 Web Ontology이며 W3C에서는 이를 표현 할 수 있는 표준 언어로서 RDF기반의 OWL(Web Ontology Language) 명세를 제정하고 있다. 따라서 표준 Web Ontology 언어인 OWL을 위한 추론 시스템은 Semantic Web 검색 Agent의 구현을 위한 필수적인 기반 기술이라 할 수 있으나 아직 그 개발이 미비한 상태이다. OWL 추론 시스템을 구현하기 위해서는 OWL의 이론적인 기반을 제공하는 DL(Description Logic)을 추론할 수 있는 엔진을 사용하는 것이 한가지 방법이 될 수 있으나 OWL이 Rule과 같은 DL의 범주를 벗어나는 Vocabulary를 지원하는 언어로 확장되는 경우에 이를 처리하기가 어렵다. 또 다른 방법으로서 Logic Programming을 통하여 OWL 언어의 Semantic을 기술하고 정리 증명(Theorem Proving)을 통하여 Ontology를 추론하는 공리화(Axiomatisation) 기법이 있는데 이러한 방법의 장점은 기반이 되는 Logic의 범주 내에서 새로운 언어를 위한 Vocabulary의 확장이 용이하다는 점이다. 본 논문에서는 Axiomatisation 방법을 이용하여 OWL로 기술된 Ontology를 추론할 수 있는 시스템의 설계 및 구현에 대해 설명하기로 한다.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1843_1844
• /
• 2009

본 논문에서는 영상처리 기술을 기반으로 한 내부 운전자에게 위협이 될 수 있는 금속 물체를 탐지하기 위한 실시간 시스템을 제안한다. 제안된 시스템은 퍼지 이론을 이용하여 금속물체를 탐지할 수 있는 색상 필터를 설계하여 사용하였다. 차량안의 특정 탐지 영역 내에서 FCF(Fuzzy Skin Filter)를 이용하여 운전자의 얼굴 영역을 탐지하고, 동승자가 위협을 가한다는 가정 하에 손 영역을 탐지한다. 탐지된 동승자의 손 영역을 중심으로 색상기반 원형 탐색기법을 사용하여 최종 금속물체의 후보영역을 설정하고, 금속물체 색상필터를 적용하여 최종적인 금속물체영역을 탐지 한다. 제안된 방법은 여러 실험을 통해 내부 운전자 보호를 위한 금속물체 탐지 시스템의 우수성을 증명한다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2011.07a
• /
• pp.11-13
• /
• 2011

양방향 필터 (Bilateral filter)는 에지 보전 평활화 필터로써 디노이징, 반사 제거, 스테레오 매칭 등 다양한 분야에서 사용되고 있다. 이는 기존의 가우시안 필터에 사용되는 공간 도메인 커널 (spatial kernel)이외에 강도 도메인 커널 (range kernel)을 추가로 사용하여 비슷한 강도의 픽셀에 높은 가중치를 부여함으로써 에지를 보전하면서 평활화를 한다. 또한 양방향 필터는 비등방성 확산 필터 (Anisotropic diffusion filter)와 달리 항상 수렴을 보장한다. 따라서 본 논문에서는 고정점 반복 이론을 적용하여 양방향 필터의 수렴을 수학적으로 증명한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.2
• /
• pp.164-175
• /
• 1999

본 논문은 종속적인 작업들의 시간 제한요건 검증에 관한 연구이다. 종속적인 작업들은 임의의 시간 제한요건과 가변의 수행시간을 가지며 우선순위 구동 방식에 따라 동적으로 다중프로세서 시스템에 스케줄된다. 본 논문에서는 종속적인 작업들이 예측 가능한 방법으로 수행될 수 있는 조건들을 제시한다. 즉, 모든 작업들이 각각 가장 긴 수행시간을 갖는 경우를 시뮬레이션했을 때의 종료시각이 모든 작업들의 수행종료 시각을 바운드하는 경우들을 제시하고 증명한다. 또한, 일반적인 경우에 모든 작업들의 가장 늦은 수행종료시각을 바운드할 수 있는 알고리즘들을 제시한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.12
• /
• pp.974-980
• /
• 2000

Luby-Rackoff의 논문 이후로 유사 랜덤 순열 생성기에 관한 많은 연구가 있었다. 하지만 대부분의 연구는 대칭 피스텔 네트웍 구조를 이용한 유사 랜덤 순열 생성기에 관한 것이었다. 이 논문에서는 비대칭 피스텔 네트웍 구조를 사용하는 순열 생성기가 유사 랜덤 순열 생성기가 되기 위한 조건을 분석한다. 비대칭 피스텔 네트웍 순열 생성기의 입출력의 크기가 (k+1)n 비트인 경우 논문의 결과는 다음과 같다. 비대칭 피스텔 네트웍이 입력 크기가 kn 비트이고 출력 크기가 n 비트인 유사 랜덤 함수 생성기를 사용하는 경우, 전체 라운드 수가 k+2 이상이면 유사 랜덤 순열 생성기이다. 비대칭 피스텔 네트웍이 입력 크기가 n 비트이고 출력 크기가 kn 비트인 유사 랜덤 함수 생성기를 사용하는 경우, 전체 라운드 수가 k+2 이상이면 유사 랜덤 순열 생성기이다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.2
• /
• pp.223-231
• /
• 1999

본 논문은 두 개의게이트웨이를 사용한 격자구저망에서 최적의 게이트웨이 위치 설정을 위한 알고리즘을 제안하고 원리를 유도하였다. 최적의 게이트웨이 위치란 격자구조망내 각 노드에서 게이트웨이까지의 평균 최소 링크 수를 가지는 위치로 정의한다. 두 개의 게이트웨이르 사용함으로써 망내의 신뢰도 향상 효과를 가져오며, 우회 경로로 인한 호차단 확률(call blocking probability)과 호설정시간(call setup time)을 최소화한다. 따라서 본 논문에서는 망의 성능을 향상시키기 위하여 두 개의 게이트웨이의 최적의 위치를 결정하는 Grid-Traverse 알고리즘을 제안하고 설정원리들을 유도하여 , 수학적 귀납법으로 이 원리들을 증명하였다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.1_2
• /
• pp.45-51
• /
• 2001

정보 처리량이 증가함에 따라 한번에 많은 양의 평문을 암호화 할 수 있는 입출력이 큰 블록 암호기의 필요성이 대두되고 있다. 하지만 입출력이 큰 블록 암호기를 직접 구현하는 것은 많은 비용이 든다. 따라서 이 논문에서는 기존에 존재하는 블록 암호기를 이용해서 입출력이 큰 블록 암호기를 구현할 수 있는 방법을 제안한다. 그런 뒤 새로 제안된 비대칭 피스텔 네트웍 구조가 안전한 블록 암호기가 되기 위한 조건을 분석한다. 논문의 결과는 다음과 같다. 확장 가능한 비대칭 피스텔 네트웍이 입력과 출력의 크기가 모두 n 비트인 유사 랜덤 함수 생성기를 사용하는 경우, k가 홀수이고 전체 라운드 수가 2k+1이상이면 유사 랜덤 순열 생성기이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11a
• /
• pp.325-328
• /
• 2003

본 논문에서는 주어진 손님 그래프 모델의 정점들과 간선들을 성능 파라미터들을 보다 우수하게 유지하면서 주인 그래프의 대응되는 정점들 및 경로들로 매핑시키는 "그래프 임베딩 문제"라고 불리는 그래프이론 문제를 다룬다. 높이가 N인 피라미드 모델을 손님 그래프로 하여 0$(4^{(k+1)}+2)/3{\times}2^{(N-k-1)}{\times}2^{(N-k-2)}$ 구조의 병렬컴퓨터 모델로 임베딩할 수 있는 새로운 매핑 함수를 제안하고 해당 함수 적용시 신장율이 $max\{(2^{(2k+1)}+4)/3,\;5{\cdot}2^{N-k-2}/8\}$로 개선됨을 증명함으로써 그 성능을 분석한다.