葡京娱乐场-富盈娱乐场开户_百家乐试玩_sz全讯网网址xb112 (中国)·官方网站
高等教育領域數字化綜合服務平臺
云上高博會服務平臺
高校科技成果轉化對接服務平臺
大學生創新創業服務平臺
登錄
|
注冊
|
搜索
搜 索
綜合
項目
產品
日期篩選:
一周內
一月內
一年內
不限
基于
HybridUML
向微分代數程序轉換的CPS建模與驗證方法
本發明提出了一種基于HybridUML向微分代數程序轉換的CPS建模與驗證方法,實現了由HybridUML模型向DAP的轉換,并依據微分代數動態邏輯(Differential-AlgebraicDynamicLogic,DAL)推理規則對CPS實例進行驗證。該方法使用HybridUML對CPS進行建模,將其轉換成DAL的操作模型DAP,并且基于DAL對CPS屬性進行驗證。
東南大學
2021-04-10
基于
HybridUML
和定理證明的CPS自適應性驗證方法
本發明提出一種基于HybridUML和定理證明的CPS自適應性驗證方法,本發明步驟包括:首先利用HybridUML視圖對CPS建模;然后將HybridUML規約轉換為定理證明器KeYmaera的輸入-量化混合程序QHP;結合生成的QHP,以量化微分動態邏輯QdL公式的形式對待驗證的屬性進行規約,然后利用KeYmaera進行自動驗證。
東南大學
2021-04-10
熱搜推薦:
1
云上高博會企業會員招募
2
63屆高博會于5月23日在長春舉辦
3
征集科技創新成果
娱乐城送体验金
|
百家乐是否能赢
|
太阳城百家乐官网如何看路
|
百家乐娱乐城注册
|
上海博彩生物
|
百家乐官网号技巧
|
大发888客服电话 在线
|
百家乐官网庄闲多少
|
百家乐永利娱乐场
|
百家乐官网最大的赌局
|
大发888手机下载
|
星际百家乐官网娱乐城
|
破解百家乐游戏机
|
百家乐官网园搏彩论坛
|
百家乐赌博技巧论坛
|
玩百家乐官网678娱乐城
|
百家乐赌场视频
|
网络百家乐官网证据
|
香港六合彩马报
|
百家乐输钱的原因
|
缅甸百家乐官网龙虎斗
|
大发888客户端官方下载
|
大发888通宝
|
南宁百家乐官网赌
|
bet365注册找谁
|
视频百家乐赢钱
|
网上百家乐官网赌博网
|
喜达国际
|
网上百家乐娱乐网
|
百家乐官网拍是什么
|
百家乐庄牌闲牌
|
永利高百家乐现金网
|
KK百家乐娱乐城
|
大发888开户注册首选
|
永利高百家乐怎样开户
|
百家乐官网怎么玩能赢钱
|
大发888 客服
|
真人游戏网
|
网上百家乐哪家较安全
|
百家乐官网和怎么算输赢
|
百家乐官网送1000
|