• IEMEK Journal of Embedded Systems and Applications
• /
• v.18 no.2
• /
• pp.81-87
• /
• 2023

With the development of BCI devices, it is now possible to use EEG control technology to move the robot's arms or legs to help with daily life. In this paper, we propose a customized vehicle control model based on BCI. This is a model that collects BCI-based driver EEG signals, determines information according to EEG signal analysis, and then controls the direction of the vehicle based on the determinated information through EEG signal analysis. In this case, in the process of analyzing noisy EEG signals, controlling direction is supplemented by using a camera-based eye tracking method to increase the accuracy of recognized direction . By synthesizing the EEG signal that recognized the direction to be controlled and the result of eye tracking, the vehicle was controlled in five directions: left turn, right turn, forward, backward, and stop. In experimental result, the accuracy of direction recognition of our proposed model is about 75% or higher.

• Korean Journal of Cognitive Science
• /
• v.20 no.3
• /
• pp.275-289
• /
• 2009

A new computerized testing system, called the Computerized Multiple-choice Testing (CMMT) system, was introduced. In this system, questions of multiple choice (MC) items are presented first without options, so that students must generate answers for themselves. They can click for the options when they are ready, and can respond within a brief, specified time period. The present study was performed to examine whether this system is effective in reducing backward reasoning, I. e., using the options of MC items as cues to find the correct answer. One hundred and seventy-seven 6th grade students (12 year olds) were divided into two groups so that mean scores from a prior test were equal: The experimental group took an intervening computerized test in the new format, and the control group in the MC format. Five days after the computerized intervening test, a short answer paper-and-pencil final test was given. Testing effect was greater in the new system than in the MC system. Analysis of the final test response in relation to the intervening test response showed that i) the students retained the correct answer in the new system more than in the MC testing system, and that ii) students corrected their previous failures in the intervening CMMT format more than those in the MC format. These results suggest that the new system is effective in reducing backward reasoning.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.457-466
• /
• 1999

원자력 발전소 계측 제어 시스템, 의료 관련 시스템, 항공 관련 시스템 등 실생활과 밀접한 시스템에 소프트웨어의 사용이 점차 증가하고 있다. 이러한 시스템에서 소프트웨어의 오류는 예기치 않는 사고를 유발하여 인명, 재산상의 심각한 타격을 줄 수 있다. 그러므로 고신뢰도 소프트웨어의 개발 시에는 반드시 시스템의 안전성을 보장해 주어야 한다. 역방향 안전성 분석 방법은 시스템의 안전성을 분석하는 한가지 방법으로서 시스템의 위험 상태를 정의하고 그 위험의 원인들을 추적, 분석함으로써 안전성에 대한 효율적인 분석을 수행할 수 있는 장점을 갖는다. 이 논문에서는 소프트웨어 개발 초기 단계에서 안전성을 분석할 수 있는 방법으로 Colored Petri Nets(CPN)에 기반을 둔 역방향 안전성 분석 방법을 제시한다. 또한 CPN 역방향 안전성 분석 도구인 SAC(Safety Analyzer for CPN)의 설계 및 구현에 대해 언급한다. SAC은 기존의 상용 CPN 모델링 도구인 Design/CPN과 연계하여 사용될 수 있으므로 CPN으로 모델링된 시스템의 안전성을 분석할 수 있다는 장점이 있다. 이 논문에서는 예제로 자동 교통 제어 시스템의 일부를 CPN으로 모델링하고 SAC을 이용한 분석 과정을 기술한다.Abstract In safety-critical systems such as nuclear power plants, medical machines, and avionic systems which are closely related with our livings, the usage of software in the controlling part is growing rapidly. Since software errors in safety-critical systems may cause serious accidents leading to financial or human damages, system safety should be ensured during and after development of a system. A backward safety analysis technique defines system hazards and tries to trace their causes by analyzing system states backward. In this paper, we provide a backward safety analysis technique based on Colored Petri Nets(CPN), which is applicable to the early software development phase. Also Safety Analyzer for CPN(SAC), the supporting tool, is designed and implemented. Since SAC is compatible with Design/CPN, a commercial tool for supporting CPN, it can be applicable to analyze safety in practical problems. As an example, we model a part of the traffic light control system using CPN and analyze safety properties of the model using the SAC tool.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.6
• /
• pp.293-302
• /
• 2017

This paper proposes a method that generates test cases from Simulink/Stateflow(SL/SF) using a SMT (Satisfiability Modulo Theory) solver, Yices and information of SL/SF model. The most difficult problem to generate test cases from SL/SF model is to solve reachability problem. In the propose method, Yices and the tables built with the model information are utilized to solve the reachability problem. The method utilizes the SMT model, that is the SL/SF model transformed in Yices. The tables built from SL/SF are used for backward processing of the proposed method and increases test generation efficiency. A commercial refrigerator model and two car ECU (Electrical Control Unit) models are used to evaluate the performance of the proposed algorithm..

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.48 no.4
• /
• pp.108-113
• /
• 2011

In this paper, we propose a new method for robot navigation control through EMG and acceleration sensors which is attached to wrist. The method can remote control with intuitive motion like driving a car. It decide to control whether or not through EMG signal processing. And motion inferring through signal processing from acceleration sensor. Inferred motion is mapped to control command such as 'Forward', 'Backward', 'Left', 'Right'. Accuracy of each motions are over 99%. Control is capable naturally without time delay. Entire system has been implemented and we verified its utility through demonstration.

