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

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

[发明专利]网络攻击的检测方法及装置、终端设备和计算机存储介质-CN201710613907.9有效
发明人：刘超;朱文雷;吴雷;李昌志;刘金钊;张酉夫;李扬 -专利权人：北京长亭未来科技有限公司
申请日： 2017-07-25 - 公布日： 2020-08-14 - 主分类号： H04L29/06 文献下载
摘要：本发明实施方式提供了网络攻击的检测方法及装置、终端设备和计算机存储介质，涉及网络安全技术领域。其中，所述网络攻击的检测方法包括：通过自动机从请求数据中解析出目标字段；对所述目标字段的字段值进行解码，以得到所述目标字段的解码值；根据所述解码值对所述请求数据进行攻击检测。在本发明提供的技术方案中，通过自动机对请求数据进行解析，因此，能够高效率地执行请求数据的解析过程。
网络攻击检测方法装置终端设备计算机存储介质

[发明专利]一种带并发的状态机图转换到自动机的方法-CN201210539044.2有效
发明人：张天;黄小浦;李宣东 -专利权人：南京大学
申请日： 2012-12-13 - 公布日： 2013-04-17 - 主分类号： G06F17/50 文献下载
摘要：一种带并发的状态机图转换到自动机的方法，包括步骤如下：步骤10：输入一个UML状态机图；步骤11：生成一个名字为go的自动机（自动机的名字可根据自己习惯定义），该自动机可以产生一个go信号量；步骤12：对状态机图的每个状态声明一个整型全局变量；步骤13：对状态机图的每个迁移声明一个自动机；步骤14：每个自动机添加两个location（自动机中的节点）和三个transition（自动机中的迁移）；步骤15：根据UML状态图的迁移，完善所添加的location和transition；步骤16：所有产生的自动机，构成转换结果。该方法主要特点为可以将带并发的UML状态机图转化为自动机，方便各个领域应用。
一种并发状态机转换自动机方法

[实用新型]一种双机头全自动胶囊生产线-CN201420660507.5有效
发明人：俞俊;盛向红;樊天祥;迟道廷;何菊成 -专利权人：上海帕圣制药设备有限公司
申请日： 2014-11-06 - 公布日： 2015-05-13 - 主分类号： A61J3/07 文献下载
摘要：本实用新型提供一种双机头全自动胶囊生产线，其包括依次连接的主驱动部件、自动机部件、润滑部件、沾胶部件、前推部件、后推部件以及工作平台，其中，自动机部件包括：设置在主驱动部件下游以将胶囊模具传送至沾胶部件的第一自动机部件；设置在第一自动机部件下游以将胶囊模具传送至沾胶部件的第二自动机部件；第一自动机部件和第二自动机部件与主驱动部件连接。本实用新型的生产量增加，生产成本降低，自动机负荷减小，使用寿命增加。
一种双机全自动胶囊生产线

[发明专利]自动机械表上条效率的检测方法-CN201910874044.X有效
发明人：宋鹏涛;郭新刚;黄宝渝;陈世佳;罗晨;刘海华;龚翔 -专利权人：珠海罗西尼表业有限公司
申请日： 2019-09-17 - 公布日： 2020-12-08 - 主分类号： G04D7/00 文献下载
摘要：本发明涉及一种自动机械表上条效率的检测方法，适用于自动机械表，所述自动机械表上条效率的检测方法包括：S10：获取自动机械表满条状态下的最长延续走时Tm；S30：获取自动机械表从发条零储能状态至上条n小时后的延续走时Tn；S50：计算自动机械表上条n小时的上条效率上述自动机械表上条效率的检测方法，不局限于单向上条和双向上条机构，通过计算得出自动机械表的上条效率，也可用于比较不同结构的自动机械表上条效率的优劣。上述方法操作简单，实用性强，便于自动机械机心厂家和自动机械表的生产厂家，对新设计结构的自动机械机心或者新款手表进行测试，进而快速判断其自动上条系统上条效率的高低。
自动机械表上条效率检测方法

[发明专利]一种高炮自动机故障诊断实验平台及模拟射击的方法-CN201610645155.X有效
发明人：房立清;赵玉龙;王斐;齐子元;郭德卿;熊超;张前图;马春庭;俞文文 -专利权人：中国人民解放军军械工程学院
申请日： 2016-08-09 - 公布日： 2017-12-08 - 主分类号： F41A31/00 文献下载
摘要：本发明涉及一种高炮自动机故障诊断实验平台，属于武器装备研制领域，该实验平台包括自动机、位置传感器、控制器、气动机构，所述自动机具有炮闩，在所述自动机上设有传感器，用于采集所述自动机的相应信号，所述位置传感器安装在所述自动机后端，用于检测所述炮闩的位置，并将检测结果输送至所述控制器，所述控制器根据获得的检测结果向所述气动机构发送供气或断气的指令，所述气动机构根据接收到的相应指令向所述自动机供气或断气。本发明所研制的实验平台方便传感器和采集设备的布局，可以灵活预置自动机的一些典型故障，最大限度验证自动机故障诊断的相关理论方法。本发明可广泛用于院校、科研所进行高炮自动机故障诊断的试验研究。
一种高炮自动机故障诊断实验平台

