PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 7

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  diagnosability
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote A Local Diagnosis Algorithm for Hypercube-like Networks under the BGM Diagnosis Model
Lin Cheng-Kuan, Kung Tzu-Liang, Chun-Nan Hung, Yuan-Hsiang Teng
Fundamenta Informaticae
|
2022
|
Vol. 185, nr 4
357--373
EN
System diagnosis is process of identifying faulty nodes in a system. An efficient diagnosis is crucial for a multiprocessor system. The BGM diagnosis model is a modification of the PMC diagnosis model, which is a test-based diagnosis. In this paper, we present a specific structure and propose an algorithm for diagnosing a node in a system under the BGM model. We also give a polynomial-time algorithm that a node in a hypercube-like network can be diagnosed correctly in three test rounds under the BGM diagnosis model.
2
Content available remote The Diagnosability of(K4 - {e})-free Graphs under the PMC Diagnosis Model
Lin Cheng-Kuan, Kung Tzu-Liang, Wang Dajin, Teng Yuan-Hsiang
Fundamenta Informaticae
|
2020
|
Vol. 177, nr 2
181--188
EN
The ability of identifying all the faulty devices in a multiprocessor system is known as diagnosability. The PMC model is the test-based diagnosis with a processor performing the diagnosis by testing the neighboring processors via the links between them. In this paper, we discuss the diagnosability of a (K4–{e })-free graph under the PMC model.
3
Content available remote The Complexity of Diagnosability and Opacity Verification for Petri Nets
Bérard B., Haar S., Schmitz S., Schwoon S.
Fundamenta Informaticae
|
2018
|
Vol. 161, nr 4
317--349
EN
Diagnosability and opacity are two well-studied problems in discrete-event systems. We revisit these two problems with respect to expressiveness and complexity issues. We first relate different notions of diagnosability and opacity. We consider in particular fairness issues and extend the definition of Germanos et al. [ACM TECS, 2015] of weakly fair diagnosability for safe Petri nets to general Petri nets and to opacity questions. Second, we provide a global picture of complexity results for the verification of diagnosability and opacity. We show that diagnosability is NL-complete for finite state systems, PSPACE-complete for safe convergent Petri nets (even with fairness), and EXPSPACE-complete for general Petri nets without fairness, while non diagnosability is inter-reducible with reachability when fault events are not weakly fair. Opacity is ESPACE-complete for safe Petri nets (even with fairness) and undecidable for general Petri nets already without fairness.
4
Content available remote Diagnostic equivalent for widespread manufacturing system
Przystupa F. W.
Archives of Civil and Mechanical Engineering
|
2010
|
Vol. 10, no 3
111-122
EN
In the case of diagnosed system with widespread characteristics, the elementary Diagnostic Equivalent Rd, considered as to be a standard object of observation, is an important facilitating factor. When the frequency of diagnoses has been determined for a standard subassembly, this equivalent permits to define the indispensable quantity and quality of simultaneously working diagnosers. Notions of diagnostic potential and diagnosability are proposed, based on systems-based definitions of knowledge and skills. The definition of a diagnostic tandem is introduced. The whole is illustrated by an application example in a MS conveyor.
PL
W przypadku rozległego systemu produkcyjnego, niezbędne jest wykorzystanie współczynnika Rd - ekwiwalentu diagnostycznego, określającego konieczność wykorzystania większej ilości systemów diagnostycznych. Gdy określi się częstotliwość obserwacji jednostkowego zespołu w systemie, określenie jakości i ilości niezbędnych diagnozerów staje się proste. Wprowadzono definicje kilku istotnych czynników procesu diagnozowania - potencjału diagnostycznego, tandemu diagnostycznego, itp. Całość zilustrowano przykładem diagnozowania przenośnika w systemie produkcji.
5
Content available remote A method for sensor placement taking into account diagnosability criteria
Yassine A. A., Ploix S., Flaus J.-M.
International Journal of Applied Mathematics and Computer Science
|
2008
|
Vol. 18, no 4
497-512
EN
This paper presents a new approach to sensor placement based on diagnosability criteria. It is based on the study of structural matrices. Properties of structural matrices regarding detectability, discriminability and diagnosability are established in order to be used by sensor placement methods. The proposed approach manages any number of constraints modelled by linear or nonlinear equations and it does not require the design of analytical redundancy relations. Assuming that a constraint models a component and that the cost of the measurement of each variable is defined, a method determining sensor placements satisfying diagnosability specifications, where all the diagnosable, discriminable and detectable constraint sets are specified, is proposed. An application example dealing with a dynamical linear system is presented.
6
Content available Własności diagnostyczne struktur będących niepełnymi hipersześcianami
Chudzikiewicz J.
Diagnostyka
|
2008
|
nr 2(46)
57-60
PL
Struktury typu hipersześcianu H(n) zapewniają odpowiednią wnikliwość diagnostyczną oraz dużą niezawodność w sensie spójności sieci. Struktury H(n) charakteryzują się silnym ograniczeniem na liczbę węzłów równą - 2(n). Struktury niepełnych hipersześcianów, nie mają takiego ograniczenia, ale podobnie jak struktury H(n) znajdują szerokie zastosowania w systemach przetwarzania danych, szczególnie do budowy systemów tolerujących uszkodzenia ze względu na ich naturalne cechy redundancji. W referacie przedstawiono własności diagnostyczne struktur będących niepełnymi hipersześcianami. Własności te zostały określone dla metody opiniowania diagnostycznego.
EN
The hypercube structures have large reliability and large diagnostic deepness and are used in self-diagnostic systems. Structures H(n) are characterized by a strong limitation on the number of nodes equal 2(n). The structures of incomplete hypercubes do not have such limitations, but similarly as H(n) structures find wide application in data processing systems, especially for building fault tolerant systems, because such structures have natural features of redundancy. In the paper the diagnostic properties of incomplete hypercube structures are presented. These properties were defined for the method of diagnostic opinion.
7
Content available Wyznaczanie wnikliwości diagnostycznej struktur opiniowania diagnostycznego
Kulesza R., Zieliński Z.
Biuletyn Instytutu Automatyki i Robotyki
|
2007
|
R. 13, nr 24
3-14
PL
Przedstawiono sposób wyznaczania wzorca opinii diagnostycznych dla struktury opiniowania diagnostycznego, przy stosowaniu symetrycznej reguły opiniowania (reguły PMC) oraz sposób przekształcania tego wzorca do wzorca alternatywnych stanów niezdatności struktury, który odzwierciedla jej wnikliwość diagnostyczną.
EN
The paper presents a method used for determination of the pattern of diagnostic opinions for the type PMC diagnostic structure and its disjoined cover. It provides assignment of the system alternative sets of reliability states and the diagnostic resolution of the diagnostic structure.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.