• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.5
• /
• pp.9-17
• /
• 2010

Corrective control compensates the stable-state behavior of asynchronous sequential machines so that the closed-loop system can be changed in a desirable way. Using corrective control, we present a novel fault tolerance scheme that overcomes permanent faults for asynchronous sequential machines. When a permanent fault occurs to an asynchronous machine, the fault is not recovered forever while the machine is irreversibly stuck in a set of failure states. But, if the machine has control redundancy in the limited behavior range, corrective control can be applied to solve the fault tolerance problem against permanent faults. We present the condition on detecting permanent faults and the existence condition of an appropriate corrective controller. The design procedure for the proposed controller is described in a case study.

• Journal of the Korean Chemical Society
• /
• v.62 no.4
• /
• pp.279-287
• /
• 2018

In this study, we analyzed the explanations and examples of Brønsted-Lowry model in Chemistry I and Chemistry II textbooks of the 2009 revised curriculum. In particular, the definition of the Brønsted-Lowry model, the examples, and the content of experiments were analyzed by the process perspective of chemical equilibrium, emergent process. The analyzed textbooks were 4 kinds of Chemistry I textbooks and 4 kinds of Chemistry II textbooks in 2009 revision curriculum. As a result, Chemical I textbooks did not adequately show the chemical equilibrium viewpoint when explaining the Brønsted-Lowry model. In the Chemistry II textbooks, the examples of Brønsted-Lowry model were not present emergent process viewpoint, and those were described as sequential viewpoint of Arrhenius model. In addition, examples of experiments to demonstrate the Brønsted-Lowry model of Chemistry II textbooks were insufficient. The experimental examples related to the definition of acid bases were at the level of classification by the color change of indicators. The experimental examples for explaining the strength of acid and base were to compare current intensity or amount of hydrogen gas generated from the reaction with metal. In addition, all textbooks presented the state of aqueous solution when describing the Brønsted-Lowry model, causing problems with differentiation from the Arrhenius model. Therefore, it is necessary to develop examples of experiments to help students understand Brønsted-Lowry model by presenting acid and base reaction in the non-aqueous solution state.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.17 no.3
• /
• pp.399-408
• /
• 2022

This paper proposes a corrective control system to achieve fault-tolerant control for input/output asynchronous sequential circuits vulnerable to transient faults violating fundamental mode operations. To overcome non-fundamental mode faults occurring in transient transitions of asynchronous sequential circuits, it is necessary to determine the end of unauthorized state transitions caused by the faults and to stably take the circuit from the faulty state to a desired state that is output equivalent with the normal next stable state. We address the existence condition for a proper output-feedback corrective controller that achieves fault diagnosis and fault-tolerant control for these non-fundamental mode faults. The corrective controller and asynchronous sequential circuit are implemented on field-programming gate array to demonstrate the synthesis procedure and applicability of the proposed control scheme.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2004.11a
• /
• pp.79-82
• /
• 2004

본 논문에서는 H.264 표준 통영상 부호화 방식을 위한 순차적 움직임 벡터 오류 은닉 기법을 제안한다. H.264 표준 동영상 부호화 방식에서의 움직임 예측과정이 다양한 크기의 서브 매크로 블록 모드에 따라 자기 다른 움직임 벡터 개수를 갖게 되므로 움직임 벡터는 기존의 표준 부호화 방식에 비해 상대적으로 적은 영역을 대표하게 된다. 그러므로 이웃한 블록의 움직임 벡터간의 상관관계는 서브 매크로 블록의 크기가 작을수록 더 커지게 된다. 변화된 국부 통계 특성에 대한 적응도는 $\alpha-trimed\;mean$ 필터를 이용한 부호기의 부호화 순서를 따르는 순차적 움직임 벡터 오류 은닉기법의 성능을 좌우하는 가장 중요한 부분이다. 실험 결과를 통해 제안한 방식이 실시간 동영상 전송에 적합하며 기존 방식과 유사한 성능을 보임을 확인할 수 있었다

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.67-70
• /
• 2000

