All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 7 Next

Displaying 121 – 140 of 209

Showing per page

Active fault diagnosis based on stochastic tests

Niels K. Poulsen, Henrik Niemann (2008)

International Journal of Applied Mathematics and Computer Science

The focus of this paper is on stochastic change detection applied in connection with active fault diagnosis (AFD). An auxiliary input signal is applied in AFD. This signal injection in the system will in general allow us to obtain a fast change detection/isolation by considering the output or an error output from the system. The classical cumulative sum (CUSUM) test will be modified with respect to the AFD approach applied. The CUSUM method will be altered such that it will be able to detect a change...

Actuator fault diagnosis for flat systems: A constraint satisfaction approach

Ramatou Seydou, Tarek Raissi, Ali Zolghadri, Denis Efimov (2013)

International Journal of Applied Mathematics and Computer Science

This paper describes a robust set-membership-based Fault Detection and Isolation (FDI) technique for a particular class of nonlinear systems, the so-called flat systems. The proposed strategy consists in checking if the expected input value belongs to an estimated feasible set computed using the system model and the derivatives of the measured output vector. The output derivatives are computed using a numerical differentiator. The set-membership estimator design for the input vector takes into account...

Adaptive tests for periodic signal detection with applications to laser vibrometry

Magalie Fromont, Céline Lévy-leduc (2006)

ESAIM: Probability and Statistics

Initially motivated by a practical issue in target detection via laser vibrometry, we are interested in the problem of periodic signal detection in a Gaussian fixed design regression framework. Assuming that the signal belongs to some periodic Sobolev ball and that the variance of the noise is known, we first consider the problem from a minimax point of view: we evaluate the so-called minimax separation rate which corresponds to the minimal l2-distance between the signal and zero so that the detection...

Address sequences and backgrounds with different Hamming distances for multiple run March tests

Svetlana Yarmolik (2008)

International Journal of Applied Mathematics and Computer Science

It is widely known that pattern sensitive faults are the most difficult faults to detect during the RAM testing process. One of the techniques which can be used for effective detection of this kind of faults is the multi-background test technique. According to this technique, multiple-run memory test execution is done. In this case, to achieve a high fault coverage, the structure of the consecutive memory backgrounds and the address sequence are very important. This paper defines requirements which...

Aggregation of fuzzy vector spaces

Carlos Bejines (2023)

Kybernetika

This paper contributes to the ongoing investigation of aggregating algebraic structures, with a particular focus on the aggregation of fuzzy vector spaces. The article is structured into three distinct parts, each addressing a specific aspect of the aggregation process. The first part of the paper explores the self-aggregation of fuzzy vector subspaces. It delves into the intricacies of combining and consolidating fuzzy vector subspaces to obtain a coherent and comprehensive outcome. The second...

Algebra of Polynomially Bounded Sequences and Negligible Functions

Hiroyuki Okazaki (2015)

Formalized Mathematics

In this article we formalize negligible functions that play an essential role in cryptology [10], [2]. Generally, a cryptosystem is secure if the probability of succeeding any attacks against the cryptosystem is negligible. First, we formalize the algebra of polynomially bounded sequences [20]. Next, we formalize negligible functions and prove the set of negligible functions is a subset of the algebra of polynomially bounded sequences. Moreover, we then introduce equivalence relation between polynomially...

Currently displaying 121 – 140 of 209