葡京娱乐场-富盈娱乐场开户

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

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

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

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

取消
濮阳市| 百家乐网站那个诚信好| 卡卡湾网上娱乐| 网上百家乐官网追杀| 大发888怎么下载安装| 南召县| 新加坡百家乐官网赌法| 百家乐视频下载地址| 真人百家乐国际第一品牌| 济州岛娱乐场cns| 闲和庄百家乐官网娱乐网| 新百家乐庄闲路单图记录| 大发888在线娱乐| 百家乐官网扑克多少张| 澳门百家乐介绍| 金莎娱乐| 真人百家乐攻略| 百家乐官网明灯| 全讯网百家乐的玩法技巧和规则| 大发888官方网| 赌博百家乐官网作弊法| 百家乐投注杀手| 广平县| 百家乐下对子的概率| 百家乐官网真钱路怎么看| ea百家乐打水| 澳门百家乐官网洗码提成查询| 环球百家乐的玩法技巧和规则| e世博百家乐官网娱乐场| 百家乐国际娱乐城| 瑞丰娱乐场| 澳门百家乐官网玩| 百家乐网上真钱娱乐平台| 百家乐官网补牌规制| 大发888在线娱乐城21点| 怎么玩百家乐官网的玩法技巧和规则 | 玩百家乐官网出千方法| 百家乐透视牌靴| 博彩论坛18good| 真钱百家乐哪里最好| 百家乐官网娱乐城代理|