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

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

[发明专利]一种基于时间自动机的数字孪生制造单元行为建模方法-CN202010496128.7有效
发明人：周光辉;张克捷;张超;李涵 -专利权人：西安交通大学
申请日： 2020-06-03 - 公布日： 2021-05-28 - 主分类号： G05B17/02 文献下载
摘要：本发明公开了一种基于时间自动机的数字孪生制造单元行为建模方法，对制造单元的物理实体组成与加工需求进行考察，获取行为特征与对应的时间参数，针对具体加工任务，基于启发式智能算法生成包含在制品唯一标识号，工序号，加工设备标识号和加工时间的制造单元加工设备运行序列；构建加工设备、转运设备以及缓冲区与仓储的时间自动机模型；以在制品流转为核心构建时间自动机网络，生成制造单元的行为模型；根据加工设备的运行序列，生成包括设备运行序列与在制品状态追踪序列的制造单元整体行为序列
一种基于时间自动机数字孪生制造单元行为建模方法

[发明专利]基于超混沌加密的空间网络跨域匿名身份认证方法-CN201510621310.X有效
发明人：底晓强;李锦青;祁晖;杨华民;蒋振刚;任唯武;从立钢 -专利权人：长春理工大学
申请日： 2015-09-25 - 公布日： 2018-07-13 - 主分类号： H04L9/32 文献下载
摘要：基于超混沌加密的空间网络跨域匿名身份认证方法，涉及空间信息网络技术，解决现有传统网络中应用的安全机制不能直接适用于空间网络的情况，无法实现空间跨域身份认证的问题，提供一种基于超混沌加密的空间网络跨域匿名身份认证方法量子细胞神经网络是以量子细胞自动机耦合的细胞神经网络结构，从每个量子细胞自动机的极化率和量子相位获得复杂的线性动力学特征，用于构造纳米级的超混沌振荡器，具有功耗低，集成度高的特性，更好的满足空间网络星上节点的应用需求
空间网络跨域匿名身份认证混沌加密量子细胞自动机量子初始条件随机性空间信息网络细胞神经网络混沌振荡器伪随机序列线性动力学安全机制传统网络混沌算法控制参数认证阶段身份认证网络结构细胞神经应用需求注册阶段集成度极化率纳米级耦合的混沌功耗加密敏感预测应用分析

[发明专利]一种正则表达式匹配电路的优化方法-CN201210002439.9无效
发明人：彭策力;谢海燕;王建东 -专利权人：北京奇策科技有限公司
申请日： 2012-01-06 - 公布日： 2013-07-10 - 主分类号： G06F17/30 文献下载
摘要：本发明提供了一种对非确定性有限自动机提高匹配引擎的处理性能，即提高正则表达式匹配电路最大工作时钟频率的优化方法，包括如下步骤：(1)规则集合的分组；(2)非确定性有限自动机的构造生成与状态精简；(3)单状态扇出优化；(4)字符扇出均衡；(5)匹配电路的构造：利用非确定性有限自动机状态转移表构建匹配引擎，将每个非确定性有限自动机状态用一个D触发器表示，根据每个非确定性有限自动机状态的状态转移表确定不同状态的D触发器之间的逻辑连接关系
一种正则表达式匹配电路优化方法

[发明专利]一种利用自动机实现文本精确匹配的系统和方法-CN201110415222.6无效
发明人：李锋伟;姬乃军;刘灿;张英文;刘朝辉;邵宗有 -专利权人：曙光信息产业（北京）有限公司
申请日： 2011-12-13 - 公布日： 2012-06-27 - 主分类号： G06F17/30 文献下载
摘要：本发明提供一种利用自动机实现文本精确匹配的系统和方法，其包括：Dfa匹配引擎，用于接收输入文本；dfa跳转表，用于对Dfa匹配引擎接收的输入文本进行匹配查询，如果匹配成功，则进入匹配处理模块，否则进入下一轮的文本输入匹配本发明提供的利用自动机实现文本精确匹配的系统和方法，通过自动机对任何文本进行搜索、查询、匹配相应正则子串，同时利用自动机技术对所有正则子串生成自动机，只需遍历文本一遍，显著提高匹配的速度，同时也提高在文本匹配中的精度
一种利用自动机实现文本精确匹配系统方法

[发明专利]一种基于时间自动机模型的安全计算机平台系统-CN201510539511.5在审
发明人：李淑范 -专利权人：哈尔滨光凯科技开发有限公司
申请日： 2015-08-30 - 公布日： 2017-03-08 - 主分类号： G06F11/07 文献下载
摘要：本发明公开了一种基于时间自动机模型的安全计算机平台系统，包括安全表决模块，及与安全表决模块相连接的处理单元模块与数据输入输出模块；所述处理单元模块由四台处理单元工控机组成；所述数据输入输出模块包括两台数据工控机本发明的基于时间自动机模型的安全计算机平台系统，每一个过程被描述为由有限控制结构、实数值时钟和变量组成的时间自动机，过程之间通过管道和(或者)共享变量进行通信，管道用于保证不同自动机中两个转换同时执行；在对与性质自动机的乘积进行判空时，只在需要时生成系统自动机的状态，避免为系统建立整个状态空间，有效提高模型验证器的效率。
一种基于时间自动机模型安全计算机平台系统

