太阳城集团亚洲娱乐城-澳门太阳城集团娱乐城最新地址_百家乐电影网_全讯网xb112 (中国)·官方网站

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

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

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

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

取消
遂川县| G3百家乐的玩法技巧和规则| 百家乐秘诀| 百家乐打法介绍| 澳门百家乐搏牌规则| 上海百家乐官网的玩法技巧和规则| 至尊百家乐官网20130301| 澳门百家乐官网玩法心得技巧 | 百家乐视频游戏道具| 老人头百家乐的玩法技巧和规则| 百家乐专业赌| 富二代百家乐官网的玩法技巧和规则 | 百家乐官网视频软件| 三公百家乐在哪里可以玩| 泰顺县| 百家乐长龙怎么预判| 豪门娱乐| 百家乐鸿泰棋牌| 云顶国际娱乐网| 百家乐官网博彩通博彩网皇冠网澳门赌场真人赌博 | 线上百家乐网站| 百家乐官网全程打庄| 太阳百家乐开户| 百家乐官网筹码多少钱| 大发888客户端官方下载| 梁河县| 玩百家乐官网有几种公式| 百家乐庄闲分布概率| 新奥博娱乐城体育投注| 缅甸百家乐官网赌| 明升娱乐| 百家乐暗红色桌布| 百家乐官网信誉好的平台| 百家乐多少点数算赢| 百家乐官网傻瓜式投注法| 东方太阳城三期琴湖湾| 百家乐官网投注心得| 百家乐奥| 百家乐官网最低压多少| 利高在线娱乐城| 百家乐官网发牌靴8|