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

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

[发明专利]一种有限状态自动机的状态锁的检测方法及系统-CN202110418903.1有效
发明人：岳菊梅;闫永义;邓鹤;李东山;刘剑锋;孙广磊;康世禄 -专利权人：河南科技大学
申请日： 2021-04-19 - 公布日： 2022-09-30 - 主分类号： G06F9/448 文献下载
摘要：本发明涉及一种有限状态自动机的状态锁的检测方法及系统。该方法包括获取有限状态自动机的可接收的状态以及所有的状态；构造第一寄存器和第二寄存器；将所有的可接收的状态放置于第一寄存器中；将第二寄存器设置为空；获取有限状态自动机的非接收的状态，并将获取的非接收的状态放置于第二寄存器中；将第二寄存器中的状态放置于第一寄存器中；判断第一寄存器中当前的状态是否等于所有的状态；若是，则确定有限状态自动机不含状态锁；若否，则判断所述第二寄存器是否为空；若是，则确定有限状态自动机含有状态锁；若否本发明能够方便地检测有限状态自动机的状态锁。
一种有限状态自动机检测方法系统

[发明专利]环锭纺纱机的维护自动机械设备、环锭纺纱机及用于控制操作装置的组的方法-CN201910068226.8有效
发明人： M.莫拉维克;T.布洛泽克 -专利权人：里特机械公司
申请日： 2019-01-24 - 公布日： 2022-11-18 - 主分类号： D01H13/00 文献下载
摘要：本发明涉及环锭纺纱机的维护自动机械设备，其沿一排纺纱站可移位地布置，可选择停止在需要维护操作的选定的纺纱站处，由此维护自动机械设备设置有联接至驱动装置的操作装置组（3、4、5、6）。维护自动机械设备（1）布置为竖直框架，竖直框架设置有至少两个竖直线性导向件（2、18、20、21），由此两个竖直线性导向件中的至少一个与至少两个可移动的操作装置组（3、4、5、6）关联以执行纺纱站处的维护操作本发明还涉及带有维护自动机械设备的环锭纺纱机，维护自动机械设备沿着一排纺纱站可移位地布置，可选择停止在需要维护操作的选定的纺纱站处。另外，本发明涉及用于控制维护自动机械设备或其纺纱装置的方法。
纺纱机维护自动机械设备用于控制操作装置方法

[实用新型]一种热洁炉专用自动机车-CN201822191853.4有效
发明人：孙省江 -专利权人：苏州辛贝思机电科技有限公司
申请日： 2018-12-25 - 公布日： 2019-10-15 - 主分类号： F27D3/12 文献下载
摘要：本实用新型提供了一种热洁炉专用自动机车，包括热洁炉专用自动机车，所述热洁炉内部铺设有热洁炉轨道，所述热洁炉轨道延伸至热洁炉外侧，所述热洁炉轨道上部放置热洁炉载物小车，所述热洁炉载物小车由热洁炉专用自动机车抬起并送至热洁炉内；所述热洁炉专用自动机车包括液压动力单元、自动机车主框架、液压举升机构、安装底板和液压马达，所述自动机车主框架中部固定有一块安装底板，所述安装底板上安装有液压动力单元、液压举升机构和液压马达，所述液压动力单元控制液压举升机构和液压马达的动作
热洁炉载物小车机车液压动力单元液压举升机构安装底板液压马达本实用新型自动机车主轨道延伸框架中部频繁换向使用效率位置微调防滑轨道抬起牵引铺设

[实用新型]摘取及吸取式自动机器手臂-CN201921417326.9有效
发明人：依达也提·麦麦提明 -专利权人：依达也提·麦麦提明
申请日： 2019-08-27 - 公布日： 2020-06-30 - 主分类号： B25J15/00 文献下载
摘要：本实用新型提供了一种摘取及吸取式自动机器手臂，属于机器手臂技术领域。本实用新型包括四指机械夹指具、自动机械手臂、吸取器管子和电动吸取器，四指机械夹指具安装在自动机械手臂上端的一侧，吸取器管子设置在自动机械手臂的一侧，电动吸取器与吸取器管子的后部相连通，吸取器管子的吸取器管子吸入口设置在四指机械夹指具的一侧本实用新型是在利用自动机械手臂加上摘取式自动机械夹指抓取制定物品并用吸取式管把摘取物品放入制定仓里，这种方式可以提高农业或其他行业产物的摘取回收速度及准确效率，可减少人工摘取回收经费和时间并大幅度减少二次加工经费和时间
摘取吸取自动机器手臂

