软件需求中的可靠性策略

软件可靠性要求的实现应是从系统分析和需求阶段就开始进行考虑，通过软件的需求、设计、编码、测试、维护以及相应的组织和管理来保证。文中通过对时钟结构化的分析，试图就航天嵌入式软件谈了在需求分析阶段中软件可靠性策略与体会，同时论述了在航天工程中软件接口分析的合理性与增强软件可靠性的意义。     

气象卫星地面测试成像终端软件设计与实现

根据气象卫星地面测试对成像终端软件的要求，对成像终端软件的设计与工程实现进行了研究。给出了成像终端软件的接口要求、设计思想、实现方法和可靠性设计等。整星测试结果表明，成像终端软件的设计原理和实现方法合理可行。     

计算机辅助机械设计的实践与研究

本文结合作者编制计算机辅助机械设计课程设计应用软件的经验，介绍了机械设计中计算机应用程序的构造、流程和数据处理方法，这些方法适用于计算量大、数据量多的设计过程。     

喷管性能计算的软件实现

基于化学平衡和化学动力学理论，用C^ 和FORTRAN编写了液体火箭发动机喷管性能一维计算软件，软件建立了相关的推进剂数据和化学反应数据库，使计算很简便，针对某型号发动机进行计算，得到了特定条件下发动机的性能参数和化学动力学损失等。     

基于iSIGHT平台的并行子空间算法研究

概述了并行子空间算法的两种计算框架。即基于学科级优化的并行子空间算法和基于试验设计的并行子空间算法，在对比两种算法框架特点的基础上，分析了基于试验设计法的并行子空间算法的工程实用性，最后结合算例在iSIGHT软件中完成了集成优化分析。     

软件评审:类型及其实施要求

软件评审可以用于支持项目管理、系统工程、验证和确认、配置管理和质量保证的目标.本文定义了软件评审的5种类型(即管理评审、技术评审、审查、走查和审核),详细比较了它们之间的差异,分别阐述了每一种评审的目的、对象和实施步骤.在软件开发生存周期中,软件评审可以尽早发现并改正软件中的缺陷,减少因软件存在缺陷而造成的返工,提高软件的开发效率和软件产品的质量.     

从离散工程软件到工程集成环境

主要介绍了企业如何利用现有的离散工程软件进行系统集成形成IEE工程集成环境，以减小产品设计的周期，以及产品在研制期间试生产的环节，从而降低企业研制和生产成本。     

用评测筑起航天软件新的长城

软件测试，航天软件的质量保证 宇宙辽阔无垠，其结构复杂奇美，这也给航天工程披上了一层神秘的面纱。揭开这层面纱我们会看到，这是一个多么庞大、复杂、技术难度高的系统。在这个系统中，是嵌入其中的计算机及其软件承担着系统指挥、过程控制、数据采集和处理、数据通信以及系统安全保障等任务，其中软件是整个系统的神经中枢，它指挥着千军万马（即由成千上万电子元器件和机械零部件构成的其他部件）协同作战。 然而，存在于复杂的指挥、控制程序中的软件错误，在一定的运行环境下就会暴露出来并造成系统失效。例如，1963年美国研制的一…     

NASA软件标准和体系研究

美国国家航空航天局(NASA)将软件视为核心能力和关键赋能技术,近年来集中修订和发布了一系列软件工程要求和安全保证等相关标准和手册,形成科学有效的NASA软件标准体系。本文跟踪NASA最新发布的软件标准,重点梳理标准内容之间的关联,着重分析各标准的侧重点。按照软件管理和工程推进顺序,系统介绍了NASA软件要求框架及相关内容,简单描述了NASA具体要求通用条目、主题讨论内容梗概和软件工具表目等,研究了NASA软件标准体系,借鉴NASA成熟经验,对我国航天软件提出了进一步的工作建议,以期推进我国航天软件的发展。     

宇航软件标准体系框架探析

随着航天事业的发展，宇航软件已经成为宇航事业至关重要的一部分。国际化的发展趋势，国际合作与交流的不断增多，宇航软件从质量、管理、产品保证等方面亟待跟上发展的步伐。本文在分析了国內外软件标准现状的基础上，根据我国航天软件标准化特点给出了宇航软件标准体系框架的建议。     

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

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

ANSYS拓展CAE工程仿真软件产品线

近日，ANSYS收购为线性、非线性、显式以及多物质流体动力学问题提供成熟易用仿真软件的美国世纪动力公司(Century Dynamics)，拓展CAE工程仿真软件产品线。     

SolidWorks软件在机械加工工艺中的应用

用实例介绍了SolidWorks软件的三维草图、焊件切割清单、钣金等模块、相应功能以及它们在机械加工工艺中的广泛运用;研究了SolidWorks软件在机械设计中的实用性和先进性。详细介绍了该软件的使用方法和具体特点,对推广SolidWorks在机械设计中的应用具有重要的指导作用。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

航天软件需求可靠性与安全性分析验证技术及工程应用研究

软件需求可靠性与安全性分析验证可有效识别功能层次的需求遗漏、设计缺陷及相关的危险等,是提升软件可靠性与安全性的有效手段。GJB 900A等标准中已要求开展该项分析工作,但与NASA相比,目前工程应用推广尚待加强。本文在调研分析已有方法的基础上,总结实际工程经验,提出了一套操作性强的航天软件需求可靠性与安全性分析验证技术,可为该技术的工程推广提供借鉴。     

军用软件研制质量管理分析

结合军用软件研制质量管理的实际，进行了软件质量管理分析，对软件能力成熟度模型、个体软件过程、团体软件过程等方面策略进行阐述：同时对贯彻质量管理原则、集成更多领域知识、创新管理技术方式、推进过程定量管理、强化军用软件测试、实施软件试用和使用等方面措施进行了清晰的论述，以促进军用软件研制质量管理的发展。     

基于功能节点识别和路径追踪的软件潜在分析

以航天型号实时嵌入式软件为背景，阐述了基于功能节点识别和路径追踪的软件潜在分析方式的基本原理，并结合实际工程应用，介绍了该方法的应用步骤和效果.     

基于系统状态分析的软件可靠性测试方法

航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视.但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型号工程类软件中开展可靠性测试提供了一条可实现途径.     

一种星载软件在轨编程功能的设计和实现技术

对卫星姿轨控计算机软件在轨编程功能的设计和工程实现技术进行了研究，给出了在轨编程的原理、实现方法、可靠性设计、资源分配、接口要求和在轨编程的操作步骤。试验结果证明，提出的星载软件在轨编程原理和实现方法合理可行。     

启动软件重用库工程 推进航天型号软件标准化

概述了国际上软件重用技术的发展和应用状况,阐明了软件重用技术是提高软件质量特性的有效措施,也是推进航天型号软件开发、应用工程化和标准化的重要技术基础工作,并系统地论述了建设航天软件重用库的必要性、迫切性和可行性,初步提出了航天软件重用库工程的实施建议。