【技术实现步骤摘要】
本专利技术涉及计算机，尤其涉及一种有限状态自动机验证方法及装置。
技术介绍
1、现场可编程门阵列（field programmable gate array，fpga）是一种硬件芯片，以其独特的多次重新编程能力而闻名，一旦编程，其表现出类似于专用集成电路（asic）的性能及行为。现有相关技术中，这些芯片使用verilog或vhdl等硬件描述语言进行编程，然而，最近的技术进步可以引入了高级语言和合成工具，有助于将c/c++或opencl代码翻译成逻辑门，从而实现采用高级程序语言对fpga编程。由于fpga上的片上静态随机存取存储器（通常称为块ram或bram）的容量有限，通常只有几兆字节大小，独立板（被设计为独立运行的电路板，具体是指完全配备一个或多个 fpga以及必要的硬件组件的印刷电路板pcb，以使fpga正常运行，而无需来自其它板或系统的额外处理或计算资源）经常被用作流处理的“线中凸块（bump in the wire）”加速器，这种策略有助于避免对大量数据或计算状态存储的需要。然而，当代fpga板通常集成有几gb范围内的ddr存储...
【技术保护点】
1.一种有限状态自动机验证方法，其特征在于，包括：
2.根据权利要求1所述的有限状态自动机验证方法，其特征在于，基于符合待验证的正则表达式的多个字符串，生成所述正则表达式对应的索引数据集，包括：
3.根据权利要求2所述的有限状态自动机验证方法，其特征在于，对每个所述字符串进行字符分割，生成包括所述字符串对应的字符列表的字符数据集，包括：
4.根据权利要求1所述的有限状态自动机验证方法，其特征在于，在对每个所述字符串，以任一字符为中心字符，预设滑动窗口大小内的字符为背景字符，生成中心字符索引列表和每个中心字符对应的背景字符索引列表之前
<...【技术特征摘要】
1.一种有限状态自动机验证方法，其特征在于，包括：
2.根据权利要求1所述的有限状态自动机验证方法，其特征在于，基于符合待验证的正则表达式的多个字符串，生成所述正则表达式对应的索引数据集，包括：
3.根据权利要求2所述的有限状态自动机验证方法，其特征在于，对每个所述字符串进行字符分割，生成包括所述字符串对应的字符列表的字符数据集，包括：
4.根据权利要求1所述的有限状态自动机验证方法，其特征在于，在对每个所述字符串，以任一字符为中心字符，预设滑动窗口大小内的字符为背景字符，生成中心字符索引列表和每个中心字符对应的背景字符索引列表之前，还包括：
5.根据权利要求4所述的有限状态自动机验证方法，其特征在于，统计所述索引数据集中的各索引的出现频次，按预设策略删除部分出现频次高于预设频次阈值的高频索引，以降低所述高频索引的频次，包括：
6.根据权利要求5所述的有限状态自动机验证方法，其特征在于，基于所述索引总数和当前索引的出现频次，确定当前索引的删除概率，在所述删除概率大于预设的随机概率的情况下，从所述索引数据集中删除所述当前索引，包括：满足如下公式的情况下，从所述索引数据集中删除所述当前索引:
7.根据权利要求6所述的有限状态自动机验证方法，其特征在于，所述a的取值为[1e-5, 1e-3]。
8.根据权利要求1所述的有限状态自动机验证方法，其特征在于，对每个所述字符串，以任一字符为中心字符，预设滑动窗口大小内的字符为背景字符，生成中心字符索引列表和每个中心字符对应的背景字符索引列表，包括：
9.根据权利要求8所述的有限状态自动机验证方法，其特征在于，对于任一中心字符，所述预设滑动窗口大小是通过随机函数在[1, max_window_size]范围内随机选择确定的，其中，max_window_size表示最大滑动窗口。
10.根据权利要求1所述的有限状态自动机验证方法，其特征在于，对于符合所述待验证的正则表达式的任一字符串，所述概率图模型为最大似然函数，...
【专利技术属性】
技术研发人员：童浩南，任智新，张闯，
申请(专利权)人：苏州元脑智能科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。