确定有限自动机推理的可计算逻辑分析

针对确定有限自动机对输入符号串的识别过程,提出了采用可计算逻辑来分析确定有限自动机的功能结构及其状态转换函数.在可计算逻辑中,计算问题是机器和环境博弈的过程.同样确定有限自动机对输入符号串的识别过程也可当作机器与用户的博弈,如果输入符号串满足确定有限自动机的语法规则能够识别出来,表示机器赢,否则用户赢.     

设备自动巡检逻辑的层级有限自动机建模与实现

为了解决复杂巡检逻辑造成的软件实现困难这一问题,提出了一种层级有限自动机(HFA)的形式化模型,分析了设备自动巡检过程的行为特征,利用HFA对自动巡检过程实现了行为建模,抽象出了HFA的核心状态和辅助状态,并对主要核心态进行了深化分解及FA表示.给出了HFA向软件实现转化的基本框架.这种HFA模型能对设备自动巡检逻辑进行简洁清晰地刻画,为软件正确实现提供了保证.     

确定有限自动机的逻辑形式定义

通过分析确定有限自动机状态转换函数的内在含义,引入有关的原子命题,得到确定有限自动机的逻辑形式定义并证明了状态转换函数表示与逻辑表示之间的等价性．     

有限自动机的半环方法

文章利用半环方法来讨论有限自动机.首先,利用线性代数基础给出半环上有限自动机的概念;然后,证明了半环上的有限自动机与不确定的有限状态自动机识别语言的一致性.从数学的角度看该方法使得有限自动机的讨论更加简洁.     

确定有限自动机的矩阵形式

研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.     

基因交互逻辑网络的自动机模型

阐述最近几年来国外应用自动机理论到基因组系统作用与行为的研究新进展,分析了有限状态自动机和细胞自动机应用于基因网络的原理、方法与机制。结合基因网络研究,本文首次提出了一个引入时间自动机模型的思路。     

有限自动机的积可逆性讨论

主要讨论了有限自动机运算后的可逆情况,给出了有限自动机串、并联后为可逆(弱可逆,延迟有限步(弱)可逆)的若干条件,最后对有限自动机的化合运算的可逆性进行了特别讨论．     

广义细胞自动机与广义归纳逻辑因果模型

在勃克斯（Ａ．Ｗ．Ｂｕｒｋｓ）构筑的描述因果世界的细胞自动机的基础上（属归纳概率逻辑范畴），提出了可综合处理随机不确定性与模糊不确定性的广义细胞的自动机与相应的广义归纳逻辑因果模型，解决了原模型中未曾解决的主因判定与因果扰动响应的问题，并找到了它在智能控制中的应用。     

基于元胞自动机的期权定价模型

针对期权定价难于模拟基础资产价格波动随机性的问题,设计了基于元胞自动机的期权定价模型．该模型将市场参与者看作一个个的元胞,使用元胞规则来模拟金融市场中交易者之间的交互行为。从而在总体上模拟出基础资产价格的变化．比较了模型产出的数据和Black-Scholes模型的计算结果,检验了模型产出数据的正态性,发现基于元胞自动机的期权定价模型不仅具有可行性,而且比Black-Scholes模型更有效．     

两类Fuzzy自动机的等价性

通过对Fuzzy有限状态自动机和Fuzzy有限自动机的结构、定义及性质的研究,得到了二者之间的一种重要关系——等价关系。     

进程流程图并行划分性质的研究

本文以已赋权的进程流程图作为基础,研究了并行划分的基本性质,探讨了并行划分中程序响应的限界问题。所得结果在一定程度上对于静态调度算法设计具有理论上的意义。文中还提出了一个利于性质研究的并行划分模型。     

基于混成自动机的车联网服务建模方法

针对汽车信息物理融合系统（CPS）软件的异构性、分布式等特点,提出一种车联网服务建膜方法.对混成自动机进行通信端口扩展,采用扩展的混成自动机作为形式化建模工具,从服务提供的角度,分别将待监测和控制的设备实体抽象为服务作为系统的基本组成单元.以汽车速度控制系统为例,说明该建模方法的有效性.     

考虑粒子阻碍效应的再结晶元胞自动机模型

为了更合理地仿真第二相粒子材料的再结晶过程,在单相材料再结晶元胞自动机模型中引入Zener亚晶长大阻力和小粒子钉扎晶界的元胞取向转换规则,创建了细小的第二相粒子材料的再结晶元胞自动机模型,实现了铁素体钢板的再结晶退火过程仿真.结果表明:所建模型全面考虑了变温-回复、晶粒变形储能不均、亚晶异常长大形核机制和小粒子阻碍效应的综合影响,模拟的组织演变及其动力学分析揭示了与理论和实际相符的规律:小粒子尺寸越小、数量越多,再结晶抑制效应越强,再结晶的孕育期及过程越长.     

进程流程图的并行划分及静态调度

进程流程图在分布式环境下的最优分配是一NP难度问题。为此,本文从实用角度出发,在充分利用流程图部分性质的基础上,设计了一组完成并行横块划分及静态调度的近似算法,算法的时间复杂度为0（n~2×p）,其有效性通过一实例给予了验证。     

潮汐数学模拟的有限分析法

导出二维潮汐动量方程的有限分析公式,应用分裂算子法构造一个差分格式计算连续性方程,证明了这二种格式是绝对稳定的,并作了数值计算,实际计算表明文中提出的方法具有计算简单等优点。     

逻辑代数的集合图方法

本文提出了一种新的逻辑代数分析方法，集合图法。它兼具代数法与图解法的功能，与传统的卡诺图法相比，具有一些独到的特点。