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

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

[实用新型]一种双机头全自动胶囊生产线-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 文献下载
摘要：本发明涉及一种高炮自动机故障诊断实验平台，属于武器装备研制领域，该实验平台包括自动机、位置传感器、控制器、气动机构，所述自动机具有炮闩，在所述自动机上设有传感器，用于采集所述自动机的相应信号，所述位置传感器安装在所述自动机后端，用于检测所述炮闩的位置，并将检测结果输送至所述控制器，所述控制器根据获得的检测结果向所述气动机构发送供气或断气的指令，所述气动机构根据接收到的相应指令向所述自动机供气或断气。本发明所研制的实验平台方便传感器和采集设备的布局，可以灵活预置自动机的一些典型故障，最大限度验证自动机故障诊断的相关理论方法。本发明可广泛用于院校、科研所进行高炮自动机故障诊断的试验研究。
一种高炮自动机故障诊断实验平台

[发明专利]一种基于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中的确定自动机进行优化，并将生成的确定自动机转换为状态机图形予以显示本发明针对断言综合的每一步，包括非确定和确定，和优化前后等不同情况，对断言自动机进行可视化，以帮助用户生成、理解和对断言的纠错。
一种形式验证断言综合可视化方法存储介质终端

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

[发明专利]自动机械调度方法、装置及ELA机台制备控制系统-CN201310095781.2有效
发明人：胡堂林;唐山河;周虹任 -专利权人：上海和辉光电有限公司
申请日： 2013-03-22 - 公布日： 2014-09-24 - 主分类号： H01L21/67 文献下载
摘要：本发明公开了一种自动机械调度方法、装置及ELA机台制备控制系统，该自动机械调度方法其包括步骤：步骤S1：控制该自动机械进行当前取放动作；步骤S2：对该自动机械的下一取放动作进行预判；预判各机台的下一取放作业的触发时间，以选取该自动机械的下一取放动作，在该自动机械的当前取放动作完成后，向该自动机械发出关于该下一取放动作的指令，控制该自动机械行进到该下一取放动作对应的机台的取放端口进行等待；步骤S3：控制该自动机械进行该下一取放动作
自动机械调度方法装置 ela 机台制备控制系统

[发明专利]自动数据存储库和自动机通信系统-CN200610137582.3有效
发明人： M·D·舒尔兹;G·A·伽奎特;B·G·古德曼;L·G·杰斯奥诺夫斯基 -专利权人：国际商业机器公司
申请日： 2006-10-26 - 公布日： 2007-05-02 - 主分类号： G11B21/02 文献下载
摘要：一种自动数据存储库，所述自动数据存储库具有多个存储架、一个或多个数据存储驱动器、母线；以及自动机存取器，所述自动机存取器具有用于移动所述自动机存取器的驱动器系统、存取器通信接口、配置为与所述母线接合和脱离接合的母线中继器；以及自动机控制器，所述自动机控制器配置为操作所述驱动器系统以移动所述自动机存取器、操作选取器、操作所述母线中继器在所述自动机存取器静止时与所述母线接合，以及在所述母线中继器与所述母线接合时通过所述母线中继器和所述母线提供与库通信接口的通信能力此外，可以在所述自动机存取器与所述自动数据存储库之间提供第二通信系统，其至少在所述自动机存取器正在移动时是可工作的。
自动数据存储自动机通信系统

[发明专利]基于自动机的区间时序逻辑概率模型检测方法-CN202110680507.6在审
发明人：雷丽晖;宋嫣然 -专利权人：陕西师范大学
申请日： 2021-06-18 - 公布日： 2021-08-31 - 主分类号： G06F30/27 文献下载
摘要：一种基于自动机的区间时序逻辑概率模型检测方法，由构建离散时间马尔可夫链模型、构建系统Büchi自动机模型、构建性质Büchi自动机模型、构建积自动机模型、生成PRISM代码、输出概率定量结果步骤组成，由于本发明采用了Büchi自动机模型实现区间时序逻辑性质的概率模型检测，在离散时间马尔可夫链模型的基础上，通过构建系统Büchi自动机、性质Büchi自动机、积自动机、模型检测器PRISM代码，得到概率定量结果，简化了构建步骤
基于自动机区间时序逻辑概率模型检测方法

