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

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

八年创业 硕果累累——新疆新天国际葡萄酒业有限公司发展大事记

新疆新天国际酒业销售有限公司经过8年的发展,现已成为国内乃至亚洲知名的葡萄酒生产企业。新天葡萄酒在业内具有较高的知名度,目前已成为国内葡萄酒十大品牌之一,产品质量得到了业内人士的一致好评。现已在上海、北京、广东等20多个省市设有营销分公司或办事处;原酒、成品酒出口法国、美国、古巴、东南亚等十几个国家与地区。     

带混合误差的Ishikawa迭代格式

将Ishikawa型迭代格式的收敛性问题推广到带混合误差的Ishikawa型迭代格式的情形 ,同时所用的证明方法和技巧有所改进     

基于多重分形广义维数的机械故障诊断方法

提出利用多重分形广义维数来描述信号特征 ,并以振动信号广义维数、广义维数谱图、敏感维数为特征向量的模式空间样本库为基础 ,给出了通过维数相关系数等判别条件进行识别的机械故障多重分形广义维数诊断方法。应用于圆盘类裂纹故障的诊断 ,取得了令人满意的结果。     

重庆红粘土屈服条件的研究

依据广义塑性力学原理,从三轴试验和真三轴试验的角度出发研究重点红粘土的屈服条件,给出了重庆红粘土的三个屈服面（体积屈服面、q方向上的剪切屈服面以及θσ方向上的剪切屈服面）的数学表达式,结合数值算例,证明了本文提出的三个屈服面表达式的合理性。     

水面舰艇电子武备基座水平度的检验与修正

论述了舰船电子武备基座水平度的检验与修正方法,探讨了影响基座水平度变化的诸多因素及预防措施.通过建立物理模型和数学模型,提出了基座水平误差修正方法.该方法在某型导弹驱逐舰现代化改装中得到了应用,收到了良好的效果.     

验前信息在武器装备试验中的应用研究

针对武器装备定型试验时如何把验前积累大量的先验信息科学合理利用,根据武器装备不同种类的验前信息,确定其分布类型并采用参数和非参数检验方法进行相容性检验,使经过预处理的验前信息能够为试验所用,并通过实例验证了该方法的科学可行性。该方法对验前信息在武器装备试验及结果评定中的应用具有一定意义。     

浅谈常见检验方案的运用

论述了军代表军检验收经常运用的几种检验方案的制定要点及其操作手段,以及今后发展可能趋势。     

国内首套屏蔽门系统样机通过检验

7月12日-13日,由中船重工七一三所与上海轨道交通设备发展有限公司联合研制的、国内第一套完全拥有自主知识产权的屏蔽门系统样机在上海通过评审。此前,该样机已经过“开／关门力、速度曲线、动能”等性能参数检测,检测结果完全满足设计要求。     

基于最优传递矩阵层次分析法的改进及应用

揭示了基于最优传递矩阵而建立的改进层次分析法（IAHP）产生误导的原因,将IAHP方法与“贴近度”概论结合使用,采用新的一致性检验方法,简化了层次分析法的计算过程。