太阳城集团亚洲娱乐城-澳门太阳城集团娱乐城最新地址_百家乐电影网_全讯网xb112 (中国)·官方网站

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

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

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

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

取消
澳门百家乐官网赌| 百家乐官网娱乐网会员注册 | 百家乐视频游戏掉线| 博狗娱乐城注册| 百家乐官网博弈指数| 陇川县| 风水24山| 豪门国际娱乐网| 百家乐平台要多少钱| 至尊百家乐官网娱乐场开户注册 | 做生意的好风水| 新利线上娱乐| 新澳博百家乐娱乐城| 澳门百家乐官网走势图| 大发888娱乐场ylc8| 678百家乐官网博彩娱乐网| 新锦江百家乐娱乐| 百家乐官网赌场高手| 大发888游戏平台3403| 德州百家乐赌博规则| 百家乐官网心术| 皇冠网网址| 缅甸百家乐网络赌博解谜| 中国百家乐官网软件| 百家乐官网信誉好的平台| 大发888在线投注| 网上百家乐娱乐场开户注册| 百家乐官网视频下载| 威尼斯人娱乐城最新网址| 大发888真人存款| E世博百家乐官网娱乐城| 百家乐赢钱好公式| 百家乐官网上海代理| 新东方百家乐官网的玩法技巧和规则| 网上百家乐官网赌博网| 百家乐官网赌场玩法技巧| 莎车县| 棋牌源码论坛| 大发888方官下载| 百家乐娱乐网站| 百家乐官网破解打法|