A multiagent diagnostic system implemented in a ProtégéJADE-JESS environment interfaced with a dynamic simulator and database services is described in this paper. The proposed system architecture enables the use of a combination of diagnostic methods from heterogeneous knowledge sources. The process ontology and the process agents are designed based on the structure of the process system, while...

Studies suggest that when the lower-potency estrogen, estriol, is administered topically, it does not increase the risk of hormone-dependent cancers of the breast or endometrium (uterine lining).1-3 However, having weaker estrogenic effects does not mean that estriol has none of the benefits that come with more potent estrogens. Studies suggest that estriol reduces symptoms of menopause, such a...

This paper describes how the effects of possible component failures on an electrical system can be predicted through simulation of the correct behavior of the system, and repeated simulation of versions of the system containing faulty components. The results of such simulation are useful both for failure mode and effects analysis (FMEA), and for diagnosis. Such results have been used commercial...

The paper presents how CSP and the associated tool FDR are used to support FMEA of a software intensive system. The paper explains the basic steps of our approach (formal specification, systematic fault identification, fault injection experiments and follow-up) and gives some results related to the application of this method to the industrial case study, a railway signalling system that is pres...

Failure mode and reliability analysis is particularly important for robot manipulators to be deployed in remote environments, where inspection and repair are di cult, and reliability is of prime importance. This is particularly true for manipulators involved in hazardous waste management operations, where failure could be both expensive and highly dangerous. In this paper, we describe a Fault T...

Der Beitrag stellt ein softwaregestütztes Modell vor, in dem methodische, softwaretechnische und organisatorische Ansätze zu einem Werkzeug für das präventive Risikomanagement zusammengeführt sind. Das Modell verknüpft folgende softwaregestützte Methoden mit dem Risikomanagementprozess: 1. Risikobeurteilung: Einsatz der softwaregestützten FMEA (FehlerMöglichkeits und Einfluss-Analyse) und weite...

Failure detection and group membership are two important components of fault-tolerant distributed systems. Understanding their role is essential when developing efficient solutions, not only in failure-free runs, but also in runs in which processes do crash. While group membership provides consistent information about the status of processes in the system, failure detectors provide inconsistent...

Agents with incomplete knowledge of their actions can either plan around the incompleteness, ask questions of a domain expert, or learn through trial and error. We present and evaluate several approaches to formulating plans under incomplete information, using the plans to identify relevant (goaldirected) questions, and interleaving acting, planning, and question asking. We show that goal-direc...

This paper describes an incremental scenario-based simulation approach to evaluation of intelligent software for control and management of hardware systems. A hybrid continuous/discrete event simulation of the hardware dynamically interacts with the intelligent software in operations scenarios. Embedded anomalous conditions and failures in simulated hardware can lead to emergent software behavi...

Yahoo Japan Search Technology (YJST) team participated in the Query Understanding subtask of NTCIR-12 IMine-2. We explored various search log mining techniques to discover subtopics against the given original topics. For Vertical Identification, we trained a Gradient Boosted Decision Tree (GBDT) learner to identify a vertical label to each subtopic using several complex features including topic...