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

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

LLP10B火控计算机故障检测分析仪设计

研究了LLP1 0B火控计算机故障分析仪的设计及实现 ;给出了该分析仪的系统组成和工作流程。     

肠毒素性大肠杆菌CS6菌毛和霍乱毒素B亚基在人伤寒菌中共表达

构建了携带asd、霍乱毒素B亚基（CTB）基因的表达质粒,与人伤寒菌流行株Ty2的△aroA、△aroC和asd∧-三基因缺失空变体构成宿主-质粒平衡致死系统,用于在没有抗生素选择压力的情况下,稳定表达CTB及克隆在表达质粒上的外源抗原基因,并将肠毒素性大肠杆菌CS6菌毛抗原与CTB共表达。重组菌免疫家兔后可诱生相应的血清抗体,微量凝集实验显示组菌较好地保持了自身的免疫原性。为细菌性腹泻疫苗的研究提供了候选株。     

斑点免疫金染色检测金葡菌肠毒素B封闭条件的研究

金联免疫检测是在快速ELISA检测方法基础上发展起来的更快捷、更灵敏的检测方法,包括斑点免疫金染色、斑点免疫金渗滤、金联免疫层析纸条等。在金联免疫实验的各步骤中,膜片的封闭是实验的关键,如果封闭不佳,会出现非特异性吸附,使阴性样本出现假阳性而影响结果的判断．为了选择最佳封闭条件,我们比较研究了去脂牛奶、牛血白蛋白、酪蛋白、人血清和明胶封闭对金联免疫显色结果的影响。     

美国JSF联合攻击机有何新动向？

联合攻击战斗机(JSF)是美国准备在21世纪使用的主力战斗机之一,计划取代美国空军的F-15E、F-16、A-10和F-117,海军的F-14,海军陆战队的AV-8B,英国海军的“海鹞”式和空军的“鹞”式等飞机(英国是在美国力邀下加入JSF计划的)。它采用一机多型设计,共有常规型(CTOL)、航母型(CV)和     

高效计算网格壁面距离的KD树方法

计算流体动力学的一些领域中经常要用到流场点到壁面的最小距离,为了提高壁面距离计算的精度和效率,将KD树应用于非结构网格的壁面距离计算,计算了若干三维外形的壁面距离,结果表明:基于KD树的网格壁面距离计算方法鲁棒性好,计算效率和结果精度高,适应复杂外形的能力强;算法的通用性好,可以拓展应用到多种网格类型。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

道路网关节点分析评价专家系统的研制

本文主要阐述了工程兵道路网关节点专家系统结构模型,给出了关于关节点的知识树的构造。     

抗金葡萄肠毒素B的单克隆抗体的纯化与鉴定

复苏抗金葡萄肠毒素的杂交瘤细胞株２Ｄ１,１Ｄ２,１Ａ３,１Ｇ４,２Ｂ１,经１０％胎牛血清的ＲＰＭＩ１６４０培养基传代扩增,以１＊１０＾６２个细胞／鼠,腹腔注射降植烷自理伯ＢＡＬＢ／Ｃ小鼠,１０天后收集腹水,经快速酶联免疫吸收实验测得腹水抗体效价为１．６＊１０＾－６－３．２＊１０＾－６。     

格论在图分解中的应用研究

具有编序的多树组集合是多树格。多树格是几何格。多树组和其多树格的元素之间的有一一对应的关系。一个混合子图的全部树可以由能构成最大独立集的子图的多树组的Ｃａｒｔｅｓｉａｎ乘积的并集得一而勿需用制方法求出。这样在格率和图论之间建立了联系,对图的分解问题提供了一种直观的几何方法。