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

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

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

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

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

取消
太阳城娱乐城备用网址| 百家乐平注胜进与负追| 豪博百家乐官网娱乐城| 川宜百家乐分析软件| bet365怎么存款| 7月24日风水| bet365提款要多久| 百家乐技巧和规律| A8百家乐官网游戏| 百家乐游戏下裁| 百家乐六合彩3535| 百家乐官网投注网址| 威尼斯人娱乐城安全吗| 24山认龙立向| 海王星娱乐网| 法拉利百家乐的玩法技巧和规则 | 金赞百家乐的玩法技巧和规则| 电玩百家乐官网游戏机路单| 德州扑克高手| 百家乐的分析| 百家乐官网的薇笑打法| 平泉县| 励骏会百家乐的玩法技巧和规则| 香港百家乐官网赌场| 星空棋牌舟山清墩| 百家乐长庄投注| 兰坪| 大发888娱乐城赢钱| 百家乐视频麻将游戏| 网络百家乐官网赌博赢钱| 德州扑克怎么分钱| 网络百家乐大转轮| A8百家乐官网的玩法技巧和规则| 凤台县| 六合彩开奖记录| 威尼斯人娱乐城官方站| 百家乐赌博机销售| 百家乐官网网络游戏信誉怎么样| 哪个百家乐官网投注平台信誉好 | 财神百家乐官网的玩法技巧和规则 | 大西洋百家乐的玩法技巧和规则|