• 한국철도학회논문집
• /
• 제5권4호
• /
• pp.253-259
• /
• 2002

This paper presents the first simulation model using EMTDC program to analyze the electrified train voltage distribution characteristics in ac auto-transformer fed railroads. In general, all of the electrified train supply system has the characteristics that the train supply line is a naturally non-symmetrical and unbalanced system. Also, it is needed to model the Scott transformer which invert the balanced 3-phase quantity into 2-phase. Therefore, the general simulation methodology using previous simplified equivalent circuit or RMS based program can't obtain the accurate results to reflect the real-time operation because these methodology is basically assumed on completely 3-phase balanced system. To overcome these defects, in this paper, the EMTDC simulation model to analysis the completely electrified railroad system with Scott transformer and AC auto-transformer is presented. Also, the correctness of EMTDC modeling is confirmed by the old basic concepts and we think that this EMTDC model has the future powerful capability for application of railroad system analysis.

• Interaction and multiscale mechanics
• /
• 제5권2호
• /
• pp.145-155
• /
• 2012

The thin-plate structure and the box-beam structure are two typical welded structures in railway vehicles. Because of their structure complexity, bigger size and multi-seams, welding residual distortion which occur in welding process bring unfavorable effect on the quality of welding products manufacturing and service. As a result, welding distortion forecasting and control become an important and urgent research topic in railway vehicles. In this paper, three different numerical methods are presented corresponding to three typical types of welded structures of railway vehicles and welding deformation are simulated. Consistence of numerical results and experimental data proves the correctness of models and feasibility of simulation methods.

• 인터넷정보학회논문지
• /
• 제10권6호
• /
• pp.191-203
• /
• 2009

시뮬레이션은 어떤 문제를 모의적으로 실험하여 그 특성을 파악하는 작업이다. 시뮬레이션 과정에서는 시뮬레이션 모델, 알고리즘, 입출력 데이터의 교체 및 변경이 빈번하게 발생한다. 특히 알고리즘의 교체를 통한 시뮬레이션 작업의 경우 알고리즘을 구현한 컴포넌트가 교체될 때 기능적으로 정확하게 동작하지 않는다면 시뮬레이션 작업을 성공적으로 수행하기 어렵다. 이 논문에서는 소프트웨어 기반 위성항법 시뮬레이션 환경에서 교체될 컴포넌트가 기능적으로 정확하게 구현되어 있는지를 검증하기 위한 테스트 프레임워크를 제안한다. 이 프레임워크는 컴포넌트가 교체되는 시점에서 교체되는 컴포넌트의 상황에 맞게 기능 테스트를 수행할 수 있게 해준다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권10호
• /
• pp.3361-3377
• /
• 2014

Synchronous computing models provided by real-time synchrony protocols, such as TTA [1] and PALS [2], greatly simplify the design, implementation, and verification of real-time distributed systems. However, their application to real systems has been limited since their assumptions on underlying systems are hard to satisfy. In particular, most previous real-time synchrony protocols hypothesize the existence of underlying fault tolerant real-time networks. This, however, might not be true in most soft real-time applications. In this paper, we propose a practical approach to a synchrony protocol, called Quality-Aware PALS (qPALS), which provides the benefits of a synchronous computing model in environments where no fault-tolerant real-time network is available. qPALS supports two flexible global synchronization protocols: one tailored for the performance and the other for the correctness of synchronization. Hence, applications can make a negotiation flexibly between performance and correctness. In qPALS, the Quality-of-Service (QoS) on synchronization and consistency is specified in a probabilistic manner, and the specified QoS is supported under dynamic and unpredictable network environments via a control-theoretic approach. Our simulation results show that qPALS supports highly reliable synchronization for critical events while still supporting the efficiency and performance even when the underlying network is not stable.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 춘계학술대회논문집
• /
• pp.253-258
• /
• 2002

This paper proposes a methodology for development of protocol models. The methodology attempts to employ two modeling environments in models development, NS2 and DEVSim++, which will interoperate during simulation. NS2 is a widely used network simulator in protocol research, which employs an informal modeling approach. Within the approach time and state information of protocol models are not explicitly described, thus being hard to validate model. On the other hand the DEVS formalism is a mathematical framework for modeling a discrete event system in a hierarchical, modular manner. In DEVS, model's time and state information is described explicitly, By using DEVS formalism, models can easily be validated and errors in the modeling stage can be reduced. However, the DEVS simulator, DEVSim++, supports a small amount of models library which are required to build simulation models of general communication network. Although NS2 employs an informal modeling approach and models validation is difficult, it supports abundant models library validated by experimental users. Thus, combination of DEVS models and NS2 models may be an effective solution for network modeling. Such combination requires interoperation between DEVSim++ simulator and NS2 simulator. This paper develops an environment for such interoperation. Correctness and effectiveness of the implemented interoperation environment have been validated by simulation of UDP and TCP models.

