新葡京娱乐场-大陆娱乐场开户注册

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

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

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

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

取消
三国百家乐官网娱乐城| 百家乐官网手机游戏下载| 潘多拉百家乐的玩法技巧和规则 | 百家乐包台| 网上真钱娱乐平台| 扑克王百家乐官网的玩法技巧和规则 | 星级百家乐官网技巧| 太阳城绿萱园| 芦溪县| 百家乐补第三张牌规则| 百家乐官网浴盆博彩通排名| 香港百家乐六合彩| 百家乐官网投注庄闲法| 威尼斯人娱乐平台反水| 百家乐官网庄闲点| 大发88817| 百家乐全讯网娱乐城| 百家乐官网分路单析器| 百家乐网络娱乐场开户注册| 现场百家乐官网牌路分析| 亿酷棋牌世界官方下载| 博九网百家乐游戏| 永利高百家乐官网信誉| 大发888游戏是真的么| 百家乐策略与心得| 百家乐官网双层筹码盘| 太阳城娱乐城官网| 高级百家乐出千工具| 百汇娱乐| 百家乐官网| 风水97年农历6月24八字| 百家乐官网网站那个好| 老虎机下载| 做生意门朝山| 百家乐官网赢的技巧| 玩百家乐输澳门百家乐现场| 成人百家乐官网的玩法技巧和规则| 阜阳市| 大发888娱乐城账号| 百家乐制胜绝招| KK百家乐现金网|