多功能仪表显示设备软件的开发

文章结合载人航天器返回舱的仪表显示设备的软件开发实践,对如何利用 VAPS 及其相关配套工具所提供的先进功能来完成多功能显示设备软件的开发进行了探讨。指出了传统的 C语言手工编程开发方法的困境,介绍了利用 VAPS 及其相关配套工具进行软件开发的方案和步骤。此技术国外已成功应用到航天及航空的座舱仪表显示设备的研究开发中。     

基于Pro/E的双轴定位机构虚拟样机的建模与校核

介绍了在Pro/E设计平台上完成某卫星天线双轴定位机构虚拟样机模型的建模、仿真与校核。根据该定位机构的特点,建立了虚拟样机模型并完成静态校核。通过设定必要的参数值,对虚拟样机作包括运动学和动力学仿真的动态校核。由仿真结果与规定设计指标的比较可知,该虚拟样机符合设计要求。     

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

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

固体火箭发动机集成方案设计系统SRMCAD

研制了一种固体火箭发动机集成方案设计系统软件SRMCAD。该系统采用了模块化的结构设计，共有14个模块：即系统执行控制、系统输入、系统输出、数据文件管理、热力计算、总体参数优化、指标分配、燃烧室设计、装药几何设计、内弹道计算、药柱强度校核、喷管设计、点火器设计和质量特性计算。该系统以发动机性能方案设计为主。兼顾初步的结构方案设计，能在视窗操作系统上运行。     

基于WWW的文档管理

通过对分布式系统，分布式软件工程发展的分析，结合Ｉｎｔｅｒｎｅｔ上的应用，讨论了基于Ｉｎｔｅｒｎｅｔ的文档管理系统的需求，以有基本概念，提出了基于Ｉｎｔｅｒｎｅｔ的分布式文档管理系统的基本结构，并对相关的技术做了概述。     

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

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

FY—1C卫星地面综合测试软件技术

介绍FY－1C星地面综合测试软件的系统构成、系统的网络数据流，着重介绍为提高测试软件的安全可靠性、准确性，提高软件对卫星的监视能力，提高软件发现问题的能力，以及提高软件发现问题的主动预报能力而采取的行之有效的有效的方法。并给出了一些软件实际应用的成果图。     

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

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

满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。     

NOVEL HIGH-SPEED FPGA-BASED FFT PROCESSOR

A novel architecture for computing the fast Fourier transform ( FFT ) on programmable devices is presented.To improve the system operation speed , a hybrid parallel FFT algorithm is used.Results indicate that the use of an 8×8parallel structure for realizing the 64-point FFT leads to a 8times higher processing speed compared with its counterparts employing other series of techniques.