• Title/Summary/Keyword: Deterministic Testing

Search Result 32, Processing Time 0.025 seconds

A Clustered Reconfigurable Interconnection Network BIST Based on Signal Probabilities of Deterministic Test Sets (결정론적 테스트 세트의 신호확률에 기반을 둔 clustered reconfigurable interconnection network 내장된 자체 테스트 기법)

  • Song Dong-Sup;Kang Sungho
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.42 no.12
    • /
    • pp.79-90
    • /
    • 2005
  • In this paper, we propose a new clustered reconfigurable interconnect network (CRIN) BIST to improve the embedding probabilities of random-pattern-resistant-patterns. The proposed method uses a scan-cell reordering technique based on the signal probabilities of given test cubes and specific hardware blocks that increases the embedding probabilities of care bit clustered scan chain test cubes. We have developed a simulated annealing based algorithm that maximizes the embedding probabilities of scan chain test cubes to reorder scan cells, and an iterative algorithm for synthesizing the CRIN hardware. Experimental results demonstrate that the proposed CRIN BIST technique achieves complete fault coverage with lower storage requirement and shorter testing time in comparison with the conventional methods.

Neutron Noise Analysis for PWR Core Motion Monitoring (중성자 잡음해석에 의한 PWR 노심 운동상태 감시)

  • Yun, Won-Young;Koh, Byung-Jun;Park, In-Yong;No, Hee-Cheon
    • Nuclear Engineering and Technology
    • /
    • v.20 no.4
    • /
    • pp.253-264
    • /
    • 1988
  • Our experience of neutron noise analysis in French-type 900 MWe pressurized water reactor (PWR) is presented. Neutron noise analysis is based on the technique of interpreting the signal fluctuations of ex-core detectors caused by core reactivity changes and neutron attenuation due to lateral core motion. It also provides advantages over deterministic dynamic-testing techniques because existing plant instrumentation can be utilized and normal operation of the plant is not disturbed. The data of this paper were obtained in the ULJIN unit 1 reactor during the start-up test period and the statistical descriptors, useful for our purpose, are power spectral density (PSD), coherence function (CF), and phase difference between detectors. It is found that core support barrel (CSB) motions induced by coolant flow forces and pressure pulsations in a reactor vessel were indentified around 8 Hz of frequency.

  • PDF

New Weight Generation Algorithm for Path Delay Fault Test Using BIST (내장된 자체 테스트에서 경로 지연 고장 테스트를 위한 새로운 가중치 계산 알고리듬)

  • Hur, Yun;Kang, Sung-Ho
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.37 no.6
    • /
    • pp.72-84
    • /
    • 2000
  • The test patterns for path delay faults consist of two patterns. So in order to test the delay faults, a new weight generation algorithm that is different from the weight generation algorithm for stuck-at faults must be applied. When deterministic test patterns for weight calculation are used, the deterministic test patterns must be divided into several subsets, so that Hamming distances between patterns are not too long. But this method makes the number of weight sets too large in delay testing, and may generate inaccurate weights. In this pater, we perform fault simulation without pattern partition. Experimental results for ISCAS 89 benchmark circuits prove the effectiveness of the new weight generation algorithm proposed in this paper.

  • PDF

Deterministic Testing of Java Multi-Threaded Programs through Program Transformation (프로그램 변환을 통한 Java 다중 스레드 프로그램의 결정적 테스팅)

  • Chung, In-Sang
    • Journal of KIISE:Software and Applications
    • /
    • v.27 no.6
    • /
    • pp.607-617
    • /
    • 2000
  • Concurrent programs, which are composed of threads that can operate concurrently, are intrinsically nondeterministic. Therefore, we can not directly apply classical testing or debugging techniques developed for sequential programs to concurrent programs because of the nonreproducibility due to nondeterminism. In this paper, we present a source tranformation method to guarantee the reproducibility of multi-threaded programs written in Java programming language. Once a mutli-threaded program has been transformed according to the transformation rules, we can force the program's execution to follow the given sequence of synchronized methods repeatedly and reduce the efforts to find the source of the errors. In addition, we present a method for checking the feasibility of the synchronized method sequence to be replayed.

  • PDF

