80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

宽覆盖多光谱CCD相机模装及模态分析

文章以结构设计软件AutoDesk Inventor对宽覆盖多光谱CCD相机结构进行精确造型、模装,进行了干涉检查。应用大型结构分析软件PATRAN、NASTRAN,建立了该相机超大规模有限元模型,完成了该相机的模态分析,得出了该相机相应的固有频率和模态,验证了相机结构设计的合理性。     

星载软件可靠性设计方法

分析了星载软件及其可靠性的特点，针对空间环境对星载软件的影响，提出了软件工程化、模块化和容错设计、遥测遥控处理，以及异常检查等提高软件可靠性的设计措施，并说明了软件测试对提高可靠性的重要性。     

FPGA功能验证自动化技术研究与实践

深入分析了影响FPGA功能验证效率和质量的各项因素,改进了传统FPGA软件验证平台的搭建方法,阐述了FPGA软件自动化验证平台搭建技术、基于Perl语言的Testbench自动生成技术、受约束的随机激励生成技术、接口时序自动侦错技术、SVA断言以及基于VBA宏的管脚配置自动检查技术等6种改进策略。这些自动化技术将功能验证中程式化和标准化的工作交由工具完成,提高了验证平台搭建和仿真结果检查的效率。     

宽覆盖多光谱CCD相机模装及模态分析

文章以结构设计软件AutoDesk Inventor对宽覆盖多光谱CCD相机结构进行精确造型、模装，进行了干涉检查。应用大型结构分析软件PATRAN、NASTRAN，建立了该相机超大规模有限元模型，完成了该相机的模态分析，得出了该相机相应的固有频率和模态，验证了相机结构设计的合理性。     

新一代机载数据采集器设计思路及应用技术探讨

KAM500采集系统设计思想先进,使用了现代计算机技术和现场可编程逻辑器件,具有各通道同步采样, 数据采集、传输与编码相对独立,数字滤波,利用LOOKUP表进行非线性补偿、调节等特点。该系统通过KSMV2软件进 行编程、管理和数据检查。     

钛合金裂纹产生原因及改进工艺

针对某型号发动机壳体组件水力试验后进口段荧光线性缺陷问题,通过对缺陷进行宏观观察、金相组织检查、断口分析、材料成分分析和硬度检查,确定了缺陷类型产生原因。运用Procast铸造仿真模拟软件开展了针对性的改进工艺研究。结果表明:进口段荧光线性缺陷为裂纹,呈典型的准解理断裂特征。表层脆而硬的富氧层是导致壳体开裂的诱因,其形成与补焊有关。基于仿真模拟的改进工艺成功将缺陷转移至冒口,减少铸件内部缺陷数量,降低补焊量;使用氩气保护箱改善气体保护效果,提高补焊质量。改进措施实施后,铸件、零件以及组件的荧光检查均一次合格,并且顺利通过地面试车考核,解决荧光线性缺陷问题,消除了薄弱环节,提高了发动机的可靠性。     

整体叶轮的多轴数控加工编程

研究了弹用涡轮发动机轴流式叶轮、离心式叶轮流道数控加工的自适应编程方法,其具体步骤为流道几何建模、流道刀心轨迹计算、刀轴矢量计算和刀位干涉检查。其中流道几何建模采用扫掠法生成,刀心轨迹规划采用了三角形法,刀轴矢量计算采用了自适应算法,并讨论了和相邻叶片的干涉问题。经过软件仿真,及数控机床加工验证,加工出了合格的叶轮。     

多通道动力学环境模拟试验系统的仿真研究

根据引进的“多通道动力学环境模拟试验系统”的需要，我们开发了多通道系统运动仿真软件。该软件集计算、造型和仿真于一体，在试验之前可以对导弹发射装置在使用状态下的各种运动进行模拟，并能通过三维运动仿真检查试件与试验系统之间的干涉情况。该软件也适用于类似的大型运动系统的造型设计、运动仿真和干涉分析。     

I-DEAS软件在复杂零件设计中的应用

本文主要介绍在ＳＵＮ工作站运用Ｉ－ＤＥＡＳ软件进行复杂零件设计检查等情况。叙述了三维实体造型，模装等方法和技巧以及由此所带来的实际效果。文中复杂零件是指舵机系统的核心零件－壳体。     

软件抗干扰技术在航天靶场中的应用

讨论了航天靶场应用的软件延时技术、通道软件抗干扰技术、程序运行中的软件抗干扰技术、数据采集误差的软件抗干扰技术等常用的软件抗干扰技术,这些措施的综合应用可以有效提高航天靶场的抗干扰性.     

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

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

基于高性能通用计算机的软件基带技术

随着通用计算机和软件处理技术的发展,测控基带软件化已经成为航天测控设备一种新的实现形式。在回顾和总结软件接收机发展历程的基础上,从处理平台、总线交互接口、操作系统、并行处理技术等方面分析软件基带的技术途径,从实时性、时间同步性、可靠性、成本等方面分析软件基带面临的挑战,并展望软件基带的发展前景。     

载人航天器的精细化软件研制技术管理方法

载人航天器软件研制具有技术新、难度大、新研配置项多等特点,必须研究一种新型的软件技术管理方法,以确保软件产品质量受控。文章介绍的精细化管理方法是在现有软件研制规范的基础上,通过软件研制工作的阶段化以及软件管理工作的划分,实现了软件的精细化管理。“天宫一号”目标飞行器软件研制工作的实践证明:该方法符合载人航天器型号研制的实际,可保证软件产品质量满足飞行任务要求。     

软件的保障性评估

从维修规划、设计接口、训练保障等方面阐述软件保障评估的几个要素,介绍软件评估的5种方法,并从改进软件保障性和提高使用率的目的出发,提出软件评估管理的几项内容.     

乌鲁木齐转报系统大型升级工作完成

2008年1月11日凌晨4点,乌鲁木齐转报系统大型软件升级工作完成。此次软件升级范围包括数据库、11台同异步单元FLASH、智能集中器软件、转报主机软件、转报前端软件等。     

星载软件重用技术研究

介绍了软件重用技术、意义和实现途径,讨论了星载软件重用技术的形式,分析了影响星载软件可重用性的主要因素,并根据星载实时嵌入式系统特点,提出了基于标准化硬件和通信协议的层次框架软件重用方法。研究认为基于层次框架的星载软件可重用技术能提高效率、降低成本,同时也提高星载软件可靠性和安全性。     

NASA软件评审规程综述

概述了NASA软件评审的目的、目标以及评审的技术和管理两个层面,介绍了NASA软件里程碑评审项目和应达到的目标、软件评审方法及应注意的问题,并对NASA软件评审规程的特点作了总结。     

软件能力成熟度模型在航天器软件研制中的应用研究

介绍了美国国防部评估其软件承包商的软件能力成熟度模型(CMM),针对航天器软件工程化实施过程中软件生存周期与实际研制流程不符、软件质量过于依赖整星测试的问题,提出了开发本地化生存周期模型;应用组织资产提升软件复用能力;利用数据采集和分析发现问题本质;重视配套设施、促进软件工程过程的落实等,以及将软件能力成熟度模型思想和内容进行本地化的措施,可为解决当前航天器软件研制中存在的问题,提升软件研制单位能力提供参考。     

军用软件研制质量管理与控制

阐述了军用软件在未来战争中的作用及在质量管理与控制中存在的问题,分析了军用软件的研制过程,重点从强化顶层设计、突出需求牵引、实施标准控制、组织联合评审、加强软件评测5个方面探讨了军用软件的质量管理与控制。