完全二叉树相邻结点最近共同祖先的一种快速算法

寻找二叉树中两结点的最近共同祖先问题一直是图论与计算机科学关注的问题.首先,证明了完全求解二叉树相邻结点最近共同祖先的一个定理,该定理的求解方法主要涉及到位运算,无需递归搜索,既易于软件编程实现又易于通过硬件实现,然后给出了一个具有对数时间复杂度O（lnn）的快速算法及C＋＋示例.     

适用于数字对象的保密比较协议

分析了现有保密比较协议无法使用于不确定数字对象比较的原因,用随机构造单向散列函数的方法设计了对不确定具体范围的数字对象进行比较的一种多方保密计算方案,协议能以零泄漏的方式快速比较两个数字对象是否相同.用广泛接受的模拟范例证明了方案的保密性.     

Web信息系统异步编程模式的探讨

在Web信息系统的开发过程中,将Web多线程技术和Ajax技术有机结合起来,提出了一种异步编程模式,有效地解决同步编程模式会出现开销大且费时的程序段阻塞当前进程,以及在客户端无法实时读取服务器端进程状态信息的问题.在开发＂在线图书管理信息系统＂中多次使用了异步编程模式,并经过一年的使用证明,该方法是可靠和行之有效的.     

Quantum programming: From theories to implementations

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.     

无推力可控弹可达域和投放域计算

传统炸弹的火控系统中主要采用连续计算命中点CCIP和连续计算投放点CCRP攻击方式。对无推力可控弹在一定投放条件下构成的弹着点区域进行了计算分析，采用对角度积分的快速积分算法，快速确定区域边界。根据无推力可控弹所具有的可达域的概念，提出了连续计算可达域CCAR和连续计算投放域CCRR攻击方式。充分利用了可控弹的可操纵性，降低了瞄准误差要求。     

超导量子比特中的Landau-Zener-Stckelberg干涉

超导量子比特是人工固态量子系统,在低温和弱耗散条件下,具有量子化的能级结构.这些能级之间的间隔可以随外加偏置电磁场连续变化,不同能级在某些偏置场可能形成量子系统中所特有的免交叉.最近研究成果表明,利用这些免交叉,可以在固态量子比特中实现Landau-Zener-Stckelberg（LZS）干涉,为测量系统的能谱、表征系统与环境的耦合、实现量子逻辑门、产生量子纠缠等提供了一个便捷的新手段.     

A liquid helium temperature target with a 10 K vapor shield for shock compression experiment in the environment condition of 100 Pa

The shock compression experiment of liquid helium is an available way to gain properties of specimen at high temperatures and pressures.Based on Fluent,a thermal insulation analysis and design of a liquid helium temperature target in the environment condition of 100 Pa for shock compression experiment is performed.Then,a cryogenic target with a 10 K helium vapor shield and a separated vacuum interval is particularly developed.A lowest temperature of 3.63 K and a stable temperature of 3.70 K in the specimen cavity with an accuracy of 0.1 K are obtained by means of continuous flow and vacuum cooling.Both time-consuming and temperature stability are well-suited to the requirements of the shock compression experiment.The results show that the calculated and experimental data well-matched each other.The simulation method may be effective and feasible for the optimal design of the cryogenic target.     

选频平衡及计算机仿真在工业缝纫机降噪减振研究中的应用

本文结合GC301-01型中速平缝机及885型高速平缝机的降噪减振研究,提出了一种新的平衡方法——选频动平衡。经分析与实验验证,证明这种动平衡方法对于机构复杂的机器的降噪有明显效果。     

铝电解槽内金属循环的数值模拟

本文对铝电解槽内熔融金属在电磁力作用下的流场进行了研究,分别采用常湍流粘性系数模型和k-ε模型联立求解N-S方程,用SIMPLE方法,数值求解得到铝电槽内的金属流速、湍动能、湍动能耗散及湍流粘性系数的分布。计算结果与现场测定结果相吻合。     

高炉冷却壁温度场分布与热流强度的关系

本文阐述了高炉冷却壁在稳定状态下的温度分布的数值解析方法，分析了热流程度对铜冷却壁和铸铁冷却壁最高温度的影响。比较了铜冷却壁与铸铁冷却壁的优劣。