Stochastic Stability Analysis of the Power System Incorporating Wind Power using Measurement Wind Data

  • Parinya, Panom;Sangswang, Anawach;Kirtikara, Krissanapong;Chenvidhya, Dhirayut
    • Journal of Electrical Engineering and Technology
    • /
    • v.13 no.3
    • /
    • pp.1110-1122
    • /
    • 2018
  • This paper proposes an alternative method to evaluate the effect of wind power to the power system stability with small disturbance. Alternatively, available techniques for stability analysis of a power system based on deterministic methods are less accurate for high penetration of wind power. Numerical simulations of random behaviors are computationally expensive. A stochastic stability index (SSI) is proposed for the power system stability evaluation based on the theory of stochastic stability and energy function, specifically the stochastic derivative of the relative well-defined energy function and the critical energy. The SSI is implemented on the modified nine-bus system including wind turbines under different conditions. A doubly-fed induction generator (DFIG) wind turbine is characterized and modeled using measured wind data from several sites in Thailand. Each of the obtained wind power data is analyzed. The wind power effect is modeled considering the aggregated effect of wind turbines. With the proposed method, the system behavior is properly predicted and the stability is quantitatively evaluated with less computational effort compared with conventional numerical simulation methods.

A Nonparametric Test on Mean Difference of DEA Efficiency Estimates - Bootstrapping Approach- (DEA의 효율성 평균 차이에 대한 비모수적 검증-부트스트랩 접근법-)

  • 민재형;김진한
    • Journal of the Korean Operations Research and Management Science Society
    • /
    • v.24 no.2
    • /
    • pp.53-68
    • /
    • 1999
  • This paper presents a nonparametric method to test if the mean difference of DEA efficiency estimates between two groups statistically exists. A proposed method employs a bootstrapping approach to generation BCC efficiency estimates through Monte Carlo simulation resampling process. For the purpose of demonstration, we empirically apply the proposed method to the korean bank industry and compare its result with the result by the traditional deterministic DEA method. The nonparametric statistical hypothesis testing procedure in this study, which considers not only stochastic variability of the DEA data, but also random radial deviations off the efficient frontier, serves as a useful tool for dbjectively evaluating whether the mean difference of DEA efficiency estimates between groups is statistically significant.

  • PDF

A Distributed Control Architecture for Advanced Testing In Realtime

  • Thoen Bradford K.;Laplace Patrick N.
    • Proceedings of the Earthquake Engineering Society of Korea Conference
    • /
    • 2006.03a
    • /
    • pp.563-570
    • /
    • 2006
  • Distributed control architecture is based on sharing control and data between multiple nodes on a network Communication and task sharing can be distributed between multiple control computers. Although many communication protocols exist, such as TCP/IP and UDP, they do not have the determinism that realtime control demands. Fiber-optic reflective shared memory creates the opportunity for realtime distributed control. This architecture allows control and computational tasks to be divided between multiple systems and operate in a deterministic realtime environment. One such shared memory architecture is based on Curtiss-Wright ScramNET family of fiber-optic reflective memory. MTS has built seismic and structural control software and hardware capable of utilizing ScramNET shared memory, opening up infinite possibilities in research and new capabilities in Hybrid and Model-In-The-Loop control.

  • PDF

A Study to Develop a Practical Probabilistic Slope Stability Analysis Method (실용적인 확률론적 사면안정 해석 기법 개발)

  • 김형배;이승호
    • Journal of the Korean Geotechnical Society
    • /
    • v.18 no.5
    • /
    • pp.271-280
    • /
    • 2002
  • A probabilistic approach to identify the effects of uncertainties of soil strength parameters on searching a critical slip surface with the lowest reliability is introduced. In general construction field, it is impossible for the engineer to always gather a variety of statistical information of soil strength parameters for which lots of laboratory and in-situ soil testing are required and to use it with enough statistical knowledge. Thus, in order that the engineer may easily understand the probabilistic concept for the slope stability analysis, this study proposes a combined procedure to incorporate the engineering probabilistic tools into the existing deterministic slope stability analysis methods. Using UTEXAS 3, a slope stability analysis computer program developed by U.S. Army Corps of Engineers (U.S. COE), this study provides the results of this probabilistic slope stability analysis in terms of probability of failure or reliability index. This probabilistic method f3r slope stability analysis appears to yield more comprehensive results of slope reliability than does existing deterministic methods with safety factors alone.

