• Title/Summary/Keyword: state transitions

Search Result 271, Processing Time 0.031 seconds

Construction of Global Finite State Machine from Message Sequence Charts for Testing Task Interactions (태스크 상호작용 테스팅을 위한 MSC 명세로부터의 전체 유한 상태 기계 생성)

  • Lee, Nam-Hee;Kim, Tai-Hyo;Cha, Sung-Deok;Shin, Seog-Jong;Hong, H-In-Pyo;Park, Ki-Wung
    • Journal of KIISE:Software and Applications
    • /
    • v.28 no.9
    • /
    • pp.634-648
    • /
    • 2001
  • Message Sequence Charts(MSC) has been used to describe the interactions of numerous concurrent tasks in telecommunication software. After the MSC specification is verified in requirement analysis phase, it can be used not only to synthesize state-based design models, but also to generate test sequences. Until now, the verification is accomplished by generating global state transition graph using the location information only. In this paper, we extend the condition statement of MSC to describe the activation condition of scenarios and the change of state variables, and propose an approach to construct global finite state machine (GFSM) using this information. The GFSM only includes feasible states and transitions of the system. We can generate the test sequences using the existing FSM-based test sequence generation technology.

  • PDF

Acid and Chemical Induced Conformational Changes of Ervatamin B. Presence of Partially Structured Multiple Intermediates

  • Sundd, Monica;Kundu, Suman;Jagannadham, Medicherla V.
    • BMB Reports
    • /
    • v.35 no.2
    • /
    • pp.143-154
    • /
    • 2002
  • The structural and functional aspects of ervatamin B were studied in solution. Ervatamin B belongs to the $\alpha+\beta$ class of proteins. The intrinsic fluorescence emission maximum of the enzyme was at 350 nm under neutral conditions, and at 355 nm under denaturing conditions. Between pH 1.0-2.5 the enzyme exists in a partially unfolded state with minimum or no tertiary structure, and no proteolytic activity. At still lower pH, the enzyme regains substantial secondary structure, which is predominantly $\beta$-sheet conformation and shows a strong binding to 8-anilino-1-napthalene-sulfonic acid (ANS). In the presence of salt, the enzyme attains a similar state directly from the native state. Under neutral conditions, the enzyme was stable in urea, while the guanidine hydrochloride (GuHCl) induced equilibrium unfolding was cooperative. The GuHCl induced unfolding transition curves at pH 3.0 and 4.0 were non-coincidental, indicating the presence of intermediates in the unfolding pathway. This was substantiated by strong ANS binding that was observed at low concentrations of GuHCl at both pH 3.0 and 4.0. The urea induced transition curves at pH 3.0 were, however, coincidental, but non-cooperative. This indicates that the different structural units of the enzyme unfold in steps through intermediates. This observation is further supported by two emission maxima in ANS binding assay during urea denaturation. Hence, denaturant induced equilibrium unfolding pathway of ervatamin B, which differs from the acid induced unfolding pathway, is not a simple two-state transition but involves intermediates which probably accumulate at different stages of protein folding and hence adds a new dimension to the unfolding pathway of plant proteases of the papain superfamily.

Efficiency Evaluation of Hierarchical Finite-State Machines and Behavior Trees according to Behavior Mechanism of Intelligent NPCs (지능형 NPC의 행동 메커니즘에 따른 계층적 유한 상태 기계와 행동 트리의 효율성 평가)

  • Jung-Min Lee;Jung-Yi Kim
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.24 no.2
    • /
    • pp.113-118
    • /
    • 2024
  • In this study, we designed and analyzed two main structures for effectively implementing the behavior of intelligent NPCs the Hierarchical Finite State Machine (HFSM) and the Behavior Tree, by creating experimental games. The HFSM was found to be efficient for complex interaction-centered actions where state changes and transitions are crucial, while the Behavior Tree was effective in dynamic environments where ease of modification and expansion are required for dynamic responses under various conditions. These structures were experimentally applied using the Unity engine to verify their efficiency. This study focused on the basic structure design and plans to apply these structures to an upcoming action-adventure escape game. The results of this research are expected to assist game developers in efficiently implementing intelligent NPCs, thereby contributing to the improvement of game quality and player satisfaction.

