无人机自主飞行任务管理器规则集的Petri网建模与验证

Yanying Tan,Bo Sun,Xiaoping Zhu,Zhou Zhou

Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University（2012）

引用 0|浏览4

暂无评分

摘要

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

查看译文

关键词

Artificial intelligence,Autonomous UAVs,Mathematical models,Petri nets,Rule-set verification,Schematic diagrams,Unmanned aerial vehicles(UAV)

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要