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
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
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.
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.
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ć.