[发明专利]动态调整多模匹配自动机的方法和装置-CN201610059390.9有效
发明人：李建欣;沈杰;刘哲;彭浩 -专利权人：北京航空航天大学
申请日： 2016-01-27 - 公布日： 2019-08-06 - 主分类号： G06F16/903 文献下载
摘要：本发明提供一种动态调整多模匹配自动机的方法和装置，其中，动态调整多模匹配自动机的方法包括：根据模式集合建立多模匹配自动机；若所述模式集合发生变化，则根据所述模式集合中发生变化的模式在所述多模匹配自动机中删除或者增添与所述发生变化的模式相对应的节点，根据发生变化的模式集合更新所述多模匹配自动机中剩余的节点。本发明提供的动态调整多模匹配自动机的方法，当模式集合发生变化时，可以通过对原有自动机进行调整获得新的自动机，提高了模式匹配的效率。
动态调整匹配自动机方法装置

[发明专利]一种压紧开关的双电磁机构控制机构-CN201410031490.1有效
发明人：杜海;廖选超;胡青;贺静 -专利权人：北京机电工程研究所
申请日： 2014-01-23 - 公布日： 2014-04-30 - 主分类号： H01H3/28 文献下载
摘要：本发明提出了一种压紧开关的双电磁机构控制机构，该自动机械开关包括压紧电磁铁、解锁电磁铁、锁紧芯体、安装连接件和供电线路。该自动机械开关用于控制某型压紧开关的松开、压紧。该自动机械开关通过安装连接件固定在某型压紧开关上。当给自动机械开关的解锁电磁铁供电后，自动机械开关处于“开”状态；当给自动机械开关的压紧电磁铁供电后，自动机械开关处于“关”状态。自动机械开关的供电线路受控于计算机输出的数字信号，从而实现自动化的机械开关。该自动机械开关因工作时间短，解决了产品长期供电导致的发热问题；删减了以前为解决发热而设计的部分，减小了产品体积，简化了产品设计，提高了可靠性。
一种压紧开关电磁机构控制

[发明专利]火炮自动机结冰结霜射击试验方法-CN201910714210.X在审
发明人：万先锋;陈蕊;蔡文城;邱为;袁文俊 -专利权人：广州克莱美特仪器设备科技有限公司
申请日： 2019-08-03 - 公布日： 2019-11-12 - 主分类号： F41A31/00 文献下载
摘要：本发明提出一种火炮自动机结冰结霜射击试验方法，在火炮自动机低温保温结束后同时启动环境舱升温系统与新风系统，升温过程采用快速升温模式，新风系统对常温环境空气进行过滤、加湿、加热处理。在环境舱温度快速升温的同时引入新风空气，且新风空气只对火炮自动机进行空气吹扫，以实现自动机外表面结霜现象，此时停止新风吹扫；随着温度升高，自动机表面开始出现水珠，待自动机表面完全出现水珠，用干净擦拭布将自动机表面水珠擦拭干净，然后进行低温存储，直至自动机表面、膛内结霜结冰后进行实弹射击试验。该方法在一个密闭干燥的环境舱内实现了结霜结冰试验，避免了因拆装自动机带来的火炮故障隐患，以及人员低温操作带来的安全隐患。
自动机火炮结冰结霜环境舱快速升温射击试验新风空气新风系统水珠安全隐患表面水珠常温环境低温保温低温操作低温存储故障隐患加热处理空气吹扫升温过程升温系统实弹射击擦拭布密闭拆装吹扫加湿试验擦拭过滤新风引入

