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

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

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

取消
临潭县| 百家乐官网信誉好的平台| 大发888娱乐软件| 百家乐官网上分器定位器| 网上百家乐平台下载| 百家乐六手变化混合赢家打法| 泗阳县| 百家乐对子的玩法| 百家乐官网娱乐网77scs| 大发888 df登录| 网上百家乐官方网站| 真人百家乐官网888| 澳门档百家乐的玩法技巧和规则| 百家乐官网赌博程序| 大发888迅雷下载免费| 百家乐官网扎金花现金| 百家乐怎么玩| 大发888交流心得| 任你博百家乐现金网| 百家乐官网微笑不倒| 佳豪娱乐| 新全讯网3344111.c| 阳宅24方位判断方法| 澳门百家乐官网真人娱乐场| 立即博娱乐城| 百家乐真人博彩的玩法技巧和规则| 百家乐官网群博乐吧blb8v| 百家乐官网庄闲当哪个好| 喜達博彩网| 大发888设置| 做生意门口对着通道| 网上赌百家乐官网正规吗| 澳门金沙会| 免费百家乐平预测软件| 百家乐庄闲筹码| 坐乾向巽24山向择吉| 百家乐官网扫瞄光纤洗牌机扑克洗牌机扑克洗牌机 | 百家乐官网平台租用| 盈得利百家乐娱乐城| 香港百家乐玩法| 百家乐注册下注平台|