• 전자공학회논문지A
• /
• 제32A권4호
• /
• pp.75-84
• /
• 1995

Fault simulators are used for accurate evaluation of fault coverages of digital circuits. But fault simulation becomes time and memory consuming job because computation time is proportional to wquare of size of circuits. Recently, several approximate algorithms for testability analysis have been published to cope with the problems. COP is very fast but cannot be used for sequential circuits, while STAFAN can ve used for sequential circuits but requires large amount of computation because it utilizes logic simulation results. In this paper EXTASEC(An Extension of Testability Analysis for Sequential Circuits) is proposed. It is an extension of COP in the sense that it is the same as COP for combinational circuits, but it can handle sequential circuits, Xicontrollability and backward line analysis are key concept for EXTASEC. Performance of EXTASEC is proven by comparing EXTASEC with a falut simulator, STAFAN, and COP for ISCAS circuits, and the result is demonstated.

• 정보처리학회논문지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 분석을 수행한 결과를 제시하였다.

• 대한전기학회논문지:전력기술부문A
• /
• 제53권2호
• /
• pp.121-128
• /
• 2004

This paper presents a new approach for determining an accurate incentive levels of Direct Load Control (DLC) program using sequential Monte Carlo Simulation (MCS) techniques. The economic analysis of DLC resources needs to identify the hourly-by-hourly expected energy-not-served resulting from the random outage characteristics of generators as well as to reflect the availability and duration of DLC resources, which results the computational explosion. Therefore, the conventional methods are based on the scenario approaches to reduce the computation time as well as to avoid the complexity of economic studies. In this paper, we have developed a new technique based on the sequential MCS to evaluate the required expected load control amount in each hour and to decide the incentive level satisfying the economic constraints. In addition, the mathematical formulation for DLC programs' economic evaluations are developed. To show the efficiency and effectiveness of the suggested method, the numerical studies have been performed for the modified IEEE reliability test system.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제3권2호
• /
• pp.137-143
• /
• 2003

Sequential test plans are characterized by decision rules for accepting or rejecting compliance, or continuing the test at my test time. They are determined by selected values of risks and discrimination ratio. The sequential test plans in the international standard such as MIL-HDBK-781A are based on the assumption that the underlying distribution of times between failures is exponential. In this paper, sequential test plans are extended to the Weibull distribution case. Simulation studies are performed to examine the reasonability in this extension.

• Korea-Australia Rheology Journal
• /
• 제12권1호
• /
• pp.83-92
• /
• 2000

In resin transfer molding (RTM) process, preplaced fiber mat is set up in a mold and thermoset resin is injected into the mold. An important interest in RTM process is to minimize cycle time without sacrificing part quality or increasing cost. In this study, the numerical simulation and optimization process in filling stage were conducted in order to determine the optimum gate locations. Control volume finite element method (CVFEM) was used in this numerical analysis with the coordinate transformation method to analyze the complex 3-dimensional structure. Experiments were performed to monitor the flow front to validate simulation results. The results of numerical simulation predicted well the experimental results with every single, simultaneous and sequential injection procedure. We performed the optimization analysis for the sequential injection procedure to minimize fill time. The complex geometry of an automobile bumper core was chosen. Genetic algorithm was used in order to determine the optimum gate locations with regard to 3-step sequential injection case. These results could provide the information of the optimum gate locations in each injection step and could predict fill time and flow front.

• International Journal of Quality Innovation
• /
• 제8권2호
• /
• pp.115-131
• /
• 2007

The vehicle development process (VDP) is iterative in nature with numerous interactions and information flows between design groups and between development phases. The VDP has been changed from a sequential-functional development to a concurrent-team based approach. Concurrent execution of design activities may reduce the development lead-time, but it increases the managerial complexity in the VDP. A system dynamics model was developed to understand the transient behavior of parallel, overlap, and sequential processes in the VDP and to determine the optimal level of overlapping considering the development lead-time and total number of reworks. The simulation results showed that different execution processes should be used, depending upon the intensity of reworks.

• 전자공학회논문지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.

• 제어로봇시스템학회논문지
• /
• 제18권3호
• /
• pp.285-294
• /
• 2012

Using bearing measurement only, target motion state is not directly obtained so that TMA (Target Motion Analysis) is needed for this situation. TMA is a nonlinear estimation technique used in passive SONAR systems. Also it is the one of important techniques for underwater combat management systems. TMA can be divided to two parts: batch estimation and sequential estimation. It is preferable to use sequential estimation for reducing computational load as well as adaptively to target maneuvers, batch estimation is still required to attain target initial state vector for convergence of sequential estimation. Selection of batch time interval which depends on observability is critical in TMA performance. Batch estimation in general utilizes predetermined batch time interval. In this paper, we propose a new method called the BTIS (Batch Time Interval and Initial State Estimation). The proposed BTIS estimates target initial status and determines the batch time interval sequentially by using a bank of GMM-TS (Gaussian Mixture Measurement-Track Splitting) filters. The performance of the proposal method is verified by a Monte Carlo simulation study.

• 대한기계학회논문집A
• /
• 제31권1호
• /
• pp.55-61
• /
• 2007

Recently simulation model becomes an essential tool for analysis and design of a system but it is often expensive and time consuming as it becomes complicate to achieve reliable results. Therefore, high-fidelity simulation model needs to be replaced by an approximate model, the so-called metamodel. Metamodeling techniques include 3 components of sampling, metamodel and validation. Cross-validation approach has been proposed to provide sequnatially new sample point based on cross-validation error but it is very expensive because cross-validation must be evaluated at each stage. To enhance the cross-validation of metamodel, sequential sampling method using candidate points and representative cross-validation is proposed in this paper. The candidate and representative cross-validation approach of sequential sampling is illustrated for two-dimensional domain. To verify the performance of the suggested sampling technique, we compare the accuracy of the metamodels for various mathematical functions with that obtained by conventional sequential sampling strategies such as maximum distance, mean squared error, and maximum entropy sequential samplings. Through this research we team that the proposed approach is computationally inexpensive and provides good prediction performance.

• Journal of electromagnetic engineering and science
• /
• 제12권3호
• /
• pp.196-202
• /
• 2012

Spectrum sensing is one of the most important functions in cognitive radio systems. In this paper, we focus on reducing the sensing time in a cooperative spectrum sensing paradigm. In the proposed scheme, a sequential detection technique is employed to provide a robust and quick detection system. Each of the secondary users measures the log-likelihood probability of the received signals and then sequentially reports to the base station. Here, the maximum ratio combining (MRC) technique is employed to reduce the average sample number (ASN) in order to reduce the sensing time. This proposed scheme is analyzed and simulated to illustrate the performance in comparison with the other given methods. Analysis and simulation are provided to validate the proposed method.