• 제목/요약/키워드: Deterministic Testing

검색결과 32건 처리시간 0.026초

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

  • 송동섭;강성호
    • 대한전자공학회논문지SD
    • /
    • 제42권12호
    • /
    • pp.79-90
    • /
    • 2005
  • 본 논문에서는 의사무작위패턴만으로는 생산하기 힘든 결정론적 테스트 큐브의 생산확률을 높일 수 있는 새로운 clustered reconfigurable interconnect network (CRIN) 내장된 자체 테스트 기법을 제안한다. 제안된 방법은 주어진 테스트 큐브들의 신호확률에 기반을 둔 스캔 셀 재배치 기술과 규정 비트(care-bit: 0 또는 1)가 집중된 스캔 체인 테스트 큐브의 생산확률을 높이기 위한 전용의 하드웨어 블록을 사용한다. 테스트 큐브의 생산확률을 최대로 할 수 있는 시뮬레이티드 어닐링(simulated annealing) 기반 알고리듬이 스캔 셀 재배치를 위해 개발되었으며, CRIN 하드웨어 합성을 위한 반복 알고리듬 또한 개발되었다. 실험을 통하여 제안된 CRIN 내장된 자체 테스트 기법은 기존의 연구 결과보다 훨씬 적은 저장 공간과 짧은 테스트 시간으로 $100\%$의 고장검출율을 달성할 수 있음을 증명한다.

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

  • Yun, Won-Young;Koh, Byung-Jun;Park, In-Yong;No, Hee-Cheon
    • Nuclear Engineering and Technology
    • /
    • 제20권4호
    • /
    • pp.253-264
    • /
    • 1988
  • 본 논문에서는 불란서에서 건설한 900 MWe급 가압경수형 원자로의 중성자 잡음해석 결과를 제시하였다. 중성자 잡음해석이란 노심내의 반응도 변화 및 노심의 수평운동으로 인한 노외검출기 신호의 변화를 해석하는 기법을 의미한다 이러한 방법은 Deterministic Dynamic Testing 기법중에서도 발전소의 정상운전 조건을 유지시키며 기존의 발전소 계측설비를 이용할 수 있다는 장점을 지니고 있다. 본 논문에 사용된 잡음신호는 울진 1호기 원자로의 시운전 시험기간에 구하였으며 이를 통계적 기술함수인 에너지 밀도함수(PSD), 검출기간의 상관함수 (CF)및 위상차(Phase Difference)로 나타내었다. 실험결과, 원자로 용기내의 냉각수 흐름 및 압력맥동 등에 의해 유도되는 Core Support Barrel(CSB)의 진동 주파수가 8Hz 근처임을 규명하였다.

  • PDF

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

  • 허윤;강성호
    • 대한전자공학회논문지SD
    • /
    • 제37권6호
    • /
    • pp.72-84
    • /
    • 2000
  • 경로 지연 고장의 테스트 패턴은 두 개의 패턴을 가진 쌍패턴으로 이루어져 있다. 따라서 가중 무작위 패턴 생성 방법을 이용하여 지연 고장 테스트를 하기 위해서는 기존의 고착 고장을 위한 방법과는 다른 새로운 가중치 생성 방법이 적용되어야 한다. 결정론적 테스트 패턴을 이용하여 가중치를 계산할 때는 테스트 패턴의 집합을 패턴간의 해밍 거리가 너무 크지 않도록 분할하여 주는 것이 일반적이나 지연 고장 테스트에 있어서는 이 분할 방법이 너무 만은 가중치 집합을 생성하게 될 수도 있을 뿐만 아니라 부정확한 가중치를 계산하게 될 수도 있다. 따라서 본 논문에서는 결정론적 테스트 패턴의 분할 없이 가중치를 계산하여 고장 시뮬레이션을 생성하는 실험을 해 보았다. ISCAS 89 벤치마크 회로에 대한 실험 결과는 본 논문에서 제시한 경로 지연 고장을 위한 가중치 생성 방법의 효율성을 보여준다.

  • PDF

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

  • 정인상
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제27권6호
    • /
    • pp.607-617
    • /
    • 2000
  • 동시에 수행 가능한 여러 개의 스레드들로 구성된 병렬 프로그램은 본질적으로 비결정성을 내포하고 있다. 따라서, 이러한 비결정성에 기인한 비반복성때문에 순차적 프로그램을 위해 개발되었던 기존의 테스팅 테스팅 방법이나 디버깅 방법을 병렬 프로그램에 그대로 적용할 수 없다. 이 논문에서는 Java 다중 스레드 프로그램의 재수행성을 보장하기 위하여 대상이 되는 프로그램을 원시코드 수준에서 변환하는 방법을 제시한다. 일단 변환 규칙에 따라 변경이 된 프로그램은 주어진 동기화 메소드 시퀀스를 강제적으로 반복 수행할 수 있어 오류의 원인을 찾는 노력을 줄일 수 있다. 또한, 재실행하고자 하는 동기화 메소드 시퀀스가 실제 주어진 프로그램에서 수행 가능한지를 판별하는 방법을 제시한다.

  • 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
    • /
    • 제13권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.

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

  • 민재형;김진한
    • 한국경영과학회지
    • /
    • 제24권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.
    • 한국지진공학회:학술대회논문집
    • /
    • 한국지진공학회 2006년도 학술발표회 논문집
    • /
    • 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)

  • 김형배;이승호
    • 한국지반공학회논문집
    • /
    • 제18권5호
    • /
    • pp.271-280
    • /
    • 2002
  • 본 연구에서는 사면안정해석 수행과정에서 입력되는 지반강도정수의 불확실성이 최소 신뢰성을 갖는 임계 활동면의 추적에 미치는 영향을 정량화하기 위한 확률론적 사면안정해석기법을 소개하였다. 일반적인 공사 현장에서 실무자가 상당한 양의 실내 및 현장 시험을 통해 얻어질 수 있는 지반강도정수의 다양한 통계.확률적 정보를 항상 확보하여 그것들을 상당한 수준의 통계적 지식을 가지고 자유스럽게 이용하는 것은 현실적으로 불가능하다. 따라서 본 연구에서는 실무자가 쉽게 확률적인 개념을 이해하면서 사면안정해석을 수행할 수 있도록 기존의 결정론적 사면안정해석 기법에 공학적 확률해석 기법을 결합시키는 방안을 제시하였다. 미 공병단에서 개발한 UTEXAS 3라는 범용 사면안정 해석 프로그램을 이용하여 본 연구는 파괴확률 또는 신뢰지수라는 관점에서 제안한 확률론적 사면안정해석기법의 결과들을 도출하였다. 본 확률론적 사면안정해석기법은 사면안정의 안전율만을 고려하는 기존의 결정론적 사면해석 기법들 보다 더욱 종합적으로 사면안정의 신뢰성에 대한 결과를 제시하는 것으로 나타났다.

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

  • 권순국
    • 한국농공학회지
    • /
    • 제22권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
    • /
    • 제7권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.