面向海军战役分析的动态随机影响图建模与仿真方法研究
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
以装备体系对抗为特点的海军战役分析工作面向高层次的需求论证,需要全面考虑并有效处理广泛的不确定性和复杂的层次特性等因素。探索性分析虽然可以通过对问题广度的支撑改善论证分析效果,但仍然需要有效的分析模型的支撑。作为分析建模的方法之一,时间片影响图因其简洁、清晰以及运行快速等特点,已在现有研究中得到有效应用,但它仍然不能满足某些情况下,在同一分析模型中对作战过程部分细节进行更可信描述的建模需求。开展基于时间片影响图建模方法的改进研究,可以为这类问题的分析建模提供一套可选的方法框架。
     论文面向海军战役分析,以增加传统建模方法对问题描述的可信程度为目标,通过借鉴离散事件仿真的模型特点改进现有的基于时间片影响图的分析建模方法:在重点给出满足海军战役分析中作战过程描述需求的“混合异构建模仿真框架”下,提出动态随机影响图建模方法,并紧密围绕着“该影响图模型的语法、语义如何实现”、以及“该影响图模型的仿真解算如何进行”两大主题展开研究,解决了相关的理论问题与技术问题。具体研究内容包括以下几个方面:
     (1)为满足海军战役分析的要求,研究了现有方法的特点及其应用局限性,分析了海军战役分析中存在的作战过程建模需求及其复杂性,给出了一个混合异构建模仿真框架。
     (2)为实现现有建模方法的改进,分析了离散事件系统建模仿真技术的借鉴形式和意义,提出了改进的影响图建模方法,即动态随机影响图。给出了动态随机影响图模型规范的形式化描述,在此基础上设计了动态随机影响图模型仿真算法及其仿真器实现方法,并讨论了动态随机影响图的模型构建方法。
     (3)为支持动态随机影响图的解算,给出了模型仿真解算的参考框架,详细讨论了仿真解算调度策略、随机采样方法、仿真终止策略等内容的具体实现,并研究了如何对仿真解算过程进行更有效的控制。
     (4)在上述理论方法的指导下,设计并实现了支持动态随机影响图建模仿真的EASim软件环境。以此为基础给出了舰艇编队区域防空问题动态随机影响图建模的应用示例,通过问题分析、模型构建、模型调度解算等具体过程,展示了动态随机影响图建模仿真的特点及其支持该类问题研究的有效性。
     论文的创新之处包括:提出了支持海军战役分析的混合异构建模仿真框架,用于在理论上指导建模方法进一步的研究;系统地提出并定义了时间片影响图与离散事件仿真模型相结合的动态随机影响图建模方法;详细地分析并设计了动态随机影响图仿真解算的参考过程及控制策略,提出了基于贝叶斯技术的多阶段仿真解算方法,以及基于参数稳态判定的两阶段序贯仿真终止改进策略。
     论文的研究面向海军战役分析,为现有战役分析建模仿真框架及其支撑建模仿真方法的改进研究与具体实现提出了有效的解决方案。该项研究不仅可以丰富高层次决策分析模型的形式种类,也可以使影响图的扩展研究更加深入。该方法也为其它具有类似性质的复杂高层次决策问题建模提供了可选的方案支撑。
To do theater analysis of navy and related high-level demonstration, it’s necessary to manage a range of uncertainties and complex characteristics in several layers effec-tively. While Exploratory Analysis (EA) could improve quality of the analysis by ex-panding its range, it still needs support of valid analysis-model. As one optional method for EA modeling, Time-Slice Influence Diagrams (TSIDs, or called Dynamic IDs) has been effectively used in several researches, for its characters of simple, clear and run-ning fast, etc. But it still can’t deal with cases that some processes need to be described detailed in the same analysis-model. To improve existing modeling method, based on TSIDs, we could provide a better alternative methodological framework for this kind of issues, especially for EA modeling.
     Aiming at increasing credibility of issue description by existing method, this dis-sertation enhances TSIDs as an improvement referring the Discrete Event Systems (DES) Modeling and Simulation (M&S) technology; and focuses on disposing i) how to provide a hybrid heterogeneous modeling and simulation frame; ii) how to make the syntax and semantics of the improved model specification; and iii) how to process the simulation evaluation of the improved model. It solves related problems both in theory and in technology, and discusses the influences for modeling process and model evalua-tion. The contents to research include the following parts:
     (1) To satisfy needs of navy theater analysis, the characteristics and application limits of existing method is discussed, the modeling requirements of campaign process in navy theater analysis are analyzed, and a hybrid heterogeneous modeling and simula-tion frame is proposed.
     (2) To achieve the improvement of existing method, based on the analysis of char-acters and modeling process of TSIDs, an improved method is proposed, named‘Dy-namic-Stochastic Influence Diagrams (DSIDs)’, taking DES M&S technologies for ref-erence. In order to make DSIDs model specification more realizing, formal method is used for specification description. After that, the simulation algorithms and the imple-mentation of their simulators are proposed.
     (3) To support DSIDs model evaluating, a reference framework for simulation evaluating is proposed, and the random sampling method and the evaluating stopping strategy are discussed and implemented detailed correspond with the framework.
     (4) To illuminate theoretics above, the design and implementation of a DSIDs M&S tool - EASim are discussed, based what an armada area defence issue demonstra-tion is carried out. In this demonstration, the characters of DSIDs and it’s supporting for this kind of issue are shown, by the detailed processing of issue analysis, model build-ing and evaluating.
     The creative work and the primary contributions of this dissertation can be summa-rized as follows: i) proposes a hybrid heterogeneous M&S framework for theater analy- sis of navy; ii) presents a DSIDs method systemically and gives model specification and its simulation strategy detailedly, supporting the framework; and iii) promotes actualiz-ing strategy for DSIDs model simulation evaluating detailedly, especially proposes a Bayes-based multi-phases simulation frame for model eveluating, and proposes a two-stage sequential stopping procedure with parameter steady-state estimate for termi-nating simulation.
     To sum up, this dissertation gives an effective solution for existing theater analysis M&S frame and supporting M&S methods. The dissertation has reference values both for enriching the kinds of EA model for theater analysis of navy, and for extending the researches between IDs and M&S technology. It also could be alternative scheme to the complex issue that owning similar characters.
