一种基于时间自动机的时钟等价性优化方法

提出了一种优化模型检验时间自动机的时钟等价规则,通过优化的时钟等价规则,使时间自动机等价后的域自动机状态数尽可能少,并在此基础上定义了适合于优化时钟等价规则的域自动机。优化时钟等价规则,在一定程度上有效地解决了状态空间爆炸问题。

数字图像区域标定的方法

给出了二值图像区域的标定方法. 对于八近邻和四近邻的图像,分别建立了一组最小的完备图. 利用图像标定的基本图,为二值图像边界的识别构造了一个自动机,自动机的输出就是顶点链编码,为二值图像区域的标定提供了一个有效算法.

矩形点阵上链码的转换算法

链码是图像处理和图像识别中的一个重要工具.给出了四近邻图像的顶点链码(VCC)、F reem an链码和边界链码之间的转换算法,这样只要获得一种链码就可以得到其它的链码表示,由某种链码获得的图像信息也为其他链码所共享.

基于区域标定自动机的区域个数统计算法

区域个数统计在计算机图形和图像分析中有着很重要的作用。文中提出了一种基于区域标定自动机的区域统计方法,以最快的时间实现图像中区域个数的统计。通过对二值图像的扫描,可在不对区域进行填充的情况下统计出区域的个数。在区域统计的同时,还可以通过增加简单的代码获得区域边界的顶点链编码序列,这对于图像的存储和重现都是很有用的。

基于CA-Markov模型的黄土丘陵区土地利用变化

为探讨黄土丘陵区的土地利用变化规律以及驱动机制,以罗玉沟流域作为典型流域,基于1986、2001年的TM影像为数据源,对土地利用格局分布进行分析,并运用CA-Markov模型,以2001年的土地利用格局为基础,预测了2016年流域的土地利用的空间格局分布。结果表明,罗玉沟流域土地利用格局在1986年以前,以坡耕地为主,面积占59.67%,其次为梯田、草地和林地。从1986年到2001年林地和梯田的面积均有显著增加,坡耕地面积则显著减少,其余土地利用类型面积变化不大。从单一土地利用类型动态度来看,面积增加大的土地类型同时具有较高的动态度,梯田的动态度最大达到了15.09,林地的动态度次之。CA-Markov模型预测结果表明2001-2016年期间土地利用变化继续保持1986-2001年间的变化趋势,总体上表现为坡耕地减少,林地和梯田增加,但坡耕地的减少速率却明显小于1986-2001年,这主要是由于剩余的坡耕地受立地条件、政策措施等一系列的因素的影响。其他土地类型之间的相互转化,面积较小,基本处于比较稳定的动态变化之中。根据模拟结果可调整各类土地利用/覆被格局,为该区土地利用规划、管理和生态恢复提供科学依据。

区域耦合状态转移概率化元胞自动机模型

针对多区域系统内部各个子区域属性的差异化,提出多区域耦合状态转移概率化元胞自动机模型。在该模型中,运用区域耦合原理和耦合区域信息交换规则来构造元胞自动机(CA)模型的演化规则,实现局部子区域之间的信息交换,运用不同类型的元胞自动机模型对子区域分别建立不同的CA模拟模型,并用概率化方法处理模拟模型中元胞状态的转化,实现各个子区域状态的演化。实验表明,子区域在保持自身演化形态相对独立的同时,通过边界区域耦合进行演化连接,各个子区域内的元胞能与其边界耦合区域内的元胞保持一种相对稳定的有序形态,且一个子区域的影响能在一定程度上传递到其他子区域内。该模型能很好地处理大规模复杂区域环境下的空间演化模拟。

变速车道影响下的城市道路多路合流区域换道交通流特性研究

根据实测数据分析,得到了城市道路多路合流路段的驾驶行为特性和交通流特性;引入驾驶员性格参数和描述驾驶心理的选择换道概率,建立了城市道路多路合流的元胞自动机模型(Cellular Automaton,简称CA);由JAVA数值模拟,模型验证后,得到了变速车道分别为直接式、平行式的多路合流的交通流特征参数。研究表明:直接式不利于主线、多条匝道的车辆通行,右侧匝道车辆对中间匝道的干扰严重;过长的平行式变速车道,加重了主线与中间匝道之间冲突,增大了中间匝道车辆对右侧匝道的影响。此外,直接式加重合流区的交通拥堵,相比之下,一定长度范围内的平行式变速车道对于合流区的交通运行状况改善明显,但过长的平行式变速车道会适得其反。

时间自动机与自动验证

给出时间自动机的基本概念 ,描述了区域自动机的构造方法 ,并且实现了区域自动机的构造算法 .简述了通过时间自动机进行自动验证的过程 。

一种改进的区域自动机构造方法

用时间自动机验证一个有穷状态实时系统的正确性 ,可归结为判定两个时间正则语言的包含问题 ,亦可归结为判定两个时间正则语言的交是否为空的问题 .在判定一个时间正则语言是否为空时 ,先要将时间自动机转化为无时间的区域自动机 .Alur和 Dill给出的构造区域自动机的算法 ,存在许多不可达或虽可达但无用的状态 .通过对时钟约束进行分析 ,在求时钟区域和时间后继的过程中 ,不断地将一些不可达或无用状态筛掉 ,使构造出的区域自动机更为优化 ,改进了

数据驱动的批作业执行自动机模型

模块化的状态自动机实现了作业的执行。以数据库为中心的配置信息存储与模块间参数传递,构建了整个系统的接口与框架。基于临界区的代理事件处理模型实现了数据流驱动。系统支持并发、流水,易于扩展。

水中机器人2D仿真的策略优化

针对现行水中机器人2D仿真1vs1比赛中的顶球算法以及策略的不足,提出一种数学建模和区域划分的方法。介绍一种新的基于区域的自适应顶球策略,即在顶球的过程中,将比赛场地分成若干区域,并在算法中采用有限自动机,不同的策略可自适应地应用于不同的区域中。实验结果证实:优化后的顶球算法配合区域划分策略能够实现更快速有效地进球,同时也提出了现有平台的优化建议。

利用边界链编码标定数字图像

给出了利用边界链编码进行二值图像标定的方法。对于四近邻的图像,建立了一组最小的完备图。利用图像标定的基本图,为二值图像边界的识别构造了一个自动机,自动机的输出就是边界链编码。

关于顶点链编码的图像区域表示和填充算法

图像区域的表示和显示是图像处理和图像分析、计算机制图和计算机图形学中的重要研究课题。以顶点链编码为基础,提出一种以顶点链编码来表示二值图像的方法,完成了对于图像区域的简单表示。同时着重提出了一种将用以表示二值图像的顶点链编码转化为原二值图像的算法。该算法对表示二值图像区域的顶点链编码点进行记录处理,配对被记录的顶点链编码点,然后运用水平扫描线来填充图像区域,从而将原图像根据顶点链编码完全恢复出来。

构造标定自动机实现数字图像的Freeman链编码标定

图像的Freem an链编码是对图像边界的描述,这种链编码给我们图形一些基本特征,正在被广泛地应用到图像处理和图像识别中。本文给出了二值图像区域的标定方法。对于八近邻的图像,分别建立了一组最小的完备图。利用图像标定的基本图,为二值图像边界的识别构造了一个自动机,自动机的输出就是Freem an链编码,为二值图像区域的标定提供了一个有效算法。