稀疏图灵归约“NP=P？”的关系

本文定义了稀疏图灵归约，证明了定量，若ＮＰ（或ＰＳＰＡＣＥ）有≤Ｋ－ｓ－Ｔ＾－困难庥，则ＮＰ＝Ｐ（或Ｐ＝ＰＳＰＡＣＥ）由此还获得了一些结果。     

进化计算的可计算性

本文针对进化计算的进化控制特点，提出了一种进化程度的描述方式，并讨论了进化计算的可计算性。该项工作有助于进化计算形式化理论的建立和应用系统的开发。     

图灵:计算理论的奠基人

广义的信息理论包含计算理论和通信理论两大部分。计算理论指经典的可计算性理论,代表人物是英国科学家图灵;通信理论指经典的信息论,代表人物是美国科学家香农。本文介绍图灵的杰出贡献,一是建立了图灵机模型,奠定了可计算理论的基础;二是提出了图灵测试,阐述了机器智能的概念。他当之无愧地被誉为“计算机科学之父”。但是在他生活的时代,却完全没有这些赞誉。当时认为他不过是一位古怪的数学家、超前的哲学家、神秘的密码破译专家,没有人会想到他的思维能燃起信息时代的烈焰。童年的艰辛艾兰·图灵(Alan MathisonTuring,1912-1954年)于…     

配电网线损理论计算系统计算模型

讨论了10kV电网和380V电网线损理论计算模型,电力网网损管理及理论计算分析系统开发及工程应用实践表明了所述方法的正确性和有效性.     

计算理论研究的核心问题与方向

论述了计算理论的发展历史 ,核心研究工作 (包括计算模型、算法设计和分析 ) ,最近取得的新成果 ,一些尚未解决的问题及其发展趋势。     

基于图灵模型的P=？ NP问题分析

P=？NP问题是计算复杂性中的核心问题。2000年,美国克雷实验室将其收录为“千禧年大奖”七个问题之首。本文基于图灵模型,对P=？NP问题的研究现状、P=NP／P≠NP 证明方法、NPC问题求解方法及研究进展进行阐述。     

受限外部信息源计算的P─NP性质

本文对Ｏｒａｃｌｅ图灵机在接受计算中的查询次数加以限制，并且得到结果：存在无穷多个非多项式等价的递归集Ａ，Ｂ，Ａ′，Ｂ″，Ａ″，Ｂ″，Ａ，Ｂ，它们满足性质：Ｐ（Ａ，ｑ）＝Ｐ（Ａ，ｑ＋１），Ｐ（Ｂ，ｑ）≠Ｐ（Ｂ，ｑ＋１），ｐ（Ａ′，ｑ）＝Ｐ（Ａ′），Ｐ（Ｂ′，ｑ）≠Ｐ（Ｂ′）．ＮＰ（Ａ″，ｑ）＝ＮＰ（Ａ″，ｑ＋１），ＮＰ（Ｂ″，ｑ）≠ＮＰ（Ｂ″，ｑ＋１），ＮＰ（Ａ，ｑ）＝ＮＰ（Ａ），ＮＰ（Ｂ，ｑ）≠ＮＰ（Ｂ）．     

计算理论需解决的基本问题

21世纪将会是人工智能大行其道的世纪,但不是以冯机为基础的机器智能,而是以人脑为摹本的智能机器。智能机器,是提高机器本身的基础性能,使其更接近于人脑的结构与功能机制。这意味着必须变革目前的计算理论与技术,且一定是革命性的原理变革。     

一种广义分子计算模型及其在 NP问题中的应用

目前各种分子计算模型多基于生物技术,求解一个问题的分子计算机算法很难不作修改地应用于其他类似的问题,尚不似传统计算机般通用。为此,提出一种基于图灵机的广义分子计算模型,其由一台单带图灵机、一条单向只写带和一条工作带组成,通过只写带与工作带之间特殊的映射函数实现并行的同时读、写操作。实验说明了该模型能够在多项式时间求解NP完全的满足性问题（SAT）,比现有分子计算模型在计算准确性和通用性上存在明显优势。     

受限外部信息源计算的P—NP性质

本对Ｏｒａｃｌｅ图灵机在接受计算中的查询次数加以限制，并且得到结果：存在无穷多个非多等价的递归集Ａ，Ｂ，Ａ＇，Ｂ＇，Ａ＇＇，Ｂ＇＇，Ａ＇＇＇，Ｂ＇＇＇，它们满足性质：Ｐ（Ａ，ｑ）＝Ｐ（Ａ，ｑ＋１），Ｐ（Ｂ，ｑ）≠Ｐ（Ｂ，ｑ＋１），ｐ（Ａ＇，ｑ）＝Ｐ（Ａ＇），Ｐ（Ｂ＇，ｑ）≠Ｐ（Ｂ＇），ＮＰ（Ａ＇＇，ｑ＋１），ＮＰ（Ｂ＇＇，ｑ）≠ＮＰ（Ｂ＇＇，ｑ＋１），ＮＰ（Ａ＇＇，ｑ）＝ＮＰ（Ａ＇＇），ＮＰ（Ｂ     