[发明专利]基于GIS的神经网络元胞自动机传染病传播模拟分析方法-CN201510130892.1在审
发明人：董文永;宋婉娟;董学士;刘宇航;王豫峰 -专利权人：武汉大学
申请日： 2015-03-25 - 公布日： 2015-06-24 - 主分类号： G06F19/00 文献下载
摘要：本发明公开了基于GIS的神经网络元胞自动机传染病传播模拟分析方法，该方法综合运用GIS、卷积神经网络和元胞自动机，利用传染病数据和调查统计等数据，进行传染病传播方法的研究。该方法基于地理信息系统和数据库技术，运用卷积神经网络挖掘提取元胞自动机的转换规则并进行传染病传播模型的构建，采用集中管理维护的设计模式，对研究区域内的传染病信息、人文信息和地理信息进行统一的控制和管理。
基于 gis 神经网络自动机传染病传播模拟分析方法

[发明专利]一种待推荐理财产品的预测方法、装置、设备及存储介质-CN202310689915.7在审
发明人：张全龙;程梦琴;李文兵 -专利权人：中国银行股份有限公司
申请日： 2023-06-12 - 公布日： 2023-09-12 - 主分类号： G06Q30/0251 文献下载
摘要：在该方法中，获取训练样本数据；将训练样本数据输入基于卷积神经网络的元胞自动机模型进行训练，得到训练完成的理财产品预测模型；获取目标用户的特征数据；将特征数据作为理财产品预测模型的输入数据，通过理财产品预测模型进行预测由此可见，利用本申请实施例提供的方案，通过训练基于卷积神经网络的元胞自动机模型，通过卷积神经网络表征学习能力提高元胞自动机的预测能力，从而提高对客户满意的理财产品的预测能力，提高理财产品的推荐效率，从而提高银行理财业务人员的工作效率
一种推荐理财产品预测方法装置设备存储介质

[发明专利]基于PPTL₃的社交网络系统隐私安全运行时验证方法-CN201610012054.9有效
发明人：王小兵;刘东淼;段振华;赵亮;田聪;张南 -专利权人：西安电子科技大学
申请日： 2016-01-08 - 公布日： 2018-12-18 - 主分类号： G06F21/52 文献下载
摘要：本发明公开了一种基于PPTL₃的社交网络系统隐私安全运行时验证方法，对于待验证的性质P，用PPTL₃公式来描述，然后分别将P与非P所对应的逻辑公式转化为范式，并进一步转化为范式图及带标记的范式图，根据后者可求得相应的Buchi自动机，通过改变接受集来定义一个有穷自动机并对其确定化，最终对有穷自动机求积以构造监控器；在此基础上，还公开了运行时验证在社交网络系统中的应用，通过PPTL₃公式来描述社交网络应满足的性质，并建立相应的监控器，在系统运行的时候，对其进行监控以判断当前的运行是否满足该性质。
基于 pptl sub 社交网络系统隐私安全运行验证方法

[发明专利]D2D网络中基于确定性估计器学习自动机的定向天线邻居发现方法-CN202210246181.0在审
发明人：卢为党;翁丽霞;李晨凯;曹江;尹峻松;孔德照;高原 -专利权人：中国人民解放军军事科学院战争研究院
申请日： 2022-03-14 - 公布日： 2022-08-02 - 主分类号： H04W40/24 文献下载
摘要：一种D2D网络中基于确定性估计器学习自动机的定向天线邻居发现方法，该方法利用学习自动机机制，并引入了确定性估计器，将D2D网络中的节点都建模为一个单独的智能体，并采用Generalized Pursuit
d2d 网络基于确定性估计学习自动机定向天线邻居发现方法

[发明专利]一种基于Büchi自动机化简运行时验证监控器的方法-CN201811359544.1在审
发明人：钱俊彦;叶玲玲 -专利权人：桂林电子科技大学
申请日： 2018-11-15 - 公布日： 2019-03-26 - 主分类号： G06F21/52 文献下载
摘要：本发明公开一种基于Büchi自动机化简运行时验证监控器的方法，首先将LTL公式描述的属性转化为Büchi自动机；接着对Büchi自动机的状态进行冗余标记和移除；之后在Büchi自动机中寻找互相满足公平模拟关系的状态对，并对状态对进行合并；最后将化简后的Büchi自动机转化成确定性有限状态自动机，得到用于验证的监控器。本发明能够加速Büchi自动机到确定性有限状态自动机的转换，同时使JavaMop工具进行验证时的内存开销得到减少。
自动机监控器验证状态自动机运行时确定性模拟关系内存开销冗余标记移除转化合并转换

