• Nuclear Engineering and Technology
• /
• 제53권1호
• /
• pp.131-141
• /
• 2021

Simulation is a widely used functional verification method for FBD programs of PLC-based digital I&C system in nuclear power plants. It is difficult, however, to estimate the thoroughness (i.e., effectiveness or quality) of a simulation in the absence of any clear measure for the estimation. This paper proposes two sets of structural coverage adequacy criteria for the FBD simulation, toggle coverage and modified condition/decision coverage, which can estimate the thoroughness of simulation scenarios for FBD programs, as recommended by international standards for functional safety. We developed two supporting tools to generate numerous simulation scenarios and to measure automatically the coverages of the scenarios. The results of our experiment on five FBD programs demonstrated that the measures and tools can help software engineers estimate the thoroughness and improve the simulation scenarios quantitatively.

• 한국태양에너지학회:학술대회논문집
• /
• 한국태양에너지학회 2009년도 춘계학술발표대회 논문집
• /
• pp.176-179
• /
• 2009

In this study, Urban Climate Simulation was performed using 3-Dimensional Urban Canopy Model. The characteristics of urban thermal environment was analyzed by classifying land coverage and increasing natural land coverage ratio. The results are as follows. The characteristics of the land coverage on urban thermal environment formation can be summarized by the effects like higher temperature on the artificial coverage, and the contrary effects on the natural coverage. When the water coverage 100% was made up, maximum temperature was declined by $5.5^{\circ}C$, humidity by the 6.5g/kg, wind velocity by 0.6m/s, convective sensible heat by $400W/m^2$ and the evaporative latent heat was increased by $370W/m^2$ compared to when artificial coverage 100% was formed. These simulation results need to be constructed as DB which shows urban quantitative thermal characters by the urban physical structure. These can be quantitative base for suggesting combinations of the building and urban planning features at the point of the desirable urban thermal environment as well as analysing urban climate phenomenon.

• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.219-228
• /
• 2004

지금까지 비율(proportion)에 대한 신뢰구간의 근사적 추정량(approximate estimator)에 대한 여러 기법들이 제안되었으나, 시뮬레이션 결과에 대한 coverage 분석을 수행할 경우에는 정규분포에 기반 한 신뢰구간 추정량이 주로 이용되었다. 그 이유는 정규분포에 대한 근사법이 다른 근사법들 보다 실제 구현하는데 쉽게 여겨졌기 때문이다. 하지만, 최근에 arcsin 변환에 기반한 coverage 분석을 위한 근사법이 [12]에서 시뮬레이션 수행 시에 최종결과에 요구되는 정확도의 조절과 비율을 추정하기 위해서 사용되었다. 본 논문에서는 세 개의 신뢰구간 추정량 근사법(정규분포 기반 근사법, arcsin 변환 기반 근사법, 그리고 F-분포 기반 근사법)을 비교 분석하였다. 세 신뢰구간에 대한 추정량을 단일 프로세서와 다중 프로세서 상에서 참조모델(reference model)로 M/M/1/$\infty$와 W/D/l/$\infty$ 큐잉 시스템을 활용하여 정상상태(steady-state)에서의 평균치를 추정하는 시뮬레이션에 적용하였다.

• Communications for Statistical Applications and Methods
• /
• 제7권3호
• /
• pp.859-869
• /
• 2000

In this paper, various methods for finding confidence intervals for p of binomial parameter are reviewed. Also we introduce tow bootstrap confidence intervals for p. We compare the performance of bootstrap methods with other methods in terms of average coverage probability by Monte Carlo simulation. Advantages of these bootstrap methods are discussed.

• 정보처리학회논문지A
• /
• 제9A권4호
• /
• pp.519-524
• /
• 2002

