太阳城集团亚洲娱乐城-澳门太阳城集团娱乐城最新地址_百家乐电影网_全讯网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中進行推理驗證。
項目階段:
未應用
會員登錄可查看 合作方式、專利情況及聯系方式

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

取消
永善县| 华硕百家乐官网的玩法技巧和规则| 百家乐官网网上最好网站| 同心县| 太阳百家乐官网代理| LV百家乐赢钱LV| 六合彩生肖| 新澳门百家乐官网软件下载| 百家乐官网娱乐网77scs| 百家乐官网马宝| 新全讯网xb112| 新锦江百家乐官网赌场娱乐网规则 | 顶级赌场官方客户端下载| 模拟百家乐官网的玩法技巧和规则| 网上百家乐是假还是真的| 百家乐官网优惠现金| 百家乐正品地址| 百家乐官网试用软件| 黄金百家乐的玩法技巧和规则| 香港六合彩报码| 博彩百家乐官网最新优惠| 百家乐是怎样算牌| 最大的百家乐官网网站| 大发888易发| 百家乐投注平台导航网| 华宝娱乐城| 闲和庄百家乐赌场娱乐网规则 | 金沙百家乐现金网| 玩百家乐官网优博娱乐城| 百家乐赌场视频| 百家乐网站出售| 视频百家乐官网攻略| 百家乐软件代理| 百家乐官网出千桌| 哪个棋牌游戏平台好| 百家乐赌博玩法技巧| 新锦江百家乐官网娱乐场| 内黄县| 大发888游戏网站| 网上百家乐投注技巧| 百家乐官网筹码盒|