• Journal of Internet Computing and Services
• /
• v.1 no.2
• /
• pp.29-37
• /
• 2000

Asynchronous transfer mode is flexible to support multimedia communication services using asynchronous time-sharing and statistical multimedia techniques to the existing data communication area, ATM ABR service controls network traffic using feedback information on the network congestion situation in order to guarantee the demanded service qualities and the available cell rates, In this paper we apply the control method using queue length prediction to the formation of feedback information for more efficient ABR traffic control. If backward node receive the longer delayed feedback information on the impending congestion, the switch can be already congested from the uncontrolled arriving traffic and the fluctuation of queue length can be inefficiently high in the continuing time intervals, The feedback control method proposed in this paper predicts the queue length in the switch using the slope of queue length prediction function and queue length changes in time-series, The predicted congestion information is backward to the node, NLMS and neural network are used as the predictive control functions, and they are compared from performance on the queue length prediction. Simulation results show the efficiency of the proposed method compared to the feedback control method without the prediction, Therefore, we conclude that the efficient congestion and stability of the queue length controls are possible using the prediction scheme that can resolve the problems caused from the longer delays of the feedback information.

• Advances in aircraft and spacecraft science
• /
• v.5 no.4
• /
• pp.431-444
• /
• 2018

Numerical simulations have been conducted to study the unstart/restart characteristics of an over-under turbine-based combined-cycle propulsion system (TBCC) inlet during the inlet transition phase. A dual-solution area exists according to the Kantrowitz theory, in which the inlet states may be different even with the same input parameters. The entire transition process was divided into five stages and the unstart/restart hysteresis loop for each stage was also obtained. These loops construct a hysteresis surface which separates the operating space of the engine into three parts: in which a) inlet can maintain a started state; b) inlet keeps an unstarted state; c) inlet state depends on its initial state. During the transition, the operation of the engine follows a certain order with different backpressures and splitter angles, namely control route, which may result in disparate inlet states. Nine control routes with different backpressures and transition stages were designed to illuminate the route-dependent behavior of the inlet. The control routes operating towards the unstart boundary can make the inlet transit from a started state into an unstarted one. But operating backward the same route cannot make the inlet restart, additional effort should be made.

• International Journal of Aeronautical and Space Sciences
• /
• v.14 no.2
• /
• pp.152-161
• /
• 2013

This paper presents a control effectiveness analysis of the hawkmoth Manduca sexta. A multibody dynamic model of the insect that considers the time-varying inertia of two flapping wings is established, based on measurement data from the real hawkmoth. A six-degree-of-freedom (6-DOF) multibody flight dynamics simulation environment is used to analyze the effectiveness of the control variables defined in a wing kinematics function. The aerodynamics from complex wing flapping motions is estimated by a blade element approach, including translational and rotational force coefficients derived from relevant experimental studies. Control characteristics of flight dynamics with respect to the changes of three angular degrees of freedom (stroke positional, feathering, and deviation angle) of the wing kinematics are investigated. Results show that the symmetric (asymmetric) wing kinematics change of each wing only affects the longitudinal (lateral) flight forces and moments, which implies that the longitudinal and lateral flight controls are decoupled. However, there are coupling effects within each plane of motion. In the longitudinal plane, pitch and forward/backward motion controls are coupled; in the lateral plane, roll and side-translation motion controls are coupled.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2000.10a
• /
• pp.90-95
• /
• 2000

This paper presents the vergence control of a parallel stereo camera and its application to underwater stereo camera to enhance the working efficiency of underwater vehicles that equips with manipulators in seabed operation. The stereo camera consists of two parallel lenses mounted on a lateral moving base and two CCD cameras mounted on a longitudinal moving base, which is embedded in a small pressure canister for underwater application. Because the lateral shift is related to the backward shift with a nonlinear relation, only one control input is needed to control the vergence and focus of the camera with a special driving device. We can get a clear stereo vision with the camera for all the range of objects in air and in water, especially in short range objects. The control system of the camera is so simple that we are able to realize a small stereo camera system and to apply it to a stereo vision system for underwater vehicles. This paper also shows how to acquire the distance information of an underwater object with this stereo camera. Whenever we focus on an underwater object with the camera, we can obtain the three-dimensional images and the distance information in real-time.

• Journal of Ocean Engineering and Technology
• /
• v.15 no.1
• /
• pp.79-84
• /
• 2001

This paper present the control of the image disparity of a parallel stereo camera and its application to an underwater stereo camera to enhance the working efficiency of underwater vehicles that are equiped with manipulators in seabed operation. The stereo camera consists of two parallel lenses mounted on a lateral moving base and two CCD cameras mounted on a longitudinal moving base, which is embedded in a small pressure canister for underwater application. Because the lateral shift is related to the backward shift with a nonlinear relation, only one control input is needed to control the vergence and focus of the camera with a special driving device. We can get clear stereo vision with the camera for all the range of objects in air and in water, especially in short range object. The control system of the camera is so simple that we are able to realize a small stereo camera system and apply it to a stereo vision system for underwater vehicles. This paper also shows how to acquire the distance information of an underwater object with this stereo camera. Whenever we focus on an underwater object with the camera, we can obtain three-dimensional images and distance information in real-time.