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

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

用图灵机计算热传导方程

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

DM4过程SQL语言的设计与实现

在商用数据库管理系统DM4中设计并实现了过程SQL语言DMPL/SQL.提出了DMPL/SQL语言解释器的总体结构.该解释器由编译器和虚拟机两部分构成.编译器分析源代码并生成中间代码,虚拟机以立即或延迟的方式对中间代码进行解释执行.介绍了实现DMPL/SQL语言解释器的关键技术.为提高程序的执行效率,在名字解析、SQL语句的执行以及异常处理等阶段采用了多种优化方法.该语言目前已广泛使用于基于DM4的数据库应用中.     

一类反应扩散系统的Turing不稳定性

研究一类具有常系数扩散项的系统,讨论了系统出现Turing不稳定性的条件.结果表明,在反应项满足一定条件下,只有当扩散系数不同时才可能出现Turing模式.最后,给出了系统发生Turing分支时两个不同扩散系数的临界比值.     

Java运行系统与Java虚拟机

介绍了Ｊａｖａ运行系统的组成和Ｊａｖａ虚拟机的概念，讨论了采用Ｊａｖａ虚拟机的意义，分析了Ｊａｖａ虚拟机的体系结构     

关于递归控制Turing可化归性

证明了“递归控制Ｔｕｒｉｎｇ可化归性”（简称ｒｃｔ－可化归性）崩溃成平凡情形，即证明了任何两个有穷集合或任何两个无穷的递归可枚举集合都分别是ｒｃｔ－等价的，而它们两者之间则又不是ｒｃｔ－等价的．也即有且只有两个递归可枚举的ｒｃｔ－度．从而ｒｃｔ－可化归性不是通常递归论意义下的合适的可化归性．     

少儿图灵测试和常识处理

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

少儿图灵测试和常识处理

This talk presents our research work on children Turing test. It is implemented in a conversation system supported by a commonsense knowledge base. This system can talk to school children in a more or less natural way. The main difference between it and many other conversation programs is its knowledgebased character. In this talk, motivation of children Turing test and the analysis of its results will be described. We will analyze the achievements and failures of children Turing test, its main bottlenecks, its modified versions and its relation to commonsense knowledge processing. In addition, we will propose some conjectures on Turing test under certain hypotheses and give some concluding remarks.     

球面上Turing斑图的格子Boltzmann模拟

利用球坐标系下的格子Boltzmann模型, 求解球表面的Gierer-Meinhardt方程, 得到了球面上的Turing斑图. 与经典差分方法相比, 该模型可用于球表面Turing斑图的数值模拟.     

一类带有反应扩散项和非单调功能反应函数的食饵-捕食系统的Turing不稳定性

研究了带有反应扩散项和非单调功能反应函数的食饵-捕食系统,分析了系统的局部稳定性,并且推导出了系统空间齐次和非齐次常数平衡解Turing不稳定的精确的参数范围.应用数值模拟进一步说明了理论推导的正确性.     

一类具有产毒浮游植物的交叉扩散浮游生物模型的图灵斑图

针对浮游生物生态系统中交叉扩散对该系统动力学行为的影响,采用线性化及微分方程定性理论的方法研究了系统正平衡点的稳定性及图灵不稳定性发生的条件。研究结果表明交叉扩散是导致图灵斑图产生的重要因素。数值模拟也验证了理论结果。     

双层Lengyel-Epstein模型不同耦合形式下的图灵斑图

采用双层Lengyel-Epstein模型研究了2个子系统在不同耦合形式下斑图的形成机制。研究3种不同波数比的条件下,耦合形式和耦合强度对斑图的形成的重要作用。当波数比为1时,2个子系统会出现相同的简单斑图(如简单六边形、四边形和条纹斑图),耦合形式和耦合系数的改变未对斑图的形成产生影响;当波数比大于1时,短波系统出现种类丰富的复杂斑图。由于图灵模间发生共振耦合:线性耦合系统出现白眼超六边和类蜂窝斑图,非线性耦合系统选择环状超六边和白眼等复杂超点阵斑图。另外,2种耦合形式图灵模产生共振所需的耦合强度不同。     

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

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

具有饱和效应的任意阶自催化反应扩散模型的Turing不稳定性和Hopf分支

利用Hopf分支理论,研究一类具有饱和效应的任意阶自催化反应扩散模型.首先,对常微分系统给出正平衡点的稳定性,且以a为分支参数给出Hopf分支的存在性及稳定性;其次,对扩散系统建立由扩散引起的Turing不稳定性,同时给出Hopf分支的存在性;最后,用数值模拟实例验证理论分析结果的正确性.     

一类Beddington-DeAngelis-Tanner型扩散捕食系统的稳定性和Turing不稳定性

考虑带有齐次Neumann边界条件的Beddington-DeAngelis-Tanner型扩散捕食系统。通过分析系统在唯一正常数平衡解处线性化系统的特征值问题,获得该系统正常数平衡解的局部渐近稳定性和Turing不稳定性。用MATLAB软件包对所获得的理论结果进行适当的数值模拟。     

一类捕食食饵系统中交叉扩散诱导的图灵不稳和斑图

研究了一类具有交叉扩散的捕食食饵模型的斑图形成.证明了交叉扩散破坏了正平衡点的稳定性,得到了交叉扩散导致不稳的条件.另外,数值模拟结果不仅支持了该理论,还显示模型具有复杂的空间斑图:条状斑图、点状斑图以及点条混合斑图.研究结果表明交叉扩散在斑图的形成中起着重要的作用.     

具有集群行为的捕食者-食饵反应扩散系统的稳定性和Turing不稳定性

考虑了具有集群行为的鱼群捕食者-食饵反应扩散系统.通过详细分析系统在唯一正常数平衡解处线性化系统的特征方程的根在复平面上的分布情况,讨论系统唯一正常数平衡解的局部渐近稳定性以及Turing不稳定性,并且利用MATLAB软件对所获得的理论结论进行了数值验证.     

广义分子计算模型在整数问题中的应用

分子计算是一种新型的并行计算模式. 作为信息载体和计算载体的DNA,生化反应时存在不可控性. 构建具有通用性的分子计算机存在许多困难和限制. 将分子计算黏贴模型与图灵机相结合,已提出一种不依赖于特定生物技术的广义分子计算模型(generalized turing model,GTM). 对GTM模型进行扩展,通过实验说明了该广义分子计算机能够在多项式时间内求解NP完全的整数规划问题,该模型具有编码简单、错误率低等特点.