Constraint Based System-Level Diagnosis of Multiprocessors

Massively parallel multiprocessors induce new requirements for system-level fault diagnosis, like handling a huge number of processing elements in an inhomogeneous system. Traditional diagnostic models (like PMC, BGM, etc.) are insufficient to fulfill all of these requirements. This paper presents a novel modelling technique, based on a special area of artificial intelligence (AI) methods: constraint satisfaction (CS). The constraint based approach is able to handle functional faults in a similar way to the Russel-Kime model. Moreover, it can use multiple-valued logic to deal with system components having multiple fault modes. The resolution of the produced models can be adjusted to fit the actual diagnostic goal. Consequently, constrint based methods are applicable to a much wider range of multiprocessor architectures than earlier models. The basic problem of system-level diagnosis, syndrome decoding, can be easily transformed into a constraint satisfaction problem (CSP). Thus, the diagnosis algorithm can be derived from the related constraint solving algorithm. Different abstraction leveles can be used for the various diagnosis resolutions, employing the same methodology. As examples, two algorithms are described in the paper; both of them is intended for the Parsytec GCel massively parallel system. The centralized method uses a more elaborate system model, and provides detailed diagnostic information, suitable for off-line evaluation. The distributed method makes fast decisions for reconfiguration control, using a simplified model. Keywords system-level self-diagnosis, massively parallel computing systems, constraint satisfaction, diagnostic models, centralized and distributed diagnostic algorithms

Development of Classification Features of Mental Disorder Characteristics Using The Fuzzy Logic

Abstract—Mental disorders are related to self-injurious behavior problems of mind, such as the tendency to commit suicide. This research has built a system to classify the disorder. It explains that a system is used to help the people recognize mental illness as a diagnosis detection. Diagnosis can be done in the form of automation system using data mining with Fuzzy Logic method. This system can make decision to classify the mental illnesses based on symptoms. The first stage of the research was collecting and preprocessing the data by type. There are six types of psychiatric disorders that are determined, namely Schizophrenia Paranoid, Phobia, Depression, Anxiety, Obsessive Compulsive Disorder (OCD), and Anti-Social. The source of the data were questionnaires that consisted of the list of symptoms and types of disorders that were distributed to 16 selected respondents, including psychiatric specialists, psychology lecturers, general practitioners, psychiatric hospital nurses, and psychology students. The next stage was building the fuzzy process to determine ten inputs in the form of symptoms. Outputs system were six types of the disease. The fuzzy inference system used Mamdani model and obtained 65 rules in determining the classification. The result of system test is done for both training and testing data and accuracy level of 91.67% for training data and 81.94% for testing dat

Agent Based Test and Repair of Distributed Systems

This article demonstrates how to use intelligent agents for testing and repairing a distributed system, whose elements may or may not have embedded BIST (Built-In Self-Test) and BISR (Built-In Self-Repair) facilities. Agents are software modules that perform monitoring, diagnosis and repair of the faults. They form together a society whose members communicate, set goals and solve tasks. An experimental solution is presented, and future developments of the proposed approach are explore

Cooperation in Industrial Systems

ARCHON is an ongoing ESPRIT II project (P-2256) which is approximately half way through its five year duration. It is concerned with defining and applying techniques from the area of Distributed Artificial Intelligence to the development of real-size industrial applications. Such techniques enable multiple problem solvers (e.g. expert systems, databases and conventional numerical software systems) to communicate and cooperate with each other to improve both their individual problem solving behavior and the behavior of the community as a whole. This paper outlines the niche of ARCHON in the Distributed AI world and provides an overview of the philosophy and architecture of our approach the essence of which is to be both general (applicable to the domain of industrial process control) and powerful enough to handle real-world problems

Towards distributed diagnosis of the Tennessee Eastman process benchmark

A distributed hybrid strategy is outlined for the isolation of faults and disturbances in the Tennessee Eastman process, which would build on existing structures for distributed control systems, so should be easy to implement, be cheap and be widely applicable. The main emphasis in the paper is on one component of the strategy, a steady-state-based approach. Results obtained by applying this approach are presented and knowledge limitations are discussed. In particular a way in which a knowledge-base might evolve to improve isolation capabilities is suggested and the role of the operator is briefly discussed

ART Neural Networks: Distributed Coding and ARTMAP Applications

