“自动机网络”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果4991909个，建议您升级VIP下载更多相关专利

[发明专利]一种基于函数签名的自定义特征规则方法-CN202210008854.9在审
发明人：龚晓玉;杨智霖;王盛;王逸宇;吴宇斌;杨云帆;王前 -专利权人：湖南泛联新安信息科技有限公司
申请日： 2022-01-06 - 公布日： 2022-03-04 - 主分类号： G06F21/57 文献下载
摘要：包括统计所分析语言的安全漏洞设计编程安全特征规则；根据编程安全特征规则定义相应的状态转换流程，并记录引起状态转换的函数签名得到函数签名的集合；根据状态转换流程、函数签名的集合以及预设的规则含义设计多个有限状态自动机；获取启动各自动机的函数签名集合，监控变量所调函数，根据变量所调函数和启动各自动机的函数签名集合启动自动机；自动机启动后，追踪变量的访问和传播路径，将变量及其引用所调函数的签名作为对应自动机的输入串，结合自动机的当前状态、状态转换函数得到转换后的状态直到自动机结束或发生错误。
一种基于函数签名自定义特征规则方法

[发明专利]一种基于中断序列图的中断驱动系统验证方法-CN201910480184.9有效
发明人：潘敏学;陈守煜;张天;王林章;李宣东 -专利权人：南京大学
申请日： 2019-06-04 - 公布日： 2021-11-16 - 主分类号： G06F8/10 文献下载
摘要：本发明公开了一种基于中断序列图的中断驱动系统验证方法，包括如下步骤，步骤1：基于中断序列图来建立中断驱动系统模型；步骤2：根据步骤1得到的中断序列图，将其中的交互片段划分为基本交互和复合交互片段；步骤3：将基本交互片段和复合交互片段依次转换成自动机；步骤4：将步骤3中得到的多个自动机组合成一个混成自动机；步骤5：提取中断序列图的约束，将约束添加到转换得到的自动机模型上；步骤6：提取中断序列图中的验证属性信息，将验证属性作为约束添加到转换得到的自动机模型上；步骤7：将自动机描述成自动机验证工具可接受的输入格式；步骤8：采用自动机验证工具进行验证。
一种基于中断序列驱动系统验证方法

[发明专利]面向电力电子系统瞬态仿真的时间尺度分层自动机方法-CN202110223966.1有效
发明人：施博辰;赵争鸣;鞠佳禾;虞竹珺;朱义诚 -专利权人：清华大学;迪盛迅达（北京）科技有限公司
申请日： 2021-03-01 - 公布日： 2022-05-17 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了属于电力电子系统建模技术领域的一种面向电力电子系统瞬态仿真的时间尺度分层自动机方法。将电力电子系统建模为时间尺度分层自动机，包含上层大时间尺度自动机和下层开关瞬态自动机，上层自动机描述电力电子系统在开关器件处于导通或关断两种稳态时的状态和行为，下层自动机描述电力电子系统在开关器件处于开通或关断瞬态过程中的状态和行为，并使用事件驱动方法对时间尺度分层自动机进行解算。本发明公开的面向电力电子系统瞬态仿真的时间尺度分层自动机方法，解决了复杂电力电子系统开关瞬态仿真在仿真效率和收敛性方面的问题。
面向电力电子系统瞬态仿真时间尺度分层自动机方法

[发明专利]主动感知的任务路径规划方法、系统、机器人及控制器-CN202110214672.2有效
发明人：殷翔;赵佳伟;李少远 -专利权人：上海交通大学
申请日： 2021-02-25 - 公布日： 2022-02-11 - 主分类号： G05D1/02 文献下载
摘要：本发明提供一种主动感知的任务路径规划方法、系统、机器人及控制器，所述主动感知的任务路径规划方法包括：建立移动机器人的形式化模型与线性时序逻辑，形成任务的自动机；基于所述自动机构建状态网络，并基于主动感知形成对构建的状态网络进行扩展，获得带有主动感知策略的分支网络；计算所述带有主动感知策略的分支网络中各个状态到可结束状态的距离，形成任务路径。本发明综合考虑主动感知策略与移动策略，能够较好的平衡二者的关系，使得移动机器人能够部分可观的环境中完成所需的复杂任务的同时，能够使得总的消耗最小，完成任务的代价最小。
主动感知任务路径规划方法系统机器人控制器

[发明专利]基于学习自动机的深度神经网络优化方法-CN201710054653.1在审
发明人：李生红;郭浩楠;马颖华;任栩蝶;汤璐 -专利权人：上海交通大学
申请日： 2017-01-24 - 公布日： 2017-07-14 - 主分类号： G06N3/04 文献下载
摘要：一种基于学习自动机的深度神经网络优化方法，在深度神经网络的训练阶段，从全连接的初始网络结构出发，在通过梯度下降迭代更新参数的过程中不断找到网络中的弱连接并将其去除，从而得到更为稀疏连接、具有更小的泛化误差的网络结构，以便用于对测试样本进行更高精度的图像分类，所述的弱连接，通过LA在训练过程中不断与神经网络交互而进行判定。本发明通过借鉴强化学习的思想，引入学习自动机算法改善传统的反向传播算法，去掉冗余连接以减少网络参数，从而提高在测试样本上的分类精度，使其具有更强的防止过拟合的能力。
基于学习自动机深度神经网络优化方法

