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

|
東南大學
東南大學 教育部
  • 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屬性進行驗證。
項目階段:
未應用
會員登錄可查看 合作方式、專利情況及聯系方式

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

取消
百家乐官网娱乐场开户注册| 百家乐微笑心法搜索| 信誉好百家乐官网平台| 百家乐有作弊的吗| 百家乐官网怎样看点| 太阳神百家乐的玩法技巧和规则| 百家乐官网路单显示程序| 顶级赌场官方下载| 澳门百家乐是骗人的| 百家乐官网娱乐城主页| 百家乐专用桌子| 中国百家乐官网澳门真人娱乐平台网址 | 立博博彩| 百家乐网站建设| 百家乐官网suncity| 巴彦淖尔市| 亚洲顶级赌场手机版| 网上百家乐平台下载| 百家乐官网大小技巧| 娱乐城免费送彩金| 百家乐筹码14克粘土| 百家乐巴厘岛娱乐城| 百家乐官网tt娱乐平台| 鞍山市| 大发888m磨卡游戏| 百家乐跟路技巧| 百家乐赢法口诀| 棋牌百家乐官网怎么玩| 老虎机价格| 巴西百家乐的玩法技巧和规则| 网上百家乐骗人的| E世博百家乐官网的玩法技巧和规则 | 在线百家乐官网合作| 洪泽县| 大发888怎么注册账号| 新世百家乐的玩法技巧和规则 | 百家乐娱乐网77scs| 百家乐有看牌器吗| 网络百家乐官网投注| 梧州市| 土默特左旗|