• 정보처리학회논문지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)를 수집할 수 있다. 이는 샘플의 수가 증가됨으로써 좀더 신뢰도가 높은 최종 신뢰구간을 시뮬레이션 수행자가 얻을 수 있게 해준다.

• 전자공학회논문지C
• /
• 제35C권4호
• /
• pp.11-20
• /
• 1998

Fault simulatior has been used to compute exact fault coverages of test vectors for digial circuits. But it is time consuming because execution time is proportional to square of circuit size. Recently, several algorithms for testability analysis have been published to cope with these problems. COP is very fast and accurate but cannot be used for sequential circuits, while STAFAN can be used for sequential circuits but needs vast amount of execution time due to good circuit simulation. We proposed EXTASEC which gave fast and accurate fault coverage. But it shows noticeable errors for a few sequential circuits. In this paper, it is shown that the inaccuracy is due to uninitializble flipflops, and we propose ITEM to improve the EXTASEC algorithm. ITEM is an improved evaluation method of fault coverage by analysis of backward lines and uninitializable flipflops. It is expected to perform efficiently for very large circuits where execution time is critical.

• 정보처리학회논문지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)에서의 평균치를 추정하는 시뮬레이션에 적용하였다.

• 한국시뮬레이션학회논문지
• /
• 제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.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.1025-1032
• /
• 2003

백분위수는 시뮬레이션 결과의 전체적인 성향을 파악하는데 아주 유용한 측정 기법 중의 하나이다. 그러나, 시뮬레이션으로 수집된 데이터들에 대한 평균이나 표준편차와는 달리 백분위수를 추정하기 위해서는 모든 관측된 데이터들을 저장해야 만 한다, 왜냐하면 백분위수의 추정을 위해서는 관측된 모든 데이를 분류하여 오른차순으로 정렬하는 등 여러 단계의 처리과정이 필요하기 때문이다. 따라서, 백분위수 추정을 위해서는 관측된 모든 데이터를 저장하기 위한 대용량의 저장장치와 정렬을 위한 계산시간 (O($nlog_{2}n$))이 요구된다. 이러한 문제점을 해결하기 위한 여러 백분위수 추정 기법들이 제안되었으나 고정된 샘플 크기의 시뮬레이선(fixed sample size simulation) 을 수행할 경우에만 적용 가능하다. [11, 12, 21]. 본 논문에서는 3가지 백분위수 추정 기법(linear PE, batching PE, spectral $P^2$ PE) 을 순차적인 안정상태 시뮬레이션(sequential steady-state simulation) 에 적용하여 연구하였다. 또한, 3가지의 백분위수 추정 기법들에 대해 coverage 분석을 수행한 결과를 제시하였다.

• 대한산업공학회지
• /
• 제22권1호
• /
• pp.65-82
• /
• 1996

This paper proposes a sequential procedure which can be used to determine a truncation point and run length to reduce or remove bias owing to artificial startup conditions in simulations aimed at estimating steady-state behavior. It is based on the idea of Lyapunov exponent in chaos theory. The performance measures considered are relative bias, coverage, estimated relative half-width of the confidence interval, and mean amount of deleted data.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권9호
• /
• pp.1177-1184
• /
• 1999

본 논문에서는 스캔플립프롭 선택 시간이 짧고 높은 고장 검출률(fault coverage)을 얻을 수 있는 새로운 부분스캔 설계 기술을 제안한다. 순차회로에서 테스트패턴 생성을 용이하게 하기 위하여 완전스캔 및 부분스캔 설계 기술이 널리 이용되고 있다. 스캔 설계로 인한 추가영역을 최소화 하고 최대의 고장 검출률을 목표로 하는 부분스캔 기술은 크게 구조분석과 테스트 가능도(testability)에 의한 설계 기술로 나누어 볼 수 있다. 구조분석에 의한 부분스캔은 짧은 시간에 스캔플립프롭을 선택할 수 있지만 고장 검출률은 낮다. 반면 테스트 가능도에 의한 부분스캔은 구조분석에 의한 부분스캔보다 스캔플립프롭의 선택 시간이 많이 걸리는 단점이 있지만 높은 고장 검출률을 나타낸다. 본 논문에서는 구조분석에 의한 부분스캔과 테스트 가능도에 의한 부분스캔 설계 기술의 장단점을 비교.분석하여 통합함으로써 스캔플립프롭 선택 시간을 단축하고 고장 검출률을 높일 수 있는 새로운 부분스캔 설계 기술을 제안한다. 실험결과 대부분의 ISCAS89 벤치마크 회로에서 스캔플립프롭 선택 시간은 현격히 감소하였고 비교적 높은 고장 검출률을 나타내었다.Abstract This paper provides a new partial scan design technique which not only reduces the time for selecting scan flip-flops but also improves fault coverage. To simplify the problem of the test pattern generation in the sequential circuits, full scan and partial scan design techniques have been widely adopted. The partial scan techniques which aim at minimizing the area overhead while maximizing the fault coverage, can be classified into the techniques based on structural analysis and testabilities. In case of the partial scan by structural analysis, it does not take much time to select scan flip-flops, but fault coverage is low. On the other hand, although the partial scan by testabilities generally results in high fault coverage, it requires more time to select scan flip-flops than the former method. In this paper, we analyzed and unified the strengths of the techniques by structural analysis and by testabilities. The new partial scan design technique not only reduces the time for selecting scan flip-flops but also improves fault coverage. Test results demonstrate the remarkable reduction of the time to select the scan flip-flops and high fault coverage in most ISCAS89 benchmark circuits.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 제37회 하계학술대회 논문집 C
• /
• pp.1629-1630
• /
• 2006

