이동객체의 궤적에 대한 연속 최근접 질의에 관한 연구

정지문 한국디지털정책학회 2005 디지털융복합연구 Vol.3 No.1

Researches for NN(nearest neighbor) query which is often used in LBS system, have been worked. However. Conventional NN query processing techniques are usually meaningless in moving object management system for LBS since their results may be invalidated as soon as the query and data objects move. To solve these problems, in this paper we propose a new nearest neighbor query processing technique, called CTNN, which is possible to meet continuous trajectory nearest neighbor query processing. The proposed technique consists of Approximate CTNN technique which has quick response time, and Exact CTNN technique which makes it possible to search accurately nearest neighbor objects. Experimental results using GSTD datasets shows that the Exact CTNN technique has high accuracy, but has a little low performance for response time. They also shows that the Approximate CTNN technique has low accuracy comparing with the Exact CTNN, but has high response time.

효율적인 웹기반 가상학습의 운영방안에 고찰 : A Study on Operation Scheme of efficient Web-Based Virtual Classroom

정지문 남서울대학교 공학연구센터 2000 공학연구센터 논문집-남서울대학교 Vol.1 No.-

비디오 샷 검증 시스템

정지문 한국디지털정책학회 2009 디지털융복합연구 Vol.7 No.2

동영상에서 배경프레임을 이용한 차량 프레임 검출 : A Study on Car Frame Extractionusing Background Frame in Video

정지문 남서울대학교 공학연구센터 2000 공학연구센터 논문집-남서울대학교 Vol.1 No.-

Compiler triggered C level error check

정지문,윤종희,이종원,백윤흥,Zheng, Zhiwen,Youn, Jong-Hee M.,Lee, Jong-Won,Paek, Yun-Heung Korea Information Processing Society 2011 정보처리학회논문지 A Vol.18 No.3

IR(Intermediate Representation) 최적화 과정은 컴파일러 back-end의 중요한 부분으로서 sub-expression elimination, dead code elimination 등 최적화 기법들을 사용한다. 하지만 IR 최적화 단계에서 생기는 에러들을 검출하고 디버깅하는데 많은 어려움이 있다. 그 첫 번째 이유로는 컴파일 된 어셈블리 코드를 해독하여 에러를 체크하기 어렵고 두 번째로는 IR 최적화 단계에서 에러가 생겼는지 결정 짓기 어렵기 때문이다. 이런 이유들로 인하여, 우리는 C 레벨에서 IR 코드변환 무결점 여부를 체크하기 위한 기법들에 관한 연구를 진행하여 왔다. 우리는 MeCC(Memory Comparison-based Clone) 탐색기를 기반으로 하여, 최적화하기 전 IR코드와 최적화 한 후의 IR코드를 각각 C코드로 다시 변환한 뒤, 이 두 개의 C코드를 MeCC의 입력으로 주고, 결과의 일치 여부를 확인하는 방법을 사용한다. 하지만 MeCC가 완벽한 결과를 알려주지 않기 때문에, 우리는 각 IR 최적화 기법마다의 특징에 대한 정보를 사전에 처리해서 그 결과의 정확도를 높였다. 이 논문에서는 dead code elimination, instruction scheduling 및 common sub-expression elimination 등 최적화 기법들을 이용한 변환 코드들을 예시로 실험하여 최종적으로 MeCC에서의 C 레벨 코드의 정확한 에러 체크 동작여부를 보여준다. We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. As is well known, IR (Intermediate Representation) optimization is an important step in a compiler backend. But unfortunately, it is difficult to detect and debug the IR optimization errors for compiler developers. So, we introduce a C level error check system for detecting the correctness of these IR transformation techniques. In our system, we first create an IR-to-C converter to translate IR to C code before and after each compiler optimization phase, respectively, since our technique is based on the Memory Comparison-based Clone(MeCC) detector which is a tool of detecting semantic equivalency in C level. MeCC accepts only C codes as its input and it uses a path-sensitive semantic-based static analyzer to estimate the memory states at exit point of each procedure, and compares memory states to determine whether the procedures are equal or not. But MeCC cannot guarantee two semantic-equivalency codes always have 100% similarity or two codes with different semantics does not get the result of 100% similarity. To increase the reliability of the results, we describe a technique which comprises how to generate C codes in IR-to-C transformation phase and how to send the optimization information to MeCC to avoid the occurrence of these unexpected problems. Our methodology is illustrated by three familiar optimizations, dead code elimination, instruction scheduling and common sub-expression elimination and our experimental results show that the C level error check system is highly reliable.

Effect of chemical treatments on lithium recovery process of activated carbons

정지문,이경엽,박수진 한국공업화학회 2015 Journal of Industrial and Engineering Chemistry Vol.27 No.-

