基于Agent的自主多卫星系统建模与仿真应用研究
|
摘要
随着以小卫星技术为核心的诸多现代航天科学技术的发展,航天领域正经历着一场巨大的变革,自主多卫星系统(AMSS,Autonomic Multi-Satellite System)在给人们带来诸多方便的同时,也向人们提出了挑战。AMSS可被看成一类既包含物理属性、又包含事理属性的复杂适应系统(CAS,Complex Adaptive System),对CAS的分析和评估无法在传统解析方法和普通仿真方法的基础上开展,必须寻求新的研究手段。为此,本文提出了以基于agent的建模与仿真(ABMS,Agent-Based Modeling andSimulation)方法为核心的一套完整的建模与仿真(M&S,Modeling and Simulation)应用方法论,以解决对AMSS的M&S应用研究和效能评估问题,主要内容包括:
(1)从当前AMSS分布化和自主化两大发展趋势出发,在分析综合大量ABMS应用研究最新成果的基础上,详细总结了ABMS的基本概念、基本理论和基本方法,论证了使用ABMS研究AMSS的必要性、可行性及实现的基本策略。
(2)由于ABMS源自生物生态学和社会科学领域,因此对以微分/差分方程为主要模型的动力学系统的分析描述能力比较欠缺。针对ABMS这一不足,选择另一种先进的M&S方法——离散-连续组合仿真(CDCS,Combined Discrete-ContinuousSimulation)与ABMS综合应用;以二者为基础,提出一种新的M&S方法:基于Agent的离散-连续组合仿真方法(ABCDCS,Agent-Based CDCS),并对其agent模型的行为逻辑进行了深入、全面的分析。
(3)AMSS的自主性是使用ABMS方法进行研究的必要条件。为此,对AMSS的自治性和自主性进行了深入的研究,建立了支持AMSS自主性实现的AMSS体系结构,提出了AMSS自主性实现的策略和方法,介绍了支持AMSS自主性实现的技术,并建立了一个用于演示AMSS自主性实现的想定案例。
(4)以对AMSS的自主性研究为基础,分析了AMSS的功能行为属性,并提出一套适用于AMSS的agent智能模型:扩展的信念-愿望-意图模型(E-BDI,ExtendedBelief-Desire-Intention)。以星上组件为基本模型单元,建立了卫星各分系统的元agent模型,通过契约将这些agent聚集成卫星agent模型,同时建立了地面系统的元agent模型。进而在上述卫星系统agent模型体系的基础上,提出了对模型的分布性和自主性扩展。最后,为演示所建立agent模型体系的具体实现,构建了两个具有代表性的应用案例:激光卫星电源分系统分析仿真和火灾监视多卫星系统应用仿真。
(5)根据对所建立AMSS的agent仿真模型体系在计算机上实现的需要,开展了AMSS ABMS实现技术的研究。首先,对当前航天领域的仿真软件和支持ABMS应用研究的仿真软件等进行了深入分析,讨论了对Matlab/Simulink和STK进行集成的局限性,剖析了ObjectAgent、Swarm、Repast和JADE等软件的源代码,并在作者所改写的simlib软件包的基础上独立开发了一个支持AMSS ABMS研究的软件平台:absimlib。Absimlib以面向对象技术和中间件技术为主要的技术基础,实现了支持AMSS ABMS研究的主要功能,并实现了向分布式仿真环境的扩展。
(6)在总结传统M&S应用校验、确认与鉴定验收(VV&A,Verification,Validation,and Accreditation)方法论的基础上,详细分析了ABMS应用的VV&A的重点和难点及实现的策略和步骤,针对AMSS ABMS应用对VV&A的实现开展了研究,并结合内容(4)中激光卫星电源分系统仿真的例子进行了对VV&A实现的演示。
(7)在系统效能分析法(SEA,System Effectiveness Analysis)的基础上,提出一种新的基于ABMS进行复杂系统效能评估的方法:ABMS支持下的SEA(ABMSEA,ABMS Supported SEA)。此方法打破了SEA以还原论为基础的局限性,突破了对使命建模困难的瓶颈,支持对包括AMSS在内的大多数复杂系统的效能评估。为了演示ABMSEA的应用实现,针对内容(4)两个AMSS的例子开展了效能评估研究。
此外,本文所涉及的三个AMSS的例子,对未来为适应空间对抗而制定空间力量部署的决策具有一定参考价值。
Along with the development of several modern sciences and technologies of spaceflight whose essential technology is on small satellites, the spaceflight industry has experienced an ongoing revolution when the Autonomic Multi-Satellite System (AMSS) brings some challenges while granting people so many conveniences. The AMSS can be viewed as a type of Complex Adaptive System (CAS) with both the physical and the logical attributes, and the CAS cannot be analyzed and evaluated on the basis of the traditional analytical techniques or the common simulation technologies, it is therefore new methodologies should be expected. Thus, a set of integral methodologies with their essential points on Agent-Based Modeling and Simulation (ABMS) is proposed in this dissertation so as to solve the research issues on Modeling and Simulation (M&S) applications and the effectiveness evaluation for AMSSs, with their main contents provide in this dissertation as follows:
(1) Viewing from the two main current directions of the AMSS, on distribution and autonomicity, many achievements of recent studies on ABMS have been applied and synthetized, the basic concept, theory and methodology of the ABMS is summarized in detail and the necessity and the feasibility of studying AMSS by using ABMS with the fundamental strategy for implementation are demonstrated.
(2) Since ABMS comes from simulations in the fields of bioecology and social science, so there is some demerits on the analytical and describing abilities of the dynamic systems whose main model is the differential or difference equation. Aiming at such demerits, another advanced method on M&S, i.e. the Combined Discrete-Continuous Simulation (CDCS) is chosen to integrate with the ABMS in this dissertation, and based on which a new M&S methodology, named Agent-Based CDCS (ABCDCS) is proposed here, followed by the detailed and completed analysis on the behavior logic of agents in ABCDCS.
(3) Autonomicity of AMSSs is the necessary condition of using ABMS to do research. Therefore, autonomy and autonomicity of AMSSs are studied in details and a set of architectures of AMSSs to implement autonomicity is built, then the strategy and techniques to achieve autonomicity are presented; technologies for realizing autonomicity are introduced, and an example is formed to show how AMSSs can achieve autonomicity.
(4) Based on the study on autonomicity of AMSSs, functional-behavioral attributes of AMSSs are analyzed, and a type of intelligent model, Extended Belief-Desire-Intention (E-BDI) which is suitable for AMSSs is presented. By using the component as the basic model unit, meta-agents of the subsystems of a satellite are built, and with the adhesion these meta-agents aggregates into an agent model of satellite, furthermore, meta-agent of ground system is built too. Then on the basis of this agents' system of a satellite, extensions for both distribution and autonomicity are introduced. Finally, two application examples with representative are presented here: one is the analytical simulation of the power subsystem of a laser satellite; and the other is the application simulation of a FireSat system.
(5) Research on implementation of ABMS for AMSSs is carried out to meet the requirement of realizing the agent simulation model system of AMSSs on computer. Firstly, many simulation softwares in aerospace and applications of ABMS are analyzed deeply, the shortages of the ideas for integrating with Matlab/Simulink or STK are discussed and the resources code of ObjectAgent, Swarm, Repast and JADE, is investigated, then a software platform named absimlib is developed independently by extending another software package, simlib, which is rewritten by the author alone too in order to support ABMS for AMSSs. Absimlib, which is supported by object-oriented technology and middle-ware technology, implements the main functions for supporting ABMS for AMSSs, and is extended for using in a distributed environment.
(6) By summarizing the methodology of the traditional M&S applications Verification, Validation, and Accreditation (VV&A), important and difficult parts of ABMS applications VV&A are analyzed in detail, followed with the strategy and steps for implementation, and more specialized study on AMSSs ABMS applications VV&A is carried out; and by combining the example in part (4), the simulation of the power subsystem of the laser satellite, the showing of VV&A is realized.
(7) Based on System Effectiveness Analysis (SEA), the idea that using ABMS to support system effectiveness evaluation is presented with a new complex system effectiveness evaluation methodology, ABMS Supported SEA (ABMSEA). The methodology solves the limitation that the theoretical foundation of SEA is reductionism, and breaks the bottleneck that it is difficult to model the mission, so it can support effectiveness evaluation for many complex systems, especially for AMSSs. In order to show the implementation of ABMSEA, effectiveness evaluation of the two examples which mentioned in part (4) is carried out.
Furthermore, the three examples of AMSSs in this dissertation will provide some reference value for constituting the strategy about the space war in the future.
(1)从当前AMSS分布化和自主化两大发展趋势出发,在分析综合大量ABMS应用研究最新成果的基础上,详细总结了ABMS的基本概念、基本理论和基本方法,论证了使用ABMS研究AMSS的必要性、可行性及实现的基本策略。
(2)由于ABMS源自生物生态学和社会科学领域,因此对以微分/差分方程为主要模型的动力学系统的分析描述能力比较欠缺。针对ABMS这一不足,选择另一种先进的M&S方法——离散-连续组合仿真(CDCS,Combined Discrete-ContinuousSimulation)与ABMS综合应用;以二者为基础,提出一种新的M&S方法:基于Agent的离散-连续组合仿真方法(ABCDCS,Agent-Based CDCS),并对其agent模型的行为逻辑进行了深入、全面的分析。
(3)AMSS的自主性是使用ABMS方法进行研究的必要条件。为此,对AMSS的自治性和自主性进行了深入的研究,建立了支持AMSS自主性实现的AMSS体系结构,提出了AMSS自主性实现的策略和方法,介绍了支持AMSS自主性实现的技术,并建立了一个用于演示AMSS自主性实现的想定案例。
(4)以对AMSS的自主性研究为基础,分析了AMSS的功能行为属性,并提出一套适用于AMSS的agent智能模型:扩展的信念-愿望-意图模型(E-BDI,ExtendedBelief-Desire-Intention)。以星上组件为基本模型单元,建立了卫星各分系统的元agent模型,通过契约将这些agent聚集成卫星agent模型,同时建立了地面系统的元agent模型。进而在上述卫星系统agent模型体系的基础上,提出了对模型的分布性和自主性扩展。最后,为演示所建立agent模型体系的具体实现,构建了两个具有代表性的应用案例:激光卫星电源分系统分析仿真和火灾监视多卫星系统应用仿真。
(5)根据对所建立AMSS的agent仿真模型体系在计算机上实现的需要,开展了AMSS ABMS实现技术的研究。首先,对当前航天领域的仿真软件和支持ABMS应用研究的仿真软件等进行了深入分析,讨论了对Matlab/Simulink和STK进行集成的局限性,剖析了ObjectAgent、Swarm、Repast和JADE等软件的源代码,并在作者所改写的simlib软件包的基础上独立开发了一个支持AMSS ABMS研究的软件平台:absimlib。Absimlib以面向对象技术和中间件技术为主要的技术基础,实现了支持AMSS ABMS研究的主要功能,并实现了向分布式仿真环境的扩展。
(6)在总结传统M&S应用校验、确认与鉴定验收(VV&A,Verification,Validation,and Accreditation)方法论的基础上,详细分析了ABMS应用的VV&A的重点和难点及实现的策略和步骤,针对AMSS ABMS应用对VV&A的实现开展了研究,并结合内容(4)中激光卫星电源分系统仿真的例子进行了对VV&A实现的演示。
(7)在系统效能分析法(SEA,System Effectiveness Analysis)的基础上,提出一种新的基于ABMS进行复杂系统效能评估的方法:ABMS支持下的SEA(ABMSEA,ABMS Supported SEA)。此方法打破了SEA以还原论为基础的局限性,突破了对使命建模困难的瓶颈,支持对包括AMSS在内的大多数复杂系统的效能评估。为了演示ABMSEA的应用实现,针对内容(4)两个AMSS的例子开展了效能评估研究。
此外,本文所涉及的三个AMSS的例子,对未来为适应空间对抗而制定空间力量部署的决策具有一定参考价值。
Along with the development of several modern sciences and technologies of spaceflight whose essential technology is on small satellites, the spaceflight industry has experienced an ongoing revolution when the Autonomic Multi-Satellite System (AMSS) brings some challenges while granting people so many conveniences. The AMSS can be viewed as a type of Complex Adaptive System (CAS) with both the physical and the logical attributes, and the CAS cannot be analyzed and evaluated on the basis of the traditional analytical techniques or the common simulation technologies, it is therefore new methodologies should be expected. Thus, a set of integral methodologies with their essential points on Agent-Based Modeling and Simulation (ABMS) is proposed in this dissertation so as to solve the research issues on Modeling and Simulation (M&S) applications and the effectiveness evaluation for AMSSs, with their main contents provide in this dissertation as follows:
(1) Viewing from the two main current directions of the AMSS, on distribution and autonomicity, many achievements of recent studies on ABMS have been applied and synthetized, the basic concept, theory and methodology of the ABMS is summarized in detail and the necessity and the feasibility of studying AMSS by using ABMS with the fundamental strategy for implementation are demonstrated.
(2) Since ABMS comes from simulations in the fields of bioecology and social science, so there is some demerits on the analytical and describing abilities of the dynamic systems whose main model is the differential or difference equation. Aiming at such demerits, another advanced method on M&S, i.e. the Combined Discrete-Continuous Simulation (CDCS) is chosen to integrate with the ABMS in this dissertation, and based on which a new M&S methodology, named Agent-Based CDCS (ABCDCS) is proposed here, followed by the detailed and completed analysis on the behavior logic of agents in ABCDCS.
(3) Autonomicity of AMSSs is the necessary condition of using ABMS to do research. Therefore, autonomy and autonomicity of AMSSs are studied in details and a set of architectures of AMSSs to implement autonomicity is built, then the strategy and techniques to achieve autonomicity are presented; technologies for realizing autonomicity are introduced, and an example is formed to show how AMSSs can achieve autonomicity.
(4) Based on the study on autonomicity of AMSSs, functional-behavioral attributes of AMSSs are analyzed, and a type of intelligent model, Extended Belief-Desire-Intention (E-BDI) which is suitable for AMSSs is presented. By using the component as the basic model unit, meta-agents of the subsystems of a satellite are built, and with the adhesion these meta-agents aggregates into an agent model of satellite, furthermore, meta-agent of ground system is built too. Then on the basis of this agents' system of a satellite, extensions for both distribution and autonomicity are introduced. Finally, two application examples with representative are presented here: one is the analytical simulation of the power subsystem of a laser satellite; and the other is the application simulation of a FireSat system.
(5) Research on implementation of ABMS for AMSSs is carried out to meet the requirement of realizing the agent simulation model system of AMSSs on computer. Firstly, many simulation softwares in aerospace and applications of ABMS are analyzed deeply, the shortages of the ideas for integrating with Matlab/Simulink or STK are discussed and the resources code of ObjectAgent, Swarm, Repast and JADE, is investigated, then a software platform named absimlib is developed independently by extending another software package, simlib, which is rewritten by the author alone too in order to support ABMS for AMSSs. Absimlib, which is supported by object-oriented technology and middle-ware technology, implements the main functions for supporting ABMS for AMSSs, and is extended for using in a distributed environment.
(6) By summarizing the methodology of the traditional M&S applications Verification, Validation, and Accreditation (VV&A), important and difficult parts of ABMS applications VV&A are analyzed in detail, followed with the strategy and steps for implementation, and more specialized study on AMSSs ABMS applications VV&A is carried out; and by combining the example in part (4), the simulation of the power subsystem of the laser satellite, the showing of VV&A is realized.
(7) Based on System Effectiveness Analysis (SEA), the idea that using ABMS to support system effectiveness evaluation is presented with a new complex system effectiveness evaluation methodology, ABMS Supported SEA (ABMSEA). The methodology solves the limitation that the theoretical foundation of SEA is reductionism, and breaks the bottleneck that it is difficult to model the mission, so it can support effectiveness evaluation for many complex systems, especially for AMSSs. In order to show the implementation of ABMSEA, effectiveness evaluation of the two examples which mentioned in part (4) is carried out.
Furthermore, the three examples of AMSSs in this dissertation will provide some reference value for constituting the strategy about the space war in the future.
引文
[1]余金培等.现代小卫星技术与应用[M].上海:上海科学普及出版社,2004.03.
[2]张玉锟.卫星编队飞行的动力学与控制技术研究[D].国防科技大学研究生院工学博士学位论文,2002.10.
[3]孟云鹤.近地轨道航天器编队飞行控制与应刚研究[D].国防科技大学研究生院工学博士学位论文,2006.04.
[4]James R.Wertz and Wiley J.Larson.Space Mission Analysis and Design,3rd[M].Space Technology Library,Published Jointly by Microcosm Press.Torrance,California,1999.
[5]James R.wertz,Wiley J.Larson著,潘科炎等译.降低航天任务的成本[M].北京:航天工业总公司北京控制工程研究所,1998.
[6]Daniel P.Scharf,Fred Y.Hadaegh,and Scott R.Ploen.A survey of formation flying guidance and control(Part Ⅰ):Guidance[C].In Proceeding of the American Control Conference.Denver,Colorado,2003.06.4-6.
[7]Daniel P.Scharf,Fred Y.Hadaegh,and Scott R.Ploen.A survey of formation flying guidance and control(Part Ⅱ):Control[C].In Proceeding of the 2004 American Control Conference.Boston,Massachusetts,2004.06.2-30.
[8]Ashley W.Stroupe et al.Technology for Autonomous Space Systems[R].CMU-RI-TR-00-02.Carnegie Mellon University,2002.10.
[9]Christopher Rouff et al.Autonomicity of NASA Missions[C].ICAC archive Proceedings of the Second International Conference on Automatic Computing table of contents,2005.
[10]Walter F.Truszkowski et al.Autonomous and Autonomic Systems:A Paradigm for Future Space Exploration Missions[J].Systems,Man and Cybernetics,Part C:Applications and Reviews,IEEE Transactions on.Volume:36:279-291,2004.
[11]许国忐等.系统科学[M].上海:上海科技教育出版社,2000.
[12]John.H.Holland著,陈禹 等译.涌现——从混沌到有序[M].上海:上海科学技术出版社,200I.11.
[13]戴金海,吴文昭,李吴.复杂系统理论及其建模仿真方法学[J].计算机仿真.20(z1):31-37,2003.
[14]钱学森,于景元,戴汝为.一个科学新领域——开放的复杂巨系统及其方法论[J].自然杂志.1990,13(1):3-11.
[15]Charles M.Macal and Michael J.North.Tutorial on Agent-Based Modeling and Simulation[C].WSC'05,2005.
[16]Charles M.Macal and Michael J.North.Tutorial on Agent-Based Modeling and Simulation Part 2:How to Model with Agents[C].WSC'06,2006.
[17]Elin Marie Kristensen.Agent Technology[R].Norwegian University of Scienc and Technology,Department of Computer and Information Science,NTNU,Fall 2005.
[18]Scott Moss.Editorial introduction:messy system - the target for multi agent based simulation[C].Multi-Agent-Based Simulation,Springer,2000.
[19]Michael Luck,Mark d'lnverno.A Conceptual Framework for Agent Definition and Development [J].The Computer Journal 2001 44(1):1-20,2001.
[20]Scott Moss and Emma Norling.Multi-Agent-Based Simulation:Why Bother?[C].in Multi-Agent-Based Simulation Ⅵ.International Workshop,MABS 2005,Utrecht,The Netherlands,2006.03.I0.
[21]Patrick Beautement et al.Autonomous Agents and Multi-agent Systems(AAMAS) for the Military -Issues and Challenges[C].In Defence Applications of Multi-Agent Systems.International Workshop,DAMAS 2005,Utrecht,The Netherlands,2006.02.28.
[22]Vincent Bouthonnier and Alexander H.Levis.Effectiveness analysis of C3 systems[J].LIDS-P-1238,1982.09.
[23]Alexander H.Levis,Paul K.Houpt,and Stamatios K.Andreadakis.Effectiveness analysis of automotive systems[J].LIDS-P-1383,1984.06.
[24]North,M.J.,and C.M.Macal.Managing business complexity:discovering strategic solutions with agent-based modeling and simulation[M].Oxford University Press,2007.
[25]John H.Holland著,周晓牧等译.隐秩序——适应性造就复杂性[M].上海:上海科技教育出版社,2000.08.
[26]Herbert A.Simon著,武夷山译.人工科学:复杂性面面观[M].上海:上海科技教育出版社,2004.10.
[27]Eric Bonabeau,Marco Dorigo,and Guy Theraulaz.Swarm Intelligence-from Natural to Artificial Systems[M].Oxford University Press,1999.
[28]Maria H.Penedo.Technology Trends and Predictions:What Will the Future Bring to Our Lives?[J].Technology Review Journal,Spring/Summer 2002.
[29]Michael Wooldridge and Nicholas R.Jennings.Intelligent agents:theory and practice[J].Knowledge Engineering Reviews,1995,10(2):115-152.
[30]Nicholas R.Jennings.On agent-based software engineering[J],Artificial Intelligence,117:277-296,2000.
[31]Michael Fisher.MetateM:The Story so Far[C].Third International Workshop,ProMAS 2005,Utrecht,The Netherlands,2006.03.28.
[32]Michael Luck,Peter McBurney and Jorge Gonzalez-Palacios.Agent-Based Computing and Programming of Agent Systems[C].Third International Workshop,ProMAS 2005,Utrecht,The Netherlands,2006.03.28.
[33]Pieter Jan't Hoen,Karl Tuyls,Liviu Panait,Sean Luke,and J.A.La Poutre.An Overview of Cooperative and Competitive Multiagent Learning[C].First International Workshop,LAMAS 2005,Utrecht,The Netherlands,2006.03.07.
[34]Danny Weyns,Giuseppe Vizzari,and Tom Holvoet.Environments for Situated Multi-agent Systems:Beyond Infrastructure[C].Second International Workshop,E4MAS 2005,Utrecht,The Netherlands,2006.02.26.
[35]史忠植.智能主体及其应用[M].北京:科学出版社,2001.
[36]Michael Wooldridge著,石纯一 等译.多Agent 系统引论[M].北京:电子工业出版社,2003.10.
[37]毛新军.面向主体的软件开发[M].北京:清华大学出版社,2005.06.
[38]张维明等.智能协作信息技术[M].北京:电子工业出版社,2002.04.
[39]李英.多Agent系统及其在预测与智能交通系统中的应用[M].上海:华东理工大学出版社,2004.11.
[40]张洁,高亮,李培根.多Agent技术在先进制造中的应用[M].北京:科学出版社,2004.10.
[41]Tim Finin et al.KQML as an Agent Communication Language[C].The Proceeding of the third International Conference on Information and Knowledge Management(CIKM'94),ACM Press, 1994.11.
[42]熊吟涛.统计物理学[M].北京:人民教育出版社.1981.12.
[43]戴金海,李昊.系统建模与仿真分析[M].长沙:国防科技大学出版社,2007.
[44]Averill M.Law and W.David Kelton.Simulmion Modeling and Analysis,3rd[M].McGraw-Hill,2000.
[45]刘宝宏.多分辨率建模的理论与关键技术研究[D].国防科技大学研究生院工学博士学位论文,2005.01.
[46]贺勇军.面向效能优化的复杂多卫星系统综合建模与仿真方法研究[D].国防科技大学研究生院工学博士学位论文,2004.10.
[47]Benjamin Joseph Dubiel and Omer Tsimhoni.Integrating Agent Based Modeling Into a Discrete Event Simulation[C].WSC'05,2005.
[48]R.M.Howe.Dynamics of Real-Time Digital Simulation[M].Applied Dynamics International of Ann Arbor,Michigan,1994.11.
[49]Bernard P.Zeigler.Theory of Modelling and Simulation[M].John Wiley & Sons,Inc.,1976.
[50]Naim A.Kheir.Systems modeling and computer simulation,2nd[M].Marcel Dekker,Inc.,1996.
[51]Jerry Banks,et al.Discrete-event system simulation,4th[M].Prentice-Hall,Inc.,2005.
[52]Christos G.Cassandras and Stephane Lafortune.Introduction to Discrete Event Systems[M].Kluwer Academic Publishers,1999.
[53]Sheldon M.Ross.Simulation,3rd[M].Elsevier(Singapore) Pte Ltd,2006.
[54]Bernard P.Zeigler,Herbert Praehofer,and Tag Gon Kim.Theory of Modeling and Simulation-Integrating Discrete Event and Continuous Complex Dynamic Systems,2nd[M].Academic Press,2000.
[55]S.Engeli,et al.Modelling,Analysis,and Design of Hybrid Systems[M].Springer,2002.
[56]王红卫.建模与仿真[M].北京:科学出版社,2002.
[57]Mehdi Dastani,J(u|¨)rgen Dix,and Amal El Fallah Seghrouchni.Programming Multi-Agent Systems [M].First International Workshop,PROMAS 2003,Melbourne,Australia.Published by Springer Berlin/Heidelberg,2003.07.15.
[58]Rafael H.Bordini,Mehdi Dastani,J(u|¨)rgen Dix,and Amal El Fallah Seghrouchni.Programming Multi-Agent Systems[M].Second International Workshop ProMAS 2004,New York,NY.Published by Springer Berlin/Heidelberg,2004.07.20.
[59]Rafael H.Bordini,Mehdi Dastani,J(u|¨)rgen Dix,and Amal El Fallah Seghrouchni.Programming Multi-Agent Systems[M].Third International Workshop,ProMAS 2005,Utrecht,The Netherlands.Published by Springer Berlin/Heidelberg,2005.07.26.
[60]Jaime S.Sichman,Rosaria Conte,and Nigel Gilbert.Multi-Agent Systems and Agent-Based Simulation[M].First International Workshop,MABS'98,Paris,France.Published by Springer Berlin/Heidelberg,1998.07.4-6.
[61]Scott Moss and Paul Davidsson.Multi-Agent-Based Simulation[M].Second International Workshop,MABS 2000,Boston,MA,USA.Published by Springer Berlin/Heidelberg,2000.07.
[62]Jaime Sim(?)o Sichman,Francois Bousquet,and Paul Davidsson.Multi-Agent-Based Simulation Ⅱ[M].Third International Workshop,MABS 2002,Bologna,Italy.Published by Springer Berlin/Heidelberg,2002.07.15-16.
[63]David Hales,Bruce Edmonds,Emma Norling,and Juliette Rouchier.Multi-Agent-Based Simulation Ⅲ[M].4th InternationalWorkshop,MABS 2003,Melbourne,Australia.Published by Springer Berlin/Heidelberg,2003.07.14.
[64] Paul Davidsson, Brian Logan, and Keiki Takadama. Multi-Agent and Multi-Agent-Based Simulation [M]. Joint Workshop MABS 2004, New York, NY, USA. Published by Springer Berlin/Heidelberg, 2004.07.19.
[65] Jaime S. Sichman and Luis Antunes. Multi-Agent-Based Simulation VI [M]. International Workshop, MABS 2005, Utrecht, The Netherlands. Published by Springer Berlin / Heidelberg,2005.07.25.
[66] Charles M. Macal and David Sallach. Agent Simulation: Applications, Models, and Tools [M].ANL/DIS/TM-59. Available by request from Decision and Information Sciences, Division Office,Argonne National Laboratory, 1999.11.15-16
[67] David Sallach and Thomas Wolsko. Simulation of Social Agents: Architectures and Institutions [M]. ANL/DIS/TM-60. Available by request from Decision and Information Sciences, Division Office, Argonne National Laboratory, 2000.11.6-7
[68] Charles Macal and David Sallach. Social Agents: Ecology, Exchange, and Evolution [M].Co-sponsored by the University of Chicago and Argonne National Laboratory, 2002.11.11-12
[69] Charles Macal, Michael North, and David Sallach. Challenges in Social Simulation [M]. Argonne National Laboratory and the University of Chicago, 2003.11.2-4
[70] Charles M. Macal, David Sallach, and Michael J. North. Social Dynamics: Interaction, Reflexivity and Emergence [M]. Argonne National Laboratory, the University of Chicago, and North American Association for Computational Social and Organizational Science, 2004.11.7-9
[71] Charles M. Macal, David Sallach, and Michael J. North. Generative Social Processes, Models, and Mechanisms [M]. Argonne National Laboratory and the University of Chicago.http://www.agent2005.anl.gov, 2005.11.
[72] Simon Parsons, Nicolas Maudet, Pavlos Moraitis, and Iyad Rahwan. Argumentation in Multi-Agent Systems [M]. Second International Workshop, ArgMAS 2005 Utrecht, The Netherlands. Published by Springer Berlin/Heidelberg, 2005.07.26.
[73] Michael P(?)chou(?)ek, Paolo Petta, and L(?)szl(?) Zsolt Varga. Multi-Agent Systems and Applications IV [M]. 4th International Central and Eastern European Conference on Multi-Agent Systems,CEEMAS 2005, Budapest, Hungary. Published by Springer Berlin/Heidelberg, 2005.09.15-17.
[74] Matthias Klusch, Sascha Ossowski, Vipul Kashyap, and Rainer Unland. Cooperative Information Agents VIII [M]. 8th International Workshop, CIA 2004, Erfurt, Germany. Published by Springer Berlin/ Heidelberg, 2004.09.27-29.
[75] Jo(?)o Leite and Paolo Torroni. Computational Logic in Multi-Agent Systems [M]. 5th International Workshop, CLIMA V, Lisbon, Portugal. Published by Springer Berlin/Heidelberg, 2004.09.29-30.
[76] Simon G Thompson and Robert Ghanea-Hercock. Defence Applications of Multi-Agent Systems [M]. International Workshop, DAMAS 2005, Utrecht. The Netherlands. Published by Springer Berlin/ Heidelberg, 2005.07.25.
[77] Danny Weyns, H. Van Dyke Parunak, and Fabien Michel. Environments for Multi-Agent Systems [M]. First International Workshop, E4MAS 2004, New York. Published by Springer Berlin/Heidelberg, NY, 2004.07.19.
[78] Danny Weyns, H. Van Dyke Parunak, and Fabien Michel. Environments for Multi-Agent Systems II [M]. Second International Workshop, E4MAS 2005, Utrecht, The Netherlands. Published by Springer Berlin/Heidelberg, 2005.07.25.
[79] Michael G Hinchey, James L. Rash, Walter F. Truszkowski, and Christopher A. Rouff. Formal Approaches to Agent-Based Systems [M]. Third International Workshop, FAABS 2004, Greenbelt, MD.Published by Springer Berlin/Heidelberg,2004.04.26-27.
[80]Karl Tuyls,Pieter Jan't Hoen,Katja Verbeeck,and Sandip Sen.Learning and Adaption in Multi-Agent Systems[M].First International Workshop,LAMAS 2005,Utrecht,The Netherlands.Published by Springer Berlin/Heidelberg,2005.07.25.
[81]Jaeho Lee and Mike Barley.Intelligent Agents and Multi-Agent Systems[M].6th Pacific Rim International Workshop on Multi-Agents,PRIMA 2003,Seoul,Korea.Published by Springer Berlin/Heidelberg,2003.11.7-8.
[82]Walt Truszkowski,Chris Rouff,and Mike Hinchey.Innovative Concepts for Agent-Based Systems [M].First International Workshop on Radical Agent Concepts WRAC 2002 McLean,VA,USA.Published by Springer Berlin/Heidelberg,2002.01.16-18.
[83]Nick Jennings,Katia Sycara,and Mike Georgeff.Autonomous Agents and Multi-Agent Systems [M].http://www.springerlink.com/content/1573-7454/.Date of Access:2002.04.05.
[84]Thomas M.Cioppa,Thomas W.Lucas,and Susan M.Sanchez.Military Application o1:Agent-Based Simulation[C].WSC'04,2004.
[85]Michael VanPutte.A Computation Model and Multi-Agent Simulation for Information Assurance [D].Doctoral Dissertation,Naval Postgraduate School,USA,2002.06.
[86]Brian A.Osborn.An Agent-Based Architecture for Generating Interactive Stories[D].Doctoral Dissertation,Naval Postgraduate School,USA,2002.09.
[87]Arthur R.Aragon.Agent-Based Simulation of a Marine Infantry Squad in an Urban Environment [D].Master's Thesis,Naval Postgraduate School,USA,2001.09.
[88]李宏亮.基于Agent的复杂系统分布仿真[D].国防科技大学研究生院工学博士学位论文,2001.10.
[89]党岗.多Agent虚拟环境中生成兵力的行为建模及其表现技术的研究与实现[D].国防科技大学研究生院工学博士学位论文,2001.04.
[90]曹军海.基于 Agent的离散事件仿真建模框架及其在系统RMS建模与仿真中的应用研究[D].装甲兵工程学院博士学位论文.2002.08.
[9l]赵怀慈.基于Agent的建模与仿真方法研究[D].中国科学院沈阳自动化研究所,2003.
[92]叶超群.多Agent复杂系统分布仿真平台中的关键技术研究[D].国防科技大学研究生院工学博士学位论文,2006.06.
[93]Walt Truszkowski.Challenges Arising from Applications of Agent-Based Systems[C].'FAABS 2002,LNAI 2699,2003.
[94]Walt Truszkowski and Sidney Bailin.Progressive autonomy:a method for gradually introducing autonomy into space missions[C].Software Engineering Workshop,2005.
[95]李吴,戴金海.自主卫星系统基于Agent的建模与仿真研究[J].航大控制.25(103):52-55,79,2007.
[96]Walt Truszkowski,Harold Hallock.Agent Technology from a NASA Perspective[C].in Third International Workshop CIA-99 on Cooperative Information Agents.Uppsala,Sweden,1999.
[97]Walt Truszkowski,et al.Some Autonomic Properties of Two Legacy Multi-Agent NASA Systems:LOGOS and ACT[J].FY04 Papers/Presentations cont'd.Flying the Earth Observing Constellations- Angelita Kelly,2004.12.16.
[98]W.Truszkowski,M.Hinchey,C.Rouff and J.Rash.Autonomous and Autonomic Systems:A Paradigm for Future Space Exploration Missions[J],IEEE Trans.on Systems,Man and Cybernetics,Part C,2006.
[99]Truszkowski,W.and Rouff,C.An Overview of the NASA LOGOS and ACT Agent Communities [C]. 5th World Multiconference on SCI 2001. July 22-25, Orlando, Florida.
[100] Christopher Rouff, James Rash and Michael G Hinchey. Experience Using Formal Method for Specifying a Multi-Agent System [C]. in Proc. 6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000), Tokyo, Japan, IEEE Computer Society Press,2000.
[101] James L. Rash, et al. A Requirements-Based Programming Approach to Developing a NASA Autonomous Ground Control System [J]. 2005 Kluwer Academic Publishers. Netherlands,2005.10.28.
[102] Walt Truszkowski and Christopher Rouff. New Agent Architecture for Evaluation in Goddard's Agent Concepts Testbed [J]. URL: http://agents.gsfc.nasa.gov/papers/pdf/aap41 .pdf. Date of Access: 2003.12.09.
[103] Roy Sterritt, et al. Self-* Properties in NASA Missions [C]. in the Software Engineering Research and Practice (SERP 2005) Las Vegas, NV, 2005.06.26-30.
[104] Christopher A. Rouff, et al. Experiences applying formal approaches in the development of swarm-based space exploration systems [J]. International Journal of Sofware Tools for Technology Transfer, 2006.
[105] Christopher A. Rouff, et al. Formal Methods for Autonomic and Swarm-based Systems [C]. in 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004),2004.10.30-11.02.
[106] M. G Hinchey, et al. Requirements of an Integrated Formal Method for Intelligent Swarms [C]. in Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS05).Lisbon, Portugal. 2005.10.5-6.
[107] W. Truszkowski, J. Rash, C. Rouff and M. Hinchey, Asteroid Exploration with Autonomic Systems [C], In Proceedings of IEEE Workshop on EASe 2004 at the 11th Annual IEEE International Conference and Workshop on ECBS 2004, Brno, Czech Republic, 2004.05.24-27.
[108] Shane Almeida, Ethan Croteau, and Jonathan Freyberger. The ANT FARM: automous nano technology funtional actuation & resource management [R]. A Major Qualifying Project (Project No. DCB-02N2) report submitted to The Faculty of WORCESTER POLYTECHNIC INSTITUTE, and In partial fulfillment of the requirements for the Degree of Bachelor of Science,2002.12.13
[109] Walt Truszkowski and Jay Karlin. A Cybernetic Approach to the Modeling of Agent Communities [C]. Agents 2000. Boston, MA, 2000.07.
[110] P. A. Stadter, et al. Autonomous Command and Control for Distributed Spacecraft Systems [C].AIAA Nanotech 2002 Proceedings, Houston, TX. 2002.10.9-12.
[111] Jan Smid, Marek Obitko, and Walt Truszkowski. An Approach to Knowledge Exchange and Sharing between Agents [C]. WRAC 2002, LNAI 2564, 2003.
[112] Sidney C. Bailin and Walt Truszkowski. Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents [J]. In Proceedings of the Fifth International Workshop on Cooperative Information Agents (CIA 2001), 2001.
[113] Sidney C. Bailin and Walt Truszkowski. Ontology Negotiation: How Agents Can Really Get to Know Each Other [C]. WRAC 2002, 2002.
[114] Sidney C. Bailin, Walt Truszkowski. Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems [C]. AAAI Spring Symposium, Stanford University, 2003.
[115] Roy Sterritt and Mike Hinchey. Apoptosis and Self-Destruct: A Contribution to Autonomic Agents [C]. FAABS 2004, LNAI 3228, 2005.
[116] Roy Sterritt and Mike Hinchey. From Here to Autonomicity: Self-Managing Agents and the Biological Metaphors that Inspire Them [C]. In Integrated Design and Process Technology,IDPT-2005. Printed in the United States of America, 2005.06.
[117] Walt Truszkowski, David Zoch, and Dan Smith. Autonomy for Constellations [C]. in the 2nd International NASA Workshop on Planning and Scheduling for Space San Francisco, CA,2000.03.
[118] Subrata Das, et al. Multi-Agent Planning and Scheduling Environment for Enhanced Spacecraft Autonomy [C]. In Proceedings of the 5th International Symposium on Artificial Intelligence,Robotics and Automation in Space, 1999.
[119] Subrata Das, et al. Distributed intelligent planning and scheduling (DIPS) [J]. NASA strategic technology, 2003 (3): 55- 57, 2003.
[120] Miranda Cooter, et al. Alternative Approaches to Mission Control Automation at NASA's Goddard Space Flight Center [J]. American Association for Artificial Intelligence, 2001.
[121] S. Chien, et al. Using Autonomy Flight Software to Improve Science Return on Earth Observing One [J]. Journal of Aerospace Computing, Information, and Communication. April 2005.
[122] Steve Chien, et al. The EO-1 Autonomous Science Agent [C]. AAMAS 2004. New York City,USA. 2004.07.
[123] S. Chien, et al. Lessons Learned from Autonomous Sciencecraft Experiment [J]. AAMAS 2005.Utrecht, Netherlands, 2005.07.
[124] G. Rabideau, et al. Mission Operations with Autonomy: A preliminary report for Earth Observing-1 [C]. IWPSS 2004. Darmstadt, Germany, 2004.06.
[125] Rob Sherwood et al. Next Generation Autonomous Operations on a Current Generation Satellite [C]. 5th International Symposium on Reducing the Cost of Spacecraft Ground Systems and Operations (RCSGSO 2003). Pasadena, CA, 2003.07.
[126] D. Tran, et al. Safe Agents in Space: Preventing and Responding to Anomalies in the Autonomous Sciencecraft Experiment [C]. AAMAS 2005. Utrecht, Netherlands, 2005.07
[127] M. Johnston and B. Clement. Automating Deep Space Network Scheduling and Conflict Resolution [C]. i-SAIRAS 2005. Munich, Germany, 2005.09.
[128] Forest Fisher, et al. A Planning Approach to Monitor and Control for Deep Space Communications [C]. IEEE Aerospace Conference. Big Sky, MT, 2000.03.
[129] D. Tran, et al. Flight Software Issues in Onboard Automated Planning: Lessons Learned on EO-1 [C]. IWPSS 2004. Darmstadt, Germany, 2004.06.
[130] A. Barrett. Model Compilation for Embedded Real-Time Planning and Diagnosis [C]. IWPSS 2004. Darmstadt, Germany, 2004.06.
[131] A. Barrett. Model Compilation for Real-Time Planning and Diagnosis with Feedback [C]. IJCAI 2005. Edinburgh, Scotland, 2005.07.
[132] R. Sherwood, et al. An Integrated Planning and Scheduling Prototype for Automated Mars Rover Command Generation [C]. ECP 2001. Toledo, Spain, 2001.09.
[133] T. Estlin and D. Gaines. An Optimization Framework for Interdependent Planning Goals [C].AIPS 2002. Toulouse, Fr, 2002.04.
[134] R. Sherwood, et al. Autonomously Generating Operations Sequences For a Mars Rover using AI-based Planning [C]. IROS 2001. Maui, HI, 2001.11.
[135] G. Rabideau, et al. Iterative Repair Planning for Spacecraft Operations in the ASPEN System [C]. ISAIRAS 1999.Noordwijk,The Netherlands,1999.06.
[136]R.Sherwood,et al.Using ASPEN to Automate EO-1 Activity Planning[C].IEEE Aerospace Conference.Aspen,CO,1998.03.
[137]T.Estlin,et al.Coordinating Multiple Rovers with Interdependent Science Objectives[C].AAMAS 2005.Utrecht,Netherlands,2005.07.
[138]S.Chien,et al.Revolutionary Deep Space Science Missions Enabled by Onboard Autonomy[C].i-SAIRAS 2003.Nara,Japan,2003.05.
[139]C.Chouinard,et al.An Approach to Autonomous Operations for Remote Mobile Robotic Exploration[C].IEEE 2003 Aerospace Conference.Big Sky,MT,2003.03.
[140]S.Chien,et al.An Autonomous Earth-Observing Sensorweb[J].IEEE Intelligent Systems,2005.
[141]B.Pell.An Autonomous Spacecraft Agent Prototype[C].International Conference on Autonomous Agents,Marina Del Rey,CA,1997.02.
[142]Lorenzo Pettazzi,Mark Ayre,and Dario Izzo.Self assembly in space using behabior-based intelligent components[R].Internal Report from European Space Agency,2005.01.12.
[143]Christopher Rouff.Testing and Monitoring Intelligent Agents[C].WRAC 2002,LNAI 2564,2003.
[144]Paul Zetocha.Satellite Cluster Command and Control[C].Aerospace Conference Proceedings,2000 IEEE,2000.
[145]杨家军.小卫星自主运行的任务规划与调度和故障处理方法的研究[D].哈尔滨工业大学博士学位论文,1999.08.01.
[146]范显峰.基于多Agent系统的卫星故障诊断技术研究[D].哈尔滨工业大学博士学位论文,2003.03.
[147]代树武,孙辉先.卫星运行中的自主控制技术[J].空间科学学报,22(2):147-153,2002.04.
[148]刘洋.卫星有效载荷规划与调度的算法及仿真[D].中国科学院研究生院(空间科学与应用研究中心)硕士学位论文,2004.07.28.
[149]赵黎平.近地卫星自主轨道确定和控制系统研究[D].西北工业大学博士学位论文,2002.07.
[150]王岩.卫星智能自主控制系统的研究[D].西北工业大学硕士学位论文,2004.06.28.
[151]周克强.空间飞行器智能自主控制研究[D].西北工业大学硕士学位论文,2006.06.09.
[152]张健.分布式卫星自主构型重构技术研究[D].国防科技大学研究生院工学博士学位论文,2006.10.
[153]W.J.Clancey,et al.Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System[C].The 16th International FLAIRS Conference 2003,St.Augustine,F1,2003.
[154]M.Sierhuis,W.J.Clancey,and R.v.Hoof.Brahms:a multiagent modeling environment for simulating social phenomena[C].First conference of the European Social Simulation Association (SIMSOC VI),Groningen,The Netherlands,2003.
[155]W.J.Clancey et al.Brahms Mobile Agents:Architecture and Field Tests[C].AAAI 2002 Fall Symposium on Human-Robot Interaction,North Fallmouth,MA,2002.
[156]B.Darner et al.Brahms VE:A Collaborative Virtual Environment for Mission Operations,Planning and Scheduling[R].Final Report for STTR Contract #NAS2-01019,2001.10.08
[157]Clancey,W.J,P.Sachs,M.Sierhuis,R.van Hoof.Brahms:Simulating practice for work systems design[J].International Journal on Human-Computer Studies,vol.49:831-865.
[158]Sierhuis,M.,W.J.Clancey,R.van Hoof.BRAHMS:A multi-agent programming language for simulating work practice[R]RIACS/NASA Ames Research Center.
[159] Sierhuis, M. et al. Human-Agent Teamwork and Adjustable Autonomy in Practice [C]. in Proceedings of The 7th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS), Nara, Japan, 2003.
[160] M Sierhuis et al. Modeling and Simulation for Mission Operations Work System Design [J].Journal of Management Information Systems, vol. Vol. 19: 85-129, 2003.
[161] W. J. Clancey. Simulating Activities: Relating Motives, Deliberation, and Attentive Coordination[J]. Cognitive Systems Research, vol. 3: 471-499, 2002.
[162] M. Sierhuis, A. Acquisti, and W. J. Clancey. Multiagent Plan Execution and Work Practice:Modeling plans and practices onboard the ISS [C]. Presented at 3rd International NASA Workshop on Planning and Scheduling for Space, Houston, TX, 2002.
[163] A. Acquisti et al. Agent Based Modeling of Collaboration and Work Practices Onboard the International Space Station [C]. Proceedings of the 11th Conference on Computer-Generated Forces and Behavior Representation, Orlando, FL, May 2002.
[164] Sierhuis, M. Modeling and Simulation of Work Practices on the Moon [C]. In Computational Analysis of Social and Organizational Systems 2000, Carnegie Mellon University, Pittsburgh, PA.
[165] Sierhuis, M., et al. Modeling and simulating work practices from Apollo 12 [C]. In International Workshop on Simulation for European Space Programmes, ESTEC, Noordwijk, The Netherlands.
[166] Colonel Nancy J. Currie. The Role of Simulation in Spaceflight Missions [C]. WSC'05, 2005
[167] Michael G. Madden, Roberta Wyrick, and Dale E. O'Neill. A strategy for autogeneration of space shuttle group processing simulation models for project makespan estimation [C]. WSC'05, 2005.
[168] Michael G. Madden. Learning Curve Application to Space Shuttle Processing Simulations [C].WSC'06, 2006.
[169] Jorge E. Bardina and Rajkumar Thirumalainambi. Distributed web-based expert system for launch operations [C]. WSC'06, 2005.
[170] Cary J. Peaden. Using simulation for launch team training and evaluation [C]. WSC'05, 2005.
[171] Mohamed Fayez et al. Earth to Orbit Logistics and Supply Chain Modeling and Simulation for NASA Exploration Systems [C]. WSC'06, 2006.
[172] Grant R. Cates, William M. Cirillo, and Chel Stromgren. Low Earth Orbit Rendezvous Strategy for Lunar Missions [C]. WSC'06, 2006.
[173] Andrew J. Turner. An open-source, extensible spacecraft simulation and modeling environment framework [D]. Master's Thesis from the Virginia Polytechnic Institute and State University,2003.10.13.
[174] David A. Shultz. Modeling and Simulation of Commercial Satellite Imagery Processes [D].Master's thesis, Air Force Institute of Technology, 2005.05.
[175] W. David Kelton, Randall P. Sadowski, and Deborah A. Sadowski. Simulation with Arena, 2rd [M]. Mc Graw Hill, 2000.
[176] John P. Enright. A Flight Software Development and Simulation Framework for Advanced Space Systems [D]. Doctoral Dissertation, MIT SSL #5-02, 2002.05.
[177] Shaun M. Endres. Simulation and emulation of the space networking environment [D]. Master's thesis, the Case Western Reserve University, 2005.01.
[178] Brian Kjeldsen et al. Satellite Simulation System [R]. Study Report from Aalborg University,1998.
[179] 廖守亿.复杂系统基于Agent的建模与仿真方法研究及应用[D].国防科技大学研究生院工学博士学位论文,2005.04.
[180]李连军.航天器功能行为虚拟原型建模方法及实现技术研究[D].国防科技大学研究生院工学博士学位论文,2006.10.
[181]赵磊.基于多Agent卫星编队姿态协同控制与星务管理仿真研究[D].哈尔滨工业大学硕士学位论文,2005.06.01.
[182]赵懿.基于HLA的卫星姿态控制仿真研究[D].中国科学院研究生院硕士学位论文,2004.05.
[183]刘洋.卫星有效载荷规划与调度的算法及仿真[D].中国科学院研究生院硕士学位论文,2004.05.
[184]王睿.星载合成孔径雷达系统设计与模拟软件研究[D].中国科学院研究生院博士学位论文,2003.06.
[185]宫颖.卫星空间作战的基本理论与方法研究[D].西北工业大学硕士学位论文,2005.06.27.
[186]Gregory V.DeStefano.Agent Based Simulation SEAS Evaluation of DoDAF Architecture[D].Master's thesis,Air Force Institute of Technology,2004.03.
[187]A.E.R.Woodcock and Dr.Loren Cobb.Space Effectiveness Analysis Simulation(SEAS) System [R].RL-TR-96-242,1997.02.
[188]Cole W.Gulyas.Stochastic Capability Models for Degrading Satellite Constellations[D].Master's thesis,Air Force Institute of Technology,2005.05.
[189]Hu Jianwen et al.A novel complex-system-view-based method for system effectiveness analysis:Monotonic indexes space[J].Science in China:Series F Information Sciences 2006,Vol.49,No.1:90-102.
[190]李志猛.基于SEA的效能评价方法研究[D].国防科技大学研究生院工学博士学位论文,2003.03.01.
[191]杨峰.面向效能评估的平台级体系对抗仿真跨层次建模方法研究[D].国防科技大学研究生院工学博士学位论文,2003.10.
[192]杨新.综合飞行/火力控制系统及其评价研究[D].北京航空航天大学博士学位论文,2000.11.01.
[193]黄炎焱等.基于效用聚合的装甲装备作战效能评估方法研究[J].系统仿真学报,17(10):2311-2313,2005.11.
[194]吴晓锋,周智超.SEA方法及其在C3I系统效能分析中的应用(Ⅲ)——监视模型[J].系统工程理论与实践,1999(1):61-68,1999.01.
[195]吴晓锋,周智超.SEA方法及其在C3I系统效能分析中的应用(Ⅳ)——系统效能分析[J].系统工程理论与实践,1999(2):44-49,1999.02.
[196]杨军.基于模糊理论的卫星导航系统综合效能评估研究[J].宇航学报,25(2):147-151,194,2004.03.
[197]Jim Ledin著,焦宗夏等译.仿真工程[M].北京:机械工业出版社,2003.
[198]Bernard P.Zeigler.Embedding DEV&DESS in DEVS[C].DEVS'06,Huntsville,Alabama,USA,2006.
[199]Charles Harrell,Biman K.Ghosh,and Royce O.Bowden.Simulation Using ProModel,2nd[M].McGraw-Hill,2004.
[200]郑大钟,赵千川.离散事件动态系统[M].北京:清华大学出版社,2001.
[201]Hessam Sarjoughian and Dongping Huang.A Multi-Formalism Modeling Composability Framework:Agent and Discrete-Event Models[C].The 9th IEEE International Symposium on Distributed Simulation and Real Time Applications.Montreal,Canada,2005.10.
[202]Daryl R.Hild.Discrete Event System Specification(DEVS)/Distributed Object Computing (DOC) Modeling and Simulation[D].Doctoral Dissertation,University of Arizona,2000.03.
[203]Rafaei H.Bordini,Michael Fisher,Willem Visser,and Michael Wooidridge.Verifying multi-agent programs by model checking[C].Auton Agent Multi-Agent Sys(2006) 12:239-256
[204]Michael Wooldridge and Paul E.Dunne.The Computational Complexity of Agent Verification [C].Intelligent Agents Ⅷ,LNAI 2333,2002.
[205]Defense Modeling and Simulation Office(DMSO),Verification,Validation,and Accreditation Recommended Practices Guide.U.S.Department of Defense.Office of the Director of Defense Research and Engineering,November 1996.
[206]Osman Balci.Quality Assessment,Verification,and Validation of Modeling and Simulation Applications[J].WSC'04,2004.
[207]Osman Balci.Quality assessment,verification,and validation of modeling and simulation applications[J].WSC'04,2004.
[208]Osman Balci.Verification,Validation,and certification of modeling and simulation applications [J].WSC'03,2003.
[209]Osman Balci et al.A collaborative evaluation environment for credibility assessment of modeling and simulation applications[J].WSC'02,2002.
[210]Robert G.Sargent.Verification and Validation of Simulation Models[C].WSC'05,2005.
[211]Robert G.Sargent.Validation and Verification of Simulation Models[C].WSC'04,2004.
[212]国防科学技术工业委员会.中华人民共和国国家军用标准:卫星术语[S].GJB-421A-97,1997.
[213]王希季等.20世纪中国航天器技术的进展[M].北京:宇航出版社,2002.
[214]徐福祥.卫星工程学讲义[M].北京:中国空间技术研究院,1999.12.
[215]徐福祥 等.卫星工程概论(上、下)[M].北京:宇航出版社,2003.12.
[216]中国人民解放军总装备部军事训练教材编辑工作委员会.航天器[M].北京:国防工业出版社,2006.06.
[217]高存后,荣明宗 等.飞行器系统工程[M].北京:宇航出版社,1996.
[218]王希季,李大耀.卫星设计学[M].上海:上海科学技术出版社,1997.12.
[219]Yerang Hur and Insup Lee.Distributed Simulation of Multi-Agent Hybrid Systems[C].In Proceedings of the 5th IEEE International Symposium on Object-Oriented and Real-Time Distributed Computing,(Arlington,Va.).IEEE Computer Society Press,Los Alamitos,Calif,2002.
[220]Joel M.Esposito,Vijay Kumar.An Asychronous integration and event detection algorithm for simulating multi-agent hybrid systems[J].ACM Transactions on Modeling and Computer Simulation,Vol.14,No.4,2004.10.
[221]Joel Esposito,Vijay Kumar,and George J.Pappas.Multi-agent hybrid system simulation[C].Proceedings of the 40th IEEE Conference on Decision and Control.Orlando,Florida USA,2001.11.
[222]Bernard P.Zeigler.Discrete event abstraction:an emerging paradigm for modeling complex adaptive systems[C].To appear in "Adaptation and Evolution"(Festschrift for John H.Holland)to be published by Santa Fe Institute,Oxford Press,England,2004.
[223]Bernard P.Zeigler,Hae Sang Song,Tag Gon Kim,Herbert Praehofer.DEVS framework for modeling,simulation,analysis,and design of hybrid systems[C].Hybrid Ⅱ,Lecture Notes in Computer Science,P.Antsaklis and A.Nerode,Eds.,Springer-Verlag,Berlin,Germany,1996.
[224]Bernard P.Zeigler and Hessam S.Sarjoughian.DEVS Component-Based M&S Framework:an Introduction[C].Proceedings of AI,Simulation and Planning in High Autonomy,2002.
[225]李昊,戴金海.基于Agent的空防作战系统建模仿真方法研究[J].计算机仿真.24(1):281-284,2007.
[226]Roy Sterritt and Dave Bustard.Autonomic Computing-a Means of Achieving Dependability[C].Proceedings of IEEE International Conference on the Engineering of Computer Based Systems (ECBS'03),Huntsville,Alabama,USA,2003.
[227]James Nutaro.Discrete Event Simulation of Continuous Systems[J].to appear in "Dynamic Models" by P.Fishwick,2006.
[228]Yan Zhang,Anna Liu,and Wei Qu.Software Architecture Design of an Autonomic System.[C].in the Fifth Australasian Workshop on Software and System Architectures(ASWEC 2004).Melbourne,Australia,2004.04.13-14.
[229]Sterritt R.Towards Autonomic Computing:Effective Event Management[C].in Proc.27th Ann.IEEE/NASA Software Engineering Workshop(SEW),MD,USA,2002.12.3-5,IEEE CS Press.
[230]Roy Sterfitt and Mike Hinchey.Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions[C].Engineering of Computer-Based Systems,2005.ECBS '05.12th IEEE International Conference and Workshops,2005.04,04-07.
[231]Anthony Barrett.Autonomy Architectures for a Constellation of Spacecraft[C].ISAIRAS 1999.Noordwijk,The Netherlands,1999.06.
[232]戴金海等.航天母星战斗群概念研究提纲[R].内部报告,国防科技大学航天与材料工程学院,2004.
[233]Kutluhan Erol,James Hendler,and Dana S.Nau.HTN Planning:Complexity and Expressivity [C].In Proc.of the AAAI94,1994.
[234]R.lsermann and E Balle..Trends in the Application of Model-Based Fault Detection and Diagnosis of Technical Processes..Control Engineering Practice.Vol.5:709-719.1997.
[235]周志华,曹存根 主编.神经网络及其应用[M].北京:清华大学出版社,2004.
[236]Benoit Calvez and Guillaume Hutzler.Automatic Tuning of Agent-Based Models Using Genetic Algorithms[C].in Multi-Agent-Based Simulation Ⅵ.International Workshop,MABS 2005,Utrecht,The Netherlands,2006.03.I 0.
[237]Steve Rabin主编.庄越挺,吴飞译.人工智能游戏编程真言[M].北京:清华大学出版社,2005.
[238]Grady Booch,James Rumbaugh,and Ivar Jacobson著,邵维忠 等译.UML用户指南[M].北京:机械工业出版社,2001.06.
[239]James Rumbaugh,Ivar Jacobson,and Grady Booch著,姚淑珍,唐发根译.UML参考手册[M].北京:机械工业出版社,2001.01.
[240]Ivar Jacobson,Grady Booch,and James Rumbaugh著,周伯生等译.统一软件开发过程[M].北京:机械工业出版社,2002.01.
[241]Tom Pender著,耿国栋等译.UML宝典[M].北京:电子工业出版社,2004.01.
[242]Anand S.Rao and Michael P Georgeff.BDI Agents:From Theory to Practice[C].ICMAS-95,San Francisco,USA,1995.06.
[243]李昊,戴金海.基于Agent的建模与仿真和离散事件仿真的集成应用研究.系统仿真学报.18(增2):116-119,2006.
[244]杨嘉墀等.航天器轨道动力学与控制(上、下)[M].北京:宇航出版社,1995.12,2002.06.
[245]陈芳允,贾乃华.卫星测控手册[M].北京:科学出版社,1992.
[246]郗小宁等.近地航天器轨道基础[M].长沙:国防科技大学出版社,2003.04,
[247]刘林 等.航天动力学引论[M].南京:南京大学出版社,2005.02.
[248]刘良栋 等.卫星控制系统仿真技术[M].北京:宇航出版社,2003.12.
[249]屠善澄 等.卫星姿态动力学与控制[M].北京:宇航出版社,2001.12.
[250]Timothy Pratt,Charles Bostian,and Jeremy Allnutt著,甘良才 译.卫星通信,第二版[M].北京:电子工业出版社,2005.07.
[251]陈道明 等.通信卫星有效载荷技术[M].北京:宇航出版社,2001.12.
[252]闵桂荣 等.卫星热控制技术[M].北京:宇航出版社,1991.09.
[253]马世俊 等.卫星电源技术[M].北京:宇航出版社,2001.12.
[254]Sylvain Damiani,Gerard Verfaillie,and Marie-Claire Charmeau.An Anytime Planning Approach for the Management of an Earth Watching Satellite[C].In Proc.of the 4th International Workshop on Planning and Scheduling for Space(IWPSS-04),Darmstadt,Germany,2004.
[255]Sylvain Damiani,Gerard Verfaillie,and Marie-Claire Charmeau.A Continuous Anytime Planning Module for an Autonomous Earth Watching Satellite[C].In Proc.of the ICAPS-05 Workshop on Planning under Uncertainty for Autonomous Systems,Monterey,CA,USA,2005.
[256]Sylvain Damiani,Gerard Verfaillie,and Marie-Claire Charmeau.An Earth Watching Satellite Constellation:How to Manage a Team of Watching Agents with Limited Communications[C].AAMAS'05,Utrecht,Netherlands,2005.07.
[257]白鹤峰.卫星星座的分析殴计与控制方法研究[D].国防科技大学研究生院工学博士学位论文,1999.04.
[258]Princeton Satellite Systems,Inc.ObjectAgent Rapid Prototyping Tool V2.2[M].ObjectAgent Rapid Prototyping Tool User's Guide(2002).
[259]Joseph B.Mueller,Derek M.Surka and Joy J.Lin.A Background Layer of Health Monitoring and Error Handling for ObjectAgent[J].FLAIRS 2001 Conference,2001.
[260]杨颖,王琦.STK在计算机仿真中的应用[M].北京:国防工业出版社,2005.01.
[261]Swarm Development Group.Swarm User Guide[M].http://www.swarm.org,Since 1996.
[262]Minar,N.,R.Burkhart,et al.The Swarm simulation system,a toolkit for building multi-agent simulations[J].http://www.santafe.edu/projects/swarm/overview/overview.html,Since 1996.
[263]North,M.J.and C.M.Macal.Escaping the accidents of history:an overview of artificial life modeling with Repast[C].Artificial Life Models in Software,Eds.A.Adamatzky and M.Komosinski,Springer-Verlag:Dordrecht,Netherlands.2005.
[264]Giovanni Rimassa.Runtime Support for Distributed Multi-Agent Systems[D].PhD thesis,University of Parma,2003.01.
[265]Donald E.Knuth.The Art of Computer Programming Volume 2:Seminumericai Algorithms[M].Addition-Wesley,1998.
[266]Bernard P.Zeigler and Hessam S.Sarjoughian.Introduction to DEVS Modeling and Simulation with JAVA:Developing Component-Based Simulation Models[M].ACIMS,2005.01.
[267]Sivakumar Palaniappan,Anil Sawhney,and Hessam S.Sarjoughian.Application of DEVS Framework in Construction Simulation[C].WSC'06,2006.
[268]Hessam S.Sarjoughian.A Scalable Component-based Modeling Environment Supporting Model Validation[C].Interserive/Industry Training,Simulation,and Education Conference,1-11,Orlando,FL,2005.
[269]张云勇 等.中间件技术原理与应用[M].北京:清华大学出版社,2004.10.
[270]陈雄华,涂传滨等.精通JBuilder 2005[M].北京:电子工业出版社,2005.06.
[271]OMG编著,韦乐平 等译.CORBA服务[M].北京:电子工业出版社,2002.07.
[272]Gerald Brose,Andreas Vogel,Keith Duddy.Java Programming with CORBA:Advanced Techniques for Building Distributed Applications,3rd[M].John Wiley & Sons,Inc.,2001.
[273]Peter Clark,Peter Ryan,and Lucien Zalcman.Advanced Distributed Simulation for the Australian Defence Force[R].Air Operations Division Aeronautical & Maritime Research Laboratory,DSTO-GD-0255,2000.
[274]Christopher A.Chung.Simulation modeling handbook:a practical approach[M].Library of Congress Cataloging-in-Publication Data,2003.
[275]DoDI.DoD modeling and simulation verification,validation,and accreditation[S].Department of Defense Instruction 5000.61,1996.04.
[276]Rae,A.,P.Robert,and H.-L.Hausen.Software Evaluation for Certification:Principles,Practice,and Legal Liability[J].London,UK:McGraw-Hill,1995.
[277]Osman Balci and Said D.Saadi.Proposed standard processes for certification of modeling and simulation applications[J].WSC'02,2002.
[278]Voas,J.M.Guest editor's introduction:certification:reducing the hidden costs of poor quality[J].IEEE Software 16(4):22-25,1999.
[279]李德毅,杜鹢.不确定性人工智能[M].北京:国防工业出版社,2005.07.
[2801 John E.HopcroR,Raieev Motwani,and Jeffrey D.Ullman著,刘田 等译.自动机理论、语言和计算导论[M].北京:机械工业出版社,2006.04.
[281]Claude Girault and ROdiger Valk著,王生原 等译.系统工程Petri网——建模、验证与应用指南(Petri Nets for Systems Engineering:A Guide to Modeling,verification,and Applications)[M].北京:电子工业出版社,2005.06.
[2]张玉锟.卫星编队飞行的动力学与控制技术研究[D].国防科技大学研究生院工学博士学位论文,2002.10.
[3]孟云鹤.近地轨道航天器编队飞行控制与应刚研究[D].国防科技大学研究生院工学博士学位论文,2006.04.
[4]James R.Wertz and Wiley J.Larson.Space Mission Analysis and Design,3rd[M].Space Technology Library,Published Jointly by Microcosm Press.Torrance,California,1999.
[5]James R.wertz,Wiley J.Larson著,潘科炎等译.降低航天任务的成本[M].北京:航天工业总公司北京控制工程研究所,1998.
[6]Daniel P.Scharf,Fred Y.Hadaegh,and Scott R.Ploen.A survey of formation flying guidance and control(Part Ⅰ):Guidance[C].In Proceeding of the American Control Conference.Denver,Colorado,2003.06.4-6.
[7]Daniel P.Scharf,Fred Y.Hadaegh,and Scott R.Ploen.A survey of formation flying guidance and control(Part Ⅱ):Control[C].In Proceeding of the 2004 American Control Conference.Boston,Massachusetts,2004.06.2-30.
[8]Ashley W.Stroupe et al.Technology for Autonomous Space Systems[R].CMU-RI-TR-00-02.Carnegie Mellon University,2002.10.
[9]Christopher Rouff et al.Autonomicity of NASA Missions[C].ICAC archive Proceedings of the Second International Conference on Automatic Computing table of contents,2005.
[10]Walter F.Truszkowski et al.Autonomous and Autonomic Systems:A Paradigm for Future Space Exploration Missions[J].Systems,Man and Cybernetics,Part C:Applications and Reviews,IEEE Transactions on.Volume:36:279-291,2004.
[11]许国忐等.系统科学[M].上海:上海科技教育出版社,2000.
[12]John.H.Holland著,陈禹 等译.涌现——从混沌到有序[M].上海:上海科学技术出版社,200I.11.
[13]戴金海,吴文昭,李吴.复杂系统理论及其建模仿真方法学[J].计算机仿真.20(z1):31-37,2003.
[14]钱学森,于景元,戴汝为.一个科学新领域——开放的复杂巨系统及其方法论[J].自然杂志.1990,13(1):3-11.
[15]Charles M.Macal and Michael J.North.Tutorial on Agent-Based Modeling and Simulation[C].WSC'05,2005.
[16]Charles M.Macal and Michael J.North.Tutorial on Agent-Based Modeling and Simulation Part 2:How to Model with Agents[C].WSC'06,2006.
[17]Elin Marie Kristensen.Agent Technology[R].Norwegian University of Scienc and Technology,Department of Computer and Information Science,NTNU,Fall 2005.
[18]Scott Moss.Editorial introduction:messy system - the target for multi agent based simulation[C].Multi-Agent-Based Simulation,Springer,2000.
[19]Michael Luck,Mark d'lnverno.A Conceptual Framework for Agent Definition and Development [J].The Computer Journal 2001 44(1):1-20,2001.
[20]Scott Moss and Emma Norling.Multi-Agent-Based Simulation:Why Bother?[C].in Multi-Agent-Based Simulation Ⅵ.International Workshop,MABS 2005,Utrecht,The Netherlands,2006.03.I0.
[21]Patrick Beautement et al.Autonomous Agents and Multi-agent Systems(AAMAS) for the Military -Issues and Challenges[C].In Defence Applications of Multi-Agent Systems.International Workshop,DAMAS 2005,Utrecht,The Netherlands,2006.02.28.
[22]Vincent Bouthonnier and Alexander H.Levis.Effectiveness analysis of C3 systems[J].LIDS-P-1238,1982.09.
[23]Alexander H.Levis,Paul K.Houpt,and Stamatios K.Andreadakis.Effectiveness analysis of automotive systems[J].LIDS-P-1383,1984.06.
[24]North,M.J.,and C.M.Macal.Managing business complexity:discovering strategic solutions with agent-based modeling and simulation[M].Oxford University Press,2007.
[25]John H.Holland著,周晓牧等译.隐秩序——适应性造就复杂性[M].上海:上海科技教育出版社,2000.08.
[26]Herbert A.Simon著,武夷山译.人工科学:复杂性面面观[M].上海:上海科技教育出版社,2004.10.
[27]Eric Bonabeau,Marco Dorigo,and Guy Theraulaz.Swarm Intelligence-from Natural to Artificial Systems[M].Oxford University Press,1999.
[28]Maria H.Penedo.Technology Trends and Predictions:What Will the Future Bring to Our Lives?[J].Technology Review Journal,Spring/Summer 2002.
[29]Michael Wooldridge and Nicholas R.Jennings.Intelligent agents:theory and practice[J].Knowledge Engineering Reviews,1995,10(2):115-152.
[30]Nicholas R.Jennings.On agent-based software engineering[J],Artificial Intelligence,117:277-296,2000.
[31]Michael Fisher.MetateM:The Story so Far[C].Third International Workshop,ProMAS 2005,Utrecht,The Netherlands,2006.03.28.
[32]Michael Luck,Peter McBurney and Jorge Gonzalez-Palacios.Agent-Based Computing and Programming of Agent Systems[C].Third International Workshop,ProMAS 2005,Utrecht,The Netherlands,2006.03.28.
[33]Pieter Jan't Hoen,Karl Tuyls,Liviu Panait,Sean Luke,and J.A.La Poutre.An Overview of Cooperative and Competitive Multiagent Learning[C].First International Workshop,LAMAS 2005,Utrecht,The Netherlands,2006.03.07.
[34]Danny Weyns,Giuseppe Vizzari,and Tom Holvoet.Environments for Situated Multi-agent Systems:Beyond Infrastructure[C].Second International Workshop,E4MAS 2005,Utrecht,The Netherlands,2006.02.26.
[35]史忠植.智能主体及其应用[M].北京:科学出版社,2001.
[36]Michael Wooldridge著,石纯一 等译.多Agent 系统引论[M].北京:电子工业出版社,2003.10.
[37]毛新军.面向主体的软件开发[M].北京:清华大学出版社,2005.06.
[38]张维明等.智能协作信息技术[M].北京:电子工业出版社,2002.04.
[39]李英.多Agent系统及其在预测与智能交通系统中的应用[M].上海:华东理工大学出版社,2004.11.
[40]张洁,高亮,李培根.多Agent技术在先进制造中的应用[M].北京:科学出版社,2004.10.
[41]Tim Finin et al.KQML as an Agent Communication Language[C].The Proceeding of the third International Conference on Information and Knowledge Management(CIKM'94),ACM Press, 1994.11.
[42]熊吟涛.统计物理学[M].北京:人民教育出版社.1981.12.
[43]戴金海,李昊.系统建模与仿真分析[M].长沙:国防科技大学出版社,2007.
[44]Averill M.Law and W.David Kelton.Simulmion Modeling and Analysis,3rd[M].McGraw-Hill,2000.
[45]刘宝宏.多分辨率建模的理论与关键技术研究[D].国防科技大学研究生院工学博士学位论文,2005.01.
[46]贺勇军.面向效能优化的复杂多卫星系统综合建模与仿真方法研究[D].国防科技大学研究生院工学博士学位论文,2004.10.
[47]Benjamin Joseph Dubiel and Omer Tsimhoni.Integrating Agent Based Modeling Into a Discrete Event Simulation[C].WSC'05,2005.
[48]R.M.Howe.Dynamics of Real-Time Digital Simulation[M].Applied Dynamics International of Ann Arbor,Michigan,1994.11.
[49]Bernard P.Zeigler.Theory of Modelling and Simulation[M].John Wiley & Sons,Inc.,1976.
[50]Naim A.Kheir.Systems modeling and computer simulation,2nd[M].Marcel Dekker,Inc.,1996.
[51]Jerry Banks,et al.Discrete-event system simulation,4th[M].Prentice-Hall,Inc.,2005.
[52]Christos G.Cassandras and Stephane Lafortune.Introduction to Discrete Event Systems[M].Kluwer Academic Publishers,1999.
[53]Sheldon M.Ross.Simulation,3rd[M].Elsevier(Singapore) Pte Ltd,2006.
[54]Bernard P.Zeigler,Herbert Praehofer,and Tag Gon Kim.Theory of Modeling and Simulation-Integrating Discrete Event and Continuous Complex Dynamic Systems,2nd[M].Academic Press,2000.
[55]S.Engeli,et al.Modelling,Analysis,and Design of Hybrid Systems[M].Springer,2002.
[56]王红卫.建模与仿真[M].北京:科学出版社,2002.
[57]Mehdi Dastani,J(u|¨)rgen Dix,and Amal El Fallah Seghrouchni.Programming Multi-Agent Systems [M].First International Workshop,PROMAS 2003,Melbourne,Australia.Published by Springer Berlin/Heidelberg,2003.07.15.
[58]Rafael H.Bordini,Mehdi Dastani,J(u|¨)rgen Dix,and Amal El Fallah Seghrouchni.Programming Multi-Agent Systems[M].Second International Workshop ProMAS 2004,New York,NY.Published by Springer Berlin/Heidelberg,2004.07.20.
[59]Rafael H.Bordini,Mehdi Dastani,J(u|¨)rgen Dix,and Amal El Fallah Seghrouchni.Programming Multi-Agent Systems[M].Third International Workshop,ProMAS 2005,Utrecht,The Netherlands.Published by Springer Berlin/Heidelberg,2005.07.26.
[60]Jaime S.Sichman,Rosaria Conte,and Nigel Gilbert.Multi-Agent Systems and Agent-Based Simulation[M].First International Workshop,MABS'98,Paris,France.Published by Springer Berlin/Heidelberg,1998.07.4-6.
[61]Scott Moss and Paul Davidsson.Multi-Agent-Based Simulation[M].Second International Workshop,MABS 2000,Boston,MA,USA.Published by Springer Berlin/Heidelberg,2000.07.
[62]Jaime Sim(?)o Sichman,Francois Bousquet,and Paul Davidsson.Multi-Agent-Based Simulation Ⅱ[M].Third International Workshop,MABS 2002,Bologna,Italy.Published by Springer Berlin/Heidelberg,2002.07.15-16.
[63]David Hales,Bruce Edmonds,Emma Norling,and Juliette Rouchier.Multi-Agent-Based Simulation Ⅲ[M].4th InternationalWorkshop,MABS 2003,Melbourne,Australia.Published by Springer Berlin/Heidelberg,2003.07.14.
[64] Paul Davidsson, Brian Logan, and Keiki Takadama. Multi-Agent and Multi-Agent-Based Simulation [M]. Joint Workshop MABS 2004, New York, NY, USA. Published by Springer Berlin/Heidelberg, 2004.07.19.
[65] Jaime S. Sichman and Luis Antunes. Multi-Agent-Based Simulation VI [M]. International Workshop, MABS 2005, Utrecht, The Netherlands. Published by Springer Berlin / Heidelberg,2005.07.25.
[66] Charles M. Macal and David Sallach. Agent Simulation: Applications, Models, and Tools [M].ANL/DIS/TM-59. Available by request from Decision and Information Sciences, Division Office,Argonne National Laboratory, 1999.11.15-16
[67] David Sallach and Thomas Wolsko. Simulation of Social Agents: Architectures and Institutions [M]. ANL/DIS/TM-60. Available by request from Decision and Information Sciences, Division Office, Argonne National Laboratory, 2000.11.6-7
[68] Charles Macal and David Sallach. Social Agents: Ecology, Exchange, and Evolution [M].Co-sponsored by the University of Chicago and Argonne National Laboratory, 2002.11.11-12
[69] Charles Macal, Michael North, and David Sallach. Challenges in Social Simulation [M]. Argonne National Laboratory and the University of Chicago, 2003.11.2-4
[70] Charles M. Macal, David Sallach, and Michael J. North. Social Dynamics: Interaction, Reflexivity and Emergence [M]. Argonne National Laboratory, the University of Chicago, and North American Association for Computational Social and Organizational Science, 2004.11.7-9
[71] Charles M. Macal, David Sallach, and Michael J. North. Generative Social Processes, Models, and Mechanisms [M]. Argonne National Laboratory and the University of Chicago.http://www.agent2005.anl.gov, 2005.11.
[72] Simon Parsons, Nicolas Maudet, Pavlos Moraitis, and Iyad Rahwan. Argumentation in Multi-Agent Systems [M]. Second International Workshop, ArgMAS 2005 Utrecht, The Netherlands. Published by Springer Berlin/Heidelberg, 2005.07.26.
[73] Michael P(?)chou(?)ek, Paolo Petta, and L(?)szl(?) Zsolt Varga. Multi-Agent Systems and Applications IV [M]. 4th International Central and Eastern European Conference on Multi-Agent Systems,CEEMAS 2005, Budapest, Hungary. Published by Springer Berlin/Heidelberg, 2005.09.15-17.
[74] Matthias Klusch, Sascha Ossowski, Vipul Kashyap, and Rainer Unland. Cooperative Information Agents VIII [M]. 8th International Workshop, CIA 2004, Erfurt, Germany. Published by Springer Berlin/ Heidelberg, 2004.09.27-29.
[75] Jo(?)o Leite and Paolo Torroni. Computational Logic in Multi-Agent Systems [M]. 5th International Workshop, CLIMA V, Lisbon, Portugal. Published by Springer Berlin/Heidelberg, 2004.09.29-30.
[76] Simon G Thompson and Robert Ghanea-Hercock. Defence Applications of Multi-Agent Systems [M]. International Workshop, DAMAS 2005, Utrecht. The Netherlands. Published by Springer Berlin/ Heidelberg, 2005.07.25.
[77] Danny Weyns, H. Van Dyke Parunak, and Fabien Michel. Environments for Multi-Agent Systems [M]. First International Workshop, E4MAS 2004, New York. Published by Springer Berlin/Heidelberg, NY, 2004.07.19.
[78] Danny Weyns, H. Van Dyke Parunak, and Fabien Michel. Environments for Multi-Agent Systems II [M]. Second International Workshop, E4MAS 2005, Utrecht, The Netherlands. Published by Springer Berlin/Heidelberg, 2005.07.25.
[79] Michael G Hinchey, James L. Rash, Walter F. Truszkowski, and Christopher A. Rouff. Formal Approaches to Agent-Based Systems [M]. Third International Workshop, FAABS 2004, Greenbelt, MD.Published by Springer Berlin/Heidelberg,2004.04.26-27.
[80]Karl Tuyls,Pieter Jan't Hoen,Katja Verbeeck,and Sandip Sen.Learning and Adaption in Multi-Agent Systems[M].First International Workshop,LAMAS 2005,Utrecht,The Netherlands.Published by Springer Berlin/Heidelberg,2005.07.25.
[81]Jaeho Lee and Mike Barley.Intelligent Agents and Multi-Agent Systems[M].6th Pacific Rim International Workshop on Multi-Agents,PRIMA 2003,Seoul,Korea.Published by Springer Berlin/Heidelberg,2003.11.7-8.
[82]Walt Truszkowski,Chris Rouff,and Mike Hinchey.Innovative Concepts for Agent-Based Systems [M].First International Workshop on Radical Agent Concepts WRAC 2002 McLean,VA,USA.Published by Springer Berlin/Heidelberg,2002.01.16-18.
[83]Nick Jennings,Katia Sycara,and Mike Georgeff.Autonomous Agents and Multi-Agent Systems [M].http://www.springerlink.com/content/1573-7454/.Date of Access:2002.04.05.
[84]Thomas M.Cioppa,Thomas W.Lucas,and Susan M.Sanchez.Military Application o1:Agent-Based Simulation[C].WSC'04,2004.
[85]Michael VanPutte.A Computation Model and Multi-Agent Simulation for Information Assurance [D].Doctoral Dissertation,Naval Postgraduate School,USA,2002.06.
[86]Brian A.Osborn.An Agent-Based Architecture for Generating Interactive Stories[D].Doctoral Dissertation,Naval Postgraduate School,USA,2002.09.
[87]Arthur R.Aragon.Agent-Based Simulation of a Marine Infantry Squad in an Urban Environment [D].Master's Thesis,Naval Postgraduate School,USA,2001.09.
[88]李宏亮.基于Agent的复杂系统分布仿真[D].国防科技大学研究生院工学博士学位论文,2001.10.
[89]党岗.多Agent虚拟环境中生成兵力的行为建模及其表现技术的研究与实现[D].国防科技大学研究生院工学博士学位论文,2001.04.
[90]曹军海.基于 Agent的离散事件仿真建模框架及其在系统RMS建模与仿真中的应用研究[D].装甲兵工程学院博士学位论文.2002.08.
[9l]赵怀慈.基于Agent的建模与仿真方法研究[D].中国科学院沈阳自动化研究所,2003.
[92]叶超群.多Agent复杂系统分布仿真平台中的关键技术研究[D].国防科技大学研究生院工学博士学位论文,2006.06.
[93]Walt Truszkowski.Challenges Arising from Applications of Agent-Based Systems[C].'FAABS 2002,LNAI 2699,2003.
[94]Walt Truszkowski and Sidney Bailin.Progressive autonomy:a method for gradually introducing autonomy into space missions[C].Software Engineering Workshop,2005.
[95]李吴,戴金海.自主卫星系统基于Agent的建模与仿真研究[J].航大控制.25(103):52-55,79,2007.
[96]Walt Truszkowski,Harold Hallock.Agent Technology from a NASA Perspective[C].in Third International Workshop CIA-99 on Cooperative Information Agents.Uppsala,Sweden,1999.
[97]Walt Truszkowski,et al.Some Autonomic Properties of Two Legacy Multi-Agent NASA Systems:LOGOS and ACT[J].FY04 Papers/Presentations cont'd.Flying the Earth Observing Constellations- Angelita Kelly,2004.12.16.
[98]W.Truszkowski,M.Hinchey,C.Rouff and J.Rash.Autonomous and Autonomic Systems:A Paradigm for Future Space Exploration Missions[J],IEEE Trans.on Systems,Man and Cybernetics,Part C,2006.
[99]Truszkowski,W.and Rouff,C.An Overview of the NASA LOGOS and ACT Agent Communities [C]. 5th World Multiconference on SCI 2001. July 22-25, Orlando, Florida.
[100] Christopher Rouff, James Rash and Michael G Hinchey. Experience Using Formal Method for Specifying a Multi-Agent System [C]. in Proc. 6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000), Tokyo, Japan, IEEE Computer Society Press,2000.
[101] James L. Rash, et al. A Requirements-Based Programming Approach to Developing a NASA Autonomous Ground Control System [J]. 2005 Kluwer Academic Publishers. Netherlands,2005.10.28.
[102] Walt Truszkowski and Christopher Rouff. New Agent Architecture for Evaluation in Goddard's Agent Concepts Testbed [J]. URL: http://agents.gsfc.nasa.gov/papers/pdf/aap41 .pdf. Date of Access: 2003.12.09.
[103] Roy Sterritt, et al. Self-* Properties in NASA Missions [C]. in the Software Engineering Research and Practice (SERP 2005) Las Vegas, NV, 2005.06.26-30.
[104] Christopher A. Rouff, et al. Experiences applying formal approaches in the development of swarm-based space exploration systems [J]. International Journal of Sofware Tools for Technology Transfer, 2006.
[105] Christopher A. Rouff, et al. Formal Methods for Autonomic and Swarm-based Systems [C]. in 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004),2004.10.30-11.02.
[106] M. G Hinchey, et al. Requirements of an Integrated Formal Method for Intelligent Swarms [C]. in Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS05).Lisbon, Portugal. 2005.10.5-6.
[107] W. Truszkowski, J. Rash, C. Rouff and M. Hinchey, Asteroid Exploration with Autonomic Systems [C], In Proceedings of IEEE Workshop on EASe 2004 at the 11th Annual IEEE International Conference and Workshop on ECBS 2004, Brno, Czech Republic, 2004.05.24-27.
[108] Shane Almeida, Ethan Croteau, and Jonathan Freyberger. The ANT FARM: automous nano technology funtional actuation & resource management [R]. A Major Qualifying Project (Project No. DCB-02N2) report submitted to The Faculty of WORCESTER POLYTECHNIC INSTITUTE, and In partial fulfillment of the requirements for the Degree of Bachelor of Science,2002.12.13
[109] Walt Truszkowski and Jay Karlin. A Cybernetic Approach to the Modeling of Agent Communities [C]. Agents 2000. Boston, MA, 2000.07.
[110] P. A. Stadter, et al. Autonomous Command and Control for Distributed Spacecraft Systems [C].AIAA Nanotech 2002 Proceedings, Houston, TX. 2002.10.9-12.
[111] Jan Smid, Marek Obitko, and Walt Truszkowski. An Approach to Knowledge Exchange and Sharing between Agents [C]. WRAC 2002, LNAI 2564, 2003.
[112] Sidney C. Bailin and Walt Truszkowski. Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents [J]. In Proceedings of the Fifth International Workshop on Cooperative Information Agents (CIA 2001), 2001.
[113] Sidney C. Bailin and Walt Truszkowski. Ontology Negotiation: How Agents Can Really Get to Know Each Other [C]. WRAC 2002, 2002.
[114] Sidney C. Bailin, Walt Truszkowski. Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems [C]. AAAI Spring Symposium, Stanford University, 2003.
[115] Roy Sterritt and Mike Hinchey. Apoptosis and Self-Destruct: A Contribution to Autonomic Agents [C]. FAABS 2004, LNAI 3228, 2005.
[116] Roy Sterritt and Mike Hinchey. From Here to Autonomicity: Self-Managing Agents and the Biological Metaphors that Inspire Them [C]. In Integrated Design and Process Technology,IDPT-2005. Printed in the United States of America, 2005.06.
[117] Walt Truszkowski, David Zoch, and Dan Smith. Autonomy for Constellations [C]. in the 2nd International NASA Workshop on Planning and Scheduling for Space San Francisco, CA,2000.03.
[118] Subrata Das, et al. Multi-Agent Planning and Scheduling Environment for Enhanced Spacecraft Autonomy [C]. In Proceedings of the 5th International Symposium on Artificial Intelligence,Robotics and Automation in Space, 1999.
[119] Subrata Das, et al. Distributed intelligent planning and scheduling (DIPS) [J]. NASA strategic technology, 2003 (3): 55- 57, 2003.
[120] Miranda Cooter, et al. Alternative Approaches to Mission Control Automation at NASA's Goddard Space Flight Center [J]. American Association for Artificial Intelligence, 2001.
[121] S. Chien, et al. Using Autonomy Flight Software to Improve Science Return on Earth Observing One [J]. Journal of Aerospace Computing, Information, and Communication. April 2005.
[122] Steve Chien, et al. The EO-1 Autonomous Science Agent [C]. AAMAS 2004. New York City,USA. 2004.07.
[123] S. Chien, et al. Lessons Learned from Autonomous Sciencecraft Experiment [J]. AAMAS 2005.Utrecht, Netherlands, 2005.07.
[124] G. Rabideau, et al. Mission Operations with Autonomy: A preliminary report for Earth Observing-1 [C]. IWPSS 2004. Darmstadt, Germany, 2004.06.
[125] Rob Sherwood et al. Next Generation Autonomous Operations on a Current Generation Satellite [C]. 5th International Symposium on Reducing the Cost of Spacecraft Ground Systems and Operations (RCSGSO 2003). Pasadena, CA, 2003.07.
[126] D. Tran, et al. Safe Agents in Space: Preventing and Responding to Anomalies in the Autonomous Sciencecraft Experiment [C]. AAMAS 2005. Utrecht, Netherlands, 2005.07
[127] M. Johnston and B. Clement. Automating Deep Space Network Scheduling and Conflict Resolution [C]. i-SAIRAS 2005. Munich, Germany, 2005.09.
[128] Forest Fisher, et al. A Planning Approach to Monitor and Control for Deep Space Communications [C]. IEEE Aerospace Conference. Big Sky, MT, 2000.03.
[129] D. Tran, et al. Flight Software Issues in Onboard Automated Planning: Lessons Learned on EO-1 [C]. IWPSS 2004. Darmstadt, Germany, 2004.06.
[130] A. Barrett. Model Compilation for Embedded Real-Time Planning and Diagnosis [C]. IWPSS 2004. Darmstadt, Germany, 2004.06.
[131] A. Barrett. Model Compilation for Real-Time Planning and Diagnosis with Feedback [C]. IJCAI 2005. Edinburgh, Scotland, 2005.07.
[132] R. Sherwood, et al. An Integrated Planning and Scheduling Prototype for Automated Mars Rover Command Generation [C]. ECP 2001. Toledo, Spain, 2001.09.
[133] T. Estlin and D. Gaines. An Optimization Framework for Interdependent Planning Goals [C].AIPS 2002. Toulouse, Fr, 2002.04.
[134] R. Sherwood, et al. Autonomously Generating Operations Sequences For a Mars Rover using AI-based Planning [C]. IROS 2001. Maui, HI, 2001.11.
[135] G. Rabideau, et al. Iterative Repair Planning for Spacecraft Operations in the ASPEN System [C]. ISAIRAS 1999.Noordwijk,The Netherlands,1999.06.
[136]R.Sherwood,et al.Using ASPEN to Automate EO-1 Activity Planning[C].IEEE Aerospace Conference.Aspen,CO,1998.03.
[137]T.Estlin,et al.Coordinating Multiple Rovers with Interdependent Science Objectives[C].AAMAS 2005.Utrecht,Netherlands,2005.07.
[138]S.Chien,et al.Revolutionary Deep Space Science Missions Enabled by Onboard Autonomy[C].i-SAIRAS 2003.Nara,Japan,2003.05.
[139]C.Chouinard,et al.An Approach to Autonomous Operations for Remote Mobile Robotic Exploration[C].IEEE 2003 Aerospace Conference.Big Sky,MT,2003.03.
[140]S.Chien,et al.An Autonomous Earth-Observing Sensorweb[J].IEEE Intelligent Systems,2005.
[141]B.Pell.An Autonomous Spacecraft Agent Prototype[C].International Conference on Autonomous Agents,Marina Del Rey,CA,1997.02.
[142]Lorenzo Pettazzi,Mark Ayre,and Dario Izzo.Self assembly in space using behabior-based intelligent components[R].Internal Report from European Space Agency,2005.01.12.
[143]Christopher Rouff.Testing and Monitoring Intelligent Agents[C].WRAC 2002,LNAI 2564,2003.
[144]Paul Zetocha.Satellite Cluster Command and Control[C].Aerospace Conference Proceedings,2000 IEEE,2000.
[145]杨家军.小卫星自主运行的任务规划与调度和故障处理方法的研究[D].哈尔滨工业大学博士学位论文,1999.08.01.
[146]范显峰.基于多Agent系统的卫星故障诊断技术研究[D].哈尔滨工业大学博士学位论文,2003.03.
[147]代树武,孙辉先.卫星运行中的自主控制技术[J].空间科学学报,22(2):147-153,2002.04.
[148]刘洋.卫星有效载荷规划与调度的算法及仿真[D].中国科学院研究生院(空间科学与应用研究中心)硕士学位论文,2004.07.28.
[149]赵黎平.近地卫星自主轨道确定和控制系统研究[D].西北工业大学博士学位论文,2002.07.
[150]王岩.卫星智能自主控制系统的研究[D].西北工业大学硕士学位论文,2004.06.28.
[151]周克强.空间飞行器智能自主控制研究[D].西北工业大学硕士学位论文,2006.06.09.
[152]张健.分布式卫星自主构型重构技术研究[D].国防科技大学研究生院工学博士学位论文,2006.10.
[153]W.J.Clancey,et al.Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System[C].The 16th International FLAIRS Conference 2003,St.Augustine,F1,2003.
[154]M.Sierhuis,W.J.Clancey,and R.v.Hoof.Brahms:a multiagent modeling environment for simulating social phenomena[C].First conference of the European Social Simulation Association (SIMSOC VI),Groningen,The Netherlands,2003.
[155]W.J.Clancey et al.Brahms Mobile Agents:Architecture and Field Tests[C].AAAI 2002 Fall Symposium on Human-Robot Interaction,North Fallmouth,MA,2002.
[156]B.Darner et al.Brahms VE:A Collaborative Virtual Environment for Mission Operations,Planning and Scheduling[R].Final Report for STTR Contract #NAS2-01019,2001.10.08
[157]Clancey,W.J,P.Sachs,M.Sierhuis,R.van Hoof.Brahms:Simulating practice for work systems design[J].International Journal on Human-Computer Studies,vol.49:831-865.
[158]Sierhuis,M.,W.J.Clancey,R.van Hoof.BRAHMS:A multi-agent programming language for simulating work practice[R]RIACS/NASA Ames Research Center.
[159] Sierhuis, M. et al. Human-Agent Teamwork and Adjustable Autonomy in Practice [C]. in Proceedings of The 7th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS), Nara, Japan, 2003.
[160] M Sierhuis et al. Modeling and Simulation for Mission Operations Work System Design [J].Journal of Management Information Systems, vol. Vol. 19: 85-129, 2003.
[161] W. J. Clancey. Simulating Activities: Relating Motives, Deliberation, and Attentive Coordination[J]. Cognitive Systems Research, vol. 3: 471-499, 2002.
[162] M. Sierhuis, A. Acquisti, and W. J. Clancey. Multiagent Plan Execution and Work Practice:Modeling plans and practices onboard the ISS [C]. Presented at 3rd International NASA Workshop on Planning and Scheduling for Space, Houston, TX, 2002.
[163] A. Acquisti et al. Agent Based Modeling of Collaboration and Work Practices Onboard the International Space Station [C]. Proceedings of the 11th Conference on Computer-Generated Forces and Behavior Representation, Orlando, FL, May 2002.
[164] Sierhuis, M. Modeling and Simulation of Work Practices on the Moon [C]. In Computational Analysis of Social and Organizational Systems 2000, Carnegie Mellon University, Pittsburgh, PA.
[165] Sierhuis, M., et al. Modeling and simulating work practices from Apollo 12 [C]. In International Workshop on Simulation for European Space Programmes, ESTEC, Noordwijk, The Netherlands.
[166] Colonel Nancy J. Currie. The Role of Simulation in Spaceflight Missions [C]. WSC'05, 2005
[167] Michael G. Madden, Roberta Wyrick, and Dale E. O'Neill. A strategy for autogeneration of space shuttle group processing simulation models for project makespan estimation [C]. WSC'05, 2005.
[168] Michael G. Madden. Learning Curve Application to Space Shuttle Processing Simulations [C].WSC'06, 2006.
[169] Jorge E. Bardina and Rajkumar Thirumalainambi. Distributed web-based expert system for launch operations [C]. WSC'06, 2005.
[170] Cary J. Peaden. Using simulation for launch team training and evaluation [C]. WSC'05, 2005.
[171] Mohamed Fayez et al. Earth to Orbit Logistics and Supply Chain Modeling and Simulation for NASA Exploration Systems [C]. WSC'06, 2006.
[172] Grant R. Cates, William M. Cirillo, and Chel Stromgren. Low Earth Orbit Rendezvous Strategy for Lunar Missions [C]. WSC'06, 2006.
[173] Andrew J. Turner. An open-source, extensible spacecraft simulation and modeling environment framework [D]. Master's Thesis from the Virginia Polytechnic Institute and State University,2003.10.13.
[174] David A. Shultz. Modeling and Simulation of Commercial Satellite Imagery Processes [D].Master's thesis, Air Force Institute of Technology, 2005.05.
[175] W. David Kelton, Randall P. Sadowski, and Deborah A. Sadowski. Simulation with Arena, 2rd [M]. Mc Graw Hill, 2000.
[176] John P. Enright. A Flight Software Development and Simulation Framework for Advanced Space Systems [D]. Doctoral Dissertation, MIT SSL #5-02, 2002.05.
[177] Shaun M. Endres. Simulation and emulation of the space networking environment [D]. Master's thesis, the Case Western Reserve University, 2005.01.
[178] Brian Kjeldsen et al. Satellite Simulation System [R]. Study Report from Aalborg University,1998.
[179] 廖守亿.复杂系统基于Agent的建模与仿真方法研究及应用[D].国防科技大学研究生院工学博士学位论文,2005.04.
[180]李连军.航天器功能行为虚拟原型建模方法及实现技术研究[D].国防科技大学研究生院工学博士学位论文,2006.10.
[181]赵磊.基于多Agent卫星编队姿态协同控制与星务管理仿真研究[D].哈尔滨工业大学硕士学位论文,2005.06.01.
[182]赵懿.基于HLA的卫星姿态控制仿真研究[D].中国科学院研究生院硕士学位论文,2004.05.
[183]刘洋.卫星有效载荷规划与调度的算法及仿真[D].中国科学院研究生院硕士学位论文,2004.05.
[184]王睿.星载合成孔径雷达系统设计与模拟软件研究[D].中国科学院研究生院博士学位论文,2003.06.
[185]宫颖.卫星空间作战的基本理论与方法研究[D].西北工业大学硕士学位论文,2005.06.27.
[186]Gregory V.DeStefano.Agent Based Simulation SEAS Evaluation of DoDAF Architecture[D].Master's thesis,Air Force Institute of Technology,2004.03.
[187]A.E.R.Woodcock and Dr.Loren Cobb.Space Effectiveness Analysis Simulation(SEAS) System [R].RL-TR-96-242,1997.02.
[188]Cole W.Gulyas.Stochastic Capability Models for Degrading Satellite Constellations[D].Master's thesis,Air Force Institute of Technology,2005.05.
[189]Hu Jianwen et al.A novel complex-system-view-based method for system effectiveness analysis:Monotonic indexes space[J].Science in China:Series F Information Sciences 2006,Vol.49,No.1:90-102.
[190]李志猛.基于SEA的效能评价方法研究[D].国防科技大学研究生院工学博士学位论文,2003.03.01.
[191]杨峰.面向效能评估的平台级体系对抗仿真跨层次建模方法研究[D].国防科技大学研究生院工学博士学位论文,2003.10.
[192]杨新.综合飞行/火力控制系统及其评价研究[D].北京航空航天大学博士学位论文,2000.11.01.
[193]黄炎焱等.基于效用聚合的装甲装备作战效能评估方法研究[J].系统仿真学报,17(10):2311-2313,2005.11.
[194]吴晓锋,周智超.SEA方法及其在C3I系统效能分析中的应用(Ⅲ)——监视模型[J].系统工程理论与实践,1999(1):61-68,1999.01.
[195]吴晓锋,周智超.SEA方法及其在C3I系统效能分析中的应用(Ⅳ)——系统效能分析[J].系统工程理论与实践,1999(2):44-49,1999.02.
[196]杨军.基于模糊理论的卫星导航系统综合效能评估研究[J].宇航学报,25(2):147-151,194,2004.03.
[197]Jim Ledin著,焦宗夏等译.仿真工程[M].北京:机械工业出版社,2003.
[198]Bernard P.Zeigler.Embedding DEV&DESS in DEVS[C].DEVS'06,Huntsville,Alabama,USA,2006.
[199]Charles Harrell,Biman K.Ghosh,and Royce O.Bowden.Simulation Using ProModel,2nd[M].McGraw-Hill,2004.
[200]郑大钟,赵千川.离散事件动态系统[M].北京:清华大学出版社,2001.
[201]Hessam Sarjoughian and Dongping Huang.A Multi-Formalism Modeling Composability Framework:Agent and Discrete-Event Models[C].The 9th IEEE International Symposium on Distributed Simulation and Real Time Applications.Montreal,Canada,2005.10.
[202]Daryl R.Hild.Discrete Event System Specification(DEVS)/Distributed Object Computing (DOC) Modeling and Simulation[D].Doctoral Dissertation,University of Arizona,2000.03.
[203]Rafaei H.Bordini,Michael Fisher,Willem Visser,and Michael Wooidridge.Verifying multi-agent programs by model checking[C].Auton Agent Multi-Agent Sys(2006) 12:239-256
[204]Michael Wooldridge and Paul E.Dunne.The Computational Complexity of Agent Verification [C].Intelligent Agents Ⅷ,LNAI 2333,2002.
[205]Defense Modeling and Simulation Office(DMSO),Verification,Validation,and Accreditation Recommended Practices Guide.U.S.Department of Defense.Office of the Director of Defense Research and Engineering,November 1996.
[206]Osman Balci.Quality Assessment,Verification,and Validation of Modeling and Simulation Applications[J].WSC'04,2004.
[207]Osman Balci.Quality assessment,verification,and validation of modeling and simulation applications[J].WSC'04,2004.
[208]Osman Balci.Verification,Validation,and certification of modeling and simulation applications [J].WSC'03,2003.
[209]Osman Balci et al.A collaborative evaluation environment for credibility assessment of modeling and simulation applications[J].WSC'02,2002.
[210]Robert G.Sargent.Verification and Validation of Simulation Models[C].WSC'05,2005.
[211]Robert G.Sargent.Validation and Verification of Simulation Models[C].WSC'04,2004.
[212]国防科学技术工业委员会.中华人民共和国国家军用标准:卫星术语[S].GJB-421A-97,1997.
[213]王希季等.20世纪中国航天器技术的进展[M].北京:宇航出版社,2002.
[214]徐福祥.卫星工程学讲义[M].北京:中国空间技术研究院,1999.12.
[215]徐福祥 等.卫星工程概论(上、下)[M].北京:宇航出版社,2003.12.
[216]中国人民解放军总装备部军事训练教材编辑工作委员会.航天器[M].北京:国防工业出版社,2006.06.
[217]高存后,荣明宗 等.飞行器系统工程[M].北京:宇航出版社,1996.
[218]王希季,李大耀.卫星设计学[M].上海:上海科学技术出版社,1997.12.
[219]Yerang Hur and Insup Lee.Distributed Simulation of Multi-Agent Hybrid Systems[C].In Proceedings of the 5th IEEE International Symposium on Object-Oriented and Real-Time Distributed Computing,(Arlington,Va.).IEEE Computer Society Press,Los Alamitos,Calif,2002.
[220]Joel M.Esposito,Vijay Kumar.An Asychronous integration and event detection algorithm for simulating multi-agent hybrid systems[J].ACM Transactions on Modeling and Computer Simulation,Vol.14,No.4,2004.10.
[221]Joel Esposito,Vijay Kumar,and George J.Pappas.Multi-agent hybrid system simulation[C].Proceedings of the 40th IEEE Conference on Decision and Control.Orlando,Florida USA,2001.11.
[222]Bernard P.Zeigler.Discrete event abstraction:an emerging paradigm for modeling complex adaptive systems[C].To appear in "Adaptation and Evolution"(Festschrift for John H.Holland)to be published by Santa Fe Institute,Oxford Press,England,2004.
[223]Bernard P.Zeigler,Hae Sang Song,Tag Gon Kim,Herbert Praehofer.DEVS framework for modeling,simulation,analysis,and design of hybrid systems[C].Hybrid Ⅱ,Lecture Notes in Computer Science,P.Antsaklis and A.Nerode,Eds.,Springer-Verlag,Berlin,Germany,1996.
[224]Bernard P.Zeigler and Hessam S.Sarjoughian.DEVS Component-Based M&S Framework:an Introduction[C].Proceedings of AI,Simulation and Planning in High Autonomy,2002.
[225]李昊,戴金海.基于Agent的空防作战系统建模仿真方法研究[J].计算机仿真.24(1):281-284,2007.
[226]Roy Sterritt and Dave Bustard.Autonomic Computing-a Means of Achieving Dependability[C].Proceedings of IEEE International Conference on the Engineering of Computer Based Systems (ECBS'03),Huntsville,Alabama,USA,2003.
[227]James Nutaro.Discrete Event Simulation of Continuous Systems[J].to appear in "Dynamic Models" by P.Fishwick,2006.
[228]Yan Zhang,Anna Liu,and Wei Qu.Software Architecture Design of an Autonomic System.[C].in the Fifth Australasian Workshop on Software and System Architectures(ASWEC 2004).Melbourne,Australia,2004.04.13-14.
[229]Sterritt R.Towards Autonomic Computing:Effective Event Management[C].in Proc.27th Ann.IEEE/NASA Software Engineering Workshop(SEW),MD,USA,2002.12.3-5,IEEE CS Press.
[230]Roy Sterfitt and Mike Hinchey.Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions[C].Engineering of Computer-Based Systems,2005.ECBS '05.12th IEEE International Conference and Workshops,2005.04,04-07.
[231]Anthony Barrett.Autonomy Architectures for a Constellation of Spacecraft[C].ISAIRAS 1999.Noordwijk,The Netherlands,1999.06.
[232]戴金海等.航天母星战斗群概念研究提纲[R].内部报告,国防科技大学航天与材料工程学院,2004.
[233]Kutluhan Erol,James Hendler,and Dana S.Nau.HTN Planning:Complexity and Expressivity [C].In Proc.of the AAAI94,1994.
[234]R.lsermann and E Balle..Trends in the Application of Model-Based Fault Detection and Diagnosis of Technical Processes..Control Engineering Practice.Vol.5:709-719.1997.
[235]周志华,曹存根 主编.神经网络及其应用[M].北京:清华大学出版社,2004.
[236]Benoit Calvez and Guillaume Hutzler.Automatic Tuning of Agent-Based Models Using Genetic Algorithms[C].in Multi-Agent-Based Simulation Ⅵ.International Workshop,MABS 2005,Utrecht,The Netherlands,2006.03.I 0.
[237]Steve Rabin主编.庄越挺,吴飞译.人工智能游戏编程真言[M].北京:清华大学出版社,2005.
[238]Grady Booch,James Rumbaugh,and Ivar Jacobson著,邵维忠 等译.UML用户指南[M].北京:机械工业出版社,2001.06.
[239]James Rumbaugh,Ivar Jacobson,and Grady Booch著,姚淑珍,唐发根译.UML参考手册[M].北京:机械工业出版社,2001.01.
[240]Ivar Jacobson,Grady Booch,and James Rumbaugh著,周伯生等译.统一软件开发过程[M].北京:机械工业出版社,2002.01.
[241]Tom Pender著,耿国栋等译.UML宝典[M].北京:电子工业出版社,2004.01.
[242]Anand S.Rao and Michael P Georgeff.BDI Agents:From Theory to Practice[C].ICMAS-95,San Francisco,USA,1995.06.
[243]李昊,戴金海.基于Agent的建模与仿真和离散事件仿真的集成应用研究.系统仿真学报.18(增2):116-119,2006.
[244]杨嘉墀等.航天器轨道动力学与控制(上、下)[M].北京:宇航出版社,1995.12,2002.06.
[245]陈芳允,贾乃华.卫星测控手册[M].北京:科学出版社,1992.
[246]郗小宁等.近地航天器轨道基础[M].长沙:国防科技大学出版社,2003.04,
[247]刘林 等.航天动力学引论[M].南京:南京大学出版社,2005.02.
[248]刘良栋 等.卫星控制系统仿真技术[M].北京:宇航出版社,2003.12.
[249]屠善澄 等.卫星姿态动力学与控制[M].北京:宇航出版社,2001.12.
[250]Timothy Pratt,Charles Bostian,and Jeremy Allnutt著,甘良才 译.卫星通信,第二版[M].北京:电子工业出版社,2005.07.
[251]陈道明 等.通信卫星有效载荷技术[M].北京:宇航出版社,2001.12.
[252]闵桂荣 等.卫星热控制技术[M].北京:宇航出版社,1991.09.
[253]马世俊 等.卫星电源技术[M].北京:宇航出版社,2001.12.
[254]Sylvain Damiani,Gerard Verfaillie,and Marie-Claire Charmeau.An Anytime Planning Approach for the Management of an Earth Watching Satellite[C].In Proc.of the 4th International Workshop on Planning and Scheduling for Space(IWPSS-04),Darmstadt,Germany,2004.
[255]Sylvain Damiani,Gerard Verfaillie,and Marie-Claire Charmeau.A Continuous Anytime Planning Module for an Autonomous Earth Watching Satellite[C].In Proc.of the ICAPS-05 Workshop on Planning under Uncertainty for Autonomous Systems,Monterey,CA,USA,2005.
[256]Sylvain Damiani,Gerard Verfaillie,and Marie-Claire Charmeau.An Earth Watching Satellite Constellation:How to Manage a Team of Watching Agents with Limited Communications[C].AAMAS'05,Utrecht,Netherlands,2005.07.
[257]白鹤峰.卫星星座的分析殴计与控制方法研究[D].国防科技大学研究生院工学博士学位论文,1999.04.
[258]Princeton Satellite Systems,Inc.ObjectAgent Rapid Prototyping Tool V2.2[M].ObjectAgent Rapid Prototyping Tool User's Guide(2002).
[259]Joseph B.Mueller,Derek M.Surka and Joy J.Lin.A Background Layer of Health Monitoring and Error Handling for ObjectAgent[J].FLAIRS 2001 Conference,2001.
[260]杨颖,王琦.STK在计算机仿真中的应用[M].北京:国防工业出版社,2005.01.
[261]Swarm Development Group.Swarm User Guide[M].http://www.swarm.org,Since 1996.
[262]Minar,N.,R.Burkhart,et al.The Swarm simulation system,a toolkit for building multi-agent simulations[J].http://www.santafe.edu/projects/swarm/overview/overview.html,Since 1996.
[263]North,M.J.and C.M.Macal.Escaping the accidents of history:an overview of artificial life modeling with Repast[C].Artificial Life Models in Software,Eds.A.Adamatzky and M.Komosinski,Springer-Verlag:Dordrecht,Netherlands.2005.
[264]Giovanni Rimassa.Runtime Support for Distributed Multi-Agent Systems[D].PhD thesis,University of Parma,2003.01.
[265]Donald E.Knuth.The Art of Computer Programming Volume 2:Seminumericai Algorithms[M].Addition-Wesley,1998.
[266]Bernard P.Zeigler and Hessam S.Sarjoughian.Introduction to DEVS Modeling and Simulation with JAVA:Developing Component-Based Simulation Models[M].ACIMS,2005.01.
[267]Sivakumar Palaniappan,Anil Sawhney,and Hessam S.Sarjoughian.Application of DEVS Framework in Construction Simulation[C].WSC'06,2006.
[268]Hessam S.Sarjoughian.A Scalable Component-based Modeling Environment Supporting Model Validation[C].Interserive/Industry Training,Simulation,and Education Conference,1-11,Orlando,FL,2005.
[269]张云勇 等.中间件技术原理与应用[M].北京:清华大学出版社,2004.10.
[270]陈雄华,涂传滨等.精通JBuilder 2005[M].北京:电子工业出版社,2005.06.
[271]OMG编著,韦乐平 等译.CORBA服务[M].北京:电子工业出版社,2002.07.
[272]Gerald Brose,Andreas Vogel,Keith Duddy.Java Programming with CORBA:Advanced Techniques for Building Distributed Applications,3rd[M].John Wiley & Sons,Inc.,2001.
[273]Peter Clark,Peter Ryan,and Lucien Zalcman.Advanced Distributed Simulation for the Australian Defence Force[R].Air Operations Division Aeronautical & Maritime Research Laboratory,DSTO-GD-0255,2000.
[274]Christopher A.Chung.Simulation modeling handbook:a practical approach[M].Library of Congress Cataloging-in-Publication Data,2003.
[275]DoDI.DoD modeling and simulation verification,validation,and accreditation[S].Department of Defense Instruction 5000.61,1996.04.
[276]Rae,A.,P.Robert,and H.-L.Hausen.Software Evaluation for Certification:Principles,Practice,and Legal Liability[J].London,UK:McGraw-Hill,1995.
[277]Osman Balci and Said D.Saadi.Proposed standard processes for certification of modeling and simulation applications[J].WSC'02,2002.
[278]Voas,J.M.Guest editor's introduction:certification:reducing the hidden costs of poor quality[J].IEEE Software 16(4):22-25,1999.
[279]李德毅,杜鹢.不确定性人工智能[M].北京:国防工业出版社,2005.07.
[2801 John E.HopcroR,Raieev Motwani,and Jeffrey D.Ullman著,刘田 等译.自动机理论、语言和计算导论[M].北京:机械工业出版社,2006.04.
[281]Claude Girault and ROdiger Valk著,王生原 等译.系统工程Petri网——建模、验证与应用指南(Petri Nets for Systems Engineering:A Guide to Modeling,verification,and Applications)[M].北京:电子工业出版社,2005.06.
© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号 地址：北京市海淀区学院路29号 邮编：100083 电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700 |