收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于自动机理论的多传感器融合建模方法研究

梁冰  
【摘要】: 多传感器融合是指为了完成需要的识别、估计和决策等任务,对从时间序列上获得的各种传感器数据以及从其他途径获得的信息按照一定的准则进行综合分析与判断的处理过程。目前,对多传感器融合的研究主要集中在融合功能与融合方法方面,强调数据融合的功能模拟与融合处理方法,却忽略了融合的整体过程与计算问题,至今仍然缺乏较为有效的多传感器融合过程的计算模型。这一理论上的不足阻碍了对MSF的深入认识,无法对融合过程作出综合分析与评估,无法消除融合系统设计的盲目性。由于多传感器融合处理信息的多样性和处理过程的复杂性,目前还缺乏有效的数学工具对多传感器融合的处理过程进行统一描述和分析,开发深层次的数学工具对多传感器融合进行描述和分析成为急于解决的问题。本文从多传感器融合的计算问题出发,针对融合过程与处理功能的数学特征,采用自动机理论和方法描述多传感器融合的计算结构和处理过程,建立多传感器融合的计算模型,并对其进行分析与验证。所作的工作主要体现在以下几个方面: 第一,通过引入时间序列扩展了有限自动机理论,提出了时序I/O自动机作为多传感器融合的描述、建模和分析的数学工具,时序I/O自动机比传统的自动机能够更准确地描述数据融合过程,并提出了时序I/O自动机的建模、分析及仿真方法。 第二,建立多传感器融合的时序I/O自动机模型,采用时序I/O自动机的字符集描述融合处理的时序数据,提炼数据融合处理过程中关键处理状态和信息事件;利用时序I/O自动机模型输入语言和输出语言的并、连接运算表示对各传感器节点数据的时空域融合处理。通过检测多传感器融合的时序I/O自动机模型状态序列的可达性,验证并分析了多传感器融合处理过程的正确性和实时性。 第三,数据关联是多传感器融合的主要处理模块,又是一种数据处理方法。利用时序I/O自动机对观测数据的获取、处理过程进行了形式化描述,建立了数据关联的时序I/O自动机模型,并提出一种基于时序I/O自动机的数据关联性能评价算法,通过宽度优先搜索时序I/O自动机模型的状态转移图验证数据关联模块生成航迹的正确性,并讨论了算法实现的关键技术。 第四,传感器管理是多传感器融合过程的控制模块。当某些传感器出现故障时,本文对传感器控制策略进行分析,并利用自动机产生的语言测度实现传感器控制策略性能的评价。建立了描述传感器管理模块对多传感器逻辑控制行为的自动机模型;通过对可控制事件的非使能设定,描述不同的控制策略;并提出语言测度参数的递归估计方法与停止规则,根据语言测度获取不同传感器控制策略的性能指标。 第五,采用时序I/O自动机模型产生语言的信息熵评价数据融合过程性能。多传感器融合的时序I/O自动机模型中输入信息和输出信息作为两种不同的信息源,利用信息源概率空间上的信息熵推导时序I/O自动机模型上的融合熵,定量描述了多传感器融合对降低决策结果不确定性与增加信息量的有效性。最后验证了多传感器融合的时序I/O自动机模型融合熵分析方法的正确性。 第六,将基于自动机理论的多传感器融合建模方法应用于C~3I系统的建模和实时性分析。提出基于计算树逻辑CTL的C~3I系统的实时性表达方法,详细描述使用模型检测工具Uppaal对C~3I系统建模及其实时性验证的方法。 基于自动机理论的多传感器融合模型采用了客观、准确的数学语言描述多传感器融合的定义、处理过程与计算结构,并能够分析融合结果的正确性、实时性和过程控制等方面的性能,为多传感器融合系统的设计以及融合算法的研究提供了有效的依据。


