• 제목/요약/키워드: simulation correctness

검색결과 144건 처리시간 0.023초

RM 스케쥴링과 Lock-Free 공유개체에 의한 실시간 시뮬레이션 (The Real-Time Constructive Simulation With the RM scheduling and Lock-free Shared Objects)

  • 박현규
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 1998년도 추계종합학술대회 논문집
    • /
    • pp.519-522
    • /
    • 1998
  • The Constructive Battle simulation Model is very important to the recent military training for the substitution of the field training. However, real battlefield systems operate under rea-time conditions, they are inherently distributed, concurrent and dynamic. In order to reflect these properties by the computer-based simulation systems which represent real world processes, we have been developing constructive simulation model for several years. The constructive simulation system is one of the famous real-time system software, nd the one common feature of all real-time systems is defined as the correctness of the system depend not only on the logical result of computation, but also on the time at which the results are produced. Conventionally, scheduling and resource allocation activities which have timing constraints are major problem of real-time computing systems. To overcome these constraints, we elaborated on these issues and developed the simulation system on commercially available hardware and operating system with lock-free resource allocation scheme and rae monotonic scheduling.

  • PDF

자동차 제어 시스템의 실시간 성능 검증을 위한 효율적인 실시간 시뮬레이션 기법 (An Efficient Simulation Technique to Verify Real-time Performance of Vehicle Control Systems)

  • 김승곤;위경수;이창건;이경수
    • 제어로봇시스템학회논문지
    • /
    • 제21권3호
    • /
    • pp.187-193
    • /
    • 2015
  • When developing a vehicle control system, simulation methods are widely used to validate the whole system in the early development phase. With this regard, the simulator should correctly behave just like the real parts that are not yet implemented while interacting with already implemented parts in real-time. However, most simulators cannot provide functionally and temporally accurate behaviors of the target system. In order to overcome this limitation, this paper proposes a novel real-time simulation technique that can efficiently simulate the temporal behavior as well as the functional behavior of the simulation target system.

무선 센서 네트워크에서 데이터 수집의 효율성 및 정확성 향상을 위한 데이터 병합기법 (A Data Aggregation Scheme for Enhancing the Efficiency of Data Aggregation and Correctness in Wireless Sensor Networks)

  • 김현태;유태영;정규수;전영배;나인호
    • 한국지능시스템학회논문지
    • /
    • 제16권5호
    • /
    • pp.531-536
    • /
    • 2006
  • 센서 기술과 무선 통신 기술의 발달로 무선 센서 네트워크 환경에서 데이터 처리 중심의 미들웨어에 대한 연구가 크게 증가하고 있다. 무선 센서 네트워크에서 효율적인 데이터 처리와 신속한 전송을 위해 사용되는 미들웨어는 순간적인 데이터 밀집현상(burstness)으로 발생하는 중간 노드의 데이터 손실 문제를 해결하여야 하며, 이를 위해 폐기정책을 사용하거나 전송해야 할 데이터양을 최소화하는 압축 기법이 사용되고 있다. 그러나 폐기정책은 수집된 데이터의 정확성을 저하시키는 문제점이 있으며, 압축기법은 알고리즘 복잡도가 커서 추가적으로 프로세싱 오버헤드가 커지는 문제점을 지니고 있다. 본 논문에서는 계산 능력, 소비 전력 등 극히 한정된 자원만을 사용하여 데이터를 전달해야 하는 무선 센서 네트워크 환경에서 수집된 데이터의 효율성 및 정확성을 향상시킬 수 있는 Delta-Average 기법을 제시하였다. 제안된 기법을 통해 평균화 방식을 이용함으로써 순간적인 데이터 밀집현상으로부터 중복된 데이터에 대한 불필요한 전송을 방지하면서 정확성을 높이도록 하였다. 마지막으로 제안된 기법의 성능을 평가하기 위해 TinyDB에서 TOSSIM 시뮬레이션을 수행하였으며, 성능분석 결과를 통해 데이터 정확성이 향상되었음을 입증하였다.