基于云理论的普适计算协同信任模型

将风险理论用于普适计算需要解决的核心问题是对“风险”的定义,云理论是一种定性与定量之间相互转换的有效工具,该文借鉴云理论的概念对普适计算中上下文信息的动态变化进行判断,综合多种风险信号,给出风险信号和“风险”的定义。跟据 “信任风险”和基于云理论的信任模型提出协同信任模型,并列举了一个模型实例。     

MnSOD活性中心的理论计算

采用分子力学优化和量子化学计算相结合方法对MsSOD活性中心进行了理论分析，结果表明其中心结构利于超氧自由基的进攻；而主要参与的分子轨道处于低能区，表明其电子结构是稳定的。     

P2P计算技术的研究与应用

计算机对等联网(Peer-to-Peer)是目前流行于国际网络技术研究领域的一种新兴的网络模型。作为真正的分布式计算技术,P2P技术将对Internet的发展产生重要的影响。与传统的C/S模型相比,它在网络资源利用率、消除服务器瓶颈等多方面有明显的优势。因此,P2P蕴涵着巨大的商业和技术潜在价值。文章首先分析了P2P的特点和优势,然后详细讨论了它的研究与应用现状,以及P2P的节点状态、搜索策略、信息的定位和安全问题,并总结了P2P网络的关键技术和面临的挑战。     

模糊商空间理论(模糊粒度计算方法)

把商空间模型推广到模糊粒度世界,并给出了两个基本结论.一个结论是,下面4种提法等价:(1) 在论域X上给定一个模糊等价关系;(2) 给定X的商空间上的一个归一化等腰距离;(3) 给定X的一个分层递阶结构;(4) 给定一个X的模糊知识基.另一个结论是,所有模糊粒度世界全体,构成一个完备半序格.这些结论为粒度计算提供了一个强有力的数学模型和工具.     

算法分析和计算复杂性理论

一、算法与程序算法的研究是计算机科学的重要课题之一。早在电子计算机问世之前，就有人开始了算法的研究，并创立了许多有效的算法。特别是1946年以后，由于电子计算机的出现和迅猛发展，使算法的研究取得了空前的进展。到了70年代，随着大规模集成电路的出现和计算机的更新换代，算法的研究又发生了一次飞跃，产生了与并行处理机相适应的并行算法，从而使很多原来难于处理的问题得以迎刃而解。80年代国际上出现了所谓“并行热”。目前，算法的研究正方兴未艾，不论从事计算机硬件设计（如计算机部件设计、系统设计或网络设计等），还是从…     

新一代网络计算模型——P2P及其JXTA体系结构的设计与实现

提出了P2P网络计算模型同传统的计算模型之间的区别，它所具有的许多吸引人的新特性和广阔的应用前景，简要地论述了JXTA体系结构在实现P2P计算模型时的特点，设计原则，核心构造块，核心协议，主要的参考实现及潜在的应用。     

线损理论计算系统中网络部分建设

从表示层、中间层、数据层和数据存储等方面讨论了电力网网损管理及理论计算分析系统中线损理论计算系统网络部分建设,电力网网损管理及理论计算分析系统开发及工程应用实践表明了所述方法的有效性和实用性.     

基于超优均衡理论的P2P激励模型的研究

在分析了P2P网络中充斥着大量Free-Rider节点的问题的基础上,提出一种新型的节点激励模型.在分析现有激励模型的基础上,鉴于古诺模型中利益获取模式与P2P网络中节点贡献与收益模式的相似度,引入博弈论中的超优均衡理论.该模型证明了在P2P系统中每个节点存在一个最优贡献值,只有当节点的贡献值达到该最优值时,才能从系统中获得更好的服务质量.分析证明,该激励模型对P2P网络有着一定的激励作用,并且有效地避免了Free-Rider问题,能够在一定程度上保证P2P系统的良性发展.     

基于计算思维与创新能力培养的计算理论课程教学改革探索

介绍以计算思维能力与创新能力培养为主线的计算理论课程教学设计方法,通过计算机学科素养训练、教学内容与案例设计等,阐述如何培养研究生的计算思维与创新思维能力、提高教师素质并设计合理的教学内容,构建适应信息化时代的"启发教"与"自主学"创新模式。     

纠错码理论在DNA计算编码中的应用进展

在DNA计算中,编码问题是目前DNA计算中的重点和难点之一,实验证明有效的编码设计能够提高DNA计算过程中的可靠性。本文主要介绍了近几年国内外关于纠错码理论DNA计算编码问题的应用进展,分析了其在DNA计算中的应用的两个主要方面,介绍了较为实用的两种代数编码方法,最后给出了未来研究的三点方面。