摘要
指挥决策行为建模研究急需能够为分析、描述和建模指挥决策行为所具有的并发性、复杂交互性以及动态演化性提供有力支持的形式化方法。基于改进的OODA,通过应用π演算对指挥决策行为进行形式化建模,探讨了基于π演算的指挥决策行为形式化建模的可行性和可用性;在此基础上,就π演算方法为指挥决策行为形式化建模正确性验证以及模型有效性验证方面所提供的支持进行了初步探讨。研究表明,π演算方法可为指挥决策行为建模提供有力支持。
The research on the command decision behavioral modeling urgently requires competent formal method to support analyzing, describing and modeling the concurrency, complex interaction and dynamics contained in the command decision behavior. Based on the improved OODA, by applying π calculus to formalize the command decision behavior, the feasibility and availability of formalizing the command decision behavior based on π calculus were probed into; moreover with that, the supports were simply discussed which could be provided by π calculus for validating and verifying the correctness of the command decision behavior model. The results show π calculus can provide powerful support for command decision behavioral modeling.
出处
《系统仿真学报》
EI
CAS
CSCD
北大核心
2007年第15期3609-3613,共5页
Journal of System Simulation
