软件质量保证技术研究综述

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题     

飞秒激光脉冲测量原理与数值模拟分析方法

飞秒fs(1fs=10~(-15)s)激光脉冲测量是飞秒激光技术中非常重要的研究内容,由于测量的复杂性,操作上一般是实际测量与数值模拟结合进行,因而非常注重测量的方法性,但在实际测量中,许多测量者只注重单一方法的使用,最终往往很难达到理想的结果。为此,在对自相关测量法原理作简要介绍的基础上,着重阐述了近年发展起来的基于其上的光学频率光栅开关法(FROG)和自参考光谱位相相干电场重建法(SPIDER)的原理,及其数值模拟分析方法,以给实际测量者提供一个较全面的方法参考选择。     

面向对象软件测试的策略

简要介绍了面向对象中的类、继承、封装等机制给软件测试带来的影响,分析了面向对象测试的特殊性,最后探讨了面向对象软件测试的层次和各层测试中采取的策略。     

维和警察培训要着眼于联合国维和任务区需要

维和警察培训是一项艰巨而复杂的工作,是维和行动的前奏曲。作为维和警察培训中心,要着眼于联合国维和任务区需要,严格按照联合国培训大纲要求,逐步实现培训模式国际化、培训内容标准化、培训方法科学化、培训手段现代化、培训教官专业化。     

《建筑技术基础》课程教学改革之对策

对消防专业《建筑技术基础》课程设置和教学中存在的问题,从课程设置、教学内容、教材建设、教学方法等方面提出了改革意见。     

动态教学法在《政治学原理》课程教学中的运用

政治学原理课程在授课过程中存在着教材内容的确定性和稳定性,而无论从国际国内形势还是从政治学研究而言,政治学所关注的范围和内容又都处于动态的不断发展变化的。笔者以为,只有在授课中具体运用动态教学法,通过联系学生自身、联系社会现实、联系国家大事、联系国际政治等实际,才能使政治学原理课程在马克思主义基本原则的指导下,更富有时代特征和生活气息,使学生真正学有所获。     

英语专业视听说教学的不足之处及改进策略

视听说课程是英语专业的技能课程之一。它要求较高的教学设备才能实现其教学目的。本文结合自身教学实践,分析了传统视听说教学的缺憾,提出了改进教学的策略。     

高射机枪有限元模型研究

建立高射机枪有限元模型的目的在于对其进行动力特性分析和求解动力响应,并作为自动武器动力学仿真的重要组成部分。针对某型高射机枪建立有限元改进模型,建模中,把枪身、托架等简化为空间梁系,下架采用三维等参元模拟,并采用主从自由度法处理了三维元与梁元的联结问题,通过与传统粱单元模型的对比分析,说明改进模型具有较好的精度。     

对象关系数据库中连接谓词索引技术的研究

讨论了一种适合于对象关系数据库的新型索引结构———连接谓词索引 ,在介绍了谓词索引之后 ,给出了基于该索引结构的连接算法 ,并分析了连接算法的性能 ,提出了根据性能计算来确定关系R和S中谁作为外关系 ,从而降低算法代价的方法 ,特别地 ,本文还把连接谓词索引推广到一般形式 ,可以用于多个关系表的连接     

应用于飞控系统评估的风洞虚拟飞行试验系统与关键技术分析

基于传统意义上的飞控系统评估方法的不足,分析了风洞虚拟飞行试验应用于飞控系统评估的优势;按飞控系统常用的姿态控制回路及制导控制回路的组成形式,介绍了风洞虚拟飞行试验系统方案与工作原理,详细分析了它与半实物仿真系统的差异;分析了风洞虚拟飞行试验应用于飞控系统评估需解决的关键技术问题,包括风洞虚拟飞行试验评估方法、飞行器模型设计技术、飞控系统改进技术及模型支撑技术。