[发明专利]分析基于状态的系统模型的方法和设备-CN99804553.5无效
发明人：亨里克·里尔伯格;亨里克·豪尔加德;约恩·伯·林德－尼尔森;亨里克·雷夫·安德森;金·古德斯特兰德·拉尔森;卡尔·杰林·克里斯托福森;格尔德·伯尔曼 -专利权人： IAR系统有限公司
申请日： 1999-03-26 - 公布日： 2001-05-16 - 主分类号： G06F11/00 文献下载
摘要：本发明涉及一种分析基于状态的系统模型的方法,前述系统模型包括一组自动机(M1,…Mn),每个所述自动机包括至少一个可能的状态(pS1Mi,…,pSkMi),在任一时刻,每个自动机都处于其组成状态之一,所述自动机(M1,…Mn)的动态行为由各自动机(M1,…Mn)的所述状态之间的预定转移,以及所述自动机(M1,…Mn)之间的相关性(D)来定义。本发明的许多重要优点之一是,许多实际的基于状态的系统模型的分析可以不需要评估系统模型中的数量巨大的自动机。
分析基于状态系统模型方法设备

[实用新型]一种自动化设备安装调整装置-CN201820658980.8有效
发明人：张洪 -专利权人：张洪
申请日： 2018-05-04 - 公布日： 2018-12-07 - 主分类号： B66F9/065 文献下载
摘要：本实用新型涉及自动化设备技术领域，且公开了一种自动化设备安装调整装置，包括底板，所述底板的左侧固定安装有保护套，所述底板的左侧固定安装电源线，所述电源线位于保护套的内部。该自动化设备安装调整装置，通过万向轮移动底板至自动机的底部，使升降台与自动机底部接触，打开电动液压器升降台拖住自动机上升，使其达到与其他自动机水平位置，然后开始与其他自动机的组装，当完成组装后，同时打下自动机所有脚杯，使其脚杯受力，即可关闭电动液压器收回升降台，拖出设备，此做法相比之前逐步尝试调整脚杯从而使自动机达到与其他自动机水平位置，大大减少了工作量跟工作时间，同时也节省了人力提高了工作效率。
自动机自动化设备升降台底板安装调整装置电动液压器电源线脚杯组装本实用新型工作效率移动底板调整脚万向轮受力拖出工作量

[发明专利]一种无线传感器网络的节能方法及休眠决策系统-CN201210277036.5有效
发明人：于秦;李唯乔;毛玉明;马立香 -专利权人：电子科技大学
申请日： 2012-08-06 - 公布日： 2012-11-28 - 主分类号： H04W52/02 文献下载
摘要：本发明公开了一种无线传感器网络的路由节能方法及休眠决策系统。本发明的节能方法设计了元胞自动机状态转换规则，本发明的系统在路由协议模块中设计CA模块。本发明的节能方法通过设置由中心Sink节点决策休眠的方式，解决了基于元胞自动机的无线网络中集中控制能力缺乏的问题；通过设计元胞自动机的状态转换规则，使得节点能够在休眠和工作状态间切换，从而减少了能量消耗
一种无线传感器网络节能方法休眠决策系统

[发明专利]自动数据存储库及其自动机存取器的自动机供电系统-CN200610137541.4有效
发明人： M·D·舒尔茨;G·A·雅克特;B·G·古德曼;L·G·耶肖诺夫斯基 -专利权人：国际商业机器公司
申请日： 2006-10-25 - 公布日： 2007-05-30 - 主分类号： G11B17/00 文献下载
摘要：一种自动数据存储库，所述自动数据存储库具有多个存储架、一个或多个数据存储驱动器、母线；以及自动机存取器，所述自动机存取器具有用于移动所述自动机存取器的驱动器系统、存取器通信接口、配置为与所述母线接合和脱离接合的母线中继器；自动机控制器，所述自动机控制器配置为操作所述驱动器系统以移动所述自动机存取器、操作选取器、操作所述母线中继器在所述自动机存取器静止时与所述母线接合；以及电力存储系统，所述电力存储系统配置为在所述母线中继器与所述母线接合时通过所述母线中继器来接收电力、存储所述接收的电力，以及至少在所述母线中继器脱离接合时将所述存储的电力传送到所述自动机存取器。
自动数据存储及其自动机存取供电系统

[发明专利]一种有限自动机的修剪方法和系统-CN202110418222.5在审
发明人：岳菊梅;闫永义;邓鹤;李东山;刘剑锋;孙广磊;康世禄 -专利权人：河南科技大学
申请日： 2021-04-19 - 公布日： 2021-06-18 - 主分类号： G06F30/20 文献下载
摘要：本发明涉及一种有限自动机的修剪方法和系统。该有限自动机的修剪方法，先采用筛选器确定获取的有限自动机的状态集中的所有接收状态后，再采用修剪器对所有的接收状态进行修剪，得到修剪后的状态，以实现有限自动机的修剪方法的在线使用，且提高在线使用的实时性。并且，本发明提供的有限自动机的修剪方法和系统，通过采用筛选器和修剪器，能够在降低有限自动机修剪运算量和存储空间的同时，减轻实际应用的负担。
一种有限自动机修剪方法系统

