期刊文献+
共找到229篇文章
< 1 2 12 >
每页显示 20 50 100
面向信息物理融合系统的混成攻击图分析方法
1
作者 葛要港 陈鑫恺 +1 位作者 徐丙凤 何高峰 《计算机工程与设计》 北大核心 2025年第6期1616-1624,共9页
针对信息物理融合系统(CPS)中信息系统与物理系统的复杂互联问题,提出一种混成攻击图模型,实现对CPS攻击的有效建模与分析,支持离散与连续信息共存的攻击建模。在此基础上,提出一种基于模型检测的混成攻击图分析方法,通过模型检测技术,... 针对信息物理融合系统(CPS)中信息系统与物理系统的复杂互联问题,提出一种混成攻击图模型,实现对CPS攻击的有效建模与分析,支持离散与连续信息共存的攻击建模。在此基础上,提出一种基于模型检测的混成攻击图分析方法,通过模型检测技术,将混成攻击图转化为时间自动机模型,采用度量区间时序逻辑,描述系统对离散与连续信息的安全属性,使用模型检测器进行可满足性验证。通过智能家居系统的案例说明了所提方法的有效性。 展开更多
关键词 信息物理融合系统 模型检测 混成攻击图 形式化方法 时间自动机 度量区间时序逻辑 安全属性
在线阅读 下载PDF
信息物理融合系统中恶意病毒传播的稳定性与分岔分析
2
作者 程浩宽 肖敏 《控制工程》 北大核心 2025年第6期1101-1110,共10页
为研究恶意病毒在信息物理融合系统(cyberphysicalsystems,CPS)中的传播机理,对一类具有双线性发生率的易感-感染-恢复(susceptible-infected-recovered,SIR)模型进行改进,提出了一种更具一般性且含有时滞的SIR恶意病毒模型。通过选取... 为研究恶意病毒在信息物理融合系统(cyberphysicalsystems,CPS)中的传播机理,对一类具有双线性发生率的易感-感染-恢复(susceptible-infected-recovered,SIR)模型进行改进,提出了一种更具一般性且含有时滞的SIR恶意病毒模型。通过选取时滞作为分岔参数,基于稳定性理论和Hopf分岔定理对该模型的复杂动力学行为进行分析,得出了Hopf分岔的条件。研究表明,系统的动力学行为依赖于分岔的临界值。此外,进一步应用范数理论和中心流形定理得出了关于Hopf分岔方向的计算公式。最后通过数值仿真验证了理论分析的正确性。 展开更多
关键词 信息物理融合系统 恶意病毒 时滞 HOPF分岔 分岔方向
在线阅读 下载PDF
考虑信息物理融合系统的韧性电网风险研究现状及发展趋势可视化分析 被引量:3
3
作者 何馥彤 李存斌 《中国安全生产科学技术》 CAS CSCD 北大核心 2024年第2期35-43,共9页
为探究韧性电网信息物理融合系统风险研究现状及发展趋势,基于中国知网(CNKI)和Web of Science(WoS)数据库2011—2023年的文献数据,利用CiteSpace对该领域研究的研究热点、前沿及演化趋势进行可视化分析。研究结果表明:国内研究形成以... 为探究韧性电网信息物理融合系统风险研究现状及发展趋势,基于中国知网(CNKI)和Web of Science(WoS)数据库2011—2023年的文献数据,利用CiteSpace对该领域研究的研究热点、前沿及演化趋势进行可视化分析。研究结果表明:国内研究形成以“风险预警与控制”和“电力系统智能化建设”为主题的研究热点,国外研究形成以“信息物理融合”和“连锁故障演化”为主题的研究热点;“智能电网的信息物理耦合”和“信息网络攻击风险分析”是国内研究的前沿方向,“信息物理融合系统安全状态估计”和“风险防控模型”是国外研究的前沿方向;国内研究可分为安全性理论研究期、信息物理攻击风险研究期和故障防御恢复研究期3个时间阶段,国外研究可分为信息物理融合研究期和信息物理安全应用期2个时间阶段;后续研究应加强改进电力信息物理融合系统建模、完善电力信息物理融合系统规划、推进电力信息物理融合系统应用,推进数字化韧性电网稳定运行。研究结果可为韧性电网风险识别和风险预警研究提供一定参考。 展开更多
关键词 电力信息物理融合系统 韧性电网 研究热点和前沿 可视化分析
在线阅读 下载PDF
基于模糊协同交互型观测器的柔性关节机械臂信息物理融合系统的安全控制
4
作者 黄鑫 畅晨旭 +1 位作者 肖舒怡 李小杭 《自动化学报》 EI CAS CSCD 北大核心 2024年第12期2487-2498,共12页
本文研究了柔性关节机械臂信息物理融合系统(Cyber-physical systems,CPS)在传感器测量和执行器输入受到网络攻击时的安全控制问题.首先,用T-S模糊模型描述柔性关节机械臂CPS,描述后的模型可能存在不可测量或可测量但受传感器攻击影响... 本文研究了柔性关节机械臂信息物理融合系统(Cyber-physical systems,CPS)在传感器测量和执行器输入受到网络攻击时的安全控制问题.首先,用T-S模糊模型描述柔性关节机械臂CPS,描述后的模型可能存在不可测量或可测量但受传感器攻击影响的前件变量(Premise variables,PVs),这些PVs直接用于构建模糊控制器会影响控制器的控制效果.因此,提出一类模糊协同交互观测器来构造新的、可靠的、可利用的PVs.同时,该观测器能够与包含攻击估计误差(Attack estimation error,AEE)信息的辅助系统进行协同交互.与已有结果相比,所提出的观测器通过协同交互结构,充分利用了AEE信息,提高了攻击信号的重构精度.在此基础上,提出了一种具有攻击补偿结构的安全控制方案,从而消除了传感器和执行器攻击对柔性关节机械臂CPS性能的影响.仿真结果验证了所提出的安全控制方案的有效性. 展开更多
关键词 柔性关节机械臂 信息物理融合系统 网络攻击 T-S模糊模型 协同交互型观测器 安全控制
在线阅读 下载PDF
电力信息物理融合系统的建模分析与控制研究框架 被引量:158
5
作者 赵俊华 文福拴 +1 位作者 薛禹胜 董朝阳 《电力系统自动化》 EI CSCD 北大核心 2011年第16期1-8,共8页
传统的电力系统研究与信息系统研究在理论和方法上基本都是割裂的,故在现有的理论和方法框架下难以系统而深入地分析信息系统对电力系统分析与控制的影响。实现智能电网的关键之一就在于怎样将前沿的计算、通信、传感技术与电力系统紧... 传统的电力系统研究与信息系统研究在理论和方法上基本都是割裂的,故在现有的理论和方法框架下难以系统而深入地分析信息系统对电力系统分析与控制的影响。实现智能电网的关键之一就在于怎样将前沿的计算、通信、传感技术与电力系统紧密而有机地结合起来,而信息物理融合系统(CPS)的目标正是将物理系统和信息系统融合为新型工业系统。在此背景下,将CPS概念与电力系统特点相结合,提出电力CPS架构;利用微分代数方程组、有穷自动机、随机过程、排队论等数学工具,建立其稳态与动态模型,阐述相应的分析方法,并进一步提出电力CPS可靠性和安全性研究方向。最后,基于网络延时和丢失补偿提出了多种控制方法相结合的混合控制策略。 展开更多
关键词 智能电网 信息物理融合系统 电力信息物理融合系统 数学模型 可靠性 安全性
在线阅读 下载PDF
信息物理融合系统综合安全威胁与防御研究 被引量:82
6
作者 刘烃 田决 +5 位作者 王稼舟 吴宏宇 孙利民 周亚东 沈超 管晓宏 《自动化学报》 EI CSCD 北大核心 2019年第1期5-24,共20页
信息物理融合系统(Cyber-physical system, CPS)是计算单元与物理对象在网络空间中高度集成交互形成的智能系统.信息系统与物理系统的融合在提升系统性能的同时,信息系统的信息安全威胁(Security)与物理系统的工程安全问题(Safety)相互... 信息物理融合系统(Cyber-physical system, CPS)是计算单元与物理对象在网络空间中高度集成交互形成的智能系统.信息系统与物理系统的融合在提升系统性能的同时,信息系统的信息安全威胁(Security)与物理系统的工程安全问题(Safety)相互影响,产生了新的综合安全问题,引入严重的安全隐患.本文介绍了CPS的概念与安全现状,给出了CPS综合安全的定义;在对现有安全事件进行分析的基础上,提出了CPS的综合安全威胁模型;从时间关联性和空间关联性的角度,对现有CPS攻击和防御方法进行了分类和总结,并探讨CPS综合安全的研究方向. 展开更多
关键词 信息物理融合系统 综合安全 威胁模型 综合防御
在线阅读 下载PDF
信息物理融合系统 被引量:99
7
作者 温景容 武穆清 宿景芳 《自动化学报》 EI CSCD 北大核心 2012年第4期507-517,共11页
信息物理融合系统(Cyber-physical system,CPS)是计算、通信和物理过程高度集成的系统,通过在物理设备中嵌入感知、通信和计算能力,实现对外部环境的分布式感知、可靠数据传输、智能信息处理,并通过反馈机制实现对物理过程的实时控制.... 信息物理融合系统(Cyber-physical system,CPS)是计算、通信和物理过程高度集成的系统,通过在物理设备中嵌入感知、通信和计算能力,实现对外部环境的分布式感知、可靠数据传输、智能信息处理,并通过反馈机制实现对物理过程的实时控制.分析了CPS的基本概念和特征,对CPS的体系架构、中间件系统、实时性、安全和隐私等关键技术的现有研究成果进行综述,并提出了相应的研究思路;然后介绍了一些现有的CPS原型系统和实例,体现出CPS的优越性;最后对CPS和传感器网络(Wireless sensor network,WSN)、物联网(The internet of things,IOT)、网络控制系统(Networked control systems,NCSs)进行了对比分析,总结了CPS现有研究中存在的问题,并展望了CPS的发展方向. 展开更多
关键词 信息物理融合系统 体系架构 中间件 实时性 安全和隐私
在线阅读 下载PDF
信息物理融合系统的特性、架构及研究挑战 被引量:18
8
作者 许少伦 严正 +1 位作者 张良 唐聪 《计算机应用》 CSCD 北大核心 2013年第A02期1-5,45,共6页
近年来,信息物理融合系统(CPS)已成为国内外学术界和科技界研究的重要方向,被认为是继计算机、互联网之后世界信息技术的第三次浪潮。CPS是一个多维、异构、深度融合的开放式系统,涉及计算机、通信、控制等多个学科的知识,由于各个学科... 近年来,信息物理融合系统(CPS)已成为国内外学术界和科技界研究的重要方向,被认为是继计算机、互联网之后世界信息技术的第三次浪潮。CPS是一个多维、异构、深度融合的开放式系统,涉及计算机、通信、控制等多个学科的知识,由于各个学科领域在研究理论和方法上存在明显不同,所以给CPS的应用研究带来了极大的挑战。基于此背景,从整体的角度对CPS进行综合阐述,首先介绍CPS的定义、主要特性以及国内外的应用研究现状,之后阐述CPS的典型组成架构、抽象框架以及CPS节点的主要构成,最后以电力、能源行业的CPS应用研究为主线,从系统理论基础、建模、仿真、设计开发以及其核心组成部分(计算、通信、控制)等多个方面论述了目前CPS研究过程中所面临的主要挑战和初步解决方案。 展开更多
关键词 信息物理融合系统 系统架构 信息抽象 CPS节点 网络融合
在线阅读 下载PDF
电力信息物理融合系统的网络-物理协同攻击 被引量:32
9
作者 阳育德 蓝水岚 +1 位作者 覃智君 刘辉 《电力自动化设备》 EI CSCD 北大核心 2020年第2期97-102,共6页
随着智能电网的发展及智能设备不断引入电力信息物理融合系统(CPPS)中,CPPS面临一种新的攻击方式--网络-物理协同攻击(CCPAS)。这种攻击方式既隐蔽又可引发连锁故障,易造成大规模停电事故。首先,阐述CPPS遭受CCPAS的基本形式,在直流潮... 随着智能电网的发展及智能设备不断引入电力信息物理融合系统(CPPS)中,CPPS面临一种新的攻击方式--网络-物理协同攻击(CCPAS)。这种攻击方式既隐蔽又可引发连锁故障,易造成大规模停电事故。首先,阐述CPPS遭受CCPAS的基本形式,在直流潮流模型下构建考虑状态估计约束的CCPAS模型。然后,探讨CCPAS的机理,以攻击者的角度分析规避状态估计监测后最大范围的攻击,分析CCPAS情景下CPPS的脆弱线路。最后,以IEEE 14、118节点系统为例,通过仿真计算验证模型的有效性、适用性,对比分析考虑状态估计约束后物理攻击的限制。 展开更多
关键词 智能电网 信息物理融合系统 状态估计 网络-物理协同攻击 虚假数据注入攻击
在线阅读 下载PDF
精准农业信息物理融合系统的事件模型研究 被引量:9
10
作者 聂娟 孙瑞志 +2 位作者 曹振丽 邓雪峰 杨昊 《农业机械学报》 EI CAS CSCD 北大核心 2015年第1期285-291,314,共8页
信息物理融合系统(CPS)具有严格的实时性和空间约束,根据其事件驱动性,对CPS时空事件模型进行了描述,并依据精准农业的特点对CPS体系结构中的组成部件(物理世界、传感器、计算(控制)单元、执行器、计时器)建立了时空事件模型,并以精准... 信息物理融合系统(CPS)具有严格的实时性和空间约束,根据其事件驱动性,对CPS时空事件模型进行了描述,并依据精准农业的特点对CPS体系结构中的组成部件(物理世界、传感器、计算(控制)单元、执行器、计时器)建立了时空事件模型,并以精准农业大棚的洒水事件闭环过程为例对每一部件进行了分析,证明这些事件模型可以用于精准农业中的基本事件。 展开更多
关键词 精准农业 信息物理融合系统 事件模型 时空特性
在线阅读 下载PDF
信息物理融合系统及其应用 被引量:15
11
作者 景博 周伟 +2 位作者 黄以锋 汤巍 焦晓璇 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2014年第2期1-6,共6页
信息物理融合系统是一类将感控、计算和通信与物理对象在网络环境中高度集成的新型智能复杂系统,可以实现系统的实时性、自治性、鲁棒性和高性能等。介绍了CPS的基本概念、发展现状和系统架构,分析了CPS与嵌入式系统、无线传感器网络和... 信息物理融合系统是一类将感控、计算和通信与物理对象在网络环境中高度集成的新型智能复杂系统,可以实现系统的实时性、自治性、鲁棒性和高性能等。介绍了CPS的基本概念、发展现状和系统架构,分析了CPS与嵌入式系统、无线传感器网络和物联网的联系与区别;重点研究了CPS在电力、交通、医疗和航空航天等领域的应用研究现状及面临的突出问题;对CPS的研究方向进行了总结与展望。 展开更多
关键词 信息物理融合系统 嵌入式系统 物联网 无线传感器网络 航空航天
在线阅读 下载PDF
信息物理融合系统研究综述 被引量:163
12
作者 王中杰 谢璐璐 《自动化学报》 EI CSCD 北大核心 2011年第10期1157-1166,共10页
信息物理融合系统(Cyber-physical systems,CPS)是多维异构的计算单元和物理对象在网络环境中高度集成交互的新型智能复杂系统,具有实时、鲁棒、自治、高效和高性能等特点.本文首先介绍了CPS的概念和特征,综述了CPS的当前发展状况与应... 信息物理融合系统(Cyber-physical systems,CPS)是多维异构的计算单元和物理对象在网络环境中高度集成交互的新型智能复杂系统,具有实时、鲁棒、自治、高效和高性能等特点.本文首先介绍了CPS的概念和特征,综述了CPS的当前发展状况与应用前景;其次,对CPS的系统构成进行了简要分析,讨论了CPS与相关技术的区别与联系;最后,对CPS技术发展所面临的主要挑战及可能的研究方向进行了总结与展望. 展开更多
关键词 信息物理融合系统 实时 高性能 嵌入式系统 网络控制
在线阅读 下载PDF
基于信息物理融合系统的智能制造架构研究 被引量:27
13
作者 张彩霞 程良伦 王向东 《计算机科学》 CSCD 北大核心 2013年第06A期37-40,共4页
信息物理融合系统(Cyber Physical System,CPS)的特征和功能为离散制造的智能化生产和竞争力的提高提供了有效的思路和途径。本文在现有物联网的基础上,基于CPS概念并结合现有离散制造业的特点,构造离散型制造信息物理融合系统的基本架... 信息物理融合系统(Cyber Physical System,CPS)的特征和功能为离散制造的智能化生产和竞争力的提高提供了有效的思路和途径。本文在现有物联网的基础上,基于CPS概念并结合现有离散制造业的特点,构造离散型制造信息物理融合系统的基本架构,并对该架构和相应功能模块进行了分析。最后,从离散型制造CPS基础理论和系统模型、系统优化调度与自治机制、安全性、可靠性、系统的可验证性等几个方面阐述了离散型制造CPS所面临的挑战。 展开更多
关键词 信息物理融合系统 离散型制造 物联网 智能制造
在线阅读 下载PDF
电力信息物理融合系统数据区块链生成算法 被引量:21
14
作者 杨挺 赵俊杰 +2 位作者 张卫欣 赵英杰 盆海波 《电力自动化设备》 EI CSCD 北大核心 2018年第10期74-80,共7页
随着电力信息物理融合系统(CPS)的发展,传统集中式数据采集架构运行存在透明度差、数据安全风险高等不足,利用区块链的去中心化、安全可信等特性,提出一种电力CPS数据区块链生成算法,以提升数据交互和使用过程的安全可信性。基于电力CP... 随着电力信息物理融合系统(CPS)的发展,传统集中式数据采集架构运行存在透明度差、数据安全风险高等不足,利用区块链的去中心化、安全可信等特性,提出一种电力CPS数据区块链生成算法,以提升数据交互和使用过程的安全可信性。基于电力CPS数据的私有化特征,提出数据区块建链架构,并采用区块生成节点内排队机制和节点间按需路由数据交换机制提升CPS数据区块的建链速度,结合数据特征验证机制和私有化区块链的特性,确保数据能够实时传输、存储。采用5种不同IEEE标准算例对所提算法进行验证,结果表明所提算法具有更短的数据区块建链时间和更好的传输性能。 展开更多
关键词 电力信息物理融合系统 区块链 排队论 按需路由传输
在线阅读 下载PDF
信息物理融合系统理论与应用专刊序言 被引量:13
15
作者 管晓宏 关新平 郭戈 《自动化学报》 EI CSCD 北大核心 2019年第1期1-4,共4页
信息物理融合系统(Cyber physical systems,CPS)是集控制、通信与计算于一体的智能系统.CPS在智能感知和信息通信的基础上,通过信息计算和物理过程的相互影响实现计算、通信和控制的深度融合和实时交互,以安全、可靠、高效和实时的方式... 信息物理融合系统(Cyber physical systems,CPS)是集控制、通信与计算于一体的智能系统.CPS在智能感知和信息通信的基础上,通过信息计算和物理过程的相互影响实现计算、通信和控制的深度融合和实时交互,以安全、可靠、高效和实时的方式检测及控制物理系统,实现全系统的自治和协作. 展开更多
关键词 信息物理融合系统 系统理论 序言 应用 信息通信 实时交互 智能系统 智能感知
在线阅读 下载PDF
基于攻击者视角的电力信息物理融合系统脆弱性分析 被引量:20
16
作者 张殷 肖先勇 李长松 《电力自动化设备》 EI CSCD 北大核心 2018年第10期81-88,共8页
基于攻击者视角分析电力信息物理融合系统的脆弱性有助于决策者辨识系统脆弱环节和潜在威胁,为开展针对性防御奠定基础。结合复杂网络理论,建立了考虑信息物理交互的电力信息物理融合系统一体化模型;在直流潮流模型下,研究了信息层元件... 基于攻击者视角分析电力信息物理融合系统的脆弱性有助于决策者辨识系统脆弱环节和潜在威胁,为开展针对性防御奠定基础。结合复杂网络理论,建立了考虑信息物理交互的电力信息物理融合系统一体化模型;在直流潮流模型下,研究了信息层元件失效对物理层故障传播的影响;从攻击者角度,建立了4种攻击模式,从物理层和信息层结构与功能属性出发,建立了更为全面的融合系统脆弱性指标,并对2种信息网拓扑结构下融合系统的脆弱性进行了分析。仿真结果表明,物理层负载水平和信息层拓扑结构是影响融合系统脆弱性的重要因素;相比随机攻击,蓄意攻击下融合系统更脆弱,协同攻击下尤为脆弱;高加权介数和高加权度数信息节点对维持信息层功能起关键作用;信息物理协同破坏效应严重恶化了系统的性能。 展开更多
关键词 电力信息物理融合系统 信息物理交互 复杂网络理论 脆弱性 攻击者视角
在线阅读 下载PDF
面向服务的信息物理融合系统建模与验证 被引量:8
17
作者 刘明星 马武彬 +1 位作者 邓苏 黄宏斌 《计算机应用》 CSCD 北大核心 2014年第6期1770-1773,共4页
针对信息物理融合系统(CPS)中建模与验证面临的问题与挑战,基于服务组合的思想,提出一种CPS建模与验证方法。首先,综合分析已有研究成果,提出一种CPS的组成结构,包含物理世界、感知系统、信息处理系统、控制系统及时间约束。基于该结构... 针对信息物理融合系统(CPS)中建模与验证面临的问题与挑战,基于服务组合的思想,提出一种CPS建模与验证方法。首先,综合分析已有研究成果,提出一种CPS的组成结构,包含物理世界、感知系统、信息处理系统、控制系统及时间约束。基于该结构提出CPS资源的服务分类及组成框架,并利用时间自动机理论,提出CPS物理环境建模方法、CPS原子服务建模方法及服务组合方法。最后,通过案例设计和模型检测工具Uppaal,分别对系统安全性、可达性、活性及时间约束四种类型的性质进行了相关验证。结果表明,系统通过了这些性质的验证,这也证明了面向服务的CPS建模方法的正确性。 展开更多
关键词 信息物理融合系统 面向服务 模型验证 时间自动机 UPPAAL
在线阅读 下载PDF
信息物理融合系统的软件需求分析 被引量:6
18
作者 刘春 黄冉冉 +2 位作者 张伟 赵海燕 金芝 《计算机学报》 EI CSCD 北大核心 2016年第11期2344-2354,共11页
计算过程与物理过程的融合使得信息物理融合系统(Cyber-Physical Systems,CPS)的软件需求分析成为一个具有挑战性的任务.首先,分析人员需要从用户所期望实现的物理实体变化出发,基于对物理实体性质的认识来推理分析软件需求;其次分析人... 计算过程与物理过程的融合使得信息物理融合系统(Cyber-Physical Systems,CPS)的软件需求分析成为一个具有挑战性的任务.首先,分析人员需要从用户所期望实现的物理实体变化出发,基于对物理实体性质的认识来推理分析软件需求;其次分析人员已不能将CPS中的软件看成一个整体去描述它的外部行为,而需要分析CPS所应包含的各个软件实体和物理实体,描述每个物理实体的性质和软件实体应具有的行为;还有计算过程与物理过程的融合也使得分析人员必须采取一种统一的方式来描述物理实体的性质和软件实体的行为,以方便用户需求的满足性验证.基于问题框架方法和面向目标方法,作者提出了一种适合于CPS的软件需求分析方法.该方法采用现象间的因果关系式这一具体形式来统一描述CPS中物理实体的性质和软件实体的需求,然后从用户所期望的物理现象出发,遵循面向目标的方法,将CPS软件需求的分析过程转化为建立满足用户需求的现象间因果关系链的过程,最后通过基于Alloy的目标现象可达性验证来检验用户需求的可满足性;并且用一个自适应巡航控制系统的案例来说明所提方法的可行性. 展开更多
关键词 信息物理融合系统 软件需求 面向目标的方法 问题框架方法
在线阅读 下载PDF
信息物理融合系统的面向对象Petri网建模 被引量:10
19
作者 李晔 王映辉 于振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2014年第2期165-171,共7页
从多Agent系统的角度,以面向对象Petri网为语义基础,建立了一种信息物理融合系统体系结构模型,将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent.该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体... 从多Agent系统的角度,以面向对象Petri网为语义基础,建立了一种信息物理融合系统体系结构模型,将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent.该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体特性,描述系统的静态和动态语义,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证,检测系统开发早期存在的错误,提高系统的正确性和可靠性.利用信息物理融合系统体系结构模型对目标跟踪系统的建模、分析与实现表明,信息物理融合系统体系结构模型可以有效地辅助系统的设计与开发. 展开更多
关键词 信息物理融合系统 多AGENT系统 PETRI网 分析
在线阅读 下载PDF
一种可信的信息物理融合系统设计框架初探 被引量:12
20
作者 张侃 张广泉 张茗泰 《计算机研究与发展》 EI CSCD 北大核心 2011年第S2期242-246,共5页
信息物理融合系统(CPS)连接物理世界和计算系统,由计算核心监控,是一种物理进程和计算进程紧密结合的系统.对CPS的研究目前还处于初步探索阶段,还没有完整的理论框架和技术体系,关于CPS系统的正确性以及安全性的研究尤其空缺.针对这一问... 信息物理融合系统(CPS)连接物理世界和计算系统,由计算核心监控,是一种物理进程和计算进程紧密结合的系统.对CPS的研究目前还处于初步探索阶段,还没有完整的理论框架和技术体系,关于CPS系统的正确性以及安全性的研究尤其空缺.针对这一问题,结合形式化方法和面向方面技术,初步提出一种可信的CPS设计框架,并阐述了该框架的主要设计过程及需要解决的关键问题. 展开更多
关键词 信息物理融合系统 可信 形式化方法 面向方面技术
在线阅读 下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部