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

|
東南大學
東南大學 教育部
  • 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娱乐城欢迎lm0| 百家乐官网荷官培训| 澳门百家乐官网网站| 百家乐官网平客户端| 法老王娱乐城| 百家乐游戏唯一官网站| 百家乐官网视频游戏金币| 全讯网777| 百家乐官网l23| 龙都棋牌下载| 太阳城百家乐注册平台| 百家乐官网规则博彩正网| 威尼斯人娱乐场官网326369| 百家乐和的几率| 百家乐玩法的秘诀| 玩百家乐官网保时捷娱乐城| 尊龙国际网上娱乐| 永凡棋牌游戏| 新大发888娱乐城| 百家乐连锁| 广州百家乐牌具公司| 百家乐官网投注心得和技巧| 德州扑克入门| 澳门百家乐经| 南京百家乐赌博现场被抓| 天猫百家乐官网娱乐城|