• 한국통신학회논문지
• /
• 제13권2호
• /
• pp.127-137
• /
• 1988

본 논문에서는 디지털 오디오시스템의 제어정보 추출방식을 제안하고 디지털 오디오시스템의 서브코드 형식과 제어신호에 대하여 기술하였다. 디지털 오디오시스템으로부터 추출한 제어신호를 마이크로프로세서에 의해 해석하여 CRT제어기를 통하여 화면에 표시하기 위한 통신방식을 제안하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.152-154
• /
• 1999

본 논문에서 연구하는 $\mu$C/OS는 마이크로프로세서를 위한 선점형(Preemptive) 실시간(Real-Time) 멀티태스킹(Multitasking) 커널(kernal)로서, 연성실시간(SOFT Real-Time) 시스템 개발에 적합하다. $\mu$C/OS는 대부분의 소스코드가 C 언어로 작성되어 있으므로 실시간 커널의 연구에 용이하다. 본 논문에서는 $\mu$C/OS에서 처리할 수 있는 태스크(task)의 개수 확장을 위한 커널 모듈(mudule)의 설계 및 구현 방법을 기술한다. $\mu$C/OS는 초대 64개의 사용자 태스크를 관리할 수 있도록 구성되어 있다. 따라서 64개 이상의 태스크를 필요로 하는 시스템을 커널로서는 적절하지 못한 문제점이 있다. 이 문제의 해결을 위해 본 논문은 태스크의 개수를 256개로 확장하고 이에 따른 커널 모듈 구조의 확장, 변환 방법을 설명한다.

• 정보와 통신
• /
• 제20권5호
• /
• pp.645-656
• /
• 2003

최근에 정보 산업과 이동 통신 기술이 발전함에 따라 퍼스널 컴퓨터를 넘어 컴퓨터의 개념이 매우 빠르게 확장되고 있다. 이동 정보 단말 형태의 PDA, HPC(hand-held PC), 휴대폰 등이 개발되었고, 셋탑박스(set-top box), 지능형 디지털 TV, 인터넷 냉장고 등의 정보가전은 임베디드 운영체제(embedded OS)를 내장하여 컴퓨터로 발전하고 있으며, 제어 및 계측 기기들도 마이크로 프로세서를 내장하여 임베디드 시스템으로 발전하고 있다. 이렇게 새롭게 확장된 컴퓨터 시스템들은 인간 생활의 편리성과 다양성을 위해 상호 연결되어 하나의 네트워크를 형성하고 있으며, 상호간에 정보를 공유하고 협력하여 언제 어디서나 통신 및 컴퓨팅이 가능한 유비쿼터스 네트워킹(Ubiquitous Networking)으로 발전하고 있다. 본 논문에서는 이러한 유비쿼터스 네트워킹에서 필요한 컴퓨팅 미들웨어(Middleware) 기술의 최근 동향을 살펴보고 본 연구에서 제안하는 새로운 미들웨어 기술을 설계한다. 이러한 미들웨어 기술은 편재(遍在)되어 있는 컴퓨팅 장치를 상호 이용하기 위해 컴퓨터의 환경을 탐지하여 저장하고 재이용하는 상황 인식 기술, 편재된 장치들이 네트워크에 연결되면서 정보를 전달하는 Ad-hoc 네트워킹과 동적 라우팅 기술, 그리고 정보 전달을 위해 제어 코드와 데이터를 패킷 (packet) 형태로 전달하는 협력 메시지(Cooperative Message) 기술 등이 포함된다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1988년도 전기.전자공학 학술대회 논문집
• /
• pp.587-590
• /
• 1988

In the case of VLSI computer system control unit design using PLA, optimal state code assignment algorithm to minimize the PLA area is proposed. An optimal state code assignment algorithm which considers output state and logic minimization simultaneously is proposed, and by means of this, algorithm product term is minimized. Also, by means of this algorithm running time and memory capacitance is decreased as against heuristic state code assignment algorithm which uses matrix calculation and considers the constraint relation only. This algorithm is implemented on VAX 11/750 (UNIX4.3BSD). Through the various test example applied proposed algorithm, the efficiency of this algorithm is shown.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 C
• /
• pp.2201-2203
• /
• 2000

본 논문에서는 도심지 마이크로셀의 전파환경 특성을 예측하기 위한 무선 채널 파라미터 산출 코드를 구현하였다. 이를 위해 광선추적기법을 이용하여 전파가 겪게 되는 회절과 다중반사의 위치를 구한 다음 전장을 계산하였다. 광선추적기법의 구현시 경로 계산에 소요되는 시간의 단축을 위해 건물의 모든 모서리에서 발생되는 회절 이후의 광선추적을 먼저 수행하는 기법을 제안하였으며, 기존 방법의 결과와 동일하면서도 하나의 수신점에 대한 계산시간을 1/70 하로 단축하였다.

• 한국전산유체공학회지
• /
• 제14권2호
• /
• pp.46-51
• /
• 2009