Photoelectron Imaging Spectroscopy for (2+1) Resonance-Enhanced Multiphoton Ionization of Atomic Bromine

  • Kim, Yong-Shin;Jung, Young-Jae;Kang, Wee-Kyung;Jung, Kyung-Hoon
    • Bulletin of the Korean Chemical Society
    • /
    • v.23 no.2
    • /
    • pp.189-194
    • /
    • 2002
  • Two-photon resonant third photon ionization of atomic bromine $(4p^5\;^2P_{3/2}\;and\;^2P_{1/2})$ has been studied using a photoelectron imaging spectroscopy in the wavelength region 250 - 278 nm. The technique has yielded simultaneously both relative branching ratios to the three levels of $Br^+(^3P_2,\;^3P_{0.1}\;and^1D_2)$ with $4p^4$ configuration and the angular distributions of outgoing photoelectrons. The product branching ratios reveal a strong propensity to populate particular levels in many cases. Several pathways have been documented for selective formation of $Br^+(^3P_2)$ and $Br^+(^3P_{0.1})$ ions. In general, the final ion level distributions are dominated by the preservation of the ion core configuration of a resonant excited state. Some deviations from this simple picture are discussed in terms of the configuration interaction of resonant states and the autoionization in the continuum. The photoelectron angular distributions are qualitatively similar for all transitions, with a positive $A_2$ anisotropy coefficient of 1.0-2.0 and negligible $A_4$ in most cases, which suggests that the angular distribution is mainly determined by the single-photon ionization process of a resonant excited state induced from the third photon absorption.

Synthesis of Asynchronous Circuits from Deterministic Signal Transition Graph with Timing Constraints (시간 제한 조건을 가진 결정성 신호 전이 그래프로부터 비동기 회로의 합성)

  • Kim, Hee-Sook;Jung, Sung-Tae
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.27 no.2
    • /
    • pp.216-226
    • /
    • 2000
  • This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a deterministic signal transition graph specification with timing constraints. First, a timing analysis extracts the timed concurrency and timed causality relations between any two signal transitions. Then, a hazard-free implementation under the timing constraints is synthesized by constructing a precedence graph and finding paths in the graph. The major result of this work is that the method does not suffer from the state explosion problem, achieves significant reductions in synthesis time, and generates circuits that have nearly the same area as compared to previous methods.

  • PDF

Application of CRAMPS for a Phase Transition in H+-ion irradiated TlH2PO4

  • Kim, Se-Hun;Han, J.H.;Lee, Cheol-Eui;Lee, Kwang-Sei;Kim, Chang-Sam;Dalal, N.S.;Han, Doug-Young
    • Journal of the Korean Magnetic Resonance Society
    • /
    • v.14 no.2
    • /
    • pp.134-143
    • /
    • 2010
  • We studied the hydrogen-bonded $TlH_2PO_4$ (TDP) ferroelectrics treated with the proton-beam bombardment. The TDP material was irradiated with 1-MeV proton beam at a dose of $10^{15}/cm^2$. In order to analyze the hydrogen environment in TDP, we carried out the $^1H$ high resolution nuclear magnetic resonance (NMR) - i.e., Combined Rotation And Multiple Pulse Spectroscopy (CRAMPS) measurement. The isotropic chemical shift of hydrogen indicates its displacive property is related to the $PO_4$ lattice deformation which occurs throughout the antiferroelectric-, the ferroelastic- and the paraelastic-phase transitions. The temperature dependence of $\sigma_{iso}$ reveals the electronic charge redistribution is induced by the proton-beam irradiation and the elastic property.

