• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.1
• /
• pp.19-26
• /
• 2013

To improve the reliability and quality of software system, many studies of the testing based on state-transition diagram have been in progress. Existing studies tried to solve the complexity problem of state-transition diagram. But the development of test case demands the better way to derive and manage the state diagram with low complexity. In this paper, the STMT(State-Transition Mapping Tree) is proposed to decrease the complexity of state diagram without changing or loosing the original state or transition information. Comparing with other methods, the proposed method turns out to be less complex.

• Journal of Korean Academy of Nursing
• /
• v.34 no.3
• /
• pp.515-524
• /
• 2004

Purpose: The purpose of this study was to develop and test a model to explain the transition state for Korean middle-aged women focusing on the transition concept. Method: A hypothetical model was constructed based on the transition model of Schumacher & Meleis(1994) and tested. Thehypothetical model consisted of 5 latent variables and 11 observed variables. Exogenous variables were demographic characteristics, obstetric characteristics, and health behavior. Endogenous variables were transition state and quality of life with 6 paths. The data from 221 middle-aged women selected by convenience was analyzed using covariance structure analysis. Result: The final model which was modified from the hypotheticalmodel improved to GFI=0.97, AGFI=0.94, NFI=0.94, and NNFI=0.95. The transition state was influenced directly by demographic characteristics, quality of life, and also indirectly by health behaviors. However, the influence of obstetric characteristics was not significant. The transition state was accountable for 68% of the variance by these factors. Conclusion: These results suggest that enhancing health behaviors of the women are necessary to increase quality of life and it consequently contributes toimproving the transition state. This model could be used to explain the health related vulnerability in these ages and to diagnosis individual women.

• Journal of applied mathematics & informatics
• /
• v.27 no.5_6
• /
• pp.1331-1342
• /
• 2009

In this paper, we analyze the behavior of the state transition of nongroup CA with a single attractor over GF($2^p$)(p > 1), and propose the algorithm for the construction of the state transition diagram of a Single Attractor CA(SACA) over GF($2^p$) which is very different from the construction algorithm for the state transition diagram of GF(2) SACA.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.355-358
• /
• 2000

In this paper we propose procedures to enhance testability by modifying state transition tables. In these procedures, transitions about undefined states, which are not described in state transition tables but exist in a synthesized gate level circuit, are added to a state transition table. Experimental results for MCNC benchmarks are shown.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.54 no.2
• /
• pp.67-72
• /
• 2005

In conventional small signal stability analysis, system is assumed to be invariant and the state space equations are used to calculate the eigenvalues of state matrix. However, when a system contains switching elements such as FACTS devices, it becomes non-continuous system. In this case, a mathematically rigorous approach to system small signal stability analysis is by means of eigenvalue analysis of the system periodic transition matrix based on discrete system analysis method. In this paper, RCF(Resistive Companion Form) method is used to analyse small signal stability of a non-continuous system including switching elements. Applying the RCF method to the differential and integral equations of power system, generator, controllers and FACTS devices including switching elements should be modeled in the form of state transition equations. From this state transition matrix eigenvalues which are mapped to unit circle can be calculated.

• KIEE International Transactions on Power Engineering
• /
• v.5A no.4
• /
• pp.344-349
• /
• 2005

In conventional small signal stability analysis, the system is assumed to be invariant and the state space equations are used to calculate the eigenvalues of the state matrix. However, when a system contains switching elements such as FACTS equipments, it becomes a non-continuous system. In this case, a mathematically rigorous approach to system small signal stability analysis is performed by means of eigenvalue analysis of the system's periodic transition matrix based on the discrete system analysis method. In this paper, the RCF (Resistive Companion Form) method is used to analyze the small signal stability of a non-continuous system including switching elements. Applying the RCF method to the differential and integral equations of the power system, generator, controllers and FACTS equipments including switching devices should be modeled in the form of state transition equations. From this state transition matrix, eigenvalues that are mapped into unit circles can be computed precisely.

• BMB Reports
• /
• v.37 no.5
• /
• pp.533-537
• /
• 2004

Previously published kinetic data on the interactions of seventeen different enzymes with their physiological substrates are re-examined in order to understand the connection between ground state binding energy and transition state stabilization of the enzyme-catalyzed reactions. When the substrate ground state binding energies are normalized by the substrate molar volumes, binding of the substrate to the enzyme active site may be thought of as an energy concentration interaction; that is, binding of the substrate ground state brings in a certain concentration of energy. When kinetic data of the enzyme/substrate interactions are analyzed from this point of view, the following relationships are discovered: 1) smaller substrates possess more binding energy concentrations than do larger substrates with the effect dropping off exponentially, 2) larger enzymes (relative to substrate size) bind both the ground and transition states more tightly than smaller enzymes, and 3) high substrate ground state binding energy concentration is associated with greater reaction transition state stabilization. It is proposed that these observations are inconsistent with the conventional (Haldane) view of enzyme catalysis and are better reconciled with the shifting specificity model for enzyme catalysis.

• Applied Biological Chemistry
• /
• v.41 no.8
• /
• pp.611-612
• /
• 1998

The transition state analog for metal catalyzed hydrolysis of an ester through cooperative interactions between metal ions as Lewis acid and peroxide was discussed.

• Journal of the Korea Society for Simulation
• /
• v.13 no.4
• /
• pp.1-16
• /
• 2004

The modelling and simulation of the activation process for the heart system is meaningful to understand special excitatory and conductive system in the heart and to study cardiac functions because the heart activation conducts through this system. This thesis proposes two dimensional cellular automaton(CA) model for the activation process of the myocardium and conducted simulation by means of discrete time and discrete event algorithm. In the model, cells are classified into anatomically similar characteristic parts of the heart and each of cells has a set of cells with preassigned properties. Each cell in this model has state variables to represent the state of the cell and has some state transition rules to change values of state variables executed by state transition function. The state transition rule is simple as follows. First, the myocardium cell at rest stay in passive state. Second, if any one of neighborhood cell in the myocardium cell is active state then the state is change from passive to active state. Third, if cell's state is an active then automatically go to the refractory state after activation phase. Four, if cell's state is refractory then automatically go to the passive state after refractory phase. These state transition is processed repeatedly in all cells through the termination of simulation.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.15 no.2
• /
• pp.105-111
• /
• 2005

Though GF(2) CA can only handle data with bit units GF(2p) CA can handle data with units more than bit units. In this paper we analyze the state-transition of nongroup cellular automata(CA) with a single attractor over GF(2p). And we propose the constructing method the state-transition diagram of a linear SACA over GF(2p) by using the concept of basic path. Also we propose the state-transition diagram of the nonlinear complemented SACA by using the state-transition diagram of a linear SACA.