• Journal of Power Electronics
• /
• 제14권6호
• /
• pp.1217-1223
• /
• 2014

A novel half load-cycle worked dual input single output (DISO) DC/AC inverter is presented. The basic circuit consists of a dual buck regulator, which works in continuous current mode. The working principle of DISO DC/AC inverter has been used. The control method applied for half load-cycle worked DISO DC/AC inverter has been studied. The control effects of the open-loop proportional control and closed-loop proportional-integral control are compared by using PSIM software. The parameters are adopted in the realistic simulation and experiment test. Moreover, the waveforms, such as voltage of modulation reference signal and output voltage, were given. The simulation and experiment results proved that the half load-cycle worked DISO DC/AC inverter could achieve good performance, gain a line frequency of 50 Hz, and verify the correctness of theoretical analysis.

• 한국전자통신학회논문지
• /
• 제12권1호
• /
• pp.61-68
• /
• 2017

본 논문에서는 민간용으로 사용되는 GPS 시스템의 C/A 부호(Coarse Acquisition Code)를 연구, 모의실험하고, 분석하였다. 모의실험은 Matlab을 사용하였다. 실제의 GPS 신호를 해석하는 문제를 모의실험을 한 결과, 이 부호 문제의 융통성과 정확성을 확인할 수 있었다. 이의 방법의 응용으로 위성신호를 정확하게 추적할 수 있게 할 수 있고, 위성수신기의 성능을 향상시키는데 도움이 될 것이다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.503-509
• /
• 2004

With modem computational fluid dynamics method (CFD), air-charging models of the air brake pipe system and auxiliary reservoir are built. Compared with one-dimension model, no empirical formula is introduced to solve branch pipe fields for two-dimension model. A modified operator-splitting method is presented to solve the coupled equations of pressure and velocity, and numerical simulation shows that it is very stable. Compare the numerical results with empirical data of heavy haul trains in home and abroad so as to prove the correctness of the theory and algorithm presented. This paper gives theoretic reference to the experiments of braking effects of heavy haul trains, and forms a basis for development of complete freight train air brake system simulation.

• 한국통신학회논문지
• /
• 제29권4C호
• /
• pp.441-447
• /
• 2004

최근 정보보안에 대한 관심이 고조되면서 사이버 침입 및 방어 연구를 위한 정보보호 시뮬레이터 개발이 요구 되고 있다. 지금까지 정보보호 시뮬레이션은 소규모 네트워크의 보안도 평가나 정보보호 시스템의 성능 평가가 주목적이었다. 하지만 최근에 대규모 네트워크를 대상으로 하는 사이버 테러가 자주 발생함에 따라 대규모 네트워크의 시뮬레이션이 가능한 시뮬레이터가 필요하게 되었다. 이에 본 논문에서는 실세계의 인터넷 망과 유사한 대규모 네트워크를 구성하고 그 위에서 사이버 침입 시나리오를 수행하는 시뮬레이터의 설계 및 구현 방법을 제안하고 있다. 제안한 네트워크 방어 시물레이터는 SSFNet 프로그램을 기반으로 클라이언트-서버 구조로 구현되었다. 사이버 침입 시나리오는 수행 순서를 표시할 수 있는 개선된 공격 트리 모델을 이용하여 표현하였고 시뮬레이션 수행과정을 시각적으로 보여주기 위하여 그래픽 사용자 인터제이스를 제공하였다. 또한 네트워크 방어 시뮬레이터의 유효성을 살펴보기 위해 시뮬레이션 수행 결과를 분석하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.443-450
• /
• 2009

시스템 개발 초기 단계에 시스템의 기능적 요구사항이 제대로 반영되었는지를 검사하기 위해 시뮬레이션 기법을 이용한다. 일반적으로 시뮬레이션은 순차도에 나타난 추상적 시나리오를 바탕으로 상태머신을 직접 또는 랜덤으로 수행하는 행태로 진행된다. 시뮬레이션은 분석자가 직접 수행해야 하므로 많은 시간과 노력이 소요된다. 이 논문에서는 순차도 기반의 상태 머신의 시뮬레이션의 자동화 기법을 제공한다. 일반적으로 순차도와 상태머신의 추상화 레벨이 달라서 순차도에서 상세 시뮬레이션 트레이스를 추출하기가 쉽지 않다. 이 연구에서는 상태 머신을 LTS 모델로 변환하여 합성적 분석, 트랜지션 축약 등의 분석 방법을 적용하여 순차도와 동일한 추상화 레벨로 변환한 다음, 시나리오 포함여부를 검사한 후 해당 시나리오의 상세 시뮬레이션 트레이스를 생성한다. 이러한 시뮬레이션 트레이스는 순차도에 기술된 시나리오를 기반으로 시뮬레이션을 자동으로 수행할 뿐만 아니라, 특정 시스템 상태까지 자동 시뮬레이션할 수 있으므로 시뮬레이션을 효율적으로 진행할 수 있다.