[发明专利]面向批量未解释程序的联合验证方法-CN202210258615.9在审
发明人：陈振邦;王戟;杜一德;洪伟疆;毛晓光;董威;李姗姗;文艳军;陈立前;刘万伟;尹良泽 -专利权人：中国人民解放军国防科技大学
申请日： 2022-03-16 - 公布日： 2022-07-05 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种面向批量未解释程序的联合验证方法，步骤包括：S01.进行程序抽象得到程序自动机，使用保存的抽象模型对程序自动机进行精化；S02.判断精化后的程序自动机是否为空，如果为空则判定程序正确，转入步骤S05，否则转入步骤S03；S03.从精化后的程序自动机中抽取一条路径，若路径可行则判定程序错误，转入步骤S05；若不可行则转入步骤S04；S04.进行路径泛化得到反例自动机，对精化后的程序自动机进行精化
面向批量解释程序联合验证方法

[发明专利]一种基于RTL网表的有限状态自动机识别及提取方法-CN202310168225.7在审
发明人：李乐;黄子桓 -专利权人：湖南泛联新安信息科技有限公司
申请日： 2023-02-10 - 公布日： 2023-05-12 - 主分类号： G06F30/327 文献下载
摘要：本发明公开了一种基于RTL网表的有限状态自动机识别及提取方法，包括获取HDL代码，使用HDL代码生成的抽象语法树和RTL网表作为输入，遍历抽象语法树中声明的所有寄存器，检查每一个寄存器是否存在逻辑上的反馈，并收集存在反馈的寄存器作为待确定的状态寄存器；遍历RTL网表中所有待确定的状态寄存器，从所有待确定的状态寄存器为起始反向搜索，判断驱动对应待确定的状态寄存器的输入端口的网表结构是否符合有限状态自动机的状态转换逻辑的特征；若符合有限状态自动机的状态转换逻辑的特征，则根据识别出的有限状态自动机的网表结构，分析有限状态自动机的状态转换逻辑的驱动形式，输出有限状态自动机，构建状态转换图。
一种基于 rtl 有限状态自动机识别提取方法

[发明专利]一种卫星管控数据的加密处理系统-CN202211375839.4在审
发明人：李达;亢瑞卿;杜国超;苏鹏;方肖燕;亢志邦 -专利权人：北京开运平行空间技术有限公司
申请日： 2022-11-04 - 公布日： 2023-02-03 - 主分类号： G06T9/00 文献下载
摘要：用于对卫星数据中的高精度矢量数据进行加密处理；栅格数据加密处理模块，用于卫星数据中的栅格图像数据进行加密处理，本发明提出了一种利用分层压缩的高精度矢量图像加密方法，实现矢量图像加密，同时还设计了一种多演化规则的高阶可逆元胞自动机栅格图像加密方法，根据元胞自动机原理和定义，构造了多规则可逆元胞自动机，并证明了其可逆性，建立了栅格图像数据与多规则元胞自动机之间的映射，在二阶元胞自动机的基础上，扩充了密钥空间，通过提高元胞自动机阶数，取代对所有像素进行多次循环迭代加密
一种卫星数据加密处理系统

[发明专利]一种基于一维混合元胞自动机的汽车变厚度B柱设计方法-CN201711011351.2有效
发明人：段利斌;罗欣;杜展鹏;江浩斌;张学荣 -专利权人：江苏大学
申请日： 2017-10-26 - 公布日： 2019-06-28 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种基于一维混合元胞自动机的汽车变厚度B柱设计方法，包括：(1)将变厚度B柱沿轧制方向划分为若干一维元胞，进而建立变厚度B柱的一维元胞自动机模型；(2)确定变厚度B柱一维元胞自动机模型的设计变量与场变量；(3)确定变厚度B柱一维元胞自动机模型的厚度更新规则；(4)变厚度B柱一维元胞自动机模型的质量收敛准则判断；(5)变厚度B柱一维元胞自动机模型的全局收敛准则判断；(6)获得汽车变厚度B柱的最优厚度分布形式
一种基于混合自动机汽车厚度设计方法

[发明专利]一种基于时间自动机的跟车行为识别方法-CN201710146212.4有效
发明人：王峻;郭亚锋;张怡欢;王亮 -专利权人：同济大学
申请日： 2017-03-13 - 公布日： 2019-09-27 - 主分类号： G05D1/02 文献下载
摘要：本发明涉及一种基于时间自动机的跟车行为识别方法，包括以下步骤：S1，从交通数据集中提取原始跟车数据，将跟车模型的输入参数符号化；S2，利用时间自动机学习算法对跟车模型进行训练，得到跟车模型自动机；S3，将跟车模型自动机的隐藏状态作为跟车的子状态，对子状态聚类；S4，将概率低于设定值的子状态去除，然后归并成多个类别，每个类别对应一种跟车子行为；S5，获取实际跟车数据作为输入，通过跟车模型自动机获得跟车子行为与现有技术相比，本发明将多维连续时间序列符号化并学习生成一个具有很强的可解释性的跟车行为模型，通过自动机对符号进行学习，获得隐藏状态，并进行聚类，能更好的体现跟车的子行为。
一种基于时间自动机车行识别方法

