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

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

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

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

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

取消
太阳城百家乐官网口诀| 狮威百家乐娱乐网| 六合彩结果| 百家乐官网说明| 百家乐官网投注综合分析法| 百家乐游戏真人游戏| 百家乐几点不用补牌| 电玩百家乐官网游戏机路单| 百家乐算点子打法攻略| 沂水县| 做生意门朝东好吗| 天空娱乐城| 线上百家乐| 澳门百家乐官网游戏说明书 | 好运来百家乐现金网| 大发888创建账号翻译| 五莲县| 七匹狼百家乐的玩法技巧和规则| 百家乐官网赌博导航| 百家乐游戏筹码| 博之道百家乐官网技巧| 盈丰娱乐城| 百家乐大赌场娱乐网规则| 鄂伦春自治旗| 累积式百家乐的玩法技巧和规则| 百家乐官网视频二人雀神| 百家乐两边| 罗马百家乐官网的玩法技巧和规则 | 基础百家乐的玩法技巧和规则| 百家乐官网任你博娱乐场| 百家乐平台送彩金| 百家乐官网的珠盘| 百家乐官网接线玩法| 百家乐切入法| 破解百家乐官网视频游戏密码| 大发888娱乐城真人视讯服务| 百家乐官网图淑何看| 百加乐牌| A8百家乐娱乐平台| 百家乐开户送百元| 百家乐官网免费路单|