CFSM模型的有限自动机语义

研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统 ,利用自动机的同步性模拟 CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对 CFSM模型进行分析和验证奠定了基础     

一种基于NFA查询重写的XML过滤技术

研究了可扩展的标志性语言(XM L)存取控制策略。通过基于不确定的自动机(NFA)的XM L查询重写技术,实现了支持精细粒度的XM L文档存取控制策略。通过构造XM L文档存取控制策略的NFA以及基于NFA的查询语句重写技术,有效地实现了独立于视图的、高效的XM L精细粒度的存取控制。     

模糊自动机在电磁波识别中的应用

研制了一个模糊处理和神经网络相结合的自动机,使用模糊技术从未处理的电磁信号波纹图像中处理模糊几何特征属性,进行波纹分类与识别。当使用模糊自动机(FA)进行识别紊乱波纹时,这些模糊几何特征是最好的。而对这些模糊几何特征的辨识,使用FA是很好的。     

有限自动机在BBS信息监测系统中的运用

形式语言与自动机理论是为了将自然语言转换成为计算机能够识别、处理的语言而建立的理论体系,利用有限自动机可以对文本信息进行智能化监测,对文本的词法分析可以得到系统监测所需要的信息。该文对有限自动机在BBS信息监测系统中的运用进行了详细阐述;描述了系统的具体实现以及软件界面;对信息监测的三种方式终端监测、运行监测、备份监测的优劣进行了分析,并提出了具体实施的办法。     

基于细胞自动机演化算法求解无约束函数优化问题

在最优化领域目前广泛应用的智能优化算法有遗传算法、模拟退火算法、神经网络算法等.但这些算法的实现模式都还是基于串行模式.利用细胞自动机来解决优化问题,也就意味着能够建立极度并行的解决最优化问题的程序.提出了一种基于细胞自动机的演化算法,以求解无约束函数优化问题,并用实验分析了此算法的性能.     

明代“天→君→臣→民”之社会哲学思想

哲学的反省，在专制政治体制背景下，旧惟有以劝说来提醒君王，希翼君王勤政爱民。就此而言，明代的社会政治家建构了一套天人之际的思想体系，包括“天→君→臣→民”拾级而下的权威体系，以及由下而上的“民→臣→君→天”的顺命路线。     

冯·诺伊曼自繁殖自动机思想及其方法论意义

20世纪40年代,冯·诺伊曼开始研究自动机理论。他认为在自动机的初级阶段,必须研究逻辑与构造两个方面的重要问题,这可以用逻辑普遍性、可构造性、构造的普遍性、自繁殖、进化五个问题来表达。他对这五个问题进行了探讨并设计了五种自繁殖自动机模型,即动力模型、元胞模型、兴奋-阈值-疲劳模型、连续模型和概率模型。由于他的早逝,他的设计并没有完成,但他的思想对后世的影响深远,具有深刻的方法论意义,其中一些想法现在开始用来制造生物机器人。冯·诺伊曼开创了人工自动机与自然自动机(即生物)的比较研究并把机器与人的神经系统作了比较,开辟了生物自动机研究的新方向,用逻辑和数学方法揭示自动机的本质,使我们对逻辑和数学方法的作用有了更深刻的理解。     

基于TA的等级转换场景变异测试方法研究

针对等级转换场景下的变异测试集不完备问题，提出基于时间自动机(Time Automata, TA)的等级转换场景变异测试研究方法。该方法结合时间自动机理论和等级转换操作流程建立TA模型，同时设计15种变异算子对模型进行变异测试，通过计算加权变异分数评估测试案例集的完备性，并对加权变异分数较低的算子进一步修改补充，最终得到了较为完备的变异测试案例集。     

基于自动机模型数据关联性能评估算法

提出了一种基于自动机理论的性能评估方法,通过在有限自动机模型中增加描述观测的时间序列,来扩展其对数据关联过程的表达能力;使用时序有限自动机模型来描述关联处理算法的模型;使用带时间属性的字符串表示目标航迹。对数据关联的时序有限自动机模型进行一致性和可达性分析,并在此基础上给出了性能评估算法。实验结果证明该方法可以有效地评价关联算法的性能。     

关于Fuzzy3型属性文法与Fuzzy属性自动机

首先讨论了3型属性文法与属性自动机的关系,尔后提出了一种 Fuzzy 属性文法与Fuzzy 属性自动机,并详细讨论了二者之间的关系.     

自动机泛函ORANPIA—函数程序设计的自动机策略思想

