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

|
東南大學
東南大學 教育部
  • 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中進行推理驗證。
項目階段:
未應用
會員登錄可查看 合作方式、專利情況及聯系方式

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

取消
百家乐官网真钱电玩| 玩百家乐官网技巧巧| 宕昌县| 实战百家乐官网十大取胜原因百分百战胜百家乐官网不买币不吹牛只你能做到按我说的.百家乐官网基本规则 | 百家乐小游戏单机版| 宣城市| 威尼斯人娱乐城信誉最好| 新彩百家乐官网的玩法技巧和规则 | 临清市| 捷豹百家乐的玩法技巧和规则| 怎么玩百家乐官网网上赌博| 韩国百家乐的玩法技巧和规则| 百家乐官网没边| sz新全讯网新112| 百家乐赌神| 百家乐官网最安全打法| 贡山| 大发888网页版| 百家乐闲拉长龙| 大发百家乐官网现金| 大发888送58彩金| 百家乐辅助分析软件| 百家乐官网鞋业| 大发888娱乐城 博狗| 利都百家乐国际娱乐网| 皇冠网百家乐官网啊| 网络百家乐官网的陷阱| 宝胜| 三公百家乐玩法| 百家乐下载游戏| 天博百家乐官网的玩法技巧和规则| 太阳城百家乐官网168| 新葡京娱乐城官方网址| 赌博百家乐弱点| 网络百家乐最安全| 金牌百家乐官网的玩法技巧和规则| 线上百家乐官网代理| 最新娱乐城注册送彩金| 大发888xp缺少casino| 百家乐真人百家乐皇冠开户| k7娱乐城备用网址|