• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.48 no.5
• /
• pp.52-58
• /
• 2011

The missile control system is comprised of various control systems such as autopilot, guidance law, and homing filter and so on. To design these guidance and control system, the optimization technique is widely applied at each developing stage. However, this kind of optimization requires lots of time and cost and moreover, this approach does not give an overall system optimization result. In this paper, to use the optimization tool for control system design, the optimal problem formulation is done and the performance index and constraints are considered. And finally the systematically optimized method is proposed.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

• KIISE Transactions on Computing Practices
• /
• v.21 no.2
• /
• pp.132-137
• /
• 2015

A real-time system is a system wherein the behavior of the system depends not only on the input but also on the timing of the input. Timed automata is a widely used model for real-time system modeling and analysis. Model-based testing is employed to check whether the system under test (SUT) works according to the model specifications by using test cases generated from models that represent software requirements. In this paper, a case study was performed applying the timed automata based testing tools, UPPAAL-TRON, UPPAAL-COVER and SYMBOLRT, to the same system. Comparison of the testing approaches and tools is then made based on the results of the case study.

• Annual Conference on Human and Language Technology
• /
• 1993.10a
• /
• pp.341-353
• /
• 1993

기존의 한국어 형태소 해석 시스템들은 철자 변화형 어절에 대한 처리가 매우 효율적이지 못했다. 대개가 문제를 일으키는 형태소들의 변형들을 모두 사전에 등록하여 후처리 형태로 다루려 하거나, 각 형태/음운 규칙을 적용한 다음 거기에 대응하는 후보 단어들을 사전 검색을 통해 확인하는 방법들을 취하고 있다. 그러나 이러한 방법들은 과다한 사전 정보의 중복이나 계산의 중복으로 인하여 비효율적인 면을 많이 내포한다. 또한, 기존의 한국어 형태소 시스템들은 거의 모두가 형태소해석 엔진과 언어학적인 지식(특히, 철자 규칙과 형태소 배열 규칙)이 제대로 분리되지 않아 시스템 확장이 매우 어려웠다. 이 논문에서는, 철자 변화형 어절을 후처리에 의하지 않고, 사전 검색과 함께 하나의 오토마타에 의해 처리하면서, 형태소 해석시 발생하는 중복 계산을 최대한 배경하고, 또한 형태소 해석 엔진과 언어학적인 지식을 완전히 분리하여 시스템의 확장성을 한층 높인, 효율적인 한국어 형태소 해석 시스템 DDAG를 소개한다. 이 시스템의 주요 알고리즘의 계산적인 복잡도는 n이 입력 어절의 길이이고, m이 입력 어절을 이루고 있는 형태소의 최대 수라고 할 때 다음과 같이 분석된다: (1) 철자 변화의 처리와 사전 검색 부분의 계산적인 복잡도는 $O(n^2)$이고, (2) 형태소 배열 검사와 모든 가능한 결과를 출력해 내는 부분은 $O(2^m)$이다. 여기에서 m의 실질적인 값은 복잡한 한국어 용언의 경우 최대 8이다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.12 no.4
• /
• pp.323-326
• /
• 2002

In this paper, we consider Choquet integrals of interval number-valued functions(simply, interval number-valued Choquet integrals). Then, we prove convergence theorem for interval number-valued Choquet integrals with respect to an autocontinuous fuzzy measure.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.4
• /
• pp.311-314
• /
• 2001

Recently, research on Intelligent Information Process has actively been under way JD various areas and gradually extended to be adaptive to uncertain and complex dynamic environments. This paper presents a Multiple Valued Logic Automata(MVL-Automata) Model, utilizing properties of difference in a Multiple Valued Logic function. That is, MVL-Automata is able to be autonomously adapted to dynamic changing since an input stling is mapped to the value of a Multiple Valued Logic function and the property of difference in a Multiple Valued Logic function is applied to state transition. Therefore, Multiple Valued Logic Automata can be widely applied to the modeling dynamically of changing environments.

• Journal of the korean Society of Automotive Engineers
• /
• v.14 no.3
• /
• pp.115-125
• /
• 1992

혼합 대류 이상 유동 시스템에 부유된 슈트와 미분탄과 같은 고흡수, 방사하는 입자의 열확산적 입자이동에 대한 복사 및 부력효과를 수치적으로 검토하였다. 기체 및 입자유동의 지배방정식 들은 Euler 관점의 two-fluid model의 근간에서 수행되었으며, 에너지 보존식의 비선형 복사 생 성항은 P-1 근사방법에 의해 계산되었다. 혼합 대류 유동에서의 입자의 열확산 현상은 복사 열 전달과 커플링되며, 복사효과의 증가는 부력효과를 상대적으로 감소시켜 부력효과에 의한 입자 부착율을 완화시켰다. 복사효과가 무시될 때 Grashof 수의 증가에 따라 입자의 확산효과는 감 소되었으며, 복사효과가 함께 작용될 때 입자 부착율은 증가됨을 보였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.1496-1499
• /
• 1996

A nonlinear tracking control technique developed for the control of nonlinear systems has been applied to the autopilot design of missile system. The difficulties in the application of inversion based control methods such as input-output feedback linearization and sliding mode control due to nonminimum phase characteristics are discussed. To avoid the stability problem associated with unstable zero dynamics, the input-output feedback linearization is applied with output-redefinition method to normal acceleration control. The output-redefinition method gives an indirect way to apply the nonlinear controls to nonminimum phase plants by redefining the plant output such that the tracking control of the modified output ensures the asymptotic tracking of the original output. The numerical simulation shows satisfactory results both for nominal and for slightly perturbed missile systems adopting the sliding mode control technique. However, the robustness problem in this method is briefly investigated and verified with the simulation.

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.8
• /
• pp.633-638
• /
• 2002

We study how the missile autopilot with three loop acceleration structure is related to the aerodynamic characteristics. First, the relationships between the response characteristics of wingless-tail controlled missile and aerodynamics are derived. Next the maximum allowable performance limit of autopilot and the design direction for a missile shape are indicated using the property of zero. The method proposed in this paper may give a help to the missile autopilot system design and determination of the shape of aerodynamic. Also, the validity of proposed method is demonstrated via numerical example.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.04a
• /
• pp.261-264
• /
• 2004

컴퓨터 전략 시뮬레이션 게임 설계에서는 Master ADU(Artificial Decision Unit)의 전략 수립을 위한 방법으로 다양한 기법들이 연구되고 있다. 특히 한정된 자원 하에서 게임을 사실적이고 지적인 기능을 구현하기 위해 치팅(Cheating)을 활용하거나 간단한 인공지능 기법이 적용되고 있다. 하지만 이 기법들은 사용자 적응성 및 전략 수립의 단순성을 야기하는 단점을 가지고 있다. 본 연구에서는 전략 시뮬레이션 게임의 전략 수립 에이전트인 Master ADU(Artificial Decision Unit)를 위하여 셀룰라 오토마타의 초기 규칙 생성에 유전자 알고리즘의 교배 및 돌연변이, 적합도 평가를 거친 유전자 형을 적용한 혼합형 전략 수립 기법을 제안한다 이 기법은 ADU가 적합한 유전자 형을 생산 및 선택하여 사용자에 대해 적극적으로 학습할 수 있었다.