系统仿真学报 ›› 2015, Vol. 27 ›› Issue (8): 1740-1746.

• 仿真建模与仿真算法及数值仿真 • 上一篇    下一篇

不确定条件下AUV编队决策系统的WIFTCPN形式化建模

郝莉莉1,2, 顾浩1, 康凤举1,2, 杨惠珍1,2   

  1. 1.西北工业大学航海学院, 西安 710072;
    2.水下信息处理与控制国家级重点实验室, 西安 710072
  • 收稿日期:2015-05-15 修回日期:2015-06-25 出版日期:2015-08-08 发布日期:2020-08-03
  • 作者简介:郝莉莉(1985-),女,河南郑州人,博士生,研究方向为任务规划与系统仿真;顾浩(1963-),男,浙江海宁人,教授,研究方向为系统仿真、制导控制;康凤举(1947-),男,江苏南通人,教授,博导,研究方向为系统仿真理论及应用。

WIFTCPN Formalized Decision-making for AUV Formation System under Uncertainty

Hao Lili1,2, Gu Hao1, Kang Fengju1,2, Yang Huizhen1,2   

  1. 1. Marine College, Northwestern Polytechnical University, Xi'an 710072, China;
    2. National Key Laboratory of Underwater Information Process and Control, Xi'an, 710072, China
  • Received:2015-05-15 Revised:2015-06-25 Online:2015-08-08 Published:2020-08-03

摘要: AUV编队系统受测量不精确、水下通信时延、粒度不一致等不确定条件作用,针对其决策系统离散、时延、分层、信息模糊等特点,提出了一种具有严格的数学基础、集形式化建模、仿真与验证为一体的方法—加权直觉模糊时间着色Petri网(weighted intuitionistic fuzzy timed colored petri net,WIFTCPN),给出了模糊时间延迟、不确定信息、模糊知识以及加权直觉模糊推理等与WIFTCPN之间的映射关系,利用CPN Tools工具构建了不确定信息的推理决策的仿真模型,并通过仿真分析检验了模型的正确性、活性和安全性等。

关键词: 不确定信息, 决策, 形式化建模, 加权直觉模糊时间着色Petri网

Abstract: Usually the acquired target information is not sufficient and certain enough due to inaccurate measurements, inconsistent granularity and noise, which results in the AUV formation decision-making system having some characteristics, such as discrete, time delay, hierarchical, fuzzy, inconsistencies. Therefore, an integrated formal approach of modeling, simulation and verification based on weighted intuitionistic fuzzy timed colored petri net (WIFTCPN) was proposed. The mapping relationship between WIFTCPN and fuzzy time, time delay and intuition fuzzy inference rules were established. Furthermore, corresponding reasoning decision simulation model under uncertain information was built by using CPN Tools. The properties including liveness, home and fairness are validated.

Key words: uncertain information, decision-making, formal modeling, WIFTCPN

中图分类号: