葡京娱乐场-富盈娱乐场开户

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

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

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

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

取消
大地娱乐城| 龙虎斗游戏| 大发888老虎机苹果版| 大三元百家乐官网的玩法技巧和规则| 大发888娱乐城大奖| 环球百家乐现金网| 大港区| 大发888大家赢娱乐| 百家乐斗地主在哪玩| 摩纳哥百家乐官网娱乐城| 北京德州扑克比赛| 百家乐中庄闲比例| 将军百家乐官网的玩法技巧和规则 | 百家乐官网破解辅助| 澳门百家乐赌场| 百家乐新规则| 百家乐官网娱乐平台备用网址| 百家乐官网缆的打法| 澳门百家乐单注下| 波音百家乐现金网投注平台排名导航| 百家乐官网15人专用桌布| 城市| 环澳娱乐| 六合彩天线宝宝| 大发888娱乐城游戏下载| 百家乐游戏免费试| 百家乐视频游戏聊天| 实战百家乐官网十大取胜原因百分百战胜百家乐官网不买币不吹牛只你能做到按我说的.百家乐官网基本规则 | 免费百家乐缩水| 百家乐网上投注文章| 哪个百家乐网站最大| 最好的百家乐论坛| 大发888在线开户| bet365体育投注心得| 亿酷棋牌官方下载| 大发888官方下载网站| 太阳城直属现金网| 水浒传老虎机破解| 百家乐官网的出千手法| 百家乐官网常用公式| 唐人街百家乐官网的玩法技巧和规则 |