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

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

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

取消
博坊百家乐游戏| 威尼斯人娱乐场内幕| 大世界百家乐赌场娱乐网规则| 百家乐官网庄闲比率| 百家乐官网1个人| 大发888注册就送58| 网络百家乐破解平台| 试玩百家乐官网代理| 赌百家乐官网的高手| 德州扑克中文版| A8百家乐赌场娱乐网规则| 24鸡是什么命| 博九网百家乐官网现金网| 大发888娱乐城下载| 百家乐视频赌博| 久盛娱乐城| 三亚百家乐的玩法技巧和规则| 百家乐官网群lookcc| 网上百家乐官网如何作假| 赌场里的美少年| 大发888娱乐城下载平台| 百家乐娱乐平台真钱游戏| 百家乐网站出售| 百家乐官网娱乐城主页| 大发888真人存款| 博发百家乐的玩法技巧和规则| 百家乐官网永利娱乐场| 大发888娱乐城m88| 百家乐封号| 大玩家百家乐现金网| 红9百家乐官网的玩法技巧和规则| 百家乐官网娱乐城地址| 二八杠论坛| 百家乐套利| 百佬汇百家乐的玩法技巧和规则| 克拉克百家乐官网的玩法技巧和规则| 香港六合彩官方| 宝马会百家乐的玩法技巧和规则| 澳门百家乐怎么赢钱| 立即博百家乐娱乐城| 百家乐娱乐平台备用网址|