你即將離開本站

並前往https://patents.google.com/patent/CN102426522B/zh

基于HybridUML向微分代数程序转换的CPS建模与验证方法

... 转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-Algebraic Dynamic Logic，DAL)推理规则对CPS实例进行验证。

確定！ 回上一頁

查詢 「cps實例」的人也找了：

  1. cps應用
    2.
  2. 虛實整合系統
    3.
  3. cps系統
    4.
  4. cyber-physical system
    5.
  5. CPS Cyber Physical System
    6.
  6. 網宇實體系統
    7.
  7. 虛實整合系統概念
    8.
  8. cps是什麼
    9.