• Journal of the Korean Institute of Telematics and Electronics
• /
• v.19 no.3
• /
• pp.28-36
• /
• 1982

Petri nets have been used for medeling a wide variety of systems from computer to social systems. This paper disusses Petri nets in the context of mathematical representation and its associated bag theory. The method of modeling systems such as event-condition, computer progranm computer operation and PERT chart is discribed and their Petri net representation are presented. Finally Petri net representation of tunnel diode oscillator circuit and the analysis of the circuit using Petri net are discussed with the program and results.

• Aerospace Engineering and Technology
• /
• v.6 no.1
• /
• pp.92-96
• /
• 2007

The conventional commands & telemetry system of Korean low-earth orbiting satellites has certain limitations in accommodating various missions. As the payload becomes complex, it requires very complicated operational concepts in terms of commands and telemetry. With the current design, commands and telemetry formats have to be rebuilt whenever new payloads or operation concepts are involved, and many constraints in operation shall be produced due to the lacks of its flexibility. In this paper, a new strategy for commands & telemetry development partially derived from PUS (Packet Utilization Standard) of European Space Agency, which provides enhanced features for the accommodation of payloads & operational requirements, is presented.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2003.05a
• /
• pp.19-22
• /
• 2003

경사의 사선방향으로 절단하여 봉제된 바이어 컷 직물로 제조된 의류는 일반 의류와 달리 우아한 외관을 타나낸다. 이 직물의 단점은 형태안정성이 나빠서 완전제품의 형태가 패턴의 형의 형태와 다른 모양을 나타내는 경우가 많으며, 특히 밑단 부분이 불균일하게 쳐지므로, 가지런히 절단하는 트리밍공정을 부가적으로 거치게 된다. 현재의 봉제 공정에서는 트리밍 단계를 모두 숙련공들의 수작업에 의존한 평면 커팅 방법으로 수행하기 때문에 작업자의 피로도에 따라 불량품이 양산되고 그에 따른 소비자들의 불만 요인도 높아지므로, 본 연구에서는 치수 조절 마네킹을 제조하여 실제 의복 착용 상태를 그대로 재현 한 후, 회전시키면서 스스로 회전하는 자동 커터에 의해서 공간상에서 트리밍 하는 3-D 입체 시스템을 개발하였다. 이 시스템에 의하여 제조된 의류는 트리밍 라인이 균일하고 매끄러우며, 안감이 밖으로 밀려나오는 경우가 없어 외관상 품위가 있는 외관을 나타내었다. 또한 수작업에 비하여 제조 속도가 훨씬 빠르므로 봉제 후공정에서의 의류 제조 시간을 획기적으로 단축하는 신속 생산 시스템의 요소로서 충분히 사용될 수 있는 가능성을 나타낸다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.7
• /
• pp.397-401
• /
• 2004

In an edge-weighted(positive, negative, or zero weights are possible) tree, we want to solve the problem of finding a longest path such that the sum of the weights of the edges in the path is non-negative. We present an algorithm to find a longest non-negative path of a degree 3 tree in Ο(n log n) time, where n is the number of nodes in the tree.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.128-133
• /
• 2006

NAND 플래시 메모리는 작고, 가볍고, 저 전력이라는 장점 U문에 휴대폰, MP3, PDA 등 이동 컴퓨팅 장치의 저장소로 많이 사용되고 있다. B+트리는 저장소에 있는 데이터를 효율적으로 접근하기 위한 색인 구조이다. 그러나 NAND 플래시 메모리의 다양한 특징들로 인해 기존의 디스크 기반의 B+트리를 플래시 메모리에 그대로 적용하는데 여러 단점들이 존재한다. 본 논문에서는 NAND 플래시 메모리 상에서 B+트리를 효과적으로 구축하기 위한 B+트리 색인 버퍼 관리 기법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.124-127
• /
• 2006

플래쉬 메모리는 비휘발성, 저전력, 경량, 내구성 등의 장점으로 인해, PDA가 스마트카드, 휴대폰, 휴대용 음악 재생기 등과 같은 이동 컴퓨팅 장치의 저장소로 많이 사용되고 있다. 최근 들어 대용량의 플래쉬 메모리가 출시되고 랩탑 컴퓨터등 이를 탑재한 컴퓨팅 장치들이 증가하면서 대용량의 데이터를 효율적으로 액세스하기 위한 B-트리와 같은 인덱스 기법이 요구되고 있다. 한편, 현재 사용되고 있는 NAND 플래쉬 메모리는 기존의 하드 디스크와는 액세스 특성들이 상이하다. 뿐만 아니라, B-트리 인덱스는 데이터에 비해 빈번히 액세스되고 갱신되기 때문에, 기존의 하드 디스크 기반 B-트리 인덱스 기법을 플래쉬 메모리에 적용할 경우 심각한 성능상의 문제점이 발생한다. 본 논문에서는 shadow 버전을 이용한 플래쉬 메모리 기반의 효율적인 B-트리 인덱스 기법을 제안한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.3
• /
• pp.261-270
• /
• 1999