引文
[1] Paul K. Davis, Amy Henninger. Analysis, Analysis Practices, and Implications for Modeling and Simulation[R]. Santa Monica, Calif.: RAND Corporation, 2007:5~6.
    [2] Paul K. Davis. New Paradigms and New Challenges[C]. Proceedings of the 2005 Winter Simulation Conference, 2005:1067~1076.
    [3] Paul K. Davis. Exploratory Analysis Enabled by Multiresolution, Multiperspective Modeling[C]. Proceedings of the 2000 Winter Simulation Conference, 2000:293~302.
    [4]周少平,李群,王维平.支持武器装备体系论证的探索性分析框架研究[J].系统仿真学报,2007,19(9):2066~2069.
    [5]胡晓峰,胡剑文.面向信息化战争整体需求的探索性分析方法[J].计算机仿真,2005,22(6):1~4.
    [6]周少平.博士论文:面向武器装备体系论证的探索性分析方法研究[D].湖南长沙:国防科学技术大学研究生院,2006:7~10.
    [7] Paul K. Davis. Introduction to Multiresolution, Multiperspective Modeling (MRMPM) and Exploratory Analysis[R]. Santa Monica, Calif.: RAND Corpora-tion, 2005, WR-224.
    [8] James H. Bigelow and Paul K. Davis. Implications for Model Validation of Mul-tiresolution, Multiperspective Modeling (MRMPM) and Exploratory Analysis[R]. Santa Monica, Calif.: RAND Corporation, 2003: 15~19.
    [9] Fox, Daniel,‘Using Exploratory Modeling,’in Stuart Johnson, Martin Libicki, and Gregory F. Treverton, eds. New Challenges, New Tools for Defense Deci-sionmaking[R]. Santa Monica, Calif.: RAND Corporation, 2003:258~598.
    [10] Paul K. Davis, J.H. Bigelow, and J. McEver. Exploratory Analysis and a Case History of Multiresolution, Multiperspective Modeling[R]. Santa Monica, Calif.: RAND Corporation, 2001, RP-925.
    [11] Paul K. Davis, James H. Bigelow, and Jimmie McEver. Effects of Terrain, Ma-neuver Tactics, and C4ISR on the Effectiveness of Long-Range Precision Fires[R]. Santa Monica, Calif.: RAND Corporation, 2000:1~87.
    [12] Shlapak, D.A., D.T. Orletsky, and B.A. Wilson, Dire Strait? Military Aspects of the China-Taiwan Confrontation and Options for U.S. Policy[R]. 2000, Santa Monica, CA: RAND.
    [13] Arthur Brooks, S.C.B., and Bart Bennett, Weapons Mix and Exploratory Analysis: A Case Study[R]. 1997: RAND.
    [14] P.K, D., J.H. Bigelow, and J. McEver, EXHALT: An Interdiction Model for Ex-ploring Halt Capabilities in a Large Scenario Space[R]. Vol. MR-1137- OSD. 2000, Santa Monica, CA: RAND.
    [15]周少平,李群,王维平.支持探索性分析的主动元建模[J].系统仿真学报,2007,19(2):237~239.
    [16] Daniel T. Maxwell. An Overview of The Joint Warfare System (JWARS)[R]. Technical Report, MITRE Corporation. 2000, http://www.mitre.com.
    [17] Stone G F, and G A McIntyre. The Joint Warfare System (JWARS): A Modeling and Analysis Tool for the Defense Department[A]. Proceedings of the 2001 Win-ter Simulation Conference[C], 691-696.
    [18] Blacksten H R, J W Jones, M L Poumade, and H S Osborne. JWARS Output Analysis[A]. Proceedings of the 2001 Winter Simulation Conference[C], 706-714.
    [19] D.M. Pugh. A Validation Assessment of the STORM Air-to-Air Prototype Algo-rithm. March 2000, AIR FORCE INSTITUTE OF TECHNOLOGY.
    [20] Davis, P.K., D. Gompert, and R.L. Kugler, Adaptiveness in Defense Planning: The Basis of a New Framework. Vol. MR-826-AF. 1997: RAND.
    [21] Warhola, P.J., An Analysis of Alternative Methods to Conduct Righ-Resolution Activities in A Variable-Resolution Simulation. 1997, Naval Postgraduate School.
    [22] Davis, P.K. Dealing with Complexity. in Grand Challenges Conference. August, 2002. RAND and RAND Graduate School Dagstuhl.
    [23] Dewar, J.A., et al., Expandability of the 21st Century Army. Vol. MR-1190-A. 2001, Santa Monica, CA: RAND.
    [24] Davis, P.K., New Challenges in Defense Planning: Rethinking How Much is Enough. 1994, Santa Monica, CA: RAND.
    [25] Davis, P.K. Exploratory Analysis Enabled by Multiresolution, Multiperspective Modeling. in Winter Simulation Conference. 2001.
    [26] Davis, P.K. and R. Hillestad, Exploratory Analysis for Strategy Problems With Massive Uncertainty. 2001, Santa Monica, CA: RAND.
    [27] Davis, P.K. and M.J. Carrillo, Exploratory Analysis of‘The Halt Problem’A Briefing on Methods and Initial Insights. 1998, Prepared for the Office of the Sec-retary of Defense.
    [28] Davis, P.K., J. McEver, and B. Wilson, Measuring Interdiction Capabilities in the Presence of Anti-Access Strategies: Exploratory Analysis to Inform Adaptive Strategy for the Persian Gulf. MR-1471, ed. RAND. 2002, Santa Monica, CA.: RAND.
    [29] Davis, P.K., J.H. Bigelow, and J.McEver, Effects of Terrain, Maneuver, Tactics, and C4ISR on the Effectiveness of Long Range Precision Fire. 2000, Santa Monica, CA.: RAND.
    [30] Davis, P.K., Richard Hillestad, and Natalie Crawford, Capabilities for Major Re-gional Conflicts, in Zalmay M. Khalilzad and David A. Ochmanek(eds.), Strategic Appraisal 1997: Strategy and Defense Planning for the 21st Century. Vol. MR-826-AF. 1997: RAND.
    [31] Davis, P.K., Effects-Based Operations: A Grand Challenge for the Analytical Community. Vol. MR-1477. 2001, Santa Monica, CA: RAND.
    [32] P.K, D., J.H. Bigelow, and J. McEver. EXHALT: An Interdiction Model for Ex-ploring Halt Capabilities in a Large Scenario Space. Vol. MR-1137- OSD. 2000, Santa Monica, CA: RAND.
    [33] Paul K. Davis, Steven C. Bankes, and Michael Egner. Enhancing Strategic Plan-ning with Massive Scenario Generation: Theory and Experiments. Vol. TR-392. 2007, Santa Monica, CA: RAND.
    [34]胡晓峰等.武器装备体系能力需求论证及探索性仿真分析实验.系统仿真学报,第20卷第12期,2008年6月,3065-3068页.
    [35]杨镜宇等.战争系统体系能力需求的建模与仿真.系统仿真学报,2006年12月,3599-3602页.
    [36]胡剑文等,探索性分析框架EAF的设计,系统仿真学报,2005年。
    [37]曾宪钊等.基于作战仿真和探索性分析的海战效能评估.系统仿真学报,2005年.
    [38] Paul K. Davis. Measures of Effectiveness for the Information-Age Navy: The Ef-fects of Network-Centric Operations on Combat Outcomes. Vol. MR1449. 2003, Santa Monica, CA: RAND.
    [39]郭齐胜等.装备效能评估概论.北京:国防工业出版社,2005年8月,240页.
    [40]刘宝宏,黄柯棣.多分辨率建模的研究现状与发展.系统仿真学报,2004年.
    [41]黄谦等.武器装备体系顶层设计方法研究.决策科学理论与发展,2004年.
    [42]李英华,申之明,李伟.武器装备体系研究的方法论.军事运筹与系统工程,2004(1):17-20.
    [43]杨锋.面向效能评估的平台级体系对抗仿真跨层次建模方法研究.国防科技大学博士学位论文,2003年.
    [44] R.A. Howard, J.E. Matheson. The Principles and Applications of Decision Analy-sis [M]. vol. II, Strategic Decisions Group, Menlo Park, CA, 1984:720–762 (Chapter: influence diagrams).
    [45] R.D. Shachter. Evaluating Influence Diagrams [J]. Operations Research, 1986(34): 871–882.
    [46]詹原瑞.影响图理论方法与应用[M].天津:天津大学出版社,1995:1~128.
    [47] Mark Crowley. Evaluating Influence Diagrams[R]. University of British Columbia, 2004:3~8.
    [48] Miguel López-Díaz, Luis J. Rodríguez-Mu?iz. Influence Diagrams with Super Value Nodes Involving Imprecise Information [J]. European Journal of Opera-tional Research (S0377-2217), 2007(179): 203~219.
    [49] Michael Diehl, Yacov Y. Haimes. Influence Diagrams with Multiple Objectives and Tradeoff Analysis [J]. IEEE Transactions on Systems, Man, and Cybernet-ics-Part A: Systems and Humans (S1083-4427), May 2004,34(3): 293~304.
    [50] J.A. Tatman, R.D. Shachter. Dynamic Programming and Influence Diagrams[J]. IEEE Transactions on Systems, Man and Cybernetics, 1990,20(2): 365~379.
    [51] C. Bielza, P.P. Shenoy. A Comparison of Graphical Techniques for Asymmetric Decision Problems[J]. Management Science, 1999,45 (11): 1552~1569.
    [52] N.L. Zhang. Probabilistic Inference in Influence Diagrams[C]. In Proceedings of the 14th Annual Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann, San Francisco, 1998: 514~522.
    [53] Daniel Garcia-Sanchez & Marek J. Druzdzel. An Efficient Sampling Algorithm for Influence Diagrams[C]. In Proceedings of the Second European Workshop on Probabilistic Graphical Models (PGM-04), October 2004: 97~104.
    [54] P.P. Shenoy. Valuation-Based Systems for Bayesian Decision Analysis[J]. Opera-tions Research, 1992,40(3): 463~484.
    [55] G.F. Cooper. A Method for Using Belief Networks as Influence Diagrams[C]. In Proceedings of the 4th Conference on Uncertainty in Artificial Intelligence, Min-neapolis, University of Minnesota, 1998: 55~63.
    [56] R.D. Shachter, M.A. Peot. Decision Making Using Probabilistic Inference Meth-ods[C]. In Proceedings of the 8th Conference on Uncertainty in Artificial Intelli-gence, San Jose, 1992, pp. 276~283.
    [57] R.D. Shachter, P.P Ndilikilikesha. Using Potential Influence Diagrams for Prob-abilistic Inference and Decision Making[C]. In Proceedings of the 9th Conference on Uncertainty and Artificial Intelligence, 1993: 383~390.
    [58] P.P. Ndilikilikesha. Potential Influence Diagrams[J]. International Journal of Ap-proximate Reasoning, 1994(11): 251~285.
    [59] Kai Virtanen, Janne Karelahti, Tuomas Raivio. Modeling Air Combat by a Mov-ing Horizon Influence Diagram Game[J]. Journal of Guidance, Control, and Dy-namics, 2006, 29(5): 1080~1095.
    [60] Koller D, Milch B. Multi-agent influence diagrams for representing andsolving games [C]. IJCAI. Seattle,USA: Elsevier. 2001: 1024~1034.
    [61]张润梅,王浩,姚宏亮等.一种基于影响图的决策方法及在Robocup中的应用[J].系统仿真学报, 2005,17(1): 134~137.
    [62]姚宏亮等.基于多Agent动态影响图的协作实现.统仿真学报,2007,19(14): 3270~3275.
    [63] Paul K. Davis, Jimmie McEver, and Barry Wilson. Measuring Interdiction Capa-bilities in the Presence of Anti-Access Strategies: Exploratory Analysis to Inform Adaptive Strategies for the Persian Gulf[R]. Santa Monica, Calif.: RAND Corpo-ration, 2002:1~140.
    [64] Paul K. Davis, and James H. Bigelow. Motivated Metamodels: Synthesis of Cause-Effect Reasoning and Statistical Metamodeling[R]. Santa Monica, Calif.: RAND Corporation, 2003:1~60.
    [65] Analytica 4.1 User Guide[EB/OL], Lumina Decision Systems, Inc, http: //www.lumina.com, 2008-03-19.
    [66] Chiu-Che Tseng, Piotr J. Gmytrasiewicz. Time Sensitive Sequential Myopic In-formation Gathering[C]. Proceedings of the 32nd Hawaii International Conference on System Sciences, 1999:1~7.
    [67] Figueroa, G. A., and Sucar, L. E. A Temporal Bayesian Network for Diagnosis and Prediction[C]. In Proceedings of the 15th Conference on Uncertainty in Arti-ficial Intelligence, 1999:13~20.
    [68] Galan, S. F., and Diez, F. J. Networks of Probabilistic Events in Discrete Time[J]. International Journal of Approximate Reasoning, 2002(30): 181~202.
    [69] Hanks, S., Madigan, D., and Gavrin, J. Probabilistic Temporal Reasoning with Endogenous Change[C]. In Proceedings of 11th Conference on Uncertainty in Ar-tificial Intelligence(UAI-95), Montreal, Quebec, Canada, August 18-20, 1995.
    [70] Kjaerulff, U. A Computational Scheme for Reasoning in Dynamic Probabilistic Networks[C]. In Proceedings of 8th Conference on Uncertainty in Artificial Intel-ligence, 1992:121~129.
    [71] Santos Jr. E., and Young, J. D. Probabilistic Temporal Network: A Unified Frameword for Reasoning with Time and Uncertainty[J]. International Journal of Approximate Reasoning, 1999,20(3):263~291.
    [72] Murphy, K. Dynamic Bayesian Networks: Representation, Inference and Learn-ing[D]. PhD Thesis, UC Berkley, Jul. 2002.
    [73] Tawfik A Y, Neufeld E. Temporal Bayesian Networks[C]. In Proceedings of First International Workshop on Temporal Representation and Reasoning (TIME), Pensacola, Florida, 1994: 85~92.
    [74] Young J D , Santos Jr E. Introduction to Temporal Bayesian Networks[C]. Online Proceedings of the 1996 Midwest Artificial Intelligence and Cognitive Science Conference , edited by Michael Gasser, April 1996.
    [75]蒋国萍,陈英武.时间贝叶斯网络及其概率推理.管理科学学报,2007,10(2): 12~18.
    [76] Berzuni C. Representing Time in Causal Probabilistic Networks[C]. In Uncer-tainty in Artificial Intelligence Five , Amsterdam, 1990: 15~28 ,.
    [77] S.F. Galan, G.A. Figueroa, F.J. Diez, and L.E. Sucar. Comparative evaluation of temporal nodes Bayesian networks and networks of probabilistic events in discrete time[C]. MICAI, 2004: 498~507.
    [78] Rosen, J. A., and Smith, W. L. Influence Net Modeling with Causal Strengths: An Evolutionary Approach[C]. Command and Control Research and Technology Symposium, Naval Post Graduate School, Monterey CA, Jun. 1996.
    [79] Rosen, Smith, Smith, and Maldony. Planning with Influence Net Modeling: An Architecture for Distributed, Real-Time Collaboration[C]. MORS Symposium, 1998.
    [80] Robert M. Fung, Kuo-Chu Chang.Weighing and Integrating Evidence for Sto-chastic Simulation in Bayesian Networks. Proceedings of the Fifth Annual Con-ference on Uncertainty in Artificial Intelligence, 1990: 209~220.
    [81] Sajjad Haider, Alexander H. Levis. An Approximation Technique for Belief Revi-sion in Timed Influence Nets[C]. In Proceedings of the Command and Control Research and Technology Symposium, 2004.
    [82] Wagenhals, L. W., and Levis, A. H. Converting Influence Nets with Timing In-formation to a Discrete Event System Model, A Colored Petri Net. Proc. Of 2nd Workshop on Practical Uses of Colored Petri Nets and Design/CPN, DAIMI PB-532, Aarhus University, Denmark, 1999.
    [83] Wagenhals, L. W., Levis, A. H., and McCrabb, M. B. Effects-Based Operations: A Historical Perspective of a Way Ahead[C]. Proceedings of 8th International Command and Control Research and Technology Symposium, 2003.
    [84] Sajjad Haider, A.K. Zaidi. Transforming Timed Influence Nets Into Time Sliced Bayesian Networks[C]. In Proceedings of the Command and Control Research and Technology Symposium, 2004.
    [85] Sajjad Haider, Alexander H. Levis. Modeling Time-varying Uncertain Situations Using Dynamic Influence Nets[J]. International Journal of Approximate Reason-ing, 2008 (49): 488~502.
    [86] Scott M. Olmsted. On Representing and Solving Decision Problems[D]. Ph.D. thesis, Stanford University, Department of Engineering-Economic Systems, Stan-ford, CA, December, 1983.
    [87] Prakash P. Shenoy. Valuation-based systems for Bayesian decision analysis[J]. Operations Research, 1992,40(3): 463~484.
    [88] P. Ndilikilikesha. Potential inuence diagrams[J]. International Journal of Ap-proximate Reasoning, 1994(11):251~285.
    [89] Gregory F. Cooper. A Method for Using Belief Network Algorithms to Solve De-cision-network Problems[C]. In Proceedings of the 1988 Workshop on Uncer-tainty in Articial Intelligence, UAI-88, Minneapolis, Minnesota, 1988.
    [90] R. D. Shachter and M. A. Peot. Decision Making Using Probabilistic Inference Methods[C]. In Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence (UAI-92), San Francisco, CA. Morgan Kaufmann Publish-ers, 1992: 276~283.
    [91] N. L. Zhang. Probabilistic Inference in Influence Diagrams[C]. In Proceedings of the Fourteenth Annual Conference on Uncertainty in Articial Intelligence (UAI-98), San Francisco, CA. Morgan Kaufmann Publishers, 1998: 514~522.
    [92] C. Bielza, S. Ríos-Insua, M. Gómez. Influence diagrams for Neonatal Jaundice Management[C]. In Artificial Intelligence in Medicine, Joint European Confer-ence on Artificial Intelligence in Medicine and Medical Decision Making, Lecture Notes in Computer Science, 1999,1620:138~142,.
    [93] A. Jenzarli. Solving Influence Diagrams Using Gibbs Sampling[C]. In Proceed-ings of the Fifth International Workshop on Artificial Intelligence and Statistics, 1995: 278~284.
    [94] J. Charnes, P.P. Shenoy. Multi-stage Monte Carlo Method for Solving Influence Diagrams Using Local Computation[J]. Management Science 2004,50(3): 405~418.
    [95] M.C. Horsch, D. Poole. An Anytime Algorithm for Decision Making Under Un-certainty[C]. In Proceedings of the14th Annual Conference on Uncertainty in Ar-tificial Intelligence, Morgan Kaufmann, San Francisco, 1998: 246~255.
    [96] Andrés Cano, Manuel Gómez, Serafín Moral. A Forward-backward Monte Carlo Method for Solving Influence Diagrams [J]. International Journal of ApproximateReasoning (S0888-613X), 2006, 42:119~135.
    [97] Peter Muller. Bayesian Statistics[M]. Oxford University Press, 1999: 459~474.
    [98] John M. Charnes, Prakash P. Shenoy. Multistage Monte Carlo Method for Solving Influence Diagrams Using Local Computation[J]. Management Science, 2004, 50(3): 405~418.
    [99] M.A. Virto et al. Approximate Solutions of Complex Influence Diagrams through MCMC Methods[EB/OL]. 2009:169~175.
    [100] M. Gómez and C. Bielza. Node Deletion Sequences in Influence Diagrams Using Genetic Algorithms[J]. Statistics and Computing, 2004(14): 181–198.
    [101] S. Kuikka et al. Modeling Environmentally Driven Uncertainties in Baltic cod (Gadus morhua) Management by Bayesian Influence Diagrams[J]. Can. J. Fish. Aquat. Sci. 1999,56: 629~641,.
    [102] GeNIe:http://www.sis.pitt.edu/~genie/.
    [103] TreeAge Pro (DATA):http://www.treeage.com/.
    [104] DPL:http://www.syncopationsoftware.com/.
    [105] Analytica:http://www.lumina.com/ana/whatisanalytica.htm.
    [106] HUGIN:http://www.hugin.com/.
    [107] Netica:http://www.norsys.com/.
    [108] M. Granger Morgan, Max Henrion. Uncertainty: A Guide to Dealing with Uncer-tainty in Quantitative Risk and Policy Analysis [M]. Cambridge University Press, 1990, reprinted in 1998:257~290.
    [109] Zeigler, B. P., T. G. Kim and H. Praehofer. Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems[M]. Sec-ond edition Academic Press, 2000.
    [110] Bernard P. Zeigler. Embedding DEV&DESS in DEVS, http://www.acims.arizona.edu/, 2006.
    [111] Bernard P. Zeigler. Continuity and Change (activity) are Fundamentally Related in DEVS Simulation of Continuous Systems[C]. AI, Simulation, and Planning 2004 (AIS'04) Keynote speech, 2004.
    [112] Paul A. Fishwick.“Multimodeling as a Unified Modeling Framework”, Proceedings of the 1993 Winter Simulation Conference, 1993.
    [113] Paul A. Fishwick.“Using XML for Simulation Modeling”, Proceedings of the 2002 Winter Simulation Conference, 2002.
    [114] Paul A. Fishwick, Jinho Lee, Minho Park, Hyunju Shim.“Rube: A Customized 2D and 3D Modeling Framework for Simulation”, Proceedings of the 2003 Winter Simulation Conference, 2003.
    [115] Paul A. Fishwick.“A Modeling Strategy for the NASA Intelligent Synthesis Environment”, 1999.
    [116] Paul A. Fishwick.“Simulation Model Design and Execution: Building Digital Worlds”, Prentice Hall Press, 1995.
    [117] Hans Vangheluwe.“Multi-Formalism Modelling and Simulation”, PhD thesis, Gent University, 2000.
    [118] Hans Vangheluwe, Juan de Lara, Pieter J. Mosterman.“An Introduction to Multi-Paradigm Modelling and Simulation”, Proceedings of AI, Simulation and Planning–AIS’2002. Lisbon. SCS International, 2002.
    [119] Juan de Lara, Hans Vangheluwe.“Meta-modelling and graph grammars formulti-paradigmmodelling in AToM3”, 2004.
    [120] Joe V. Holland, R.E.M., Dennis R. Powell,Stephen C. Upton, and David R. Thompson. Generative Analysis:Automated Concept Exploration usingMulti-agent Simulations. in 16th Symposium - 1999 ISMOR INTERNATIONAL SYMPOSIUM ON MILITARY OPERATIONAL RESEARCH. 1999.
    [121] Saltelli, A. Global Sensitivity Analysis An introduction. in Tutorial lecture for the International Conference on Sensitivity Analysis. March 8-11, 2004. Santa Fé, New Mexico.
    [122] L.Peccati, E.B.a. Global Sensitivity Analysis in Industrial Decision Making. in FUR XI: June 30 July 3, 2004. 2004.
    [123] Eriksson, O., Global sensitivity analysis methods using response surface descrip-tions for road traffic emission models, applied on the COPERT III model. 2003: applied on the COPERT III model, http://www.mai.liu.se/~oleri/lic/del3.pdf.
    [124] Joe V. Holland, R.E.M., Dennis R. Powell,Stephen C. Upton, and David R. Thompson. Generative Analysis:Automated Concept Exploration using Multi-agent Simulations. in 16th Symposium - 1999 ISMOR INTERNATIONAL SYMPOSIUM ON MILITARY OPERATIONAL RESEARCH. 1999.
    [125] Sluijs, J.P.v.d., Integrated Assessment, in Encyclopedia of Global Environmental Change, D.M.K. Tolba, Editor. 2002: Chichester.
    [126] Sluijs, J.v.d., Integrated Assessment Models and the Management of Uncertainties. October 1996: International Institute for Applied Systems Analysis Laxenburg, Austria.
    [127] Rotmans, P.d.i.J., Integrated Assessment Models Uncertainty, Quality and Use. 1999: University of Maastricht.
    [128] Rotmans, P.d.i.J., Integrated Assessment Models Uncertainty, Quality and Use. March 1999: University of Maastricht? ICIS.
    [129] (ICIS), I.C.f.I.S., ed. INTEGRATED ASSESSMENT: A bird's-eye view. Sep-tember 1999: Maastricht,The Netherlands.
    [130] Gabbert, S., et al., Uncertainty Analysis in Integrated Assessment Models: A Re-view of Recent Approaches, in Risk and Uncertainty in Environmental and Re-source Economics, E.C.W. van Ierland, H.-P.; Wesseler, J. (eds.), Editor. 2002, Environmental Economics and Natural Resources Group, Wageningen University.
    [131] Paul K. Davis, Lessons from Defense Planning and Analysis for Thinking About Systems of Systems[R], Prepared for the Symposium on Complex System Engi-neering, Santa Monica, Calif.: RAND Corporation, 2007.
    [132] Lucas, T.W., The Stochastic Versus Deterministic Argument for Combat Simula-tions: Tales of When the Average Won't Do[J]. 2000, Operations Research De-partment Naval Postgraduate School Monterey, CA 93943.
    [133] Jan Rotmans and Marjolein B.A. Van Asselt. Uncertainty Management in Inte-grated Assessment Modeling: Towards a Pluralistic Approach[J]. Environmental Monitoring and Assessment, 2001,69: 101~130.
    [134] Paul A.Fishwick. Simulation Model Design and Execution [M]. Prentice-Hall Inc, 1995.
    [135]李群等.仿真模型设计与执行[M].科学出版社,2008.
    [136]王维平等.柔性仿真原理与应用[M].国防科技大学出版社,2003:52~91.
    [137]王维平,朱一凡,华雪倩,张汉江.离散事件系统建模与仿真[M].国防科技大学出版社,1997.
    [138] Arnold H. Buss, J. M. Games, D. J. Morrice, D. T. Brunner, and J. J. Swain, eds. Modeling with Event Graphs[C]. Proceedings of the 1996 Winter Simulation Conference, 1996:153~160.
    [139]刘晨.博士论文:基于SEB组合框架的导弹体系对抗仿真方法研究.湖南长沙:国防科学技术大学研究生院,2005:46~49.
    [140] D. Harel and M. Politi. Modeling Reactive Systems with Statecharts[M]. McGraw-Hill, 1998.
    [141]形式化方法,百度百科,www.baidu.com,2010年.
    [142] Schruben, L. 1983. Simulation Modeling with Event Graphs, Communications of the ACM, 26, 957-963.
    [143] Lee W. Schruben, Enver Yucesan. Simulation Graphs. Proceedings of the 1988 Winter Simulation Conference.
    [144] S.
    [145] N. Giambiasi, J.L. Paillet. From timed Automata to DEVS Models[C]. Proceed-ings of the 2003 Winter Simulation Conference, 2003:923~931.
    [146]蒋昌俊.Petri网理论与研究方法综述[J].控制与决策,1997,12(6):631~636.
    [147] C.L. Beek, B.H. Krogh. Models for Simulation and Discrete Control of Manufac-turing System[C]. IEEE International Conference on Robotics and Automation, San Francisco, 1986:305~310.
    [148]王维平.博士学位论文:面向对象的多媒体仿真方法研究[D].湖南长沙:国防科技大学,1997:31~44.
    [149] D. Harel and A. Naamad. The Statemate Semantics of Statecharts[J]. ACM Transactions on Software Engineering and Methodology, 1996, 5(4): 293~333.
    [150] Chen Liu. Simulation Implementation Based On MultiDEVS For Petri-Net[C]. In Proceedings of 2004 Summer Computer Simulation Conference(SCSC’2004).
    [151] Spencer Borland. Tansforming Statechart Models to DEVS[D]. Master’s thesis, School of Compute Acience, McGill University, 2003.
    [152] Kathryn Hoad, Stewart Robinson, Ruth Davies. Automating Des Output Analysis: How Many Replications to Run[C]. Proceedings of the 2007 Winter Simulation Conference, 2007: 505~512.
    [153] Marvin K. Nakayama. Statistical Analysis of Simulation Output[C]. Proceedings of the 2008 Winter Simulation Conference, 2008: 62~72.
    [154] Averill M. Law. Statistical Analysis of Simulation Output Data: The Practical State of The Art[C]. Proceedings of the 2007 Winter Simulation Conference, 2007: 77~83.
    [155] Hammersley, J. and Handscomb, D. Monte Carlo Methods[M]. Chapman and Hall, London, United Kingdom, 1964:8, 57.
    [156] Computational Science Education Project. Introduction to Monte Carlo Meth-ods[EB/OL]. Web Page, http://csep.phy.ornl.gov/mc/mc.html. 1995.
    [157] McKay, M., Conover, W., and Beckman, R. A Comparison of Three Methods For Selecting Values of Input Variables in the Analysis of Output From a Computer Code[J]. Technometrics, 1979, 221: 239~245.
    [158] Saliby, E. Descriptive Sampling: An Improvement Over Latin Hypercube Sam-pling[C]. Proceedings of the 1997 Winter Simulation Conference, The Society for Computer Simulation International (SCS), San Diego, CA, December 1997: 230~233.
    [159] Daniel P. Thunnissen. Propagating and Mitigating Uncertainty in the Design of Complex Multidisciplinary Systems[D]. In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy, California Institute of Technology Pasa-dena, California, 2005.
    [160] Khuri, A. and Cornell, J. Response Surfaces: Design and Analyses[R]. Marcel Dekker, Inc., New York, NY, 1987.
    [161] Malakoff, D. Bayes Offers a‘New’Way to Make Sense of Numbers[J]. Science, November 19, 1999, 286: 1460~1464.
    [162]张晓庭等.贝叶斯统计推断[M].北京:科学出版社,1991年.
    [163] Gelman, A., Carlin, J., Stern, H., and Rubin, D. Bayesian Data Analysis[M]. 2nd edition, Chapman & Hall/CRC, Boca Raton, FL, 2004.
    [164] Guikema, S. and Paté-Cornell, M. E., Bayesian analysis of launch vehicle reliabil-ity[J], AIAA Journal of Spacecraft & Rockets, January, 2004,41(1): 93~102.
    [165]张金槐等.Bayes试验分析方法[M].湖南长沙:国防科技大学出版社,2007年.
    [166] Roy R. Creasey, Jr., K. Preston White, Jr. A Bayesian Approach to Analysis of Limit Stadards[C]. U.S.A, Proceedings of the 2007 Winter Simulation Conference, 2007: 544~552.
    [167] Stephen E. Chick. Bayesian Ideas and Discrete Event Simulation: Why,What and How[C]. Proceedings of the 2006 Winter Simulation Conference, 2006: 96~106.
    [168] Stephen E. Chick. Bayesian Methods for Simulation[C]. Proceedings of the 2000 Winter Simulation Conference, 2000: 109~118.
    [169] Morris H. DeGroot, Mark J. Schervish[美]著,叶中行等译.概率统计(Probability and Statistics)[M].北京:人民邮电出版社,2007年.
    [170]盛骤等.概率论与数理统计[M].浙江杭州:浙江大学出版社,2000:165~170.
    [171] Nakayama, M. K. Two-stage Stopping Procedures Based on Standardized time Series[J]. Management Science, 1994, 40: 1189~1206.
    [172] Robinson, S. Simulation: The practice of model development and use[R]. John Wiley & Sons Ltd., 2004.
    [173] Stephen E. Chick, J¨urgen Branke, Christian Schmidt. New Greedy Myopic and Existing Asymptotic Sequential Selection Procedures[C]. Proceedings of the 2007 Winter Simulation Conference, 2007: 289~296.
    [174] Emily K. Lada, James R. Wilson. SBatch: a Spaced Batch Means Procedures for Simulation Analysis[C]. Proceedings of the 2007 Winter Simulation Conference, 2007: 463~471.
    [175]雷永林,赵新,张伟,李群.探索性分析工具EASim的设计与实现[J].国防科技大学学报,2010年录用.
    [176]建模仿真技术实验室.面向武器装备体系能力需求论证的探索性仿真方法与环境.装备预研基金报告,2008年.
    [177] H.M.Deitel, P.J. Deitel, J.P. Liperi, B.A. Wiedermann. Python How To Program [DB/CD]. Prentice-Hall, Inc., 2002.
    [178] Richard Gronback. GMF Tutorial[EB/OL]. http://www.eclipse.org, 2009.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700