• 전기의세계
• /
• v.31 no.10
• /
• pp.689-697
• /
• 1982

본고에서는 E. I. Jury가 미국기계학회의 100주년 기념강연회에서 강연하였던 내용을 주로하여 이산시스템이 발달되어 온 역사적 고찰과 연속시스템에 큰 역할을 하고 있는 이산이론 (discrete theory)을 소개하고, 그리고 연속이론과 이산이론과의 관계, 이산시스템의 기술향상, 및 이산시스템이론의 최근동향등의 전경향을 간단히 소개하고자 한다.

• ICROS
• /
• v.6 no.3
• /
• pp.68-81
• /
• 2000

본 논문에서는 최근 10여년간 세계적으로 많은 관심과 더불어 비약적인 연구발전을 이루어 온 이산사건시스템의 관리제어에 있어서 기본적인 이산사건모델링과 관리제어이론을 설명하고최근의 연구동향 등을 소개한다. 또한 기존의 연속변수시스템과 대비해 이산사건시스템의 동적특성을 알아보고 구체적인 사례들을 살펴본다. 이러한 이산사건시스템의 동적특성을 기술하기 위해 형식언어이론에 기초한 논리적 이산사건모델을 소개하고 그 위에서 관리제어이론의 개념을 설명하나다 그리고 제어가능성 및 관측가능성의 관리제어기 존재조건을 토대로 관리제어기의 구현에 대해 알아본다 마지막으로 현재까지 수행되어온 관리제어에 대한 다방변의 연구 활동을 살펴보고 앞으로의 연구방향을 전만해 본다

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.237-241
• /
• 1999

본 논문은 이산사건 시스템 모델링에 관계대수를 이용함으로써 이산사건 시스템 모델을 시뮬레이션 할 때 data consistency를 보장하는 방법을 다룬다. 복잡한 이산사건 시스템은 모델링 및 분석에 형식론적인 프레임웍이 필요하며 모델의 추상화와 재사용이 용이한 DEVS형식론이 널리 사용되고 있다. 본 논문에서는 DEVS 형식론으로 기술된 모델을 정보의 손상 없이 관계대수형 모델로 변환하여 관계대수형 이산사건 모델로써 이용하는 방법론을 제시한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.132-136
• /
• 2001

본 논문은 이산 점 자극들을 불연속적인 형태로 배치할 때 나타나는 연속성을 인식하기 위한 시스템을 제안한다. 제안된 시스템은 시각 신경계의 특징 추출 과정을 근거로 한다. 일련의 이산점 자극들이 배열의 형태로 주어질 때 이들은 개별 점으로 인식하기보다 어떤 형태를 가진 선이나 윤곽들로 인식된다. 우리는 이산 점 자극의 이러한 연속성 문제를 인식하기 위해 실험에서는 거리가 다른 여러 개의 점들을 일정한 간격을 갖는 형태로 배치한 후 이를 인식하는 시스템을 제시한다. 이산 점 자극에서 연속성을 인식하는 문제는 기초 시파 실험과 관련된 문제로서 일종의 시각적 착시이다. 실험 결과에서는 이산 점 자극에서 연속성을 갖는 윤곽을 획득함으로서 제안된 시스템의 타당성을 확인한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.10a
• /
• pp.485-491
• /
• 1998

이산사건 시스템은 시간의 이산순간에 상태변화가 발생하는 시스템으로서 공정제어, Robotics, 교통시스템, Flexible Manufacturing System, 통신등 많은 분야의 시스템이 이산사건 시스템들이지만 아직도 포괄적이고 융통성 있는 제어이론이 연구되지 않았다. 본 연구는 특히 Real-Time Temporal Logic Framework(RTTL)에서 비결정적으로 발생되어지는 확정적인 사건들로써 유발되어지는 비결정적 이산사건 시스템의 모델링 방법을 제시하였다. 이 방법을 두 개의 machine들로 구성된 Flexible Manufacturing System(FMS)에 적용하여 설명하였다. 이 방법은 복잡한 이산사건 시스템의 모델링을 모듈화하여 간편하게 표현 할 수 있는 우수한 특성을 가지고 있다.

• ICROS
• /
• v.6 no.5
• /
• pp.54-63
• /
• 2000

