太阳城集团亚洲娱乐城-澳门太阳城集团娱乐城最新地址_百家乐电影网_全讯网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山向哪些不能兼| 基础百家乐规则| 百家乐tt娱乐| 破解百家乐官网游戏机| 百家乐官网去澳门| 澳门玩大小| 鹤乡棋牌乐| 全讯网vc8888.com| 全讯网网址| 91百家乐的玩法技巧和规则| 百家乐图淑何看| 百家乐游戏平台架设| 百家乐庄闲几率| 百家乐官网代理合作| 百家乐游戏研发| 百家乐的视频百家乐| 百家乐赌场论坛在线| 百家乐论坛博彩啦| 迪士尼百家乐的玩法技巧和规则 | 太阳城百家乐官网外挂| 网上赌博网站| 555棋牌游戏| 德州扑克书| 波克棋牌赢话费下载| 博盈开户| 大发百家乐官网游戏| 大发888怎么玩才赢| 最新六合彩开奖结果| 南溪县| 百家乐官网下对子的概率| 百家乐官网赚钱项目| 长岛县| 宝博百家乐官网娱乐城| 澳门百家乐官网大家乐眼| 德晋百家乐官网的玩法技巧和规则| 香港百家乐官网玩| 百家乐棋牌公式| 百家乐打揽法| bet365指数| 免费百家乐官网在线| 百家百家乐官网官网网站|