葡京娱乐场-富盈娱乐场开户_百家乐试玩_sz全讯网网址xb112 (中国)·官方网站

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

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

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

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

取消
百家乐鞋业| 百家乐官网投注方法新版| 淘金百家乐官网的玩法技巧和规则| 真人游戏网| 五星百家乐官网的玩法技巧和规则| 大发888游戏平台 送1666元礼金领取lrm| 百家乐官网线上代理网站| 大发888网上支付| 重庆百家乐官网的玩法技巧和规则 | 百家乐998| 百家乐官网手机软件| 祥云县| 百家乐赌局| 百家乐算牌皇冠网| 百家乐官网免佣台| 皇冠开户| 万源市| 王牌百家乐的玩法技巧和规则| 视频百家乐官网平台出租| 百家乐太阳城娱乐城| 百家乐官网太阳城小郭| 香港六合彩网址大全| 明溪百家乐官网的玩法技巧和规则 | 白城市| 隆子县| 卢克索百家乐的玩法技巧和规则| 名人百家乐的玩法技巧和规则 | 百家乐视频连连看| 大发888游戏平台 df888ylcxz46 | 送彩金百家乐官网的玩法技巧和规则 | 百家乐官网园试玩| 子山午向的房子24山图| 反赌百家乐的玩法技巧和规则| 百家乐官网api| 百家乐官网登封代理| 大世界百家乐官网娱乐城| 太阳城娱乐网址| 明珠网上娱乐| 做生意招财的东西| 百家乐官网数学规律| 百家乐鞋业|