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

• Bulletin of the Korean Chemical Society
• /
• v.19 no.11
• /
• pp.1217-1221
• /
• 1998

We present results of molecular dynamic (MD) simulations for the segmental motion of liquid n-heptadecane in order to investigate conformational transitions from one rotational isomeric state to another. The behavior of the hazard plots for n-heptadecane obtained from our MD simulations are compared with that for polymer of Brownian dynamics (BD) study. The transition rate at the ending dihedrals of the n-heptadecane chain is much higher than that at the central dihedrals. In the study of correlation between transitions of neighboring dihedrals, the large value of c2 implies that some 30% of the transitions of the second neighbors can be regarded as following transitions two bonds away in a correlated fashion. Finally the analysis of multiple transitions and the number of times occurred in the initial 0.005 ns are discussed.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.8
• /
• pp.786-793
• /
• 2010

This paper proposes a new method called the path-history coverage to generate a test suite to test the state transition behavior of the robot SW component. The proposed method generate a test suite which includes abnormal state transitions based on FSM of target component. Especially the proposed method covers the disadvantage of the mutation test method that the size of the test suite is explosively increasing. Examples including OPRoS Component[1] show the validity of the proposed method.

• Proceedings of the Korea Crystallographic Association Conference
• /
• 2005.11a
• /
• pp.7-7
• /
• 2005

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.3
• /
• pp.213-220
• /
• 2008

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.14 no.4
• /
• pp.436-442
• /
• 2014

A new bus-invert coding circuit, called Two-bit Bus-Invert Coding (TBIC) is presented. TBIC partitions a bus into a set of two-bit sub-buses, and applies the bus-invert (BI) algorithm to each sub-bus. Unlike ordinary BI circuits using invert-lines, TBIC does not use an invert-line, so that it sends coding information through a bus-line. To transmit 3-bit information with 2 bus-lines, TBIC allows one bus-line to have a mid-level state, called M-state. TBIC increases the performance of BI algorithm, by suppressing the generation of overhead transitions. TBIC reduces bus transitions by about 45.7%, which is 83% greater than the maximum achievable performance of ordinary BI with invert-lines.

• Proceedings of the Materials Research Society of Korea Conference
• /
• 1995.11a
• /
• pp.129-129
• /
• 1995

• Journal of the Korean Ceramic Society
• /
• v.47 no.3
• /
• pp.249-255
• /
• 2010

To investigate optical properties of (V, Pr)-doped $ZrSiO_4$ green pigments, samples were prepared by the ceramic method using NaF and NaCl as mineralizers. They were characterized by X-ray diffraction, UV-Vis spectroscopy and Raman spectroscopy. The changes of color in the samples during heating and effect of mineralizers were studied in terms of valence of the vanadium and praseodymium in the zircon matrix. (V, Pr)-doped $ZrSiO_4$ pigments give rise to green coloration in $800^{\circ}C$. The oxidation state of V and Pr ions of pigments in the glazed samples were confirmed by UV-Vis absorption spectra. This absorption spectra showed three typical bands of trivalent Pr at the 445, 480~490, 592 nm due to f-f transitions and two broad bands of 302~380, 400~500 nm due to f-d transitions of tetravalent Pr. According to the increasing amounts of $Pr_6O_{11}$, the two broad bands showed decreasing intensity at 290, 640 nm due to d-d transitions of tetravalent V.

• Bulletin of the Korean Chemical Society
• /
• v.18 no.8
• /
• pp.819-823
• /
• 1997

The luminescence and photoexcitation spectra of cis-[Cr(cyclam)(NO3)2]NO3·½ H2O (cyclam=1,4,8,11-tetraazacyclotetradecane) taken at 77 K are reported. The infrared and visible spectra at room-temperature are also measured. The vibrational intervals of the electronic ground state are extracted from the far-infrared and emission spectra. The ten electronic bands due to spin-allowed and spin-forbidden transitions are assigned. With observed transitions, a ligand field analysis has been performed to determine the bonding property of nitrate group in the chromium(Ⅲ) complex. According to the results, it is found that nitrate ligand has weak σ- and π-donor properties toward chromium(Ⅲ).

• Proceedings of the Korean Magnestics Society Conference
• /
• 2007.05a
• /
• pp.78.2-78.2
• /
• 2007