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

信息物理融合系统的形式化建模与分析

雷瑶  
【摘要】:信息物理融合系统(Cyber-Physical Systems, CPS)是一类将物理对象与计算单元通过新型通讯网络高度集成的复杂设备系统。面对物理对象的系统化集成高灵活性和功能复杂性的发展趋势,程序设计也变的更为繁杂,且难以维护。CPS的应运而生能够合理的处理上述缺陷,它在时间与空间上都跟物理世界融合紧密,对时间特性要求非常高的实时系统,高度耦合连续事件与离散跳跃间的关系,是在嵌入式系统的基础上整合新型传感器技术、智能控制技术等的新兴技术,实现人、机、物的紧密融合。 对于传统实时嵌入式系统功能单一,应用范围狭窄等问题,信息物理融合系统通过将计算、通信与实物紧密联系起来,使物理设备能够精确控制,让整个世界都互联起来,面对变化无常的应用环境,实时调节系统自身的运行状态,保证应用系统工作的安全性、实时性以及稳定性。 随着CPS的研究日趋广泛,对CPS的建模语言及软件工具也甚为繁杂,关于系统的安全性和稳定性保障也是重点关注问题。nodelica建模语言忽略了各应用领域模型的内部差异性,将各领域特征封装与组件内,利用接口方式进行通信,从而实现多领域建模功能,解决了现有的各类建模语言开发模型应用领域受限的不足,高效的处理建模语言应用于多领域问题。微分逻辑以数学方程为基础来对信息物理融合系统进行描述,对系统的各属性规约并验证其正确性。通过微分逻辑非常强的推理自动化能力,对系统中的各种性能展开逻辑描述,并利用和其中抉择逻辑对应的定理去分析系统,简明精确验证应用系统,以达到系统的最佳性能。 本文利用微分逻辑分析方法深入对信息物理融合系统的研究,结合信息物理融合系统典型应用列车自动控制系统为例,对微分逻辑方法所建的信息物理融合系统模型进行分析,并验证该实时系统的安全性及稳定性。首先将控制系统抽象分离为时间方面模型、通信方面模型、物理方面模型等子方面,分别对其属性规约进行建模描述,然后将各子方面模型融合到控制系统结构中,正则组合成一个完整的控制系统模型。最后通过实时推理验证控制系统的性能,说明逻辑分析方法对信息物理融合系统的合理性及可行性。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 黄澍川;用多传感器融合系统识别摩擦副的磨损状态[J];摩擦学学报;1996年04期
2 李军,刘君华;多传感器融合系统的可靠性模型研究[J];西安交通大学学报;2004年08期
3 陶迅文;;Z.net多网融合系统[J];IB智能建筑与城市信息;2006年12期
4 王强,倪国强,高昆,周生兵;一种基于DSP的小型集成化图像融合系统设计[J];激光与红外;2005年11期
5 宋亚军,高昆,倪国强;一种基于FPGA的双波段实时红外图像融合系统[J];激光与红外;2005年11期
6 王伟鹏;杨风暴;蔺素珍;贺栋;;基于SoC的红外双波段图像融合系统的设计[J];红外技术;2010年08期
7 李运生;数控机床发展与产业化战略[J];河南机电高等专科学校学报;2001年03期
8 郭新钢;;ERP系统与财务系统融合应用[J];微计算机信息;2011年08期
9 张孝霖,舒郁文;战术空中侦察系统发展趋势[J];激光与红外;1994年02期
10 ;国都·枫华府第 多网融合系统的应用与建设——访浙江国都房产集团总工室主任工程师王兴富[J];IB智能建筑与城市信息;2006年12期
11 林焕杉;董福安;朱林户;齐立峰;;有序粒子概率假定密度跟踪算法[J];计算机工程与应用;2009年25期
12 刘同明,黄永峰,吴小俊;用数据挖掘技术分析融合系统的性能[J];小型微型计算机系统;2004年12期
13 张超一;苗建松;;EPON与GPON的融合接入方案[J];光通信技术;2009年11期
14 周健;刘治;刘杰;;基于神经网络多分类器融合系统的人脸识别方法[J];南通大学学报(自然科学版);2011年01期
15 王慧;杨晨;张平;;移动广播融合网络中的资源分配和定价模型[J];北京邮电大学学报;2008年04期
16 赵晓岚;;多信源信息处理结构研究[J];计算机与数字工程;2009年05期
17 张世富;邢军;;重组形势下电信运营商IT系统融合建设模式研究[J];信息通信技术;2009年05期
18 杨洪利;李宜辉;;大庆石化ERP与FMIS7.0融合系统设计及应用[J];中国管理信息化;2010年20期
19 胡雷;林岳松;郭云飞;;约束总体最小二乘空间配准算法[J];火力与指挥控制;2011年10期
20 赵妮,柳毅,顾中国,田梦君;基于多智能体技术的信息融合系统[J];探测与控制学报;2005年01期
中国重要会议论文全文数据库 前10条
1 田杰;陈杰;;多传感器信息融合性能评估系统研究[A];2001年中国智能自动化会议论文集(下册)[C];2001年
2 史世明;王岭雪;王霞;金伟其;赵源萌;;一种彩色夜视实时图像融合系统[A];2006年全国光电技术学术交流会会议文集(D 光电信息处理技术专题)[C];2006年
3 刘云;吴则举;;城市远程污染源图像信息融合系统的研究[A];山东生态省建设研究(2004)[C];2004年
4 王博;蒋宏飞;梁华参;张春越;孙加东;赵铁军;刘树杰;马永亮;王欣欣;;CWMT2008机器翻译评测技术报告[A];机器翻译研究进展——第四届全国机器翻译研讨会论文集[C];2008年
5 张苗;窦丽华;陈杰;彭志红;;数据融合中时间配准的状态估计方法[A];第二十二届中国控制会议论文集(下)[C];2003年
6 高文;王瑞;姚鸿勋;;唇读和语音融合识别系统设计[A];第五届全国人机语音通讯学术会议论文集[C];1998年
7 覃频频;许登元;姚起宏;黄大明;;基于表决融合的高速公路事件检测算法融合[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
8 万洪容;刘扬;;航空电子信息融合系统中的目标识别技术[A];中国雷达行业协会航空电子分会暨四川省电子学会航空航天专委会学术交流会论文集[C];2005年
9 刘晶;;医学图像融合技术[A];第十二届全国临床医学影像学术会议、第四届东北三省放射学术会议论文汇编[C];2002年
10 边宝峰;马平;;基于模糊神经网络和D-S证据理论的信息融合方法的研究[A];第二十三届中国控制会议论文集(下册)[C];2004年
中国博士学位论文全文数据库 前10条
1 李教;多平台多传感器多源信息融合系统时空配准及性能评估研究[D];西北工业大学;2003年
2 乔向东;信息融合系统中目标跟踪技术研究[D];西安电子科技大学;2003年
3 李伟生;信息融合系统中态势估计技术研究[D];西安电子科技大学;2004年
4 管天云;多传感器信息融合研究[D];浙江大学;1998年
5 金学波;多传感器状态融合估计理论与应用研究[D];浙江大学;2003年
6 胡学海;机载多传感器目标信号属性融合研究[D];电子科技大学;2008年
7 刘严岩;多传感器数据融合中几个关键技术的研究[D];中国科学技术大学;2006年
8 陈倩;多生物特征融合身份识别研究[D];浙江大学;2007年
9 马志奇;应用于平台型数据融合测试床的构件技术研究[D];国防科学技术大学;2008年
10 李剑峰;无线数字图像通信若干关键技术的研究[D];北京邮电大学;2008年
中国硕士学位论文全文数据库 前10条
1 朱晨曦;基于AADL的信息物理融合系统的分析与设计方法[D];广东工业大学;2014年
2 钱惟贤;紫外与微光双通道彩色立体融合系统研究[D];南京理工大学;2004年
3 钟英丽;与转录因子AP-2α相互作用的蛋白质的鉴定[D];湖南师范大学;2003年
4 韩超;基于预付费业务的智能网互通研究[D];吉林大学;2007年
5 陈岭;长沙岳麓山大学城城区建筑与景观融合的研究[D];湖南师范大学;2008年
6 童明强;红外图像与可见光图像融合的研究[D];天津理工大学;2005年
7 陈书汉;实时双光谱图像融合系统的硬件设计与实现[D];暨南大学;2006年
8 赵锋娟;目标识别与位置估计融合处理的多Agent系统[D];哈尔滨工程大学;2007年
9 李露曦;微光与红外视频融合系统的图像处理器研究[D];南京理工大学;2009年
10 王晓勇;基于决策层信息融合的边缘检测算法及其在混合图像滤波中的应用[D];北京邮电大学;2007年
中国重要报纸全文数据库 前10条
1 徐勇;IP语音通信实现真正融合[N];人民邮电;2003年
2 本报记者:张欣;TDM与IP:相加容易融合难[N];计算机世界;2003年
3 伊佳;思科解构IPTV融合系统[N];通信产业报;2006年
4 本报记者 范毅波;Avaya“多元”融合[N];网络世界;2003年
5 信息产业部电信研究院 荣国辉 鲁春丛;3G业务支撑系统建设的三大思路[N];人民邮电;2006年
6 闻丹岩;Avaya IP语音重回报[N];中国计算机报;2003年
7 本报记者 陈和利;2007年亚洲通信展三大看点[N];科技日报;2007年
8 贾宏洁;十年磨砺VoIP拨云见日[N];中国电脑教育报;2005年
9 记者  郗望 通讯员  杨江伟 刘洁;全省警示训诫防线网络系统开通[N];陕西日报;2005年
10 ;爱立信演示144M移动宽带系统[N];人民邮电;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978