This paper describes the design and implementation of C standard library for real-time operating system Q+, that is being developed for the internet appliance. The C library in the real-time operating system should be defined according to the standard interface and support the concurrent execution of threads. The implemented C standard library is reentrant and follows POSIX.l standard interface. And, the C standard library functions, which are adequate to the Q+ application and commonly provided by commercial real-time operating systems, are selected among POSIX.l standard functions. The C standard library is implemented on the Q+ kernel and D-TV set-top box according to the implementation sequence, which is determined by analyzing the relation of function calls.

영상에 관련된 다양한 응용 시스템들을 구현하는 많은 연구들이 진행되어 왔지만, 그러한 영상 관련 응용 시스템을 구현함에 있어서 처리속도의 저하로 인하여 많은 어려움을 겪고 있다. 이를 해결하기 위해 대두된 여러 방법들 중에서 최근 하드웨어 접근 방법에 고려한 많은 관심과 연구가 진행되고 있다. 본 논문은 영상을 실시간으로 처리하기 위하여 하드웨어 구조를 갖는 병렬처리시스템을 기술하며, 또한 병렬처리시스템을 얼굴 검색 시스템에 적용한 후 처리속도 및 실험 결과를 기술한다. 병렬처리시스템은 SIMD와 MIMD가 결합된 구조를 갖고 있기 때문에 다양한 영상 응용시스템에 대해서 융통성과 효율성을 제공하며, 144개의 처리기와 12개의 다중접근기억장치, 외부 메모리 모듈을 위한 인터페이스와 외부 프로세서 장치(i960Kx)와의 통신을 위한 인터페이스로 구성되어있다. 다중접근기억장치는 메모리 모듈선택회로, 데이터 라이팅회로, 그리고, 주소계산 및 라우팅회로로 구성되어 있다. 또한 얼굴 검색 시스템을 병렬처리 시스템에 적합한 병렬화를 제공하기 위해 메쉬방법을 이용하여 전처리, 정규화, 4개 특징값 추출, 그리고 분류화로 구성하였다. 병렬처리시스템은 하드웨어 모의실험 패키지인 CADENCE사의 Verilog-XL로 모의실험을 수행하여 기능과 성능을 검증하였다.

본 논문은 상위 단계의 태스크 스케줄러와 하위 단계의 스케줄링 Framework으로 구성된 기존의 스케줄러 모델[4,5]을 수정하여, 다양한 비주기적 태스크 서버들을 지원할 수 있는 확장된 스케줄러 모델을 제안한다. 제안 모델은 기존 스케줄링 Framework과 태스크 스케줄러를 기반으로 한다. 그러나 비주기적 태스크 스케줄링을 위해 태스크 스케줄러를 다시 주기적 태스크 제어부와 비주기적 태스크 제어부로 분리하였다. 제안 모델은 대부분의 실시간 커널에서 복잡하게 결합되어 하나의 커널 스케줄러를 구성하던 구성 요소들을 기능별로 재구성이 가능하도록 명확하게 구분함으로써, 커널 하부 메커니즘과는 독립적으로 새로운 스케줄링 알고리즘과 비주기적 태스크 서버들을 구현할 수 있게 했다. Real-Time Linux[6]에 제안된 스케줄러 모델을 구현한 후, 이를 기반으로 다양한 스케줄러와 서버들을 시험적으로 구현하여 보았다. 이를 통해 향후 새로운 알고리즘과 서버를 하부이 복잡한 커널 메커니즘 수정 없이 독립적으로 개발할 수 있음을 확인하였다. 또한 여러 성능 실험을 통해 제안 모델을 기반으로 다양한 스케줄러와 서버를 구현한다 해도 실행시의 부하는 크지 않은 반면, 시스템 재구성과 새로운 스케줄러 개발을 효과적으로 지원할 수 있다는 것을 확인할 수 있었다.

본 논문에서는 코드 최적화를 위하여 계산적으로나 수명적으로 제한이 없는 배정문 모션 알고리즘을 제안한다. 이 알고리즘은 지나친 레지스터의 사용을 막기 위하여 불필요한 코드 모션을 억제한다. 본 논문은 최종 최적화단계가 추가된 재정문 모션 알고리즘을 제안한다. 또한 기존 알고리즘의 술어의 의미가 명확하지 않은 것을 개선하였고 노드 단위 분석과 명령어 단위 분석을 혼용했기 때문에 발생하는 모호함도 개선하였다. 따라서 제안한 알고리즘은 불필요하게 중복된 수식이나 배정문의 수행을 피하게 함으로써, 프로그램의 불필요한 재계산이나 재실행을 하지 않게 하여 프로그램의 능률 및 실행시간을 향사시킨다.

