• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.15-18
• /
• 2004

이동 객체를 효율적으로 처리하기 위해 여러 가지 색인 기법들이 제안되었다. 이들 중 3D R-tree와 같은 색인 기법은 시간과 공간을 동일한 차원으로 생각하고 있으나, 실제로 이 두 차원은 단위와 성격이 다르므로 분리해서 처리해야 한다. 특히 본 논문에서 고려하는 환경은 실내와 같은 한정된 공간이므로, 이런 환경에서는 시간과 공간이 같이 성장하는 것이 아니라 공간은 한정되어 있는 반면 시간 차원만이 성장한다. 따라서 R-tree와 1차원(시간차원)의 TB-tree 두 개의 색인을 유지하여, 공간정보와 고정된 객체는 R-tree에, 시간 정보와 이동 객체는 TB-tree에 저장하는 시공간 분리 트리(STS-tree : Separation of Time and Space tree)를 제안한다.

• Proceedings of the KAIS Fall Conference
• /
• 2004.06a
• /
• pp.182-184
• /
• 2004

컴퓨터를 이용한 멀티미디어의 발전으로 인하여 3차원 가상현실의 구현이 빠르게 발전되어 가고 있다. 특히 멀티미디어 컨텐츠에서의 게임은 가장 인기 있고 넓은 시장을 가지고 있다. 하지만 대부분은 제한된 인터페이스의 데스크탐용 PC에 한정되어 있다. 직접 체험을 하며 게임을 하는 체감형 시스템을 갖춘 게임의 개발은 아직 활성화되지 않고 있다. 최근 인라인 스케이트가 여가를 즐기는 레포츠로 전세계적으로 인기를 얻고 있다. 그러나 인라인 스케이트를 충분히 즐기기 위해서는 넓은 공간이 제공되어야 하지만 넓은 공간은 제한되어 있으며, 일반도로에서 주행을 할 경우 대형사고에 노출되는 문제점을 가지고 있다. 본 논문에서는 이러한 인라인 스케이트의 위험에 노출되는 문제점을 해결하기 위하여 한정된 공간에 인라인 스케이트를 즐길 수 있는 전동장치인 스케이트 밀을 개발하고 사용자의 위치를 측정하여 체감 게임을 구현하고자 한다.

• Korean Journal of Logic
• /
• v.6 no.1
• /
• pp.33-50
• /
• 2003

본 논문에서 필자는 기존의 양상 허구주의의 번역 체계가 가지고 있는 세가지 난점을 극복할 수 있는 양상 허구주의의 새로운 번역 체계를 제시한다. 이 세 난점이란 (1) 많은 세계들의 존재를 받아들이지 않을 수 없게 된다. (2) 세계 간의 비교를 하게 하는 양상 진술문을 제대로 번역할 수 없다 (3) 어떤 양상 진술문에 내해 잘못된 진리치를 부여한다 이다. 이 세 난점을 극복하기 위한 필자의 제안은 세계-양화사의 범위 안에 등장하는 양화사들이 주어진 세계 내의 사물들만을 범위 내에 포함하는 루이스의 초기 번역 체계나 비한정적 양회사를 도입하는 루이스의 후기 번역 체계를 받아들이는 대신, 양화사를 조금씩 조금씩 비한정시키는 (unrestrict) 시키는 것이며, 필지 공식 번역 체계는 우주 (세계)의 부분전체론적 합으르 정의되는 "다우주(muitiverse)"라는 새로운 용어를 도입함으로써 얻어진다. 필자의 공식 번역 체계는 다음과 같다: P가 가능하다 iff PW에 의하면 P가 잠인 다우주가 존재한다 P가 필연적으로 참이다 iff PW에 의하면 모든 다우주에서 P가 참이다 마지막으로 필자는 비한정적인 세계 간의 비교를 하게 하는 양상 진술문을 적절하게 번역하기 위해서 필자의 번역 체계에 약간의 수정을 가한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1742-1744
• /
• 2015

