期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
心灵即计算:哲学,逻辑和实践 被引量:2
1
作者 费定舟 《计算机科学》 CSCD 北大核心 2009年第4期56-59,共4页
论证心灵是可计算的,因而为计算作为一门学科提供更丰富的内涵和实例,使计算不在局限于通常的自然过程而进入到人类心理领域。在哲学上,论述心灵哲学中的物理主义,采用最小立场即以依附(Supervene)来解释心灵现象何以是物理的;在逻辑上... 论证心灵是可计算的,因而为计算作为一门学科提供更丰富的内涵和实例,使计算不在局限于通常的自然过程而进入到人类心理领域。在哲学上,论述心灵哲学中的物理主义,采用最小立场即以依附(Supervene)来解释心灵现象何以是物理的;在逻辑上,我们首次以Church-Turing-Deutsch原理为基础来使Church-Turing论题与实际的物理系统联系起来,从而使本文的结论与量子计算相适合,也使可计算概念与物理学理论相协调,而这正是由Church-Tur-ing论题所定义的可计算概念所没有的地方。还讨论了认知逻辑在使人类情感、感觉和遗忘和记忆等方面的形式化方面的一些工作,这在知识表达和推理以及分布式计算等领域是一个很重要的方向之一。 展开更多
关键词 心灵哲学 物理主义 Church-Turing-Deutsch原理 量子可计算性 认知逻辑
下载PDF
A Parallel Quantum Algorithm for the Satisfiability Problem 被引量:1
2
作者 LIU Wen-Zhang ZHANG Jing-Fu LONG Gui-Lu 《Communications in Theoretical Physics》 SCIE CAS CSCD 2008年第3期629-630,共2页
In this paper we present a classical parallel quantum algorithm for the satisfiability problem. We have exploited the classical parallelism of quantum algorithms developed in [G.L. Long and L. Xiao, Phys. Rev. A 69 (... In this paper we present a classical parallel quantum algorithm for the satisfiability problem. We have exploited the classical parallelism of quantum algorithms developed in [G.L. Long and L. Xiao, Phys. Rev. A 69 (2004) 052303], so that additional acceleration can be gained by using classical parallelism. The quantum algorithm first estimates the number of solutions using the quantum counting algorithm, and then by using the quantum searching algorithm, the explicit solutions are found. 展开更多
关键词 satisfiability problem quantum search algorithm long algorithm
下载PDF
A Resistant Quantum Key Exchange Protocol and Its Corresponding Encryption Scheme 被引量:11
3
作者 MAO Shaowu ZHANG Huanguo WU Wanqing LIU Jinhui LI Shuanbao Wang Houzhen 《China Communications》 SCIE CSCD 2014年第9期124-134,共11页
The emergence of quantum computer will threaten the security of existing public-key cryptosystems, including the Diffie Hellman key exchange protocol, encryption scheme and etc, and it makes the study of resistant qua... The emergence of quantum computer will threaten the security of existing public-key cryptosystems, including the Diffie Hellman key exchange protocol, encryption scheme and etc, and it makes the study of resistant quantum cryptography very urgent. This motivate us to design a new key exchange protocol and eneryption scheme in this paper. Firstly, some acknowledged mathematical problems was introduced, such as ergodic matrix problem and tensor decomposition problem, the two problems have been proved to NPC hard. From the computational complexity prospective, NPC problems have been considered that there is no polynomial-time quantum algorithm to solve them. From the algebraic structures prospective, non-commutative cryptography has been considered to resist quantum. The matrix and tensor operator we adopted also satisfied with this non-commutative algebraic structures, so they can be used as candidate problems for resisting quantum from perspective of computational complexity theory and algebraic structures. Secondly, a new problem was constructed based on the introduced problems in this paper, then a key exchange protocol and a public key encryption scheme were proposed based on it. Finally the security analysis, efficiency, recommended parameters, performance evaluation and etc. were also been given. The two schemes has the following characteristics, provable security,security bits can be scalable, to achieve high efficiency, quantum resistance, and etc. 展开更多
关键词 ergodic matrix tensor problem resist quantum key exchange protocol ENCRYPTION
下载PDF
quantum discord geometric measure quantum phase transition
4
作者 崔海涛 田俊龙 杨癸 《Communications in Theoretical Physics》 SCIE CAS CSCD 2016年第2期154-164,共11页
A generalization of the geometric measure of quantum discord is introduced in this article, based on Hellinger distance. Our definition has virtues of computability and independence of local measurement. In addition i... A generalization of the geometric measure of quantum discord is introduced in this article, based on Hellinger distance. Our definition has virtues of computability and independence of local measurement. In addition it also does not suffer from the recently raised critiques about quantum discord. The exact result can be obtained for bipartite pure states with arbitrary levels, which is completely determined by the Schmidt decomposition. For bipartite mixed states the exact result can also be found for a special case. Furthermore the generalization into multipartite case is direct. It is shown that it can be evaluated exactly when the measured state is invariant under permutation or translation. In addition the detection of quantum phase transition is also discussed for Lipkin–Meshkov–Glick and Dicke model. 展开更多
关键词 A Generalized Geometric Measurement of Quantum Discord:Exact Treatment
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部