• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.3
• /
• pp.591-597
• /
• 2009

The problem of controlling a finite-state asynchronous sequential machine is examined. The considered machine is governed by input/output control, where access to the state of the machine is not available. In particular, disturbance inputs can infiltrate into the asynchronous machine and provoke unauthorized state transitions. The control objective is to use output feedback to compensate the machine so that the closed-loop system drive the faulty asynchronous machine from a failed state to the original one. Necessary and sufficient condition for the existence of appropriate controllers are presented in a theoretical framework. As a case study, the closed-loop system of an asynchronous machine with the proposed control scheme is implemented in VHDL code.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2012.02a
• /
• pp.360-360
• /
• 2012

Graphene shows diverse novel physical properties arising from its peculiar electronic states, so called Dirac electrons. Especially, effect of magnetic field is very unique, exhibiting exotic Landau level (LL) splitting. LLs are substantially modified by spins of Dirac electrons and pseudo-spins. The degeneracy of LLs is lifted to show splitting by electron-electron interaction and by the Zeeman effect. We investigated the magneto-optical absorption of graphene subjected to ultra-high magnetic field. Samples were prepared by the CVD method deposited on GaAs and Quart substrate. We have confirmed existence of graphene on each substrate by the micro-Raman spectroscopy. Next, we conducted magneto-absorption measurements in magnetic field up to 120 T by the single-turn coil (STC) method. We could observe absorption peak at 65 T and 100 T, respectively, probably arising from the LL inter-band transitions.

• The KIPS Transactions:PartA
• /
• v.9A no.1
• /
• pp.61-74
• /
• 2002

This paper presents a method which synthesizes asynchronous circuits from free-choice Signal Transition Graphs (STGs) with timing constraints. The proposed method synthesizes asynchronous circuits by analyzing: the relations between signal transitions directly from the STGs without generating state graphs. The synthesis procedure decomposes a free-choice STG into deterministic STGs which do not have choice behavior. Then, a timing analysis extracts the timed concurrency and tamed causality relations between any two signal transitions for each deterministic STG. The synthesis procedure synthesizes circuits for each deterministic STG and synthesizes the final circuit by merging the circuits for each deterministic STG. The experimental results show that our method achieves significant reductions in synthesis time for the circuits which have a large state space, and generates circuits that have nearly the same area as compared to previous methods.

• Journal of the Semiconductor & Display Technology
• /
• v.16 no.4
• /
• pp.86-90
• /
• 2017

$Tb^{3+}$ or $Eu^{3+}$ or $Ce^{3+}$-doped $CaYAlO_4$ phosphor were synthesized by solid-state method. $CaYAlO_4:Tb^{3+}$ is shown that the $Tb^{3+}$-doping concentration has a significant effect on the $^5D_4/^5D_3{\rightarrow}7F_J$ (J=6,...,0) emission intensity of $Tb^{3+}$. The $CaYAlO_4:Tb^{3+}$ phosphors show tunable photoluminescence from blue to yellow with the change of doping concentration of $Tb^{3+}$ ions. The $CaYAlO_4:Eu^{3+}$ phosphors exhibit a red-orange emission of $Eu^{3+}$ corresponding to $^5D_0$, $_{1,2}{\rightarrow}^7F_J$ (J=4,...,0) transitions. The $CaYAlO_4:Ce^{3+}$ phosphors show a blue emission due to $Ce^{3+}$ ions transitions from the 5d excited state to the $^2F_{5/2}$ and $^2F_{7/2}$ ground states. The decay time of $CaYAlO_4:Tb^{3+}$ phosphors decrease from 1.33 ms to 0.97 ms as $Tb^{3+}$ concentration increases from 0.1 mol% to 7 mol%. The decay time of $CaYAlO_4:Eu^{3+}$ phosphors increase from 0.94 ms to 1.17 ms as $Eu^{3+}$ concentration increases from 1 mol% to 9 mol%.

• Bulletin of the Korean Chemical Society
• /
• v.27 no.2
• /
• pp.224-230
• /
• 2006

Escherichia coli transcription termination factor Rho catalyzes the unwinding of RNA/DNA duplex in reactions that are coupled to ATP binding and hydrolysis. We report here the kinetic mechanism of presteady state ATP binding and hydrolysis by the Rho-RNA complex. Presteady state chemical quenched-flow technique under multiple turnover condition was used to probe the kinetics of ATP binding and hydrolysis by the Rho-RNA complex. The quenched-flow presteady state kinetics of ATP hydrolysis studies show that three ATPs are bound to the Rho-RNA complex with a rate of $4.4\;{\times}\;10^5M^{-1}s^{-1}$, which are subsequently hydrolyzed at a rate of $88s^{-1}$ and released during the initiation process. Global fit of the presteady state ATP hydrolysis kinetic data suggests that a rapid-equilibrium binding of ATP to Rho-RNA complex occurs prior to the first turnover and the chemistry step is not reversible. The initial burst of three ATPs hydrolysis was proposed to be involved in the initialization step that accompanies proper complex formation of Rho-RNA. Based on these results a kinetic model for initiation process for Rho-RNA complex was proposed relating the mechanism of ATP binding and hydrolysis by Rho to the structural transitions of Rho-RNA complex to reach the steady state phase, which is implicated during translocation along the RNA.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.16 no.2
• /
• pp.128-147
• /
• 1991

We propose a dynamic incidence matrix (DIM) for reflecting states and time conditions of a timed Petri net (TPN) explicitly. Since a DIM consists of a conventional incidence matrix, two time-related vectors and two state-related vectors, we can get the advantages inherent in the conventional incidence matrix of describing a static structure of a system as well as another advantage of expressing time dependent state transitions. We introduce an algorithm providing the DIM with a state transition mechanism. Because the algorithm is, in fact, an algorithmic model for discrete event simulation of TPN models, we provide a theoretical basis of model transformation of a TPN model into a DEVS(Discrete Event system Specification) model. By executing the algorithm we can carry out performance analysis of computer communication protocols which are represented TPN models.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.1
• /
• pp.10-14
• /
• 1998

In this paper a double edge triggered (DET) filp-flop is proposed which changes its output state at both the positive and the negative edge transitions of the triggering input. DET filp-flop has advantages in terms of speed and power dissipation over single edge triggered (SET) filp-flop has proposed DET flip-flop needs only 12 MOS transistors and can operate at clock speed of 500 MHz. Also, the power dissipation has decreased about 33% in comparison to SET flip-flop.

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 2012.11a
• /
• pp.161-161
• /
• 2012

• Journal of the Korean Chemical Society
• /
• v.53 no.2
• /
• pp.99-110
• /
• 2009

Characteristics of supercooled liquid and glass, which are the states involved in glass transition, are reviewed. These states are non-equilibrium states, therefore, the glass transition is different from the usual phase transitions. Theories of glass transition and related experimental methods are briefly summarized.

• Bulletin of the Korean Chemical Society
• /
• v.17 no.10
• /
• pp.882-885
• /
• 1996

The 6a10 and 6b10 vibronic bands in the 12A2-12B2 electronic transition of the emission spectra of the benzyl radical obtained using a high resolution Fourier transform spectrometer are rotationally analyzed. The observed rotational contours were fitted by computer simulated rotational contours, providing determination of the variations, ΔA, ΔB, and ΔC of the rotational constants accompanying the vibronic transitions corresponding to each band. The molecular rotational constants A, B, and C are revised for the upper state and for the two lower states, respectively.