自动机相关论文
由于自动机曲柄连杆机构的质心在纵向不断运动，在高低过载交替发生的情况下，曲柄和连杆受到交替时变惯性载荷作用，产生动挠度，引起自动......
在美国文化中，机器人概念经历了“自动机”（automaton）到“机器人”（robot），再到“赛博格”（cyborg）的变化，分别反映了美国相应时代的社会关......
对故障检测来说,预测比诊断更能降低故障对系统造成的损失,但即使大多数的故障事件串是可预测的,只要有一个故障事件串是不可预测......
模型学习是一种获取黑盒软件系统行为模型的有效方法,可分为主动学习和被动学习.主动学习是基于字母表构造测试用例,通过与黑盒系......
本文以某预研项目为背景,针对某药筒有序回收外能源转管自动机进行动力学特性分析。在综合分析国内外研究现状的基础上,分析了转管......
本文以某水下自动机项目为背景,以该水下自动机的密封和前导装置为研究对象,针对其在水下工作的工况特点,在水下自动机的发射过程......
自动机是高射速装备系统的核心部件,其能否可靠工作对装备效能的发挥起决定性作用.本文提出了一种基于数据驱动的自动机关重件故障......
当今正处于信息爆炸时代,信息具有数据量大,来源广,不确定等新特点.一方面,需要将多种信息进行有效的融合,另一方面需要提取关系到......
数论与遍历论是数学中两个重要的领域.近年来,动力系统的理论在数论问题的应用越来越广泛,比如著名的Borel正规数定理可以通过Brik......
本文从智能的起源与目标开始讨论,重新梳理人工智能史前的历史进程.在此背景之下,回顾智能控制从学习控制到平行控制的演化过程,进......
针对迷宫在求最优路径时存在冗余点多、内存开销大的问题,文中以自动机为基础,提出了一种针对复杂大规模迷宫中的Dijkstra优化算法......
泛心论近年来备受瞩目,查尔默斯等人注意到,强人工智能势必会导致某种很强的泛心论观点.但是这种泛心论高度依赖信息概念或计算概......
摘要：基于模型检测技术，使用SPIN对WTP协议进行了建模和分析.应用自动机和Promela对协议进行建模，利用LTL规范了协议需要满足的安全性......
摘要：该文详细介绍了统一建模语言和模型检测技术，在此基础上，该文研究了基于交互自动机和时态逻辑的UML交互模型性质检测方法，提出了......
近日，在第三届智能网联汽车产品检测与认证技术国际论坛上，国际自动机工程师学会执行副总裁兼首席运营官Raman Venkatesh宣布，CATARC......
记者（以下简称“记”）：范主任，您好！很高兴您接受我们的采访。自03式步枪在《兵器知识》2004年第11期公开亮相以来，受到了广大读者和兵器......
摘要：RG是形式语言中最典型的一类文法。主要讨论和分析了RG的一种识别分析方法，给出了该方法的主要算法及实现的关键技术。对文法识......
04式自動榴弹发射器是我军现装备的第二代自动榴弹发射器，是为了更好地适应我军机械化程度日益增强的需要，克服87式自动榴弹发射器射......
M16的缺点 M16作为一支很有特点、很有个性的枪械，优点固然突出，缺点也不容小视。 使用上的缺点 拉机柄 上文我们说过，射......
M16/M4/AR15的枪机装配示意，击针锁住导柱和枪机，导柱在枪机框开闭锁螺旋槽内运动，带动枪机完成开闭锁功能 @表尺准星问：小编，在《十......
在我看来，MAG机枪是一只真正的的“缝合怪”。 我的一个师弟有句名言：“世界名枪一大抄，各个都是缝合怪，给我四个小时，我一定能给一......
论及苏／俄的枪械大师，毫无疑问，卡拉什尼柯夫应该坐上头把交椅。他60年前设计的AK47突击步枪直到今天仍随处可见，应用之广、生命力之强......
手持M16A1步枪的美军队员，该枪加装有M4A消声器人体工程学实验室的参选消声器 为了给美军提供消声器，美国陆军的人体工程学实验室......
专栏简介 轻兵器装备理事会成立于2012年。成立至今，理事会不忘初心，利用《轻兵器》杂志、理事会论文集及各个新媒体平台，积极致力......
问 理论射速和战斗射速是怎样计算出来的？ 广西 黄冠兰 答 射速，即射击频率，是武器每分钟平均发射的弹头数量。理论射速是根据......
QLZ87或35mm自动榴弹发射器是我军第一代班组用自动榴弹发射器，填补了我军装备的空白，其在设计上也有许多亮点之处。但经部队使用反......
QLZ87式35mm自动榴弹发射器是我军第一代步兵班组制式榴弹发射器，目前已大量装备我军地面部队。其主用弹种为杀伤弹与破甲杀伤弹：发......
水下枪械主要装备海军蛙人部队和其他两栖侦察作战部队，用于其执行水下渗透，爆破、排雷、侦察、破袭、水下警卫等任务时消灭敌水下有......
<正> 我厂在一机部机械研究院机电所的大力协助下,试制成功了一台活塞销冷挤压自动机(图1),使活塞销生产采用了先进的冷挤压工艺,......
混合动态系统(HDS)同时包含连续变量动态系统(CVDS)和离散事件动态系统(DEDS)以及二者之间的相互作用关系,系统的状态为状态对—连......
该文针对制造系统中的死锁问题,从制造系统的调度和控制着手,运用Petri网,自动机,通讯顺序进程对制造系统建模,结合遗传算法,银行......
本文主要研究非经典自动机和形式语言理论中的几个基本问题。具体研究内容如下： 在第二章中，我们对量子计算理论方面的研究进展作......
随着金融证券管理、Internet流量监控、Web使用日志等新型应用领域对数据的管理与分析提出了新的要求,数据流及其相关技术已经成为......
近年来,非线性系统的分析越来越受到广大学者的关注,由于系统模型本身的非线性,使得非线性系统的分析、求解和控制设计陷入困难的......
该文简述了国内外应用广泛的三类得要的自动机与一类著名的布尔函数的主要研究成果.对布尔代数上的自动机进行了研究,同时根据线性......
该文提出了如何将具有各种运算符的正则表达式转化为查询自动机的方法.针对XPath规范中规定的"∥"操作符,即祖先—后代关系操作符,......
XML在信息管理、电子商务、个性化出版、移动通信、网络教育、电子文档交换等诸多领域得到了广泛应用，已经开始成为Internet上数据......
语音识别即语音信号处理是当今信息科学研究领域中的一个重要分支，它是将数字信号处理与语音学相结合，解决现代通信领域中人与人之间......
本文主要研究分划逻辑在线性序结构上的表达能力及其相关性质，主要创造性工作由以下两部分组成：(1) 将确定型自动机和分划逻辑各类型......
学位
正则表达式是一种能够提供复杂查询能力的技术,其通过特定的语法结构来描述出一类文本的共同特征。其强大的表达能力和简洁的语法,......
作为一种自动化的程序验证方法,近几十年来模型检测技术在软硬件程序、通信协议以及安全协议等领域的正确性分析和验证中得到了广......