[发明专利]一种形式验证中断言综合的可视化方法、存储介质和终端-CN201910585528.2有效
发明人：袁军 -专利权人：成都奥卡思微电科技有限公司
申请日： 2019-07-01 - 公布日： 2022-11-18 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种形式验证中断言综合的可视化方法、存储介质和终端，方法包括如下步骤：步骤1：对断言进行从断言到非确定自动机的综合,并将所生成的非确定自动机转换为状态机图形予以显示；步骤2：对步骤1中的非确定自动机优化，并将优化的非确定自动机转换为状态机图形予以显示；步骤3：对优化后的非确定自动机进行确定化，生成确定自动机，并对生成的确定自动机转换为状态机图形予以显示；步骤4：对步骤3中的确定自动机进行优化，并将生成的确定自动机转换为状态机图形予以显示本发明针对断言综合的每一步，包括非确定和确定，和优化前后等不同情况，对断言自动机进行可视化，以帮助用户生成、理解和对断言的纠错。
一种形式验证断言综合可视化方法存储介质终端

[发明专利]基于改进元胞自动机算法的三维航路网络规划系统及方法-CN202210504098.9在审
发明人：牛科新;李桂芳;万莉莉;李超;孙若飞;叶文婧;汪许诺;梁满佳;田勇 -专利权人：南京航空航天大学
申请日： 2022-05-10 - 公布日： 2022-07-01 - 主分类号： G06F30/18 文献下载
摘要：本发明公开了航路网络规划技术领域的基于改进元胞自动机算法的三维航路网络规划系统及方法，包括：获取实际空域环境数据；根据实际空域环境数据确定栅格大小并划分栅格；将实际空域环境数据栅格化，生成二值图和二值矩阵，通过三维数组表示栅格所在位置，建立栅格地图；通过改进的元胞自动机算法在栅格地图中规划最优航路；在最优航路的基础上，将栅格细分至设定精确度；将已规划的最优航路所遍历的栅格标记为不可行栅格，继续规划下一条航路；对已经形成的航路进行平滑处理，形成最优的航路网络。本发明对元胞自动机算法进行改进，针对三维航路网络展开研究，缩小了算法的搜索范围，提高了算法的速度和精确度。
基于改进自动机算法三维航路网络规划系统方法

[发明专利]一种对验证码进行校验的方法及装置-CN201310339773.8有效
发明人：颜国平;古开元;刘金星;谢远辉 -专利权人：深圳市腾讯计算机系统有限公司
申请日： 2013-08-06 - 公布日： 2017-04-12 - 主分类号： H04L29/06 文献下载
摘要：所述方法包括接收终端发送的用户帐号和第一验证码，第一验证码是该终端根据服务器发送给该终端的第二验证码获取的；如果第一验证码和第二验证码相同，则根据该终端的互联网网络协议IP地址，获取该终端的已校验总次数；根据用户帐号、该终端的已校验总次数和该终端的IP地址，判断该终端是否为疑似自动机；如果该终端为疑似自动机，则对第一验证码校验不通过。本发明可以降低了自动机对验证码的最后通过率，进而降低了自动机访问网站的服务器的概率以及降低了自动机在该网站上恶意发布垃圾信息的概率。
一种验证进行校验方法装置

[发明专利]一种芯片安全自动纠错的方法-CN202110215912.0在审
发明人：陈睿 -专利权人：陈睿
申请日： 2021-02-26 - 公布日： 2021-05-25 - 主分类号： G06F30/398 文献下载
摘要：本发明公开了一种芯片安全自动纠错的方法，包括以下步骤：S1：安全属性断言：对被监测系统进行安全分析，找出多条安全属性，并确定关键的安全属性，并对多条安全属性进行描述；S2：生成属性自动机：对安全属性进行自动联合综合生成属性自动机；S3：生成约束自动机：将属性自动机转换为约束自动机，并赋予自动纠错功能；S4：生成联合约束自动机，检查属性兼容性；S5：联合约束自动机与被监测系统合成自动纠错系统。
一种芯片安全自动纠错方法

[发明专利]一种无线传感器网络自适应拓扑控制方法-CN201110185519.8有效
发明人：陈志;史倢;岳文静;章韵;梁小芮;彭娅;骆平;崔华;李帅;朱起蕊 -专利权人：南京邮电大学
申请日： 2011-07-04 - 公布日： 2011-11-23 - 主分类号： H04W40/10 文献下载
摘要：一种基于元胞自动机和智能体的无线传感器网络自适应拓扑控制方法，在整体建模上采用多层次的元胞自动机方法，将异构的无线传感器网络的拓扑用简单的离散状态改变表示出来；引入智能体的概念，将部分关键节点抽象为智能体，提升网络自主处理复杂任务的能力。本发明将复杂系统、人工智能的相关知识与无线传感器网络结合起来，设计一种自适应拓扑方法，在保证网络覆盖率和连通度的前提下，节省能量消耗，延长网络寿命。
一种无线传感器网络自适应拓扑控制方法