• Nuclear Engineering and Technology
• /
• v.53 no.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.04a
• /
• 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.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.219-228
• /
• 2004

Confidence interval estimators for proportions using normal approximation have been commonly used for coverage analysis of simulation output even though alternative approximate estimators of confidence intervals for proportions were proposed. This is -because the normal approximation was easier to use in practice than the other approximate estimators. Computing technology has no problem with dealing these alternative estimators. Recently, one of the approximation methods for coverage analysis which is based on arcsin transformation has been used for estimating proportion and for controlling the required precision in [12]. In this paper, we compare three approximate interval estimators, based on a normal distribution approximation, an arcsin transformation and an F-distribution approximation, of a single proportion. Three estimators were applied to sequential coverage analysis of steady-state means, in simulations of the M/M/1/$\infty$ and W/D/l/$\infty$ queueing systems on a single processor and multiple processors.

• Communications for Statistical Applications and Methods
• /
• v.7 no.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.

• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.519-524
• /
• 2002

In this paper we study the qualify of sequential coverage analysis under a scenario of distributed stochastic simulation known as MRIP(Multiple Replications In Parallel) in terms of the confidence intervals of coverage and the speedup. The estimator based in the F-distribution was applied to the sequential coverage analysis of steady-state means. in simulations of the $M/M/1/{\infty},\;M/D/I/{\infty}\;and\;M/H_{2}/1/{\infty}$ queueing systems on a single processor and multiple processors. By using multiple processors under the MRIP scenario, the time for collecting many replications needed in sequential coverage analysis is reduced. One can also easily collect more replications by executing it in distributed computers or clusters linked by a local area network.

• Journal of Korea Society of Industrial Information Systems
• /
• v.12 no.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.

• Proceedings of the IEEK Conference
• /
• 2001.06b
• /
• 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
• /
• v.2 no.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.

• Journal of the Korea Society for Simulation
• /
• v.13 no.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.

• Korean Journal of Computational Design and Engineering
• /
• v.19 no.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.