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

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

[发明专利]基于决策树剪枝的模式匹配方法-CN201610367542.1有效
发明人：古天龙;王亚南;徐周波;常亮;陈帅;王敏 -专利权人：桂林电子科技大学
申请日： 2016-05-30 - 公布日： 2019-01-29 - 主分类号： G06K9/62 文献下载
摘要：本发明提出一种基于决策树剪枝的模式匹配方法，其结合决策树剪枝方法的简化AC算法，包括自动机的生成、自动机的简化、计算失败指针、存储后缀表与匹配的执行等步骤。本发明将传统自动机类型模式匹配算法拆分为两个步骤：匹配可能的判定与匹配确认。通过简化自动机判别文本串与模式集中模式串有无匹配的可能，再进行匹配的确认。在保证速度的前提下，本发明提出的简化方法相比传统自动机类型模式匹配算法内存消耗减少35％‑40％。此外，本发明通过决策树剪枝方法可有效减小自动机规模，删除对分类判定无用的节点，有效降低传统自动机类型模式匹配的内存消耗。
基于决策树剪枝模式匹配方法

[发明专利]一种面向RoboSim模型实时系统的模型检测方法-CN202011464926.8有效
发明人：杜德慧;张铭茁;张梦寒;张馨元 -专利权人：华东师范大学
申请日： 2020-12-14 - 公布日： 2022-08-05 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了一种面向RoboSim模型实时系统的模型检测方法，其特点是通过预先定义转换规则，将RoboSim模型转换为UPPAAL能识别的时间自动机网络模型，自动生成相应的TCTL性质，使用模型检测工具本发明与现有技术相比具有验证效率高，且适合对机器人的物理平台和环境进行建模和验证，支持将RoboSim模型转换为时间自动机网络模型，为形式化验证RoboSim机器人仿真模型提供了一套有效的方法。
一种面向 robosim 模型实时系统检测方法

[发明专利]通过镜像网络流量提取文件的方法及装置-CN201910596715.0在审
发明人：刘斐然 -专利权人：北京微步在线科技有限公司
申请日： 2019-07-02 - 公布日： 2019-10-08 - 主分类号： H04L29/06 文献下载
摘要：本发明提供了一种通过镜像网络流量提取文件的方法及装置，主要解决现有技术中提取文件需要安装监控软件，实施成本高，又存在被绕过的风险等问题。本发明的技术方案包括：监听镜像端口的网络数据包，根据网络数据包的五元组信息分配网络数据流；根据需要匹配的文件特征生成AC自动机，将网络数据流与AC自动机中内置的文件特征规则进行匹配，文件特征匹配过程是并发的；提取匹配后的网络数据流中的文件，存储文件并添加数据库。通过镜像网络流量提取文件，大大简化了文件提取的部署流程，无需改变现有流程和网络结构，又能为流量审计和病毒检测提供条件，增强企业安全监控的涵盖范围。
提取文件网络流量文件特征匹配网络数据包网络数据流五元组信息数据流安装监控病毒检测存储文件分配网络镜像端口匹配过程企业安全提供条件网络结构文件提取监听内置绕过并发数据库涵盖监控审计部署

[发明专利]一种基于元胞自动机的隧道“火灾-疏散”耦合计算方法-CN202211330840.5在审
发明人：张予馨;闫治国;朱合华;朱梦琦;周龙;芮易 -专利权人：同济大学
申请日： 2022-10-26 - 公布日： 2023-03-21 - 主分类号： G06F30/13 文献下载
摘要：本发明一种基于元胞自动机的隧道“火灾‑疏散”耦合计算方法，包括：步骤1，根据隧道数字模型内疏散人员可移动的空间生成带有网格的二维随机元胞自动机模型，使用相关数值模拟软件对火灾场景进行预测，生成火灾场景信息；步骤2，根据个人运动参数、可移动网络选择规则、环境因素、社会影响力以及合作模式博弈规则，生成疏散人员移动状态；步骤3，将二维随机元胞自动机模型与火灾场景信息耦合；步骤4，将疏散人员移动状态与二维随机元胞自动机模型每个网格节点处的火灾场景信息与变化耦合
一种基于自动机隧道火灾疏散耦合计算方法

