太阳城集团亚洲娱乐城-澳门太阳城集团娱乐城最新地址_百家乐电影网_全讯网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屬性進行驗證。
項目階段:
未應用
會員登錄可查看 合作方式、專利情況及聯系方式

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

取消
威尼斯人娱乐城首存优惠| 百家乐官网视频多开器| 金球国际娱乐城| 百家乐游戏什么时间容易出| 百家乐d博彩论坛| 百家乐官网出千手法| 百家乐官网定位膽技巧| 网上百家乐官网哪里| 百家乐网络公式| 网上百家乐官网优博| 百家乐投注| 喜力百家乐的玩法技巧和规则| 百家乐官网打揽法| 百家乐官网投注很好| 总统娱乐城能赢钱吗| 大发888 娱乐| 云博投注| 浩博真人娱乐| 爱赢娱乐| 博彩投注网| 香港六合彩网址| 云鼎娱乐城优惠活动| 楚雄市| 百家乐怎么下可以赢| 百家乐比较好的网站| 百家乐最新的投注方法| 金银岛百家乐的玩法技巧和规则 | 至尊百家| 百家乐官网注码调整| 现金百家乐官网赌法| 百家乐官网管理启发书| 大发888下载 34| 博彩娱乐| 百家乐官网打连技巧| 豪杰百家乐游戏| 24山亥山巳向造葬日课| 百家乐庄闲的比例| 太子百家乐娱乐城| 金钱豹娱乐| 明升m88娱乐城| 百家乐试玩|