Temperature Dependence of Excitonic Transitions in GaN Grown by MOCVD

  • Guangde Chen;Jingyu Lin;Hongxing Jiang;Kim, Jung-Hwan;Park, Sung-Eul
    • Journal of Photoscience
    • /
    • v.7 no.1
    • /
    • pp.27-30
    • /
    • 2000
  • The Photoluminescence (PL) measurement results of a very good quality GaN sample grown by metalorganic chemical vapor deposition (MOCVD) are reported. The temperature dependences of peak position, emission intensity, and the full width at half maximum (FWHM) of free-exciton (FX) A and B are presented. Our results show the fast thermal quenching of FX transition intensities and predominantly acoustic phonon scattering of emission line broadening. The transition-energy-shift following the Varshni's empirical equation, and by using it to fit the data, E$\_$A1/(T) = 3.4861 eV -6.046 $\times$ 10$\^$-4/T$^2$ (620.3+ T) eV, E$\_$B1/(T) = 3.4928 eV -4.777 $\times$ 10$\^$-4/T$^2$ / (408.2+ T) eV and E$\_$A2/ = 3.4991 eV -4.426 $\times$ 10$\^$-4/ T$^2$ / (430.6+ T) eV for A(n=1), B(n=1), and A(n=2) are obtained respectively.

  • PDF

Numerical analysis of turbulent combustion in Supercritical combustor with multi-injector (다중 분사기가 장착된 초임계 연소기 난류연소해석)

  • Jeon, Tae Jun;Park, Tae Seon
    • Proceedings of the Korean Society of Propulsion Engineers Conference
    • /
    • 2017.05a
    • /
    • pp.803-810
    • /
    • 2017
  • the liquid oxygen transitions to a supercritical state, causing rapid changes in properties and pseudo boiling in supercritical combustion. the combustion reaction operating in a supercritical state depends on the turbulence diffusion caused by difference of density, therefore, a study of the diffusion flow and pseudo boiling is required. Many researchers have studied these phenomena in the supercritical combustion, but A case study by various variables is inadequate. In this study, the flow field and flame structure were investigated numerically by changing the recirculation flow and liquid oxygen core length through oxygen-fuel ratio(O/F), combustor diameter and recess ratio at supercritical pressure condition.

  • PDF

A Fuzzy Agent System to Control the State Transition for an Autonomous Decision Making on Taxi Driving (택시 운행 중 상태변화에 대한 자율적 의사결정을 위한 퍼지 에이전트)

  • Lim, Chun-Kyu;Kang, Byung-Wook
    • The KIPS Transactions:PartB
    • /
    • v.12B no.4 s.100
    • /
    • pp.413-420
    • /
    • 2005
  • In this paper, we apply software agents, which use fuzzy logic and make autonomous decisions according to state transitions, to car driving environment. We carry out an experiment on artificial intelligent car driving in terms of real-time reactive agents. Inference techniques for constructing real-time reactive agents consider the settings with max-product inference, n-fuzzy rules, and n-associatives ($A_l,\;B_l),\;{\ldots}(A_n,\;B_n$). Then we perform defuzzification processes, extract a central value, and work out inference processes.

Theoretical Study of the Hydration Effects on the Conformation of N-pivaloyl-L-prolyl-N-methyl-N'-isopropyl-L-alaninamide

  • Choe, Sang-Joon;Kim, Un-Sik;Kang, Young-Kee;Jhon, Mu-Shik
    • Bulletin of the Korean Chemical Society
    • /
    • v.5 no.1
    • /
    • pp.27-32
    • /
    • 1984
  • To investigate the hydration effects on the conformational changes of N-pivaloly-L-prolyl-N-methyl-N'-isopropyl-L-alanin amide (PPMIA), the conformational free energy changes have been calculated by using an empirical potential function varying all the independent degrees of freedom of PPMIA backbones. It is found that cis conformers are folded by a strong intramolecular hydrogen bond involving both terminal CO and NH groups whereas trans conformers accommodate the open conformation. Conformers in the free state are proved to be less stable than in the hydrated state. The free energy changes of cis and trans PPMIA due to the hydration are -50.5 and -39.8 kcal/mole, their conformational energy changes are -52.3 and -41.0 kcal/mole, and their conformational entropy changes are -5.9 and -4.0 e.u., respectively. The free energy changes of cis PPMIA to trans PPMIA in the free and hydrated states are 5.3 and 16.0 kcal/mole, their conformational energy changes are 7.6 and 18.8 kcal/mole, and the entropy changes due to the conformational transitions correspond to 7.5 and 9.4 e.u., respectively. From these results, it is found that the bound water molecules play an important role in stabilizing the conformation of PPMIA.