自动机模型相关论文
研究铁路系统的自动验证技术。建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路......
一、引言震害的现实使人们认识到,解决地震预报的根本出路是从经验预报或统计预报转变为物理预报.但由于地震孕育是一个复杂的动......
地震活动中存在着某些规律性结果(如指数律、幂律关系),并呈现一些前兆图象特征(如空区、条带).我们用细胞自动机模型模拟地震活动......
地震孕育是一个复杂的动力学过程,目前我们还不能写出地震动力学方程组,但可以通过数学物理实验方法,建立简化而实际的地震模型,......
一引言通过数学物理实验方法,建立简化而实际的地震模型,来重现地震活动的基本规律,目前这方面的研究成果已有很多。如滑块模型、......
论文主要讨论了小波分析和句法分析技术在流体图像处理中的应用.论文首先介绍了数字图像处理系统的结构,然后在研究小波分析和句法......
随着信息技术的高速发展和应用,当今社会已经高度信息化。在人们的工作和生活等方方面面,每时每刻都有信息产生,且并快速和广泛地......
堆溢出是指超长的数据复制到动态分配的内存块,导致超越边界并覆盖内存块的管理结构或内容。它是缓冲区溢出的一种形式,攻击者可以......
随着以Web服务为基础的面向服务的体系结构的发展,如何有效的联合自治的、分布的、不同功能的Web服务构建新的企业业务应用成为新......
在很多应用领域中，复杂事件处理已经变得越来越重要，它的应用范围包括RFID的供应链管理，点击流分析，电子医疗系统，实时入侵检测等。复杂......
换热设备表面形成的微生物污垢严重影响了换热效率和系统安全。为了减少微生物污垢,需要研究微生物污垢的生长机理和受力特性。该......
本文在分析各种武器自动机的基础上,提出了典型的具体平面运动构件的火炮自动机模型,推导了两个自由度自动机的规范化的运动微分方......
按照数据库应用系统的设计步骤和软件工程的设计方法，进行了移动通信营业子系统的设计，并提出了用营业自动机模型解决复杂业务关系的......
基于混合自动机模型理论对动态环境中的多自主车系统避碰控制进行建模，分别对速度调整、路径调整和速度路径调整相结合的过程进......
本文概述了学习自动机方面的已有成果,着重叙述学习自动机的基本原理和近期的研究进展,最后介绍了学习自动机的应用。
This paper......
首先引入Ｄ－子集和Ｄ－语言的概念，在此基础上给出了一类离散事件动态系统的一般形式化表述──Ｄ－自动机模型，并讨论了受控系统的动态行为．最后......
本文基于离散事件动态系统（DEDS）的自动机模型，用极大和极小代数对状态转移时间，在某一范围内变化时的有关问题进行了分析。
Based on......
该文设计了一个改进的单新层地震孕育过程细胞自动机(CA)模型，通过设计外界通过施加应力与模型间进行的能量交换和模型的细胞之间存......
在间歇生产过程中，过程的信息结构由离散状态和连续状态构成．本文以自动机为工具，研究具有混合信息结构的间歇生产过程的描述、控制与......
混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及......
本文基于ＤＥＳ的Ｄ－自动机模型，提出一种最优监控综合问题，然后讨论了该问题解的存在性，最后利用极小代数给出了求解该问题的方法．
In this pa......
研究一类离散事件系统和连续时间系统相混合的混杂系统建模与控制器设计问题。首先用不同的模型方法建立混杂系统的层次模型，分析连......
膜计算是从生物细胞以及由细胞组成的组织和器官的功能和结构中抽象出来的计算模型。膜计算(P系统)是一种分布式的、并行的、非确......
Petri网以研究系统模型的组织结构和动态行为为目标，着眼于系统中可能发生的各种状态变化以及变化之间的关系。Petri网可以用简单的......
本文运用元胞自动机理论，从内部机制着手，对泥石流产汇流系统的自组织临界性进行了模拟研究。 本文通过对泥石流产汇流研究现状的......
从一门分形学科的产生(Mandelbrot，fraetalgeometry，1975年)，到掀起的分形图形热潮，经历了不过短短的30年，被卷入的不只是数学家，还有物......
该文主要包括了对三个交通流元胞自动机模型进行的一些解析研究工作. 追尾车随机慢化模型是介于基本随机慢化FI和NS模型之间的一个......
针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后......
由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序执行时的内部状态.这些内部状态通过端口显示......
近年来经常发生恐怖袭击和灾难.公共区域的疏散也引起了广泛的社会研究.如何更准确地模拟疏散过程是研究的关键.为了大规模撤离人......
为充分完全的建模混合系统的特性,提出从不同角度对混合模型进行建模。在此理论基础上,对混合系统进行两种不同模型的建模:基于自......
针对大型航天测控系统的综合控制问题，依据航天测控系统的工作流程，参考分层递阶控制理论，设计了面向任务过程的分层协调控制结构；基于......
目前交通数据存在信息孤岛问题，基础数据不公开，科研人员一般通过现场实测的方式获取。为了方便研究人员采集数据以及扩大样本量，论文......
由于并发的存在和不确定性，在以规约为基础来测试分布式程序的正确性时，必须考虑程序执行时的内部状态。这些内部状态通过端口显示为......
Numerical simulation of solidification morphologies of Cu-0.6Cr casting alloy using modified cellula
这研究的目的是为 Cu-0.6Cr 在团结过程预言形态学(集体部分， %) 由真空的合金连续的扔(VCC ) 并且由观察试验性的结果验证它的精确......
成核参数的精确性在动态再结晶(DRX ) 期间是在微结构进化的模拟的一个关键因素。在热变丑条件下面基于流动压力曲线，一条新途径被......
根据当前高层综合系统不跨越控制边界进行代码移动的特点,提出了临界路径的概念,将行为规范与RTL实现的操作流图分解成模型检查工......
在间歇生产过程中，过程的信息结构由离散状态和连续状态构成，本文以自动机为交互具，研究具有混合信息结构的间歇生产过程的描述，控制与......
针对现有信息流模型对于系统动态可信性判定过于严格的问题,提出一种基于iP-可观测属性检查的动态非传递无干扰模型。将系统抽象为......
功能块是一种面向工业现场的智能化控制模块.首先,针对基金会现场总线功能块建立了描述其内部行为逻辑的有限状态自动机模型;其次,......
首先引入Ｄ－子集和Ｄ－语言的概念，在此基础上给出了一类离散事件动态系统的一般形式化表述－Ｄ－自动机模型，并讨论了受控系统的动态行为。最后研......
提出了一种新的混合系统自动机模型.该模型把混合系统看作是由系统行为模式集、连续状态空间、外部输入集、演化函数集、转移函数......