최근 Wellness 산업이 발전되면서 Wellness 분야의 다양한 서비스 형태에 대한 연구가 활발히 진행되고 있다. 기존의 Wellness 서비스는 디바이스에 한정되어 서비스를 제공하기 때문에 제한적인 문제점이 있다. 보다 다양한 형태의 서비스를 제공하기 위해서 디바이스에 한정된 서비스를 자동차 환경에 적용하여 제공하는 자동차 Wellness에 대한 연구가 진행되고 있다. 자동차 내의 Wellness 서비스는 운전자 건강관리, 사고예방과 같은 서비스와 질 높은 콘텐츠를 제공한다. 본 논문에서는 자동차 내의 운전자 건강상태 최적화를 위한 지능형 Wellness 서비스를 제안한다. 이 서비스를 통해 운전자의 건강상태를 최적화하여 사고 예방에 도움이 된다. 또한 지능형 Wellness 서비스 연구동향 및 다양한 형태의 Wellness 서비스의 향후 발전 방향에 대해 고찰한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.929-932
• /
• 2013

일반적으로 임베디드 S/W는 특정 디바이스에만 한정되어 설계 및 구현된다. 이러한 특징 때문에 새로운 디바이스가 개발될 때 마다 해당 디바이스에 한정된 임베디드 S/W를 새롭게 개발해야 한다. 이것은 생산성에 있어서 시간적, 경제적으로 비효율적이다. 따라서 본 논문에서는 유사한 디바이스들간의 범용적으로 사용 가능한 임베디드 S/W 설계 기법을 제안 함으로써 개발 생산성을 향상시키며 또한 S/W 의 품질을 높이는 설계기법을 제안한다. 그리고 제안한 설계기법을 적용하여 임베디드 S/W를 구현함으로써 이 기법의 실효성을 검증한다.

• 두채산업
• /
• v.1 no.1
• /
• pp.6-9
• /
• 1989

• The KIPS Transactions:PartD
• /
• v.15D no.6
• /
• pp.741-754
• /
• 2008

Due to the characteristics of a data stream, it is very important to confine the memory usage of a data mining process regardless of the amount of information generated in the data stream. For this purpose, this paper proposes the Prime pattern tree(PPT) for finding frequent itemsets over data streams with using the confined memory space. Unlike a prefix tree, a node of a PPT can maintain the information necessary to estimate the current supports of several itemsets together. The length of items in a prime pattern can be reduced the total number of nodes and controlled by split_delta $S_{\delta}$. The size and the accuracy of the PPT is determined by $S_{\delta}$. The accuracy is better as the value of $S_{\delta}$ is smaller since the value of $S_{\delta}$ is large, many itemsets are estimated their frequencies. So it is important to consider trade-off between the size of a PPT and the accuracy of the mining result. Based on this characteristic, the size and the accuracy of the PPT can be flexibly controlled by merging or splitting nodes in a mining process. For finding all frequent itemsets over the data stream, this paper proposes a PPT to replace the role of a prefix tree in the estDec method which was proposed as a previous work. It is efficient to optimize the memory usage for finding frequent itemsets over a data stream in confined memory space. Finally, the performance of the proposed method is analyzed by a series of experiments to identify its various characteristics.

• 대학교육
• /
• s.145
• /
• pp.48-55
• /
• 2007

현재 우리 대학은 입학자원의 급격한 감소와 같은 변화된 환경에 적합한 대학별 특유의 새로운 성장 동력을 찾지 못하고 전략적 혼란을 거듭하고 있다. 최근 많은 대학들이 특성화에 대한 인식을 전에 없이 달리하고 있는 것은 입학자원의 감소로 더이상의 확대전략이 한계에 부딪치고 한정된 입학자원을 두고 치열한 유치경쟁을 벌이는 가운데 교육품질을 제고하지 않고는 경쟁우위를 가질 수 없다는 사실을 현장에서 스스로 인식한 결과이다. 대학의 특성화는 구성원의 자발성과 경쟁, 이를 바탕으로 한 구성원 컨센서스를 추진동력으로, 일관되고 지속적으로 추진하지 않으면 실현 불가능한 시대적 난제임에 틀림없다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2008.11a
• /
• pp.733-734
• /
• 2008

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.589-591
• /
• 1999

본 논문은 지금까지 환경 정보의 전달방법이 텍스트 위주이며 한정된 장소와 제한된 사람들에게만 보여주었던 것을 Java와 Java 3D를 사용하여 특별한 프로그램 없이 웹상에서 3차원 영상을 볼 수 있도록 한다. 각 지역별 환경 정보를 다양한 방법을 통하여 제공하며 실시간으로 갱신된 정보를 볼 수 있고, 또 축적된 자료를 애니메이션하여 정보의 변화를 볼 수 있다.