[发明专利]一种恶意代码检测方法-CN200810089576.4有效
发明人：毛剑;韦韬;戴帅夫;邹维;王铁磊;张超;赵新建;李佳静 -专利权人：北京大学
申请日： 2008-04-08 - 公布日： 2008-09-17 - 主分类号： G06F9/45 文献下载
摘要：本发明方法包含a)获得已知恶意代码的有穷状态自动机；b)获得待检测的二进制可疑程序的下推自动机；c)使用模型检验方法检测所述的下推自动机和所述有穷状态自动机之间是否存在可以同时被两者接收的输入字符串，若是本发明利用有穷状态自动机来描述恶意行为，结合现有的工具和方法把可疑程序转换为下推自动机，然后利用已有的模型检验方法来检测可疑程序中是否包含恶意代码。可有效地用于互联网安全技术领域的恶意代码检测。
一种恶意代码检测方法

[发明专利]一种跨媒体知识语义表达方法和装置-CN202210685231.5有效
发明人：林峰;潘云鹤 -专利权人：之江实验室
申请日： 2022-06-17 - 公布日： 2022-09-09 - 主分类号： G06F40/30 文献下载
摘要：本发明提供一种跨媒体知识语义表达方法和装置，所述方法包括：根据预设的语义描述，进行数据采集，语义描述包括一有限语义产生式集合；将数据采集获得的拓扑结构的数据信息输入预设的与语义描述对应的自动机的堆栈中，自动机用于进行跨媒体知识映射，自动机包括一有限状态集、一输入词汇表和一堆栈，有限状态集用于指示自动机所包括的状态，输入词汇表用于指示自动机所包括的词汇；通过自动机将数据信息进行映射，获得数据采集所采集的目标对象的子结构和
一种媒体知识语义表达方法装置

[发明专利]一种CNC双头精雕全自动机-CN201410647622.3无效
发明人：詹宏亮 -专利权人：詹宏亮
申请日： 2014-11-04 - 公布日： 2015-04-01 - 主分类号： B44B1/00 文献下载
摘要：一种CNC双头精雕全自动机，包括机架底座、储片部件、治具部件、机械手、主轴部件、第一Y轴传动件、第二X轴传动件和第三Z轴传动件；所述机架底座设置在全自动机最底端；所述储片部件设置在全自动机的设置在机架底座上端的工作台面靠前端；所述治具部件设置在工作台面上端，储片部件后端；所述机械手与主轴部件连接；所述主轴部件设置在全自动机顶端靠前端；该CNC双头精雕全自动机：一，独特设有的机械手，可以迅速而又准确的抓取和放置待加工部件，并与全自动机连为一体
一种 cnc 双头精雕全自动机

[发明专利]电池检测系统-CN01136614.1无效
发明人：郑在贤;尹广峻;金亨哲;金榕元;崔源;全亨祚;郑玹权 -专利权人：三星电子株式会社
申请日： 2001-10-22 - 公布日： 2002-12-11 - 主分类号： G01R31/01 文献下载
摘要：一个或多个位于该电池供料传送带的后端附近的转送自动机械,用于将通过该电池供料传送带供料的电池转送到检测和卸料位置。一个位于所述转送自动机械下面的X射线发生器,用于将X射线施加到由该转送自动机械转送的电池上。一个位于该转送自动机械附近的合格电池卸料传送带,用于卸除由该转送自动机械移动并已经被检测的合格的电池。一个位于该合格电池卸料传送带的前端附近的缺陷电池卸料自动机械,用于从沿着该合格电池卸料传送带移动并已经被检测的电池移除缺陷电池。
电池检测系统

[实用新型]一种基于时间自动机模型的安全计算机平台系统-CN201520660716.4有效
发明人：李淑范 -专利权人：哈尔滨光凯科技开发有限公司
申请日： 2015-08-30 - 公布日： 2016-01-20 - 主分类号： G06F11/07 文献下载
摘要：本实用新型公开了一种基于时间自动机模型的安全计算机平台系统，包括安全表决模块，及与安全表决模块相连接的处理单元模块与数据输入输出模块；所述处理单元模块由四台处理单元工控机组成；所述数据输入输出模块包括两台数据工控机本实用新型的基于时间自动机模型的安全计算机平台系统，每一个过程被描述为由有限控制结构、实数值时钟和变量组成的时间自动机，过程之间通过管道和(或者)共享变量进行通信，管道用于保证不同自动机中两个转换同时执行；在对与性质自动机的乘积进行判空时，只在需要时生成系统自动机的状态，避免为系统建立整个状态空间，有效提高模型验证器的效率。
一种基于时间自动机模型安全计算机平台系统