Ամսագրի կամ հրապարակման վերնագիր:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Հրապարակման ամսաթիւ:

2008

Հատոր:

30

ISSN:

0131-4645

Լրացուցիչ տեղեկութիւն:

կապին հետեւելուն համար սեղմէ հոս

Այլ վերնագիր:

Արդյունավետ մարշատիպ ալգորիթմ դինամիկ անսարքությունների ենթադասի բոլոր անսարքությունների հայտնաբերման համար

Ծածկոյթ:

18-24

Ամփոփում:

This paper introduces an e±cient March-like algorithm for detection of the well known class Sav of dynamic faults. Sav is the subclass of all two-operation dynamic functional fault models that are sensitized by means of applying two consecutive operations, one applied on the aggressor cell and the second operation applied on the victim cell. Earlier, only subclasses Saa and Svv were considered by a few authors when both sensitizing operations were applied either on the aggressor or victim cell, and March algorithms were developed by them. Subclasses Sav and Sva were not considered due to their complexity. A larger class of March-like algorithms has to be considered for detection of those subclasses since March algorithms cannot detect them. It is shown that 392N operations are su±cient for detection of faults from Sav.

Հրատարակիչ:

Изд-во НАН РА

Ստեղծման ամսաթիւը:

2008-09-10

Ձեւաչափ:

pdf

Նոյնացուցիչ:

oai:arar.sci.am:258552

Բնօրինակին գտնուելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան