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

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

基于HybridUML和定理證明的CPS自適應性驗證方法

2021-04-10 00:00:00
云上高博會 http://www.502d.xyz
點擊收藏
所屬領域:
電子信息
項目成果/簡介:

本發明提出一種基于HybridUML和定理證明的CPS自適應性驗證方法,本發明步驟包括:首先利用HybridUML視圖對CPS建模;然后將HybridUML規約轉換為定理證明器KeYmaera的輸入-量化混合程序QHP;結合生成的QHP,以量化微分動態邏輯QdL公式的形式對待驗證的屬性進行規約,然后利用KeYmaera進行自動驗證。

項目階段:
未應用
會員登錄可查看 合作方式、專利情況及聯系方式

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

取消
三国百家乐娱乐城| 百家乐官网规则| 大亨百家乐官网娱乐城| 百家乐的保单打法| 白菜娱乐城| 百家乐软件编辑原理| 皇宝国际网站| 百家乐赌场彩| 百家乐官网园选百利宫| 联众棋牌游戏大厅| 克拉克百家乐官网的玩法技巧和规则| 大发888线上娱乐城二十一点| 呼和浩特市| 百家乐高手的心得| 百家乐官网推广| 德州扑克大赛视频| 百家乐官网详解| 大发888棋牌下载| 江川县| 巫山县| 威尼斯人娱乐天上人间| 百家乐官网游戏新| 百家乐官网注册送彩金平台| 大发888官网官方下载| 百家乐官网翻天百度影音| 黄石市| 大发888检测技能| 赌场百家乐赌场| 百家乐官网博娱乐场开户注册| 新西兰百家乐的玩法技巧和规则| 稳赢百家乐官网的玩法技巧 | 百家乐官网赌局| 呼伦贝尔市| 大发888娱乐场下载删除| 蓝盾百家乐平台租用| 戒掉百家乐官网的玩法技巧和规则| 临颍县| 一起pk棋牌游戏下载| 百家乐任你博娱乐场开户注册| 九运2024年-2043年| 神人百家乐官网赌博|