CPS의 점진적인 개발 과정을 지원하는 실시간 시뮬레이션 프레임워크 (A Real-Time Simulation Framework for Incremental Development of Cyber-Physical Systems)

  • 한재화;위경수;이창건
    • 대한임베디드공학회논문지
    • /
    • 제7권6호
    • /
    • pp.311-321
    • /
    • 2012
  • When developing a CPS, since it is nature of CPS to interact with a physical system, CPS should be verified during its development process by real-time simulation supporting timely interactions between the simulator and existing implemented hardwares. Furthermore, when a part of a simulated system is implemented to real hardwares, i.e., incremental development, the simulator should aware changes of the simulated system and apply it automatically without manual description of the changes for effective development. For this, we suggest a real-time simulation framework including the concept of 'port' which abstracts communication details between the tasks, and a scheduling algorithm for guaranteeing 'real-time correctness' of the simulator.

SIMD 컴퓨터상에서 효율적인 병렬처리 논리 시뮬레이션 (Efficient Parallel Logic Simulation on SIMD Computers)

  • 정연모
    • 한국정보처리학회논문지
    • /
    • 제3권2호
    • /
    • pp.315-326
    • /
    • 1996
  • VLSI 회로의 복잡도 및 집적도가 증가함에 따라서 이들의 검증에 사용되는 논리 시뮬레이션을 위해서 시간이 많이걸린다. 본 논문에서는 SIMD 병렬처리 컴퓨터 상에서 빠른 논리 시뮬레이션 구현을 위한 병렬처리 기법, 자료구조, 알고리즘을 제시한다. 대표적인 병렬처리 컴퓨터인 CM-2상에서 수행한 결과를 제시하고 이를 분석하고자 한다.

  • PDF

자동변속기의 변속특성시뮬레이션을 위한 HILS시스템 개발 (A Development of Hardware-in-the-Loop Simulation System of Automatic Transmission for the Simulation of Shifting Characteristics)

  • 정규홍;이교일
    • 한국자동차공학회논문집
    • /
    • 제9권6호
    • /
    • pp.143-151
    • /
    • 2001
  • During the past several years, the major interests of car manufacturers in development of automatic transmission were in durability and shift quality. However, a large number of researches for improving shift quality that are based on dynamic characteristics of shifting mechanism have been rarely adopted in the developing process because it is quite difficult to predict the shifting performance from the dynamics simulation. One of the important reasons for the difference between simulation results and experiments arises from the automatic transmission hydraulic system that consists of many valves with high order model and shows a lot different dynamics to temperature variation. In this work, hardware-in-the-loop simulation system for automatic transmission was developed f3r improving the accuracy of simulated result by combining the real-time simulation model with the real hydraulic system. The real-time simulation for automatic transmission model excluding hydraulic system is executed with TI's TMS320C31 DSP and the interfacing board which includes 12bit A/D, PWM signal generator and driver, serial driver ,etc is designed for acquiring the simulation data and signal interface with hydraulic system. We verified the proper operation and correctness of shifting result by comparing the off-line simulation result with that of HILS and experimental result which was performed on transmission dynamometer driven by electric motor.

  • PDF