[发明专利]基于代价敏感支持向量机的元胞自动机涌现现象的分类方法-CN201710830534.0在审
发明人：邢建川;王帅飞;张易丰;韩保祯;丁志新;王翔;康亮;袁浩瀚;吴晓东;李寒雪;张景文;翟能延;胡尊天;李栋良;罗燕鹏;杨昕;佘小钏;集川;杨宁;殷雪银;陈胜远;江孟君;刘琦;刘崇梽;苏新宇;胡进磊;朱张子;杨双吉;尹佳;陈佳豪;王立岩;李双;侯鑫宇;张栋;刘继林;邵慧;苗佳雨;颜文杰;王祉涵;王书琪;柏宇潇;罗义杰;高文显;汪书林;梁昌乐;陈朝阳;王鋆鼎;沈浩;赵越;蔡佳宏 -专利权人：电子科技大学
申请日： 2017-09-15 - 公布日： 2018-02-23 - 主分类号： G06K9/62 文献下载
摘要：本发明公开了一种基于代价敏感支持向量机的元胞自动机涌现现象的分类方法。本发明基于所提取的涌现现象的特征，通过使用代价敏感支持向量机对元胞自动机的涌现现象进行分类，从而进一步处理分类结果，来判断元胞自动机中哪些规则能发生涌现现象，哪些规则不能发生涌现现象。对基于元胞自动机的复杂系统的涌现机理进行研究，将能推动元胞自动机在涌现方面的应用研究和促进其他的复杂系统的涌现机理研究。本发明是对元胞自动机的涌现现象进行分类，分类后获得的发生涌现现象的元胞自动机，因此类元胞自动机具有分形维数特征，可以将其应用于图像处理、动画制作、时装设计、IC卡设计、房间装饰设计、城市规划等等。
基于代价敏感支持向量自动机涌现现象分类方法

[实用新型]一种安全性能高的钢制隔断U型墙板自动机-CN202121336147.X有效
发明人：杨秀祥;龙柏清;杨秀光;杨子靖;王秀福 -专利权人：佛山市飞杨精密机械有限公司
申请日： 2021-06-16 - 公布日： 2021-12-07 - 主分类号： B22D45/00 文献下载
摘要：本实用新型公开了一种安全性能高的钢制隔断U型墙板自动机，包括：底座；墙板自动机，所述墙板自动机固定于所述底座的顶部；延伸装置，所述延伸装置滑动于所述墙板自动机的前后两侧，所述延伸装置包括两个限位板，所述限位板的内部两侧分别滑动连接有第一延伸板和第二延伸板；两个防护板，两个所述防护板分别滑动于所述墙板自动机的两侧；转动装置，所述转动装置转动于所述底座的顶部，所述转动装置包括四个螺杆；该安全性能高的钢制隔断U型墙板自动机,通过延伸装置用于不同尺寸的墙板自动机，转动装置通过连接装置带动两个延伸装置同步上升，从而带动防护板同步上升，在墙板自动机注塑过程中，防止溢出，结构简单，操作便捷。
一种安全性能钢制隔断型墙板自动机

[发明专利]自动机械装置-CN200580034918.7有效
发明人：足达勇治;冈崎安直;浅井胜彦;横山和夫 -专利权人：松下电器产业株式会社
申请日： 2005-09-27 - 公布日： 2007-09-19 - 主分类号： B25J19/06 文献下载
摘要：本发明提供一种自动机械装置，具有作业用自动机械臂(1)和识别人或动物或移动体的物体识别部(4)，通过使自动机械机构部(899)的一部分进行遮蔽动作，而将由所述物体识别部(4)识别到的物体遮挡住，由所述作业用自动机械臂(1)进行作业，由此可以主动地确保自动机械机构部的作业空间(3)，安全地持续进行作业。
自动机械装置

[发明专利]基于动态规划的传感器网络软件模型检验方法-CN201310140565.5有效
发明人：陈志;黄洵松;毛博;曹壹;岳文静;曾雅芸;迟文东 -专利权人：南京邮电大学
申请日： 2013-04-22 - 公布日： 2013-07-24 - 主分类号： H04W16/18 文献下载
摘要：本发明是一种基于动态规划的无线传感器网络软件模型检验方法，包括系统建模、模型预处理、模型性质验证等步骤。系统建模通过一套流程方法，建立抽象的时间状态自动机模型；模型预处理用于减少自动机中的对验证过程不产生影响的状态；模型性质验证采用基于动态规划思想的记忆化搜索验证方法。本发明能够有效地验证相关网络协议是否满足要求，缓解验证过程中状态空间爆炸问题，给出的系统验证过程时空复杂度低。
基于动态规划传感器网络软件模型检验方法

