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

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

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

• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 2001년도 Bulletin of The 5th Asian Design Conference International Symposium on Design Science
• /
• pp.77-77
• /
• 2001

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

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

• Food Science and Biotechnology
• /
• 제14권2호
• /
• pp.301-303
• /
• 2005

State diagram of highly concentrated branched oligosaccharides (HBOS) was constructed to better understand phase behavior of mixtures with different size of oligosaccharides. It showed dramatic plasticizing effect on glass transition, which was successfully described based on Couchman-Karasz equation model. $T_g$' estimated from state diagram corresponded well with previous empirical data measured by maximum ice formation through isothermal holding (annealing) process. Estimated $T_g$' and $C_g$' values were $-36.3^{\circ}C$ and 79.99%, respectively. $T_g$' value of HBOS was approximately $10^{\circ}C$ higher than that of sucrose, while $C_g$' value was similar to those of general carbohydrate materials, which could be useful for applications in frozen system.

• 조명전기설비학회논문지
• /
• 제21권4호
• /
• pp.11-18
• /
• 2007

A moving object detection algorithm for surveillance video is here proposed which employs background initialization based on two-stage median filtering and a background updating method based on state transition diagram. In the background initialization, the spatiotemporal similarity is measured in the subinterval. From the accumulated difference between the base frame and the other frames in a subinterval, the regions affected by moving objects are located. The median is applied over the subsequence in the subinterval in which regions share similarity. The outputs from each subinterval are filtered by a two-stage median filter. The background of every frame is updated by the suggested state transition diagram The object is detected by the difference between the current frame and the updated background. The proposed method showed good results even for busy, crowded sequences which included moving objects from the first frame.

• 중소기업융합학회논문지
• /
• 제1권1호
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML)는 산업계에서 소프트웨어 설계 표준 언어로서 인정되고 있으며 특히 UML State Machine Diagram은 클래스의 동적인 행위(behavior)를 묘사하는데 많이 사용되고 있다. 이 논문은 UML State Machine Diagram을를 이용하여 시스템의 데드락 (deadlock)을 찾는 방법에 대해서 논한다. 보통 State Machine Diagram는 개별의 클래스의 행위를 나타내는 데 사용되므로 시스템 범위의 행위를 알고 싶으면 시스템에 있는 클래스들 중 관심 있는 클래스들의 State Machine Diagram을 합하여 시스템의 행위를 나타낼 수 있는 State Machine Diagram이 필요하여진다. 일반적으로 이러한 시스템 수준의 State Machine Diagram은 매우 복잡하고 실제로는 타당하지 않은 State나 Transition들을 포함하게 된다. 실제 시스템의 행위를 나타내기 위해서 synchronization과 externalization을 적용하여 State Machine Diagram을 유효한 수준으로 줄이는 것이 필요하다. 이렇게 만들어진 State Machine Diagram은 시스템의 행위를 나타내는데 사용될 수 있으며 통상의 모델 체킹 방법이 적용될 수 있다. 이 논문은 데드락 탐지를 하는 방법을 간단한 예제를 통해서 보여준다. 모든 과정은 툴에서 자동으로 지원되며 필요한 알고리즘도 같이 설명된다.

• 한국생물정보학회:학술대회논문집
• /
• 한국생물정보시스템생물학회 2004년도 The 3rd Annual Conference for The Korean Society for Bioinformatics Association of Asian Societies for Bioinformatics 2004 Symposium
• /
• pp.50-56
• /
• 2004

Bifurcation analysis of cell cycle regulation in the budding yeast is performed basedon the mathematical model by Chen et al [Molecular biology of cell, 11:369-391, 2000]. On the bifurcation diagram, locations of both stable and unstable solutions of the nonlinear differential equations are presented by taking the mass of cell as a controlparameter. Based on the bifurcation diagram, dynamic mechanism underlying the 'start' transition, initiation of a new round of cell cycle, and the 'finish' transition, completion of cell cycle and returning back to the initial state, is discussed: the 'start' transition is a transition from a stable fixed solution for a small mass and to an oscillatory state for a large mass, and the 'finish' transition is a switching back to the stable fixed solution from the oscillatory state. To understand the role of the genes during the cell cycle regulation, bifurcation diagrams for the mutants are compared with that of the wild type.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 춘계종합학술대회
• /
• pp.335-338
• /
• 2005

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

• 정보처리학회논문지D
• /
• 제13D권1호
• /
• pp.67-74
• /
• 2006

소프트웨어 개발 과정에서 보안 요구사항 식별은 그 중요성으로 최근에 관심이 주목되고 있다. 그러나 기존 방법들은 보안 요구사항 식별 방법과 절차가 명확하지 않았다. 본 논문에서는 소프트웨어 개발자가 보안 위협 위치의 상태전이도로부터 보안 요구사항을 식별하는 절차를 제안한다. 이과정은 상태전이도를 작성하는 부분과 어플리케이션 의존적인 보안 요구사항을 식별하는 부분으로 구성된다. 상태전이도 작성은 1) 공격자가 소프트웨어 취약성을 이용하여 자산을 공격한다는 것에 기반하여 기존에 발생했던 보안 실패 자료를 이용하여 소프트웨어의 취약성을 위협하는 위치를 식별하고, 2) 식별된 위협 위치에 해당하는 소프트웨어 취약성을 방어, 완화시킬 수 있는 상태전이도를 작성하는 과정으로 이루어진다. 어플리케이션 의존적인 보안 요구사항 식별과정은 1) 기능 요구사항을 분석 한 후, 위협 위치를 파악하고, 각 위협 위치 에 해당하는 상태전이도를 적용하고, 2) 상태전이도를 어플리케이션 의존적인 형태로 수정한 후, 3) 보안 요구사항 추출 규칙을 적용하여 보안요구사항을 작성하는 과정으로 구성된다. 제안한 방법은 소프트웨어 개발자가 소프트웨어 개발 초기에 모델을 적용하여 쉽게 보안 요구사항을 식별하는데 도움을 준다.