Dissertation > Excellent graduate degree dissertation topics show

Research on Formal Representation and Decision Theoretic Planning of Emergency Plan

Author: LiuGuangYong
Tutor: ZengWei
School: Huazhong University of Science and Technology
Course: Systems Engineering
Keywords: Emergency plan templates Formal description Situation Calculus Markov Decision DT-Golog
CLC: N945.1
Type: Master's thesis
Year: 2011
Downloads: 45
Quote: 0
Read: Download Dissertation

Abstract


Pre-established contingency plans for specific equipment , facilities , places and the environment on the basis of the safety assessment to ensure quick and efficient to carry out emergency rescue operations , in order to reduce the personal, property and environmental damage caused by emergencies scientific action steps and programs, is the main basis to deal with emergencies . Curing the key elements in the contingency plans and measures to deal with formalized emergency plan templates , computer understandable When an emergency occurs , the disposal by a computer system in accordance with the established plan template auxiliary event , scheduling and collaboration to achieve emergency information sharing and emergency resources in a unified , efficient scheduling and allocation is digitized direction of the emergency plan , but the the fixed disposal process can not adapt to the complex and changing emergency situation . In this paper, the method of combining logic programming and Markov decision planning , research planning emergency plan template - based decision - making method . Contingency plans structured decomposition Situation Calculus logical language to formally describe the use of key elements of the decomposition and disposal of fixed process and determine the disposal process planning interface , in order to take advantage of the Markov Decision ( MDP ) to dynamically generate measures to deal with the establishment of the emergency plan templates . Logic programming constraints determine the emergency response process planning , state space , Markov decision in a bound reachable state space search planning optimal strategy can reduce the complexity of planning . The combination of logic programming and Markov decision planning can be achieved through the DT-Golog decision theory - oriented logic programming language (Golog) . DT-Golog Markov decision process into a logic programming language ( Golog ) , which seamlessly combines two methods of logic programming and decision theory planning , and inherit the advantages of the Golog language : programming control and planning flexibility and general . Yangtze Power Company on the basis of the above methods , the emergency rescue action plan template to verify the feasibility of the method .

Related Dissertations

  1. Study on Hybrid Remanufacturing/Manufacturing Inventory Control System Based on PULL Strategy,F224
  2. The Transmission Technology Research of Adaptive Streaming Based on Client-driven,TN919.8
  3. Research on Extended Role Graph Model Based on Hybrid Hierarchy,TP393.08
  4. Research on Reinforcement Learning Methods for Navigation and Control of Autonoumous Mobile Robots,TP242.6
  5. Research on Heterogeneous Wireless Networks Selection Algorithm of Complex Handover Scenario,TN929.5
  6. Optimization Maintenance of Wind Turbines Based on Markov Model,O211.62
  7. Research Onaggregate Interference of Cognitive Radio Networks,TN925
  8. Research on Inventory Management Method on Networded-manufacturing Envornment,F253.4
  9. Research of State Estimation Based on Kalman Filter Algorithm and Reliability Modeling and Optimization for Wind Turbine,TN713
  10. Research of Multi-Agent System’s Coordination Machanism Based on Planning Amalgamation,TP18
  11. Research on Agent Decision Problem Based on Markov Decision Process Theory,TP18
  12. Research on Stochastic Inventory Routing Problem in Integrated Logistic Management,F253.4
  13. Based on cross-entropy method of corporate equity portfolio strategy,F272
  14. A Research of UML Formal Verification Based on Situation Calculus and OCL Constraints Automatic Generation,TP311.52
  15. Research on Web Services Feature Interaction Detection Method,TP393.09
  16. The Research and Implementation of Object-based Comprehensive Security Policy Configuration Technology,TP393.08
  17. CTD Paradox Research,B812
  18. Research and Implementation of State Calculus Based on Knowledge,TP181
  19. Research and Implementation of Embedded Communication Middleware,TP311.52
  20. Research on Method of Automatic Semantic Web Service Composition,TP393.09

CLC: > SCIENCE AND > Journal of Systems Science > Systems Engineering > Systems Analysis
© 2012 www.DissertationTopic.Net  Mobile