• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.4
• /
• pp.7-14
• /
• 2010

Stable-state behaviors of asynchronous sequential machines represented as finite state machines can be corrected by feedback control schemes. In this paper, we propose a state feedback control scheme for input/state asynchronous machines with uncertain transitions. The considered asynchronous machine is deterministic, but its state transition function is partially known due to model uncertainty or inner logic errors. The control objective is to compensate the behavior of the closed-loop system so that it matches a sub-behavior of a prescribed model despite uncertain transitions. Furthermore, during the execution of corrective action, the controller reflects the exact knowledge of transitions into the next step, i.e., the range of the behavior of the closed-loop system can be enlarged through learning. The design procedure for the proposed controller is described in a case study.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.46 no.4
• /
• pp.39-48
• /
• 2009

Asynchronous sequential machines, or clockless logic circuits, have several advantages over synchronous machines such as fast operation speed, low power consumption, etc. In this paper, we propose a novel robust controller for input/output asynchronous sequential machines with uncertain state transitions. Due to model uncertainties or inner failures, the state transition function of the considered asynchronous machine is not completely known. In this study, we present a formulation to model this kind of asynchronous machines ana using generalized reachability matrices, we address the condition for the existence of an appropriate controller such that the closed-loop behavior matches that of a prescribed model. Based on the previous research results, we sketch design procedure of the proposed controller and analyze the stable-state operation of the closed-loop system.

• Proceedings of the KIPE Conference
• /
• 2016.11a
• /
• pp.129-130
• /
• 2016

본 논문은 1kW급 통신용 전원장치에 가장 많이 사용되는 위상천이 풀브리지 컨버터를 고주파 스위칭 주파수별 동작분석 및 최적 설계에 관한 연구 결과를 발표한다. 이 연구는 100kHz/Si전력반도체, 100kHz/GaN전력반도체, 500kHz/Si전력반도체, 500kHz/GaN전력반도체 4가지 방식의 위상천이 풀브리지 컨버터를 각 조건에서 최적 설계를 하고 그 실험 결과를 추출하여 성능을 비교함으로써 고주파 최적 설계 방법과 GaN전력반도체의 그 우수성을 확인하는 것이다. 일차적으로 이 번 논문에서는 100kHz/Si전력반도체 조건에서 위상천이 풀브리지 컨버터의 최적 설계 과정과 그 실험 결과를 발표한다.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.21 no.1
• /
• pp.68-78
• /
• 1997

A numerical study on the transient vapor flow and heat transfer is performed to investigate the ideal switching operation of heat source in a high temperature heat pipe. The cylindrical 2-dimensional compressible laminar vapor flow is assumed for the vapor space and the conjugate heat transfer for the heat pipe wall, wick and vapor space is calculated. The different boundary conditions such as constant heat flux, convective or radiative boundary at the outer wall are used respectively to compare the influence of boundary conditions on the transient operation. The transient temperature profile and the internal flow of the entire pipe for the switching operation are described as a result. The results show that the transient time is not significantly affected by the boundary conditions at the outer wall in present study. During the transition, two independent flows are observed temporarily on the right side and left side of the heat pipe. It is also found that the trend of temperature variation in the vapor region is different from the variation in the wick and wall region.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.27-29
• /
• 2011

위성 전체 시스템의 동작과 임무 수행을 책임지고 있는 위성 탑재 소프트웨어의 개발 과정에서 위성 탑재 컴퓨터를 이해하고 소프트웨어가 동작하기 위한 환경을 구성하는 작업은 필수적인 과정이다. 위성 탑재 소프트웨어 개발의 초기 과정은 하드웨어와 매우 밀접하게 관련되어 있으며, 이러한 하드웨어의 동작을 보다 쉽게 테스트하기 위한 환경이 필요하게 된다. 최근 위성 탑재 컴퓨터로 널리 쓰이고 있는 LEON 2/3 플랫폼은 AHB-UART 를 이용하여 Memory 에 대한 직접적인 R/W Operation 을 지원하고 있는데, 본 논문에서는 이 기능을 이용하여 위성 탑재 컴퓨터를 보다 쉽게 테스트할 수 있는 테스트 스크립트 언어의 구현 방안에 대하여 기술하며, 더불어 이러한 테스트 언어의 구현에 있어 ANTLR 을 이용하는 방안도 함께 소개한다.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.171.2-171.2
• /
• 2012

