龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
申请/专利权人：苏州元脑智能科技有限公司
申请日：2024-03-29
公开（公告）日：2024-05-03
公开（公告）号：CN117971358A
主分类号：G06F9/448
分类号：G06F9/448;G06F16/903;G06N7/01;G06F40/216;G06F18/22
优先权：
专利状态码：在审-实质审查的生效
法律状态：2024.05.21#实质审查的生效;2024.05.03#公开
摘要：本发明涉及计算机技术领域，提供一种有限状态自动机验证方法及装置，该方法包括：基于符合待验证的正则表达式的多个字符串，生成正则表达式对应的索引数据集；对每个字符串，以任一字符为中心字符，预设滑动窗口大小内的字符为背景字符，生成中心字符索引列表和每个中心字符对应的背景字符索引列表；构建以背景字符生成中心字符的概率图模型，采用符合正则表达式的多个字符串中字符索引为样本，对概率图模型进行训练，得到字符作为中心字符时的向量参数，通过有限状态自动机中连接到同一状态的两字符的第一向量的第一相似度来验证有限状态自动机的准确性和合理性，从而实现了自动且高效率地验证自动生成的自动机的准确性或合理性的目的。
主权项：1.一种有限状态自动机验证方法，其特征在于，包括：基于符合待验证的正则表达式的多个字符串，生成所述正则表达式对应的索引数据集，所述索引数据集包含多个所述字符串中字符的索引，所述待验证的正则表达式中的相同字符对应相同的索引；对每个所述字符串，以任一字符为中心字符，预设滑动窗口大小内的字符为背景字符，生成中心字符索引列表和每个中心字符对应的背景字符索引列表；构建以所述背景字符生成中心字符的概率图模型，所述概率图模型的参数包括：以所述任一字符作为中心字符的第一向量及作为背景字符的第二向量；基于中心字符索引列表中字符的第一向量和背景字符索引列表中字符的第二向量为参数训练所述概率图模型，更新所述第一向量和第二向量，在所述概率图模型的损失函数收敛时，得到所述第一向量和第二向量；对每个字符串，计算所述待验证的正则表达式生成的有限状态自动机中，连接到同一状态的两字符的第一向量的第一相似度，在所述第一相似度大于第一预设相似度阈值的情况下，确定所述有限状态自动机达到第一合格等级。
全文数据：
权利要求：
百度查询： 苏州元脑智能科技有限公司 有限状态自动机验证方法及装置
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号