真钱游戏-澳门线上赌场_百家乐正品_sz全讯网网站xb112(中国)·官方网站

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

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

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

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

取消
亲朋棋牌游戏下载| 百乐坊百家乐官网娱乐城| 威尼斯人娱乐城老品牌lm0| 吐鲁番市| 百家乐官网看图赢钱| 大发888代理| 百家乐官网哪条路好| 百家乐官网免费改| 大发888官网黄金版| 24山向吉凶水法| 大发888投注网| 自己做生意怎样才能带来财运| 金钻国际娱乐城| 百家乐信誉博彩公司| 黄金城娱乐城| 百家乐娱乐城赌场| 百家乐官网赢率| 大发888新闻| 百家乐打法内容介绍| 日博| 百家乐tt娱乐场| 百家乐官网赌钱| 亿酷棋牌世界官方下载| 网上百家乐骗人| 百家乐官网园小区户型图| KK百家乐娱乐城 | 保单百家乐路单| 百家乐官网软件l柳州| 大发888最新网址| 百家乐21点游戏| 威尼斯人娱乐城优惠条件| 金道百家乐游戏| 百家乐官网桌颜色可定制| 威尼斯人娱乐城最新地址| 百家乐双倍派彩的娱乐城| 百家乐官网赌博娱乐城| 皇冠足球投注网| 百家乐号游戏机| 百家乐视频百家乐| 百家乐官网赌场| 大发888娱乐城大奖|