|
|||||
|
|
| 基于时空π-演算的信息物理融合系统组件可替换性判定 | |
| 引用本文： | 王鹏,向阳,宗宇伟,张骐.基于时空π-演算的信息物理融合系统组件可替换性判定[J].电子与信息学报,2012,34(10). |
| 作者姓名： | 王鹏 向阳 宗宇伟 张骐 |
| 作者单位： | 1. 同济大学电子与信息工程学院 上海201804;上海计算机软件技术开发中心 上海201112 2. 同济大学电子与信息工程学院 上海201804 3. 上海计算机软件技术开发中心 上海201112 4. 神华和利时信息技术有限公司 北京100011 |
| 基金项目： | 国家863计划项目，国家科技计划项目，国家自然科学基金，上海市科委科技攻关项目(10dz1122600)资助课题 |
| 摘 要： | 信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障.采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定.该文针对CPS的时空特性,在经典π-演算理论的基础上,引入时间和空间算子,提出时空π-演算理论,用于CPS服务的形式化建模.从服务可替换性和兼容性的关系入手,提出CPS服务可替换性判定定理.最后通过一个实际案例,展示了如何判定CPS组件的可替换性. |
| 关 键 词： | 信息物理融合系统(CPS) 面向服务 时空π-演算 可替换性 |
Substitution Determination of Cyber-physical System Components via Time-space π-Calculus |
|
| Wang Peng , Xiang Yang , Zong Yu-wei , Zhang Qi.Substitution Determination of Cyber-physical System Components via Time-space π-Calculus[J].Journal of Electronics & Information Technology,2012,34(10). | |
| Authors: | Wang Peng Xiang Yang Zong Yu-wei Zhang Qi |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |