本发明公开了一种基于有限状态机和时序预测的工控网络高交互蜜网方法，属于工控网络安全领域。解决现有工控蜜网协议交互模型缺乏真实工控网络通信状态转换时序特性建模以及过程数据仿真方法静态导致隐蔽性不足和诱捕能力有限的问题。本发明通过有限状态机模型精确建模工控设备通信行为，模拟周期性协议交互和状态转换；利用Transformer模型进行长周期时序预测，生成动态过程数据；应用动态平衡约束处理预测数据，确保符合物理规律；集成状态机模型和预测数据构建高交互蜜网系统。实现了蜜罐交互逼真度和欺骗能力的显著提升，增强数据真实性和连续性，形成多层次防御体系以有效诱捕攻击行为并收集攻击信息。
📄 2025118976810
📂 H04L9_40
👤 烟台大学
📅 2025-12-16
一种基于神经网络的交互机器人智能运动检测与控制方法，使用传统特征工程和分类器作为人眼部位初步定位，神经网络作为行为高效识别，引入有限状态机实现状态快速转换。阶段一提取Haar‑like特征并结合Adaboost级联分类器完成交互机器人人脸识别，脸部人眼识别，同时采用卷积神经网络进行人眼二次检测与筛选。阶段二，计算双眼光流图，使用CNN提取空域特征，LSTM提取时域特征，完成人眼行为识别。阶段三使用有限状态机FSM完成状态装换。该系统检测精度高，状态转换快速。
📄 201710211360X
📂 G05B13_02
👤 浙江工业大学
📅 2017-04-01
本发明请求保护一种基于分类计数器的确定有限状态机构造方法，属于互联网入侵检测领域。包括以下步骤：首先对正则表达式集合(规则集)中的每一个正则表达式按照构建DFA的复杂度进行分类，分为线性级复杂度类、乘法级复杂度类、平方级复杂度类和指数级复杂度类；然后为每一类复杂度的正则表达式生成特定的带计数器的DFA；最后合并DFA中含有相同输出激励的、非内部起始状态和内部终止状态的状态，生成最终的ODFA(覆盖的确定有限状态机，可以加快入侵检测系统对接收报文的检测速度，提高准确率，降低误报率，减少系统对内存资源的消耗。此构造方法具有很大的实际应用价值。
📄 2015103941745
📂 G06F21_55
👤 重庆邮电大学
📅 2015-07-07
本发明涉及一种基于EFSM模型的最小成本测试用例生成方法。本发明基于扩展性有限状态机和集合划分的理论，设计了迁移覆盖算法，得到了迁移序列集合；并对两条迁移序列不同位置给出抽象模型，根据抽象模型进行分析，然后设计了约简合并算法，得到了最小测试序列集。再由最小测试序列集进行转换，得到有效测试路径集合，在转换的过程中采用逆向思维找出初始状态到某一状态的最短路径；本发明满足迁移覆盖准则，能规避无效测试路径和组合爆炸问题，能保证代码的覆盖率，且集合中测试路径个数达到最小，保证了测试成本和测试效率的平衡；不仅仅局限于EFSM模型，对于其它可抽象成有向图的模型同样适用，且对解决大型复杂网络图效果尤其显著。
📄 2018110381722
📂 G06F11_36
👤 杭州电子科技大学
📅 2018-09-06
本发明公开了一种面向冗余结构的安全刹车控制系统的设计方法及装置，涉及安全性分析领域，包括：确定飞机的安全刹车控制系统的系统级事故和危险，明确各组件的功能需求；设计分层次的控制结构图，根据各组件的功能需求和控制结构图定义各组件的功能性契约；验证和测试功能性契约的正确性和一致性，若通过，则识别不安全控制行为和组件级的致因场景；将致因场景表示成安全性契约，并添加对应的组件中，与功能性契约构成理想模型定义的契约，验证和测试理想模型定义的契约的正确性和一致性；设计安全刹车控制系统中各组件的产品并将各组件的产品实现描述为有限状态机，验证是否满足理想模型定义的契约的约束，解决设计不统一、复杂性高的问题。
📄 2024100299214
📂 G05B9_03
👤 华侨大学
📅 2024-01-09
本发明公开了一种面向安全需求的轨道交通联锁系统一致性测试方法及装置，涉及软件测试领域，包括：采用STPA技术对轨道交通联锁系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性，并得到原子命题集；采用符号化有限状态机对轨道交通联锁系统进行建模，得到参考模型；计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到符号迹及其对应的具体迹；对参考模型进行改良，得到改良后的参考模型，将估值函数映射到原子命题集中，得到命题抽象；基于参考模型的符号迹和命题抽象生成测试用例，在改良后的参考模型上执行测试用例，直至测试用例满足精炼的软件安全要求，解决了轨道联通联锁系统的一致性测试无法面向其安全需求的问题。
📄 2024108864621
📂 G06F21_57
👤 华侨大学
📅 2024-07-03
本发明涉及计算机算法技术领域，尤其涉及一种基于拍卖算法数据融合算法中替换过程的协处理器，包括有协处理器，协处理器电路内部包含控制逻辑与计算单元，控制逻辑单元用于控制整个计算单元的数据流控制和与存储缓存的数据读写，计算单元负责计算由自定义指令中传来的一对数据、分别从两个存储缓存中读出的数值进行比较是否相同，并将比较结果发送给控制逻辑，运算步骤重复且有规律的算法，采用有限状态机实现相比于处理器实现省去了大量的时间，同时通过合理的设计，将每组数的两次取数和比较同步进行，在算法层面进行了优化，提升了一倍的效率。利用双口缓存的特点，达成外设与协处理器直接的交互方式，而不是通过ROCC接口访问片上存储。
📄 2022101615830
📂 G06F9_38
👤 电子科技大学长三角研究院(湖州)
📅 2022-02-22
本发明公开了一种适用于环形交叉口的自动驾驶行为决策系统与运动规划方法，根据道路信息、场景信息和车辆状态信息，建立环形交叉口道路模型ML、环形交叉口场景模型MS与自动驾驶车辆运动模型MV；将驾驶行为决策要素抽象为一系列行驶状态与行为动作状态机集合，构建分层扩展有限状态机(EFSM)驾驶行为决策模型。所述运动规划方法，基于B样条曲线插值法，以全局路径规划的目标环内车道驶入、驶出原则、环形交叉口形状参数、车辆转向执行器限制、平顺性、舒适性、规划速度损失等约束条件，确定B样条曲线控制点以及对应的目标曲线，解决了自动驾驶车辆入环、出环轨迹不够平滑、不够灵活的技术问题，有效提高了轨迹规划的质量，实现了较好的行驶平顺性与舒适性。
📄 202111074077X
📂 B60W60_00
👤 江苏大学
📅 2021-09-14
本发明提供了一种基于深度学习和有限状态机的智能语音机器人系统，包括：语音外呼模块，语音外呼模块用于呼叫用户并获取用户应答信息；用户意图识别模块，用户意图识别模块基于深度学习根据用户应答信息对用户意图进行识别；业务执行模块，业务执行模块基于有限状态机根据识别的用户意图进行业务跳转并执行相应的业务操作，同时保存相应的业务数据。本发明能够提高智能语音机器人识别用户意图的准确度与应对多样的业务需求的适应性，从而能够实现业务和功能之间的松散耦合。
📄 2019112809912
📂 G10L15_22
👤 中博信息技术研究院有限公司
📅 2019-12-13
本发明公开了一种三相逆变器实时仿真模型的建模方法，该方法包括：针对IGBT开通与关断过程，采用二次函数拟合IGBT开关动作过程的外特性曲线；采用MATLAB/simulink的查找表模块构建单个IGBT开关模型，利用有限状态机构建三相逆变器IGBT开关桥臂的计算模型，并根据控制脉冲计算输出相电压；将所建立的模型导入到FPGA中构建三相逆变器实时仿真模型。本发明具有建模精度高、在线计算量小、状态转换与控制逻辑清晰等特点，且可将所建模型直接移植到FPGA硬件上，实现低成本、快捷地构建三相逆变器实时仿真系统。
📄 2020104952112
📂 G06F30_20
👤 湖南师范大学
📅 2020-06-03
本发明公开了一种构件行为模型挖掘方法与装置，该方法包括：S1)运行包含构件的软件，动态采集构件的带参行为交互序列，构成序列集合；S2)合并具有不同参数值的相同构件行为交互序列；S3)基于合并后的构件行为交互序列构建一棵树；S4)合并树中的等价节点获得有限状态机R’；S5)根据参数观察值集合归纳参数的不变式作为有限状态机R’中对应边的守护条件；S6)计算有限状态机R’中构件行为满足参数不变式的概率；S7)基于步骤S6)中迁移发生的概率得到最终的带参概率自动机表示的构件行为模型。本发明考虑了构件行为模型中参数-构件行为之间的依赖关系并采用概率模型对模型挖掘过程中的噪声进行有效处理，可获得更精确的构件行为模型。
📄 2019109290854
📂 G06F16_21
👤 武汉工程大学
📅 2019-09-28
本发明公开了适用于可穿戴设备的ECG信号检测电路，包括仪表放大模块、微分电路模块、低通滤波模块和心率检测模块，仪表放大模块依次通过微分电路模块和低通滤波模块与微分电路模块连接，仪表放大模块包括跨导自举电路、放大电路和频率补偿电路，心率检测模块包括第一锁相环、第二锁相环和有限状态机。本发明能够提高ECG信号的信噪比，能够将原始ECG信号转换成为高幅值且特征明显的双峰信号，判断心率信号有效性，能够抑制基线漂移的影响，降低误判的可能性，获得更准确的检测结果，容易通过常见的元件组成，并且规模不大，因此容易制作成低成本的集成电路，并封装在一块芯片中，方便于低成本大规模生产。本发明广泛应用于电路技术领域。
📄 2021108206661
📂 A61B5_346
👤 广州大学
📅 2021-07-20
柿子坊 · 知识产权运营
柿子坊知识产权运营平台