[实用新型]一种瓶式应变传感器-CN202121188685.9有效
发明人：何志峰;马建华;黄鸿波 -专利权人：杭州传感器有限公司
申请日： 2021-05-28 - 公布日： 2021-11-19 - 主分类号： G01L1/22 文献下载
摘要：将模拟瓶放到自动机械上，自动机械将瓶盖拧在瓶身上时，对瓶身产生压力，应变片会检测到微小的变形，然后转化为应力传递给应力显示器，操作人员可通过应力显示器显示的应力数值对自动机械进行校准；便于检测自动机械对瓶身的压力，便于操作人员对自动机械校准。本申请具有提高检测自动机械对瓶身压力时的检测精度的效果。
一种应变传感器

[实用新型]一种自动插螺丝注塑成型装置-CN201320348009.2有效
发明人：柳伟东 -专利权人：武汉源诚泰螺丝精密五金有限公司
申请日： 2013-06-18 - 公布日： 2013-12-18 - 主分类号： B29C45/14 文献下载
摘要：本实用新型公开了一种自动插螺丝注塑成型装置，包括振动盘、导轨、自动机夹具，振动盘上固定有导轨，导轨引出振动盘的一端末端与自动机夹具可滑动连接，模芯置于自动机夹具的正下方。所述的导轨为不锈钢材料，导轨固定于振动盘上的部分为半圆形，引出振动盘与自动机夹具滑动连接的部分为直线形。本实用新型通过自动化大量的节省了人力，减少人力成本支出，直接避免因各种人为因素造成的不良，极大的实现标准化生产，提高生产效率。
一种自动螺丝注塑成型装置

[发明专利]语义Web服务组合的自动验证方法及其系统-CN201410089115.2有效
发明人：唐郑熠;王颖;胡文瑜;陈义;王金水 -专利权人：福建工程学院
申请日： 2014-03-12 - 公布日： 2017-04-12 - 主分类号： G06F9/44 文献下载
摘要：本发明提供一种语义Web服务组合的自动验证方法及其系统，将OWL‑S描述的Web服务转化为一台原子过程自动机，将原子过程自动机组合为组合过程自动机；消除组合过程自动机的冗余并发和同步迁移，获得优化模型；依据用户限定的相容性要求，确定组合过程自动机的可接受位置集合；依据用户限定的有效性要求，确定逻辑公式CSV；将优化模型转换为UPPAAL的建模语言；将可接受位置集合和逻辑公式CSV表示为CTL公式；将建模语言描述的组合服务模型与
语义 web 服务组合自动验证方法及其系统

[发明专利]可检测模具断损的自动浇铸检测方法-CN201910941391.X有效
发明人：黄皓伦;陈柏儒 -专利权人：达详自动化股份有限公司
申请日： 2019-09-30 - 公布日： 2021-12-28 - 主分类号： B22D37/00 文献下载
摘要：本发明是关于一种可检测模具断损的自动浇铸检测方法，由一控制装置电连接一浇铸炉装置及一自动机械装置，该控制装置令该自动机械装置夹取一模具移动至一作业位置，该控制装置令该浇铸炉装置对该模具进行一浇铸作业，并接收该自动机械装置回馈的一组浇铸受力信息，再将该组浇铸受力信息与一组断损检测信息比对，以产生一模具状态结果信息，该控制装置根据该模具状态结果信息令该自动机械装置夹取该模具移动至一下料区，藉由该自动机械装置检测浇铸时的受力状况以得知模具状况，避免需人工检视在该浇铸作业中的模具破损状况而受伤
检测模具自动浇铸方法

[发明专利]一种用于从基于块的仿真模型中的被仿真的技术组件以计算机实施的方式生成状态机的方法-CN201980100509.4在审
发明人：马丁·威特 -专利权人：西门子股份公司
申请日： 2019-09-17 - 公布日： 2022-04-26 - 主分类号： G06F30/20 文献下载
摘要：VO、HF、TE)中选择一个或多个变量(SP、TR、VO)；b)为每个选定的变量(SP，TR，VO)生成多个离散状态(S0，S1，V0，V1，T0，T1)；c)为每个选定的变量(SP，VO，TR)生成自动机(A1，A2，A3)；d)从所有选定的变量(SP，TR，VO)的自动机(A1，A2，A3)中生成第一产品自动机(PA)；e)基于应用于仿真模型(SM)的预限定规则(RU)，从第一产品自动机(PA)中移除多余的向量转换(VT')，其中，不包含被移除的多余的向量转换(VT')的第一产品自动机(PA)是第二产品自动机(PA')，该第二产品自动机是生成的状态机。
一种用于基于仿真模型中的技术组件计算机实施方式生成状态机方法

[发明专利]一种智能电网分布式网络协议安全性检测方法-CN201510083963.7有效
发明人：陈志;彭超宇;岳文静 -专利权人：南京邮电大学
申请日： 2015-02-16 - 公布日： 2017-08-29 - 主分类号： H04L29/06 文献下载
摘要：本发明给出一种智能电网分布式网络协议安全性检测方法，该方法将智能电网分布式网络协议用时间自动机组成的状态迁移系统表示，用时序逻辑公式表示智能电网分布式网络协议安全性所需满足的条件；在没有攻击者的情况下对分布式网络协议安全性进行检测；在引入攻击者后，再次对分布式网络协议安全性进行检测。具体为步骤1)对分布式网络协议建立基于时间自动机的状态迁移系统及检测，步骤2)建立攻击者模型并对分布式网络协议的安全性进行检测，步骤3)建立检测者模型并对分布式网络协议安全性进行改进本发明在检测，发现安全性问题时，还可以通过检测者模型对这些问题进行检测，让用户对协议进行持续改进，能够有效提高智能电网分布式网络协议的安全性。
一种智能电网分布式网络协议安全性检测方法