The slip effect from the molecular interaction between fluid particles and solid surface atoms plays a key role in microscale fluid transport and heat transfer since the relative importance of surface forces increases as the size of the system decreases to the microscale. There exist two models to describe the slip effect: the Maxwell slip model in which the slip correction is made on the basis of the degree of shear stress near the wall surface and the Langmuir slip model based on a theory of adsorption of gases on solids. In this study, as the first step towards developing a general purpose numerical code of the compressible Navier-Stokes equations for computational simulations of microscale fluid flow and heat transfer, two slip models are implemented into a finite element numerical code of a simplified equation. In addition, a pressure-driven gas flow in a microchannel is investigated by the numerical code in order to validate numerical results.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.19-21
• /
• 2003

그리드 시스템이란 네트워크로 연결된 자원들을 통합적으로 관리하여 자원의 효율적인 사용을 지원하기 위한 기반 구조이다. 이러한 환경에서는 응용프로그램의 요구사항을 만족시키기 위해 다중의 자원들을 동시에 할당할 필요성이 자주 발생한다 본 논문에서는 효율적인 그리드 자원 동시 할당자인 KGB(KAIST GLOBUS) DUROC(Dynamically Updated Resource Online Coallocator)을 구현하였다. KGB DUROC은 그리드 미들웨어의 실질적인 표준인 GLOBUS의 DUROC을 GLOBUS IO 라이브러리를 사용하여 소스 코드(source code)수준에서의 호환성을 유지하면서 수정, 개선한 것이다 KGB DUROC 과 GLOBUS DUROC 각각에 마이크로벤치마크를 수행시켜 성능을 분석, 평가하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (상)
• /
• pp.459-462
• /
• 2003

본 논문에서는 임베디드 자바 시스템을 위한 핵심 클래스 파일에서 상수풀 (constant pool) 의 각 항목들에 대해 통계를 내고 분석해 보았다. 분석 대상 클래스 파일들은 썬 마이크로 시스템사의 J2ME/CLDC 클래스 파일들과, RTJ Computing 사의 simpleRTJ 시스템의 클래스 파일들이다. 이들 파일들에 대한 분석 결과 임베디드 자바 시스템을 위한 핵심 클래스 파일에서 상수풀은 전체 파일 크기의 거의 절반에 해당되는 46%를 차지하고 있음을 알 수 있었다. 또한 상수풀에는 평균 44개의 상수들이 있으며, 이들 중 실제 바이트코드 실행에 사용되는 상수들은 단지 6퍼센트에 불과한 3개에 지나지 않았다. 나머지 78퍼센트의 상수들은 단지 형식 확인과 클래스 링크 목적으로만 사용되는 것들이었다. 이 결과는 실행 시간시 동적인 형식 확인과 클래스 렁크를 하지 않는 환경이라면 매우 큰 메모리 절감을 이룰 수 있음을 보여주고 있는 것이다. 본 연구의 결과는 클래스 파일이 ROM 등에 탑재되어 있는 임베디드 시스템 환경에 적용될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.349-351
• /
• 2005

마이크로소프트의 SLAM 프로젝트는 C 코드를 입력 받아서 프로그램이 주어진 속성을 만족하는지를 자동으로 검사한다. 그 결과, 실제 윈도우 2000에 탑재된 디바이스 드라이버의 버그를 찾아낼 수 있었다. 그러나 SLAM에서 검사할 수 있는 속성은 안전성 속성에만 국한되었다. 사용자가 검사하기를 원하는 속성은 안전성뿐만이 아니라 궁극성도 있지만, SLAM에서는 긍극성을 검사하지 못한다. 본 논문에서는 주어진 프로그램을 이진 프로그램으로 추상화 한 후에, 이진 프로그램에 대해서 CTL 모델 체킹을 수행하는 방법을 제안하였다. 그 결과 SLAM 보다도 더 많은 속성을 검사할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(C)
• /
• pp.560-565
• /
• 2010

가상 머신은 중간코드로 컴파일 되어 한 프로그램을 여러 플랫폼에서 수행 가능하게 한다. 이러한 가상 머신에는 이미 널리 알려진 썬 마이크로시스템즈의 자바 가상 머신과 구글의 안드로이드 플랫폼의 달빅 가상 머신 그리고 애플이 지원하는 LLVM 등이 있으며, 파이어폭스의 TraceMonkey, 구글 크롬의 v8, 사파리의 SquirrelFish Extreme 같은 자바스크립트 엔진도 일종의 가상 머신으로 볼 수 있다. 가상 머신은 필연적으로 성능 저하를 동반하게 되는데, 이는 가상 머신의 주요 이슈 중 하나이다. 본 논문에서는 간단한 벤치마크를 통해서 이들 가상 머신간의 성능을 비교하고, 각 가상 머신의 특징을 알아본다. LLVM은 여러 단계에 걸친 컴파일 전략으로 JIT 컴파일을 사용하였을 때 높은 성능을 보이나 JIT 컴파일을 사용하지 않았을 경우는 매우 낮은 성능을 보인다. 달빅 가상 머신은 인터프리터 모드에서 자바 가상 머신 보다 조금 나았으나, 아직 개발된 지 얼마 되지 않아 JIT 컴파일러가 없다는 것이 약점이다. 자바스크립트 엔진들은 동적 언어인 자바스크립트를 지원하는 특성상 최적화를 적용하지 못해 비교적 낮은 성능을 보였다.