龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：新誉轨道交通科技有限公司
摘要：本申请公开了一种城市轨道交通联锁系统检测方法、系统、设备及介质，确定目标城市轨道交通联锁系统的各个功能模块，并作为第一类功能模块；以布尔型变量定义各个第一类功能模块的状态空间变量；确定目标城市轨道交通联锁系统连接的外部系统接口模块的各个功能模块，并作为第二类功能模块；基于功能相关性，确定第一类功能模块、状态空间变量及第二类功能模块间的对应关系；基于对应关系对目标城市轨道交通联锁系统进行检测。本申请减少了状态空间变量的数量；且基于对应关系对目标城市轨道交通联锁系统进行检测的话，可以只调整功能相关的第一类功能模块和第二类功能模块的相应状态空间变量，可以避免状态空间爆炸，提高检测效率。
主权项：1.一种城市轨道交通联锁系统检测方法，其特征在于，包括：确定目标城市轨道交通联锁系统的各个功能模块，并作为第一类功能模块；以布尔型变量定义各个所述第一类功能模块的状态空间变量；确定所述目标城市轨道交通联锁系统连接的外部系统接口模块的各个功能模块，并作为第二类功能模块；基于功能相关性，确定所述第一类功能模块、所述状态空间变量及所述第二类功能模块间的对应关系；基于所述对应关系对所述目标城市轨道交通联锁系统进行检测；其中，所述以布尔型变量定义各个所述第一类功能模块的状态空间变量，包括：以所述布尔型变量定义各个所述第一类功能模块的外部模块接口变量、内部模块接口变量、模块内部逻辑变量；所述基于功能相关性，确定所述第一类功能模块、所述状态空间变量及所述第二类功能模块间的对应关系，包括：基于安全性需求及线性时态逻辑描述各所述第一类功能模块的系统功能需求，得到目标线性时态逻辑；确定各所述目标线性时态逻辑与所述第一类功能模块、所述第二类功能模块间的关联关系；基于所述关联关系及所述状态空间变量确定所述对应关系；所述基于所述对应关系对所述目标城市轨道交通联锁系统进行检测，包括：确定所述第二类功能模块的变量关系和变量限制；按照生命周期将所述第一类功能模块划分为各个状态集；确定所述状态集间的转换条件；基于所述变量关系、所述变量限制、所述转换条件及所述对应关系对所述目标城市轨道交通联锁系统进行检测。
全文数据：
权利要求：
百度查询： 新誉轨道交通科技有限公司 一种城市轨道交通联锁系统检测方法、系统、设备及介质
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号