• 제목/요약/키워드: worst-case analysis

검색결과 293건 처리시간 0.027초

RISC 프로세서를 대상으로 한 최악 실행시간 분석의 정확도에 대한 과예측 원인별 영향 분석 (Impact Analysis of Overestimation Sources on the Accuracy of the Worst Case Timing Analysis for RISC Processors)

  • 김성관;민상렬;하란;김종상
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제5권4호
    • /
    • pp.467-478
    • /
    • 1999
  • 실시간 태스크의 최악 실행시간을 예측할 때 과예측이 발생하는 원인은, 첫째 프로그램의 동적인 최악 실행 행태를 정적으로 분석하는 것이 근본적으로 어렵기 때문이며, 둘째 최근의 RISC 형태 프로세서에 포함되어 있는 파이프라인 실행 구조와 캐쉬 등이 그러한 정적 분석을 더욱 어렵게 만들기 때문이다. 그런데 기존의 연구에서는 각각의 과예측 원인을 해결하기 위한 방법에 대해서만 언급하고 있을 뿐 분석의 정확도에서 각 원인이 차지하는 비중에 대해서는 언급하고 있지 않다. 이에 본 연구에서는 최악 실행시간 예측시 과예측을 유발하는 원인들, 즉 분석 요소들의 영향을 정량적으로 조사함으로써 기존의 최악 실행시간 분석 기법들이 보완해야 할 방향을 제시하고자 한다. 본 연구에서는 실험이 특정 분석 기법에 의존하지 않도록 하기 위하여 시뮬레이션 방법에 기반한다. 이를 위해 분석 요소별 스위치가 포함된 MIPS R3000 프로세서를 위한 시뮬레이터를 구현하였는데, 각 스위치는 해당 분석 요소에 대한 분석의 정확도 수준을 결정한다. 모든 스위치 조합에 대해서 시뮬레이션을 반복 수행한 다음 분산 분석을 수행하여 어떤 분석 요소가 가장 큰 영향을 끼치는지 고찰한다.Abstract Existing analysis techniques for estimating the worst case execution time (WCET) of real-time tasks still suffer from significant overestimation due to two types of overestimation sources. First, it is unavoidably difficult to predict dynamic behavior of programs statically. Second, pipelined execution and caching found in recent RISC-style processors even more complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the timing analysis for the corresponding overestimation source. After repeating simulation for all of the switch combinations, we perform the variance analysis and study which factor has the largest impact on the accuracy of the predicted WCETs.

Thermal Analysis of MIRIS Space Observation Camera for Verification of Passive Cooling

  • Lee, Duk-Hang;Han, Won-Yong;Moon, Bong-Kon;Park, Young-Sik;Jeong, Woong-Seob;Park, Kwi-Jong;Lee, Dae-Hee;Pyo, Jeong-Hyun;Kim, Il-Joong;Kim, Min-Gyu;Matsumoto, Toshio
    • Journal of Astronomy and Space Sciences
    • /
    • 제29권3호
    • /
    • pp.305-313
    • /
    • 2012
  • We conducted thermal analyses and cooling tests of the space observation camera (SOC) of the multi-purpose infrared imaging system (MIRIS) to verify passive cooling. The thermal analyses were conducted with NX 7.0 TMG for two cases of attitude of the MIRIS: for the worst hot case and normal case. Through the thermal analyses of the flight model, it was found that even in the worst case the telescope could be cooled to less than $206^{\circ}K$. This is similar to the results of the passive cooling test (${\sim}200.2^{\circ}K$). For the normal attitude case of the analysis, on the other hand, the SOC telescope was cooled to about $160^{\circ}K$ in 10 days. Based on the results of these analyses and the test, it was determined that the telescope of the MIRIS SOC could be successfully cooled to below $200^{\circ}K$ with passive cooling. The SOC is, therefore, expected to have optimal performance under cooled conditions in orbit.

