一种软件实现的程序控制流错误检测方法

在太空环境中，由于宇宙射线的存在，计算机系统的硬件经常发生各种瞬态或永久故障，致使软件系统的执行流程产生错误。针对太空环境的强辐射特点，提出了一种对程序的控制流进行检查的纯软件方法RSCFC，它首先把程序划分为“基本模块”，然后给每个基本模块赋予一“关系标记”和错误探测指令。通过对程序运行期间生成的“即时标记”和事先嵌入程序的模块位置信息的“与”运算来探测控制流错误。该方法在几个C语言标准程序上进行了实现，并进行了故障注入实验，结果表明在没有RSCFC时，大约20．7％～68．8％的分支故障会产生探测不到的不正确输出，而在RSCFC存在的情况下，该区间会降低到2．8％～20．4％。与其它的软件控制流错误检测方法相比较，它具有探测率高，对原始代码影响小的特点。     

电子战信息分析系统软件的语言选取

阐述了人工智能语言Ｐｒｏｌｏｇ的背景及作为专家系统软件开发的优势，并以电子战信息分析系统为例，介绍了电子战信息分析系统功能，论述了为满足电子战信息分析系统软件处理不同部分的需要，采用了不同的编程语言，主要用到了Ｐｒｏｌｏｇ和Ｃ＋＋。用一段小例程来说明，并指出在特殊情况下也可以通过不同语言之间的转换，以满足实际情况的需要。     

软件测试过程的基本模型POCERM

软件测试过程包含着测试计划的制定，测试大纲的编制，测试用例的生成，测试的实施，测试结果与问题的分析和报告，以及软件测试的管理等项工作。     

坐标测量机组合系统

介绍了一种坐标测量机组合系统，该系统是由一系列组件和通用测量软件ＣＭ－ＭＤＰＳ组合构成。对两坐标机械位移系统、万能工具显微镜、老式三坐标测量机，均可选用本系统组件建造一台现代化的小型台式三坐标测量机，或单坐标、两坐标机。可实现对中、小型工件的空间几何要素的测量和参数计算、空间几何尺寸的计算、形状和位置误差的计算。本系统具有系统组件灵活多样、软件丰富形象、便于操作、性能价格比最优等特点，是老式坐标测量机升级的最佳选择。最后，介绍了应用坐标测量机组合系统对万能工具显微镜进行改造，使之升级为小型台式三坐标测量机的实例。     

风洞试验多通道数据采集与动态参数实时处理系统

为新型飞机发动机进气道动态畸变参数测试而研制了两代全数字化、智能化测试系统。64通道独立同时采样；高速32bit浮点运算DSP对畸变参数作实时处理；100Mbyte以上大容量在线存储器，存储全部原始数据、中间结果和处理结果；被测参数时间历程曲线、采样数据时间历程曲线及2D、3D动态图形和数表显示及输出；系统自检功能及坏点自动检测与修补功能；图形化及汉化菜单，友好的人机界面。硬件与软件的模块化与开放式结构，以便广泛应用于其他需要作多通道数据采集和动态参数实时处理的场合。     

通用有限元NASTRAN中的阻尼计算问题

阻尼是影响动力学模型分析，尤其是动态响应分析的关键问题。在通用元有限元NASTRAN软件中，阻尼不仅有多处设置，而且与分析类型有关。文中分析了各阻尼设置与阻尼项的关系及物理机理及其注意的问题。最后给出了阻尼计算的实例。     

计算机辅助外语测试系统

本文叙述了运行于IBM-PC及APPLE-Ⅱ计算机上的计算机辅助外语测试系统的设计思想、结构、功能,并对建立试题库,生成试卷、阅卷评分、语言学统计分析、教育学统计分析等五个子系统进行了分析。     

浅析高空长航时无人机的气动研究问题

叙述了高空长航时无人机的现状和作用,讨论了它的主要气动特征,评述了可行的分析、设计技术。认为XFOIL技术具备了处理边界层转捩、分离、分离泡的能力,可望在我国高空长航时无人机的气动设计中发挥一定作用。     

VSTS工作项模板二次开发在软件研制项目流程管理中的应用研究

项目流程管理在软件开发过程中至关重要，而有效的流程管理工具则又是项目管理工作开展的平台，是项目管理的基本前提和直接手段。微软研发的团队开发产品VSTS（Visual Studio Team System)则正是这样一款涵盖产品开发的全生命周期，为建模、开发、测试、自动构建以及缺陷管理、项目决策分析、源代码管理等提供强有力支持的配置和流程管理工具。为本文所关注的是其所提供的将配置管理与项目流程管理整合于一体的工作项管理功能。针对这一区别于其它配置管理工具的特点，在实际使用并试图发挥出该项附加功能最大作用的过程中，本文提出了 VSTS 工作项模板二次开发的方法。经过在多个具有特性化流程管理需求的组织中的推广和使用，证实这是一种便捷有效定制实现适用于不同业务特点的软件项目管理流程的方法。     

基于GJB5000A三级的软件配置管理技术研究

软件配置管理是软件工程的一个重要领域.配置管理的目的是利用配置标识、配置控制、配置状态纪实和配置审核建立和维护工作产品的完整性.有效的软件配置管理活动有助于软件质量的提高.对在GJB5000A研发过程的配置管理技术进行充分研究后,经大量实践,提出一种基于GJB5000A三级标准的软件配置管理解决方案,并将其与GJB5000A进行对比,提供符合性说明.