公共文化服务平台

搜索到19734篇“ 自动机“的相关文章

翻转自动机: 本发明公开一种翻转自动机，包括：机架；横设于机架的输送装置，输送装置上输送设有第一治具和第二治具；设于输送装置的定位装置，用于第一治具和第二治具定位；设于机架的取料装置，用于在第一治具上取料，取料装置包括龙门架、安装于龙...; 康鑫段典超

一种贴膜自动机: 本发明公开了一种贴膜自动机，涉及贴膜机技术领域，包括贴膜标机，所述贴膜标机的两侧分别设置有上料机构和下料机构；所述上料机构包括上料机架、待贴膜料仓、贴膜后料仓、竖轴搬运机构、中转治具、校正治具、第一吸嘴、步进电机、同步轮...; 陆椅洋林育正杨旭许惠钧许雅筑

多功能自动机: 本发明涉及非标自动化技术领域，特别是一种多功能自动机，包括机架，工作台，机械手，固定支架，转盘组件，装配工具，对接组件，驱动组件以及操作台，所述机架包括上机位和下机位，所述下机位的一侧设置有第一配合组件；所述工作台安装在...; 翟保利陈光建廖文伟

一种自动机机械抓手: 本实用新型公开了一种自动机机械抓手，涉及机械手技术领域。该自动机机械抓手包括夹持底座、夹持电机、第一夹持手指和第二夹持手指，所述第一夹持手指与所述第二夹持手指设置在夹持底座前侧，且所述第一夹持手指与所述第二夹持手指中的至...; 符小芸俞国华肖冬刘帅

线材前处理自动机: 本发明公开一种线材前处理自动机，包括一机台（100），该机台由进线到出线方向依次安装有：一送线裁切模组（101），用于将线材送入到设定长度后裁断；一剥外皮模组（102），用于对裁断后的线材之端部剥外皮；一理编织模组（10...; 姚天金

一种胶布卷取自动机: 本实用新型适用于胶布卷取技术领域，提供了一种胶布卷取自动机，包括壳体，所述壳体的顶端固定有工作台，所述工作台的底端安装有电机，所述工作台的顶端设置有卷取杆，所述卡合槽设置于卷取杆顶端的内部，所述卡合槽的内侧壁上固定有卡合...; 严冰华谭亲城陈鸿山

有限状态自动机验证方法及装置: 本发明涉及计算机技术领域，提供一种有限状态自动机验证方法及装置，该方法包括：基于符合待验证的正则表达式的多个字符串，生成正则表达式对应的索引数据集；对每个字符串，以任一字符为中心字符，预设滑动窗口大小内的字符为背景字符，...; 童浩南任智新张闯

有限状态自动机验证方法及装置: 本发明涉及计算机技术领域，提供一种有限状态自动机验证方法及装置，该方法包括：基于符合待验证的正则表达式的多个字符串，生成正则表达式对应的索引数据集；对每个字符串，以任一字符为中心字符，预设滑动窗口大小内的字符为背景字符，...; 童浩南任智新张闯

Büchi自动机确定化分析工具: 2024年; 无限字自动机的确定化是理论计算机研究重要的一部分,在形式化验证,时序逻辑,模型检测等方面有重要应用.自Büchi自动机提出半个世纪以来,其自动机的确定化算法始终是其中的基础.有别于当初只是在理论上对其大小上下界的探索,利用日新月异的高性能计算机技术不失为一种有效的辅助手段.为了深入研究非确定性Büchi自动机确定化算法的实现过程,希望重点研究确定化过程中的索引能否继续被优化的问题,实现确定化研究工具NB2DR.可以对非确定性Büchi自动机进行高效的确定化,并通过工具提供的分析其确定化过程来达到对其确定化算法改进的目的.通过对生成的确定性无限字自动机的索引的深入分析来探索相关索引的理论.该工具还实现了可以根据需要的Büchi自动机的大小与字母表参数,生成确定化的Rabin自动机族,亦可以反向根据需要的指定索引的大小来生成全部Büchi自动机族,测试生成无限字自动机的等价性等功能.; 马润哲田聪王文胜段振华; 关键词：BÜCHI自动机

用于校准自动机单元的设备和方法: 本发明涉及用于校准自动机单元的设备和方法，所述设备包括：具有平面区域的校准块，该平面区域包括位于至少一个三角形的三个角处的至少三个标记元件，其中，用于校准包括至少第一组件的基于自动机的生产环境的处理器适于：接收所述校准块...; O·L·巴鲁克M·麦塔夫I·希罗基

相关作者