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

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

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

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

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

取消
最好的百家乐官网博彩公司| 赙彩百家乐游戏规则| 万通国际娱乐| 百家乐楼梯缆大全| 百家乐官网游戏新| 百家乐官网赌博论坛博客| 张家川| 舟山星空棋牌官网| 狮威百家乐娱乐城| 百家乐百博亚洲| 百家乐小型抽水泵| 晋中市| 百家乐5式直缆打法| 明升m88娱乐城| 百家乐扎金花现金| 百家乐注码法| 迪威百家乐娱乐平台| 免费百家乐计划软件| 大发888娱乐城客服| 大发888真钱游戏下载官网| 嘉年华百家乐的玩法技巧和规则| 八运24山阴阳| 百家乐官网赌场代理| 新全讯网768866| 大发888手机下载| 大发麻将| 百家乐官网真人投注网站| 百家乐官网冯氏坐庄法| 皇冠网上69691| 千阳县| 黄梅县| 百家乐官网套装| 百家乐视频表演| 百家乐官网直揽经验| 百家乐官网打印机分析| 百家乐官网技巧娱乐博彩| 真人百家乐官网888| 波密县| 机器百家乐官网作弊| 百家乐投注组合| 威尼斯人娱乐城图片|