耦合诱导Turing斑图的形成

通过数值模拟的方法研究了耦合的CDIMA反应模型。结果显示:处于不能形成图林斑图区域的系统与另一个处于图林斑图区域的系统进行耦合,两系统都能形成图林斑图。     

用图灵机计算Klein-Gordon方程

研究了带初值的线性Klein-Gordon方程解算子的可计算性.首先,给出TTE的一些基本概念,然后,通过傅立叶变换把这个偏微分方程转化为积分方程,最后,证明了这个积分方程的解算子是图灵可计算的,从而原方程的解算子也是可计算的.     

业务蜜网系统的有限自动机

通过诱骗容忍入侵者的破坏行为,蜜罐可以深入了解入侵工具和入侵目的等入侵行为信息,解决传统网络安全技术对未知入侵攻击无能为力的难题,直接或间接地提高系统网络安全性能.深入研究了蜜罐技术的高级实现形式蜜网系统,对比了业务型和研究型两种蜜网系统,并通过有限自动机形式化模拟了业务蜜网系统,描述了其状态转换过程,为业务蜜网系统的行为描述和结构设计提供了理论依据和论证.     

用图灵机计算热传导方程

研究了带初值的热传导方程广义解的可计算性。首先，给出TTE的一些基本概念，然后，通过广义函数的理论得出热传导方程的基本解，最后，运用广义函数卷积的可计算性质得到最后证明。     

用图灵机计算热传导方程

研究了带初值的热传导方程广义解的可计算性。首先,给出TTE的一些基本概念,然后,通过广义函数的理论得出热传导方程的基本解;最后,运用广义函数卷积的可计算性质得到最后证明。     

业务蜜网系统的有限自动机

通过诱骗容忍入侵者的破坏行为．蜜罐可以深入了解入侵工具和入侵目的等入侵行为信息，解决传统网络安全技术对未知入侵攻击无能为力的难题，直接或间接地提高系统网络安全性能。深入研究了蜜罐技术的高级实现形式蜜网系统．对比了业务型和研究型两种蜜网系统．并通过有限自动机形式化模拟了业务蜜网系统，描述了其状态转换过程，为业务蜜网系统的行为描述和结构设计提供了理论依据和论证。     

格子Boltzmann介质中的Turing斑图

给出一种人工介质——格子 Boltzmann介质的物理描述 .通过对格子 Boltzmann介质中参数的选择 ,建立该介质中粒子运动演化方程 ,进而得到宏观上的扩散反应系统 .作为算例 ,给出两种典型的 Turing斑图     

图灵机设计问题解法的优化

图灵机设计问题的常规解法一般有多个状态和较复杂的δ映像函数．给出了三种优化的解题方法，与常规方法相比用较少的状态数优化了图灵机的设计，达到减少状态的冗余和简化δ映像函数的目的．     

少儿图灵测试和常识处理

介绍了在少儿图灵测试方面做的一项研究。该测试用一个基于常识知识库的对话系统实现。它能用比较自然的方式和少儿对话。该系统与许多其他对话程序的区别在于它是基于常识的。介绍开展少儿图灵测试研究的动机以及对测试结果的分析。分析少儿图灵测试的成功与缺陷、其主要瓶颈、其变形版本以及它和常识处理的关系。     

有限制的通用模糊图灵机研究

给出了模糊图灵机的几种等价形式,包括具有分明转移函数的模糊图灵机(FNTMc)、模糊图灵机(FNTM)以及模糊多带图灵机.利用模糊图灵机,定义了模糊递归枚举语言与模糊递归语言,并给出它们的层次刻画,证明了不存在通用模糊图灵机;如果限制模糊集的隶属函数为单位区间[0,1]的固定有限子集D,对应的模糊图灵机称为限制型模糊图灵机,则存在通用的限制型模糊图灵机,而且这类图灵机可以以任意给定精度模拟其他模糊图灵机,从而通用模糊图灵机在逼近意义下是存在的.