Automaton相关论文
Both the cross and road section are basic components in traffic systems. A general cellular automaton model of two-dimen......
The postgenomic era has seen an emergence of new applications of DNA manipulation technologies, including DNA-based mole......
State-based models provide an attractive and simple approach to performance modeling. Unfortunately,this approach gives ......
在自控控制系统研制,PLC程序的校验是一个重要环节。如何提高校验的准确性、可视性、敏捷性和低消耗性是一个急待解决的基础性问题......
构造出高阶置换映射，进而得出更有效的高阶细胞自动机超并行数据压缩方法，与细胞行动机超并行数据压缩方法相比，其处理速度可以成倍地......
首先介绍如何把描述逻辑转化为一个不确定型有穷自动机，分析这种转化过程中存在的问题，在B．Nebel的基础上提出了利用自动机的最小化理......
逻辑程序设计模型的一个特性是它的非确定性,而Prolog语言所具有的非确定性对于编写非确定性计算模型的解释程序提供了坚实的语言......
设MPα×β是(二维黑白图像)模式P所构成的α×β阶矩阵,若φ(MPα×β)=tPm,m=α×β,是MPα×β的特征向量抽取映射,则模式P的识......
考虑到自动机的高速运动过程及其振动信号的非线性、短时、瞬态、冲击特性,对自动机的故障机理进行了分析,找到了故障的易发生位置......
降密策略静态实施机制具有限制性过强的缺陷：它将降密策略语义条件判定为安全的程序排斥在外。为了建立更加宽容的实施机制,基于自......
首先给出异步自动机半群的定义,并讨论其基本性质.证明了如下结果：异步自动机半群的字问题在指数时间内可解,任一异步自动机半群具......
针对传统的自动机故障诊断方法检测与诊断维修成本高、周期长,且容易受不确定性因素影响的问题,提出了基于小波尺度谱重排与排列熵......
对离散事件系统的状态反馈控制提出一个基于自动机的新模型,统一了无并发与有并发的Ramadge-Wonham模型与可控Petri网模型,并以公......
XML是目前已被广泛采用的WWW上信息交换和表示的技术之一,被称为Internet时代的通用数据格式.该文首先针对现有的XML语法进行了抽......
自动机工作中的冲击响应多处在低信噪比和被噪声干扰的复杂振动信号中,寻求一种能在多干扰、噪声强的复杂振动信号中去除干扰信号......
对已有的状态转移规则进行分析与比较,结合最大乘积状态转移规则提出一种基于乘积张量的自动机组合方法,并结合实例证明了基于乘积......
复杂数据类型验证是XML文档验证的主要内容,是检查XML文档结构是否符合模式规则的关键.根据Schema规范中复杂数据类型的描述和自动......
针对某型号自动机的结构特点、运动过程和几种常见的故障模式进行分析。结合自动机的运动过程分析及其振动信号的非线性短时冲击特......
针对某型高射机枪自动机机箱的外表面形状比较复杂,传感器的布置受到结构形状的限制,自动机构件运动的敏感点难以获取,提出了基于......
针对传统自动机维修保障模式操作繁琐、维修周期长的问题，提出了一种应用小波包能量谱信息和相关向量机（Relevance vector machine，RV......
自动机理论是编译程序中单词识别的基本理论。论文分析了自动机与正规表达式等价性定理，指出了从确定有限自动机到正规表达式重构规......
针对某型高射机枪自动机振动信号低信噪比、干扰多的特点，提出利用S．L．Peng的局部窄带分解理论对信号进行分解和重构，并用支持向量机对......
提出了一种FMS的建模方法,此方法是基于时间自动机模型。运用模型检查工具UPPAAL来进行建模,仿真和验证。由于时间的因素被考虑到......
通过引入等价性原则，简化了对正则语言判定的步骤，并在有限自动机的状态集上引入等价关系，利用等价归并算法将给定的自动机中的等价状......
An improved one-dimensional CA (Cellular Automaton) traffic model was proposed to describe the highway traffic under the......
采用宏观-微观耦合的方法,建立了宏-微观统一的数学物理模型[直接差分(Direct Difference)-元胞自动控制(Cellular Automaton)模型......
面向服务计算是近年研究的热点,在面向软件方面上主要体现在Web服务发现、服务选择、服务组合等方面。提出一种面向自动推理的服务......
通过结合自动机技术实现了有穷论域区间时序逻辑的判定算法,给出了有穷论域下区间时序逻辑变量、函数的处理方法,并提出了利用自动......