ART (Adaptive Resonance Theory) neural networks for fast, stable learning and prediction have been applied in a variety of areas. Applications include airplane design and manufacturing, automatic target recognition, financial forecasting, machine tool monitoring, digital circuit design, chemical analysis, and robot vision. Supervised ART architectures, called ARTMAP systems, feature internal control mechanisms that create stable recognition categories of optimal size by maximizing code compression while minimizing predictive error in an on-line setting. Special-purpose requirements of various application domains have led to a number of ARTMAP variants, including fuzzy ARTMAP, ART-EMAP, Gaussian ARTMAP, and distributed ARTMAP. ARTMAP has been used for a variety of applications, including computer-assisted medical diagnosis. Medical databases present many of the challenges found in general information management settings where speed, efficiency, ease of use, and accuracy are at a premium. A direct goal of improved computer-assisted medicine is to help deliver quality emergency care in situations that may be less than ideal. Working with these problems has stimulated a number of ART architecture developments, including ARTMAP-IC [1]. This paper describes a recent collaborative effort, using a new cardiac care database for system development, has brought together medical statisticians and clinicians at the New England Medical Center with researchers developing expert systems and neural networks, in order to create a hybrid method for medical diagnosis. The paper also considers new neural network architectures, including distributed ART {dART), a real-time model of parallel distributed pattern learning that permits fast as well as slow adaptation, without catastrophic forgetting. Local synaptic computations in the dART model quantitatively match the paradoxical phenomenon of Markram-Tsodyks [2] redistribution of synaptic efficacy, as a consequence of global system hypotheses.Office of Naval Research (N00014-95-1-0409, N00014-95-1-0657

A High-level EDA Environment for the Automatic Insertion of HD-BIST Structures

This paper presents a High-Level EDA environment based on the Hierarchical Distributed BIST (HD-BIST), a flexible and reusable approach to solve BIST scheduling issues in System-on-Chip applications. HD-BIST allows activating and controlling different BISTed blocks at different levels of hierarchy, with a minimum overhead in terms of area and test time. Besides the hardware layer, the authors present the HD-BIST application layer, where a simple modeling language, and a prototypical EDA tool demonstrate the effectiveness of the automation of the HD-BIST insertion in the test strategy definition of a complex System-on-Chip

Economic inequalities in burden of illness, diagnosis and treatment of five long-term conditions in England: panel study

We compared the distribution by wealth of self-reported illness burden (estimated from validated scales, biomarker and reported symptoms) for angina, cataract, depression, diabetes and osteoarthritis, with the distribution of self-reported medical diagnosis and treatment. We aimed to determine if the greater illness burden borne by poorer participants was matched by appropriately higher levels of diagnosis and treatment

ARTMAP-IC and Medical Diagnosis: Instance Counting and Inconsistent Cases

For complex database prediction problems such as medical diagnosis, the ARTMAP-IC neural network adds distributed prediction and category instance counting to the basic fuzzy ARTMAP system. For the ARTMAP match tracking algorithm, which controls search following a predictive error, a new version facilitates prediction with sparse or inconsistent data. Compared to the original match tracking algorithm (MT+), the new algorithm (MT-) better approximates the real-time network differential equations and further compresses memory without loss of performance. Simulations examine predictive accuracy on four medical databases: Pima Indian diabetes, breast cancer, heart disease, and gall bladder removal. ARTMAP-IC results arc equal to or better than those of logistic regression, K nearest neighbor (KNN), the ADAP perceptron, multisurface pattern separation, CLASSIT, instance-based (IBL), and C4. ARTMAP dynamics are fast, stable, and scalable. A voting strategy improves prediction by training the system several times on different orderings of an input set. Voting, instance counting, and distributed representations combine to form confidence estimates for competing predictions.National Science Foundation (IRI 94-01659); Office of Naval Research (N00014-95-J-0409, N00014-95-0657

A self-validating control system based approach to plant fault detection and diagnosis

An approach is proposed in which fault detection and diagnosis (FDD) tasks are distributed to separate FDD modules associated with each control system located throughout a plant. Intended specifically for those control systems that inherently eliminate steady state error, it is modular, steady state based, requires very little process specific information and therefore should be attractive to control systems implementers who seek economies of scale. The approach is applicable to virtually all types of process plant, whether they are open loop stable or not, have a type or class number of zero or not and so on. Based on qualitative reasoning, the approach is founded on the application of control systems theory to single and cascade control systems with integral action. This results in the derivation of cause-effect knowledge and fault isolation procedures that take into account factors like interactions between control systems, and the availability of non-control-loop-based sensors