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

龙图腾网获悉卡斯柯信号有限公司申请的专利一种基于分治法的联锁形式化安全数据生成方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115048410B 。

龙图腾网通过国家知识产权局官网在2025-07-29发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210805878.7，技术领域涉及：G06F16/2453；该发明授权一种基于分治法的联锁形式化安全数据生成方法是由张程;杨帆;杨平;张铭瑶;王燕芩设计研发完成，并于2022-07-08向国家知识产权局提交的专利申请。

本一种基于分治法的联锁形式化安全数据生成方法在说明书摘要公布了：本发明公开了一种基于分治法的联锁形式化安全数据生成方法，对布尔表达式等号左侧的变量进行分类存储，并使用分治法在布尔表达式右侧的变量中进行搜索查找，从而生成输入变量，该方法使变量的搜索查询能够大大减少时间，提高了搜索效率。

本发明授权一种基于分治法的联锁形式化安全数据生成方法在权利要求书中公布了：1.一种基于分治法的联锁形式化安全数据生成方法，其特征在于，包括以下步骤： S1、初始化读取VTL文件中的所有布尔表达式，获得布尔表达式等号左侧的所有变量，存储到左侧变量集合中；获得布尔表达式等号右侧的所有变量，存储到右侧变量集合中；获得所有的完整的布尔表达式，存储到布尔表达式集合中； S2、使用分治法在所述左侧变量集合和右侧变量集合中搜索生成输入变量集合； S3、遍历所述布尔表达式集合，生成定时器变量集合； S4、遍历所述布尔表达式集合，替换运算符号，生成布尔等式集合； S5、将左侧变量集合和右侧变量集合合并，去除重复，生成所有参数变量集合； S6、按照输入变量、定时器变量、布尔等式、所有参数变量的顺序，将所述输入变量集合、定时器变量集合、布尔等式集合和所有参数变量集合中的输入变量、定时器变量、布尔等式和所有参数变量依次输出并保存到seif文件中，生成联锁形式化安全数据； 其中，所述步骤S2进一步地包含以下步骤： S21、遍历所述左侧变量集合，将左侧变量集合中的变量分类存储到键值对集合中； S22、遍历所述右侧变量集合，使用分治法在所述键值对集合中搜索，生成输入变量集合； 其中，所述步骤S21进一步地包含以下步骤： S211、初始化创建一个分类存储左侧变量的键值对集合，所述键值对的键为字符串，值为左侧变量； S212、设定一个集合大小控制值； S213、遍历所述左侧变量集合，对于每一个左侧变量LeftVar，依次截取其前一个字符、前两个字符……前n个字符作为第一截取字符串，其中n不大于所述变量LeftVar的字符长度；根据不同长度的第一截取字符串，将左侧变量集合中的变量分类存储到以不同第一截取字符串作为键的变量集合中； S214、遍历左侧变量集合，对左侧变量集合中的每个变量执行S213，从而将所有左侧变量添加至以第一截取字符串为键的变量集合中，生成最终的键值对集合； 其中，所述步骤S22进一步包含以下步骤： S221、遍历右侧变量集合，依次获得右侧变量集合中的右侧变量； S222、对于每一个右侧变量rightVar，依次截取其前一个字符、前两个字符……前n’个字符作为第二截取字符串，其中n’不大于所述变量rightVar的字符长度；根据不同长度的第二截取字符串是否是键值对集合的键，确定变量rightVar是否为输入变量； S223、遍历右侧变量集合，对右侧变量集合中的每个变量执行S222，依次判断其是否为输入变量，将所有输入变量存入输入变量集合中。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人卡斯柯信号有限公司，其通讯地址为：200070 上海市静安区天目中路428号凯旋门大厦27层C/D座；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。