AUTOMATA相关论文
俞宸睿创造了一份职业,被称为是\"职业创业\"。仅仅摇摇手柄、按下按钮或者拉拉绳子,在俞宸睿鬼斧神工般的创作下,这些木头做......
Train control system plays a key role in railway traffic. Its function is to manage and control the train movement on ra......
The pedestrian movement is more complex than vehicular flow for the reason that people are more flexible and intelligent......
Multi-agent systems allow the simulation of complex phenomena that cannot be easily described analytically. As an effici......
Urban growth analysis and simulation have been recently conducted by cellular automata(CA) models based on self-organizi......
Research on the stochastic behavior of traffic flow is important to understand the intrinsic evolution rules of a traffi......
The aim of this work is to investigate the influence of rainy weather on traffic accidents of a freeway. The micro-scale......
The controller in an automated vehicle relies on sensors to collect the information needed for handling traffic situatio......
The study of mathematical models for the spread of infectious diseases is an important issue in epidemiology. Given the ......
针对林火蔓延多相和多组分的性质,提出一种基于多智能体算法的CA林火空间扩散模型。采用基于王正非的CA模型对林火蔓延趋势进行近......
Repeated memory copy during protocol translation inhibits capacity of a streaming media gateway.Unlike existing optimiza......
It reveals some equivalences between automata based on complete residuated lattice-valued logic (called e valued automat......
This paper investigates symbolic algorithmic analysis of rectangular hybrid systems. To deal with the symbolic reachabil......
It reveals some equivalences between automata based on complete residuated lattice-valued logic (called (?) valued auto......
The main results are as follows: (1) it deals with a number of basic operations (concatenation, Kleene closure, homomorp......
RS为3S(RS、GPS、GIS)技术提供主要的数据支持。RS图像处理,中值滤波、平滑、锐化、增强等一直是GIS做的主要工作。文章提出了RS图......
目的研究离散事件系统之间的等价关系. 方法以自动机为离散事件系统的模型, 用形式语言描述系统行为. 结果给出了确定性离散事件系......
智能交通指挥系统的实施可以有效解决道路拥堵、运输效率低下等问题,减少交通事故的发生。针对坡道转弯这一特定的交通难点问题,研......
自动机理论是理论计算机科学的基础理论之一,在很多领域自动机有着广泛的应用,有穷状态自动机是正则语言的识别机器,通常分为确定......
以小麦作物为研究对象,采用小麦植株形态结构的观测分析,提出了由多层次自动机模型、植株拓扑结构数据模型和模型调度算法构成的小......
随着信息技术迅猛发展，很多不良信息与文化通过PDF文档传播，而传统的提取PDF内容的方法无法适应绿色网络提供优质内容并过滤不良PDF......
针对密集型数据查询要消耗大量内存的缺陷,设计了一种基于流的XML文档查询算法. 该算法在对XML流的一次单向读取过程中处理XPath,......
对Bachi自动机进行优化是提高基于自动机的模型检测效率的重要手段。本文对直接模拟关系，延迟模拟关系和公平模拟关系的概念，算法进......
为解决水下自动机运动参数测量过程中现有测速传感器内部铁心线圈产生涡流影响测量精度的问题,提出一种基于电磁感应原理的永磁型......
针对控制系统结构复杂,规模庞大的问题,以自动机作为系统的模型,研究了扩展全局监控器存在条件下的分散监控综合问题。由经典离散......
通过分析光电位移测试中图像数据的特点，利用光斑区域预测法，预测光斑在图像序列中的区域，确定处理的矩阵范围，实现了数据的快速处理；分......
运用达朗伯原理和拉格朗日方程推导出针对舰炮自动机的多刚体武器系统动力学普遍方程,以某型舰炮为具体研究对象,编制了自动机动力......
自动机理论是理论计算机科学的基础理论之一,在很多领域自动机有着广泛的应用,在将黑白图像进行像素地址编码的基础上使用语言来描......
在XML查询处理中,应用于绝大多数XML查询语言中的路径表达式在定位和查询XML数据和数据的结构关系方面具有极强的表达能力,并且由......
该文根据自动机的定义,对超级自动机作了特定的定义,并给出了自动机对语言的识别功能的具体步骤。接着由超级自动机的定义,以一个......
针对自动机工作时的短时冲击信号特征,首先,对其运动形态进行分解,截取与故障构件动作相对应的振动信号进行分析;其次,利用多层小......
模仿熟练操作者通过记忆多步连续调控系统的方式,将记忆用上下文无关文法表示.根据控制经验和滚动预测优化建立特征状态转换表和构......
对幺半环上确定型有限状态自动机及其约简性进行定义，得出两个状态是否可分的判定方法，证明了幺半环上任意一个有限状态自动机都与一......
Ｇｉａｍｍａｒｒｅｓｉ与Ｒｅｓｔｉｖｏ在一篇综述中总结出一个关于可识别的图像语言（即２维矩形语言）ＲＥＣ的等价性定理，对比１维字语言的相应结果，其中还缺少关于生成文法的相应一......
无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计......
构件交互操作与构件适配是基于构件的软件开发方法(CBD)中的关键问题。如何更有效地解决构件适配问题以提高软件的开发质量是一个......
为解决时间同步式和事件式的缺点,提出一种新的动态口令认证机制,它产生的口令与时间无关,只与登录的次数相关,故每次登录时的口令......
针对串联谐振电容器充电电源具有高阶、多模态、强非线性的特点,提出了一种基于混杂自动机的建模方法,该方法通过描述系统的连续时......
本文提出一种自动工作的常闭型电源总开关，该开关内部用电流互感器检测是否短路，当短路时自动切断整车电源，主要解决现在的电源总开关......
给出了内动机下向树中的每一层节点数的计算公式,定出了自动机的图型是圈-树形的充分必要条件.该方法在很多领域有着广泛的应用.......
为了检验标注有限状态自动机描述的系统是否满足某个区间时序逻辑公式刻画的性质,定义了一套转换规则.利用这些规则,可以构造一个c......
讨论了特定的自动机、自动机的识别能力、逻辑的表达能力和博弈思想的关系.使用博弈思想可以比较容易地证明一元二阶逻辑(SIS和S2S......
XML流数据处理在研究领域引起广泛关注,该文针对XML流上的多查询处理提出一种算法,把多个查询合并为一个共享前缀的查询树,应用自......
内存泄漏是导致系统性能降低的重要问题．提出一种基于模型检测算法的内存泄漏静态检查方法TMC．该方法依据程序的控制流图构建对应于......
Traffic rule is a key factor affecting traffic flow and safety.We develop our models,including the cellular automata tra......
针对当前自动机模型对系统状态表达不完整,单一视角建模无法满足网络攻防行为刻画需求的问题,本文提出一种视角可变的变焦有限自动......
为了用1套自动机通用发射高压高初速穿甲弹和低压低初速杀伤榴弹,该文进行了通用自动机发射技术研究。运用牛顿第二定律建立了动力......
首先介绍自动机识别有限词和无限词两种情况，然后结合模型检查方法，把自动机作为规范自动机与模型自动机，使用自动机识别语言的包含问......
为了提高室内人员应急疏散模拟的仿真度,使用元胞自动机(cellular automata,CA)进行了有障碍物和无障碍物两种情况下考虑多种因素......
结合逻辑回归方法和元胞自动机模型构建了逻辑回归CA模型，模型中的逻辑回归方法能够很方便地获取影响因子的权重，再设置起止条件等，便......