본 논문에서는 분산 시뮬레이션 기법 중에 하나인 MRIP(Multiple Replications In Parallel) 시나리오에서 각종 순차적인 시뮬레이션 분석 방법들의 성능을 측정할 수 있는 포함범위(Coverage)에 대한 신뢰구간(confidence intervals) 및 속도향상(Speedup)에 대해 살펴보았다. F-분포를 기반으로 한 신뢰구간에 대한 추정기(estimator)를 단일 프로세서와 다중 프로세서 상에서 참조모델(reference model)로 $M/M/1/{\infty},\;M/D/I/{\infty}과\;M/H_{2}/1/{\infty}$큐잉 시스템을 활용하여 정상상태(steady-state)에서의 평균치를 추정하는 시뮬레이션에 적용하였다. 순차적인 포함범위 분석을 위해서는 수많은 시뮬레이션 실행(Run)들이 요구되는데, MRIP 분산 시뮬레이션 시나리오에서 다중 프로세서를 이용하여 시뮬레이션을 수행하여 최종 시뮬레이션 결과를 얻는데 걸리는 신간을 감소시켰다. 또한, LNA으로 연결된 분산 컴퓨팅 시스템에 시뮬레이션을 동시에 수행시킴으로써 쉽게 필요한 수의 시뮬레이션 실행결과(Run)를 수집할 수 있다. 이는 샘플의 수가 증가됨으로써 좀더 신뢰도가 높은 최종 신뢰구간을 시뮬레이션 수행자가 얻을 수 있게 해준다.

• 한국산업정보학회논문지
• /
• 제12권1호
• /
• pp.80-86
• /
• 2007

The concept of the coverage has been played an important role in the area of reliability evaluation of a system. The widely used measures of reliability include the m time between failures, the availability and so on. In this paper, we propose an estimator of the coverage probability in a redundant system with a control unit and investigate some moments of the proposed estimator. And assuming exponential distribution of all units, we conduct a simulation study for calculating the estimates of the coverage probability and its confidence bounds. An example of evaluating the availability of an optical transportation system is illustrated.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 하계종합학술대회 논문집(2)
• /
• pp.325-328
• /
• 2001

This paper describes a VHDL code coverage checker for If design and verification. Applying the verification coverage to IP design is a methodology rapidly gaining popularity. This enables the designers to improve the IP design quality and reduces the time-to-market by providing the Quantitative measure of simulation completeness and test benches. To support this methodology, a VHDL code coverage model was defined and the measurement tool was developed.

• Journal of Ubiquitous Convergence Technology
• /
• 제2권2호
• /
• pp.97-104
• /
• 2008

In this paper, we demonstrate the boundary effect of a deployed regions on the effective coverage of a mobile node. A node coverage area is not uniform throughout the entire deployed region. Assuming a uniform coverage can result in significant error in calculations. In this study, we analyze the behavior of a node's coverage area as a function of its transmission range throughout the entire deployed region. Using this analysis, a mathematical model for effective coverage in mobile wireless communications is created. The mathematical model considers the effect of the deployed regions boundaries on the coverage area of a mobile node. Lastly, we present simulation results to verify the analytical model and to compare this model with that of a uniform coverage.

• 한국시뮬레이션학회논문지
• /
• 제13권2호
• /
• pp.23-34
• /
• 2004

Regenerative simulation (RS) is a method of stochastic steady-state simulation in which output data are collected and analysed within regenerative cycles (RCs). Since data collected during consecutive RCs are independent and identically distributed, there is no problem with the initial transient period in simulated processes, which is a perennial issue of concern in all other types of steady-state simulation. In this paper, we address the issue of experimental analysis of the quality of sequential regenerative simulation in the sense of the coverage of the final confidence intervals of mean values. The ultimate purpose of this study is to determine the best version of RS to be implemented in Akaroa2 [1], a fully automated controller of distributed stochastic simulation in LAN environments.

• 한국CDE학회논문집
• /
• 제19권1호
• /
• pp.12-18
• /
• 2014

Shot-peening is frequently used on various mechanical parts because it can improve the fatigue life of components by generating compressive residual stresses on the surface. This can be done by repeatedly hitting the work-piece surface with small balls and making indentations on it. In fact, finding optimal peening time among various peening parameters is the most important. Under-peening can not improve the fatigue life sufficiently while over-peening causes cracks and reduces fatigue life in contrast. In general, optimal peening time is experimentally determined by measuring arc-height using Almen-strip in accordance with SAE J442 standard. To save the time and efforts spent in carrying out experiments to find optimal peening time, this paper presents a computer simulation algorithm for the estimation of surface coverage made by impeller type shot-peening machines (PMI-0608). Surface coverage is defined as the proportion of the work-piece surface that has been indented in a given time of shot-peening. An example (standard tensile test specimen) is presented to validate the proposed method.