• International Journal of Computer Science & Network Security
• /
• 제23권5호
• /
• pp.21-32
• /
• 2023

The design of complex man-made systems mostly involves a conceptual modeling phase; therefore, it is important to ensure an appropriate analysis method for these models. A key concept for such analysis is the development of a diagramming technique (e.g., UML) because diagrams can describe entities and processes and emphasize important aspects of the systems being described. The analysis also includes an examination of ontological concepts such as states and events, which are used as a basis for the modeling process. Studying fundamental concepts allows us to understand more deeply the relationship between these concepts and modeling frameworks. In this paper, we critically analyze the classic definition of a state utilizing the Thinging machine (TM) model. States in state machine diagrams are considered the appropriate basis for modeling system behavioral aspects. Despite its wide application in hardware design, the integration of a state machine model into a software system's modeling requirements increased the difficulty of graphical representation (e.g., integration between structural and behavioral diagrams). To understand such a problem, in this paper, we project (create an equivalent representation of) states in TM machines. As a case study, we re-modeled a state machine of an assembly line system in a TM. Additionally, we added possible triggers (transitions) of the given states to the TM representation. The outcome is a complicated picture of assembly line behavior. Therefore, as an alternative solution, we re-modeled the assembly line based solely on the TM. This new model presents a clear contrast between state-based modeling of assembly line behavior and the TM approach. The TM modeling seems more systematic than its counterpart, the state machine, and its notions are well defined. In a TM, states are just compound events. A model of a more complex system than the one in the assembly line has strengthened such a conclusion.

• 한국지능시스템학회논문지
• /
• 제11권2호
• /
• pp.173-177
• /
• 2001

We introduce cascade products, wreath products, sums and joins of TL-finite state machines and investigate their algebraic structures. Also we study the relations with other products of TL-finite state machines.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.443-450
• /
• 2009

시스템 개발 초기 단계에 시스템의 기능적 요구사항이 제대로 반영되었는지를 검사하기 위해 시뮬레이션 기법을 이용한다. 일반적으로 시뮬레이션은 순차도에 나타난 추상적 시나리오를 바탕으로 상태머신을 직접 또는 랜덤으로 수행하는 행태로 진행된다. 시뮬레이션은 분석자가 직접 수행해야 하므로 많은 시간과 노력이 소요된다. 이 논문에서는 순차도 기반의 상태 머신의 시뮬레이션의 자동화 기법을 제공한다. 일반적으로 순차도와 상태머신의 추상화 레벨이 달라서 순차도에서 상세 시뮬레이션 트레이스를 추출하기가 쉽지 않다. 이 연구에서는 상태 머신을 LTS 모델로 변환하여 합성적 분석, 트랜지션 축약 등의 분석 방법을 적용하여 순차도와 동일한 추상화 레벨로 변환한 다음, 시나리오 포함여부를 검사한 후 해당 시나리오의 상세 시뮬레이션 트레이스를 생성한다. 이러한 시뮬레이션 트레이스는 순차도에 기술된 시나리오를 기반으로 시뮬레이션을 자동으로 수행할 뿐만 아니라, 특정 시스템 상태까지 자동 시뮬레이션할 수 있으므로 시뮬레이션을 효율적으로 진행할 수 있다.

• Smart Structures and Systems
• /
• 제8권1호
• /
• pp.53-67
• /
• 2011

Human state in human-machine systems highly affects the overall system performance, and should be detected and monitored. Physiological cues are essential indicators of human state and useful for the purpose of monitoring. The study presented in this paper was focused on developing a bio-inspired sensing system, i.e., Nano-Skin, to non-intrusively measure physiological cues on human-machine contact surfaces to detect human state. The paper is presented in three parts. The first part is to analyze the relationship between human state and physiological cues, and to introduce the conceptual design of Nano-Skin. Generally, heart rate, skin conductance, skin temperature, operating force, blood alcohol concentration, sweat rate, and electromyography are closely related with human state. They can be measured through human-machine contact surfaces using Nano-Skin. The second part is to discuss the technologies for skin temperature measurement. The third part is to introduce the design and manufacture of the Nano-Skin for skin temperature measurement. Experiments were performed to verify the performance of the Nano-Skin in temperature measurement. Overall, the study concludes that Nano-Skin is a promising product for measuring physiological cues on human-machine contact surfaces to detect human state.

• 한국지능시스템학회논문지
• /
• 제11권2호
• /
• pp.156-160
• /
• 2001

In this paper we define fuzzy subsystems of a fuzzy finite state machine by using maps $S^{\alpha}$ of each state subset to its all $\alpha$-successors, which is a natural generalization of crisp submachines as fuzzy. And the corresponding concepts are also examined. also examined.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.80-82
• /
• 1998

we introduce the concept of coverings, direct products, cascade products and wreath products of T-fuzzy finite state machines and investigate their algebraic structures.

• 한국안전학회지
• /
• 제9권4호
• /
• pp.125-131
• /
• 1994

This paper proposes a dynamic recursive model with the effect analysis of machine state considering human factor(human skillfulness) In a single lot man-machine production system. This model obtained using Kalman Filtering Algorithm Is based on input state, output state, machine state. For sensitivity analysis, this model constructed is examined according to the impact of human skillfulness with computer simulation. The model studied in this paper has a great advance from the point of view a combination of three factors( human engineering, dynamic control theory, quality control ) and can also be extended in several applications.

• 신재생에너지
• /
• 제4권4호
• /
• pp.65-71
• /
• 2008

Considering the world's environmental problem, HEVs are projected as one of the solution. The keys of the HEV cruise control are expanding the use of electric motor and operating the internal combustion engine in the efficient region. This paper presents a new structure of SOC sustaining model where state-machine control is used. The proposed model defines battery charging and discharging as states and SOC of the battery as control variables. In this paper, we introduce various methods in deterministic rule-based control for HEV and describe a new SOC sustaining controller used by state-machine.

• 전력전자학회논문지
• /
• 제7권1호
• /
• pp.11-17
• /
• 2002

디지털 회로 설계 방법의 하나인 Algorithmic State Machine (ASM)을 이용하여 반복운동을 하는 모터의 위치를 오차 없이 검출할 수 있는 방법에 대한 연구를 수행하였다. 이를 위하여 모터의 운동방향 변화 시 증분형 엔코더의 출력 패턴을 분석하고 이를 바탕으로 상태도 및 상태 테이블을 구성하였으며 모터의 운동방향 변화 시 정확하게 변화시점을 검출할 수 있는 디지털 회로를 설계하였다 설계된 회로의 유용성을 검증하기 위하여 시뮬레이션 및 실험을 수행하였다. 시뮬레이션 결과 모터의 운동 방향이 변화하는 모든 경우에 대해서 제안된 회로를 이용하면 오차 없이 모터의 위치를 검출할 수 있음을 입증하였다.

• 산업경영시스템학회지
• /
• 제17권30호
• /
• pp.107-116
• /
• 1994

This paper formulates a dynamic monitoring and control model with a machine state by quality variations in a single lot production system. A monitoring model is based on estimate of machine state obtained using control theory. The model studied in this paper has a great advance from a point of view the combination between quality control (Sampling, Control Chart) and automatic control theory, and can be extended in a several ways.