自动机
- 基于自动机的用户名合法性检测方法
提出了有限状态自动机的概念[8]，并在后续的研究中针对字符串匹配问题提出了有限状态自动机算法—Aho - Corasick(AC)算法[9].该算法与上述传统算法相比，只需扫描一遍字符串即可，且其时间复杂度与模式串的规模无关，因此该算法受到学者们的关注.目前利用该方法虽然可以检测用户名字符串中包含的类别，但无法检测用户名长度，因此其应用性受到一定限制.为此，本文提出了一种新有限状态自动机，并通过分析验证了该自动机的有效性.1 有限状态自动机传统的有限状态自
延边大学学报（自然科学版） 2022年2期2022-09-13
- 二维元胞自动机模型的精确解
）0 引言元胞自动机（Cellular Automata，以下简称CA）是为模拟包括自组织结构在内的复杂现象提供的一个强有力的方法，也称为细胞自动机.据文献［1］，J.Von Neuman n为早期CA的发展作出了很大的贡献，他的这个思想来源于Staislaw Ulam.其目标是设计一个具有通用图灵机那样自我繁殖的人工系统可计算的模型.Staislaw Ulam给出建议后，J.Von Neuman n采用二维元胞空间即CA结构，使用具有29个状态的二维元胞
伊犁师范大学学报(自然科学版) 2022年1期2022-07-06
- 冯诺依曼型元胞自动机和自指语句
明1 引言元胞自动机（Cellular Automata,CA）是一类时间和空间离散的数学系统，其特征是局部相互作用和内在的并行演化形式。元胞自动机这一概念起源于冯诺依曼（von Neumann）在“自动机的一般逻辑理论”（The General and Logical Theory of Automata）中所提出的二维自复制自动机系统。（参见[12]）元胞自动机结构、规则简单，但能产生复杂的行为模式，因此作为一类复杂系统的最简单数学表示，被广泛应用于交
逻辑学研究 2022年1期2022-03-31
- 几类带空转移的n元伪加权自动机的关系*
19)1 引言自动机理论是计算机科学理论的基础。1961年,Schützenberger[1]提出了加权有穷自动机的概念。加权有穷自动机是经典的非确定型有穷自动机的状态转移函数、初始状态和接受状态都附加上权重而形成的一种有穷自动机,这些权值形成的代数结构一般为半环,得到了广泛研究[2 - 6]。1967年,Wee[7]提出了模糊有穷自动机的概念,开启了模糊自动机理论研究的历程。此后,又有学者相继提出了取值于完备正交模格的自动机[8，9]、取值于完备剩余格的
计算机工程与科学 2022年2期2022-03-22
- 确定型有限自动机生成最短正则表达式的启发式算法研究
式与确定型有限自动机同属于正则语言模型，具有相同的表达能力，可以等价地相互转换。虽然自动机容易转化为高效的计算机内部程序，但状态间复杂的变迁关系难于理解，无法在工程实践中直接用于语法规则的设计和交流。根据自动机生成易于阅读的正则表达式有助于正则语言的理解和应用，也可以更广泛地应用自动机学习的研究成果，是形式语言领域研究的一个经典问题。将确定型有限自动机转换为正则表达式的经典方法主要有3种：状态消减法、Brzozowski代数法和传递闭包法[1]。这3种方法
微型电脑应用 2021年11期2021-12-09
- 识别幺半群直积的最少状态DFA
能够被确定有穷自动机（简称DFA）识别的语言称为正规语言。文[1]定义正规语言中的乘法运算为字符串的毗连。识别正规语言的DFA一般不唯一。文[2]定义：在识别一个语言的所有DFA中，有一个初始状态，且终结状态最少的DFA称为识别这个语言的最少状态DFA。若存在正规语言到半群S的同态满射，本文中也称能够识别这个正规语言的DFA可以识别半群S。文[3]证明了当每个幺半群只有一个R类时，识别这些幺半群强半格的最少状态DFA的终结状态的个数等于幺半群的个数。文[4
科学技术创新 2021年17期2021-11-30
- 基于自动机理论的密码匹配方法
提出了有限状态自动机的概念[6].随后，学者们利用有限状态自动机对字符串匹配的问题进行了研究.例如：文献[7]给出了一种高效的有限状态自动机的存储表示方法，并基于这种存储表示方法建立了一种效率高于KMP算法的模式匹配算法；文献[8]提出了一种基于自动机的多模式匹配算法(AC算法)，该算法在匹配失败时能够高效跳转，因此其匹配效率较好.但目前相关研究中所提出的自动机状态数目都是固定不变的，即仅能匹配特定的输入字符串，因此具有很大的局限性.为此，本文提出了一种新
延边大学学报（自然科学版） 2021年2期2021-07-29
- 物联网系统时间自动机建模的研究与应用
分的考虑。时间自动机可以直观地刻画实时系统与时间有关的行为[8]，是物联网实时系统进行设计和建模的重要方法。基于时间自动机的理论研究，也产生了许多时间自动机建模和模型检测工具[9]。本文探讨了基于时间自动机进行物联网系统建模的理论、方法、工具和建模实践。以物联网温度传感器感知物理温度环境为例，说明了基于时间自动机理论使用UPPAAL建模工具进行物联网系统建模和模型检测的方法，并进行了温度感知的建模实践。1 相关工作在时间自动机的理论研究方面，文献[10-1
计算机应用与软件 2021年6期2021-06-21
- FDFA及其在发动机故障诊断中的应用
引言单位模糊自动机在模糊自动机半群中的某一时刻会对应多种不同的状态，每一种状态都对应着不同的可信度，这样模糊自动机半群就能与现实世界和客观事物比较贴合，能够比较真实地反映现实世界。但是半群自动机的推导等价并不容易实行，即便是对复杂程度较低的有限半群自动机也有一定的困难。在神经网络技术和模糊技术发展的背景下，模糊自动机得以快速发展并取得了广泛的应用[1-3]。在现代战争方面的应用尤为突出，面对狡猾的敌人如何识别真相是一个难题；又如列车前方障碍物的识别、汽车
广西大学学报（自然科学版） 2020年5期2021-01-20
- Mediator的概率扩展*
基本结构，使用自动机作为最基本的模型单位，对模型进行形式化描述。自动机可以被连接构成系统，从而用于描述更加复杂的系统行为。系统也可以被视为更复杂系统中的组件进行组合，从而形成一种层次化的模块化结构。与PRISM[3]、UPPAAL[4]等形式化建模工具相比，Mediator不需要使用者有丰富的形式化领域的专业知识，更加方便被学习使用。目前对Mediator也有一些验证和代码生成的工作，例如由Mediator代码自动生成一些程序语言的代码[2,5]，将Med
计算机工程与科学 2020年8期2020-09-03
- 基于Büchi自动机化简的JavaMOP监控器构造方法
基于Büchi自动机化简的监控器构造方法,降低JavaMOP运行时验证的时间和内存开销。1 相关知识1.1 线性时态逻辑线性时态逻辑(linear temporal logic，简称LTL)是一种与时间有关的模态时序逻辑。引入LTL公式来描述系统行为属性，通过使用原子命题、析取操作符(∨)、next算子(X)、until算子(U)和否定操作符号()定义LTL公式的集合。定义2(LTL语义) 令u=u0u1…∈Σω是一个无限状态序列，且Σ=2P，u满足LTL
桂林电子科技大学学报 2019年5期2019-12-27
- 格值交替树自动机∗
将交替的概念与自动机相结合,提出了交替自动机的概念[6],随后,这一类型的自动机在形式化证明中被作为一种有用的模型普遍使用[7−14].Zhou[15]在原有交替ω-有穷自动机接受条件的基础上定义了6种新形式的接受条件,并研究了交替ω-有穷自动机在这些条件下接受语言的能力.Vardi在研究线性时序逻辑[14]时,给出了用自动机理论方法来研究模型检测的新思路,即,把模型检测的可满足性问题转化为判断自动机语言是否为空的问题来讨论.Vardi运用Muller等人
软件学报 2019年12期2019-10-26
- 有关时间自动机重置的若干问题的计算复杂性*
1 引 言有限自动机的重置(或同步)问题[1],最早由Černý在1964年提出,重置的概念从此逐渐受到关注和不间断的研究,形成了许多成果,吸引了来自计算机、数学、控制和生物领域的研究人员,这些成果已应用在离散事件系统控制、软件测试、生物信息计算[2-4]和机器人[5]等领域.重置有限自动机的关键是构造重置字(或序列):有限自动机通过运行重置字w,将从任意一个未知的或无法观测到的状态到达某个特定状态qw.这仅依赖于w自身,而与w开始运行时有限自动机所处的状
软件学报 2019年7期2019-08-13
- 元胞自动机在地理学中的应用综述
要：由于元胞自动机在模拟空间复杂系统的时空演变方面具有巨大的优势，因此，经常被用于复杂系统的建模与模拟。元胞自动机与地理学结合有较强的优势，通过分析元胞自动机在地理学各领域的应用现状，提出了现阶段元胞自动机存在的不足之处。关键词：元胞自动机；地理学；研究综述中图分类号：P208 文献标识码：A 文章编号：1003-5168（2018）07-0024-02Application of Cellular Automata in GeographyGUO Ke
河南科技 2018年7期2018-09-10
- 有限自动机可识别语言的基数
5901 引言自动机是计算理论中最简单的数学模型[1]。它不仅是计算机科学理论的基础，而且与神经网络和模型论等领域密切相关[2-3]。有限自动机在软件工程、句法分析、形式语言和程序语言等多个领域得到了有效的应用[4-6]。由于自动机具有固定的内在状态、记忆能力和识别判断能力或决策能力，因此它适宜于作为一切信息系统的数学模型[7-9]。特别的，在形式语言方面，自动机提供了一种处理语言的可靠工具[10-11]。自动机可识别语言[12-14]是形式语言与自动机理
计算机工程与应用 2018年15期2018-08-01
- 基于有穷论域下区间时序逻辑的模型检测研究∗
性的基础上利用自动机技术给出了一个模型检测工具的设计及实现。2 概念2.1 模型检测在计算机科学中，模型检测指的是给定一个系统模型，彻底地、自动地检查该模型是否符合某个给定的要求。一般的，在软件或者硬件系统中，给定的要求一般包含像无死锁的这样的安全需求和一些可能导致系统崩溃的关键状态。模型检测是一种自动化地验证有穷状态系统的属性正确性的技术。为了利用算法解决模型检测的问题，系统模型和要求说明都必须用精确的数学语言来表达。为达到这样的目的，模型检测被表述为一
计算机与数字工程 2018年7期2018-07-31
- 基于二维连续元胞自动机的交通流仿真分析
国内外应用元胞自动机研究交通流的文献非常丰富，但大部分都是基于传统的元胞自动机[1]进行研究。传统元胞自动机模型中，道路按照一定长度d沿车道中心线方向(x方向，以下简称为纵向)被划分为多个离散的单元(元胞)，每个元胞中储藏着包括有无车辆等信息的数值，这些数值按照设定的规则进行更迭变化。以道路片段为元胞的描述如下图所示。在此的基础上，Öznur Yeldan提出了一种连续型元胞自动机[2]，在模型中舍弃了传统元胞自动机将道路片段作为元胞的思路，而代之以道路中
福建质量管理 2018年9期2018-05-17
- 广义标准自动机及其商自动机
提出一种抽象的自动机—图灵机,用来定义可计算函数类,自此开创了自动机理论的抽象研究[1]。二十世纪五六十年代,由于计算机、通信和人工智能的兴起,自动机理论得到了迅速发展。自动机不仅成为计算机科学的理论基础,而且在信息科学、生命科学、管理学、控制学等众多学科领域有着广泛应用[2-8]。设自动机A=(Q,Σ,δ), 任取q∈Q, 令〈q〉表示集合{δ(q,u) |u∈Σ*}。 称自动机A(q)=(〈q〉,Σ,δ〈q〉×Σ)为由q生成的子自动机[5], 其中δ〈
西北大学学报（自然科学版） 2018年2期2018-04-18
- 基于随机无穷自动机的多功能雷达辐射源识别方法
)基于随机无穷自动机的多功能雷达辐射源识别方法曹 帅*，王布宏，李龙军，刘帅琦(空军工程大学 信息与导航学院，西安 710077)(*通信作者电子邮箱465782523@qq.com)针对基于随机上下文无关文法(SCFG)建模的多功能雷达(MFR)辐射源识别问题，提出了一种基于随机无穷自动机(SISA)的MFR辐射源识别方法。在文法建模的基础上，对“水星”MFR控制模块文法产生式和系统特征文法产生式进行重新构造生成SCFG，利用SCFG构造随机无穷自动机作
计算机应用 2017年2期2017-04-20
- 全射弹寿命过程中的大口径机枪自动机磨损和性能衰减趋势研究
中的大口径机枪自动机磨损和性能衰减趋势研究齐玉辉，徐诚（南京理工大学机械工程学院，江苏南京210094）大口径机枪在全射弹寿命过程中的自动机关键部位磨损和性能衰减情况对机构功能和动作可靠性将产生影响，从而影响武器的使用性能和作战效能。以某型大口径机枪作为试验对象，测量全射弹寿命过程中自动机关键部位磨损情况和自动机性能衰减情况，统计自动机故障。研究结果与分析表明：全射弹寿命过程中的枪机闭锁支撑面磨损量和开闭锁曲线磨损量不大，枪机框导轨磨损量较大；随着射弹量的
兵工学报 2016年8期2016-10-15
- 带空移动的加权有限自动机量化等价及其转换
移动的加权有限自动机量化等价及其转换汪 国 武(安徽工程大学计算机与信息学院安徽 芜湖 241000) (安徽工程大学计算机应用技术重点实验室安徽 芜湖 241000)在经典的有限自动机理论中，带空移动的有限自动机与不带空移动的有限自动机是等价的。取值于实数的加权有限自动机是自动机的一种推广模型，它给经典自动机的每个转换赋一个取值于实数的权值，这些权值表示执行转换的代价。为了研究带空移动的加权有限自动机与不带空移动的加权有限自动机是否具有等价性这一问题，提
计算机应用与软件 2016年8期2016-09-08
- 加权Besicovitch-Eggleston集的Hausdorff维数
重排性质的元胞自动机作用下的加权Besicovitch-Eggleston型集。通过构造一个概率测度及应用Billingsley定理，得到此类集合的Hausdorff维数dimHEF,P。关键词: 符号空间； 加权Besicovitch-Eggleston集； 元胞自动机； Hausdorff维数MR subject classification: 28A78并在1934年证明了它的Hausdorff维数(i=0,1,…,c-1)},Eggleston证明
陕西师范大学学报（自然科学版） 2016年3期2016-06-20
- 正规文法与有穷自动机的等价性研究
正规文法与有穷自动机的等价性研究李忠武 保山学院 云南保山 678000【文章摘要】正规表达式首先由Keene在20世纪50年代开始研究。McCullough和Pitts提出了一种描述神经活动的有穷自动机模型，从此以后，正规表达式和有穷自动机在计算机科学中得到了广泛应用。通常，对于正规文法G 和有限自动机M ，M 所定义的语言记作L（G），M 所能识别的语言记作L（M），如果有L（G）=L（M），则称G 和M是等价的。【关键词】正规式；正规文法；构造方法；
电子制作 2016年12期2016-06-18
- 基于ADAMS的某自动机加速机构动力学仿真
ADAMS的某自动机加速机构动力学仿真刘坤杰，周克栋，赫雷(南京理工大学 机械工程学院，南京210094)摘要：提出了一种自动机加速机构，用于自动武器在研发过程中的非射击系统联调。基于多刚体动力学理论，运用SolidWorks和ADAMS软件联合建立了虚拟样机模型。采用ADAMS软件作为仿真平台，针对该加速机构的工作原理与结构特点建立仿真策略并进行了仿真计算与分析，确定了主要的结构参数和电机转速，并获得了自动机的模拟加速曲线，实现了预期的设计目标，验证了该
兵器装备工程学报 2016年4期2016-05-28
- 频率匹配准则的某型机枪自动机结构参数优化
准则的某型机枪自动机结构参数优化张军挪，王瑞林，化斌斌，康小勇（军械工程学院，石家庄050003）摘要：首先分析了影响某型重机枪射击精度的影响因素，并以武器频率匹配准则为依据，以建立的机枪动力学虚拟样机模型为平台，通过灵敏度分析，找出导气孔横截面积、活塞的有效横截面积、枪机框质量、枪机质量和枪机框缓冲簧刚度等参数是影响武器射击频率的主要因素；利用序列二次规划优化方法对自动机结构参数进行优化，优化仿真结果表明，武器的射向一致性得到明显提高，这对于武器结构方案
火力与指挥控制 2016年3期2016-04-26
- 应用S.L.Peng窄带分解与广义分形的自动机故障诊断
解与广义分形的自动机故障诊断田园1，潘宏侠1，2，陈玉青1，潘龙1（1.中北大学机械与动力工程学院，山西太原030051；2.中北大学系统辨识与诊断技术研究所，山西太原030051）摘要：针对某型高射机枪自动机振动信号低信噪比、干扰多的特点，提出利用S.L.Peng的局部窄带分解理论对信号进行分解和重构，并用支持向量机对故障模式进行识别。通过对自动机故障机理分析，找到易发生故障的位置，并设置3种故障后进行振动信号采集。将信号通过基于局部窄带信号的分解和重构
中国测试 2016年2期2016-03-30
- 有穷自动机的Linux多点触摸屏中间件设计
0081)有穷自动机的Linux多点触摸屏中间件设计赵建峰,陈朔鹰,罗一涵(北京理工大学计算机学院,北京100081)多点触摸屏的应用程序开发是当前的研究热点。Linux multi-touch(MT)协议是Linux输入子系统的一个标准协议,定义了多点触摸设备驱动程序的数据传输规范,有着广泛的使用范围。识别和处理多点触摸屏驱动程序的数据是多点触摸屏应用最基本的功能。本文采用有穷自动机的思想,设计了一个可以识别符合Linux multi-touch协议规范
单片机与嵌入式系统应用 2016年11期2016-03-20
- 确定权重有限自动机的同余及极小自动机
）确定权重有限自动机的同余及极小自动机田径1，3，徐慧2（1.西安外国语大学经济金融学院，陕西西安710128；2.空军工程大学理学院，陕西西安710051；3.西安理工大学理学院，陕西西安710048）主要研究对象是强双幺半群上的确定权重有限自动机A.首先给出了A上的同态定理和同构定理；接着，构造了识别φ的一个极小自动机Aφ；最后，证明极小自动机在同构意义下是唯一的.确定权重自动机；同余；极小自动机1 引言自动机理论是计算机科学的基础，自动机上的同余和极
纯粹数学与应用数学 2015年5期2015-10-18
- HybridFA：一种基于统计的AC自动机空间优化技术
1～3]。基于自动机的串匹配算法是多模式串匹配采用的主要研究方法之一，它以自动机作为数据结构，在搜索过程中通过搜索文本中自动机所能识别的语言来实现匹配，该类方法性能相对稳定，因而在实际系统中被广泛使用。但该类方法空间开销较大，匹配速度较慢。Aho-Corasick (AC) 自动机[4]是最经典、实际应用最广的自动机之一，开源病毒检测系统 ClamAV和开源入侵检测系统Snort均使用AC自动机作为其基本的数据结构。基于AC自动机的串匹配算法称为AC算法，
通信学报 2015年7期2015-01-06
- 有限自动机在家用防火防盗报警器中的应用
0)本文从有限自动机的理论出发，详细介绍了自动机的理论知识，包括确定的有限自动机和不确定的有限自动机[1-4].把有限自动机的五元组理论应用于声光报警器的设计.[5]所设计的报警器是简单的声光报警器，包含三个传感器：烟幕传感器、烟幕传感器、声音采集模块，这三个传感器主要用于探测火灾或小偷进入，对一般家庭的防范还是起到很好的作用.处理器用的是单片机AT89C51.1 有限自动机理论1.1 有限自动机的基本原理自动机通过接受一定的输入，执行一定的动作后，产生一
哈尔滨商业大学学报（自然科学版） 2014年6期2014-09-14
- 加权有穷自动机的代数性质*
13)加权有穷自动机的代数性质*张丽霞(安庆师范学院数学与计算科学学院,安徽 安庆 246013)在加权有穷自动机理论基础上，利用强同态的概念，证明两个加权有穷自动机在计算能力上是等价的，并在加权有穷自动机的状态集上建立一种等价关系，得到加权有穷自动机的商自动机，证明加权有穷自动机与其商自动机在计算能力上也是等价的。并通过引入加权有穷自动机的可交换性、分离性、(强)连通性及层的概念，讨论在(强)同态的条件下，两个加权有限状态机之间的可交换性、分离性、(强)
计算机工程与科学 2014年11期2014-09-13
- 一种模型检测精确加速的判断方法
00)基于时间自动机的模型检测是一种经典的自动验证技术，它具备成熟的理论基础并广泛应用于安全认证协议、控制系统等领域。在实时系统中，由于控制程序和外界环境经常使用不同的时间度量，当以时间自动机为基础，运用符号模型检测技术进行可达性分析与验证时[1]，验证速度会因为状态空间的片段化问题明显下降[2]，导致模型检测时间和空间增加，甚至无法完成检测。加速技术主要用来解决由于时间度量不同造成的片段问题。文献[3]结果表明加速技术应用在合并扩展中可以提高分析的精确性
中原工学院学报 2014年4期2014-04-01
- 冯·诺伊曼自繁殖自动机思想及其方法论意义
·诺伊曼自繁殖自动机思想及其方法论意义潘 沁(桂林电子科技大学公共事务学院,广西桂林 541004)20世纪40年代,冯·诺伊曼开始研究自动机理论。他认为在自动机的初级阶段,必须研究逻辑与构造两个方面的重要问题,这可以用逻辑普遍性、可构造性、构造的普遍性、自繁殖、进化五个问题来表达。他对这五个问题进行了探讨并设计了五种自繁殖自动机模型,即动力模型、元胞模型、兴奋-阈值-疲劳模型、连续模型和概率模型。由于他的早逝,他的设计并没有完成,但他的思想对后世的影响深
长沙理工大学学报（社会科学版） 2014年4期2014-03-26
- 格值直觉模糊有限自动机的直积与覆盖
2]引入了模糊自动机理论.J. N. Mordeson[3]等对模糊自动机的代数性质做了详细的研究.随着模糊集理论的发展，1983年K. T. Atanassov[4]提出了直觉模糊集，它是一种高层次的模糊集，比一般的模糊集合多了一个非隶属度，这就使得它在处理不确定信息时比传统的模糊集有更强的灵活性和准确性,K. T. Atanassov等[5]又在1984年提出了格值直觉模糊集，格值直觉模糊集理论是直觉模糊集理论的推广.Y. B. Jun[6]于2005
四川师范大学学报（自然科学版） 2014年1期2014-03-19
- 外能源转管自动机机电耦合动力学键合图建模及应用
是目前提高火炮自动机射速的主要途径之一，已普遍应用于各种口径的自动炮研制中。在以往外能源转管自动机的研制中，往往将机械部分及电机和其控制部分分开设计，其结果是机械部分的动力学计算未考虑电机调速系统对火炮自动机射速稳定性的影响，常常电机功率预估不足或过高；而电机调速控制系统的仿真计算未考虑火炮射击对电机输出功率影响。因此,建立外能源转管自动机机电一体化多能域耦合的动力学理论模型用以指导工程实践具有重要的现实意义。键合图理论可以将多种物理参量统一地归纳成四种状
火炮发射与控制学报 2013年1期2013-11-21
- XML文档过滤引擎有限自动机的构造
，其中基于有限自动机的过滤系统比较突出，同时也得到了广泛的应用，包括首次将有限自动机应用于XML文档过滤的XFilter[5]系统和后续的 YFilter[6]系统、QFilter[7]系统等。在基于有限自动机的XML过滤系统中，核心组件是过滤引擎，而过滤引擎的核心是过滤有限自动机。过滤有限自动机的效率将直接决定过滤系统的效率。本文将介绍一种高效构造过滤有限自动机的方法，并给出了对过滤有限自动机进行动态在线更新的方法。1 有限自动机和XM L过滤系统在介绍
河北软件职业技术学院学报 2013年3期2013-10-10
- 细胞自动机在建筑设计中的应用
0092)细胞自动机是一个离散型动力系统，目前被广泛应用于不同领域的研究和探索，例如通讯传输、交通管理、建筑设计、人工智能、非线性科学、复杂性科学等。本文探讨了细胞自动机基本原理、特点和在建筑上应用的可能性，并借助几个实际的案例探讨细胞自动机理论在建筑上的应用，另对这两个设计方法的结合运用作了一个详细的分析。细胞自动机是一种时间和空间都离散的动力系统模型。它可以视为由若干个单元组成的动态的不断改变自我状态的矩阵，其中每一个单元具有有限个状态。在离散的程序中
山西建筑 2013年15期2013-08-15
- 火炮自动机故障诊断研究综述
的核心部件高速自动机，由半自动化、简单化向全自动化、复杂化转变。根据以往经验，如果自动机发生故障，就会引起火炮的整体瘫痪，从而导致巨大的人员伤亡和经济损失。机械设备工作状态所需的维护费用和停机损失在成本中就占有很大的比重，一旦设备发生故障引起的损失就更加重了成本，所以机械设备故障诊断的重要性就凸显了。因此，为保证机械设备在工作中或者不拆卸的情况下能准确掌握其工作状态，凭借和采用日益先进的信号处理、动态测试和传感器技术，对机械设备异常部位和发生原因进行分析，
机械管理开发 2013年1期2013-04-16
- 一类双向模糊有穷自动机
类双向模糊有穷自动机郑兆岳1，2（1.安徽大学 数学科学学院，安徽 合肥 230039；2.安徽工贸职业技术学院，安徽 淮南 232007）给出经典双向有穷自动机的即时描述，接受（识别）的语言及双向有穷自动机和有穷自动机是等价的，证明它接受的语言是正则语言。由此，把它推广到模糊上去，相应地给出了双向模糊有穷自动机的定义，即时描述及其接受的语言，进一步证明非确定性双向模糊有穷自动机与确定双向模糊有穷自动机接受的语言是等价的。双向模糊有穷自动机；即时描述；正则
淮南师范学院学报 2012年3期2012-12-28
- 零边界条件下二维元胞自动机矩阵可逆性分析
)0 引言元胞自动机是定义在一个由具有离散、有限状态的元胞组成的元胞空间上，并按照一定局部规则，在离散的时间维上演化的动力学系统。元胞自动机理论自提出以来得到了长足的发展，开始只是对元胞自动机进行了探索性的研究［1］，逐步将建立在矩阵代数中的一维元胞自动机扩展到二维元胞自动机［2］，而后对9邻域结构的二维元胞自动机进行了研究［3］，并且对二维元胞自动机的等效转移矩阵特性进行了初步的分析［4］。本文在其研究基础上对矩阵的可逆性研究进行一些探索，在一定程度上增
杭州电子科技大学学报(自然科学版) 2012年4期2012-11-26
- 某高炮自动机检测技术研究
050003)自动机是高炮的核心部件，它的质量状态直接影响着部队的战斗力。长期以来，由于高炮自动机本身的复杂性，对高炮自动机开展检测技术研究的难度很大。针对自动机开展的测试研究中，光电检测系统能够实现非接触、高精度测试[1-2]，缺点是测试参量有限，无法对自动机内部构件实施测试；基于虚拟仪器的自动机运动规律的测试[3-4]没有实现对自动机运动状态的全面考察，不过与虚拟仪器相比，实物测试仪器造价昂贵，仪器间一般无法相互利用；自动机模拟试验台研究主要侧重对自动
火炮发射与控制学报 2012年3期2012-11-22
- 水陆状态下自动机参数分析及设计
6]分别对陆上自动机的测试技术及虚拟测试技术进行了相关研究，利用激光传感器测得需要的位移和速度参量，而对于两栖武器自动机的测试则鲜有报道。两栖武器的总体构想是基于陆上和水下可同时使用，对其综合性能的研究是非常重要的，而对自动机运动性能的分析研究又是其中关键的一个环节，本文旨在通过自动机运动参数的研究，对比陆上和水下不同介质条件下自动机工作特性，为两栖自动机的研究提供参考。1 自动机运动规律分析自动机的各工作机构如闭锁机构、供弹机构和击发机构等都是用来传递活
火炮发射与控制学报 2012年3期2012-11-22
- 双管联动自动机技术的现状与展望
38型双管联动自动机的特点分析1.1 工作原理一般的双管火炮，两门自动机相互分离，供弹机构、浮动机构等各自独立，共用摇架。而双管联动自动机采取双管联装、两套闩体彼此联动和交替射击[1]的方式工作。在一个射击工作循环内，一个滑板进行后坐运动，而另一个滑板作复进运动，膛内的火药气体分别导入活塞气室，驱动滑板前后运动。两套闭锁、输弹、抛壳机构靠联动机构保证彼此协调动作，在一个滑板动作循环中射出两发炮弹。因此,双管联动自动机射速都很高，常常用以配装高射速火炮。1.
火炮发射与控制学报 2012年1期2012-11-22
- 自动机两栖工作环境下的运动参数测试分析*
重大意义.以前自动机参数的研究多针对于陆上,如文献[2-7]就针对陆上自动机的测试技术及虚拟测试技术进行了相关研究,对于水下自动机参数的研究也是近10年才展开,但是对于具有两栖要求的自动机则研究非常少,本文就是针对两栖工作环境下自动机的运动参数进行研究,并得出相应结论,为两栖武器的研究提供参考.1 自动机运动规律测试系统设计自动机运动诸元的测定,在自动武器的试验研究中是非常重要的.分析测得的运动曲线,可以判断自动机的运动是否平稳,能量的分配是否恰当,由各构
测试技术学报 2012年5期2012-02-10
- 一种时间自动机时钟离散化算法
52)一种时间自动机时钟离散化算法朱维军，周清雷(郑州大学 信息工程学院 河南 郑州 450052)稠密时间自动机被广泛应用于实时系统自动验证.然而其在补操作下不封闭，因而导致多种线性实时性质不可验证.离散时间自动机虽不存在此问题，但该模型表达能力偏弱.因此，提出了一种时间自动机时钟离散化算法，结合时钟物理约束因素，证明了新方法可有效解决上述问题.时间自动机； 模型检测； 物理时钟； 离散化0 引言模型检测的形式化理论、计算模型与验证算法是近年来计算机科学
郑州大学学报（理学版） 2011年3期2011-12-02
- 扩散过程的元胞自动机模拟
方式之一，元胞自动机则是近年来新兴的仿真模拟方法.但是，将两者结合，即用元胞自动机研究扩散过程的文献却相对较少.有关此类的报道，多是和反应过程相关联且研究的侧重点放在后者[1]，很少见到用元胞自动机专门研究扩散过程的报道.另外，在有关的报道中，元胞自动机模型的参数往往过多且相互之间的关系复杂，分析时需要综合多门学科的理论，这限制了它的实际应用.作为一种新兴的研究手段，元胞自动机的意图是以极其简单的规则解释或模拟复杂的现象，而有关的报道多数违背了这一意图，无
河南工程学院学报(自然科学版) 2011年1期2011-11-24
- 细胞自动机技术在结构工程领域的应用
龙江 谷爽细胞自动机技术在结构工程领域的应用黑龙江 谷爽细胞自动机技术在国内国外的结构工程领域被广泛应用，并且取得了较多的研究成果。本文对此进行了论述。细胞自动机技术；结构工程；应用现状1 国内细胞自动机技术在结构工程领域的应用状况近年来，细胞自动机技术在国内结构工程领域被广泛应用。1999年，王真理、李幼铭采用区域分解的办法对格子气自动机地震波传播模拟的并行化算法进行了研究，提出了两种区域分解算法，并在SGI Power Challenge并行计算机上进
职业技术 2011年7期2011-08-15
- 元胞自动机研究进展
孙德山元胞自动机研究进展孙德山（辽宁师范大学 数学学院，辽宁 大连 116029）元胞自动机是一个具有简单运算规则的动态模型，但却能展现出复杂的行为. 元胞自动机引起了许多研究者的关注，相关研究工作已经广泛展开. 论文综述了元胞自动机的研究进展及在不同领域的一些应用.元胞自动机；元胞空间；复杂系统1951年，Von Neumann给出了元胞自动机（Cellular Automata，CA）模型，又称为细胞自动机. 元胞自动机在时间和空间上是一个离散的动力
五邑大学学报（自然科学版） 2011年4期2011-07-16
- 多模式匹配自动机的构造与极小化
）多模式匹配自动机的构造与极小化张 丽（ 贵州大学 计算机科学与信息学院，贵州 贵阳 550025 ）通过给定的单模式构造出相应的模式匹配自动机，集成单模式匹配自动机而得到多模式非确定型有穷自动机（NFA）。将非确定型自动机转化为确定型自动机，在状态集上引入等价关系，对该确定型有穷自动机进行极小化，得到与原自动机功能等价的极小化自动机，从而使之能确定其中任意一个模式的所有匹配位置。有穷自动机； 多模式匹配； 等价关系； 极小化1.引言在文本编辑程序中，经
铜仁学院学报 2011年3期2011-01-09
- 某型药筒底火穿孔故障分析
;在对比了类似自动机的闭锁机构和击针直径后,经过火帽剪应力计算,找到了底火穿孔的原因。在不改变现有底火火帽厚度的前提下,对闩体、击针等进行了改进设计,经试验验证使底火穿孔问题得以解决。该文解决底火穿孔的思路、方法对解决类似问题有启迪作用,对自动机击发机构具有一定借鉴作用。机械设计;药筒;底火穿孔;击针;击针孔;火帽某型自动机进行了全装药常温弹、低温弹和高温弹等多种试验科目的检验,累计射弹数千发,都未发现底火穿孔现象,而该自动机在进行强装药弹射击试验时,发现
火炮发射与控制学报 2010年4期2010-01-20
- 模糊自动机的强连通性及群自动机
0068)模糊自动机的强连通性及群自动机柏明强,莫智文(四川师范大学数学与软件科学学院,四川成都 610068)为了更好地研究模糊自动机的结构和性质,采用代数的方法,在传统的模糊有限状态自动机的基础上,通过定义状态集合为代数群的自动机,讨论了这一类自动机的连通性和正则性,这丰富了模糊自动机理论.模糊自动机;群;强连通1 前言自动机理论是经典语言理论的一个重要内容,虽然其理论较为完善,但是研究成果仍然不断涌现[12].自1965年Zadeh[3]提出了模糊集
纯粹数学与应用数学 2009年3期2009-07-05