首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

互斥逻辑的验证方法、装置、设备及存储介质 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:中国第一汽车股份有限公司

摘要:本发明实施例公开了一种互斥逻辑的验证方法、装置、设备及存储介质。包括:配置设备功能所需的多个逻辑参数;根据所述逻辑参数配置设备功能对应的第一逻辑关系;所述第一逻辑关系用于表征所述设备功能可实现的条件,包括至少一个逻辑参数及所述至少一个逻辑参数的取值;根据所述多个逻辑参数对所述第一逻辑关系进行验证,获得验证结果;根据验证结果确定互斥逻辑关系。本实施例提供的互斥逻辑的验证方法,根据多个逻辑参数对配置的第一逻辑关系的验证结果确定互斥逻辑关系,以实现对设备功能互斥逻辑的验证,可以提高互斥逻辑验证的效率,降低人力成本及时间成本。

主权项:1.一种互斥逻辑的验证方法,其特征在于,包括:配置设备功能所需的多个逻辑参数;根据所述逻辑参数配置设备功能对应的第一逻辑关系;所述第一逻辑关系用于表征所述设备功能可实现的条件,包括至少一个逻辑参数及所述至少一个逻辑参数的取值;根据所述多个逻辑参数对所述第一逻辑关系进行验证,获得验证结果;根据验证结果确定互斥逻辑关系;所述逻辑参数包括参数信息及参数的取值范围;根据所述多个逻辑参数对所述第一逻辑关系进行验证,获得验证结果,包括:根据所述参数的取值范围对所述多个逻辑参数进行排列组合,形成多个第二逻辑关系;根据所述第二逻辑关系对所述第一逻辑关系进行验证,获得验证结果;所述根据所述第二逻辑关系对所述第一逻辑关系进行验证,获得验证结果,包括:将每个第二逻辑参数依次输入每个要验证互斥的所述第一逻辑关系中,进行逻辑验证,以获得验证结果。

全文数据:

权利要求:

百度查询: 中国第一汽车股份有限公司 互斥逻辑的验证方法、装置、设备及存储介质

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。