构造正则表达式的简化DFA算法

介绍了构造等价于给定正则表达式的简化确定有限自动机(DFA)的算法.方法是首先构造与正则表达式等价的非确定有限自动机(NFA), 这里省略了构造带ε动作的有限自动机的操作, 然后用状态树构造与该NFA等价的简化DFA.这个算法在计算机上已实现, 并且对输入的任意正则表达式, 都可以输出等价于正则表达式的简化DFA.该算法可以用于某些离散信息处理系统的设计与分析.      

铝合金凝固过程中缺陷预测模型研究进展

近些年航空航天对轻质高强抗疲劳铝合金的需求日益迫切,铸造缺陷的预测与抑制技术受到广泛重视。铝合金凝固过程中产生的氢气孔缺陷是疲劳失效的主要裂纹源,其预测与控制技术是高品质铝合金制备加工的核心工艺技术。在国外,元胞自动机（CA）等具有物理意义且计算效率较高的微观组织结构模型已成功地应用于先进铸造工艺的设计,如飞机发动机单晶叶片、飞机发动机涡轮盘,以及飞机蒙皮高强轻质铝合金工艺窗口优化。总结了计算模型应用于铝合金凝固过程中缺陷的预测及最新研究进展,提出了未来缺陷预测模型的发展方向。     

基于确定有限自动机实现MES的流程控制应用研究

简述确定有限自动机的基本概念,提出了应用确定有限自动机在MES中实现流程控制的思想.通过XML来构造确定有限自动机,并给出实现方法和实例.     

基于元胞自动机的铝合金多坑腐蚀及疲劳寿命研究

将阴阳极反应分离的元胞自动机法引入到铝合金多坑腐蚀过程的模拟当中.通过腐蚀模拟得到了较为符合实际特征的铝合金材料多坑腐蚀形貌图.通过计算不同腐蚀步数下的蚀坑形貌参数,发现蚀坑深度近似于随腐蚀时间线性增加,同时腐蚀失重也随时间增加,但是增加的速度逐渐增加.将腐蚀形貌导入ANSYS软件中进行力学分析,给出了铝合金材料腐蚀后...     

基于元胞自动机的疏散模拟软件设计与实现

突发事件中人员聚集场所、建筑物内的有效疏散可以极大减少人员伤亡,基于元胞自动机的疏散模拟更关注微观个体在疏散中的行为和起到的作用。本文描述了基于元胞自动机模型疏散模拟软件的设计和实现流程,对危险场模型构建、元胞个体位置选择、移动等实现过程关键环节进行了描述和说明;并对两出口教室环境上课过程中、自由活动状态情况下的疏散进行了模拟。实验结果表明,设计的疏散模型可以有效模拟紧急事件中的人员疏散实际,与实际结果相符合。     

交换环上的可逆线性有限自动机的维数讨论

在域上GF(P)和线性自动机文献 [1][2 ]给出较全面的研究。文献 [3]进一步对一般有限交换环上线性自动机的可逆性作了研究 ,本文在此基础上对输入、输出维数作了进一步的讨论。得到了一般环上可逆自动机必有l≤m ,并且当A可逆时l=m 。     

一种结合细胞自动机的彩色图像数字水印算法的研究

本文给出了一种结合细胞自动机的小波域彩色图像数字水印算法。该算法运用Logistic方程作为混沌模型产生随机矩阵,然后利用细胞自动机进行处理以形成水印。对原始图像进行了高尺度的DWT分解,选取高频系数作为水印信息嵌入的载体,然后根据加性规则嵌入水印。算法设计中对各参数选择了较合适的值,以避免取值不当对水印性能造成影响。该算法充分利用了小波和细胞自动机的优良特性,使水印系统具有很好地性能。针对这一算法,文章从图像感知质量和鲁棒性两个方面进行了评价,经大量攻击测试和实验数据表明该算法在不严重影响待检测图像质量的前提下,具有较强的鲁棒性。     

离散事件系统监控理论及其在航天领域的应用研究

在概述了离散事件系统产生与发展近况的基础上,主要综述了描述离散事件系统逻辑行为的常用工具,如自动机、形式语言和Petri网,给出监控器设计的基本思路,并举例说明基于自动机模型的监控理论在飞行器中的最新应用,这些应用不仅证明了离散事件监控理论的正确性,而且拓宽了该理论的应用领域.     

基于时间自动机的操作系统中断管理建模与验证

时序正确性问题一直以来都是航天嵌入式软件的热点、难点问题.运用时间自动机理论,对某星载操作系统的中断管理进行了建模,同时对与操作系统行为存在交互的环境进行了建模,以描述完整的中断管理过程.利用模型检测工具箱Uppaal验证了中断管理模块的状态可达性、安全性、活性等方面的性质,证明了其服务行为的正确性.