葡京娱乐场-富盈娱乐场开户

|
東南大學
東南大學 教育部
  • 184 高校采購信息
  • 1294 科技成果項目
  • 6 創新創業項目
  • 0 高校項目需求

一種基于模型轉換的CPS建模與驗證方法

2021-04-10 00:00:00
云上高博會 http://www.a00n.com
點擊收藏
所屬領域:
電子信息
項目成果/簡介:
本發明提出了一種基于模型轉換的CPS建模與驗證方法，主要用于處理CPS建模與屬性驗證問題，本發明涉及到的關鍵操作包括：(1)采用HybridUML對CPS進行建模，并將所建HybridUML模型轉換為微分動態邏輯方法的操作模型混合程序Hybrid？Programs。(2)將得到的Hybrid？Programs根據定理證明器KeYmaera的輸入格式，生成輸入代碼，在KeYmaera中進行推理驗證。
項目階段:
未應用
會員登錄可查看 合作方式、專利情況及聯系方式

掃碼關注，查看更多科技成果

取消
棋牌赌博| 百家乐官网推荐| 百家乐官网押注方法| 博e百娱乐城怎么样| 梅州市| 自贡百家乐娱乐场开户注册| 三公百家乐官网在线哪里可以玩| 永利线上娱乐| tt百家乐的玩法技巧和规则| 梦幻城百家乐官网的玩法技巧和规则 | 大发888安装需要多久| 红宝石百家乐娱乐城| 百家乐官网微笑玩| 百家乐官网怎么赢博彩正网| 百家乐已破解的书籍| 百家乐官网桌游| 光山县| 大发888在线注册| 百家乐的巧门| 百家乐庄89| 百家乐必胜绝技| 百家乐官网群11889| 汪清县| 新世纪娱乐成| 云顶国际注册| 大发娱乐城官网| 威尼斯人娱乐城网上赌博| 神人百家乐赌博| 星河百家乐现金网| 爱赢百家乐官网开户送现金| 六合彩生肖| 顶级赌场官网下载| 百家乐娱乐网佣金| 澳门百家乐网上直赌| 百家乐优博娱乐城| 百家乐盛大娱乐城城| 百家乐平注赢钱法| 中国百家乐技巧| 百家乐的玩法技巧和规则| 百家乐赌博在线娱乐| 百家乐真人荷官网|