[实用新型]具有自动机械的恒温腔体-CN201320771735.5有效
发明人：徐勇 -专利权人：上海和辉光电有限公司
申请日： 2013-11-26 - 公布日： 2014-05-07 - 主分类号： B25J19/06 文献下载
摘要：本实用新型公开了一种具有自动机械的恒温腔体，所述自动机械包括：自动机械本体；走行机构，设置在所述自动机械本体底部；以及机械手臂，与所述自动机械本体相连并向前延伸，所述机械手臂上设置有用于检测所述机械手臂前端与前方障碍物的距离并在所述距离小于一设定阈值时产生一控制信号以制动所述自动机械的防撞检测装置
具有自动机械恒温

[发明专利]基于自动机和生命游戏的无线传感器网络广播认证方法-CN201110126518.6有效
发明人：黄海平;戴庭;王汝传;孙力娟;窦轶;谭志刚;刘莉;张伟;周旋;黄文聪;陈昊;沙超 -专利权人：南京邮电大学
申请日： 2011-05-13 - 公布日： 2011-08-24 - 主分类号： H04W12/06 文献下载
摘要：无线传感器网络由于其特征使之面临较多的隐患。本发明方法针对无线传感器网络认证中基站的覆盖范围受限、网络流量特殊分布这两方面的问题，提出了基于自动机和生命游戏的无线传感器网络广播认证方法，该方法可扩大基站的覆盖范围实现全网节点的广播，模拟WSN网络流量的分布形态主要通过改进的确定有穷自动机、分簇算法、生命游戏算法等多种方式相结合，来实现无线传感器网络广播认证。并设计了具体的技术方案和步骤流程，显著区别于现有的WSN网络中使用的广播认证方法。在基站节点的通信范围、网络中节点能量的合理分配、网络流量形态的模拟等方面具有有益效果。
基于自动机生命游戏无线传感器网络广播认证方法

[发明专利]用于处理有限自动机的引擎架构-CN201410432318.7有效
发明人： R·戈亚尔;S·L·比拉;Y·沙纳瓦;G·A·鲍查德;T·T·纳卡达 -专利权人：凯为有限责任公司
申请日： 2014-08-28 - 公布日： 2019-03-01 - 主分类号： G06F13/28 文献下载
摘要：一种用于处理有限自动机的引擎架构包括一个专用于非确定有限自动机(NFA)处理的超非确定有限自动机(HNA)处理器。该HNA处理器包括多个超级集群和一个HNA调度器。每个超级集群包括多个集群。所选择的该至少一个超级集群的相应多个集群的相应多个HPU作为HPU资源池对用于对指示一个HNA指令进行分配的HNA调度器是可用的，以能够实现从网络接收到的输入流中的至少一个正则表达式的匹配的加速。
用于处理有限自动机引擎架构

[发明专利]一种信息物理融合系统防御的形式化检测方法-CN201910425240.9在审
发明人：陈会兵;戴宏伟;王钊琦;何卡特;王婷 -专利权人：杭州逍邦网络科技有限公司
申请日： 2019-05-21 - 公布日： 2019-07-26 - 主分类号： H04L29/06 文献下载
摘要：本发明公开了一种信息物理融合系统防御的形式化检测方法，基于时间自动机的CPS虚假数据注入攻击的检测和验证，包括CPS各部分模型的构建和CPS安全属性验证，根据CPS通用的分层网络安全体系结构，首先对各个层次的组件建模，然后完成虚假数据注入攻击者和自动恢复机制的建模，最后组成完整系统，从而进行验证；本发明的有益效果是：时间自动机是包含时间约束的状态机，CPS往往有时间性要求，利用时间自动机对CPS建模及验证简单易行；
验证自动机建模信息物理融合系统防御虚假数据检测时间性安全体系结构安全属性分层网络时间约束完整系统系统安全行为安全自动恢复组件建模攻击通用的状态机构建分析

[发明专利]一种基于自动机器学习的路由器流量识别系统及方法-CN202310454724.2在审
发明人：王攀;金凯威 -专利权人：南京邮电大学
申请日： 2023-04-25 - 公布日： 2023-07-28 - 主分类号： H04L43/026 文献下载
摘要：本发明公开了一种基于自动机器学习的路由器流量识别系统及方法，涉及网络流量识别技术领域，首先通过路由器管理平台采集PCAP格式的原始加密流量包；其次对采集到的PCAP格式的原始加密流量包进行流量特征提取，然后数据处理模块对特征提取后的数据集进行数据预处理，生成训练数据集；紧接着基于自动机器学习方法，通过两个模型训练子模块，经过超参数自动优化训练出流量识别模型；本发明将自动机器学习的方法运用在路由器上的流量识别方案上
一种基于自动机器学习路由器流量识别系统方法