이 논문에서는 볼륨 데이터의 효율적인 영상 기반 랜더링 알고리즘을 제시한다. 중간 영상 공간은 밀림 객체 공간에서 중간 영상이 위치하는 2차원 공간이다. 최종 영상 공간 대신에 중간 영상 공간을 이용함으로써 매핑이 좀더 간단해지면 점대점 매핑에서 기인하는 구멍을 없앨 수있다. 중간 영상 공간상에서의 매핑은 근원 화소의 깊이 값으로 만들어진 테이블을 가지고 쉽게 이루어진다. 또한 이 논문에서는 효율적인 객체의 표현을 위하여 텔타트리에 기반을 둔 새로운 사진 트리를 제안한다. 트리 구조를 사용할 경우 인접한 영상들에 존재하는 중복 정보를 제거함으로써 압축 효과를 얻을 수있다. 제안된 트리는 델타트리에 비해서 더 좋은 압축 성능을 보이며 빠르게 영상을 생성할 수 있다. 제안된 알고리즘을 실험한 결과 256 $\times$256$\times$256의 볼륨에서 비교적 좋은 질의 256$\times$256 의 영상을 1초에 25~40개 정도 만들어 낼수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06c
• /
• pp.69-74
• /
• 2007

플래시 메모리는 하드디스크와 다른 물리적 특성을 가지고 있다. 대표적으로 덮어쓰기가 되지 않고 데이터를 읽고 쓰는 단위와 지우는 단위가 서로 다르다. 이러한 물리적 제약을 소프트웨어적으로 보완해주기 위해서 플래시 메모리를 사용하는 시스템에서는 대부분 Flash Translation Layer (FTL)을 사용한다. 지금까지 FTL 알고리즘의 대부분이 임의 쓰기 패턴보다 순차 쓰기 패턴에 훨씬 더 효율적으로 작용한다. 그러나 B-트리와 같은 자료구조에서는 일반적으로 순차 쓰기 패턴 보다는 임의 쓰기 패턴이 발생된다. 따라서 플래시 메모리상에서 B-트리를 관리할 경우 FTL에 비효율적인 쓰기 패턴을 생성하게 된다. 본 논문에서는 플래시 메모리상에서 B-트리와 같은 자료구조를 효율적으로 저장 관리하기 위한 새로운 방식을 제안한다. 새로운 방식은 B-트리에서 발생되는 임의 쓰기를 플래시 메모리상의 버퍼를 이용하여 FTL에 효율적인 순차 쓰기를 발생시킨다. 실험 결과, 본 논문에서 제안하는 방식은 기존의 방식보다 플래시 메모리에서 발생되는 쓰기 및 블록소거 연산 횟수를 60%이상 감소시킨다.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.2
• /
• pp.195-202
• /
• 2001

In this paper, we show a study on how to model a phoneme of which acoustic feature is changed according to both left-hand and right-hand phonemes. For this purpose, we make a comparative study on two kinds of algorithms; a unit reduction algorithm and decision tree modeling. The unit reduction algorithm uses only statistical information while the decision tree modeling uses statistical information and Korean acoustical information simultaneously. Especially, we focus on how to model context-dependent phonemes based on decision tree modeling. Finally, we show the recognition rate when context-dependent phonemes are obtained by the decision tree modeling.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.52-54
• /
• 2001

3차원 그래픽 가속기는 지오메트리 처리(geometry processing)와 레스터라이져(rasterizer)로 구성된다. 본 논문에서는 지오메트리 처리들 고속으로 수행할 수 있는 벡터 형태의 처리 구조(VGE)를 제안하였다. 특허 기존의 부동소수점을 계산할 수 있는 구조에 4개의 FADD, FMUL, 128개의 벡터 레지스터를 추가하여 지오메트리 연산을 가속했으며 VGE와 비슷한 H/W 비용을 갖는 Hitachi의 SH4와 비교했을 때 평균 4.7배의 성능향상을 보였다. 또한 성능 평가를 위해 범용프로세서 시뮬레이터인 Simplescalar를 수정하여 시뮬레이터를 제작했으며 Viewperf Benchmark를 입력으로 사용하였다.