• Journal of Information Processing Systems
• /
• v.7 no.3
• /
• pp.435-446
• /
• 2011

Microprocessors are becoming increasingly vulnerable to soft errors due to the current trends of semiconductor technology scaling. Traditional redundant multi-threading architectures provide perfect fault tolerance by re-executing all the computations. However, such a full re-execution technique significantly increases the verification workload on the processor resources, resulting in severe performance degradation. This paper presents a pro-active verification management approach to mitigate the verification workload to increase its performance with a minimal effect on overall reliability. An anomaly-speculation-based filter checker is proposed to guide a verification priority before the re-execution process starts. This technique is accomplished by exploiting a value similarity property, which is defined by a frequent occurrence of partially identical values. Based on the biased distribution of similarity distance measure, this paper investigates further application to exploit similar values for soft error tolerance with anomaly speculation. Extensive measurements prove that the majority of instructions produce values, which are different from the previous result value, only in a few bits. Experimental results show that the proposed scheme accelerates the processor to be 180% faster than traditional fully-fault-tolerant processor with a minimal impact on overall soft error rate.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.156.4-156
• /
• 2001

The uncertainties of an atmospheric re-entry flight with respect to stability and controllability are aerodynamic error, measurement error of the angle of attack, variation of dynamic pressure, wind, and trim position of the control surfaces, etc. During hypersonic flight, a future angle of attack is biased from a nominal schedule. In order words, because the angle of attack is estimated from the navigation data, estimation error occurs due to wind, atmospheric density variation, etc. Error models used in this study, include a standard deviation of +-3 sigma, and are the normal distribution of statistics. This paper shows the appraisement of tracking performance onto the reference trajectory, satisfaction of the initial condition of TAEM about the re-entry system.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.736-740
• /
• 1991

EEG(Electroencephalogram) background signals can be represented as the sun of a conventional AR(Autoregressive) process and an innovation process, or a prediction error process. We have seen that conventional estimation techniques. such as least square estimates(LSE) or Gaussian maximum likelihood estimates(MLE-G) are optimal when the innovation process satisfies the Gaussian or presumed distribution. But when the data are contaminated by outliers, or artifacts, these assumptions are not met and conventional estimation techniques can badly fall and be strongly biased. It is known that EEG can be easily affected by artifacts. So we suggest a robust estimation technique which considerably performs well against those artifacts.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2002.09a
• /
• pp.213-220
• /
• 2002

본 연구에서는 최근에 개발된 Unscented Particle Filter (UPF)를 사용한 비선형 동적 구조계의 구조계수 규명기법이 연구되었다. 일반적인 비선형 구조계수 추정 문제의 일반 해는 존재하지 않으나, 그에 대한 대안으로써 선형 근사 기법인 extended Kalman filter (EKF)가 비선형 동적 구조계수의 추정에 주로 사용되어왔다. 그러나, EKF는 구간 선형(piecewise linear) 가정으로 인해 biased estimator이고 비선형성이 상대적으로 높을 때 오차가 큰 추정치를 주는 단점을 가진다. 이를 보완하기 위해서 UPF가 개발되었고, 이 기법은 particle filter의 일종으로써 Unscented Kalman filter (UKF)를 사용하여 importance proposal distribution을 생성한다. 수치실험이 SDOF와 MDOF에 대하여 3가지 경우에 대해서 수행되었다. 비선형 SDOF의 수치 실험으로부터 잡음이 가해진 상태에서 UKF가 EKF에 비해 초기 공분산 행렬의 가정에 대해 정확하고 강인한 추정결과를 보여줌을 보였다 최하층의 column에 비선형 거동이 발생하는 5층 전단 빌딩모형의 수치실험으로부터 UKF가 복잡한 구조물의 구조계수 추정능력이 있음을 보여주었다. 여러 가지 수치실험은 UPF가 EKF보다 비선형 동적 구조계수 추정에 있어서 더 나은 방법임을 보여 주었다.

• Proceedings of the Korea Institute of Applied Superconductivity and Cryogenics Conference
• /
• 2000.02a
• /
• pp.154-157
• /
• 2000