위성 개발에서 추력기는 위성의 경사각 및 고도 등의 궤도 제어 용도 이외에 위성 동작 초기 혹은 비상 상황에서 안정적인 전력 공급을 위한 자세 제어용 구동기로 사용되어야 하므로 매우 높은 신뢰성을 필요로 한다. 국내의 실용위성을 위해 개발되어 사용되고 있는 출력기는 1 파운드의 작은 용량으로 위성 운영에 일부 제약을 주게 된다. 본 논문은 위성 운영에 있어 반드시 필요한 궤도 천이 절차와 관련하여 기존에 사용된 절차를 보완하기 위한 방법에 대해 기술한다. 기존에 개발된 위성에서는 궤도 조정을 위한 자세 변화에 추력기를 사용하였다. 그러나 위성의 무게가 커짐에 따라 자세 변환을 위한 시간이 오래 걸려 궤도 조정 효율이 떨어지는 요인이 되고 있다. 뿐만 아니라, 자세 변화 과정에서 벡터 방향의 추력으로 인해 원하지 않는 궤도 변화가 생기므로 정밀 궤도 결정에도 영향을 주게 된다. 최근에 개발된 위성의 경우, 위성의 기동 성능을 높이기 위해 고성능 반작용 휠을 사용하므로 이를 이용하여 궤도 천이 전에 자세 변화를 하도록 하고 있다. 이러한 방법을 적용한 결과, 정밀 궤도 결정에 도움이 될 뿐만 아니라 자세 변화로 인한 연료 소모를 줄이는 효과도 있어 위성의 수명 연장에 도움이 되는 것으로 확인되었다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.04a
• /
• pp.121-125
• /
• 2000

본 논문은 자동차 등에 사용중인 원격 잠금장치등과같은 간단한 응용에 적합한 고속동작이 가능하면서 암호학적으로 안전한 새로운 스트림 암호 알고리즘을 제안한다. 스트림 암호 알고리즘에 많이 적용되고 있는 피드백 쉬프트 레지스트(LFSR) 에 비하여 암호학적으로 복잡한 천이 과정을 갖는다는 알려져 있는 셀룰라 오토마타(CA)를 이용하여 의사 랜덤 비트 스트림 생성기 (PRNG)를 구성하였다. 또한 제안된 PRNG 의 안전성 평가를 위해 출력 2진 비트 스트림에 대하여 통계적 검정과 스트립 암호 시스템의 평가를 수행한다.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.8
• /
• pp.139-147
• /
• 2014

We address the problem of corrective control for two asynchronous sequential machines in parallel connection. Each asynchronous machine receives the same external input and shows independent state transition characteristics. We propose a novel control scheme in which only one corrective controller is employed so as to make the closed-loop system of each machine match the behavior of the corresponding reference model. Compared with the former method utilizing two corrective controllers, our scheme can reduce the controller size and computational load in controller design. We present the existence condition and design procedure for a state-feedback corrective controller under the assumption that the controlled machines are of input/state type. The design procedure for the proposed controller is described in an illustrative example.

• Journal of KIISE
• /
• v.42 no.6
• /
• pp.748-754
• /
• 2015

This paper proposes a sequential state estimation model consisting of continuous and discrete variables, as a way of generalizing all discrete-state factorial HMM, and gives a design of gait motion model based on the idea. The discrete state variable implements a Markov chain that models the gait dynamics, and for each state of the Markov chain, we created a Gaussian process over the space of the continuous variable. The Markov chain controls the switching among Gaussian processes, each of which models the rotation or various views of a gait state. Then a particle filter-based algorithm is presented to give an approximate filtering solution. Given an input vector sequence presented over time, this finds a trajectory that follows a Gaussian process and occasionally switches to another dynamically. Experimental results show that the proposed model can provide a very intuitive interpretation of video-based gait into a sequence of poses and a sequence of posture states.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.156-159
• /
• 2014

VoIP 서비스는 패킷 데이터 망을 기존의 전화망처럼 이용하기 위한 서비스이다. VoIP 에서 디바이스간 통화를 위해 SIP 프로토콜을 사용 한다. 현재 패킷 데이터 망을 이용하는 디바이스들이 많아지면서 IP 주소 부족 현상이 나타났다. 이 현상을 해결하기 위해 NAT 기술이 고안 되었고 NAT 는 패킷 헤더의 IP 주소를 변환하는 동작을 한다. 이러한 동작은 SIP 를 이용한 VoIP 서비스에서 NAT Traversal 을 일으키게 된다. NAT Traversal 은 NAT 가 패킷 헤더의 IP 주소만을 변경하기 때문에 SIP 처럼 어플리케이션 헤더의 IP 주소를 참고하는 프로토콜에서 목적지를 찾아가지 못하는 경우를 말한다. 이러한 문제를 해결하기 위한 기술들의 종류와 장단점을 살펴보고 NAT Traversal에 효과적인 기술인 ICE를 VoIP 서비스에 적용 하고 중복된 과정을 최소화한 개선된 호 설정 과정을 제안한다.