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

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

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

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

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

取消
澳门百家乐官网公试打法| 国际百家乐官网规则| 威尼斯人娱乐城打造| 百家乐官网高人玩法| 大发888提款怎么提| 24山双山五行的用法| 澳门百家乐官网庄闲和| 同乐城备用| 鹤庆县| 大发888真人娱乐场游戏| 百家乐官网里靴是什么意识| 百家乐官网赌经| 大发888在线娱乐下载| 至富百家乐的玩法技巧和规则| 南宁百家乐官网赌机| 沙龙国际娱乐网站| 顶级赌场官网下载| 篮球比分直播| 天津水果机定位器| 东方太阳城招聘| 大发888真钱游戏官方网站| 亚洲顶级赌场手机版| 大发888网站打不开| 波音赌场| 棋牌游戏平台排名| 网上百家乐赌博经历| 大发888娱乐场下载ypu rd| 利都百家乐国际娱乐| 网络百家乐路单图| 百家乐官网怎么稳赢| 丰原市| 亿酷棋牌官方下载| 温州市| 足球博彩| 湖南省| 优博网址| 塑料百家乐官网筹码| 百家乐出千原理| 永利博百家乐的玩法技巧和规则 | 百家乐官网娱乐城博彩通博彩网| 赌百家乐澳门|