In this work, surface characteristics of chemically treated activated carbons (ACs) were studied forlithium ion in aqueous solution. From the results, it was found that the chemical treatments introducedfunctional groups onto the ACs surfaces. The amount of lithium ion recovery was enhanced by basictreatments. Also, we characterized lithium ion adsorption-desorption efficiency. The lithium adsorption-desorption efficiency exhibited good stability after five adsorption–desorption cycles. Consequently, itcould be concluded that lithium ion recovery behaviors are greatly influenced by the basiccharacteristics of AC surfaces, resulting in enhanced electron acceptor-donor interaction at interfaces

장면전환 기법을 이용한 웹상의 원격 비디오 브라우징 시스템

정지문 남서울대학교 2005 남서울대학교 논문집 Vol.11 No.2

인터넷을 통하여 전달되는 중요한 정보 매체의 하나인 디지털 비디오는 멀티미디어에서 점점 더 중요한 역할을 수행하고 있다. 본 논문에서는 웹상에서 실시간 사용자 인터페이스를 통하여 비디오 내용 검색과 브라우징을 제공하는 원격 비디오 브라우징 시스템을 제안한다. 효율적인 신의 분류와 키 프레임 추출을 위하여 RGB 컬러 히스토그램과 X^(2)(카이 스퀘어) 히스토그램을 합성한 새로운 장면 전환 검출 방법을 제시한다. 이렇게 추출된 키 프레임들은 물리적/논리적으로 색인화 된다. 본 시스템은 또한 VCR(비디오 카세트 레코더)의 편집과 검색 기능을 갖는다. 비디오 브라우징에는 날짜, 분야 그리고 주제의 세가지 요소가 사용된다. 원격 비디오 브라우징 시스템은 아파치 웹 서버에서 MySQL, PHP 그리고 JMF를 이용하여 구현되었다.

모바일 홈 자동화 개발에 관한 연구

정지문 남서울대학교 2005 남서울대학교 논문집 Vol.11 No.2

It has been increased having more than 2 PC's in each house through generalization of spreading internet and mobile. That means it is not a difficult project to construct the home-automation because of increasing spread of PC fast and utilizing it. The general meaning of home-automation could be said " Delivering information which is connected between a house and outside of a house by server. The server is taken a part as a middle stop for delivering various information to a house." Particularly, it is meant to deliver information which is connected each room in a house. You can imagine that you communicate by interphone form with installed terminals into home appliances using PC. The goal of basic study development which might be embodied through this thesis is making to be more convenient to use a grafted mobile in a concept of existing home-automation in real life. During conducting a project, the early goal was making to control directly home appliances which is not already existed, not to control it which is already existed. The project's scope was direct controling home appliances which is used in an actual house but it was requested found home appliances and constructing machine which is not including this study so, it was embodied not direct controling home appliances but making it to express visually by LED for convenience of the user.

VRML을 이용한 웹 기반 교육 코스웨어 연구

정지문,배정혁,김승찬,최성 호서대학교 반도체제조장비국산화연구센터 2000 학술대회 자료집 Vol.2000 No.1

최근의 코스웨어를 위한 환경은 멀티미디어 CD타이틀 제작에서 온라인 환경으로 이동해가면서 다중의 사용자가 동시 접속하여 양질의 교육을 받을 수 있는 클라이언트/서버 구조인 인터넷 환경으로 급변하고 있다. 본 코스웨어에서는 보다 현실감 있고 동적인 구현이 되도록 3차원 가상 공간의 세계를 제공하는 스크립트 언어인 VRML 2.0을 이용하여 각기 다른 학습자가 동일한 가상 역사 공간에 동시에 접속하여 학습자의 의도대로 가상 공간을 통한 역사 학습에 참여할 수 있도록 설계하였다.

웹을 위한 데이터베이스 통로의 분류체계 연구

정지문,이삼일,최성 호서대학교 반도체제조장비국산화연구센터 2000 학술대회 자료집 Vol.2000 No.1

대규모 멀티미디어 데이터베이스 서비스 시스템은 월드와이드 웹(WWW: World Wide Web)의 대규모 멀티미디어 정보 서비스의 우수성과 데이터베이스 시스템의 방대한 데이터베이스 관리 기능을 상호 보완적으로 통합함으로써 구현할 수 있다. 데이터베이스 통로는 이러한 통합의 핵심적인 소프트웨어라 할 수 있다. 데이터베이스 통로의 필요성이 인식된 후로 현재 많은 상용 및 연구용 제품이 개발되어 왔다. 데이터베이스 통로의 구조는 데이터베이스 접속을 WWW 에 어떻게 연동시키는가에 따라 다양하게 나누어지고 구조에 따라 성능도 달라지게 된다. 데이터베이스 통로의 성능은 대규모 데이터베이스 서비스 시스템 구축에 매우 중요하다고 할 수 있다. 이 문서에서는 여러 가지 데이터베이스 통로의 구조에 대하여 분류체계를 세우고, 각 구조에 대한 특징을 성능 및 기능에 대하여 연구하였다.