[发明专利]一种获取LTLf最小自动机的方法、设备、计算机可读存储介质-CN202011101650.7在审
发明人：朱淑芳;卢卡斯 M.塔巴雅拉;蒲戈光;摩西 Y.瓦尔迪;刘虹;倪华;杨昆 -专利权人：上海工业控制安全创新科技有限公司
申请日： 2020-10-15 - 公布日： 2022-04-19 - 主分类号： G06F8/40 文献下载
摘要：本发明提出了一种获取LTLf最小自动机的方法，所述方法基于Brzozowski最小化自动机构造理论来完成LTLf到最小DFA构造。包括：对于给定的LTLf公式，首先利用工具MONA构造得到LTLf对应的反向确定化自动机，这个自动机可以接收原LTLf接收语言的反向序列；将该反向确定化自动机进行倒置，从而得到一个非确定有限状态自动机(
一种获取 ltlf 最小自动机方法设备计算机可读存储介质

[发明专利]一种基于时间窗的随机估计自学习邻居发现方法-CN202310827012.0在审
发明人：白文祥;雷磊;张莉涓;刘勇超;宋晓勤;牛凯华;李慧;张文静;王俊杰 -专利权人：南京航空航天大学
申请日： 2023-07-06 - 公布日： 2023-10-27 - 主分类号： H04W8/00 文献下载
摘要：该发明属于通信网络邻域，主要解决了定向自组织网络中邻居节点发现难度大，收敛时间长的问题。该方法将邻居发现问题中的网络节点建模为学习自动机，然后利用随机估计量和基于时间窗的优化方法，使自动机能够适应不断变化的环境，实时调整每个扇区的选择概率，从而加快在使用定向天线的无线自组织网络场景中的邻居发现速度
一种基于时间随机估计自学习邻居发现方法

[发明专利]基于量子细胞神经网络超混沌系统光学图像加密方法-CN201410258777.8有效
发明人：李锦青;底晓强;祁晖;从立钢;毕琳;任维武 -专利权人：长春理工大学
申请日： 2014-06-11 - 公布日： 2017-07-07 - 主分类号： H04L9/00 文献下载
摘要：基于量子细胞神经网络超混沌系统光学图像加密方法，涉及信息安全技术领域，解决现有光学加密系统非线性程度不足，本发明利用量子细胞神经网络超混沌系统对光学图像进行加密解密，由于量子细胞神经网络的超混沌特性，弥补了传统双随机相位编码光学加密技术的线性特征且由于量子点和量子细胞自动机是以库伦作用传递信息的新型纳米级电子器件。与传统技术相比，量子细胞自动机具有超高集成度，超低功耗，无引线集成等优点。
基于量子细胞神经网络混沌系统光学图像加密方法

[发明专利]一种智能沐浴装置-CN201711241218.6在审
发明人：傅峰峰 -专利权人：傅峰峰
申请日： 2017-11-30 - 公布日： 2018-06-29 - 主分类号： A47K3/28 文献下载
摘要：本发明公开了一种智能沐浴装置，智能沐浴装置包括莲蓬管，所述莲蓬管包括喷头装置和自动机械臂管，喷头装置可拆卸地安装在自动机械臂管的一端并与自动机械臂管连通，智能沐浴装置还包括控制器和驱动装置，控制器通过驱动装置控制自动机械臂管的运动本发明的自动机械臂管采用仿生象鼻技术，可根据用户的需要进行活动，灵活性较高，用户使用起来更加方便。
自动机械臂沐浴装置智能喷头装置控制器莲蓬管驱动装置控制驱动装置用户使用可拆卸象鼻连通

[发明专利]一种应用于机电系统的自动化设计系统及方法-CN201780045870.2在审
发明人： M·纳德希尔 -专利权人：科特罗尔有限责任公司
申请日： 2017-05-24 - 公布日： 2019-05-21 - 主分类号： G06F17/50 文献下载
摘要：根据一个实施例，该方法包括：提供文本系统描述；使用计算机将所述文本系统描述转换为线性时序逻辑LTL式子；使用计算机将LTL式子转换为第一自动机；使用计算机提供表示系统动态过程的第二自动机；并使用计算机，通过合并第一自动机及第二自动机，生成测试自动机。
自动机计算机文本系统计算机辅助系统自动化设计系统表示系统动态过程动态系统机电系统生成测试时序逻辑转换合并应用

[发明专利]一种有限状态自动机等效构件的识别方法及系统-CN202110419282.9在审
发明人：闫永义;岳菊梅;邓鹤;李东山;刘剑锋;孙广磊;康世禄 -专利权人：河南科技大学
申请日： 2021-04-19 - 公布日： 2021-06-18 - 主分类号： G06F30/20 文献下载
摘要：本发明涉及一种有限状态自动机等效构件的识别方法及系统，方法包括：获取有限状态自动机的构件个数以及信号个数；所述信号个数由所述有限状态自动机的处理能力决定；根据所述构件个数以及所述信号个数构建有限状态自动机的结构矩阵本发明根据结构矩阵的列元素以及信号个数获取结构矩阵中待识别的等效构件，实现对有限状态自动机的硬件优化，为有限状态自动机的工程优化提供支撑。
一种有限状态自动机等效构件识别方法系统

[发明专利]一种有限状态自动机配置方法、装置、设备及介质-CN202310018227.8在审
发明人：谢恩瑞;黄伟;魏亮;周国庆;陈晶 -专利权人：青岛特来电新能源科技有限公司;青岛特来电大数据有限公司
申请日： 2023-01-06 - 公布日： 2023-04-11 - 主分类号： G06Q10/0633 文献下载
摘要：本申请公开了一种有限状态自动机配置方法、装置、设备及介质，涉及计算机技术领域，包括：获取待配置业务流程，并对所述待配置业务流程进行提取，以得到流程节点；对所述流程节点进行分析，以得到流程节点配置规则，基于所述流程节点和所述流程节点配置规则确定出事件信息；基于所述事件信息创建并配置有限状态自动机，并将配置后的所述有限状态自动机进行发布。通过本申请的上述技术方案，能够有效提高有限状态自动机配置的多样性和灵活性，降低有限状态自动机配置的复杂度，提高有限状态自动机配置的效率。
一种有限状态自动机配置方法装置设备介质