R-CORE를 통한 베이지안 망 구조 학습의 탐색 공간 분석 (Search Space Analysis of R-CORE Method for Bayesian Network Structure Learning and Its Effectiveness on Structural Quality)

  • 정성원;이도헌;이광형
    • 한국지능시스템학회논문지
    • /
    • 제18권4호
    • /
    • pp.572-578
    • /
    • 2008
  • 본 논문에서는 대규모 베이지안 망 구조 학습을 위해 제안되었던 R-CORE 방법의 탐색 공간의 크기에 대한 개략적인 분석과 실제 문제에 적용하였을 경우의 효과에 대한 실험적 결과를 제시한다. R-CORE 방법은 베이지안 망 구조 학습의 탐색 공간을 축소하기 위해 제안된 확률변수들의 재귀적 군집화와 오더 제한 방법이다. 알려진 벤치마크 베이지안 망을 이용한 분석을 통해, 제안되었던 R-CORE 방법이 worst case에는 기존의 방법과 유사한 탐색 공간을 가지나 평균적으로 기존방법보다 훨씬 적은 탐색 공간만을 고려한다는 것을 보인다. 또한 평균적으로 훨씬 적은 탐색 공간만을 고려하는 결과, 구조 탐색에서 기존 방법에 비해 상대적으로 적은 overfitting이 일어남을 실험적으로 보인다.

A methodology to estimate earthquake induced worst failure probability of inelastic systems

  • Akbas, Bulent;Nadar, Mustafa;Shen, Jay
    • Structural Engineering and Mechanics
    • /
    • 제29권2호
    • /
    • pp.187-201
    • /
    • 2008
  • Earthquake induced hysteretic energy demand for a structure can be used as a limiting value of a certain performance level in seismic design of structures. In cases where it is larger than the hysteretic energy dissipation capacity of the structure, failure will occur. To be able to select the limiting value of hysteretic energy for a particular earthquake hazard level, it is required to define the variation of hysteretic energy in terms of probabilistic terms. This study focuses on the probabilistic evaluation of earthquake induced worst failure probability and approximate confidence intervals for inelastic single-degree-of-freedom (SDOF) systems with a typical steel moment connection based on hysteretic energy. For this purpose, hysteretic energy demand is predicted for a set of SDOF systems subject to an ensemble of moderate and severe EQGMs, while the hysteretic energy dissipation capacity is evaluated through the previously published cyclic test data on full-scale steel beam-to-column connections. The failure probability corresponding to the worst possible case is determined based on the hysteretic energy demand and dissipation capacity. The results show that as the capacity to demand ratio increases, the failure probability decreases dramatically. If this ratio is too small, then the failure is inevitable.

단일추진제 로켓 엔진 어셈블리를 위한 우주 공간에서의 과실 방지 설계 (Faultproof Design in Space for Monopropellant Rocket Engine Assembly)

  • 한조영;김정수
    • 대한기계학회논문집B
    • /
    • 제27권10호
    • /
    • pp.1377-1384
    • /
    • 2003
  • An analysis has been performed for active thermal control of the KOMPSAT monopropellant rocket engine assembly, i.e., dual thruster module(DTM). The main efforts of this work have been directed at determining proper heater sizes for propellant valves and catalyst beds necessary to maintain their temperatures within specified temperature ranges under KOMPSAT environment and operational conditions. The TAS incorporated with TRASYS thermal radiation analyzer was used to establish a complete heat transfer model which allows to predict the DTM temperature as a function of time. The thermal analysis has been performed in transient mode to verify the appropriate power for catalyst bed heaters necessary to increase catalyst bed temperature to the required value within a specified period of time. Similar analysis has been executed to validate the heater power for the thermostatically controlled primary and redundant heater circuits used to prevent hydrazine freezing, i.e., single fault. Moreover the effect of the radiative property of thermal control coating of heat shield was examined. Thruster firing condition was also simulated for the heat soakback condition. As a consequence, all thermal analysis results for DTM satisfactorily met the thermal requirements for the KOMPSAT DTM under the worst case average voltage, i.e. 25 volt.

