图灵机模拟系统的设计与实现

图灵机模型是现代计算机科学的理论基础,学习图灵机理论对于研究计算机软件理论有重要意义。文章分析了在Von Neumann机上仿真图灵机存在的两个问题,并针对单带图灵机模型设计了一个完整的图灵机模拟系统。该模拟系统能够编译并执行图灵机程序,为基于图灵机模型或其扩展模型的理论研究提供实验平台,对构造基于中间语言解释执行的虚拟机提供实践指导。     

基于图灵机的递归技术的实现陈晓亮[1] 卢朝辉[2] 宋文[1]

图灵机是通用的计算机模型,一般程序设计和以图灵机为机器模型的计算也是支持递归的。本文首先分析了递归的特征,利用多带图灵机作为计算模型,定义了递归技术转移 函数形式,提出了图灵机递归过程信息传递与保存的方法,给出了图灵机调用的实现,继而给出了图灵机递归技术的实现,同时证明了图灵机的调用与图灵机的递归调用是图灵可识别的。     

基于注意力与神经图灵机的语义关系抽取模型

针对语义关系抽取（语义关系分类）中长语句效果不佳和核心词表现力弱的问题,提出了一种基于词级注意力的双向神经图灵机（Ab-NTM）模型。首先,使用神经图灵机（NTM）作为循环神经网络（RNN）的改进,使用长短时记忆（LSTM）网络作为控制器,其互不干扰的存储特性可加强模型在长语句上的记忆能力;然后,构建注意力层组织词级上下文信息,使模型可以加强句中核心词的表现力;最后,输入分类器得到语义关系标签。在SemEval 2010 Task 8公共数据集上的实验表明,该模型获得了86.2%的得分,优于其他方法。     

计算机和实时计算

实时计算与实时响应已成为未来计算机技术发展的必然趋势。本文分析了实时计算的现状与前景,提出了实时计算所必需的关键技术;最后通过具体流程图,概述了实时计算实现的主要过程及步骤。     

实时计算中的某些新观念

概括了实时计算目前的发展交况，并介绍了实时系统设计中的基本概念和主要问题，同时也筒略地讨论了有关文献所提出的解决这些问题的各种方法。     

基于量子逻辑的图灵机及其通用性

基于量子逻辑的自动机理论是量子计算模型的一个重要研究方向.该文研究了基于量子逻辑的图灵机(简称量子图灵机)及其一些变形,给出了包括非确定型量子图灵机l-VTM,确定型量子图灵机l-VDTM以及相应类型的多带量子图灵机,并引入量子图灵机基于深度优先与宽度优先识别语言的两种不同定义方式,证明了这两种定义方式在量子逻辑意义下是不等价的.进一步证明了l-VTM、l-VDTM与相应类型的多带量子图灵机之间的等价性.其次,给出了量子递归可枚举语言及量子递归语言的定义,并给出了二者的层次刻画,证明了l-VTM与l-VDTM不等价,但两者作为量子递归语言的识别器是等价的.最后,文中讨论了基于量子逻辑的通用图灵机的存在性问题,给出了一套合理编码系统,证明了基于量子逻辑的通用图灵机在其所取值的正交模格无限时不存在,而在其所取值的正交模格有限时是存在的.     

实时视频压缩的计算结构

通过分析实时视频压缩算法的结构和数据结构，从并行策略和层次化结构的角度入手，系统地得出了实时视频压缩的计算结构模型。从芯片设计和应用的观点，对各种结构模型进行了性能比较，通过实例分析，证明了这些结构模型的有效性。     

图灵机及其构造研究

图灵机模型是现代计算机科学的理论基础,学习图灵机理论对于研究计算机理论有着重要的意义。本文介绍了图灵机的产生和用途,分析其基本模型以及扩展模型,并通过举例对图灵机的构造进行了探讨。     

图灵机及其构造研究

图灵机模型是现代计算机科学的理论基础，学习图灵机理论对于研究计算机理论有着重要的意义。本文介绍了图灵机的产生和用途，分析其基本模型以及扩展模型，并通过举例对图灵机的构造进行了探讨。     

Infinite Time Turing Machines

Infinite time Turing machines extend the operation of ordinary Turing machines into transfinite ordinal time. By doing so, they provide a natural model of infinitary computability, a theoretical setting for the analysis of the power and limitations of supertask algorithms.     

图灵机的哲学意义

人类在创造人工自然的过程在中,如果不遵循自然规律而一意孤行,其结果必然对天然自然造成级大破坏,人类最终将自食苦果,计算机技术的发展也不例外。     

基于扩展通用图灵机的计算机病毒传染模型

在计算机基础理论模型——图灵机模型的基础上,提出了一种扩展的通用图灵机（EUTM）模型,这种模型突出了计算机病毒的传染特性,极大地简化了计算机病毒传染的形式描述,并根据EUTM模型给出了计算机病毒的形式定义,形式化描述了计算机病毒在单机和多机环境下的传染。最后指出了Fred Cohen关于病毒检测不可判定性定量证明的不足,并利用EUTM模型证明了病毒检测不可判定性定理。     

实时软件设计方法的发展趋势

介绍实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证,讨论实时程序设计的基本特点和与一般程序设计的不同之处,程序层次的实时性包括静态的时间限制表达和动态的时间限制维护,程序规范层次的实时性包括建立规范说明模型和形式化证明.     

What Turing Did after He Invented the Universal Turing Machine

Alan Turing anticipated many areas of current research incomputer and cognitive science. This article outlines his contributionsto Artificial Intelligence, connectionism, hypercomputation, andArtificial Life, and also describes Turing's pioneering role in thedevelopment of electronic stored-program digital computers. It locatesthe origins of Artificial Intelligence in postwar Britain. It examinesthe intellectual connections between the work of Turing and ofWittgenstein in respect of their views on cognition, on machineintelligence, and on the relation between provability and truth. Wecriticise widespread and influential misunderstandings of theChurch–Turing thesis and of the halting theorem. We also explore theidea of hypercomputation, outlining a number of notional machines thatcompute the uncomputable.     

虚拟的孪生图灵机——以双语信息处理为例

本文阐述一种虚拟的孪生图灵机,即：由两个图灵机组成的孪生并行计算机,其特征是其受限模式与派生模式分别由汉语的言即单音节字的基本符号对象和语即双音节多音节字组的符号组合解释为例加以说明。其作用在于基于它可建构理想的双语信息处理系统,即：协同智能计算系统;应用它可形成并行计算、分布计算、网格计算、虚拟计算和云计算乃至超级计算。其意义在于借助它蕴含的协同智能计算本质——虚拟与现实的关系,可把图灵可计算性、计算复杂性（其中揭示了一个基本原理——NP=P当且仅当N可有可无）和图灵测试连贯起来。     

Hopfield网的图灵等价性

本文给出了用Ｈｏｐｆｉｅｌｄ网计算部分递归函数的构造性证明．由于部分递归函数与图灵机等价，故Ｈｏｐｆｉｅｌｄ网与图灵机等价．