葡京娱乐场-富盈娱乐场开户_百家乐试玩_sz全讯网网址xb112 (中国)·官方网站

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

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

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

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

取消
德州扑克大赛视频| 太阳城百家乐官网赌博害人| 总统国际娱乐城| 大发888投注明升网址| 狮威百家乐娱乐平台| 至尊百家乐官网网| 百家乐官网五星宏辉怎么玩| 百家乐官网5式直缆投注法| 汉阴县| 全讯网a3322.com| 网上赌百家乐有假| 百家乐高级技巧| 曼哈顿百家乐娱乐城| 百家乐娱乐平台网77scs| 在线百家乐电脑| 百家乐精神| 澳门百家乐路单怎么看| 百家乐输了100万| 恒丰百家乐官网的玩法技巧和规则| 在线百家乐官网下| 川宜百家乐分析软件| 百家乐實戰後二穩賺| 真人百家乐网络游戏信誉怎么样 | 大发娱乐场下载| 德州扑克计算器| 瑞丰国际娱乐场| 百家乐官网庄闲规则| 赌博百家乐官网作弊法| 百家乐官网棋牌正式版| 新葡京百家乐现金网| 百家乐baccarat| 百家乐b28博你| 大发888老虎机手机版| 肯博88国际| 澳门赌百家乐官网能赢钱吗 | 百家乐的出牌技巧| 余杭棋牌世界| 大洼县| 高平市| 网上百家乐官网赌法| 有钱人百家乐官网的玩法技巧和规则 |