• Proceedings of the IEEK Conference
• /
• 2007.07a
• /
• pp.215-216
• /
• 2007

LCTV에서 대부분의 전력 소비가 이루어지는 곳은 백라이트 유닛이다. 따라서 백 라이트의 소비 전력을 절감하는 기술은 사용자 각자의 에너지 절약 효과만이 아니라 국가적인 에너지 절약 차원에서도 중요하다. 기존의 연구들은 이러한 에너지 절감을 위하여 영상 특성을 분석하여 백 라이트를 조절하는데 그 방법이 픽셀기반의 처리이므로 처리량이 많아 시간이 오래 걸린다. 본 연구에서는 픽셀 기반 처리를 최소화 할 수 있도록 영상의 특성에 따라 밝기 값에 대한 변화를 추적하여 최소 블록 처리로 그 속도를 개선하는 방법을 제안한다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.401-410
• /
• 2009

In order to derive hidden information (concept subsumption, concept satisfiability and realization) of OWL ontology, a number of OWL reasoners have been introduced. The most of these ontology reasoners were implemented using the tableau algorithm. However most reasoners simply report this information without providing a justification for any arbitrary entailment and unsatisfiable concept derived from OWL ontologies. The purpose of this paper is to investigate an optimized method for non-deterministic rule of the tableau algorithm and finding axioms to cause inconsistency in ontology. In this paper, therefore, we propose an optimized method for non-deterministic rule and finding axiom to cause inconsistency using NATMS. In the first place, we introduce Dependency Directed Backtracking to deal non-deterministic rule, a tableau-based decision procedure to find unsatisfiable axiom Furthermore we propose an improved method adapting NATMS.

• 한국정보교육학회:학술대회논문집
• /
• 2004.08a
• /
• pp.595-604
• /
• 2004

블로그는 개인의 사용과 타인의 접근이 모두 용이하여 정보를 쉽게 정리, 공유할 수 있기 때문에 교육적 활용가치가 매우 높다. 특히 블로그의 주제별 컨텐츠 정리 기능과 RSS, 트랙백 기능은 괄목할 만한 교육적 가치를 지닌다. 본 연구에서는 이러한 블로그를 개인학습장으로 활용하여 학생의 자기주도적 학습력을 높일 수 있는 학급 커뮤니케이션 체제를 구축함을 목적으로 한다. 이를 위해 본 연구에서는 블로그 네트워크라는 개념을 도입하였으며 교사와 학생 모두가 블로거(blogger - 블로그를 운영하는 사람)되는 것을 전제로 하고 있다. 본 연구는 블로그의 교육적 활용에 대한 연구를 통해 효과적인 교육 전용 블로그를 설계하는데 밑받침이 되고자 한다.

• 한국정보교육학회:학술대회논문집
• /
• 2004.08a
• /
• pp.614-621
• /
• 2004

블로그는 1인 미디어로써 개인의 일상을 자유롭게 청에 기록하는 동시에 트랙백을 통하여 보다 많은 사람들과 연계되어 인간관계를 형성할 수 있는 도구로 각광받고 있다. 본 연구는 이러한 블로그 특성을 이용하여 학급 내 학생들의 사회적 자아 존중감 향상을 위한 학급 블로그 시스템을 설계 구현하였다. 온라인 활동과 오프라인 활동을 별 상점이라는 보상체계로 연계한 학급 블로그 시스템은 학생들의 인터넷 생활을 순화시켜 타인과의 관계를 원만히 하고 컴퓨터 활용 능력을 증대시키는 등 실제 학급에서 유용하게 사용될 수 있을 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.594-596
• /
• 2003

지금까지 구현된 대부분의 가상환경 시스템은 헤드마운트디스플레이(HMD), 트랙커, 핸드 글로브, 포스 피트백 센서등의 전문적인 장비를 이용하여 구현되었으며 인터액티브한 장면을 연출하기 위하여 고속의 하드웨어 사양을 필요로 하였다. 현재 이러한 장비는 전문가가 아니면 사용하기가 어렵고 또 장비의 비용이 매우 고가이기 때문에 대중화되기까지 상당한 시간이 소요될 것으로 예상된다. 본 논문은 이와 같은 전문적인 장비가 아닌 범용장비에 속하는 CCD 카메라와 빔 프로젝트를 활용하여 사용자가 인터액티브하게 참여할 수 있는 게임 시스템의 설계와 구현에 관한 논문이다. 이 시스템에서 사용자는 별도의 센스가 부착된 장비가 없이 간단한 색상 마커만을 가지고 컴퓨터가 생성한 가상 공간에서 빔 프로젝트로 구성한 가상 공간에서 캐릭터와의 실시간 게임을 즐길 수 있는 기능을 가지고 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.6
• /
• pp.1557-1564
• /
• 1997

We propose an extension to Prolog called the count term for controlling Prolog execution. The purpose is to allow the programmers as well as the users to have greater flexibility in controlling the execution behavior of Prolog programs and for limiting the number of answers or proofs retrieved when Prolog is used as a database query language. Both syntax and operational semantics of the count term are defined. An implementation strategy based on WAM (Warren Abstract Machine) by modifying instructions related to backtracking behavior has been suggested.

• Annual Conference on Human and Language Technology
• /
• 1992.10a
• /
• pp.555-566
• /
• 1992

