葡京娱乐场-富盈娱乐场开户_百家乐试玩_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
征集科技創新成果
做生意店铺缺西北角
|
风水24山向哪些不能兼
|
百家乐官网真人视屏游戏
|
百家乐账号变动原因
|
晓游棋牌官方下载
|
玩百家乐官网技巧巧
|
百家乐真人赌场娱乐网规则
|
百家乐官网代理在线游戏可信吗网上哪家平台信誉好安全
|
元游棋牌游戏大厅
|
利来百家乐官网的玩法技巧和规则
|
太阳城百家乐娱乐官方网
|
公安县
|
百家乐必胜法技巧
|
百家乐官网api
|
赌球心得
|
百家乐必赢
|
百家乐官网suncity
|
bet365最新地址
|
百家乐职业赌徒的解密
|
蓝盾百家乐官网具体玩法
|
最新皇冠网止
|
百家乐1个人
|
上市百家乐官网.评论
|
白凤凰博彩通
|
大发888游戏平台hgx2dafa888gw
|
百家乐官网sxcbd
|
澳门娱乐在线
|
狮威百家乐娱乐城
|
苹果百家乐官网的玩法技巧和规则
|
临颍县
|
大发888娱乐场and
|
百家乐游戏模拟
|
免费百家乐官网倍投软件
|
百家乐官网现金投注信誉平台
|
金都娱乐城
|
现金百家乐信誉
|
赌百家乐官网2号破解
|
鄄城县
|
线上娱乐场
|
永盈会娱乐场官网
|
全景网百家乐的玩法技巧和规则
|