Superconducting tape easily can applied to distribution of electricity. It designs basic model of Saturable Reactor type Fault Current Limiter which used superconducting tape, and observes a specific character by means of simulation. Saturable Reactor type Fault Current Limiter is not influenced by saturation of Magnet core appeared in Induction Fault Current Limiter, because it exploit saturation of Iron core. But, it is possible that superconducting tape quenched when AC current flow to superconducting tape which biased DC voltage.

• Proceedings of the KIEE Conference
• /
• 2007.04a
• /
• pp.29-31
• /
• 2007

In this paper we propose an directional analytic approach in image data space for X-ray image which is detected from the X-ray projection system. Such a radiographic nondestructive testing has long been used for steel-tube inspection and weld monitoring. The welded area and thickness of steel-tube are detected from gradient radiating mechanism based on the evaluation of biased X-ray source position. The welded area is an ellipse type on low contrast X-ray image including noise. Noise originates from most of elements of the system. such as shielding CCD camera, imaging screen, X-ray source, inspected object, electronic circuits and etc.. Projection incorrectness and noise influence on imaging quality is to be represented by vertical pixels' distribution. Space analysis due to vertical direction also shows the segmental possibility between regions by visual edge evaluation.

• Genomics & Informatics
• /
• v.4 no.4
• /
• pp.182-187
• /
• 2006

6-Phosphogluconolactonase (6PGL) is one of the key enzymes in the ubiquitous pathways of central carbon metabolism, but bacterial 6PGL had been long known as a missing enzyme even after complete bacterial genome sequence information became available. Although recent experimental characterization suggests that there are two types of 6PGLs (DevB and YbhE), their phylogenetic distribution is severely biased. Here we present that proteins in COG group previously described as 3-oarboxymuconate cyclase (COG2706) are actually the YbhE-type 6PGLs, which are widely distributed in Proteobacteria and Fimicutes. This case exemplifies how erroneous functional description of a member in the reference database commonly used in transitive genome annotation cause systematic problem in the prediction of genes even with universal cellular functions.

• Journal of Biomedical Engineering Research
• /
• v.13 no.2
• /
• pp.125-132
• /
• 1992

Background EEG signals can be represented as the sum of a conventional AR process and an innovation process. It Is know that conventional estimation techniques, such as least square estimates (LSE) or Gaussian maximum likelihood estimates (MLE-G ) are optimal when the innovation process satisfies the Gaussian or presumed distribution. When the data are contaminated by outliers, however, these assumptions are not met and the power spectrum estimated by conventional estimation techniques may be fatally biased. EEG signal may be affected by artifacts, which are outliers in the statistical term. So the robust filtering estimation technique is used against those artifacts and it performs well for the contaminated EEG signal.

• Journal of the Korean Statistical Society
• /
• v.35 no.3
• /
• pp.239-250
• /
• 2006

A $2{\times}2$ crossover design including carryover effect is considered for assessment of population bioequivalence of two drug formulations in a Bayesian framework. In classical analysis, it is complex to deal with the carryover effect since the estimate of the drug effect is biased in the presence of a carryover effect. The proposed method in this article uses uninformative priors and vague proper priors for objectiveness of priors and the posterior probability distribution of the parameters of interest is derived with given priors. The posterior probabilities of the hypotheses for assessing population bioequivalence are evaluated based on a Markov chain Monte Carlo simulation method. An example with real data set is given for illustration.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2010.04a
• /
• pp.35-37
• /
• 2010

To construct precision geoid model, the gravity data having equal distribution and quality is necessary. In previous study, however, the geoid model has low precision since the biased distributed gravity data and some unverified data has been used and the gap between land and ocean exists. Now, the airborne and land gravity data was collected by various survey and the ship-borne gravity data and altimeter data has been achieved. Therefore, the precision geoid model development would be possible. And the GPS/Leveling data obtained by NGII could be used for construction of hybrid geoid in Korea. In this study, the procedure of geoid construction based on airborne, land, ship-borne and altimeter data using Remove-Restore technique will be explained. And the verification of gravimetric geoid and hybrid geoid would be introduced.