본 논문에서는 모델 불확정성을 가진 이산사건시스템의 강인 관리제어이론에 대해 알아본다. 지금까지 연구된 불확정성 이산사건시스템은 크게 두 부류로 구분된다. 첫째는 다중 모델의 집합으로 표현되는 불확정성 시스템으로서 제어 대상이 되는 시스템의 동적 특성이 몇 가지의 가능한 이산사건 모델들의 집합으로 기술되는 시스템이다. 두 번째는 비결정성 시스템으로서 시스템의 한 상태에서 하나의 동일 사건발생에 의해 천이되는 상태가 두가지 이상이 존재하여 상태천이에 있어 불확정성이 존재하는 시스템이다. 본 논문에서는 두가지 형태의 불확정성 이산사건 시스템들에 대한 강인 관리제어기 설계문제에 대해 살펴보고, 강인 관리 제어 이론에 대한 최근의 연구동향과 발전 방향에 대해 소개한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.6
• /
• pp.792-797
• /
• 2011

This paper discusses the application of a hybrid discretiziation method for the discretization procedure that needs to be included in discrete particle swarm optimization (DPSO) for the problem of allocating PV (photovoltaic) systems onto distribution power systems. For this purpose, this paper proposes a rule-based expert system considering the objective function value and its optimizing speed as the input parameters and applied it to the PV allocation problem including discrete decision variables. For multi-level discretization, this paper adopts a hybrid method combined with a simple rounding and sigmoid funtion based 3-step and 5-step quantization methods, and the application of the rule based expert system proposing the adequate discretization method at each PSO iteration so that the DPSO with the hybrid discretization can provide better performance than the previous DPSO.

• Review of KIISC
• /
• v.9 no.1
• /
• pp.43-68
• /
• 1999

본 고에서는 이산대수 문제의 어려움에 바탕을 둔 암호 프로토콜의 안전성에 영향을 미치는 여러 가지 요소들에 대하여 고찰하였다. 본 고의 내용은 크게 두 가지로 요약할 수 있다. 첫째 이산대수 문제를 계산하는 알고리즘들을 살펴본 후, 이 알고리즘들이 암호 프로토콜에 어떻게 영향을 미치는가에 대해서 시스템 파라미터를 기준으로 살펴보았고, 둘째 프로토콜 자체의 문제점에 대해 분석하였다. 따라서 본 논문은 이산대수 문제에 기반을 둔 암호 시스템의 전반적인 이해와 안정성분석 및 시스템 설계에 도움을 줄 수 있으리라 기대된다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.22 no.1
• /
• pp.23-32
• /
• 2017

In this paper, We suggest a unified approach for the analysis of discrete-time MAP/G/1 queueing system. Many researches on the D-MAP/G/1 queue have been used different approach to analyze system queue length and waiting time for the same system. Therefore, a unified framework for analyzing a system is necessary from a viewpoint of system design and management. We first derived steady-state workload distribution, and then waiting time and sojourn time are derived by the result of workload analysis. Finally, system queue length distribution is derived with generating function from the sojourn time distribution.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.11a
• /
• pp.159-164
• /
• 2005

UAV(Unmanned Air Vehicle) 시스템은 새로운 알고리즘과 소프트웨어 디자인에 바탕을 두고 빠르게 발전하고 있다. 그러나, 일반적으로 쓰이고 있는 전자공학적인 제어 시스템은 개발의 복잡성과 그에 따른 이용증대에 대한 문제점을 가지고 있다. 이에 본 논문에서는 연속시간 시스템으로 표현되는 비행기 모델과 이의 효과적인 제어를 위해 이산사건 시스템으로 표현되는 조종사 모델간의 연동을 제안한다. 전자공학적 모델인 연속시스템은 자세한 표현력을 바탕으로 정량적이고 정확한 비행기 모델을 표현할 수 있으며 제어 모델인 이산사건 시스템은 각 사건과 시스템의 상태에 따른 정성적인 행동제어를 가능하게 한다. 본 연구는 한국항공대학교에서 개발한 이산사건 시뮬레이터인 DEJAVA(DEVS Java)와 연속시간시뮬레이터인 MATLAB 시뮬레이터 환경을 바탕으로, NASA에서 개발된 HL2O 비행시뮬레이터와 조종사 모델을 위한 지능제어시스템 개념을 사용하여 구현되었다.