• International Journal of Computer Science & Network Security
• /
• v.21 no.7
• /
• pp.233-240
• /
• 2021

The majority of the Web's success can be related to its productivity and flexibility. Web Services (WSs) have the means to create new patterns for the delivery of software capabilities. The WS easily provides the use of existing components available via the Internet. WSs are a new trend that shares ubiquitous systems with others, so the popularity of the Web is increased day by day with their associated systems. This paper will explore and adopt the possibility of developing a technique that will automate instructors' scheduling of timetables within a Web services environment. This technique has an advantage that facilitates users to reduce the time cost and effort by reducing errors and costs for institutes. Providing dependable tables to avoid mistakes related to instituting schedules is ensured by an automated repetitive manual procedure. Automated systems are increasingly developed based on organizations and their customers. Still, the setting's difficulty of automation systems increases to rise as the system architecture and applications must accomplish various requirements and specifications of ever-demanding project scenarios. The automation system is composed of an operating system, platforms, devices, machines, control system, and information technology. This architecture provides more productivity and optimized services. The main purpose of this paper is to apply an automation system to enhance both quality and productivity. This paper also covers an agile method of proving an automation system by Finite State Machine (FSM) and Attributed Graph Grammar (AGG) tool.

• The Journal of Korea Robotics Society
• /
• v.19 no.2
• /
• pp.169-175
• /
• 2024

In this study, we developed control system for stable teleoperation of supermicrosurgical robot platform. The supermicrosurgical robot platform is designed to perform precise anastomosis with micro vessels ranging from 0.3 mm to 0.7 mm. The robotic assistance could help more precise manipulation then manual surgery with the help of motion scaling and tremor filtering. However, since the robotic system could cause several vulnerabilities, control system for stable teleoperation should be preceded. Therefore, we first designed control system including inverse kinematics solver, clutch error interpolator and finite state machine. The inverse kinematics solver was designed to minimized inertial motion of the manipulator and tested by applying orientational motion. To make robot slowly converges to the leader's orientation when orientational error was occurred during clutch, the SLERP was used to interpolate the error. Since synchronized behavior of two manipulators and independent behavior of manipulator both exist, two layered finite state machines were designed. Finally, the control system was evaluated by experiment and showed intended behavior, while maintaining low pose error.

• Journal of international Conference on Electrical Machines and Systems
• /
• v.1 no.1
• /
• pp.54-60
• /
• 2012

In this paper, a new permanent-magnet (PM) linear motor is proposed, in which both the magnets and armature windings are placed in the short mover, while the long stator consists of iron core only. Hence, this new PM linear motor can be called a primary permanent-magnet linear motor. It exhibits the advantages of robustness, low cost, high efficiency, high power factor, and high thrust force density. It is especially suitable for long stator applications such as urban rail transit. In this paper, the topology and operation principle of this motor are discussed in detail. The steady-state characteristics including field distributions, flux-linkage, back-EMF, phase inductance and thrust force are investigated. In addition, the technique of skewing stator teeth is adopted to improve the electromagnetic performance. Results from finite element method (FEM) verified the theoretical analysis results.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.475-477
• /
• 2004

네트워크의 발달과 함께 현대의 시스템들은 다른 시스템들과 서로 연동되어 운영되는 경우가 증가하고 있다. 그래서 시스템 자체의 테스팅 뿐만 아니라 다른 시스템과의 연동에 관한 상호운용성 테스팅 또한 중요하게 인식되고 있다. 기존 상호운용성 테스팅에 관련된 연구들에서는 EFSM(Extended Finite State Machines)을 기반으로 행위를 모델링 한 상태전이 정보를 토대로 테스트 케이스를 생성하는 연구가 많이 진행되어 왔다. 그러나 모든 범위의 상호운용성 테스팅에 적용할 수 있는 체계적인 테스트 프로세스에 대한 연구 및 테스트 케이스 생성의 기반이 되는 EFSM 모델 생성에 관한 체계적인 연구 또한 미흡한 실정이다. 본 논문은 완전한 상호운용성 테스팅을 위해 EFSM 기반 행위 모델링 기법을 제안하고 있다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.4 no.1
• /
• pp.7-11
• /
• 2004

