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

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

形式语言与自动机中关于ε的一些问题

讨论了形式语言与自动机理论中关于空串ε的一些问题。分析了ε产生式对文法和语言分类的影响;从文法和有限状态自动机的角度讨论了开始符号S和开始状态q0的作用;提出了语言增加或减少ε句子的简单方法;研究了ε-NFA的ε状态转换函数的本质;提出了ε-NFA转换为NFA的新方法,即先将ε-NFA转换为文法形式,消除ε产生式和单产生式后得到正则文法,再将正则文法转换为NFA。并用实际例子进行了验证。

考虑通信流量的复杂网络病毒传播研究

基于一维元胞自动机,考虑信息网络节点全局交互和网络通信流量不均衡的特点,提出新的susceptible-infected-susceptible(SIS)病毒传播模型,研究多种网络拓扑结构下病毒传播行为。研究表明,随着网络通信流量增大,病毒在不同拓扑结构网络中传播速度都明显加快,并在更短的时间内达到稳定的更高的感染规模。研究还发现,在考虑一定通信流量和路由协议下,病毒在节点度分布异质化程度较高的网络中最不易爆发。

考虑交通流量的SIR-CA病毒传播模型

基于一维元胞自动机,考虑网络交通流量不均衡的特点,提出新的susceptible-infected-removed(SIR)病毒传播模型,研究病毒在复杂网络中的传播行为。研究表明,对于某些被治愈个体难以获得免疫能力的传染病,随着网络交通流量增大,病毒在网络中传播速度明显加快,并在更短的时间内达到稳定的更高的感染规模。研究还发现,对于某些被感染的个体一旦被治愈就立即获得了永久的免疫能力的传染病,增大网络通信流量可以加速病毒的消亡,提高网络中免疫节点的比例。

奇偶校验自动机的逻辑形式描述

自动机工作过程实质上是一种逻辑推理过程,自动机的研究实际上就是自动机状态转换过程的研究.从奇偶校验自动机M的定义入手,通过分析其状态转换函数与输出函数的内在含义,引入有关的原子命题,得到奇偶校验自动机M的逻辑表示形式.

自动机在程序控制流图分析中的应用

本文谈论了自动机和程序流图的相似之处,提出了用自动机来描述程序控制流程的方法。

基于MRS Copula-GJR-Skewed-t模型的股指期货套期保值研究

构建了一个基于马尔可夫状态转换Copula函数的GJR-Skew-t模型,用以估计4个亚洲证券市场中股指期货与指数现货之间的最小方差套期保值比率.实证研究表明:动态套期保值模型的风险规避效果明显优于静态模型;根据套期保值组合方差降低百分比,该模型套期保值效果比其它动态策略有显著提升;除日本市场外,基于马尔可夫状态转换Copula函数的套期保值模型可以获得比传统模型更高的收益,这意味着该策略模型有助于降低套期保值成本.

通用图灵机的一种编码方案

为了使通用图灵机能够模拟所有的图灵机,需要对图灵机设计一个统一的、合理的编码系统。针对图灵机的多种编码方案,该文提出基于0、1的编码方案。首先,使用0、1的组合表示图灵机的整个情况,然后对除了空白符号以外的其他符号进行编码,同时,使用0、1对图灵机的状态转换函数进行编码。该编码方案通过改变一般图灵机字母表的元素和状态转换函数的表示方法,即仅仅利用0和1来代表图灵机,可使通用图灵机方便地模拟任何图灵机。

有限状态机的行为阶段聚类及其对测试的应用

提出了有限状态机的行为阶段和行为阶段聚类的新概念,它是介于有限状态机的行为级描述和低层描述(状态表或状态图)之间的一种新的抽象级别.给定一个有限状态机的低层描述,可以对它的状态按某种规则进行聚类来简化对有限状态机的分析.给定一个有限状态机的行为描述,可以直接从中提取行为阶段,并通过对行为阶段进行聚类来分析它的功能.详细阐述了对状态或者行为阶段进行聚类的理论和方法.行为阶段聚类描述可以应用于对有限状态机的功能分析、验证和测试中.作为行为阶段聚类描述的一种应用,建立了一种用于测试产生的新的故障模型——行为阶段转换故障模型,并利用对行为阶段的聚类来加速基于此故障模型的测试产生,实现了一个寄存器传输级的自动测试产生系统ATCLUB.实验结果表明,ATCLUB与其他测试产生系统相比有很高的效率,并且能够产生相当短的测试序列,以达到对电路门级固定型故障的较高的覆盖率.

基于一维元胞自动机的复杂网络恶意软件传播研究

基于一维元胞自动机,研究复杂网络恶意软件传播行为.利用信息网络节点全局交互的特点,建立元胞自动机邻域和状态转换函数,提出恶意软件传播模型,研究在多种网络拓扑下恶意软件传播的概率行为.研究表明,该模型能够准确描述在最近邻耦合网络(nearest-neighbor coupled network,NC),Erdos-Renyi(ER)随机网络,Watts-Strogatz(WS)小世界网络和Barabasi-Albert(BA)幂率网络等拓扑下的传播动力学行为,不仅能反映恶意软件传播的平均趋势,而且可以描述病毒消亡和渗透等稀有概率事件,有效克服基于平均场方法建立的微分方程模型只能反映传播的平均趋势,只适合对传播作整体预测的局限性.同时,研究指出网络中度分布的异质化程度和网络的局域空间交互特征是影响传播及免疫行为的关键要素.