葡京娱乐场-富盈娱乐场开户_百家乐试玩_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中進行推理驗證。
項目階段:
未應用
會員登錄可查看 合作方式、專利情況及聯系方式

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

取消
百家乐官网正网包杀| 澳门百家乐官网赌钱| 五原县| 百家乐官网单跳投注法| 百家乐任你博娱乐场| KK娱乐| 赌场百家乐视频| 宝胜娱乐| 做生意门面对着什么方向好| 威尼斯人娱乐诚| 网上百家乐官网内幕| 大发888游戏平台 34| 单机百家乐官网的玩法技巧和规则| 全讯网高手世家| 三易博娱乐城| 博发百家乐的玩法技巧和规则 | 北海市| 百家乐的注码技巧| 在线百家乐| 真人百家乐平台排行| 百家乐官网盈利分析路单| 多伦多百家乐的玩法技巧和规则 | 大发888平台下载| 什么叫百家乐官网的玩法技巧和规则 | 赌场百家乐官网台| 棋牌银商| 百家乐官网神仙道礼包| 百家乐棋牌游| 百家乐官网澳门技巧| 罗浮宫百家乐的玩法技巧和规则| 百家乐官网开闲的几率多大| 承德县| 汉阴县| 网络真钱游戏| 豫游棋牌游戏中心| 大发888出纳柜台登入| 百家乐现金网平台排名| 真钱百家乐游戏排行| 百家乐官网荷官培训| 百家乐官网15人专用桌布| 网上赌百家乐官网正规吗|