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

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

教学质量评价中协方差分析的应用

协方差分析是在方差分析与回归分析基础上发展起来的一种统计方法 ,通过对考试成绩的方差分析与协方差分析结果的比较 ,探讨协方差分析在教学效果评价中的作用。     

基于χ~2检验的惯性/卫星紧耦合系统故障检测与隔离方法

研究了一种基于χ~2检验的惯性/卫星紧耦合系统故障检测与隔离方法,该方法可利用故障检测函数自动识别单个卫导故障,并实时剔除故障星重构观测信息序列,从而避免了对紧耦合系统的影响。构建数字化仿真环境对所研究的故障检测与隔离方法进行了仿真,仿真结果表明,该方法可在卫星发生故障时及时检测并隔离故障星,并自动实现观测信息重构,保证了紧耦合系统的精度和完好性。     

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

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

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

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

多级抽样折合的小子样计数抽样方法

高价值、小批量产品要求小子样抽样,传统的计数抽样方法不能很好地解决这一问题.提出了一种基于多级抽样的综合抽样方法,将子系统或组件、零部件抽样折合为全系统抽样,增加全系统样本量,从而达到减少全系统抽样量,降低试验成本的目的.实例表明,该抽样方法具有较好的工程使用价值.     

不用标准弹和弹道炮进行弹药弹道性能检验研究

本文针对目前实行的弹药弹道性能检验中遇到的困难,分析了弹药弹道性能检验中引起弹道性能变化的诸因素,提出了不用标准弹、不用弹道炮进行弹药弹道性能检验的新方法,依此设想,以130mm加农炮0号装药为试验对象进行了试验研究。     

试析引进产品57号针刺雷管抽样方案的确定

介绍确定57号针刺雷管抽样方案的指导思想与原则;对本方案与国产制式产品进行对比分析,说明57号针刺雷管国产化抽样方案在风险性、经济性、可靠性方面具有的优点。     

∑Δ型D/A转换器的原理

Σ△D/A转换器已广泛地应用于许多音频和电信产品中,并有望获得大于20bits的精度。本文分析了其工怍原理,并解释了获得高分辨率的机理。