基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

镶嵌式径向滑动轴承静特性分析

分析计算了镶嵌式径向滑动轴承中油膜的压力分布、承载量、摩擦系数和流量,得出镶嵌式径向滑动轴承具有不同于普通径向滑动轴承的静特性.     

基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

反舰导弹仿真中的目标命中判断问题

阐述了模型校核的意义和作用。对属于模型校核范畴的仿真中的系统状态不连贯问题的基本概念通过乒乓球的下落和反舰导弹攻击目标舰艇的例子进行了说明。介绍了已有的解决系统状态不连贯问题的三种方法,并进行了优、缺点分析。给出了反舰导弹仿真中的目标命中判断模型。指出,反舰导弹仿真中的目标命中判断问题是一个系统状态不连贯问题。为解决该问题,提出并应用了一种新方法预测法。利用预测法,最多进行两步最小步长仿真,就能够以要求的精确度检测到任何一个系统状态不连贯。相对于以前的三种方法,在提高仿真效率的同时,预测法还能够避免对系统状态不连贯问题的漏检。     

一种改进的指纹图像局部方向场匹配方法

指纹方向场真实地反映了指纹图像中本质的纹理特征,包括了指纹的基本形状、结构和走势。定义了局部方向场图像的描述方法,可以根据纹理信息有效地描述并区分不同的细节点。在低质量指纹图像,特别是存在较严重非线性形变的指纹图像中,细节点方向属性不够可靠,使得以细节点对作为参考对齐局部方向场图像的方法效果不佳。提出一种改进的局部方向场图像对齐和匹配方法,能够明显改善局部对齐效果,提高局部匹配的准确性,从而更加有效地区分对应和不对应细节点。实验结果验证了提出方法的有效性。     

Ti含量对Ti-B4C-C体系自蔓延高温合成的影响

以14Ti+3B4C+5C为基础反应体系,通过热力学分析及静态燃烧合成实验研究了钛含量对该体系SHS反应的绝热温度、反应速度和产物致密度的影响.研究表明,Ti含量适当增加,能够使反应速度加快、产物致密度提高.当Ti过量16%(摩尔分数)时,体系的绝热温度仍高达3 193K,反应速度最快,产物的致密度也较高.     

一种基于电压空间矢量控制的三相静止变流器设计

提出了一种以三相电压的合成电压空间矢量为控制对象的三相静止变流器的设计.该设计的优点在于,在三相负载不对称的情况下,能够保持三相电压的平衡.最后给出了该系统基于DSP的实现.试验结果验证了该方案的可行性.     

EPS加工企业火灾防控探析

近年来,随着EPS相关产业迅速发展,该类场所的火灾发生率也呈逐年上升趋势。由于EPS泡沫塑料属于可燃物质,其表面易积聚静电,在生产过程中,稍有疏忽,容易引发火灾事故。分析归纳了该场所火灾的成因,就该类场所如何消除火灾隐患,防患于未然,提出了相关建议。     

软件静态分析工具综述

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析,软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,为软件测试人员选择适合自己的软件静态分析工具提供参考。     

INTEGRATING NUCLEAR WEAPONS STOCKPILE MANAGEMENT AND NUCLEAR ARMS CONTROL OBJECTIVES TO ENABLE SIGNIFICANT STOCKPILE REDUCTIONS

In his 2009 Prague speech and the 2010 Nuclear Posture Review, President Barack Obama committed the United States to take concrete steps toward nuclear disarmament while maintaining a safe, secure, and effective nuclear deterrent. There is an inherent tension between these two goals that is best addressed through improved integration of nuclear weapons objectives with nuclear arms control objectives. This article reviews historical examples of the interaction between the two sets of objectives, develops a framework for analyzing opportunities for future integration, and suggests specific ideas that could benefit the nuclear weapons enterprise as it undergoes transformation and that could make the future enterprise compatible with a variety of arms control futures.