• Journal of the Society of Naval Architects of Korea
• /
• v.34 no.3
• /
• pp.19-26
• /
• 1997

This paper is concerned with the design of neural-network based autopilot control system. The back-propagation neural network introduced in the previous paper by authors is applied to the autopilot control system. As a result, two neural-network controllers are developed, which are the model reference adaptive neural controller and the instantaneous optimal neural controller. The model reference adaptive neural controller is the control technique that the heading angle and angular velocity are controlled by the rudder angle to follow the output of the reference model. The instantaneous optimal neural controller optimizes the transition from one state to the next state. These control techniques are applied to a simple ship maneuvering model and their effectiveness is proved by numerical examples.

• 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 Korean Society of Forest Science
• /
• v.94 no.6
• /
• pp.387-396
• /
• 2005

Having employed the transitional probability model based on Markov chain, the study was carried out to examine successional trends for community types in the natural deciduous forest of Mt. Jumbong. The species composition of oncoming generation in overstory was estimated from that of mid-story, and the species composition in mid-story was based upon that of understory. Successional trend for each community was predicted from the reorganized probability matrix of tree replacement by the square of climax index, which was evaluated by the factors of light absorption, reproduction, and wood quality. As the result of analysis, following table shows the oncoming generation of steady state and dominant species in overstory and mid-story by community types. Even though Acer pseudo-sieboldianum and Carpinus cordata could hardly reach the canopy layer due to the intrinsic growth form, these species were predicted to maintain high compositional ratio so as to play an important ecological role in the study forest ecosystem.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.5
• /
• pp.805-814
• /
• 1994

In this paper, we introduce a new method which is available for analyzing the throughput of the packet radio network by using the auxiliary Markov transient matrix with a failure state and a success state. And we consider the effect of symbol error for the network state(X, R) consisted of the number of transmitting PRU X and receiving PRU R. We examine the packet radio network of a continuous time Markov chain model, and the direct sequence binary phase shift keying CDMA radio channel with hard decision Viterbi decoding and bit-by-bit changing spreading code. For the unslotted distributed multi-hop packet radio network, we assume that the packet error due to a symbol error of radio channel has Poisson process, and the time period of an error occurrence is exponentially distributed. Through the throughputs which are found as a function of radio channel parameters, such as the received signal to noise ratio and chips of spreading code per symbol, and of network parameters, such as the number of PRU and offered traffic rate, it is shown that this composite analysis enables us to combine the Markovian packet radio network model with a coded DS/BPSK CDMA radio channel.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.6 no.5
• /
• pp.400-409
• /
• 2001

A new phase-shifted parallel-input/series-output(PISO) dual converter for tush-power step-up applications has been proposed. Since the proposed converter shows a low switch turn-off voltage stress, switching devices with low conduction loss can be employed in order to improve the power conversion efficiency. Moreover, it features a low output capacitor root-mean-square(RMS) current stress, low input current and output voltage ripple contents, and fast control-to-output dynamics compared to its PWM counterpart. In this paper, the operation of the proposed converter is analyzed in detail and its mathematical models and steady-state solutions are presented. A comparative analysis with the conventional PWM PISO dual converter is also provided. To confirm the operation, features, and validity of the Proposed converter, experimental results from an 800W, 24-350Vdc prototype are presented.

• Journal of Korean Society of Forest Science
• /
• v.89 no.5
• /
• pp.655-665
• /
• 2000