전력선망 구조별 통신 용량 해석 (Analysis of Channel Capacity according to Power Line Network-Topology)

  • 박종연;최규현
    • 대한전자공학회논문지TC
    • /
    • 제37권4호
    • /
    • pp.17-24
    • /
    • 2000
  • 통신을 위한 채널로써 전력선을 활용하기 위해서, 전력선상에서 존재하는 잡음을 측정하여 잡음 데이터를 획득하고, 망구조에 따른 단위길이(100m당)에 따른 신호 감쇄량을 측정했다. 본 논문에서 구분한 3종류의 전력선 구조에 따른 신호 감쇄와 잡음의 최대, 최소값을 이용해서 채널 용량식에 대입한 후 통신 채널로써 전력선이 가지는 채널용량을 계산하였다. 건물내 전력선이 가지는 채널용량은 전력선에 있어서 송,수신기 사이의 거리와 전력선 망구조에 영향을 크게 받는 것으로 나타났다.

  • PDF

Unit Commitment for an Uncertain Daily Load Profile

  • Park Jeong-Do
    • KIEE International Transactions on Power Engineering
    • /
    • 제5A권1호
    • /
    • pp.16-21
    • /
    • 2005
  • In this study, a new Unit Commitment (UC) algorithm is proposed to consider the uncertainty of a daily load profile. The proposed algorithm calculates the UC results with a lower load level than that generated by the conventional load forecast method and the greater hourly reserve allocation. In case of the worst load forecast, the deviation of the conventional UC solution can be overcome with the proposed method. The proposed method is tested with sample systems, which indicates that the new UC algorithm yields a completely feasible solution even when the worst load forecast is applied. Also, the effects of the uncertain hourly load demand are statistically analyzed, particularly by the consideration of the average over generation and the average under generation. Finally, it is shown that independent power producers participating in electricity spot-markets can establish bidding strategies by means of the statistical analysis. Therefore, it is expected that the proposed method can be used as the basic guideline for establishing bidding strategies under the deregulation power pool.

원자력 발전소 분산 제어 시스템을 위한 네트워크의 실시간 특성 해석 (Real-Time Characteristic Analysis of a DCS Communication Network for Nuclear Power Plants)

  • 이성우;임한석
    • 대한전기학회논문지:전력기술부문A
    • /
    • 제48권5호
    • /
    • pp.650-657
    • /
    • 1999
  • In this paper, a real-time communication method using a PICNET-NP(Plant Instrumentation and Control Network for Nuclear Power plant) is proposed with an analysis of the control network requirements of DCS(Distributed Control System) in unclear power plants. The method satisfies deadline in case of worst data traffics by considering aperiodic and periodic real-time data and others.

  • PDF

원자력 발전소 디지털 제어 시스템을 위한 네트워크의 실시간 특성 해석 (Real-Time Characteristic Analysis of a DCS Communication Network for Nuclear Power Plants)

  • 이성우;김석곤;송성일
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2003년도 학술회의 논문집 정보 및 제어부문 B
    • /
    • pp.797-801
    • /
    • 2003
  • In this paper, a real-time communication method using a PICNET-NP (Plant Instrumentation and Control Network for Nuclear Power plant) is proposed with an analysis of the control network requirements of DCS (Distributed Control System) in nuclear power plants. The method satisfies deadline in case of worst data traffics by considering aperiodic and periodic real-time data and others.

  • PDF

생산자동화 시스템을 위한 산업용 로봇의 운전특성 시뮬레이션에 관한 연구 (A Study on the Simulation of Operational Characteristics of Industrial Robot for Automated Manufacturing System)

  • 김진광
    • 한국산업융합학회 논문집
    • /
    • 제20권5호
    • /
    • pp.405-410
    • /
    • 2017
  • This paper deals with 3D simulation of industrial robot for automated manufacturing system. In order to evaluate the operational characteristics of the industrial robot system in the worst case motion scenario, flexible - rigid multibody analysis was performed. Then, the rigid body dynamics analysis was performed and the results were compared with the flexible - rigid multibody analysis. Modal analysis was also performed to confirm the dynamic characteristics of the robot system. In the case of the flexible-rigid multibody simulation, only the structural members of interest were modeled as elastic bodies to confirm the stress state. The remaining structural members were modeled as rigid bodies to reduce computer resources.