This paper describes a micro total analysis system ($\mu$ TAS) for detecting and digesting the target protein which includes a bead based temperature controllable microchip and computer based controllers for temperature and valve actuation. We firstly combined the temperature control function with a bead based microchip and realized the on-chip sequential reactions using two kinds of beads. The PEG-grafted bead, on which RNA aptamer was immobilized, was used for capturing and releasing the target protein. The target protein can be chosen by the type of RNA aptamer. In this paper, we used the RNA aptamer of HCV replicase. The trypsin coated bead was used for digesting the released protein prior to the matrix assisted laser desorption ionization time of flight mass spectrometer (MALDI TOF MS). Heat is applied for release of the captured protein binding on the bead, thermal denaturation and trypsin digestion. PDMS microchannel and PDMS micro pneumatic valves were also combined for the small volume liquid handling. The entire procedures for the detection and the digestion of the target protein were successfully carried out on a microchip without any other chemical treatment or off-chip handling using $20\;{\mu}l$ protein mixture within 20 min. We could acquire six matched peaks (7% sequence coverage) of HCV replicase.

• 환경영향평가
• /
• 제15권6호
• /
• pp.395-406
• /
• 2006

This study was carried out to offer the systematical and scientific method of regional environment conservation by deciding the rank using fuzzy theory, and try to find the methodology to accurately accomplished the regional environment assessment for sound land conservation. The results were as follows. To transform the Likert's scale granted to assessment indicators into the type of triangular fuzzy number (a, b, c), there was conversion to each minimum (a), median (b), and maximum (c) in applying membership function. We used the center of gravity and eigenvalue leading to the rank. In the sequential analysis of rank-based test of assessment indicators by triangular fuzzy number, the result proclaimed that ranking of the indicators was, in the biotic field, in the order of 'dominance', 'sociality', 'coverage' and in the abiotic one, 'soil pH', 'T-N', 'soil property', and in the qualitative one, 'impact rating class', 'hemeroby degree', 'land use pattern', and in the functional one, 'protection of water resource', 'offer of recreation', 'protection of soil erosion'. Therefore, there was a difference between subjective rank from human and the rank from triangular fuzzy number. In other words, the scientific rank decision would be not so much being subjective and biased as dealing with human thoughts mathematically by triangular fuzzy number.

• 전기학회논문지
• /
• 제62권1호
• /
• pp.109-119
• /
• 2013

This paper presents the design of the Safety Programmable Logic Controller (SPLC) used in the Nuclear Power Plants, an analysis of a reliability for the SPLC using a markov model. The architecture of the SPLC is designed to have the multiple modular redundancy composed of the Dual Modular Redundancy(DMR) and the Triple Modular Redundancy(TMR). The operating system of the SPLC is designed to have the non-preemptive state based scheduler and the supervisory task managing the sequential scheduling, timing of tasks, diagnostic and security. The data communication of the SPLC is designed to have the deterministic state based protocol, and is designed to satisfy the effective transmission capacity of 20Mbps. Using Markov model, the reliability of SPLC is analyzed, and assessed. To have the reasonable reliability such as the mean time to failure (MTTF) more than 10,000 hours, the failure rate of each SPLC module should be less than $2{\times}10^{-5}$/hour. When the fault coverage factor (FCF) is increased by 0.1, the MTTF is improved by about 4 months, thus to enhance the MTTF effectively, it is needed that the diagnostic ability of each SPLC module should be strengthened. Also as the result of comparison the SPLC and the existing safety grade PLCs, the reliability and MTTF of SPLC is up to 1.6-times and up to 22,000 hours better than the existing PLCs.