최근 들어, 인터넷의 폭넓은 보급과 급속한 대중화에 따라 네트워크를 통하여 음성을 전송하거나 저장하려는 시도가 많이 이루어지고 있다. 본 논문에서는 네트워크를 통한 멀티미디어 전송에서 음성부호화 표준으로 널리 상용되는 ITU-T G.723.1 dual-rate speech coder의 효율적인 다채널 구현을 위한 고속 알고리듬을 제안한다. 고속 알고리듬은 부호화 과정에서 많은 계산량을 차지하는 적응 코드북 검색과 고정 코드북 검색 과정에 적용된다. 적응 코드북 검색 과정에서는 지연과 이득을 동시에 찾는 기존의 방법 대신, 지연과 이득을 순차적으로 검색함으로써 계산량을 개선하였다. 전송률에 따라 다른 알고리듬을 사용하는 고정 코드북 검색 과정에서는 다음과 같은 고속 알고리듬을 제안한다. MP-MLQ(Multi-Pulse Maximum Likely Quantization) 방법을 사용하는 높은 전송률(6.3 kbit/s)인 경우, 펄스를 등 간격으로 검색함으로써 계산량을 줄였다. ACELP(Algebraic CELP) 방법을 사용하는 낮은 전송률(5.3 kbit/s)인 경우는 기존의 nested-loop 검색방법 대신, 펄스를 쌍으로 나누어 순차적으로 찾는 depth-first tree 검색 방법을 적용하여 계산량을 감소시켰다. 제안된 고속 알고리듬에 대해 주관적 음질 평가 방법을 수행한 결과, 제안된 방법이 기존의 방법에 비해 음질의 저하가 없음을 확인하였다. 고정 소수점 DSP인 TMS320C6201을 사용하여 고속 알고리듬을 구현한 결과, 높은 전송률의 경우에는 10.29 MIPS, 낮은 전송률의 경우에는 8.70 MIPS의 연산량으로 구현 가능함을 확인하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.991-995
• /
• 2005

본 연구에서는 1차원 이송-분산 과정을 연구하고 전단류 흐름 및 분산거동에 있어 Taylor 이론의 핵심이라 할 수 있는 '종방향 이송과 횡방향 확산의 균형'을 기본 개념으로 하여, 이송과 확산을 분리하여 이 두 과정이 순차적으로 발생한다는 가정에 의거한 순차혼합모형을 제시하였다. 본 모형에서는 가상의 하천을 여러 개의 행과 종방향 거리를 길이가 일정한 구획으로 나누어 연속적인 분산과정을 이산적인 형태로 나타낼 수 있게 하고, 횡방향 유속분포에 따라 각 행에 각기 다른 유속을 할당한다. 오염물질은 하폭방향 선오염원으로 원점에 순간주입되며, 주어진 혼합시간 $t_m$ 동안 각 행의 오염물질들이 각자에 할당된 유속을 따라 진행하고 진행이 끝난 후 횡방향 확산이 순간적으로 이루어진다. 횡방향 확산은 횡방향으로 완전하게 일어남을 가정하여, 횡방향 확산이 끝나면 각 열에서의 농도 평균값이 할당된다. 이러한 혼합시간 $t_m$ 동안의 순차적인 이송-확산 과정이 반복되면서 오염물질의 분산이 일어나며, 농도 분포 그래프를 그릴 수 있게 된다. 순차혼합모형을 가상의 직선하천에 적용하여 종분산계수를 유도하였는데, 본 연구에서 유도된 종분산계순식은 Fischer.가 제안한 식과 유사한 형태로 나타남을 알 수 있었다. 본 모형에서 계산된 농도분포 곡선을 해석해와 비교한 결과,두 곡선이 적절히 일치함을 확인할 수 있었으며 해석해와의 비교를 통해 종분산계수 K가 혼합시간 $t_m$과 선형관계임을 확인할 수 있었다. 수심대하폭비에 따라 각기 다른 유속분포에 적용하여 종분산계수 K가 유속편차강도의 제곱에 비례관계에 있음이 밝힐 수 있었다. 수압은 $4.69kg/cm^2$으로 나타났다. 밸브 개폐도가 $100\%$일 때가 밸브를 $60\%$와 $80\%$ 개폐시켰을 때보다 $0.3kg/cm^2,\;0.29kg/cm^2$ 낮게 나타나 밸브를 전체 개방 했을 때 관로내의 수압이 상수설계기준에 적합한 수압을 유지함을 알 수 있다. 상수관로 설계 기준에서는 관로내 수압을 $1.5\~4.0kg/cm^2$으로 나타내고 있는데 $6kg/cm^2$보다 과수압을 나타내는 경우가 $100\%$로 밸브를 개방하였을 때보다 $60\%,\;80\%$ 개방하였을 때가 더 빈번히 발생하고 있으므로 대상지역의 밸브 개폐는 $100\%$ 개방하는 것이 선계기준에 적합한 것으로 나타났다. 밸브 개폐에 따른 수압 변화를 모의한 결과 밸브 개폐도를 적절히 유지하여 필요수량의 확보 및 누수방지대책에 활용할 수 있을 것으로 판단된다.8R(mm)(r^2=0.84)$로 지수적으로 증가하는 경향을 나타내었다. 유거수량은 토성별로 양토를 1.0으로 기준할 때 사양토가 0.86으로 가장 작았고, 식양토 1.09, 식토 1.15로 평가되어 침투수에 비해 토성별 차이가 크게 나타났다. 이는 토성이 세립질일 수록 유거수의 저항이 작기 때문으로 생각된다. 경사에 따라서는 경사도가 증가할수록 증가하였으며 $10\% 경사일 때를 기준으로 $Ro(mm)=Ro_{10}{\times}0.797{\times}e^{-0.021s(\%)}$로

