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

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

触摸知识化军人

俄罗斯军事学家苏沃洛夫曾经说过：“无知比敌人还坏，它可能葬送整个军队。”迎接知识军事的挑战，首要的是催生知识化军人，包括人掌握知识的水平、人的创新意识与能力以及所需的物质、技术和人文条件。     

加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

日光温室葡萄连续丰产性的研究

随着农业产业结构调整工作的不断深入,葡萄设施栽培作为一个高效项目迅速发展,到2000年初,全国葡萄设施栽培面积已达11.25万亩,但由于日光温室的生长条件与露地栽培条件截然不同,常常造成葡萄在日光温室内不能连续丰产,一般栽后第二年丰产性很好,而下一年开始结果枝率明显下降,表现是升温越早,下年果实越小,有些品种不能满足生产要求的产量,不少地区利用一年一裁制来解决这个问题,但苗木投资大,管理费工。为此,我们通过以下试验,力求找出解决办法.1 试验材料与方法1.1 试验材料 试验地点:在沈阳农业大学园艺系葡萄试验园的日光温室内。温室长75米,宽8米,脊高3米,定植沟垂直后墙,沟内定植双行,沟距（大行距）3米,沟     

压缩空气弹射内弹道影响因素作用规律研究

针对某直筒式压缩空气弹射装置工作过程中存在诸多因素影响其内弹道特性的问题,为有效改善内弹道特性,提升装置整体弹射性能,对这些因素作用于内弹道特性的规律进行研究必不可少。选择以控制阀直径、发射筒径及初始温度3个因素作为分析重点展开研究。在计算流体动力学软件FLUENT中建立压缩空气弹射装置简化模型,通过网格无关性验证,选择了网格数合适的网格模型;设置合理参数,运用动网格技术进行计算仿真,得出不同控制阀直径,筒径及初始温度情况下弹射装置内弹道特性的不同变化规律。由于研究对象为直筒式弹射装置,针对该型压缩空气弹射器的研究较少,研究结果可为压缩空气弹射过程内弹道的深入研究提供理论参考。     

考虑主观思维区间性的效能量化模糊评估方法

针对武器装备在效能量化评估时,用一个数值量化定性指标和权重的不足,基于模糊综合评判理论、Vague理论和区间数算法,提出了一种考虑主观思维区间性的效能量化模糊评估方法。该方法定义定性指标和权重值为一个弹性区间,充分体现了专家对主观性事物认识的不确定性。模糊计算的效能值为一个区间,为确定评估对象的效能等级,引入Vague理论中相似度概念,能够直观判断其效能等级。通过与传统模糊方法和考虑定性指标区间性的模糊方法对比,验证了该方法的有效性和可信性。     

藏区地基换填戈壁土处理的经济适用性评价

藏区地基处理中如果能采用戈壁土作为换填材料，可以较好的解决该地区地基加固费用高的问题。结合某新建工程，对换填戈壁土方法进行经济适用性评价，结果表明该方法经济合理，可以推广应用。     

用于减少远程Cache访问延迟的最后一次写访问预测方法

为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。通过预测Cache块的最后一次写访问并提前对其进行降级,处理器能直接从主存中读取数据,从而减少了远程Cache访问所需的一个网络跳步数。与当前基于指令的预测方法相比,该方法能极大减少存储开销。基准测试程序的评测结果表明,该方法能获得83.1%的预测准确率,并且能提高8.57%的程序执行性能,同时与基于指令的预测方法相比,该方法能分别减少历史踪迹表69%的存储开销和签名表36%的存储开销。     

扎实推进强军目标在基层部队落地生根——学习贯彻新《纲要》应把握的几个问题

经习主席批准,今年1月25日,中央军委颁发了新修订的《军队基层建设纲要》,从2月1日起施行。《纲要》是加强基层建设的基本准则和依据。新修订的《纲要》,强化了以法规形式明确强军目标对基层建设的引领作用,回答了按照强军目标抓建基层“抓什么、怎么抓、往哪抓”的问题。因此,如何深入学习贯彻新《纲要》,有效引导官兵牢记强军目标、坚定强军信念、献身强军实践,推动强军目标在基层落地生根,是摆在各级党组     

基于AM-LFM和IRT的旋转微动目标成像算法

在雷达成像中,基于CS的方法因其压缩采样的特性而在高分辨雷达成像中得到广泛应用。然而由于其是一种基于参数化的成像方法,对观测位置误差特别敏感。在实际中,一般无法知道精确的观测位置。观测位置的误差会造成成像结果位置的偏离、散焦以及无法聚焦。针对基于压缩感知的成像算法存在的观测位置依赖性问题,提出了一种基于调幅-线性调频(AM-LFM)分解和逆Radon变换(IRT)的微动目标成像算法。该方法根据分解后信号调频率分离目标微动信号与主体信号,再进行IRT成像。仿真及实验结果验证了算法的可行性和有效性。