“导弹签证官”的夏天

有这样一群人,他们"签"下的是生命,"证"明的是战斗的胜利,他们为导弹"保驾护航",他们叫"导弹签证官"。仲秋时节,西北某山峦夜黑如墨、硝烟弥漫。群山裹着的火药味夹杂着让人等得有些焦躁的期盼。"发射!"随着震耳欲聋的的轰鸣声响彻云霄,数枚某新型导弹拖着长长的火焰刺破苍穹……"导弹命中全部目标!"靶指捷报飞来,悬着心的官兵们相拥而泣。胜利的到来往往会有许许多多的幕后英雄在奉献着。而为这些叱咤风云的导弹做安全保障的少不了一个人,那就是"导弹签证官"。"签"下的是生命,"证"明的是战斗的胜利。这     

关于评估和检验思想政治教育质量的思考

评估和检验对思想政治教育具有导向、反馈和借鉴参考作用。评估和检验标准的不同 ,对思想政治教育的评估结果有很大影响 ,对思想政治教育工作实践的影响更大。根据评估和检验的依据和方法来看 ,评价的标准必须满足三个方面的内容 :根本标准———战斗力标准 ,基本标准———“两个提供”标准 ,具体标准———从思想教育既定任务的要求出发所确定的标准     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

一种改进的指数型序贯抽样检验方法

针对指数型产品的可靠性验收问题,通过分析总结两次序贯概率比检验和序贯网图检验的思想,提出了一种改进的序贯抽样检验方法。通过构造验收风险的马尔可夫链模型,研究了改进的指数型序贯抽样检验方案的风险计算方法。在此基础上,给出了指数型序贯抽样检验方案的制定程序。实例分析表明:改进的指数型序贯抽样检验方案在保证截尾时间的条件下,明显降低了美军标MIL-STD-781C标准方案的验收风险,可以更好地满足双方的风险要求。     

真情催生战斗力——记贵州省贵阳市云岩区区委书记蒋纪鸣

“作为地方领导，检验工作落实的标准是看生产力；作为人武部党委第一书记，衡量工作落实的标准就是战斗力，因此我们的工作就是要做到生产力与战斗力同步提升。”这是贵州省贵阳市云岩区区委书记、区人武部党委第一书记蒋纪鸣在区委大小会议上常说的一句话。为了这句话，他可没少费心思。     

黑龙江某预备役高炮团——检验自身抗震救灾能力

四川汶川发生地震后．黑龙江某预备役高炮团参照灾区抗震一线救灾行动实际．在全团开展了“抗震救灾我们准备好了吗？”的群众性大讨论活动，积极查找自身应急建设不足，着力提高应急能力建设     

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

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

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

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

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

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

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

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