[发明专利]基于耦合自触发元胞自动机加解密方法-CN201510334344.0在审
发明人：张琨;郜飞;卞雪雯;刘健;冯新淇 -专利权人：南京理工大学
申请日： 2015-06-16 - 公布日： 2015-11-25 - 主分类号： H04L9/00 文献下载
摘要：本发明公开了一种基于耦合自触发元胞自动机的加解密算法，根据耦合和触发元胞自动机的性质，采用相互作用的n个元胞自动机作为一个整体，构造出耦合自触发元胞自动机加解密系统。
基于耦合触发自动机解密方法

[发明专利]一种面向比特的基于仿生元胞自动机的图像置乱方法-CN201510440066.7在审
发明人：平萍;毛莺池;许峰;许国艳;戚荣志;吕鑫 -专利权人：河海大学
申请日： 2015-07-23 - 公布日： 2015-12-09 - 主分类号： G06T1/00 文献下载
摘要：本发明公开一种面向比特的基于仿生元胞自动机的图像置乱方法，所述方法的置乱步骤为：首先提取明文图像的像素矩阵，然后将明文图像的像素矩阵转换为二进制矩阵，接着给仿生元胞自动机赋初值，仿生元胞自动机根据规则B3/S1234进行K步迭代，最后利用仿生元胞自动机每步迭代的结果实现图像的置乱。
一种面向比特基于仿生自动机图像方法

[发明专利]一种基于可逆仿生元胞自动机的图像加密方法-CN201710177202.7在审
发明人：平萍;毛莺池;许峰;许国艳;戚荣志;吕鑫 -专利权人：河海大学
申请日： 2017-03-23 - 公布日： 2017-07-21 - 主分类号： G06T1/00 文献下载
摘要：本发明公开了一种基于可逆仿生元胞自动机的图像加密方法，所述方法的加密步骤为首先将明文图像像素矩阵转换为二进制数矩阵，再把二进制矩阵按左右分成大小相同的两部分，分别作为仿生元胞自动机两个初始状态，接着选取一个仿生元胞自动机规则作为密钥，利用仿生元胞自动机的迭代进行加密。
一种基于可逆仿生自动机图像加密方法

[发明专利]一种状态变化器及有限自动机器-CN202110418085.5在审
发明人：闫永义;岳菊梅;邓鹤;李东山;刘剑锋;孙广磊;康世禄 -专利权人：河南科技大学
申请日： 2021-04-19 - 公布日： 2021-06-25 - 主分类号： G06F9/448 文献下载
摘要：本发明涉及一种状态变化器及有限自动机器。并且，本发明提供的包括有上述提供的状态变换器的有限自动机器，通过状态变换器可以实现有限自动机器中传输信号长度奇偶性的状态检测，从而为复杂的有限自动机器在工程领域的硬件实现提供有益的设计思路。
一种状态变化器有限自动机器

[发明专利]一种从TASM时间抽象状态机到扩展NTA自动机的转换方法-CN201510775885.7有效
发明人：叶俊民;胡珏鹏;陈曙;郭思培;周伟;舒江波;徐晨;王继新 -专利权人：华中师范大学
申请日： 2015-11-13 - 公布日： 2018-08-24 - 主分类号： G06F8/40 文献下载
摘要：本发明涉及应用领域中间模型进行转换的方法，提供一种能够直接将TASM时间抽象状态机模型转换为扩展NTA自动机的方法，以进一步帮助用户实现设计结论的验证。本发明方法的主要步骤如下：（1）建立基于TASM时间抽象状态机源模型结构和扩展NTA自动机目标模型结构的元模型。（2）创建TASM时间抽象状态机源模型到扩展NTA自动机目标模型的转换规则。（3）利用转换规则，实施TASM时间抽象状态机源模型到扩展NTA自动机目标模型的转换。
一种 tasm 时间抽象状态机扩展 nta 自动机转换方法