期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

处突维稳行为建模仿真方法研究 被引量：1

Modeling and Simulating Behavior of Maintain-steady-restrict-chaos
下载PDF
导出
摘要 非战争军事行动能力建设是我军建设的一个重要内容。目前极少有针对非战争军事行动的建模仿真研究。基于描述任务逻辑理论建立了一个计算机生成群体兵力模型GCGF。该模型具有层次结构,适宜描述不同规模的群体。并采用该模型对处突维稳型非战争军事行动进行了分析研究,军事群体对象能够正确做出符合处突原则的反应,效果良好,达到了预期目的。 OOTW （Operation Other Than War） ability building is-one of the most important tasks of our troops. Currently, there are few researches on simulating and modeling of OOTW. A behavior model named GCGF was proposed based on the description logic of tasks. The hierarchical model is suitable for describing maintain-steady-restrict-chaos. With this model, groups can act correctly and the desired purpose is achieved.
作者 张巍 曾亮 李思昆
机构地区 国防科技大学计算机学院
出处 《系统仿真学报》 CAS CSCD 北大核心 2012年第9期1931-1935,共5页 Journal of System Simulation
基金 国家自然科学基金(60873120) 国家重点基础研究发展计划(973)项目基金(2009CB723803)
关键词 非战争军事行动 行为建模 处突维稳 描述任务逻辑 OOTW behavior modeling maintain-steady-restrict-chaos description logic of tasks
分类号 TP391.9 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献4

  • 1张会,李思昆.描述任务逻辑及其应用[J].计算机学报,2006,29(3):488-494. 被引量：11
  • 2Fink S. Crisis management: Planning for the inevitable [M]. New York, USA: American Management Association, 1986: 245.
  • 3Meyer J C, Wieringa R J. Deontic Logic in Computer Science [M]. Basel, Switzerland: J. C. Baltzer AG, 1993.
  • 4Meyer J - J C, Dignum F P M, Wieringa R J. The Paradoxes of Deontic Logic Revisited: A Computer Science Perspective [R]. Utrecht, Netherlands: Department of Computer Science, University of Utrecht, 1994.

二级参考文献11

  • 1Japaridze G..The logic of tasks.Annals of Pure and Applied Logic,2002,117(1～3):263～295
  • 2de Weerdt M.M.,Bos A.,Tonino J.,Witteveen C..A resource logic for multi-agent plan merging.Annals of Mathematics and Artificial Intelligence:Special issue on Computational Logic in Multi-Agent Systems,2003,37(1～2):93～130
  • 3van der Krogt R.P.J.,de Weerdt M.M.,Witteveen C..Resource based framework for planning and replanning.Web Intelligence and Agent Systems,2004,1(3～4):173～186
  • 4Japaridze G..Introduction to computability logic.Annals of Pure and Applied Logic,2003,123(1～3):1～99
  • 5Blass A..A game semantics for linear logic.Annals of Pure and Applied Logic,1992,56(1～3):182～220
  • 6Japaridze Giorgi.A constructive game semantics for the language of linear logic.Annals of Pure and Applied Logic,1997,85(2):87～156
  • 7Baader F.et al..The Description Logic Handbook:Theory,Implementation and Applications.Cambridge:Cambridge University Press,2002
  • 8Baader F.,Sattler U..An overview of tableau algorithms for description logics.Studia Logica,2001,69:5～40
  • 9Baader F.,Hanschke P..A scheme for integrating concrete domains into concept languages.Deutsches Forschungszentrum für Künstliche Intelligenz,Kaiserslautern:Research Report RR-91-10,1991
  • 10Dignum V.,Vazquez-Salceda Javier,Dignum Frank.OMNI:Introducing social structure,norms and ontologies into agent organizations.In:Proceedings of the PROMAS:2nd Workshop on Programming Multi Agent Systems Languages and Tools at AAMAS'04,Third International Joint Conference on Autonomous Agents and Multi-agent Systems,New York,2004,183～200

共引文献10

同被引文献9

引证文献1

二级引证文献2

系统仿真学报
2012年 第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部