• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.84.1-84
• /
• 2002

A Human-Robot-Interface(HRI) for the disabled Person is developed. $\textbullet$ HRI consists of the laser pointer '||'&'||' USB camera and pressure sensor. $\textbullet$ HRI makes three degree of freedom. $\textbullet$ Three robot position control method with the Interface is presented. $\textbullet$ Experimental results show that user control the 6 DOF robot with the interface and control method.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10b
• /
• pp.251-254
• /
• 1992

We present a system to measure 3-dimensional coordinates of large structures such as ships, buildings and oil tanks. Our system consists of two important units which are a laser spot pointer and a laser spot tracker. Employing a tactful image processing, our system has some features: e.g. downsize, cost, accuracy and robustness to hazardous environments.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.329-331
• /
• 2000

G-Machine은 수행하는데 있어서 그래프를 표현하기 위해 많은 그래프 공간을 필요로 한다. 이를 줄이기 위한 노력으로 최근 태그 옮김을 이용한 ZGM이 설계되었다. 하지만, ZGM은 태그와 자료의 분리로 인하여 많은 상대 주소를 갖게 되어 실행 시간 부담이나 공간 활용 부담이 된다. 본 논문에서 우회 노드 장소에 자료를 중복 사용하는 방법을 이용하여 G-Machine에서 필요로 하는 그래프 공간을 절약한 poGM(Point Over lapped GM)을 제안한다. poGM은 ZGM과 같이 상대 주소를 사용하지만, 일반적인 노드 나타내는데 ZGM과 달리 자료의 분리가 일어나지 않고, 상대 주소를 줄일 수 있으며, 실험을 통하여 공간 효율과 시간 효율이 높은 것을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.673-675
• /
• 2002

각 단체나 직장등에서 프레젠테이션은 필수적인 요소이다. 그리고 근래에는 프로젝터의 보급률이 늘어나면서 과거의 OHP필름을 사용하는 방법보다는 직접 컴퓨터를 연결하여 자료를 영사하면서 프리젠테이션을 진행하는 사례가 늘어나고 있다 이러한 환경에서 사용자는 컴퓨터의 제어에 있어서 거리라는 제약을 받아야만 했다. 프리젠테이션을 진행하는 동안 사용자는 컴퓨터를 제어할 수 있는 위치에서 발표를 해야 하지만 레이서포인터라는 일반적인 도구를 사용하여 컴퓨터에 명령을 내린 수 있다면 더 효율적으로 거리에 구애받지 않고 자료의 이동이나 다른 작업을 수행할 수 있다. 또한 컴퓨터가 학습하는 패턴을 늘려감으로서 더욱 다양한 명령을 지시할 수 있게 함으로써 프레젠테이션환경의 개선 할 수 있다.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.6
• /
• pp.1-9
• /
• 1994

Astorage structure using signatures is proposed to evaluate efficently queries including conditions of nested attributes in the nested relational databases This method stores a subrelation signature into the storage structure for a nested tuple with its subrelation pointer. During query processing steps, the subrelation signatures are matched first with the nested predicates in the query. When the match operation completes with success then physical retrieval of the subrelation occurrs resulting in reduction of disk 1/Os.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2009.10a
• /
• pp.83-86
• /
• 2009

BiNem$^{(R)}$ displays have entered volume manufacturing in 2009. Applications range from e-labels to e-readers. We have developed 6-inch $960{\times}720$ pixels passive matrix BiNem prototypes achieving 40 % brightness and fluid user interface based on partial image / dynamic pointer addressing. Active-matrix addressing is proposed to provide even faster operation.

• Proceedings of the IEEK Conference
• /
• 2002.06a
• /
• pp.351-354
• /
• 2002

NAPTR(Naming Authority Pointer) is a type of resource record specified IETF RFC 2915. NAPTR enables to register various services in tile domain name systems and thus Provides a way to discover services available on specific hosts. This paper describes the design and implementation of a proxy DNS system aimed at supporting NAPTRS. The goal of this work is to study on the feasibility of the service discovery registered in DNS via NAPTR records. This research result can be applied to service discovery in the resource information management for high performance GRID environments as well as to implement generic ENUM services

• 전기의세계
• /
• v.31 no.4
• /
• pp.281-287
• /
• 1982

PASCAL has a recursive nested structure and uses deep binding of identifiers. This paper studies the problems and techniques in storage management for PASCAL on the IBM 370 system, and presents run-time storage administration algorithms which use stack scheme and heap efficiently on the view of storage. The stack-scheme was used to implement the feature of recursive nested structure and the heap was used to implement the feature of the dynamic allocation procedure and pointer variable, allowing an additional dynamic storage recovery procedure.

• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• pp.2058-2060
• /
• 2003

본 논문에서는 이동로봇의 실시간 영상처 리와 장애물 검출을 위한 알고리즘를 제시하였다. 단일 비젼 시스템을 사용하여 복도의 경계선을 추출하기 위하여 개선된 허프 트랜스폼 알고리즘을 적용하고 많은 연산량을 수행하기 위한 방법으로 레이져 포인터를 이용한 장애물 검출을 한다. 레이져 포인터의 레이져 빔이 장애물에 반사되어지는 정도를 영상처리를 통해 처리한 후 장애물의 유무를 판단하게 된다. 실험을 통하여 제시한 알고리즘의 우수성을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.754-756
• /
• 2004

CBMC는 ANSI-C 프로그램과 베릴로그 서킷사이의 일치성을 검증하는 툴이다. 입력된 서킷과 코드를 CNF로 변환 과정에서 C 코드는 중첩 루프, pointer, dynamic memory allocation등에 대한 변환의 문제점이 있다. 본 논문에서는 CBMC에서 C 코드의 CNF로 변환하는 과정의 문제점들을 동일한 식(equation)의 변환 과정에 대하여 설명하고 상용적인 트리플 DES를 CBMC로 검증하는 과정을 제시한다