• Journal of Information Processing Systems
• /
• 제7권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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1016-1022
• /
• 2007

It is demanded to produce the safety evidence documents in other to approval safety characteristic of railway signaling system which stands is included, it is demanding from IEC 62425 standards. Also it is express clearly that safety assessment if signaling system has to be verification of these safety evidence documents. This Safety Case has the results of safety activity through system life-cycle, such as hazard lists, hazard identification and analysis, risk assessment and countermeasure, verification and test results. Consequently, first of all, the analysis and verification of these Safety Case documents has to be accomplished to approval and acceptance of signaling system safety. And also if the safety assessor was want, it is able to be experimental test auditory which is, arbitrary faults injection test, to above described documents verification. In this paper, the contents and architecture of Safety Case are presented as first steps of safety assessment technology establishment for railway signaling system.

• 대한음성학회지:말소리
• /
• 제45호
• /
• pp.79-91
• /
• 2003

Utterance verification aims at rejecting both out-of-vocabulary (OOV) utterances and low-confidence-scored in-vocabulary (IV) utterances. For utterance verification on Korean connected digit recognition task, we investigate several methods to construct filler and anti-digit models. In particular, we propose a substitution error correction method based on 2-best decoding results. In this method, when 1st candidate is rejected, 2nd candidate is selected if it is accepted by a specific hypothesis test, instead of simply rejecting the 1st one. Experimental results show that the proposed method outperforms the conventional log likelihood ratio (LLR) test method.

• Journal of the Optical Society of Korea
• /
• 제15권1호
• /
• pp.15-21
• /
• 2011

This paper proposes a new approach to palmprint verification based on the gradient, in which a palm image is considered to be a three-dimensional terrain. Principal lines and wrinkles make deep and shallow valleys on a palm landscape. Then the steepest slope direction in each local area is first computed using the Kirsch operator, after which an orientation map is created that represents the dominant slope direction of each pixel. In this study, three orientation maps were made with different scales to represent local and global gradient information. Next, feature matching based on pixel-unit comparison was performed. The experimental results showed that the proposed method is superior to several state-of-the-art methods. In addition, the verification could be greatly improved by fusing orientation maps with different scales.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제17권3호
• /
• pp.938-957
• /
• 2023

The limited computing power of sensor nodes in wireless sensor networks (WSNs) and data tampering during wireless transmission are two important issues. In this paper, we propose a scheme for independent individual authentication of WSNs data based on digital watermarking technology. Digital watermarking suits well for WSNs, owing to its lower computational cost. The proposed scheme uses independent individual to generate a digital watermark and embeds the watermark in current data item. Moreover, a sink node extracts the watermark in single data and compares it with the generated watermark, thereby achieving integrity verification of data. Inherently, individual validation differs from the grouping-level validation, and avoids the lack of grouping robustness. The improved performance of individual integrity verification based on proposed scheme is validated through experimental analysis. Lastly, compared to other state-of-the-art schemes, our proposed scheme significantly reduces the false negative rate by an average of 5%, the false positive rate by an average of 80% of data verification, and increases the correct verification rate by 50% on average.

• 대한용접접합학회:학술대회논문집
• /
• 대한용접접합학회 2000년도 특별강연 및 추계학술발표대회 개요집
• /
• pp.247-250
• /
• 2000

• 한국소음진동공학회논문집
• /
• 제19권12호
• /
• pp.1347-1355
• /
• 2009

This paper demonstrates the validity of spectral element analysis for modeling the high-frequency dynamic behaviors of a beam with a surface-bonded piezoelectric wafer through a laboratory test. In the spectral element analysis, the high-frequency electro-mechanical interaction can be considered properly with relatively low computational cost compared to the finite element analysis. In the verification test, a cantilever beam with a surface-bonded piezoelectric wafer is forced to be in steady-state motion by exerting the harmonic driving voltage signal on the piezoelectric wafer. A laser scanning vibrometer is used to obtain the overall dynamic responses of the structure such as resonance frequencies, the associated mode shapes, and frequency response functions up to 20 kHz. Then, these dynamic responses from the test are compared to those computed by the spectral element analysis. A two-dimensional finite analysis is conducted to obtain the asymptotic solutions for the comparison purpose as well.

• 정보저장시스템학회:학술대회논문집
• /
• 정보저장시스템학회 2005년도 추계학술대회 논문집
• /
• pp.254-259
• /
• 2005

In this study, measurement of thermal conductivity of multilayer thin dielectric film has been conducted via differential 3$\omega$ method. Also, verification of differential 3$\omega$ method has been accomplished with various proposed criteria. The target film for measurement is 300 nm silicon dioxide and this thin film is covered with various thicknesses of upper protective layer. The upper protective layer is inserted between the target film and the heater line for purpose of electrical insulator or anti-oxidation barrier since the target film may be a good electrical conductor or a well-oxidizing material. However, the verification of differential 3$\omega$ method has not been conducted. Thus we have shown that the measurement of thermal conductivity of thin films with upper protective layer via differential 3$\omega$ method is verified to be reliable as long as the proposed preconditions are satisfied. Experimental results show that the experimental errors tend to increase with aspect ratio between upper protective layer thickness and width of the heater line due to heat spreading effect.

• 설비공학논문집
• /
• 제14권2호
• /
• pp.153-160
• /
• 2002

As a way to assess the reliability of programs for building energy analysis, verification experiment and calculation of heating load are simultaneously conducted for a well-defined test space. Experimental conditions are carefully set to minimize uncertainties associated with radiation heating, air change, infiltration, and room-to-room interaction. Dyna- mic load calculations using TRNSYS, which are performed for two different computation domains, rely on the energy rate control that represents inherent load characteristics of a space. The predicted instantaneous heating load favorably simulates the overall behavior the measured one, though the latter fluctuates much more rapidly than the former Comparison of the accumulative load between the experiment and calculations shows a close agreement within an engineering tolerance, regardless of the computation model. It is deduced from such findings that the present experimental results along with weather information can serve as a set of reference data for validating load calculation softwares from the users'standpoint. In order to enhance the completeness of this work, a complementary study on the cooling load for the same test space is highly recommended.

• 정보저장시스템학회논문집
• /
• 제2권1호
• /
• pp.85-90
• /
• 2006

In this study, measurement of thermal conductivity of multilayer thin dielectric film has been conducted via differential $3\omega$ method. Also, verification of differential $3\omega$ method has been accomplished with various proposed criteria. The target film for the measurement is 300 nm thick silicon dioxide which is covered with upper protective layer of various thicknesses. The upper protective layer is inserted between the target film and the heater line for purpose of electrical insulator or anti-oxidation barrier since the target film may be a good electrical conductor or a well-oxidizing material. Since the verification of differential $3\omega$ method has not been conducted yet, we have shown that the measurement of thermal conductivity of thin films with upper protective layer via differential $3\omega$ method is verified to be reliable as long as the proposed preconditions of the samples are satisfied. Experimental results show that the experimental errors tend to increase with aspect ratio between thickness of the upper protective layer and width of the heater line due to heat spreading effect.