新葡京娱乐场-大陆娱乐场开户注册

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

基于HybridUML向微分代數程序轉換的CPS建模與驗證方法

2021-04-10 00:00:00
云上高博會 http://www.g2h0uzv.xyz
點擊收藏
所屬領域:
電子信息
項目成果/簡介:
本發明提出了一種基于HybridUML向微分代數程序轉換的CPS建模與驗證方法，實現了由HybridUML模型向DAP的轉換，并依據微分代數動態邏輯(Differential-AlgebraicDynamicLogic，DAL)推理規則對CPS實例進行驗證。該方法使用HybridUML對CPS進行建模，將其轉換成DAL的操作模型DAP，并且基于DAL對CPS屬性進行驗證。
項目階段:
未應用
會員登錄可查看 合作方式、專利情況及聯系方式

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

取消
华侨人百家乐官网的玩法技巧和规则| 希尔顿百家乐官网娱乐城| 百家乐官网投注平台信誉排名 | 王牌百家乐的玩法技巧和规则| 半圆百家乐官网桌布| 太阳城百家乐口诀| 大家赢娱乐城| 荷规则百家乐的玩法技巧和规则 | 太阳城巧克力社区| 百家乐官网网上技巧| 威尼斯人娱乐城线上博彩| 如何胜百家乐官网的玩法技巧和规则 | 百家乐官网五湖四海娱乐场| 巩留县| 百家乐稳赢赌法| 百家乐官网蓝盾假网| 百家乐路单统| 百家乐官网反缆公式| 东港市| 爱拼国际娱乐| 威尼斯人娱乐平台反| 怎么玩百家乐网上赌博| 百家乐官网槛| 新民市| 百家乐园百乐彩| 百家乐赌场娱乐网规则| 温州百家乐真人网| 赤水市| 大发888在线娱乐城合作伙伴 | 大发888我爱好| 百家乐官网庄不连的概率| 金银岛娱乐城开户| 百家乐投注办法| 百家乐官网桌布9人| 百家乐官网中P代表| 金狮娱乐| 百家乐技巧开户| 百家乐连锁| 赌博百家乐趋势把握| 网上百家乐作弊下载| 百家乐官网网站制作|