图灵机相关论文
普特南是美国著名心灵哲学家,他的功能主义理论是心灵哲学当中的一个重要理论。普特南留给心灵哲学研究领域的贡献是他能不断创新......
让我们先来看个小问题：计算1～100以内的偶数个数n与偶数之和S。答案很简单，n==50，S=2 4 … 100=（2 100） （4 98） … （50 52）＝2550。计算机又是......
短暂而耀眼的一生 阿兰·麦席森·图灵（Alan Mathison Turing）是20世纪著名数学家、逻辑学家和计算机科学家，他被誉为“计算机科学......
2012年2月，约2.1万名英国民众发起一项请愿活动，请求英国政府赦免图灵因同性恋而在1952年被判决的严重猥亵罪行。虽然这一请愿最终沒......
高中信息技术教材中提到了世界上第一台电子数字计算机是1946年诞生于美国的ENIAC，它是由莫克利和埃克特主持设计并制造的（浙教版教......
人的能力主要包括体力、智力、意志力、繁衍力等.创造并借助各种工具,不断拓展各种能力,是近现代人类社会飞速发展的显著特征.20世......
在博士后研究的两年期间,作者延续了博士论文的主题,主要关注交互式模型的研究。本研究报告提出了对应于经典计算框架中的图灵机模......
该文主要关注的是结构复杂笥中的复杂类的非一致复杂笥和概率复杂性.对于NP的非一致复杂性,作者讨论了一个NP集与P/poly的关系.IP......
该文综述了生物计算中的热点-DNA计算,给出了DNA计算的一些实际算法和模型.在第一章中,简述了DNA的结构和DNA计算所需的生物技术;......
遗传算法是一种模拟自然界生物进化的通用搜索、优化算法，应用日益广泛并在应用中取得了较大成功。本文首先简要介绍了遗传算法发展......
随着计算机科学与其他学科之间的相互渗透和影响,科学家们根据不同原理提出了不同的计算模型。细胞膜计算是一种基于生物细胞膜结......
量子计算是一门交叉于数学、物理与计算机科学的前沿学科,具有令人期待的发展前景.量子计算的研究主要分为对量子计算模型、量子计......
聚类分析算法是一种无监督的学习方法，通过寻找数据对象中隐藏的模式来对数据进行自然的、智能的分组。它根据对聚类原理的分析，本质......
计算机基础理论和计算机科学与工程有着紧密的联系,后者给前者提供新鲜的课题,前者又为后者长远的发展开辟广阔的途径。没有理论......
本论文引入了多墨水点两方向交替式下推自动机,它是一个具有额外能力的两方向交替式下推自动机,能够用k个墨水点在输入带上标记出......
程序混淆是一种保护软件知识产权的重要手段。它将一段代码转化为程序员难以理解的或者难以被其它软件自动识别的程序，从而防止被他......
这篇论文从文法的角度研究了Horn逻辑程序．因为Horn逻辑程序的计算能力与图灵机是等价的，而图灵机的计算能力与0型文法是等价的，所以，H......
学位
RADO的忙海狸函数∑(n)是从空白带出发的n态停机图灵机能在带上留下的1的最大个数.经过30多年的研究讨论,和忙海狸函数相关,还引进......
随着信息技术的飞速发展和普及，计算机和网络技术在给人们带来方便和效率的同时，也带来了各种各样的安全方面的问题。计算机病毒就是......
DNA计算属于生物化学,数学以及计算机等学科的一个交叉领域,其研究的内容涉及到数学,医学,计算机等各个领域。自从Adleman教授开创......
精确求解偏微分方程在工程设计和其他计算科学等研究领域有着重要的现实应用，精确计算某一偏微分方程特定形式的解对数学家而言是一......
研究微分方程解的数值算法是数值分析的核心。用来解微分方程的数值技术主要包括有限差分法和有限元法，目标是通过这种数值技术找到......
非线性发展方程的可计算性是近代数学的一个重要的研究领域,即非线性发展方程的计算机求解。是否所有的方程都可以在计算机上实现......
精确求解偏微分方程在工程设计和其他计算科学等研究领域有着重要的现实应用。到目前为止,这一工作并没有得到圆满解决,仍存在一些......
功能主义(functionalism)是当代西方心灵哲学中一种影响最大、追随支持人数最多、前景最广阔的一种理论。由普特南于20世纪60年代......
阿兰·图灵出生于100年前的这一年，他最出名的成就是战时密码破译和发明“图灵机”——现在每一台电脑的核心概念。但他的精神遗产......
由于现有的云架构缺乏云服务组合的中间件层,所以本文提出基于图灵机的云服务组合模型,并实现了云服务组合(CMCD)原型,它包括云服......
(n,k)CRC码是通信和计算机常用编码.通过讨论并导出(n,k)CRC码布尔矩阵的一些代数性质,其中一些性质的推导要直接使用(n,k)CRC码的......
自二战中第一台图灵机发明,到网络遍及全球,虚拟世界一点点进入我们的生活.我们曾以为这些被我们人类所创造的机器只是一个服务于......
图灵著名的“通用机”的属性长期以来支撑着关于认知本质的功能主义直觉。克里斯·伊利亚史密斯认为，对可多样实现性的标准的功能主......
DNA编码问题是DNA计算中初始数据库的设计问题,DNA编码优劣直接影响DNA计算的成功与否.提出了将DNA编码视为是某个文法产生的语言......
本文证明了一个集合论性质的引理,由它可直接得出G(o)del不完全性定理的抽象形式.文中还述及该引理的有关诸推论.......
图灵著名的“通用机”的属性长期以来支撑着关于认知本质的功能主义直觉。克里斯·伊利亚史密斯认为，对可多样实现性的标准的功能主......
研究一类Cauchy问题解算子的可计算问题,定义了从初值f,g到解u的一个非线性映射KR,在初值和非齐次项满足一定条件时,运用二型有效......
从编程语言的角度研究了可逆计算。首先，给出可逆编程语言流程图的3种基本结构，从而构建一个可逆编程语言的可视模型；其次，证明可逆语......
著名的丘奇(A.Church)命题指出,任何算法都可以用一个图灵机来描述.对自然数的四则运算给出了相应的图灵机.......
自动信任协商是陌生实体通过交替地披露属性证书建立信任关系的一种方法。现有的研究仅仅考虑与时间特性无关的其他方面,没有合理......
目前各种分子计算模型多基于生物技术,求解一个问题的分子计算机算法很难不作修改地应用于其他类似的问题,尚不似传统计算机般通用......
针对智能建筑室内环境下并行计算的动态任务调度问题，构建了基于分布式CPS思想的无线传感器网络（ WSN）模型，并分别设计了基于可计算复......
P=？NP问题是计算复杂性中的核心问题。2000年，美国克雷实验室将其收录为“千禧年大奖”七个问题之首。本文基于图灵模型，对P=？NP问题的......
将图灵机转移函数δ（qi，aj）一（qk，al）编码为（i，Unicode（aj），k，Unicode（al）），并将此编码方案应用于所设计的通用图灵机模型．模型的存储装置由两个带组......
为解决权限控制交互性问题,在属性访问控制的基础上提出了一种基于表单访问权限控制策略。策略引入表单实体,使用表单和属性映射表......
