期刊文献+
共找到267篇文章
< 1 2 14 >
每页显示 20 50 100
信息物理系统(cyber physical systems)及其对网络科学研究的影响 被引量:3
1
作者 周海平 《数字技术与应用》 2011年第3期151-152,共2页
信息物理系统(cyber physical systems,简称CPS)是集成计算、通信与控制于一体的下一代智能系统。该系统由于存在巨大的应用前景而日益收到人们的关注。本文对介绍了CPS的特点,并对CPS面临的机遇和挑战进行了探讨,最后指出了CPS对复杂... 信息物理系统(cyber physical systems,简称CPS)是集成计算、通信与控制于一体的下一代智能系统。该系统由于存在巨大的应用前景而日益收到人们的关注。本文对介绍了CPS的特点,并对CPS面临的机遇和挑战进行了探讨,最后指出了CPS对复杂网络研究的影响。 展开更多
关键词 信息物理系统 物联网 复杂网络
在线阅读 下载PDF
Semantic Social Service Organization Mechanism in Cyber Physical System 被引量:1
2
作者 张波 潘晓声 潘建国 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 2014年第4期452-462,共11页
Cyber physical system(CPS)provides more powerful service by cyber and physical features through the wireless communication.As a kind of social organized network system,a fundamental question of CPS is to achieve servi... Cyber physical system(CPS)provides more powerful service by cyber and physical features through the wireless communication.As a kind of social organized network system,a fundamental question of CPS is to achieve service self-organization with its nodes autonomously working in both physical and cyber environments.To solve the problem,the social nature of nodes in CPS is firstly addressed,and then a formal social semantic descriptions is presented for physical environment,node service and task in order to make the nodes communicate automatically and physical environment sensibly.Further,the Horn clause is introduced to represent the reasoning rules of service organizing.Based on the match function,which is defined for measurement between semantics,the semantic aware measurement is presented to evaluate whether environment around a node can satisfy the task requirement or not.Moreover,the service capacity evaluation method for nodes is addressed to find out the competent service from both cyber and physical features of nodes.According to aforementioned two measurements,the task semantic decomposition algorithm and the organizing matrix are defined and the service self-organizing mechanism for CPS is proposed.Finally,examinations are given to further verify the efficiency and feasibility of the proposed mechanism. 展开更多
关键词 cyber physical system(cps) self-organizing mechanism SEMANTIC environment-aware measurement service capacity evaluation
在线阅读 下载PDF
Influential Node Ranking and Invulnerability of Air Traffic Cyber Physical System 被引量:6
3
作者 WANG Xinglong HE Min 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI CSCD 2021年第2期288-297,共10页
To ensure flight safety,the complex network method is used to study the influence and invulnerability of air traffic cyber physical system(CPS)nodes.According to the rules of air traffic management,the logical couplin... To ensure flight safety,the complex network method is used to study the influence and invulnerability of air traffic cyber physical system(CPS)nodes.According to the rules of air traffic management,the logical coupling relationship between routes and sectors is analyzed,an air traffic CPS network model is constructed,and the indicators of node influence and invulnerability are established.The K-shell algorithm is improved to identify node influence,and the invulnerability is analyzed under random and selective attacks.Taking Airspace in Eastern China as an example,its influential nodes are sorted by degree,namely,K-shell,the improved K-shell(IKS)and betweenness centrality.The invulnerability of air traffic CPS under different attacks is analyzed.Results show that IKS can effectively identify the influential nodes in the air traffic CPS network,and IKS and betweenness centrality are the two key indicators that affect the invulnerability of air traffic CPS. 展开更多
关键词 complex network air traffic cyber physical system improved K-shell algorithm influential node ranking INVULNERABILITY
在线阅读 下载PDF
A quantitative analysis model of grid cyber physical systems 被引量:6
4
作者 Li Huang Yun Liang +1 位作者 Feng Huang Dayang Wang 《Global Energy Interconnection》 2018年第5期618-626,共9页
Conventional power systems are being developed into grid cyber physical systems(GCPS) with widespread application of communication, computer, and control technologies. In this article, we propose a quantitative analys... Conventional power systems are being developed into grid cyber physical systems(GCPS) with widespread application of communication, computer, and control technologies. In this article, we propose a quantitative analysis method for a GCPS. Based on this, we discuss the relationship between cyberspace and physical space, especially the computational similarity within the GCPS both in undirected and directed bipartite networks. We then propose a model for evaluating the fusion of the three most important factors: information, communication, and security. We then present the concept of the fusion evaluation cubic for the GCPS quantitative analysis model. Through these models, we can determine whether a more realistic state of the GCPS can be found by enhancing the fusion between cyberspace and physical space. Finally, we conclude that the degree of fusion between the two spaces is very important, not only considering the performance of the whole business process, but also considering security. 展开更多
关键词 cyber physical systems QUANTITATIVE analysis algorithm BIPARTITE network SMART GRID
在线阅读 下载PDF
Markov改进演化博弈评估ICPS的动态风险
5
作者 孙奕 孙子文 《哈尔滨工业大学学报》 北大核心 2025年第4期84-93,共10页
为评估网络攻击下工业信息物理系统(ICPS)的动态风险,研究Markov改进演化博弈模型。根据ICPS中各个漏洞节点,设计从信息域到物理域的系统攻防状态转移图,为Markov改进演化博弈分析提供依据。首先,在单阶段攻防过程中,研究加入参数机制... 为评估网络攻击下工业信息物理系统(ICPS)的动态风险,研究Markov改进演化博弈模型。根据ICPS中各个漏洞节点,设计从信息域到物理域的系统攻防状态转移图,为Markov改进演化博弈分析提供依据。首先,在单阶段攻防过程中,研究加入参数机制的攻防演化博弈模型,求解拥有不同理性程度和探索程度的攻防主体博弈后的收益。其次,在多阶段攻防中,根据单阶段攻防博弈模型,引入转移概率和折现因子,根据攻防状态转移图求解不同漏洞节点的攻击收益,实现对多阶段攻防对抗的动态推演。最后,利用攻击收益大小对ICPS的动态风险进行评估。本研究分别进行了数值实验分析以及工业信息物理系统模型仿真,使用沸水发电厂作为仿真对象,通过Matlab对Markov改进演化博弈评估方法进行仿真,根据攻击收益评估ICPS的动态风险。结果表明,研究模型重视攻防双方的差异性,能依据攻防双方理性程度及探索程度的不同,合理求出ICPS中攻击者的收益,为ICPS遭受网络攻击下的动态风险评估提供理论基础,对提高工业信息物理系统的安全性提供重要参考依据。 展开更多
关键词 工业信息物理系统(Icps) 演化博弈 Markov决策 攻击收益 系统评估
在线阅读 下载PDF
大规模分布式光伏并网系统CPS联合仿真同步方法及仿真平台
6
作者 杨志淳 胡伟 +2 位作者 杨帆 刘增稷 戴剑丰 《太阳能学报》 北大核心 2025年第3期301-309,共9页
针对大规模分布式光伏并网系统CPS联合仿真问题进行研究,提出一种基于状态缓存的同步方法,可使连续系统仿真与离散事件仿真准确同步,通过状态缓存和仿真回溯机制,在保证仿真准确性的同时有效提高效率。基于该同步方法,结合Matlab和OPNET... 针对大规模分布式光伏并网系统CPS联合仿真问题进行研究,提出一种基于状态缓存的同步方法,可使连续系统仿真与离散事件仿真准确同步,通过状态缓存和仿真回溯机制,在保证仿真准确性的同时有效提高效率。基于该同步方法,结合Matlab和OPNET,搭建联合仿真平台,并通过构造边界节点,可实现电力节点与通信节点的映射。仿真结果证明了该平台功能的有效性和计算的准确性,通过与其他平台的对比,体现了该平台在计算效率上的优势。 展开更多
关键词 配电网 光伏发电 信息物理系统 联合仿真 同步方法
在线阅读 下载PDF
Transportation-cyber-physical-systems-oriented engine cylinder pressure estimation using high gain observer
7
作者 李永福 寇晓培 +1 位作者 郑太雄 李银国 《Chinese Physics B》 SCIE EI CAS CSCD 2015年第5期621-626,共6页
In transportation cyber-physical-systems (T-CPS), vehicle-to-vehicle (V2V) communications play an important role in the coordination between individual vehicles as well as between vehicles and the roadside infrast... In transportation cyber-physical-systems (T-CPS), vehicle-to-vehicle (V2V) communications play an important role in the coordination between individual vehicles as well as between vehicles and the roadside infrastructures, and engine cylinder pressure is significant for engine diagnosis on-line and torque control within the information exchange process under V2V communications. However, the parametric uncertainties caused from measurement noise in T-CPS lead to the dynamic performance deterioration of the engine cylinder pressure estimation. Considering the high accuracy requirement under V2V communications, a high gain observer based on the engine dynamic model is designed to improve the accuracy of pressure estimation. Then, the analyses about convergence, converge speed and stability of the corresponding error model are conducted using the Laplace and Lyapunov method. Finally, results from combination of Simulink with GT- Power based numerical experiments and comparisons demonstrate the effectiveness of the proposed approach with respect to robustness and accuracy. 展开更多
关键词 transportation cyber-physical-systems high gain observer cylinder pressure estimation vehicle- to-vehicle communications
在线阅读 下载PDF
空中交通CPS结构特性及韧性评估 被引量:1
8
作者 王兴隆 魏奕雯 贺敏 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2024年第4期1187-1196,共10页
针对空中交通体系结构复杂、耦合性强、脆弱性高的特点,为缓解因受扰导致的级联失效现象,对其结构韧性进行研究。建立了空中交通信息物理系统(CPS)模型,提出同层度与层间度、同层介数与层间介数等指标,分析级联失效过程;提出空中交通CP... 针对空中交通体系结构复杂、耦合性强、脆弱性高的特点,为缓解因受扰导致的级联失效现象,对其结构韧性进行研究。建立了空中交通信息物理系统(CPS)模型,提出同层度与层间度、同层介数与层间介数等指标,分析级联失效过程;提出空中交通CPS韧性的概念,并采用定量评估方法对受损能力和恢复能力进行度量;对比不同扰动-恢复策略下的空中交通CPS表现,制定最佳恢复策略,提高受扰时的韧性。以华东地区空中交通CPS为例进行分析,结果表明:空中交通CPS网络度分布服从幂率分布,介数服从指数分布;在基于介数度值扰动下,采用介数恢复策略可以有效提高受扰时空中交通CPS的韧性。 展开更多
关键词 信息物理系统 级联失效 扇区网络 航路网络 空中交通cps韧性
在线阅读 下载PDF
基于CPS的单交叉口信号滚动优化控制模型
9
作者 卢凯 陈恒宇 +3 位作者 江书妍 李余 樊舒颖 李林 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2024年第2期379-388,共10页
为了采用现代信息技术提升单交叉口的通行效率,综合考虑信息物理系统(CPS)的特性和功能,构建了基于CPS的单交叉口信号滚动优化控制架构;提出了交叉口信号优化控制的分层建模思路与框架,实现了对交叉口不同层级的状态描述;针对不同流量环... 为了采用现代信息技术提升单交叉口的通行效率,综合考虑信息物理系统(CPS)的特性和功能,构建了基于CPS的单交叉口信号滚动优化控制架构;提出了交叉口信号优化控制的分层建模思路与框架,实现了对交叉口不同层级的状态描述;针对不同流量环境,分别以单位时间车均预计延误和加权排队长度比作为优化目标,进行实时信号优化,构建了基于CPS的分层滚动优化模型;搭建了基于SUMO与Python的实时交互仿真环境,针对未饱和、过饱和以及饱和状态变化3种流量场景进行案例分析.算例结果表明,与Transyt、Synchro、Webster、感应控制、承载力方法相比,所提模型均取得了更优的控制效果,车均延误和平均排队长度最多分别可减少43.75%和16.05%,溢流时间最多可延长37.93%. 展开更多
关键词 交通工程 信息物理系统 信号交叉口 滚动优化 分层建模
在线阅读 下载PDF
DoS攻击下多智能体ICPS的最优一致控制
10
作者 孙子文 翟润华 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2024年第12期62-70,共9页
为解决由多个被控对象组成的工业信息物理系统(ICPS)在拒绝服务(DoS)攻击和不确定外界扰动下的一致性控制问题,将多智能体和ICPS相结合,并基于状态观测器和零和博弈方法,设计最优H_(∞)一致控制器。首先,针对多个被控对象组成的ICPS,根... 为解决由多个被控对象组成的工业信息物理系统(ICPS)在拒绝服务(DoS)攻击和不确定外界扰动下的一致性控制问题,将多智能体和ICPS相结合,并基于状态观测器和零和博弈方法,设计最优H_(∞)一致控制器。首先,针对多个被控对象组成的ICPS,根据智能体的信息交互特性,构建固定拓扑结构的多智能体ICPS模型。其次,考虑DoS攻击作用在传感器通道和执行器通道时系统通信信道堵塞的影响,采用状态观测器重构被堵塞的状态信息,并构建DoS攻击下基于状态观测器的多智能体ICPS模型。然后,引入干扰抑制水平,并将控制器和干扰者视为零和博弈中的参与者,根据干扰抑制水平的优化目标和H_(∞)性能条件,构建基于零和博弈的最优H_(∞)设计框架。最后,通过对干扰抑制水平的约束,并求解满足H_(∞)一致性的线性矩阵不等式,设计最优一致性控制器。采用4个不间断电源的控制问题作为仿真对象,Matlab仿真结果表明,相比于未对状态重构和未对参数约束的设计方法,本设计方案可使得多智能体ICPS在双通道DoS攻击下达到一致的时间更短,且具有良好的相对稳定性。 展开更多
关键词 工业信息物理系统 多智能体 DOS攻击 零和博弈 干扰抑制水平 H_(∞)一致性
在线阅读 下载PDF
基于FP-Growth算法的新能源配电网CPS网络攻击检测方法 被引量:1
11
作者 李瑞 刘珊 闫磊 《电信科学》 北大核心 2024年第11期103-113,共11页
为有效分析识别有源配电网信息物理系统(cyberphysicalsystem,CPS)状态,提出基于FP-Growth算法的有源配电网信息物理系统网络攻击检测方法。首先分析考虑网络攻击的有源配电网控制模型及CPS网络攻击影响机理,通过实时仿真平台对有源配电... 为有效分析识别有源配电网信息物理系统(cyberphysicalsystem,CPS)状态,提出基于FP-Growth算法的有源配电网信息物理系统网络攻击检测方法。首先分析考虑网络攻击的有源配电网控制模型及CPS网络攻击影响机理,通过实时仿真平台对有源配电网CPS信息侧和物理侧进行监测来获取原始数据;然后通过额定电压、电流值制订数据离散化规则,并根据规则对原始数据进行离散量化处理来生成事件序列。在此基础上,采用FP-Growth算法挖掘历史数据异常信号的频繁项集和强关联关系,通过已有频繁序列特征对新的攻击类别和故障点进行识别,实现对有源配电网CPS网络攻击的检测。最后,仿真实验验证了所提方法的可行性和有效性。 展开更多
关键词 有源配电网 信息物理系统 网络攻击 FP-GROWTH算法 事件序列
在线阅读 下载PDF
基于CPSS的综合能源微网群参与调频辅助服务成本建模分析
12
作者 李振坤 于秋阳 +1 位作者 魏砚军 田书欣 《上海交通大学学报》 EI CAS CSCD 北大核心 2024年第6期893-903,I0004-I0006,共14页
随着双碳战略的实施,新能源在电力系统中所占比例不断提高,系统频率调节能力逐渐下降.针对该问题,对分布式综合能源微网群参与电力系统调频辅助服务展开深入研究.首先,基于微网个体聚合后参与调频市场的理念,阐述综合能源微网参与调频... 随着双碳战略的实施,新能源在电力系统中所占比例不断提高,系统频率调节能力逐渐下降.针对该问题,对分布式综合能源微网群参与电力系统调频辅助服务展开深入研究.首先,基于微网个体聚合后参与调频市场的理念,阐述综合能源微网参与调频辅助服务市场的模式;其次,建立综合能源微网群的信息-物理-社会模型,基于该模型计算微网群体的调频成本,成本模型中考虑多种调频方式,并利用灰色定权聚类方法对微网的社会属性进行分类,用以仿真分析微网个体参与调频市场的意愿及概率值;然后,基于蒙特卡罗模拟提出微网聚合商参与调频辅助服务时的成本计算方法,为聚合商参与调频市场报价提供基础.最后,对一个拥有5个综合能源微网的聚合商进行仿真分析,得到其调频成本的变化曲线.仿真结果显示微网个体的社会属性对聚合商的调频成本影响可达到6.921%,在报价过程中需要充分计及微网社会属性所带来的不确定性风险. 展开更多
关键词 综合能源微网群 调频辅助服务 调频成本 信息-物理-社会模型 社会属性建模
在线阅读 下载PDF
DoS攻击下微能源网事件触发一致性协同控制
13
作者 吴丽珍 魏建平 +1 位作者 陈伟 杨珩 《太阳能学报》 北大核心 2025年第2期200-208,共9页
微能源网是一种典型的信息物理系统,通过稀疏网络传递控制信息,易受网络攻击,影响系统的稳定性,甚至造成系统失稳。该文将拒绝服务攻击考虑到微能源网信息物理系统(CPS)控制中,分析拒绝服务攻击机理以及攻击频率对系统的影响。并设计基... 微能源网是一种典型的信息物理系统,通过稀疏网络传递控制信息,易受网络攻击,影响系统的稳定性,甚至造成系统失稳。该文将拒绝服务攻击考虑到微能源网信息物理系统(CPS)控制中,分析拒绝服务攻击机理以及攻击频率对系统的影响。并设计基于事件触发一致性算法的弹性控制器,通过Lyapunov理论证明该控制系统的稳定性,能够避免Zeno现象的发生。该控制器能够在拒绝服务攻击下实现控制目标,并具有较好的动态性能。最后,在Matlab/Simulink仿真平台验证该控制方法的可行性和有效性。 展开更多
关键词 信息物理系统 拒绝服务攻击 LYAPUNOV函数 微能源网 事件触发一致性 弹性控制
在线阅读 下载PDF
混合网络攻击下信息物理系统预测补偿控制
14
作者 祝超群 辛文睿 《兰州理工大学学报》 北大核心 2025年第2期71-77,共7页
针对混合网络攻击环境下的信息物理系统,研究了基于输出反馈的预测补偿控制问题,提出了具有多步预测的补偿控制方法.首先,考虑到混合攻击特性和攻击能量受限等因素,建立了具有嵌套子系统结构的信息物理系统切换模型;其次,借助李雅普诺... 针对混合网络攻击环境下的信息物理系统,研究了基于输出反馈的预测补偿控制问题,提出了具有多步预测的补偿控制方法.首先,考虑到混合攻击特性和攻击能量受限等因素,建立了具有嵌套子系统结构的信息物理系统切换模型;其次,借助李雅普诺夫稳定性理论和线性矩阵不等式技术给出了系统指数稳定的充分条件,在此基础上设计了基于输出反馈的预测补偿控制策略,实现了信息物理系统的镇定控制;最后,通过网络化直流电机控制系统仿真实例验证了所提控制方法的正确性和有效性. 展开更多
关键词 信息物理系统 混合网络攻击 切换系统 预测补偿 输出反馈控制
在线阅读 下载PDF
CPS与未来制造业的发展:中德美政策与能力构建的比较研究 被引量:25
15
作者 戴亦舒 叶丽莎 +1 位作者 董小英 胡燕妮 《中国软科学》 CSSCI CSCD 北大核心 2018年第2期11-20,共10页
在全球再工业化的浪潮下,网络-实体系统(Cyber-Physical System,CPS)成为各国实现制造业升级的关键。本文以服务主导逻辑为理论基础,构建融合技术、能力和应用为一体的CPS架构,分析中国、德国和美国的制造业政策与报告,对比三个国家信... 在全球再工业化的浪潮下,网络-实体系统(Cyber-Physical System,CPS)成为各国实现制造业升级的关键。本文以服务主导逻辑为理论基础,构建融合技术、能力和应用为一体的CPS架构,分析中国、德国和美国的制造业政策与报告,对比三个国家信息化与工业化融合战略布局的异同。研究发现,制造业正在向以用户为中心的制造服务化进行转变。在CPS能力体系的构建中,中国注重强化工业基础实力,德国强调制造业高度集成,美国侧重社会力量助力制造创新。 展开更多
关键词 网络-实体系统(ces) 服务主导逻辑 中国制造2025 工业4.0 工业互联网
在线阅读 下载PDF
基于体系结构能耗建模的CPS软件可信性评估方法 被引量:6
16
作者 张广泉 张侃 +1 位作者 祝义 周航 《电子学报》 EI CAS CSCD 北大核心 2013年第11期2270-2275,共6页
信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构... 信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导,对CPS软件体系结构能耗进行建模,分析和评估能耗对CPS软件可信性的影响,可以在设计阶段发现其体系结构能耗设计缺陷,并重新设计软件体系结构,从而有效提高CPS软件可信性.基于此,首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型,并分析了影响CPS软件可信性的能耗问题;针对这些问题,将分析得到的能耗数据作为建立可信性指标模型的基础,提出了基于能耗指标模型的CPS可信性评估方法;最后通过实例建模和分析,进一步说明该方法的有效性. 展开更多
关键词 信息物理融合系统 软件可信性评估 可信性指标模型 能耗建模
在线阅读 下载PDF
一种离散连续混成的时空事件驱动的CPS体系架构 被引量:5
17
作者 赵红专 孙棣华 +1 位作者 程森林 赵敏 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2016年第9期170-175,共6页
为描述信息物理融合系统(cyber-physical system,CPS)中离散信息系统和连续物理系统交互融合的混成特性,基于混成自动机理论,结合多智能体系统(multi-agent system,MAS)和时空事件驱动方法,提出一种CPS体系架构.该架构用改进的混成自动... 为描述信息物理融合系统(cyber-physical system,CPS)中离散信息系统和连续物理系统交互融合的混成特性,基于混成自动机理论,结合多智能体系统(multi-agent system,MAS)和时空事件驱动方法,提出一种CPS体系架构.该架构用改进的混成自动机理论刻画了离散空间和连续状态混成的CPS体系架构的主体,同时定义了基于时空事件的CPS事件,设计了基于MAS的CPS端,并运用定义不同功能的CPS端和CPS事件驱动机制解析了CPS体系架构内部信息物理交互反馈过程.最后以车速调控系统为例,采用提出的CPS体系架构分析了协同驾驶过程中单一车辆内部速度调控的信息物理融合过程,并对其进行了形式化描述,实例的形式化过程表明提出的体系架构的有效性.构建的CPS体系架构为刻画CPS的本质特征提供了新的方法. 展开更多
关键词 信息物理融合系统 体系架构 混成自动机理论 多智能体系统 时空事件
在线阅读 下载PDF
基于混成自动机的CPS行为建模与属性验证 被引量:2
18
作者 拓明福 周兴社 +1 位作者 李嘉林 李辉 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2016年第3期40-44,共5页
系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后... 系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。 展开更多
关键词 信息物理系统 模型验证 混成自动机 混合程序 模型转换
在线阅读 下载PDF
面向智能棉纺生产的CPS架构及其关键技术 被引量:5
19
作者 殷士勇 鲍劲松 +2 位作者 邹永毅 FAROOQ Basit 倪倪 《东华大学学报(自然科学版)》 CSCD 北大核心 2017年第5期681-688,共8页
棉纺行业是中国纺织产业中最重要的基础行业之一,在推进其智能制造和加速产业转型升级方面必须有自己的创新.在分析了棉纺智能化发展状况和所面临的挑战后,根据信息物理系统(cyber-physical system,CPS)的特征和现代棉纺生产流程的现状... 棉纺行业是中国纺织产业中最重要的基础行业之一,在推进其智能制造和加速产业转型升级方面必须有自己的创新.在分析了棉纺智能化发展状况和所面临的挑战后,根据信息物理系统(cyber-physical system,CPS)的特征和现代棉纺生产流程的现状,以工业大数据和信息集成技术为基础,提出了面向智能棉纺生产的"感知-通信-融合-控制"4层CPS框架结构,在此基础上探讨了该架构的关键技术.CPS架构及其关键技术将有力促进智能棉纺生产各类资源的高效配置、生产流程智能优化、质量和效率的大幅提升. 展开更多
关键词 信息物理系统(cps) 工业大数据 智能制造 棉纺生产
在线阅读 下载PDF
基于CPS的智能控制生产线框架设计 被引量:8
20
作者 陈容 陈映波 《电子设计工程》 2017年第11期97-101,共5页
设计合理的智能控制生产线框架可以降低生产成本、提高生产效率、更好地支持用户对产品个性化、定制化的要求。未来对生产线的智能控制必将是信息域和物理域深度融合的结果,在分析CPS内涵和特点的基础上,使用层次化的方法设计了一个基于... 设计合理的智能控制生产线框架可以降低生产成本、提高生产效率、更好地支持用户对产品个性化、定制化的要求。未来对生产线的智能控制必将是信息域和物理域深度融合的结果,在分析CPS内涵和特点的基础上,使用层次化的方法设计了一个基于CPS的智能控制生产线框架,从资源层、资源组织管理层、资源服务层、应用层详细阐述了框架的设计思路,给出了该框架网络化互联、分段化建模、模块化服务、个性化定制的实现流程,该框架能够有效地实现对生产线智能化闭环控制。 展开更多
关键词 智能制造 生产线 智能控制 信息物理系统
在线阅读 下载PDF
上一页 1 2 14 下一页 到第
使用帮助 返回顶部