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

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

2014nccet：一种新的用于减少远程Cache访问延迟的最后一次写访问预测方法*

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

燃烧加热型煤油加热器工作特性试验

针对冲压发动机地面试验应用需求,设计了基于燃气加热方式的煤油加热器,通过试验的方法研究了多个因素对其工作特性的影响规律。研究结果表明,该煤油加热器加热能力强,响应时间短,可在线制备超临界/裂解态煤油;其中,燃气温度、流量和煤油流量是影响煤油加热器工作特性的主要因素,通过控制燃气温度和流量可以大范围调节煤油温度,能满足冲压发动机不同试验工况的应用需求。     

测量TOA和DOA的单站无源定位跟踪可观测条件

单站无源定位跟踪技术中,可观测性分析是一个关键问题,但是由于TOA测量方程的非线性程度太高,直接通过计算Jacobin矩阵得到的可观测矩阵形式非常复杂,很难得出明确的分析结果。采用新的思路推导了一种TOA测量方程的线性化方程,分析了测量TOA和DOA单站无源定位的可观测条件。最后给出了计算机仿真结果。     

基于标注事件图的空间数据库主动规则终止性分析

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。     

边界扫描测试仪软件系统开发

边界扫描是一种正在被人们普遍接受的可测试性设计技术 ,在电子设备测试和故障诊断中发挥着越来越重要的作用。本文介绍了开发的边界扫描测试仪样机的工作原理 ,并着重论述了其软件开发的几个重要问题。     

浅谈离子极化对化合物性质的影响

本文阐述了离子极化的产生;离子极化对化合物键型的影响以及对化合物性质的影响,并重点讨论离子极化对一些盐性质的作用。     

车载机枪托架行进间发射动力学分析与优化

托架是车载机枪上的主要承力构件,其刚强度和动力学性能会对车载机枪射击产生较大影响。基于路面不平度理论和发射动力学理论,建立了某12.7 mm车载机枪的行进间发射动力学模型。对行进间射击时的车载机枪托架,在极限射角及平射状态分别进行10发连射过程的仿真分析。以减轻托架结构质量和降低托架支撑板行进间发射时的交错变形为目标,结合拓扑优化分析与参数化建模方法,对托架进行结构优化设计,并对优化前后的托架力学性能进行对比。分析表明：平射时托架工况最为恶劣,托架满足强度要求;托架支撑板交错变形会引起枪口产生0.011 3 mm的偏移,通过对托架结构优化设计,结构质量减小31.82%,提高托架支撑板刚度匹配性,支撑板的交错变形量减小85%。对车载机枪及遥控武器站的设计具有指导意义,为其他机载武器及遥控武器站设计提供参考依据。     

个人防护器材效应的评价实践

近lO年来,围绕“八五”和“九五”新型个人防护器材的研制等装备科研工作的需要,对相关个人防护器材的生理舒适性等效应进行了详细、多层面的试验研究．将简要回顾和总结有关研究结果及进展．