finite state machines | BriefGPT

关键词finite state machines

搜索结果 - 8

分布式表示在神经形态硬件上实现鲁棒多时间尺度计算
使用高维随机向量作为最小表示单元的矢量符号结构（VSAs）嵌入鲁棒的多时间尺度动力学到基于吸引子的 RSNNs，通过叠加对称的自联想权重矩阵和非对称的状态转换项来嵌入有限状态机进入 RSNNs 动力学，通过模拟高度非理想的权重、实验性的闭环
PDF2 months ago
使用 Transformer 模拟序列和树上的加权自动机
通过标准的基于梯度的训练，我们展示了 transformers 模型能够模拟加权有限自动机和加权树自动机的推理能力，并在理论上证明了这些结果以及所需的 transformer 模型大小与目标自动机状态数的关系。
PDF4 months ago
演化算法优化使用通用门的有限状态机的综合
本研究提出了一种有限状态机的综合优化方法，重点在于减少芯片面积和电路成本。通过使用笛卡尔遗传编程方法进化 MCNC91 基准电路中的一组有限状态机，平均减少约 30％的门数量。论文还讨论了一些参数对进化过程的影响。
PDF6 months ago
Hermes：通过从自然语言规范中合成有限状态机解锁移动网络协议的安全分析
该研究发表了 Hermes - 一个端到端框架，可自动从自然语言的细胞规范中生成形式表示。通过开发神经成分解析器 NEUTREX，将转换相关的文本处理并提取转换组件（即状态、条件和动作），并通过依赖解析树将这些转换组件转化为逻辑公式。最后，
PDF9 months ago
POET：PROFINET 工业操作行为自学习框架
本文介绍一个名为 PROFINET Operations Enumeration and Tracking (POET) 的基于 Python 的工业通信范例感知框架，通过透明化监控工业系统的网络流量，提取网络信息并实例化 FSM 模型来跟
PDFa year ago
利用一种非常简单的属性有效地推断 NFA
本文研究了基于有限状态机和重写规则的形式语法学习，提出了一种基于 SAT 求解器的 NFA 自动机规模求解方法，并验证了该方法的高效性。
PDFa year ago
UzbekStemmer: 为乌兹别克语开发一种基于规则的词干提取算法
本文介绍了一种基于规则的乌兹别克语词干提取算法，该算法使用基于有限状态机的词缀剥离方法，将词缀分类为 15 个类别并设计为 FSM，最后建立一个基本 FSM，并创建了一个 XML 格式的词缀词典用于开发基于 FSM 的词缀提取应用程序。
PDF2 years ago
有限状态机模型作为有向图进行测试用例生成的测试覆盖准则概述
本研究总结了 14 个最常用的有向图定义的有限状态机测试覆盖标准及其同义词，并对其进行了比较，以帮助测试工程师建立软件或物联网系统测试策略。
PDF2 years ago