图灵机相关论文
普特南是美国著名心灵哲学家,他的功能主义理论是心灵哲学当中的一个重要理论。普特南留给心灵哲学研究领域的贡献是他能不断创新......
高庆狮院士于2006年发表《新模糊集合论基础》专著,为消解模糊逻辑系列悖论进行逻辑理论基础探索;并于2009年在科学出版社发表《统......
建立一个关于计算过程的假说,提出了模型的序,计算机的流和流序匹配等概念,以及流序结构的特征.根据假说,并行流程图具备N+1个序,......
由于现有的云架构缺乏云服务组合的中间件层,所以本文提出基于图灵机的云服务组合模型,并实现了云服务组合(CMCD)原型,它包括云服务组......
短暂而耀眼的一生 阿兰·麦席森·图灵(Alan Mathison Turing)是20世纪著名数学家、逻辑学家和计算机科学家,他被誉为“计算机科学......
他24岁提出“图灵机”设计,33岁设想人工智能系统,35岁提出自动程序设计概念,38岁设计“图灵测验”。 二战期间,他几乎凭借一己之力......
2012年2月,约2.1万名英国民众发起一项请愿活动,请求英国政府赦免图灵因同性恋而在1952年被判决的严重猥亵罪行。虽然这一请愿最终沒......
We consider a subclass of quantum Turing machines (QTM), named stationary rotational quantum Turing machine (SR-QTM), wh......
人的能力主要包括体力、智力、意志力、繁衍力等.创造并借助各种工具,不断拓展各种能力,是近现代人类社会飞速发展的显著特征.20世......
在博士后研究的两年期间,作者延续了博士论文的主题,主要关注交互式模型的研究。本研究报告提出了对应于经典计算框架中的图灵机模......
在信息产业迅速发展的21世纪,层出不穷的技术突破和创新冲击着人们的视野,CPS无疑是其中的佼佼者。CPS是在环境感知的基础上实现人、......
从1900年普朗克提出量子假设至今,量子理论历经了百多年的发展。量子理论不但让人们更深刻地认识了微观世界,也与其它领域交融而产......
该文主要关注的是结构复杂笥中的复杂类的非一致复杂笥和概率复杂性.对于NP的非一致复杂性,作者讨论了一个NP集与P/poly的关系.IP......
该文综述了生物计算中的热点-DNA计算,给出了DNA计算的一些实际算法和模型.在第一章中,简述了DNA的结构和DNA计算所需的生物技术;......
遗传算法是一种模拟自然界生物进化的通用搜索、优化算法,应用日益广泛并在应用中取得了较大成功。本文首先简要介绍了遗传算法发展......
随着计算机科学与其他学科之间的相互渗透和影响,科学家们根据不同原理提出了不同的计算模型。细胞膜计算是一种基于生物细胞膜结......
量子计算是一门交叉于数学、物理与计算机科学的前沿学科,具有令人期待的发展前景.量子计算的研究主要分为对量子计算模型、量子计......
聚类分析算法是一种无监督的学习方法,通过寻找数据对象中隐藏的模式来对数据进行自然的、智能的分组。它根据对聚类原理的分析,本质......
深度学习框架加速了人工智能技术的发展,越来越多的人工智能系统在专业领域超越人类,但沿此路径能否指引机器模拟出类人智能仍然没......
所谓计算型弱人工智能指的是在各种智力行为的表现上都至少跟人类一样好的计算型人工产品.彭罗斯改进了卢卡斯的论证,但保留了该论......
为了提高高校的工程教育水平,提出利用大学计算机课程培养学生的创新实践能力,基于LEGO Mindstorms机器人系统的实践教学方法——......
机器功能主义是功能主义的一种重要形式,是一种对心灵的本体论问题和其它心理属性具有较强的解释力的,克服了逻辑行为主义和类型同......
“红颜薄命”,这是东方文明对绝代佳人命运多桀的一种感慨;“天妒英才”,这是西方文化对旷世奇才过早辞世的无奈惋叹。自古以来,......
自动机是离散数字动态系统的一种数学模型,按照存贮量是否有限,分为有限自动机和无限自动机。自动机理论是本世纪50年代在开关网......
对现代密码机的攻击构成了现代密码学的中心问题。业已证明可把该问题归结成解一个具有n个未知数的布尔方程。事实上,为在一般意义......
由于计算机的日益发展和普及,在计算机科学中又产生了一个新兴的学科——计算复杂性理论。它主要研究计算的复杂性(计算所需的时间......
本文对有限状态自动机的移动进程演算模拟进行了研究.文章从一个有趣的角度,间接地研究了这一问题.主要通过演算和其子集的讨论,借......
λ演算、Turing机、递归函数理论是计算理论的重要基础.已知λ演算与图灵机的计算能力是等价的.本文介绍需要的λ演算的几个基本术......
阿兰·图灵出生于100年前的这一年,他最出名的成就是战时密码破译和发明“图灵机”——现在每一台电脑的核心概念。但他的精神遗产......
计算机基础理论和计算机科学与工程有着紧密的联系,后者给前者提供新鲜的课题,前者又为后者长远的发展开辟广阔的途径。没有理论......
该文就空间有界图灵机其细分非确定性问题作了讨论。这一讨论的直接背景耒源于LBA问题。指出了解决非确定与确定之间关系的困难程......
本论文引入了多墨水点两方向交替式下推自动机,它是一个具有额外能力的两方向交替式下推自动机,能够用k个墨水点在输入带上标记出......
程序混淆是一种保护软件知识产权的重要手段。它将一段代码转化为程序员难以理解的或者难以被其它软件自动识别的程序,从而防止被他......
这篇论文从文法的角度研究了Horn逻辑程序.因为Horn逻辑程序的计算能力与图灵机是等价的,而图灵机的计算能力与0型文法是等价的,所以,H......
学位
计算复杂性理论产生于对由计算模型定义的算法的数学研究.计算模型在近五、六十年逐步发展.Turing机成功地为理论计算机科学提供了......
本文共有两章,第一章是预备知识,主要介绍了图灵机的相关定义及理论,Grobner-Shirshov基理论,Newman引理和一些字问题不可解半群的例子......
随着信息技术的飞速发展和普及,计算机和网络技术在给人们带来方便和效率的同时,也带来了各种各样的安全方面的问题。计算机病毒就是......
DNA计算属于生物化学,数学以及计算机等学科的一个交叉领域,其研究的内容涉及到数学,医学,计算机等各个领域。自从Adleman教授开创......
精确求解偏微分方程在工程设计和其他计算科学等研究领域有着重要的现实应用,精确计算某一偏微分方程特定形式的解对数学家而言是一......
研究微分方程解的数值算法是数值分析的核心。用来解微分方程的数值技术主要包括有限差分法和有限元法,目标是通过这种数值技术找到......
非线性发展方程的可计算性是近代数学的一个重要的研究领域,即非线性发展方程的计算机求解。是否所有的方程都可以在计算机上实现......