• ETRI Journal
• /
• v.8 no.2
• /
• pp.83-91
• /
• 1986

컴퓨터의 많은 응용에 따라 분산처리, 실시간처리, 고장감내처리 등에 대해 운영체계의 연구가 많이 되어왔다. 본고는 한국형 전전자교환기인 TDX-1 시스팀에서 사용된 TDXOS의 실현과 그 특성에 관해 서술하였다. TDXOS는 고실시간처리(Hard real time processing)와 분산처리, 컴퓨터의 이중화, 과부하제어, 실시간 디버거(Debugger) 들을 실현하였으며 뱅크(Bank)시스팀 형태의 메모리 관리기법이 사용되었다. 특히, 소형 마이크로프로세서(Z80) 및 어셈블리 언어에 최적의 동작 환경을 제공하도록 설계되어 실시간의 효율이 최대화되었다.

• ETRI Journal
• /
• v.9 no.1
• /
• pp.37-42
• /
• 1987

개인용 전자자동설계 시스팀인 EDAS_P의 schematic으로부터 직접 디지틀 회로의 논리동작을 시뮬레이션할 수 있는 게이트 레벨 논리 시뮬레이터(GLSIM_P)를 IBM PC에서 C언어를 이용하여 개발하였다. 다룰수 있는 소자로는 input clock, 일반 게이트 및 clocked 게이트, ROM, RAM, PLA등이다. 논리신호 레벨은 1, 0,*(intermediate)이다. 효율적인 논리해석을 위해 selective trace 및 event driven 방식을 도입하였으며 게이트 500개 정도까지 해석이 가능하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.422-424
• /
• 1998

객체지향 언어로 작성된 프로그램은 프로그램의 수행과정에 관련된 많은 정보가 숨겨져 있기 때문에 분석하기가 쉽지 않다. 자바의 경우도 동일하지만 자바의 경우에는 컴파일 후에 생성된 클래스 파일에 숨겨진 모든 객체에 대한 정보가 저장되어 있다. 비주얼 자바 가상 기계 시뮬레이터는 자바 가상 기계가 바이트 코드를 실행하는 과정을 자바 가상 가계의 구성 요소들을 시각화하여 그 동작 과정을 보여줌으로써 클래스 파일 내에 포함된 바이트 코드의 실행 과정을 정확히 이해하게 해준다.

• Cartoon and Animation Studies
• /
• s.5
• /
• pp.456-459
• /
• 2001

제작자의 작품세계에서 표현하고자 하는 시각적 언어를 감상자의 느낌과 제작자의 시점을 통해 시각적 커뮤니케이션이 이루어지도록 하고자 한다. 인간의 시각화의 차례를 역순(feed back)으로 표현하여 시각화된 2차원의 이미지 이전의 3차원에서 관찰할 수 있는 시점에서의 다양한 관찰의 시점을 제시하고자 한다. 시각적 요소들을 관찰자의 시점에서 시각적 이미지로 형성되기 이전의 관찰자의 시점에서 볼 수 있는 시점 중 4가지 시점에서의 관찰을 제시하여 시점의 표현을 관찰하고자 가능한 한 효율적인 동작으로 연구하여 제작하고자 한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.10a
• /
• pp.383-388
• /
• 1998

자바는 객체 지향 프로그래밍언어로써 클래스 파일내에 자바 소스코드에 나타나지 않는 여러 가지 정보를 내포하고 있다. 비주얼 자바 클래스 파일 브라우저는 가상 머신에 의해 실행되는 자바 프로그램내의 클래스들 사이의 호출관계와 상속관계, 각 클래스 파일의 내용을 브라우저를 통해 시각적으로 표시함으로써 하부 구조인 자바 가상 머신에서 동작하는 자바 클래스 파일의 다양한 분석을 수행한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1998.11a
• /
• pp.257-262
• /
• 1998

본 논문에서는 DSP(Digital Signal Processor)를 이용해 INMARSAT-M 위성통신용 단말기 중의 변ㆍ복조부를 설계하였다. R-RC(ROOt Raised Cosine) 필터에 의해 대역제한된 OQPSK 파형의 발생과 디지털 정합필터(Matched filter)를 이용한 OQPSK 복조, 부호율 1/2이고 구속장이 7인 길쌈부호기 및 클록 복구(Clock recovery)의 구현 알고리즘을 C언어와 어셈블리어로 작성하고, 모뎀을 실제 제작하여 변조기능, 복조기능으로 나누어서 동작 특성을 살펴보았다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1990.10a
• /
• pp.497-501
• /
• 1990

본 논문에서는 다중로보트의 제어를 위하여 비젼 센서 등 여러 가지 센서신호를 처리할 수 있고 로봇의 충돌회피 및 협조제어를 할 수 있는 제어시스템을 개발하였다. 본 제어장치는 시스템 전체를 관리하며 언어 및 로보트 동작의 교시 그리고 자기진단 등의 기능을 하는 Supervisory Processor, vision에 대한 정보를 담당하는 로보트 제어 processor 등 여러개의 프로세서로 나누어 분산처리 구조를 갖도록 하여 확장성 및 유연성이 높은 시스템이 되도록 하였다. 실험적으로 본 시스템을 이용하여 로보트로 하여금 puzzle을 맞추는 작업을 수행시킴으로써 본 시스템의 우수성을 입증하였다.

• Proceedings of the Korea Institute of Convergence Signal Processing
• /
• 2006.06a
• /
• pp.81-84
• /
• 2006

본 논문에서는 시스템 수준 설계 언어인 SystemC를 이용하여 디지털 이미지 프로세싱의 한 부분인 Edge Detector 구현에 대하여 기술한다. Edge Detector는 마스크의 가운데 픽셀을 강조하는 Sobel 알고리즘을 사용하여 모델링 하였으며, 설계된 디자인의 동작은 간단한 BMP 파일을 적용하여 검증하였다. 또한 Edge Detector를 구성하는 하위 모듈들 간의 연결을 각각 sc_buffer 채널과 so_fifo 채널을 이용하여 설계하였을 때의 실행시간을 비교하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.46-48
• /
• 2004

무선 이동 시스템을 기반으로 안전한 키 교환 및 사용자 인증을 위한 다양한 보안 프로토콜이 제시되고 있다. 무선 이동 시스템 기반 보안프로토콜은 유선기반 보안프로토콜과 다르게 공개키와 대칭키가 혼합된 암호화 방식을 사용하고 있다. 본 논문에서는 이동 시스템 환경에서 동작하는 BCY 프로토콜의 안전성을 분석하기 위한 기술에 대해 언급하고, Casper/CSP 언어 및 FDR 도구를 이용하여 보안 취약성을 분석하고자 하였다.

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

본 논문에서는 동적인 환경에서 동작하는 에이전트들을 위한 범용의 에이전트 구조에 대해 설명한다. 본 논문에서 제안하는 CM 는 에이전트의 모든 부분을 하나의 객체 지향 언어로 구현할 수 있는 순수 Java 기반의 범용 에이전트 구조이며, 긴 수행시간을 필요로 하는 복잡한 행위들을 효과적으로 표현하고 수행할 수 있는 기능을 제공한다. 이를 위해 환경 연화에 따라 수행 중이던 행위를 즉각적으로 중단하거나 다른 행위로 전환할 수 있는 높은 정황 -민감성을 제공한다. 또 CAA는 상황에 따른 가변적인 목표를 암시하는 행동 모드를 내부에 저장, 관리함으로써 BDI 구조와 유사한 목표- 지향성을 가진다.