电子与信息学报
電子與信息學報
전자여신식학보
JOURNAL OF ELECTRONICS & INFORMATION TECHNOLOGY
2012年
10期
2494-2500
,共7页
王鹏%向阳%宗宇伟%张骐
王鵬%嚮暘%宗宇偉%張騏
왕붕%향양%종우위%장기
信息物理融合系统(CPS)%面向服务%时空π-演算%可替换性
信息物理融閤繫統(CPS)%麵嚮服務%時空π-縯算%可替換性
신식물리융합계통(CPS)%면향복무%시공π-연산%가체환성
信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障.采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定.该文针对CPS的时空特性,在经典π-演算理论的基础上,引入时间和空间算子,提出时空π-演算理论,用于CPS服务的形式化建模.从服务可替换性和兼容性的关系入手,提出CPS服务可替换性判定定理.最后通过一个实际案例,展示了如何判定CPS组件的可替换性.
信息物理融閤繫統(Cyber Physical System,CPS)組件的可替換性為CPS故障處理和繫統升級提供瞭重要保障.採用麵嚮服務的方法設計CPS體繫結構,將CPS組件可替換性判定等價為CPS服務的可替換性判定.該文針對CPS的時空特性,在經典π-縯算理論的基礎上,引入時間和空間算子,提齣時空π-縯算理論,用于CPS服務的形式化建模.從服務可替換性和兼容性的關繫入手,提齣CPS服務可替換性判定定理.最後通過一箇實際案例,展示瞭如何判定CPS組件的可替換性.
신식물리융합계통(Cyber Physical System,CPS)조건적가체환성위CPS고장처리화계통승급제공료중요보장.채용면향복무적방법설계CPS체계결구,장CPS조건가체환성판정등개위CPS복무적가체환성판정.해문침대CPS적시공특성,재경전π-연산이론적기출상,인입시간화공간산자,제출시공π-연산이론,용우CPS복무적형식화건모.종복무가체환성화겸용성적관계입수,제출CPS복무가체환성판정정리.최후통과일개실제안례,전시료여하판정CPS조건적가체환성.