• Proceedings of the KIEE Conference
• /
• 2004.07d
• /
• pp.2224-2226
• /
• 2004

현재 ATM 망의 ABR 소스에서 불확실한 시간지연에 대한 이산시 모델에 대해, 많은 연구가 진행되고 있다. 이 모델들은 각각의 소스에서의 대역폭(Bandwidth)을 일정하게 보고 있지만, 현실적으로 소스의 네트워크 상황에 따라 각기 할당되는 대역폭은 큰 차이가 있다. 각기 다른 대역폭을 고려할 때 ABR 스위치 모델은 특이 섭동 구조를 갖는다. 본 연구에서는 대역폭 차에 따른 ABR 스위치에서의 특이 섭동 모델을 제안하고 ABR 스위치에서의 체증을 해결하기 위해 합성제어 기법을 이용한 이산시 최적 제어기를 설계한다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1781-1782
• /
• 2008

본 논문은 시간 지연을 가지는 이산 시간 비선형 상호 결합 시스템의 분산 퍼지 출력 궤환 제어기의 설계에 대해 연구한다. T-S(Takagi-Sugeno) 퍼지 모델 기법을 이용하여 퍼지 상호 결합 시스템을 구한다. 이를 바탕으로 분산 퍼지 출력 궤환 제어기를 설계하고, 폐루프 시스템의 안정도 충분 조건을 선형 행렬 부등식 (LMI)의 형태로 나타낸다. 설계된 이득값을 통하여 상호 결합 시스템이 안정화됨을 모의실험을 통하여 보인다.

• Journal of the Korea Society for Simulation
• /
• v.21 no.4
• /
• pp.35-46
• /
• 2012

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

• Journal of the Korea Society for Simulation
• /
• v.27 no.2
• /
• pp.61-69
• /
• 2018

As the technology of information and communication has developed over recent years, an embedded system is applied in multiple industries and becomes more complicated. For this reason, embedded system development cost and time are also increased. For decreasing the cost and time, this paper suggests requirement evaluation method for concurrent development of an embedded system based on Discrete Event System(DEVS) Formalism. This paper proposes a method of describing the requirements specification in the form of DEVS atomic model. Also, the paper proposes the evaluator model that compares evaluation target system and the requirements model that is an implementation of requirement specification and proposes the evaluation method using them. In addition, we propose a method to utilize the requirement model created for requirements evaluation in the concurrent development process of the embedded system. As the case study, this paper proceeds requirement evaluation of Kinect depth data processing system.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2000.11a
• /
• pp.263-266
• /
• 2000

본 논문에서는 복잡한 카오스 신호를 발생시키는 HVPM(hyperchaotic volume preserving maps) 모델과 HVPM 모델의 구현회로를 제안한다. 랜덤한 카오스 신호를 발생시키기 위하여 3차원 이산시간(discrete-time) 연산과 비선형 사상(maps)으로 모듈러(modulus) 함수를 이용하여 하이퍼카오스 신호를 발생시킨다. 그리고 HVPM 모델은 여러 가지 시스템 파라미터들을 변화시키면 다양한 카오스 신호를 발생시킬 수 있으며, 출력되는 카오스 신호는 비주기성을 갖게 된다. 이러한 특징을 갖는 HVPM 모델의 회로 구현을 위하여 2단 N형의 함수를 CMOS와 선형 연산증폭기 및 비교기를 이용하여 보드상에서 구현하여, 다양한 하이퍼카오스 신호를 확인할 수 있었다.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.91-99
• /
• 2018

Discrete event simulation environments often need to be modified because additional questions to systems may become apparent while observing the simulation results repeatedly. It leads to increasing development budget and depreciating the effectiveness of the environment. To avoid the modifications and to generate the altered results, this paper applies an Event Control Model (ECM) with control functions that modulate, delete and generate the events at the simulation time. In addition, this paper suggests an easier approach for domain-users, who do not want to program at source code level, by using ECM templates. The simulators with the ECMs can have better extensibility because it becomes more adaptable to possibly unanticipated changes. It prevents increasing development costs due to modifications or development of new models by M&S experts, and it provides a new alternative step to domain users. To support the effectiveness of this approach, this paper describes a relevant example, which is composed of an initial simulation model based on our empirical studies. It will show that there exist the uncountable benefits because the existing simulator is reused by domain users without new projects.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1852-1853
• /
• 2011

본 논문은 AWS형 파력 발전 시스템의 제어를 위한 선형시스템에 대한 디지털 재설계 기법을 연구한다. 먼저 연속시간 선형 시스템의 연속시간 제어기와 이산시간 제어기를 구하고, 이를 선형 시스템에 대입하여 폐루프 시스템을 구한다. 구해진 각각의 폐루프 시스템에 대한 이산화 모델을 구하고, 이들의 상태 접합 및 안정도 분석을 선형 행렬 부등식 형태로 나타낸다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.1-5
• /
• 2000

하이브리드 시스템의 행동 표현을 각각의 시스템에 적합한 모델링 형식론으로 표현하면, 각각의 모델이 지니고 있는 정확도를 유지할 수 있고, 수행속도를 증가시키는 이점을 가지게 된다. 하이브리드 시스템을 모델링 하는 과정에서 시간 진행에 따른 수행 의미의 고찰은 모델링 방법에 중요한 영향을 끼칠 수 있다. 본 논문에서는 이산 사건 시스템과 연속 시간 시스템간의 입출력 교환을 위해서, 사건을 연속 입력으로 변환하고, 연속 출력을 사건으로 변환하는 인터페이스를 표현하는 형식론을 정의하고, 시뮬레이션의 시간 진행에 따른 종속 관계 방법과 독립 관계 방법을 모두 수행할 수 있는 알고리즘을 제안한다. 이 때, 이산 사건 시스템은 DEVS 형식론에 기반한 알고리즘으로 수행하고, 연속 시스템을 미분방정식의 산술적 누적 알고리즘에 따라 수행하는 통합 환경을 구축하며, 이를 바탕으로 두 미사일의 격추 예제를 수행하여 전쟁 시뮬레이션 분야에 적용가능성을 확인한다.

• Proceedings of the KIEE Conference
• /
• 1997.07c
• /
• pp.878-879
• /
• 1997

본 논문에서는 전자기 과도현상 해석을 위한 다단자 회로망 등가표현법을 제안한다. 이 방법은 M개의 경계모선을 가진 축약대상 계통의 과도특성을 시간 영역에서 분석하며 이를 이용해 M 개의 노톤형 이산시간 등가 어드미턴스 필터꼴의 등가시스템을 구현한다. 이 때 각각의 등가 어드미턴스 필터 모델들은 해당 경계모선에서의 구동점 어드미턴스 특성을 나타내는 부분과 나머지 M-1 개의 등가 종속전류원으로 구성된다. 또한 이 등가 종속전류원들은 각 경계모선을 연결하는 분포정수 회로요소들로 인한 시지연 효과를 명확하게 반영할 수 있는 구조를 갖는다. 완성된 M 단자쌍 모델을 해석대상 시스템에 대한 이산시간 표현형과 쉽게 결합하여 원하는 전자기 과도현상 모의해석을 수행할 수 있다. 축약대상 시스템과 2 개의 경계모선을 통해 연결된 시험계통을 대상으로 모선지락 사고시 과전압과 스위칭 써지를 모의해석한 결과 제안하는 방법이 타당함을 확인할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.427-429
• /
• 2002

본 논문에서는 Marching Cubes(MC)의 알고리즘을 이용하여 3차원 모델을 빠르게 복원하기 위한 방법을 제안한다. MC 알고리즘은 대용량의 데이터를 복원하기 때문에 많은 수의 복셀로부터 등가면을 추출하는데 오랜 시간이 걸린다. 또한 많은 수의 삼각형 패치 생성은 빠른 렌더링을 수행할 수 없다는 단점이 있다. 본 논문에서는 등가면 추출 및 형성시간을 단축하고 형성된 등가면을 통한하는 과정을 동해 실행시간과 렌더링 시간을 단축할 수 있는 방법을 제안함으로써 MC의 문제점을 해결한다.