固体导弹最大射程评定方法研究

本文提出了一种基于固体火箭发动机性能散布分析的固体导弹最大射程评定方法,将系统辨识、性能散布分析和统计分析有机结合,实用性强,对固体导弹试验鉴定技术研究具有重要意义。     

计算机病毒与对策

该文介绍了计算机病毒的危害,分析讲述了计算机病毒的工作机理和传播途径.提出了预防计算机病毒的措施以及技术上采取的具体方法.     

坦克电台可靠性现状及其指标论证程序探讨

从XX坦克电台使用可靠性的现状出发,在理论与实际的结合上,论述了装备可靠性指标论证工作中某些亟待解决的问题.结合军工企业的现有条件和可靠性工作开展的实际情况,提出了装甲车载通信——电子装备可靠性指标论证工作的基本程序及其要点.     

符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.     

避免TSR中断驻留程序死机的方法

该文简要分析了ＴＳＲ中断驻留程序外壳的实现过程,以及造成死机的原因分析和解决方法,给出了具体的程序,并对“热键”冲突作了简要分析。     

对冲击气垫船的射击效率分析

本文立足我军现有装备,以外军现装备的新型登陆上陆工具气垫船的研究对象,在目标分析的基础上,依据评定射击效率理论,定量分析了地面炮兵采用提前时间阻击点法对气垫船射击时的射击效率,并根据定量分析结果,着重探讨了对其射击时的有关问题。     

初三英语第7单元第26课的教学

说课是教师依据课程标准、教育教学理念,口头表达自己对教学内容、教学目标、教学重难点、教学方法、教学程序等进行创造性设计的一种教研形式。下面就是我对初三英语第7单元第26课《Theman who never gave up》一课的说课。这节课的具体指导思想是:讲述名人来引题,带着渴望去自习,采访活动添情趣,语言技能变交际。这节课的教学目标进一步分解为三个子目标即:知识目标、能力目标和情感目标。知识目标———①以课文素材为信息,灵活运用本课20个新生词。②用自己的语言叙述课文概要。能力目标———培养学生自主学习的阅读能力,进一步发展学…     

充分发挥工会作用 确保企业顺利改制

永红针织总厂2003年10月正式进入政策性破产程序,较为平稳地完成了破产改制工作,进入了新的二次创业阶段。总厂工会在企业实施破产改制工作中,围绕中心,服务大局,解放思想、开阔思路,注重调查研究,创新工作方法,协助农十二师清算组和企业党政领导,把改革推进的力度同职工群众可以承受的程度统一起来,在妥善处理、协调劳动关系和涉及职工利益的各种复杂问题和矛盾中发挥重要作用。一、加强党委对职工思想政治工作的领导,加强工会工作,保证企业在破产清算改制期间党群组织体系完整、运转正常并继续发挥作用永红针织总厂在进入政策性破产清算程…