论文部分内容阅读
针对规模与复杂度日益增大的自主飞行无人机任务管理器策略规则集，提出采用将“颜色”表达为质数形式的改进的有色Petn网方法对规则集进行建模研究，并依据改进的有色Petd网模型运行过程中各库所内托肯数值的特征设计了规则集存在问题的判定准则。采用该方法对某无人机自主飞行任务管理器规则集进行了建模与验证，结果表明了该验证方法的有效性。