• Journal of the Korean Institute of Intelligent Systems
• /
• v.26 no.2
• /
• pp.135-140
• /
• 2016

Corrective controllers enable fault diagnosis and tolerance for various faults in asynchronous sequential circuits without resort to redesign. In this paper, we propose a static corrective controller in order to decrease the size of the controller. Compared with dynamic controllers, static controllers can be made using only combinational circuits, as they need no inner states. We address the existence condition and design procedures for static corrective controllers that overcome state transition faults. To show the validity and advantage, the proposed controller is applied to an SEU error counter implemented on FPGA.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.45 no.4
• /
• pp.11-19
• /
• 2008

The problem of controlling asynchronous sequential machines is addressed in this paper Corrective control means to make behavior of an asynchronous sequential machine equal to that of a given model. The main objective is to develope a corrective controller, especially when a model is given as nondeterministic, or a set of reference models. We first review representation of nondeterministic models and model matching problems with nondeterministic models, which are presented in the companion paper. We then propose necessary and sufficient conditions for the existence of corrective controllers and describe their design procedure. To show the applicability, the proposed control scheme is demonstrated in an example.

• 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.

• Geophysics and Geophysical Exploration
• /
• v.12 no.4
• /
• pp.328-337
• /
• 2009

To investigate the relation between pore fluid conductivity and bulk resistivity of a rock sample it is assumed that electrolyte solution perfectly substitute the pore fluid that occupied the pore space within the sample in general. In this study, it is investigated that how much can the electrolyte solution substitute the pore fluid by repeating the same saturation process. Four kinds of NaCl solutions of 8, 160, 3200, 64000 ${\mu}S$/cm are used. The saturation process has repeated four times for each electrolyte in increasing conductivity order first then four times each in decreasing order. The more the saturation process repeated with the same electrolyte, the more electrolyte solution substitute the pore fluid. Geometric mean of bulk resistivity in increasing and decreasing orders with the same electrolyte solution is assumed to be mostly close to the bulk resistivity with perfect substitution. Bulk resistivity measurements for both increasing and decreasing order differs within 10% to the geometric mean when repeating the saturation process 4 times while maximum 40% difference is observed when single saturation process for each electrolyte solution with increasing order. The modified parallel resistant model can generally represent the relations between pore fluid resistivity and bulk resistivity in the experiment, but more experimental data with various rock samples with different porosity is needed to generalize the model.