|
|
论文:2012,Vol:30,Issue(6):862-867 |
|
|
引用本文： |
|
|
谭雁英, 孙波, 祝小平, 周洲. 无人机自主飞行任务管理器规则集的Petri网建模与验证[J]. 西北工业大学 |
|
|
Tan Yanying, Sun Bo, Zhu Xiaoping, Zhou Zhou. An Effective Approach to Formalize and Verify the Rule Base of Mission Manager for Autonomous UAVs Using Petri Nets[J]. Northwestern polytechnical university |
|
|
|
|
|
|
|
| 无人机自主飞行任务管理器规则集的Petri网建模与验证 |
|
| 谭雁英, 孙波, 祝小平, 周洲 |
|
| 西北工业大学 无人机特种技术国家级重点实验室, 陕西 西安 710072 |
| 摘要: |
| 针对规模与复杂度日益增大的自主飞行无人机任务管理器策略规则集,提出采用将"颜色"表达为质数形式的改进的有色Petri网方法对规则集进行建模研究,并依据改进的有色Petri网模型运行过程中各库所内托肯数值的特征设计了规则集存在问题的判定准则。采用该方法对某无人机自主飞行任务管理器规则集进行了建模与验证,结果表明了该验证方法的有效性。 |
| 关键词:
人工智能
数学模型
Petri网
示意图
无人机
自主
规则集验证
|
|
| An Effective Approach to Formalize and Verify the Rule Base of Mission Manager for Autonomous UAVs Using Petri Nets |
|
| Tan Yanying, Sun Bo, Zhu Xiaoping, Zhou Zhou |
|
| National Key Laboratory of Science and Technology on UAV at Northwestern Polytechnic University,Xi'an 710072,China |
| Abstract: |
| Sections 1 through 4 of the full paper explain and evaluate the approach mentioned in the title, which webelieve is effective. Their core consists of:(1) the “colour”of CPN(Colored Petri Net) is expressed by primenumber in this technique; (2) the definitions for the potential problems in the rule base are given according to thenumber of“tokens”in each“place”while CPN model is executing; (3) the rule base of the mission manager foran autonomous UAV(Unmanned Aerial Vehicle) has been modeled and verified; the results, presented in Table 2,and their analysis,show preliminarily that our approach is indeed effective. |
| Key words:
artificial intelligence
mathematical models
Petri nets
schematic diagrams
unmanned aerial vehi-cles(UAV);autonomous UAVs
rule-set verification
|
|
| 收稿日期: 2011-12-01
修回日期:
|
| DOI: |
| 通讯作者:
Email： |
| 作者简介: 谭雁英(1967-)，女，西北工业大学研究员、博士，主要从事无人机自主飞行智能管理及任务规划研究。
|
|
| 相关功能 |
|
|
|
|
| 作者相关文章 |
|
| 谭雁英 在本刊中的所有文章 |
| 孙波 在本刊中的所有文章 |
| 祝小平 在本刊中的所有文章 |
| 周洲 在本刊中的所有文章 |
|
|
|
|
|
|
|
|
参考文献: |
|
|
[1] Unmanned Systems Roadmap 2007-2032.Department of Defense U．S．A，2007
[2] 龙国庆，祝小平，周 洲．多无人机系统协同多任务分配模型与仿真．飞行力学, 2011, 4: 68-71Long Guoqing，Zhu Xiaoping，Zhou Zhou.Model and Simulation of Cooperative Multi-Task Assignment for Multi-UAV System．Flight Dynamics, 2011, 4: 68-71 (in Chinese)
[3] 谭雁英, 王兴海, 祝小平等.基于智能 Agent 的无人机发动机的自主控制策略.系统工程与电子技术，2007，29(4):601-604Tan Yanying，Wang Xinghai, Zhu Xiaoping, et al.Intelligent Agent-Based Engine Control Strategies for Small Autonomous UA-Vs.Journal of Systems Engineering and Electronics, 2007, 29(4): 601-604 (in Chinese)
[4] Suwa M，Scott A C.An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System.The AI Maga-zine，Fall, 1982, 16-21
[5] Ngayen T A，Perkins W A.Checking an Expert System Knowledge for Consistency and Completeness.Proc.IJCAI-85, 375-379
[6] 应 晶, 吴朝晖等.知识库的一致性问题和检查方法.计算机科学, 1991, 13(2): 64-67Ying Jing，Wu Zhaohui，et al.Problems and Solving Methods on Knowledge Base Consistency.Computer Science，1991，13(2): 64-67 (in Chinese)
[7] Mysore Ramaswamy, Sumit Sarkar.Using Directed Hypergraphs to Verify Rule-Based Expert System.IEEE Trans on Knowledgeend Data Engineering, 1997, 9(2): 221-237
[8] 丁志军, 蒋昌俊.基于 P/T 网结构的规则系统验证方法.系统仿真学报, 2005, 17(增刊): 151-154Ding Zhijun，Jiang Changjun.Rule-Based System Verification by P/T Net Structure.Joural of System Simulation，2005，17(supplement): 151-154 (in Chinese)
[9] He Xudong，Chu William C，et al.A New Approach to Verify Rule-Based Systems using Petri Nets.Information and SoftwareTechnology, 2003, 45: 663-669
[10] 吴哲辉.Petri 网导论.北京: 机械工业出版社, 2006Wu Zhehui.The Introduction of Petri Nets.Beijing: China Machine Press, 2006 (in Chinese) |
|
|
|
相关文献: |
|
|
1．耿峰, 祝小平, 周洲, 孟俊生.一种有效的高速攻击型无人机二自由度PID控制[J]. 西北工业大学, 2013,31(1): 1-7 |
|
|
2．陈安强, 冯蕴雯, 薛小锋, 冯元生.用于机构位置监测的传感器误指示可靠性分析[J]. 西北工业大学, 2012,30(6): 852-856 |
|
|
|
|
|
|
