• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권1호
• /
• pp.19-26
• /
• 2013

소프트웨어 시스템의 안정성 및 품질을 향상시키기 위해서 상태 다이어그램을 기반으로 한 테스트 기법들과 상태 다이어그램 도출에 관한 연구들이 진행되고 있다. 기존의 연구들은 일부 상태와 전이를 변경하여 상태 다이어그램의 복잡도 문제를 해결하고 있다. 그러나 테스트 케이스 도출에는 상태와 전이를 유지하면서 상태 다이어그램을 도출하는 방법이 필요하며 복잡도를 낮추는 방법도 필요하다. 본 논문에서는 상태나 전이의 변경 없이 복잡도를 감소시키기 위해 STMT(State-Transition Mapping Tree) 방법을 제안한다. 제안한 방법은 기존의 표기법과 비교하였을 때 복잡도가 낮다는 결과를 얻을 수 있었으며 시스템이 복잡해질수록 기존 방식에 비해 복잡도 개선에서 이점을 보였다.

• 대한간호학회지
• /
• 제34권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
• /
• 제27권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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -1
• /
• 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.

• 대한전기학회논문지:전력기술부문A
• /
• 제54권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
• /
• 제5A권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
• /
• 제37권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
• /
• 제41권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.

• 한국시뮬레이션학회논문지
• /
• 제13권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.

• 정보보호학회논문지
• /
• 제15권2호
• /
• pp.105-111
• /
• 2005

GF(2) 셀룰라 오토마타가 비트단위로 데이터가 처리되는데 비하여 GF(2P) 셀룰라 오토마타는 비트단위 이상의 단위로 데이터론 처리할 수 있다. 본 논문에서는 GF(2p) 위에서의 유한체 성질을 이용하여 한 개의 트리로 구성되는 GF(2P)위에서의 nongroup 셀룰라 오토마타의 상태들의 움직임을 분석한다. 또한 기력경로를 이용하여 GF(2P)위에서 선형 SACA의 상태전이 그래프를 구성하는 방법과 선형 SACA의 상태전이 그래프를 이용하여 비선형인 여원 SACA의 상태전이 그래프를 구성하는 방법을 제시한다.