可集成量子计算中的非近邻相互作用

我们研究一维自旋1／2链中的非近邻相互作用的影响。和近邻相互作用相比，非近邻的相互作用强度一般会较弱，因而在以前的许多方案中，这种长程的相互作用被忽略了。本文首先估计由被忽略的非近邻相互作用所引起的量子逻辑门的误差。我们得到的结果是，这项误差不仅和非近邻相互作用的强度有关，更依赖于一维自旋链所包含的粒子数，忽略非近邻相互作用有可能会对可集成量子计算造成影响。我们进一步研究如何消除或者压缩这种长程的相互作用所造成的影响。我们提出了一个量子计算方案。在这种方案中，次近邻的相互作用的影响被完全消除，从而我们可以使量子逻辑门的精度得以提高。我们也讨论了这种方案在超导量子计算体系里面的物理实现问题。     

第三种波粒二象性的揭示及其实验验证

简单回顾了Einstein 1905年揭示的第一种波粒二象性（光的波粒二象性）与de Broglie 1923年揭示的第二种波粒二象性（实物粒子的波粒二象性）及其实验验证过程，指出了这两种波粒二象性的本质差别，分析了波粒二象性的逻辑体系并指出：只要把Gan1995年揭示的“经典（电磁）场在结构上的颗粒性”当作“第三种波粒二象性”就能构成“三种波粒二象性”的完美组合，利用“波粒二象性的相变假说”还可以把这“三种波粒二象性”和谐地统一起来。借助于经典条件下光的经典理论与量子理论究竟哪一个更为精确的实验判决（见《光散射学报》）2006年第1期第75．79页《Lorentz-Compton佯谬与一个双赢判决性散射实验设计》）还可以完成“第三种波粒二象性”和“波粒二象性的相变假说”的实验验证。     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

高考专题复习系列讲座——集合与简易逻辑

[考试内容及考试要求]。考试内容：集合，子集，补集，交集，并集，逻辑联结诃，四种命题，充要条件．     

模糊数学,随机数学与精确数学的逻辑比较

本文揭示模糊数学，随机数学与精确数学有相似的形式公理化描述，它们的区别只在语义上。     

《关于命题的讨论》一文的一点瑕疵

文 [1 ]旨在对高中新教材中新增加的“简易逻辑”内容进行解释说明 ,对于不熟悉这部分内容的中学师生颇有参考价值 .但是该文中有一点瑕疵 ,今冒昧指出 .文 [1 ]在谈到关于命题的否定与否命题这一问题时认为 :“若ｐ则ｑ”的否定是“若ｐ则非ｑ” .这是一个错误观点 .事实上 ,“若ｐ则ｑ”等价于 (「ｐ)∨ｑ(文 [1 ]在谈到关于逻辑联结词与复合命题时也是这样说的 ) ,其否定应该是ｐ∧ (「ｑ) .ｐ∧ (「ｑ)读作“ｐ且非ｑ” ,习惯上也可以说成“虽然ｐ ,但非ｑ” .“若ｐ则非ｑ”等价于 (「ｐ) ∨ (「ｑ) .当ｐ为假时 ,「ｐ为真 ,于是 (「ｐ…     

求解通信网节点间全部路由的逻辑代数化算法

经典的D IJKSTRA和BELLM AN-F LOYD通信网络路由算法,只能根据特定网络参数得到最佳路由,却无法获得网络存在的全部可用路由,而通信网理论研究及网络管理等方面,往往需要获得节点之间的全部可用路由.研究出一种路由新算法,遵循逻辑代数运算规则、采用关联矩阵中行与行之间整合与删除方式计算,N个节点的网络只需N-1次整合及删除运算,就能得到源节点到任意节点两点之间全部路由结果.详细论证了算法的正确性与合理性,简介了算法的并行运算可行性及与经典路由算法的兼容性等问题.通过算例详细说明算法的计算过程,并验证其正确性.     

基于低功耗双边沿D触发器的任意进制异步计数器设计

从D触发器激励表入手，分别给出了采用单边沿D触发器和双边沿D触发器的2^n进制异步加法计数器、减法计数器的设计方法．在此基础上，采用逻辑函数修改技术，通过实例讨论了基于单边沿D触发器和双边沿D触发器的异步任意进制计数器的设计．该设计方法方便，快速，具有一定的实用意义．     

Single Qubit and Its Universal Logic Gate Made of a Heisenberg Spin Cluster with Five Particles

We investigate an anisotropic Heisenberg spin cluster with five particles controlled by a time-dependent magnetic field. With the algebraic dynamical method, we obtain the exact analytical solution to the time dependent Schr6dinger equation. Based on the analytical solution, it is shown that the system can be used as a universal single qubit logic gate controlled by the strength and frequency of the magnetic field, and the six special single qubit logic gates can be realized physically. We also discuss the anti-decoherence property of the qubit and its logic gates resulted from particle coupling effect and collectivity of the cluster.     

一个令人费解的逆否命题

作者在给“百千万骨干教师”讲授逻辑问题时 ,一位教师向我提出了一个令他困惑不解的问题 ,下面是解决此问题的全过程 .(为叙述方便 ,把“百千万骨干教师”视为学生 )问题 :原命题　若 x≥ 0 ,则 x2 ≥ 0 .逆否命题　若 x2 <0 ,则 x<0 .学生甲 :逆否命题这样写对吗 ?教师 :对呀 .学生甲 :原命题显然是真的 ,然而逆否命题怎样是假的呢 ?教师 :这个问题提的好 .(因为刚讲过逻辑研究的对象 ,这个问题正好与逻辑研究的对象有关 )请同学们讨论逆否命题到底是真还是假 ?学生乙 :在实数范围内 ,x<0不可能 ,所以逆否命题不存在 .学生丙 :不对 .x2 <0…