葡京娱乐场-富盈娱乐场开户_百家乐试玩_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屬性進行驗證。
項目階段:
未應用
會員登錄可查看 合作方式、專利情況及聯系方式

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

取消
百家乐桌小| 百家乐论坛在线提供| 重庆百家乐的玩法技巧和规则 | 最新百家乐官网电脑游戏机| 百家乐平注资讯| 在线玩百家乐官网的玩法技巧和规则 | 大发888 dafa888 gzsums| 蓝盾百家乐官网具体玩法技巧| 大发888是什么软件| 大发888充值网站| 蓝盾百家乐具体玩法| 百家乐打印程序| 百家乐官网网上真钱麻将 | 青川县| 大发888真钱游戏娱乐城下载| 网络百家乐游戏机怎么破解| 波浪百家乐官网游戏中| 宝马会百家乐官网现金网| 赌博启示录| 大发888 大发国际| 威尼斯人娱乐城图片| 百家乐赢赌场百家乐| 金臂百家乐注册送彩金| 网站百家乐官网博彩| 金湖县| 仪陇县| 太阳城百家乐官网试玩优惠| 上林县| 现金棋牌游戏平台 | 太阳城百家乐官网群| 大发888棋牌游戏| 线上百家乐怎么玩| 免费百家乐过滤| 淘金盈开户| 网上在线赌场| 百家乐官网开户百家乐官网技巧| 单机百家乐官网的玩法技巧和规则| 香港百家乐官网赌城| 蓝盾百家乐官网具体玩法技巧| 网络百家乐路单图| 布加迪百家乐的玩法技巧和规则|