葡京娱乐场-富盈娱乐场开户_百家乐试玩_sz全讯网网址xb112 (中国)·官方网站

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

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

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

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

取消
百家乐桌手机套| 博彩套利| 百家乐官网西园出售| 综艺| 尊龙百家乐娱乐场开户注册| 大发888最新网址| 修文县| 百家乐官网龙虎| 做生意摆放老虎好不好| 百家乐计划软件| 东源县| 百家乐官网专业赌博| 百家乐楼梯缆| 大发888下载地址| 百家乐官网作弊视频| 7月24日风水| 大发888东方鸿运| 金宝博百家乐官网游戏| 龍城百家乐官网的玩法技巧和规则 | 百家乐官网平台网| 百家乐官网微笑玩| 万龙百家乐的玩法技巧和规则| 大家旺娱乐| 百家乐官网博弈之赢者理论坛| 百家乐网站可信吗| 巴马| 百家乐代理加盟| 大发888下载17| 澳门百家乐官网是怎样赌| 百家乐喜牛| 淘金百家乐官网现金网| 百家乐官网冼牌机| 百家乐倍投工具| 百家乐官网开户投注| 百家乐棋牌辅助| 利来国际网上| 百家乐所有技巧| 博彩网导航| 百家乐官网视频无法显示| 鄂托克旗| 电子百家乐作假|