This paper proposes a new immunotronic approach for the fault detection in hardware. The suggested method is, inspired by biology and its implementation is based on genetic algorithm. Tolerance conditions in the immunotronic system for fault detection correspond to the antibodies in the biological immune system. A novel algorithm of generating tolerance conditions is suggested based on the principle of the antibody diversity and GA optimization is employed to select mature tolerance conditions in immunotronic fault detection system. The suggested method is applied to the fault detection for MCNC benchmark FSMs (finite state machines) and its effectiveness is demonstrated by the computer simulation.

• Proceedings of the KIEE Conference
• /
• 2000.07b
• /
• pp.873-875
• /
• 2000

The self- and mutual- winding inductances can have an important influence on both the steady-state and transient dynamic performance of a machine. Especially, slotless topologics have inherently low self- and mutual-stator winding inductance. Thus, this paper describes an analytical model for predicting the winding inductance and results are compared to finite element analyses.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.481-484
• /
• 2004

가상현실에 생성되는 NPC(Non-Player Character)의 인공지능을 설계하는 AI 디자이너가NPC 행동 패턴을 효율적으로 모델링을 할 수 있게 도와주는 FSM(Finite-State Machines) 도구를 제시한다. 이 도구는 FSM 각 상태와 상태의 변이에 따른 여러 가지 행동 패턴을 쉽게 모델링 할 수 있으며, AI를 디자인하는 디자이너가 가상현실 속에 존재하는 NPC의 AI를 설계 하고 프로그래머가 AI를 구현하는데 필요한 시간을 줄여준다. 또한 행동 패턴의 FSM 구조가 일반화되어 재사용성이 높아질 뿐만 아니라 AI를 하드코딩으로 구현 하는 것을 방지 할 수 있다.

• International Journal of Computer Science & Network Security
• /
• v.21 no.11
• /
• pp.165-170
• /
• 2021

Discrete event systems interact with the external environment to decide which action plan is adequate. Some of these interactions are not predictable in the modelling phase and require consequently an adaptation of the system to the metamorphosed behavior of the environment. One of the challenging issues is to guarantee safety behavior when failures tend to derive the system from normal status. In this paper we propose a framework to combine diagnose technique with adaptive control to avoid unsafe sate an maintain the normal behavior as long as possible.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.12C
• /
• pp.167-173
• /
• 2001

Colored thread algorithm suggested by Ohba is understood to be effective to prevent from establishing path in loop. 3 kinds of thread state, such as null, colored, transparent, defined in colored thread algorithm which makes difficult and complex to design actions of the thread events, is reconfigured and improved to a 4 states to make the finite state machines simple. The original colored thread algorithm fonds loops by receiving thread of a same color that was generated by the initiator itself and confirms the loops by hop count of unknown thread traversed again along the looped path. This method is modified as to use the same color instead of generating new colored thread for the looped path, leading to save the traversing time. And also redefined the events to make easy coupling with existing protocols.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.42 no.7 s.337
• /
• pp.27-34
• /
• 2005

Iterative detection (ID) has proven to be a near-optimal solution for concatenated Finite State Machines (FSMs) with interleavers over an additive white Gaussian noise (AWGN) channel. When perfect channel state information (CSI) is not available at the receiver, an adaptive ID (AID) scheme is required to deal with the unknown, and possibly time-varying parameters. The basic building block for ID or AID is the soft-input soft-output (SISO) or adaptive SISO (A-SISO) module. In this paper, Reduced State SISO (RS-SISO) algorithms have been applied for complexity reduction of the A-SISO module. We show that serially concatenated CPM (SCCPM) with AID has turbo-like performance over fading ISI channels and also RS-A-SISO systems have large iteration gains. Various design options for RS-A-SISO algorithms are evaluated. Recently developed density evolution technique is used to analyze RS-A-SISO algorithms. We show that density evolution technique that is usually used for AWGN systems is also a good analysis tool for RS-A-SISO systems over frequency-selective fading channels.