• 전자공학회논문지SC
• /
• 제47권5호
• /
• pp.9-17
• /
• 2010

교정 제어는 비동기 순차 머신의 안정 상태 동작을 원하는 목적에 맞게 바꾸어주는 역할을 한다. 본 논문에서는 교정 제어를 이용하여 영구 고장이 존재하는 비동기 순차 머신의 고장 극복 기법을 제안한다. 비동기 순차 머신에서 영구 고장이 발생하면 머신은 원래 상태로 영원히 회복되지 못하고 제한된 상태 집합 내에서만 동작하게 된다. 하지만 비동기 순차 머신이 줄어든 작동 범위 안에서도 정상적인 동작을 계속할 수 있는 여유도를 가지고 있다면 교정 제어 기법을 이용하여 고장 극복 문제를 해결할 수 있다. 본 논문에서는 영구 고장을 탐지할 수 있는 조건과 함께 고장 극복 문제를 푸는 교정 제어기가 존재할 필요충분조건을 밝힌다. 또한 사례 연구를 통해서 제안된 제어기의 설계 과정을 예시한다.

• 영어어문교육
• /
• 제17권3호
• /
• pp.73-98
• /
• 2011

This study investigated the feasibility and effectiveness of incorporating oral corrective feedback into the content-based business English writing class. Two types of oral corrective feedback, recasts and metalinguistic feedback, were integrated into business English writing classes to help low intermediate-proficiency Korean university students improve the ability to use the simple past, present progressive, and present perfect tenses correctly in their written production. Prior to the treatments, the subjects had basic grammatical knowledge of the target verb tenses, but they had only limited control over them in their written production. Three groups were formed: recast group that received corrective recasting, metalinguistic group that received metalinguistic clues, and control group that received no oral corrective feedback. The study demonstrated that it was feasible to incorporate recasts and metalinguistic feedback into content-based business English writing classes and that metalinguistic feedback had greater and more endurable effects than recasts on promoting the correct use of the target verb tenses in written production. It can be concluded that oral corrective feedback, metalinguistic feedback in particular, can be used in the business English writing classroom to help students gain greater control over already partially acquired forms and therefore improve their writing accuracy.

• 전자공학회논문지
• /
• 제51권8호
• /
• pp.139-147
• /
• 2014

이번 연구에서는 병렬 결합된 두 개의 비동기 순차 머신에 대한 교정 제어 문제를 다룬다. 각 비동기 머신은 동일한 외부입력을 받아 서로 독립적인 상태 천이 특성을 보인다. 본 논문에서는 한 개의 교정 제어기만을 이용하여 두 개의 비동기 머신의 폐루프 시스템 동작을 각각의 기준 모델의 동작과 일치시키도록 하는 제어 방법을 제안한다. 본 방법은 교정 제어기 두 개를 사용해야 하는 기존 방법에 비해 제어기 크기 및 계산량을 줄일 수 있다. 본 논문에서는 대상 비동기 머신이 입력/상태 유형이라고 설정하고 상태 피드백 교정 제어기가 존재할 조건과 설계 과정을 제시한다. 또 예제 시스템을 통하여 제안된 기법의 적용 과정을 기술한다.

• 전기전자학회논문지
• /
• 제24권3호
• /
• pp.727-734
• /
• 2020

본 논문은 과도 고장을 가지는 비동기 순차 머신에 대한 내고장성 교정 제어를 다룬다. 본 논문에서 다루는 고장은 머신이 과도 상태 천이를 거칠 때 발현할 수 있으므로 비-기본 모드(non-fundamental mode)에서 원하지 않는 상태 천이를 일으킨다. 본 논문에서는 비동기 순차 머신의 비-기본 모드에서 발생하는 과도 고장을 탐지하고 극복할 수 있는 새로운 내고장성 제어 시스템을 제안한다. 교정 제어 이론의 틀 안에서 내고장성 제어기의 존재 조건과 설계 과정을 제시한다. 또한 제안된 제어 시스템의 효용성을 검증하기 위해 FPGA 실험을 실시한다.

• 한국지능시스템학회논문지
• /
• 제25권2호
• /
• pp.139-146
• /
• 2015

본 논문에서는 교정 제어에 의한 스위칭 비동기 순차 머신의 모델 정합 문제를 다룬다. 스위칭 비동기 순차 머신은 스위칭 신호에 따라서 여러 개의 비동기 순차 머신 특성을 번갈아 가면서 가지는 시스템이라고 정의한다. 이번 연구에서 스위칭 시스템이 가질 수 있는 스위칭 시퀀스(sequence)는 일정하게 고정되어 있다고 가정한다. 제어 목적은 폐루프 시스템의 안정 상태 동작을 주어진 기준 모델과 일치시키는 교정 제어기의 존재조건을 규명하고 제어기를 설계하는 일이다. 이를 위해서 스위칭 비동기 머신이 가지는 도달가능성을 표현하는 새로운 skeleton 행렬을 도입하고 모델 정합 교정 제어기의 존재조건을 기술한다. 또한 사례 연구를 통해 스위칭 신호를 생성하면서 동시에 교정 제어 입력을 변화시키는 새로운 교정 제어 알고리듬을 예시한다.