Taking account of the structural variation on species composition by topography, the successional trends were comparatively analyzed for the three topographic positions (valley, mid-slope, and ridge) in the natural deciduous forest of Mt. Chumbong area. The analysis was based upon the subsequent process of generation replacement by understory saplings and seedlings over the overstory trees which will be eventually fallen down. This study adopted the plot sampling method, establishing twenty $20m{\times}20m$ quadrats and collecting vegetation and site data on each different topographic position. The transition matrix model, which was modified from the mathematical theory of Markov chain, was employed to analyze the successional trends and thereafter to predict the overstory species composition in the future for each different topographic position. In valley, the simulation indicated the remarkable decrease in the proportion of species composition of present dominants Quercus mongolica and Fraxinus mandshurica from current 23% and 21% to around 4% of each at the steady state, which is predicted to take less than 200 years. On the other hand, the proportion of such species as Abies holophylla, Acer mono, Tilia amurensis, and Ulmus laciniata will increase at the steady state. In mid-slope, the result showed the remarkable decrease in the proportion of Juglans mandshurica, Kalopanax pictus, and Tilia amurensis from current 15%, 8%, and 15% to 2%, 1%, and 5%, respectively, at steady state predicted to take more than 250 years. In ridge, the current dominant Quercus mongolica was predicted to be decreased dramatically from 58% to 8% at steady state which could be achieved about 200 years. On the contrary, the proportion of Acer mono and Tilia amurensis will be increased from current 4% and 3% to more than 20% and 40%, respectively, at the steady state. Overall results suggested that the study forest is more likely seral rather than climax community. Even though a lot of variation is inevitable due to various kinds of site and vegetation development, the study forest is considered to be more than 200 years away from the steady state or climax in terms of overstory species composition.

• Journal of KIISE:Information Networking
• /
• v.27 no.4
• /
• pp.482-488
• /
• 2000

프로토콜 검증에 있어서 reachability analysis를 사용하는 방법은 널리 알려지고 많이 사용되는 방법이다. Reachability analysis를 통한 검증 방법에 있어서는 프로토콜의 동작을 나타내는 reachability graph의 생성이 중요하다. 그러나 시간이 관련되는 경우 발생하는 상태 수 폭증또는 시간의 실수적 성질의 문제가 있어서 reachability graph의 생성에 큰 장애가 되어왔다. 실시간 시스템이나 프로토콜에 있어서 타이머는 대기 시간의 한계를 지정하거나 일정한 시간간격을 시스템에 알릴 수 있도록 하는 등 시간의 상대적 기준점으로 사용되며 이외에도 여러 가지 용도로 타이머를 사용하게 되어 프로토콜을 모델링하는데 있어서 타이머는 불가결하다. 본 논문에서는 타이머를 모델링하지 못하며 통신 프로토콜과 그 환경을 모델링하는데 적절치 못하던 기존의 방법과 달리 타이머를 포함하며 통신 프로토콜과 그환경을 적절히 표현할 수 있도록 시스템을 기술하는 방법과 함께 상대적 시간 개념으로 천이와 타이머를 다루는 방법을 통해서 시간개념과 타이머가 들어있는 프로토콜의 reachability graph를 유도하는 방법을 제안하였다. 제안한 방법을 통해서 기존방법으로는 찾아낼수 없었던 시스템의 오류를 찾아낼 수 있었다. 이를 통해 보다 실제 프로토콜에 가깝에 모델링하고 검증할 수 있는 기반을 마련하고 있다.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.62 no.8
• /
• pp.1074-1079
• /
• 2013

Demand response(DR) is potential generation alternative to improve the reliability indices of system and load points. However, when demand resources scheduled in DR market fail to reduce demand, it can create new problems associated with maintaining a reliable supply. In this paper, a reliability model of demand resource is constructed considering customers' behaviors in the same form as conventional generation units, where availability and unavailability are associated with the simple two-state model. As a result, the generalized reliability model of demand resources is represented by multi-state model.

• The Proceeding of the Korean Institute of Electromagnetic Engineering and Science
• /
• v.1 no.1
• /
• pp.20-27
• /
• 1990

This paper presents an efficient method to estimate the induced current by the external electromagnetic wave when the line system is composed of cascaded transmission lines. To solve this phenomena, we apply the state variable method to the nonhomogeneous differential equation. This new method is the way of transferring the sources at a different point by the Ch- aracteristics of the transition matrix. Using this method, we investigate the characteristics of the induced power of the transmission line above the perfectly conducting ground plane.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.9
• /
• pp.1112-1118
• /
• 1999

A major objective of the study is to propose a supervisory control algorithm based on the discrete event dynamic system (DEDS) model and apply it to the automation of nuclear operations. The study is motivated by the suitability of the DEDS model for simulation of man-made control action and the potential of the DEDS based supervisory control algorithm for enhanced licensibility, when implemented in nuclear plants, through design transparency due to strong analytic backgrounds. The DEDS model can analytically show the robust stability of the proposed supervisory controller providing design transpareney for enhanced licensibility when implemented in nuclear operations.