题  目：Efficient Combinatorial Models for Reliability Analysis of Complex Dynamic Systems

主讲人：Liudong Xing    University of Massachusetts, Dartmouth（美国）

时  间：6月22日上午10:00—11:00

地  点:主楼418

主讲人简介：
    Liudong Xing is an Associate Professor in the Department of Electrical & Computer Engineering at the University of Massachusetts, Dartmouth. She received her BE degree in Computer Science from Zhengzhou University, China, and MS and PhD degrees in Electrical Engineering from the University of Virginia, Charlottesville, USA. Her current research focuses on the reliability analysis of complex systems and networks. Dr. Xing's research has been supported by the US National Science Foundation (NSF). She is the author or coauthor of about 80 technical papers. Dr. Xing served as a program co-chair for IEEE DASC 2006 and UC-Sec 2009, and a program vice chair for international conferences of ICESS 2007, ICPADS 2008, and DASC 2009. She is a guest editor of Wireless Personal Communications, International Journal of Performability Engineering, and an associate guest editor for the Journal of Computer Science on a special issue of “Reliability and Autonomic Management”. She is also the Editor for Short Communications in the International Journal of Performability Engineering. Dr. Xing is the recipient of the IEEE Region 1 Technological Innovation (Academic) Award in 2007 and co-recipient of the Best Paper Award at the IEEE International Conference on Networking, Architecture, and Storage in 2009. She is a senior member of IEEE, and a member of Eta Kappa Nu.

内容简介：
    In the area of system reliability analysis, dynamic and dependent behavior such as multi-state, multi-phase, functional dependence, cascading failures, and sequence dependence has been recognized as a significant contribution to problems in overall system reliability. However, with the incorporation of the dynamic and dependent behavior, resulting dynamic system reliability models cannot be efficiently and accurately solved by existing state space based methods such as Markov methods. In this presentation, an overview on various dynamic and dependent behavior will be presented first. Efficient combinatorial approaches, in particular, decision diagrams and transform methods will then be discussed for the reliability analysis of complex dynamic systems. The application and performance of those combinatorial methods will be demonstrated through analyses of examples in areas of computer systems, phased-mission systems, capacity networks, and sensor networks.