本文明确地提出“将自动机这一概念重新引入到作用式语言中来”。在作用式语言FFP中,为自动机的介入无需设置新的语言成分,而仅仅在FFP语言自身这一级上定义一个新的自动机泛函(名为Oranpia),就可使FFP语言赋有自动机式程序设计风格。此风格有利于我们在不少的实用场合采取“自动机策略思想”来自然地进行有效的程序设计。     

加性细胞自动机的同构性分析

根据矩阵方程理论和细胞自动机原理,提出了加性细胞自动机状态转移结构的同构性方法,该方法利用状态转移矩阵方程及其特征多项式分析规则90和150加性细胞自动机,证明了特征多项式为不可约多项式时的零边界规则90和150加性细胞自动机与其对应的线性细胞自动机具有相同结构的状态转移图,即它们同构。研究表明:该方法对实际的伪随机序列产生、通信和测试等领域具有应用推广价值。     

自指语句赋值与元胞自动机的

Patrick Grim等人运用计算机模拟研究方法，揭示出在ukasiewicz模糊逻辑系统中自指语句赋值具有周期性和混沌行为等动态特征，而且在系统内混沌行为本身不可判定。元胞自动机同样具有周期性与混沌行为，而 Mikhail Prokopenk 等人通过构造“自指”，证明元胞自动机的动态也同样具有不可判定性。对两者进行比较研究，有助于进一步揭示它们之间的内在关联。     

基于元胞自动机的物流系统选址模型

元胞自动机是可模拟复杂结构和过程的模型.在分析现代物流发展特点的基础上,建立基于元胞自动机的物流系统选址模型.应用元胞自动机模拟技术及MATLAB,对物流系统的选址模型进行了仿真研究,并获得了合理和有益的结论,可为实际应用提供建模参考.     

五律→七古→五古→七律：杜甫诗体流变探微

杜甫众体皆长，但在不同的发展阶段，也有自己特别中意或者特别用力的主打诗体。早期以当时盛行的五言律诗为主，困守长安和安史之乱时期主要创作具有强烈现实主义精神的歌行，漂泊西南时期则倾力于七言律诗的诗律探讨，并最终使七律走向了成熟。五律→七古→五古→七律，是杜甫诗体流变的轨迹。     

非线性规划的元胞蚂蚁算法

将元胞自动机思想引入到蚂蚁算法中，提出一种新的进化算法——元胞蚂蚁算法。通过算法的元胞演化机制对信息素的二次分配，有效扩大了对解空间的搜索，避免陷入局部最优，并提高了寻找到所有全局最优解的能力。通过对一系列典型多极值优化问题的求解，均找到了所有全局最优解，显示了其在寻找多峰函数极值点方面的优越性。     

企业国际化研究的基本问题：理论演进视角

围绕企业国际化研究的三个核心问题对企业国际化理论的发展进行了回顾和梳理。认为企业国际化动因研究沿着“环境→企业→企业家”的逻辑发展，企业国际化模式研究由最初的模式确定与演变发展到注重跨国价值创造而非模式本身，企业国际化成功关键因素研究则沿着“非知识资源→知识资源→利用和控制资源的条件”的逻辑演进。     

元胞自动机变换可恢复图像认证算法

提出一种基于元胞自动机变换的可恢复图像认证算法,将图像分割成不重叠子块,对每个子块进行两层二维元胞自动机变换CAT,从第二层低频系数生成子块认证水印和恢复水印,分别嵌入当前子块和对应子块的第一层低频系数,形成含水印图像;用认证水印进行图像认证;用恢复水印恢复被篡改图像子块。实验表明,该算法安全性高,且具有很强的抗VQ攻击能力。     

识别Fuzzy上下文无关语言的下推自动机(英文)

首先提出了Fuzzy下推自动机的概念,进而讨论了Fuzzy上下文无关文法与Fuzzy下推自动机的关系,即当且仅当一种Fuzzy语言是由Fuzzy上下文无关文法产生时,该语言可由Fuzzy下推自动机识别,从而达到了自动识别Fuzzy上下文无关语言的目的。     

基于有限自动机的RFID入侵检测

利用RFID中间件的特点,加入入侵检测异常检测模块,通过对入侵者的攻击数据流与RFID系统内部的数据流进行对比后提取特征向量,并通过对入侵数据流对应子模块的归纳建立有限自动机,对有限自动机的归并来提高系统入侵检测的效率。此外,参照归并后的有限自动机对攻击进行分类,通过对攻击本质的分析与提取来检测一部分入侵检测自动机里没有相应的攻击。最后,对固定攻击比例的访问事件样本乱序进行试验,试验结果表示系统在3轮测试中均得到稳定的检测率。