知网文化
【相似文献】
中国期刊全文数据库 前19条
1 徐慧;田径;金英姬;;广义标准自动机及其商自动机[J];西北大学学报(自然科学版);2018年02期
2 赵相珺;;自动机理论及应用——电除尘器寻优控制的设计[J];电子技术;1988年04期
3 詹剑;;自动机理论及应用 自动机理论在语言识别中的应用[J];电子技术;1988年05期
4 王良文;自动机循环图设计中的追击问题[J];郑州轻工业学院学报;1989年02期
5 文志英,文志雄;代换序列研究概况[J];数学进展;1989年03期
6 张敏霞;一种快速高效开发Web应用的方法[J];计算机工程;2002年03期
7 蔡国永;钱俊彦;;关于形式语言与自动机理论的教学方法探讨[J];高教论坛;2008年04期
8 李九英;张来顺;;基于自动机理论的XML查询重写研究[J];计算机应用与软件;2008年06期
9 朱燕;;树自动机理论在XML中的应用[J];燕山大学学报;2006年06期
10 梁冰;刘群;;基于自动机模型数据关联性能评估算法[J];电子科技大学学报;2008年04期
11 陈文宇;吴祖峰;闵帆;;认知方法在形式语言与自动机理论教学中的应用[J];计算机教育;2008年14期
12 朱维军,王逸然,张树仁,周清雷;基因交互逻辑网络的自动机模型[J];河南科学;2005年01期
13 邱道文;基于完备剩余格值逻辑的自动机理论——Ⅰ.拓扑刻画[J];中国科学E辑:技术科学;2003年02期
14 李亮;卫青延;;基于混成自动机的制造系统建模研究[J];电脑知识与技术;2018年15期
15 李佩宁;;硬纸板自动机——STEM课程之初探机械和艺术的交集[J];基础教育参考;2017年03期
16 高小强,游安清,郑忠;扩散和化学反应的多物质格子气自动机模型[J];化工冶金;2000年03期
17 吴警余;吴忠贯;;运动生物力学行为过程自动机[J];浙江体育科学;1989年01期
18 王保群;张强勇;李明田;;模拟三点弯曲试验的细胞自动机模型[J];地下空间与工程学报;2008年04期
19 王红,闾国年;城市细胞自动机模型研究的回顾与展望[J];经济地理;2003年02期
中国重要会议论文全文数据库 前5条
1 殷桂梁;;免疫原理用于多传感器融合数据对准研究[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
2 朱增辉;徐友春;朱愿;贾鹏;曹剑;;基于多传感器融合的乡村道路可行驶区域识别[A];第八届中国智能交通年会优秀论文集——智能交通与安全[C];2013年
3 杨红梅;耿伯英;韦大伟;袁斌;;一种基于模糊效能值的多传感器管理方法[A];2006中国控制与决策学术年会论文集[C];2006年
4 胡振涛;刘先省;;测量方差自学习加权下的多传感器融合算法[A];2004全国图像传感器技术学术交流会议论文集[C];2004年
5 龚志伟;刘任任;;关于部分四值逻辑中3元正则可离关系的分类[A];2006年全国理论计算机科学学术年会论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 梁冰;基于自动机理论的多传感器融合建模方法研究[D];哈尔滨工程大学;2008年
2 王拥兵;加权自动机的拓扑和代数特征研究[D];陕西师范大学;2017年
3 魏秀娟;格值交替自动机的若干问题研究[D];陕西师范大学;2018年
4 文艳军;基于接口自动机的组合验证方法研究[D];国防科学技术大学;2005年
5 张薇;自动机和链编码的理论研究与应用[D];华东师范大学;2006年
6 卜冠英;网格理论模型及其应用[D];中国科学院研究生院(计算技术研究所);2002年
7 巨志勇;基于动态系统计算的数字图像处理[D];同济大学;2007年
8 陈文宇;形式语言与自动机理论若干问题研究[D];电子科技大学;2009年
9 陈尚文;多传感器融合的三维场景感知[D];安徽大学;2018年
10 刘严岩;多传感器数据融合中几个关键技术的研究[D];中国科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 赵畅;小口径外能源枪械设计与动力学分析[D];南京理工大学;2018年
2 刘燕;量子有穷树自动机的代数性质[D];陕西师范大学;2018年
3 余寒;关于并发加权μ-演算若干问题的研究[D];南京航空航天大学;2018年
4 扈玉莹;关于极端同步自动机的一些研究[D];山东师范大学;2017年
5 崔振河;关于语言的共轭和同步自动机的若干研究[D];湖南科技大学;2017年
6 张杨;基于LTL软件正确性运行时验证方法研究[D];哈尔滨工程大学;2014年
7 王向飞;基于自动机理论的钢铁线材打包机控制软件设计[D];浙江工业大学;2016年
8 陈建华;FHP-Ⅱ格子气自动机的碰撞规则及数字电路实现[D];吉林大学;2018年
9 陆卫东;基于惯性器件的某机械运动测量装置研究[D];南京理工大学;2018年
10 王洲;基于多传感器融合的飞行器导航技术研究与实现[D];成都信息工程大学;2018年
中国重要报纸全文数据库 前4条
1 河北省公安厅交警总队;推进高速交管工作与信息数据关联应用实践[N];人民公安报·交通安全周刊;2016年
2 仲勇;用VBA实现工作表间的数据关联[N];中国电脑教育报;2004年
3 江苏省海安县明道小学 许向前;用Excel函数实现工作表间的数据关联[N];中国电脑教育报;2004年
4 江苏 罗松林;让数据关联起来[N];中国电脑教育报;2000年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978