A Web and multi-agent based electric equipment condition monitoring and fault diagnosis information management system

Author(s):  
Xiangrong Zu ◽  
Lianzhong Liu ◽  
Qinglin Guo
Author(s):  
Srikanth Kallurkar ◽  
Bin Yu ◽  
Jay Askren ◽  
Lewis Fishgold ◽  
Ganesh Vaidyanathan ◽  
...  

2004 ◽  
Vol 7 (4) ◽  
pp. 373-389 ◽  
Author(s):  
Rajeev R. Raje ◽  
Daocheng Zhu ◽  
Snehasis Mukhopadhyay ◽  
Liying Tang ◽  
Mathew Palakal ◽  
...  

Author(s):  
Hong Lin

In this chapter a program construction method based on ?-Calculus is proposed. The problem to be solved is specified by first-order predicate logic and a semantic verification program is constructed directly from the specification. We exploit this method in synthesizing the architectural specifications of multi-agent systems (MAS) in ?-Calculus based on the logic specifications of the MAS. By enabling the transformation from the logic specifications to operational specifications of MAS, this method allows the design of the MAS to be focused on the architectural definition level. It benefits the development of MAS by enabling logic deduction on behaviors of the MAS, and a design methodology in an incremental fashion. We present this method by a case study of designing a course information management system.


2014 ◽  
Vol 577 ◽  
pp. 913-916
Author(s):  
Feng Wang ◽  
Shu Yun Qiao ◽  
Xu Long Zhang

This paper analyses software and hardware, the content of information display and the method of fault diagnosis of the old information management system of the hoist with AC-AC converter. Communication between the information management system and PLC has been investigated. The way to translate the communication protocol of the hoist of AC-AC converter imported has been found. The software Visual Basic 6.0 is adapted to programmer and make up the interface. The faults diagnosis system which can provide the fast device maintenance and the faults localization during system running has been reconfigured.


Sign in / Sign up

Export Citation Format

Share Document