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

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

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

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

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

取消
赌场百家乐官网是如何| 百家乐官网去澳门| 大发888线上娱乐城百家乐| 曼哈顿百家乐官网的玩法技巧和规则 | 元游棋牌游戏大厅下载| 百家乐博娱乐网赌百家乐| 王子百家乐的玩法技巧和规则| 风水24山代表什么意思| 百家乐官网赌博详解| 临安市| 玩百家乐官网凤凰娱乐城| 百家乐官网西园二手房| 通榆县| 兴山县| 百家乐永利娱乐城| 百家乐永利娱乐网| 龙海市| 做生意风水 门对门| 手机百家乐的玩法技巧和规则| 百家乐买闲打法| 盈彩国际| 单双和百家乐游戏机厂家| 免费百家乐统计| 若尔盖县| 百家乐磁力录| 大发888娱乐城注册送筹码| 去澳门百家乐娱乐城| 百家乐官网视频交流| 波克棋牌游戏大厅下载| 易胜博百家乐官网下载| 网上百家乐官网是假还是真的| 百家乐视频二人雀神| 大发888英皇国际| 百家乐投注平台信誉排名| 顶级赌场 官方直营网| 百家乐官网微笑投注| 澳门百家乐赢钱秘诀| 天津水果机定位器| 百家乐视频二人麻将| 百家乐注码管理| 棋牌室经营|