新葡京娱乐场-大陆娱乐场开户注册

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

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

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

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

取消
共和县| 真人百家乐的玩法技巧和规则| 百家乐官网过滤| 奇博国际娱乐网| 昆明百家乐装修装潢有限公司| 百家乐官网娱乐城7| 百家乐单人操作扫描道具| 百家乐官网澳门技巧| 十三张娱乐城开户| 线上百家乐开户| 澳门百家乐官网娱乐网| 葵青区| 大发888官网 df888ylcxz46 | 百家乐官网的注码技巧| 大发888源码| 新世纪百家乐娱乐城| 百家乐官网科学打| 百家乐官网实战技术| 娱乐城注册送彩金| 澳门百家乐真人斗地主| 送现金百家乐官网的玩法技巧和规则| 百家乐官网另类投注法| 衢州星空棋牌下载| 娱乐百家乐下载| 百家乐有好的投注法吗| 海王星百家乐官网的玩法技巧和规则 | 百利宫百家乐官网现金网| 网上百家乐官网作| 太阳城百家乐官网软件| 18皇宝| 大都会百家乐的玩法技巧和规则| 属猪与属狗 做生意| 百家乐官网园sun811.com| 网上玩百家乐官网有钱| 大发888网页版登陆| 全讯网信息| 御匾会百家乐的玩法技巧和规则| 破解百家乐游戏机| 百家乐庄比闲多多少| 百家乐官网千术手法| 百家乐官网出千手法|