Digital simulation model for soil erosion and Sediment Yield from Small Agricultural Watersheds(I) (농업 소류역으로부터의 토양침식 및 유사량 시산을 위한 전산모의 모델 (I))

  • 권순국
    • Magazine of the Korean Society of Agricultural Engineers
    • /
    • v.22 no.4
    • /
    • pp.108-114
    • /
    • 1980
  • A deterministic conceptual erosion model which simulates detachment, entrainment, transport and deposition of eroded soil particles by rainfall impact and flowing water is presented. Both upland and channel phases of sediment yield are incorporated into the erosion model. The algorithms for the soil erosion and sedimentation processes including land and crop management effects are taken from the literature and then solved using a digital computer. The erosion model is used in conjunction with the modified Kentucky Watershed Model which simulates the hydrologic characteristics from watershed data. The two models are linked together by using the appropriate computer code. Calibrations for both the watershed and erosion model parameters are made by comparing the simulated results with actual field measurements in the Four Mile Creek watershed near Traer, Iowa using 1976 and 1977 water year data. Two water years, 1970 and 1978 are used as test years for model verification. There is good agreement between the mean daily simulated and recorded streamflow and between the simulated and recorded suspended sediment load except few partial differences. The following conclusions were drawn from the results after testing the watershed and erosion model. 1. The watershed and erosion model is a deterministic lumped parameter model, and is capable of simulating the daily mean streamflow and suspended sediment load within a 20 percent error, when the correct watershed and erosion parameters are supplied. 2. It is found that soil erosion is sensitive to errors in simulation of occurrence and intensity of precipitation and of overland flow. Therefore, representative precipitation data and a watershed model which provides an accurate simulation of soil moisture and resulting overland flow are essential for the accurate simulation of soil erosion and subsequent sediment transport prediction. 3. Erroneous prediction of snowmelt in terms of time and magnitute in conjunction with The frozen ground could be the reason for the poor simulation of streamflow as well as sediment yield in the snowmelt period. More elaborate and accurate snowmelt submodels will greatly improve accuracy. 4. Poor simulation results can be attributed to deficiencies in erosion model and to errors in the observed data such as the recorded daily streamflow and the sediment concentration. 5. Crop management and tillage operations are two major factors that have a great effect on soil erosion simulation. The erosion model attempts to evaluate the impact of crop management and tillage effects on sediment production. These effects on sediment yield appear to be somewhat equivalent to the effect of overland flow. 6. Application and testing of the watershed and erosion model on watersheds in a variety of regions with different soils and meteorological characteristics may be recommended to verify its general applicability and to detact the deficiencies of the model. Futhermore, by further modification and expansion with additional data, the watershed and erosion model developed through this study can be used as a planning tool for watershed management and for solving agricultural non-point pollution problems.

  • PDF

Inverse model for pullout determination of steel fibers

  • Kozar, Ivica;Malic, Neira Toric;Rukavina, Tea
    • Coupled systems mechanics
    • /
    • v.7 no.2
    • /
    • pp.197-209
    • /
    • 2018
  • Fiber-reinforced concrete (FRC) is a material with increasing application in civil engineering. Here it is assumed that the material consists of a great number of rather small fibers embedded into the concrete matrix. It would be advantageous to predict the mechanical properties of FRC using nondestructive testing; unfortunately, many testing methods for concrete are not applicable to FRC. In addition, design methods for FRC are either inaccurate or complicated. In three-point bending tests of FRC prisms, it has been observed that fiber reinforcement does not break but simply pulls out during specimen failure. Following that observation, this work is based on an assumption that the main components of a simple and rather accurate FRC model are mechanical properties of the concrete matrix and fiber pullout force. Properties of the concrete matrix could be determined from measurements on samples taken during concrete production, and fiber pullout force could be measured on samples with individual fibers embedded into concrete. However, there is no clear relationship between measurements on individual samples of concrete matrix with a single fiber and properties of the produced FRC. This work presents an inverse model for FRC that establishes a relation between parameters measured on individual material samples and properties of a structure made of the composite material. However, a deterministic relationship is clearly not possible since only a single beam specimen of 60 cm could easily contain over 100000 fibers. Our inverse model assumes that the probability density function of individual fiber properties is known, and that the global sample load-displacement curve is obtained from the experiment. Thus, each fiber is stochastically characterized and accordingly parameterized. A relationship between fiber parameters and global load-displacement response, the so-called forward model, is established. From the forward model, based on Levenberg-Marquardt procedure, the inverse model is formulated and successfully applied.