본 논문은 한글 주소의 오인식 수정에 관한 연구로서, 필기자의 다양한 필기 형태와 입력 장치의 특성으로 인하여 문자 인식 단계에서 발생할 수 있는 혼동을 줄이고 오류를 효율적으로 수정하는 후처리 알고리즘을 소개한다. 특히, 주소의 행정 구역부에 대해서는 정합해야 할 문자 모델의 범위를 줄여줌으로써 높은 인식률과 처리 속도를 기록하였으며, 문자 인식의 결과에 임계값과 백트랙킹 방법을 도입한 후처리 알고리즘을 적용하여 더욱더 높은 인식률을 나타낼 수 있었다. 번지부와 건물부에 대한 오인식도 제안된 각각의 알고리즘을 적용함으로써 효과적으로 수정할 수 있었다. 우리나라의 25,000여 행정 구역을 바탕으로 작성 가능한 주소들 중에서 임의의 150개 주소 데이타에 대하여 제안된 후처리 방법을 포함한 다양한 후처리 방법으로 실험한 결과, 행정 구역부에 대하여 98%이상의 높은 인식률을 보임으로써, 제안된 후처리 알고리즘이 효과적임을 알 수 있었다.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.1
• /
• pp.90-95
• /
• 2010

This paper describes the development of integrated head and eye tracker system. Vision based head tracker is performed and it has 7mm error in 300mm translation. The epi-polar method and point matching are used for determining a position of head and rotational degree. High brightness LEDs are installed on helmet and the installed pattern is very important to match the points of stereo system. Eye tracker also uses LED for constant illumination. A Position of gazed object(3m distance) is determined by pupil tracking and eye tracker has 1~5 pixel error. Integration of result data of each tracking system is important. RS-232C communication is applied to integrated system and triggering signal is used for synchronization.

• Journal of Intelligence and Information Systems
• /
• v.1 no.1
• /
• pp.111-122
• /
• 1995

전통적으로 스케줄링 문제를 해결하기 위해 LP(Linear Programming) 기법이 주로 적용되어 왔으나, 스케줄링 문제의 많은 자원과 지식, 제약조건의 복잡한 상관 관계를 LPrl법으로 표현하고 처리하기가 쉽지 않다. 따라서 최근에는 AI 기법을 스케줄링 문제에 많이 적용하고 있고, AI 기법은 지식 표현 및 휴리스틱을 다루기에 효과적이므로 문제를 모델링하고 해결하는데 용이하다 할 수 있다. 본 논문에서는 AI 기법을 기반으로 하여 스케줄링에 적합한 휴리스틱 및, 탐색기법, 지식표현 방법등을 연구하고, 이를 바탕으로 코스 스케줄링 시스템을 구현하였다. 먼저 시스템은 전체적으로 메타프로그래밍을 통하여 초기 스케줄링(initial scheduling)과 동적스케줄링 (reactive scheduling)을 수행하도록 하였다. 메타프로그램이 초기 스케줄링을 수행할때에는 휴리스틱과 자체적인 도메인 여과기법을 적용하여 탐색 공간의 불일치 요소(inconsistency)를 제거시킴으로써 백트랙킹의 발생을 최소화시켰다. 또한 초기 스케줄링의 결과를 가지고 메타프로그래밍이 동적 재스케줄링을 수행할때에는 제약조건을 통한 휴리스틱을 이용하여 초기해에 대한 조정을 최소화할 수 있는 메카니즘을 제시하였다. 이에 대한 적용 결과는 실험을 통하여 기존의 논리 언어가 제공하는 탐색 알고리즘과 비교하고 분석하였다.

• Economic and Environmental Geology
• /
• v.49 no.5
• /
• pp.389-410
• /
• 2016

Wide ranges of fission-track (FT) ages were obtained from the Jurassic granite batholith in Jeonju-Gimje-Jeongeup area, southwestern Okcheon Belt: sphene=158~70 Ma; zircon=127~71 Ma; apatite=72~46 Ma. Thermochronological analyses based on undisturbed primary cooling and reset or partially-reduced FT ages, and some track-length data reveal complicated thermal histories of the granite. The overall cooling of the batholith is characterized by a relatively rapid earlier-cooling (${\sim}20^{\circ}/Ma$) to $300^{\circ}C$ isotherm since its crystallization and a very slow later-cooling ($2.0{\sim}1.5^{\circ}/Ma$) through the $300^{\circ}C-200^{\circ}C-100^{\circ}C$ isotherms to the present surface temperature. It is indicated that the large part of Jurassic granitic body experienced different level of elevated temperatures at least above $170^{\circ}C$ (maximum>$330^{\circ}C$) by a series of igneous activities in late Cretaceous. Consistent FT zircon ages from duplicate measurements for two sites of later igneous bodies define their formation ages: e.g., quartz porphyry=$73{\pm}3Ma$; diorite=$73{\pm}2Ma$; rhyolite=$72{\pm}3Ma$; feldspar porphyry=$78{\pm}4Ma$ (total weighted average=$73{\pm}3Ma$). Intrusions of these later igneous bodies and pegmatitic dyke swarms might play important roles in later thermal rise over the study area including hot-spring districts (e.g., Hwasim, Jukrim, Mogyokri, Hoebong etc.). On the basis of an assumption that the latercooling of granite batholith was essentially controlled by the denudation of overlying crust, the uplift since early Cretaceous was very slow with a mean rate of ~0.05 mm/year (i.e., ~50 m/Ma). Estimates of total uplifts since 100 Ma, 70 Ma and 40 Ma to present-day are ~5 km, ~3.5 km and ~2 km, respectively. The consistent values of total uplifts from different locations may suggest a regional plateau uplift with a uniform rate over the whole granitic body.