基于几何算法的水下航行器路径规划

在分析水下航行器路径规划影响因素及主要障碍物特点的基础上,提出了一种基于几何算法的水下航行器路径规划算法,并采用该算法对障碍物进行建模和路径规划研究,解决了水下航行器航经多障碍物海区的路径规划问题.最后,通过仿真试验验证了该算法的准确性与可行性.     

材料电导率对混响室场性能影响的仿真研究

混响室作为一种经济有效的新型电磁兼容检测设备,近年来倍受人们的关注。在混响室的设计过程中,材料的选择是其中的关键环节之一。通过仿真计算,从电场强度大小和电场均匀性两个方面研究了四种不同电导率材料对混响室场性能的影响。数据结果表明,随着材料电导率的升高,混响室内电场强度的各分量最大值和电场强度平均值均明显提高,并且材料电导率的变化不改变室内电场的分布情况。从电场均匀性方面来看,四种不同电导率材料的混响室,其电场均匀性均满足标准IEC61000-4-21的要求。     

可判定条件下的零知识证明

零知识证明是密码学关注的问题之一。在可判定条件下,运用代数学中群的共轭性质进行零知识证明,其实例就是数学中关于寻找共轭子的困难性问题。     

当前消防建审工作面临的挑战及对策

以我国从计划经济向社会主义市场经济转型的国情实际为出发点 ,结合WTO的规则要求 ,分析当前消防建审工作存在的问题 ,并提出应对方法和措施。     

C~3I系统中软件的程序设计方法问题

软件的可靠性是Ｃ￣３Ｉ系统成败的关键之一,用规范和程序分离的办法设计软件,其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见,以及目前在这一领域尚存在的困难和解决的途径。     

YHFT-DX处理器全定制EDA技术的开发与应用

在YHFT-DX处理器的研制中,研究并实现了多项支撑全定制设计的EDA技术。针对全定制设计的功能验证,研究并实现了层次式功能模型自动提取技术,能够将晶体管级网表转化为等效的RTL级网表。研究并实现了晶体管级混合时序分析方法,可自动分析全定制设计的延时,并采用多线程并行的方法获得了约10倍左右的速度提升。为提高模拟结果分析的效率,开发了一个延时提取的工具Aimeasure。开发了两个信号完整性分析工具PNVisual和NoiseSpy,分别用于全定制设计的IR-Drop分析和噪声分析。上述技术已在YHFT-DX处理器的设计中得到了广泛应用,有效提高了全定制设计的效率与质量。     

FACILITATING NUCLEAR DISARMAMENT: Verified Declarations of Fissile Material Stocks and Production

Unprecedented interest in seeking progress toward nuclear disarmament exists today; even some nuclear weapon states are looking for new ways to strengthen this process. National declarations of fissile material holdings—highly enriched uranium and plutonium—could play an important role in supporting this effort, facilitating not only transparency but also the irreversibility of the process. This article discusses what kind of content such declarations could have in order to be meaningful and effective, the sequence of data on fissile material holdings that states might release, and some of the challenges to be expected in reconstructing historic fissile material production; it also summarizes current attitudes of weapon states toward making such declarations. Initial declarations can be valuable as confidence-building measures, but better and more background data are necessary if declarations are to serve as the groundwork for deeper cuts in the nuclear arsenals. A robust verification approach would ultimately require inspectors to have access to fissile material production and storage sites. The methods and tools of nuclear forensic analysis—in this context also dubbed nuclear archaeology—would be a key element of this process. This article discusses the capabilities and limitations of potential approaches to verifying declarations of historic production of plutonium and highly enriched uranium; it also identifies and discusses opportunities for further research and development.     

GETTING BETTER ALL THE TIME

Detect and Deter: Can Countries Verify the Nuclear Test Ban?, by Ola Dahlman, Jenifer Mackby, Svein Mykkeltveit, and Hein Haak. Springer, 2011. 279 pages, $129.     

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

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

空间引力波探测无拖曳技术现状与趋势

航天器无拖曳控制是实现引力波空间探测科学平台超静超稳运行的核心关键技术之一。目前,国内外各研究机构对航天器系统的动力学与控制进行了深入研究,并针对不同的探测频段需求提出了不同的探测任务。根据探测任务进行了航天器编队设计与控制的详细介绍和分析,对涉及的无拖曳与姿态控制、高精度惯性传感器与执行机构等原理和理论方法进行了深入的剖析。针对现已开展的空间引力波探测无拖曳航天器在轨飞行的演示验证整体情况进行详述和分析。在此基础上,提出后续开展相关研究中亟待解决的关键问题,指出未来无拖曳航天器系统动力学与控制的研究热点和趋势。