连续变量三体纠缠态的纠缠交换及量子远距离克隆

寻找合适的连续变量三体纠缠源,并利用它来讨论连续变量的三体纠缠交换过程,使得没有任何相互作用的遥远的三体之间产生纠缠;同时研究纠缠态的量子远距离克隆过程,从而使连续变量纠缠态的1对纠缠模被远距离克隆成2对纠缠模,实现纠缠性质的远距离克隆。     

Shor-Preskill方法不能直接证明B92量子密钥分配协议

密钥分配协议安全性的证明是确保密钥分配绝对安全的要求 ,经典密码方案的安全性大多难以证明 ,而利用量子力学的基本原理 ,可以证明量子密码方案是无条件安全的。介绍了Shor Preskill对BB84量子密钥分配协议无条件安全性的证明方法 ,归纳了其技巧和特点 ,揭示了对称化方法和量子纠缠提纯技术在该方法中的作用。证明了Shor Preskill方法不能直接用来证明B92协议的无条件安全性。提出了利用Shor Preskill方法间接证明B92的可能途径。     

再谈语义悖论的解析——答黄展骥先生

悖论研究迄今并未取得根本性的突破。集合论悖论和语义悖论既有共性又各有特点。黄展骥先生认为可以通过指出悖论犯“复合命题”错误 ,或不信它不说它就可以消解的说法过于简单。解决悖论的两个关键问题是 :一是要解释为什么“混层”和“自涉”不一定产生矛盾 ;二是要避免语言层次的无限升高或后退。应该突破这两个问题而大大推进悖论的研究     

量子计算机崭露头角

新华网华盛顿8月15日专电美国国际商用机器(IBM)公司、斯坦福大学和卡尔加里大学科学家联合研制出了5个原子作为处理器和内存的量子计算机,并首次证明这类装置有明显快于常规计算机的运算潜力。     

基于改进QGA的有/无人机编队多任务联盟生成

针对有/无人机编队作战中多约束复杂任务分配问题,提出一种改进QGA(Quantum Genetic Algorithm,QGA)的多任务联盟求解方法。首先确定任务需求、时间、平台能力等多种约束,综合考虑联盟总任务收益、耗费成本与任务时间因素,构造目标函数,建立了多任务联盟生成优化问题模型;从多分组并行演化、观测值修正、动态旋转角调整3方面对QGA算法进行改进用于问题求解;并结合实际案例进行了仿真分析,结果表明,提出的方法可以有效生成多任务联盟,解决有/无人机编队多约束复杂任务分配问题,解质量较高。     

从后备劲旅到打赢先锋——合肥市“防卫行动-2013”应战课题综合演习剪影

10月28日,合肥某军事训陲东基地上演“生死大片”,坦克、高射炮、靶机、量子通信等装备全体出动,一时间炮声震天,硝烟弥漫。一场军兵种民兵分队参加,以信息技术为主导的“防卫行动-2013”应战课题综合演习拉开战幕,重点演练了抗敌信息攻击、     

量子雷达的技术体制

当前,量子信息理论正在蓬勃发展,其应用已经深入到自然科学的各个领域.量子雷达是量子信息技术在目标探测上的具体应用,可探测隐身目标,具有超强的隐蔽性和机动性.主要介绍了量子雷达的分类、原理、系统组成、特点和关键技术问题.     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

基于量子遗传算法的火力分配

在使用遗传算法求解多目标的防空火力问题中,遗传算法的参数选择直接影响分配结果好坏,且分配结果差异性大。针对这种问题,根据防空火力和空中目标的特点建立相应的数学模型,结合量子遗传算法来解决多目标火力分配难题。数据仿真结果表明,量子遗传算法在解决多目标火力分配问题中有较强的可行性和有效性,火力分配结果与遗传算法相比在最优解与稳定性上均有所提升。     

量子计算的研究现状和发展动向

作为未来高性能计算研究的重要方向,量子计算受到了全世界的高度重视。文章简单介绍了量子计算的基本原理和研究现状,并对量子计算的未来发展作了分析与思考。