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

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

末制导炮弹弹着点的一种快速估算算法

针对攻击地面固定目标的末制导炮弹,基于三自由度质点弹道模型提出了以高度y为积分自变量快速估算弹着点的方法,比较了以时间t、柱坐标角度a、高度y为积分自变量的三种估算弹着点方法的估算速度。仿真结果表明,在末制导段快速估算弹着点,三种方法的估算速度相差较大:以高度y为积分自变量的估算速度最快;以柱坐标角度a为积分自变量估算速度次之;以时间t为积分自变量估算速度最慢。提出的估算方法不但估算速度快,且估算精度亦满足工程要求。研究结果对今后该弹种的研制具有一定参考价值。     

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

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

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

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

引入速率量测的高速机动目标跟踪多模型算法

在机动目标跟踪定位问题中,引入参考加速度的跟踪算法对目标定位跟踪精度高、效果好,但在目标发生高速机动时,其跟踪误差较大,收敛速度慢。针对这种情况,提出一种引入速率量测的自适应性圆周运动跟踪算法,并通过建立一种模型结构变换机制,将两者算法有效结合,构成一种变结构多模型算法(Variable Structure Multiple Model,VSMM)。在高机动条件和典型反舰导弹攻击航路下对算法进行仿真实现,证实了该算法相比于引入参考加速度跟踪算法,跟踪精度较高,收敛速度更快,具有一定工程实践指导意义。     

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

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

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

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

基于自适应累量算法的舰船轴频电场信号检测方法

提出一种新的舰船轴频电场信号检测方法.该方法利用高阶累量对高斯噪声的抑制作用,首先使用基于自适应累量算法的FIR滤波器对接收信号进行滤波消噪处理,以提高信噪比;然后再对滤波输出信号进行滑动功率谱检测.实测数据处理结果表明了该方法的稳健性和有效性.     

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

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