Freeze 发表于 2025-3-25 04:50:37
http://reply.papertrans.cn/28/2707/270615/270615_21.pngCrater 发表于 2025-3-25 09:54:56
Active Systems . of the system. The observable outputs produced by the system during its reaction represent the . of the system. The system observation is always associated with a relevant observer, that is, the mode in which the observable outputs can be actually seen from the external world. In fact, only a sub伪造 发表于 2025-3-25 14:19:41
Monolithic Diagnosisee types of diagnoses are envisaged, namely, . diagnosis, . diagnosis, and . diagnosis. A shallow diagnosis of . is the set of faulty components involved in . A deep diagnosis of . is the set of faults relevant to . , each fault being the association of a fault event with a component. Finally, a dynOVER 发表于 2025-3-25 16:59:23
http://reply.papertrans.cn/28/2707/270615/270615_24.pngWordlist 发表于 2025-3-25 21:46:06
Simulation-Based Diagnosiss a synchronous link with a ready event, the system transition will be synchronous (including all the triggerable component transitions), otherwise it will be asynchronous (including just a component transition) . Both monolithic and modular diagnostic approaches are extended for polymorphic systemsDAMP 发表于 2025-3-26 01:00:04
Uncertain Observationsmunication between the system and the observer, combined with the possibly limited ability of the observer to observe, is either bound to generate spurious observed events, to randomly lose some events, or to lose temporal constraints among them. To cope with these uncertainties, a number of princip使满足 发表于 2025-3-26 04:29:59
http://reply.papertrans.cn/28/2707/270615/270615_27.png针叶类的树 发表于 2025-3-26 11:19:02
Sample Applicationrge of reconnecting the part of the network that is not affected by the short circuit and to leave isolated the (unknown) shorted line only. Typically, the operator works under tight time constraints based on the state of the network after the reaction and a large set of messages sent by the protect朴素 发表于 2025-3-26 15:09:49
http://reply.papertrans.cn/28/2707/270615/270615_29.png某人 发表于 2025-3-26 19:18:08
Prabhjyot Kaur,Siuly Siuly,Yuan Miaonoses. Given a diagnostic problem, diag¬nosis is generated at runtime by filtering out those rules matching the system observation. This way, both the accuracy of the model-based approach and the simplicity and efficiency of the reasoning mechanism of the rule-based counterpart are saved.