센서 네트워크에서 에너지 효율적 목표 추적 방법의 비교 (The Comparisons Between Energy Effective Target Tracking Methods in Wireless Sensor Network)

  • 오승현
    • 한국멀티미디어학회논문지
    • /
    • 제10권1호
    • /
    • pp.139-146
    • /
    • 2007
  • Wireless Sensor network를 이용하여 객체를 추적하는 방법에 대해 많은 연구가 진행되어 왔다. 본 연구는 객체 추적에 사용되는 방법에 따라 에너지의 양과 추적의 정확도 사이에 존재하는 상관관계를 관찰하고, 움직임 예측 방법에서 에너지 소비량을 최소화할 수 있음을 확인하였다. 추적에 사용되는 에너지는 센서노드가 객체를 감지하기 위해 소모하는 것이며, 추적의 정확도는 객체의 실제위치와 감지에 의해 계산된 위치의 차이이다. 몇 가지 추적방법과 파라미터의 조절에 따라 추적의 정확도와 소비되는 에너지의 양에 차이가 있고, 움직임 예측 알고리즘을 사용할 때 가장 좋은 에너지 효율을 얻을 수 있었다. 또한 가속도를 고려한 움직임 예측 알고리즘의 개선을 통해 더 나은 정확도와 에너지 효율을 기록하였다. 시뮬레이션 결과 움직임 예측 알고리즘에서 목표의 미래위치에 따라 노드를 활성화시키는 범위는 예측 알고리즘이 정확할 경우 센서 노드의 감지범위 정도로 제한하는 것이 유리함을 알 수 있었다.

  • PDF

분기 정보의 추측적 사용과 효율적 복구 기법 (Branch Prediction with Speculative History and Its Effective Recovery Method)

  • 곽종욱
    • 정보처리학회논문지A
    • /
    • 제15A권4호
    • /
    • pp.217-226
    • /
    • 2008
  • 분기 명령어에 대한 예측 정확도는 시스템의 전체 성능 향상에 중대한 영향을 미친다. 분기 정보의 추측적 사용은 미완료 분기에 대한 히스토리 정보를 추측적으로 사용하여 분기 예측을 수행한다. 이러한 방식은 분기 명령어의 가장 최근 기록을 일관되게 사용할 수 있도록 도와주기 때문에 분기 예측의 정확도 향상에 크게 기여한다. 하지만 미완료 분기 히스토리는 올바르지 못한 정보일 수 있으며, 이런 경우 적절한 복구기법이 필요하다. 이를 위해 본 논문에서는 분기 정보의 추측적 사용에 대한 성능 향상의 정도를 살피고, 분기 정보의 추측적 사용에 대한 필요성을 제시한다. 아울러, 분기 정보의 추측적 사용으로 인해 요구되는 적절한 복구 기법을 제안한다. 제안된 기법은 전역 분기 히스토리를 사용하는 분기 예측기와 지역 분기 히스토리를 사용하는 분기 예측기에 각각 적용 될 수 있는 방식들이다. 모의실험을 통해 본 논문에서 제안된 방식의 성능을 분석한 결과, 본 논문에서 제안된 기법이 최대 5.64%의 성능향상을 제공하였다. 아울러 프로그램 수행의 정확성을 해치지 않으면서 기존의 연구와 비교하여 90% 이상의 하드웨어 요구량의 감소를 가져왔다.

Multi-field Coupling Simulation and Experimental Study on Transformer Vibration Caused by DC Bias

  • Wang, Jingang;Gao, Can;Duan, Xu;Mao, Kai
    • Journal of Electrical Engineering and Technology
    • /
    • 제10권1호
    • /
    • pp.176-187
    • /
    • 2015
  • DC bias will cause abnormal vibration of transformers. Aiming at such a problem, transformer vibration affected by DC bias has been studied combined with transformer core and winding vibration mechanism use multi-physical field simulation software COMSOL in this paper. Furthermore the coupling model of electromagnetic-structural force field has been established, and the variation pattern of inner flux density, distribution of mechanical stress, tension and displacement were analyzed based on the coupling model. Finally, an experiment platform has been built up which was employed to verify the correctness of model.

전철 급전계통의 EMTDC 모델개발 (Development of EMTDC Model for Electrified Railroad Supply System)

  • 윤재영;최흥관;김종율
    • 대한전기학회논문지:전력기술부문A
    • /
    • 제51권12호
    • /
    • pp.624-629
    • /
    • 2002
  • This paper presents the first Simulation model using EMTDC program to analyze the electrified train voltage distribution characteristics in ac auto-transformer 1110 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.