[发明专利]基于城市交通拥堵蔓延分析的多尺度可变窗口元胞自动机模型-CN201910308240.0有效
发明人：邵峰晶;孙仁诚;隋毅;余翔;欧莉莉;司浚豪;李丕兵 -专利权人：青岛大学
申请日： 2019-04-17 - 公布日： 2023-09-08 - 主分类号： G06F30/18 文献下载
摘要：一种基于城市交通拥堵蔓延分析的多尺度可变窗口元胞自动机模型，该模型在城市交通系统复合网络中提取连续时间间隔上的拥堵子网的时间序列，建立元胞自动机状态转移函数，从而使得元胞自动机状态转移更符合实际交通系统的演化过程；在元胞自动机中导入时序状态可变长窗口概念，建立具有可变长状态窗口的元胞自动机扩展模型。本发明的有益效果是：在元胞自动机中导入时序状态可变长窗口概念，建立具有可变长状态窗口的元胞自动机扩展模型，以支持路况变化的多尺度分析。提出基于大数据分析的元胞自动机状态转移函数的构建方法，提取各类环境、交通要素下的交通拥堵状态转化规律，使得元胞自动机状态转移更符合实际交通系统的演化过程。
基于城市交通拥堵蔓延分析尺度可变窗口自动机模型

[发明专利]一种结合语言集合与拓扑结构的行为模型评价方法-CN201110102961.X无效
发明人：胡昌振;任宏宇;王崑声;薛静锋;马锐 -专利权人：北京理工大学
申请日： 2011-04-22 - 公布日： 2011-08-10 - 主分类号： G06F11/36 文献下载
摘要：从基于语言的集合开始将待测自动机和标准自动机的语言集合进行求解，分析对于非有限自动机是否能够部分求解，获取自动机不同状态和跳转所具有的权值，求取基于语言集合分析方法的评分；得到两个自动机的状态和跳转集合的重叠部分，利用精度和回归的评价方法对的到的集合进行分析，求取基于拓扑结构分析方法的评分：利用基于语言集合的分析结果计算待测自动机和标准自动机中每一个状态和跳转在所属自动机中具有的权值，构建扩展的精度和回归评价方法本发明为自动机中的每一个状态赋权，在将带有权值的状态结合基于拓扑分析的结果统一计算，改进精度和回归的计算公式。
一种结合语言集合拓扑结构行为模型评价方法

[实用新型]一种热洁炉自动机车举升装置-CN201721677141.2有效
发明人：孙省江 -专利权人：苏州辛贝思机电科技有限公司
申请日： 2017-12-06 - 公布日： 2018-08-21 - 主分类号： B66F11/04 文献下载
摘要：本实用新型提供了一种热洁炉自动机车举升装置，包括自动机车、炉内小车前横梁、自动机车举升机构、炉内小车和热洁炉，还包括自动机车安装板、凹型推挡块、橡胶垫块、隔热块、活动导向座、导向座、导向轴、液压缸、单向节流阀和活动安装板，所述自动机车安装于自动机车安装板上，所述自动机车举升机构上方设有炉内小车前横梁，所述炉内小车前横梁位于炉内小车的一侧边缘处，所述炉内小车另一端伸入热洁炉内。本实用新型采用双导向轴导向，导向稳定并保护了液压缸活塞杆的扭动；采用多个橡胶垫块使机车换向时能有效起到缓冲和减速作用；炉内小车被举升后，重量加载在自动机车上，增加了自动机车驱动轮的摩擦力，避免了自动机车驱动轮打滑的现象
机车炉内小车热洁炉前横梁本实用新型机车驱动举升机构举升装置橡胶垫块安装板液压缸活塞杆单向节流阀活动安装板活动导向减速作用双导向轴一侧边缘导向轴导向座隔热块推挡块液压缸缓冲扭动凹型打滑换向加载举升伸入