본 논문에서는 첫째로 큰 정수의 소인수 분해를 위한 병렬 이차선별법(parallel quadratic sieve) 알고리즘을 제시한다. 이 알고리즘을 반복적으로 사용하여, 분산 메모리 모델(DMM)을 갖는 SIMD구조의 병렬 컴퓨터 상에서 분할정복기법을 사용하는 병력 소인수 분해(parallel factoring) 알고리즘을 제시한다. 또한 이러한 알고리즘이 시간과 프로세서의 곱의 관점에서 최적화 알고리즘임을 보인다.

In this paper, we present a curve fitting algorithm using a ball curve. Our algorithm is recursive method for fitting, which is not a traditional ball function but a continuous ball function. This algorithm consists of two steps. The first step, it is classified the composite corner points to joint points until selected from the given data set. The second step is the curve fitting. The basis function for curve fitting is use to ball function. Also, the weighted least square method, to insert knot, is an efficient method for piecewise ball curve and ball curve segments will be smoothly connected at all composit points. The proposed algorithm will be applied to represent image representation, like fonts, digital image and GIS.

Using BDD, we can represent Boolean functions uniquely and compactly, Hence, BDD have become widely used for CAD applications, such as logic synthesis, formal verification, and etc. The size of the BDD representation for a function is very sensitive to the choice of orderings on the input variables. Therefore, it is very important to find a good variable ordering which minimize the size of the BDD. Since finding an optimal ordering is NP-complete, several heuristic algorithms have been proposed to find good variable orderings. In this paper, we propose a variable ordering algorithm based on the $\mu$O(microcanonical optimization). $\mu$O consists of two distinct procedures that are alternately applied : Initialization and Sampling. The initialization phase is to executes a fast local search, the sampling phase leaves the local optimum obtained in the previous initialization while remaining close to that area of search space. The proposed algorithm has been experimented on well known benchmark circuits and shows superior performance compared to a algorithm based on simulated annealing.

This paper presents a neural network based variable structure control scheme for nonlinear systems. In this scheme, a set of local variable structure control laws are designed on the basis of the linear models about preselected representative points which cover the range of the system operation of interest. From the combination of the set of local variable structure control laws, neural networks infer the approximate control input in between the operating points. The neural network based variable structure control alleviates the effects of model uncertainties, which cannot be compensated by the control techniques using feedback linearization. It also relaxes the discontinuity in the system’s behavior that appears when the control schemes based on the family of the linear models are applied to nonlinear systems. Simulation results of a ball and beam system, to which feedback linearization cannot be applied, demonstrate the feasibility of the proposed method.

In this paper, we present an interactive 3D character modeling and animation including a data management tool for editing the animation. It includes an animation editor for changing animation sequences according to the modified structure of 3D object in the object structure editor. The animation tool has the feature that it can produce motion data independently of any modeling tool including our modeling tool. Differently from conventional 3D graphics tools that model objects based on geometrically calculated data, our tool models 3D geometric and animation data by approximating to the real object using 2D image interactively. There are some applications that do not need precise representation, but an easier way to obtain an approximated model looking similar to the real object. Our tool is appropriate for such applications. This paper has focused on the data management for enhancing the automatin and convenience when editing a motion or when mapping a motion to the other character.

A general web-based remote lecture system uses video data and audio data to provide synchronize between teacher and students. This system requires high bandwidth, high speed networking, television, compression and computing technologies between server and client for remote lecture over Internet. As a result, this system can decrease an efficiency for lecturing over current Internet. So, this paper proposes a new mechanism calling as ‘Synchronization of WWW browsers between server and client’to cope with above problems and finally pursues low cost needed for real-time remote lecture over Internet. The mechanism means that every browser of teacher and students displays the same page and the action of teacher is transferred to the browser of student. And, this can be implemented by Windows hooking APIs, Memory Mapping, and DLL (Dynamic Link Library) programming technology. This paper points to the design and implementation of LAS (Lecture Assistant Server) and LAC (Lecture Assistant Client) to perform the synchronization between server and client.