一种实用的多数据库量子信息检索协议

针对目前量子私有信息检索不能适用与云存储的多数据库问题,基于现在成熟的量子密钥分发方法,提出了一种适合在多数据库环境下,实用的量子私有信息检索协议。对于不同大小的数据库,协议可通过调节参数θ和k,在保证数据库安全及用户隐私的情况下,完成信息的检索。性能分析结果表明,协议的通信复杂度低,检索成功率高、易于实施。     

连续波半主动雷达制导空空导弹截获跟踪距离计算

分析了连续波半主动雷达制导导弹导引头工作电磁环境和对武器系统攻击区的影响，建立了热噪声和杂波干扰环境下导引头截获距离方程，分析推导了直波泄漏干扰，地杂波干扰的计算公式，并在此基础上给出了导弹允许攻击区计算公式。     

Windows2000环境下实时控制系统的软件实现

文章介绍了在windows2000环境下通过编写WDM（Windows Driver Model）设备驱动程序实现实时数据采集和控制的一种方法。采用研华数据采集卡PCL818L产生中断信号．通过编写WDM驱动程序实现了在windows2000环境下转台的位置控制。并在实验中调试通过。实验结果表明：在采样频率为1KHz的情况下。控制系统很好实现了输出对输入的跟踪，证明了采用方法的正确性。该方法解决了windows2000环境下的实时性问题，为在windows环境下实时控制系统的实现提供了有益的尝试。     

基于Linux的以太网数据包捕获方法

网络数据的捕获是入侵检测系统的基础,本文在分析了以太网工作模式的基础上,实现了基于Linux操作系统上的以太网数据包捕获,与传统的套接字方法进行比较,说明该方法具有高效率和良好的兼容性。     

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

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

一类椭圆型方程的多重解

利用极小极大方法获得了一类Dirichlet问题多重解的存在性结果.     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

BEPCⅡ直线加速器重大改造和束流调试进展

BEPCⅡ直线加速器的重大改造旨在获得高流强、小发射度和小能散的正负电子束, 以满足对撞机亮度提高两个两级的要求. 这对直线加速器各系统和束流物理是一个挑战. 文章介绍了直接决定束流性能的新电子源、新正电子源、新微波功率源、相位控制系统和束流测量系统等的改造情况; 叙述了束流物理研究; 介绍了束流调试进展情况和进一步改进计划.     

最优带仲裁认证码

本文研究带仲裁认证码（亦称A^2-码）。一个A^2-码，当它的欺骗攻击成功概率达到信息论下界且密钥长度也达到最小时称为是最优的。本文给出最优A^2-码的组合结构的特征，从而将构造最优A^2-码的问题归结为构造相应的一类组合设计的问题。