如何设计一个易测试的软件

软件测试性设计是减少软件测试复杂性的重要手段，文中给出了软件测试性设计的分析与计算方法，并据此给出了软件测试性设计的基本原则。     

一种新的硬/软件系统可靠性分析方法

在一种新的软件可靠性分析方法基础上，参考硬件系统的阶段性任务可靠性的建方法，为在对于不可修的计算机系统进行可靠性分析时考虑硬、软件之间复杂的相关作用提出了一套比较全面的解决办法。从而为更准确地评估计算机系统可靠性提供了可能。文中分析了一个飞行控制系统实例。     

视觉导航信息可观性分析的Matlab Symbolic Computation方法

提出了视觉导航信息估计的Matlab Symbolic Computation方法，计算了视觉导航系统中6个自由度变量的最优估计的误差协方差阵的秩、特征值和特征向量，并得到了导航信息可估的条件及结论。通过仿真不仅进一步验证了文献[2]中理论推导及结论的正确性，而且简化了理论分析过程。本文提出的方法具有实际应用价值。     

民航飞行程序辅助设计v7.5

《民航飞行程序辅助设计v7．5》是由《民航飞行程序辅助设计v1．1》发展为《民航飞行程序辅助设计v2．0》又做了一些修改和平台升级而来的，在功能和用途上做了进一步的更新和完善，并在实际工作中不断累积和发展，平台版本由AUTOCAD R14升级为AUTOCAD 2002，为以后的进一步的发展铺平了道路，准备了条件。     

捷联惯导系统误差状态可观性分析

捷联惯导系统误差状态可观性分析是为了确定卡尔曼滤波器对系统误差状态的估值效果。本文根据分段常值理论分析了捷联惯导系统误差状态的可观性，得到相应的可观性结论，并且分析了水平通道的误差状态可观性，所得到的分析结论对设计滤波器时的运动路径设置提供了参考依据。     

软件自动生成工具中应用的两个智能方法

软件功能描述和源程序代码产生是软件自动生成工具中的两个关键环节。因此,本文给出两个智能方法用于解决其中的问题。描述算子附加知识包的方法提供了一个软件功能描述环境模型,并可以根据一般性知识或标准及用户使用常识优化软件功能描述;层次性辩识网的方法用于解决源程序代码产生中的微、宏决策问题,使软件自动生成过程有更大的灵活性。 本文所介绍的两个方法已应用在菜单式用户界面生成器中。     

飞行器设计与试验的虚拟样机技术

虚拟样机是建立在CAD/CAM、系统仿真和虚拟现实基础上的一种新概念技术，它将成为未来飞行器设计、运行和实验的重要技术手段。本文探讨了飞行器虚拟样机设计与仿真环境系统框架，对虚拟样机设计环境的系统结构、建模和虚拟实验进行了详细介绍，包括研究意义、发展背景、概念定义、设计要求、系统构成和研究开发任务等内容，旨在探讨面向飞行器系统虚拟样机及设计环境的研究与开发思路。     

利用UG软件对DLY-4A大壳体进行自动编程加工

通过DLY-4A大壳体型腔的加工，简要论述了在数控加工中心上应用UG软件进行计算机自动编程加工的应用。     

在计算机语言教学中渗透“工程”思想

本文结合计算机专业课程教学中程序设计语言课的教学和软件工程的思想、观点和方法，阐明工程的思想对计算机专业人才的重要性，以及教学过程中怎样才能很好地培养学生，使之具备软件人员的基本素质。     

大型井式回火炉炉温均匀性的测试分析

参照《热处理炉温控制与测量》（ＱＪ１４２８－８８）对大型井式回火炉炉温均匀性进行测试。结果表明大型井式回火炉温差在垂直方向上最大，在４００￣５５０℃的温度范围内最大温差为１８℃。本文对大型井式回火炉温度分布情况进行了分析，指出了改善炉温均匀性的方向。