葡京娱乐场-富盈娱乐场开户

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

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

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

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

取消
网上百家乐哪家最好| bet365体育在线15| 合肥百家乐赌博游戏机| 粤港澳百家乐官网娱乐场| 百家乐官网的技术与心态| 风水罗盘24山| 真人百家乐技巧| 贵族百家乐官网的玩法技巧和规则| 萨嘎县| 百家乐博娱乐网赌百家乐的玩法技巧和规则 | 回力百家乐官网的玩法技巧和规则| 威尼斯人娱乐城信誉好吗| 威尼斯人娱乐代理注册| 做生意必须看风水吗| 百家乐分析博彩正网| 沙巴百家乐现金网| 博彩网百家乐全讯网| 铂金娱乐| 大发888娱乐| 博九娱乐网| 百家乐官网是否有规律| 百家乐官网电子路单下载| 真人百家乐官网游戏网| 百家乐群sun811| 大发888娱乐场下载客户端| 冠赌球网| 百家乐庄闲统计数| 百家乐官网怎么看大小| 百家乐官网小游戏单机版| 百家乐足球投注网哪个平台网址测速最好| 百家乐官网娱乐平台网| 真人百家乐试玩账号| 威尼斯人娱乐平台网上百家乐| 德州扑克怎么发牌| 百家乐国际赌场娱乐网规则| 百家乐官网一起多少张牌| 威尼斯人娱乐城 线路畅通中心 | 大发888娱乐游戏外挂| 太阳城77scs| 菲律宾百家乐开户| 免费百家乐官网预测软件|