龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：华侨大学;同济大学
摘要：本发明公开一种列车自主运行系统的资源分配协议建模方法及相关装置，涉及轨道交通技术领域，方法包括以下步骤：根据列车自主运行系统的通信过程，确定协议目标；根据协议目标设计资源分配协议并绘制协议时序图；根据协议时序图，基于Event‑B算法对资源分配协议进行建模，得到资源分配协议模型；将协议目标转化为目标不变式规则，加入到资源分配协议模型中，得到综合资源分配协议模型；基于离散数学知识，证明综合资源分配协议模型中的各不变式规则成立时，将资源分配协议作为目标资源分配协议。本发明采用基于数学原理和形式规约的Event‑B建模语言，提供高度精确和严谨的分析，可有效地对轨道交通资源分配协议进行了建模以及验证。
主权项：1.一种列车自主运行系统的资源分配协议建模方法，其特征在于，包括：根据列车自主运行系统的通信过程，确定协议目标；根据所述协议目标，设计资源分配协议并绘制协议时序图；根据所述协议时序图，基于Event-B算法对所述资源分配协议进行形式化协议建模，得到资源分配协议模型；所述资源分配协议模型包括列车集合、区段资源集合、运营任务集合、列车状态集合以及若干个不变式规则；将所述协议目标转化为目标不变式规则，加入到所述资源分配协议模型中，得到综合资源分配协议模型；基于离散数学知识，使用形式化协议模型验证平台判断所述综合资源分配协议模型中的各不变式规则是否成立，得到第一判断结果；若所述第一判断结果为是，则将所述资源分配协议作为目标资源分配协议；若所述第一判断结果为否，则跳转至步骤：根据列车自主运行系统的通信过程，确定协议目标。
全文数据：
权利要求：
百度查询： 华侨大学 同济大学 列车自主运行系统的资源分配协议建模方法及相关装置
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号