• Electric Engineers Magazine
• /
• s.166
• /
• pp.45-51
• /
• 1996

• Electric Engineers Magazine
• /
• s.164
• /
• pp.51-55
• /
• 1996

• Electric Engineers Magazine
• /
• v.173 no.1
• /
• pp.47-54
• /
• 1997

• Electric Engineers Magazine
• /
• s.162
• /
• pp.45-50
• /
• 1996

• Electric Engineers Magazine
• /
• s.171
• /
• pp.52-58
• /
• 1996

• KIISE Transactions on Computing Practices
• /
• v.22 no.1
• /
• pp.32-37
• /
• 2016

In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.25 no.2
• /
• pp.139-146
• /
• 2015

This paper presents the solution to model matching of switched asynchronous sequential machines by corrective control. We propose a model of switched asynchronous sequential machines, in which the system can have different dynamics of asynchronous machines governed by a pre-determined sequence of switching. The control objective is to derive a corrective control law so that the stable state behavior of the closed-loop system can match that of a prescribed model. A new skeleton matrix is defined to represent the reachability of the switched asynchronous machine, and a novel control scheme is presented that interweaves the switching signal and the corrective control procedure. A design algorithm for the proposed controller is illustrated in a case study.

• Proceedings of the KIPE Conference
• /
• 2014.11a
• /
• pp.23-24
• /
• 2014

본 논문은 전압원 인버터를 모델 예측 제어 (Model Predictive Control)를 하는데 있어 스위칭 손실을 줄이기 위한 제로 벡터 (zero-vector) 선택 방법을 제안한다. 기존의 전압원 인버터의 모델 예측 제어는 제로 벡터의 중복을 선택하는 방법이 제시되지 않아, 이에 대한 연구가 필요하다. 본 논문에서는 제로 벡터의 중복을 선택하는 방법으로 스위칭 손실을 줄이기 위한 제로 시퀀스 전압을 생성하고, 생성된 제로 시퀀스 전압의 부호를 통해 제로 벡터의 중복을 선택하였다. 따라서 전류의 품질은 그대로 유지시키는 동시에 스위칭 손실을 감소시킬 수 있다. 이를 시뮬레이션으로 검증하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.523-526
• /
• 2008

소프트웨어 버스마크는 클래스나 바이너리를 대상으로 고유한 특징을 추출하여 유사도를 비교하는 방법이다. 본 논문에서는 자바의 제어 흐름을 고려한 API k-gram 버스마크 기법을 제안한다. 이 기법은 다른 것으로 대체하기 어려운 자바 표준 API 호출에 대한 시퀀스를 k-gram으로 사용했기 때문에 신뢰도가 높고, 제어 흐름을 반영하여 시퀀스를 추출하기 때문에 난독화에 강하다는 장점이 있다. 본 논문에서 제안하는 버스마크를 기법을 평가하기 위해서 신뢰도와 강인도에 대한 실험을 한 결과 기존의 버스마크보다 신뢰도와 강인도가 우수한 버스마크임을 확인하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1986.10a
• /
• pp.178-180
• /
• 1986

본 연구에서는 산업용 팩키지 보일러의 최적한 연소제어를 위하여 O/sub 2/ 제어기의 구성 및 PID제어 알고리즘을 도입하고 그것에 따른 하드웨어 및 소프트웨어를 고찰하였으며 그 결과 하드와이어드 논리제어기나 기존의 PC보다 분산제어의 효율적 처리가 가능하였다. BD/Micro PC 시스템에서 시퀀스 제어를 필요로하는 기능은 BD PC가, 아날로그 시스템을 다루는 PID 제어같은 기능은 .mu.C가 담당함으로서 제어범위가 넓어져 각종의 연산기능확대, BD PC와 .mu.C와의 데이터 링크, 그리고 고장진단등의 기능이 추가되었다.