期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于时空π-演算的信息物理融合系统组件可替换性判定
被引量：
4
1
作者
王鹏
向阳
+1 位作者
宗宇伟
张骐
《电子与信息学报》
EI
CSCD
北大核心
2012年第10期2494-2500,共7页
信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障。采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定。该文针对CPS的时空特性,在经典π-演算...
信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障。采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定。该文针对CPS的时空特性,在经典π-演算理论的基础上,引入时间和空间算子,提出时空π-演算理论,用于CPS服务的形式化建模。从服务可替换性和兼容性的关系入手,提出CPS服务可替换性判定定理。最后通过一个实际案例,展示了如何判定CPS组件的可替换性。
展开更多
关键词
信息物理融合系统(CPS)
面向服务
时空π-演算
可替换性
在线阅读
下载PDF
职称材料
题名
基于时空π-演算的信息物理融合系统组件可替换性判定
被引量：
4
1
作者
王鹏
向阳
宗宇伟
张骐
机构
同济大学电子与信息工程学院
上海计算机软件技术开发中心
神华和利时信息技术有限公司
出处
《电子与信息学报》
EI
CSCD
北大核心
2012年第10期2494-2500,共7页
基金
国家863计划项目(2011AA010101)
国家科技计划项目(2012BAD35B01)
+1 种基金
国家自然科学基金(71171148)
上海市科委科技攻关项目(10dz1122600)资助课题
文摘
信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障。采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定。该文针对CPS的时空特性,在经典π-演算理论的基础上,引入时间和空间算子,提出时空π-演算理论,用于CPS服务的形式化建模。从服务可替换性和兼容性的关系入手,提出CPS服务可替换性判定定理。最后通过一个实际案例,展示了如何判定CPS组件的可替换性。
关键词
信息物理融合系统(CPS)
面向服务
时空π-演算
可替换性
Keywords
Cyber
-
Physical System （CPS）
Service
-
oriented
Time
-
space
π-
calculus
Substitution
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于时空π-演算的信息物理融合系统组件可替换性判定
王鹏
向阳
宗宇伟
张骐
《电子与信息学报》
EI
CSCD
北大核心
2012
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
