一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

军队干部交流分配模型研究

针对军队干部交流分配常常采用定性方法的现状,结合每年都要交流大量干部的实际情况,在可行、合理交流的基础上,综合利用Delphi法、系统分解与协调法建立了干部交流分配模型,从而实现了干部在各种类别之间的交流,为军队干部的交流分配提供了定量依据.     

军事装备效能及其评估方法研究

探讨了军事装备效能的定义、度量指标及其体系结构,提出了几个值得思考的问题,综述了效能量化方法、多指标效能的综合方法、权值的确定方法和军事装备效能评估的方法.     

PS／2键盘接口在单片机中的应用研究

PS/2键盘接口由于采用标准PS/2协议通信,易于控制,在嵌入式系统中有良好的应用前景.针对如何使用这种接口,介绍了其物理接口及通信协议,重点对工作时序和部分命令字进行了说明.在应用中,给出了PS/2键盘与单片机的接口电路及通信方案,并提供相应的接口通信程序.     

应用型工程力学教学方法的探索与实践

应用型工程力学教学模式主要包括四种有代表性的教学方法,即:生动形象教学法、贴近日常生活事例教学法、贴近具体工程教学法、重大工程事故教学法。     

气压/自由陀螺组合式高度控制系统研究

提出一种组合式控制方案。通过选择高度差信号和姿态角及其变化率作为控制规律,较好地抑制了高度控制回路的综合干扰,仿真结果表明,采用上述高度控制方案并用随机射线法优化控制参数,可以提高控制系统抗干扰能力。     

管壁不连续对管路结构振动传递的影响

用传递矩阵法得出了管路中纯扭转波在通过管壁不连续处的波动形式的解,以此为基础分析了管壁材质以及厚度的差异对纯扭转波的透射系数的影响,并得出了管壁材料的密度与剪切模量的乘积相差越悬殊,隔离振动的效果越好,以及管壁几何结构不连续对隔振的贡献不大的结论.     

微型桥梁索力测量毫米波雷达

在详细分析拉索雷达散射特性、频率法索力反演原理和拉索频率雷达测量原理的基础上,设计研制了一种77 GHz毫米波微型索力测量雷达,并给出了针对作用距离、精度和测量动态性能的系统约束参数集.与24 GHz K波段形变测量雷达进行比较,结果表明,所研制的毫米波微型索力测量雷达具有体积、质量和功耗小的技术特点,工程应用价值较大...     

“协同教学法”在边防检查专业实践教学中的应用

在边防检查专业教学中,＂协同教学法＂是加强专业实践教学环节,使学生把知识转化为能力的有效途径。这一教学方法在边检专业实践教学的课前准备、教学实施、课后小结环节中得到充分体现,并推动教学活动的开展。     

加强三维制图教学 促进部队装备建设

为了提高武警部队装备研发的设计速度与水平,从满足部队装备建设的实际需要出发,阐述了军事装备学科的发展思路与方向。结合部队装备仿真设计和创新研制实例,简述了实体参数化设计软件Pro／Engineer的功能特点,阐明了加强三维制图教学的必要性及其在部队装备建设中的重要作用,以及不同学历层次Pro／Engineer的教学内容。对促进军事装备学本科与研究生教育,提高部队装备的开发建设水平具有意义。