• 전자공학회논문지SC
• /
• 제45권4호
• /
• pp.1-10
• /
• 2008

본 논문에서는 비동기 순차 머신의 교정 제어 문제를 다룬다. 교정 제어는 머신의 동작을 주어진 모델의 동작과 일치시키도록 하는 모델 매칭을 실현하는 제어를 말한다. 본 논문의 주요 목적은 비동기 순차 머신이 추종해야 하는 모델의 형태가 비결정적일 때, 즉 여러 개의 결정적 모델의 합으로 주어질 때 교정 제어기를 설계하는 일이다. 본 논문에서는 먼저 비동기 순차 머신을 위한 교정 제어 시스템의 형태와 동작 원리를 설명하고 비결정 모델의 표현 방법을 제안한다 또한 교정 제어기 존재 조건을 표현하기 위해서 비동기 순차 머신과 비결정적 모델에 대한 도달가능성을 분석하고 예제를 통해서 분석 방법을 검증한다.

• 전자공학회논문지SC
• /
• 제45권4호
• /
• pp.11-19
• /
• 2008

본 논문에서는 비동기 순차 머신의 교정 제어 문제를 다룬다. 교정 제어는 머신의 동작을 주어진 모델의 동작과 일치시키도록 하는 모델 매칭을 실현하는 제어를 말한다. 본 논문의 주요 목적은 비동기 순차 머신이 추종해야 하는 모델의 형태가 비결정적일 때, 즉 여러 개의 결정적 모델의 합으로 주어질 때 교정 제어기를 설계하는 일이다. 본 논문에서는 이전 논문에서 정의된 비결정 모델의 표현 방법 및 비결정 모델에 대한 모델 매칭 문제 정의를 요약한다. 도달가능성 행렬을 이용하여 교정 제어기가 존재할 필요충분조건을 제시하고 제어기가 존재할 경우 그 설계 과정을 기술한다. 또 예제를 통해서 제어기 설계의 적용 가능성을 검증한다.

• Physical Therapy Rehabilitation Science
• /
• 제5권4호
• /
• pp.185-192
• /
• 2016

Objective: The purpose of this study was to find the limited patterns of middle-aged women in selective functional movement evaluation and analyze the effects of pattern improvement exercises and general control groups on the Health Risk Appraisal (HRA). Design: Randomized controlled trial. Methods: The 31 subjects were physically healthy middle-aged women aged 40-59 living in Seoul, The subjects were randomly divided into an experimental group and a control group. Forty-three physically healthy women were originally recruited and randomly assigned to either the experimental group (n=22) or the control group (n=21). However, due to lack of participation, a total of seventeen subjects in the exercise group and fourteen subjects in the control group participated in the study. All subjects were tested using Selective Functional Movement Assessment (SFMA) and HRA for the baseline measurement and joined an exercise program of their group for one hour per session, twice a week for four weeks. The experimental group was provided with the corrective exercises and the control group was given the general fitness program. A follow-up test was conducted after eight weeks from the baseline measurement. Results: Both experimental and control group showed significant changes in SFMA and HRA scores (p<0.05). In the experimental group and control groups, the SFMA and HRA showed significant improvement from baseline to 4 weeks (p<0.05). Also, in the experimental group, the SFMA was significantly improved from baseline to 8 weeks (p<0.05). For the experimental group, there was a significant improvement in SFMA after 4 weeks compared to the control group (p<0.05). Conclusions: The corrective exercise in the experimental group had a positive effect on the SFMA score as well as the general squat exercise in the control group. The corrective exercise and general control group had the same positive effect on the HRA score.

• 전기학회논문지
• /
• 제58권12호
• /
• pp.2484-2491
• /
• 2009

This paper proposes robust state feedback control of asynchronous sequential machines with model uncertainty. The considered asynchronous machine is deterministic, but its state transition function is partially known before executing a control process. The main objective is to derive the existence condition for a corrective controller for which the behavior of the closed-loop system can match a prescribed model in spite of uncertain transitions. The proposed control scheme also has learning ability. The controller perceives true state transitions as it undergoes corrective actions and reflects the learned knowledge in the next step. An adaptation is made such that the controller can have the minimum number of state transitions to realize a model matching procedure. To demonstrate control construction and execution, a VHDL and FPGA implementation of the proposed control scheme is presented.

• 제어로봇시스템학회논문지
• /
• 제17권11호
• /
• pp.1125-1131
• /
• 2011

This paper presents a control theoretic approach to realizing fault tolerance in asynchronous sequential circuits. The considered asynchronous circuit is assumed to work in space environment and is subject to faults caused by total ionizing dose (TID) effects. In our setting, TID effects cause permanent changes in state transition characteristics of the asynchronous circuit. Under a certain condition of reachability redundancy, it is possible to design a corrective controller so that the closed-loop system can maintain the normal behavior despite occurrences of TID faults. As a case study, the proposed control scheme is applied to an asynchronous arbiter implemented in FPGA.