葡京娱乐场-富盈娱乐场开户_百家乐试玩_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代充| 最新娱乐城注册送体验金| 真人娱乐城| 百家乐官网赌博合作| 百家乐模拟游戏下载| 大发888排行| 大发888官方注册| 百家乐官网赢钱心得| 百家乐官网www| 百家乐玩法最多的娱乐城| 二八杠规则| 百家乐官网真钱送彩金| 百家乐怎样玩才能赢| 百家乐官网纯数字玩法| 打百家乐庄闲的技巧| 娱乐城开户送| 百家乐娱乐分析软件v4.0| 皇冠888线上投注| 玩百家乐官网678娱乐城| 威尼斯人娱乐项目| 百家乐官网扑克筹码| 百家乐打鱼秘| 百家乐官网怎么样投注| 德州扑克 视频| 百家乐官网游戏机价格| 百家乐试玩1000元| 百家乐官网出千赌具| 沈阳盛京棋牌官网| 致胜百家乐软件| 百家乐官网投注方法网| 正规棋牌游戏| 博彩百家乐龙虎| 百家乐官网庄闲和游戏机| 正品百家乐的玩法技巧和规则| 申城棋牌官网| 手机百家乐能兑换现金棋牌游戏| 真人百家乐官网玩法| 大发888注册优惠代码| 百家乐视频游戏道具|