小卫星星载容错计算机控制系统软硬件设计

创新一号低轨存储转发通信小卫星是中国第一颗重量在100公斤以下的小卫星，介绍了其星载计算机系统的设计方案。由于卫星采用了计算机集中管理方式，为保证星载计算机的可靠性，设计中对硬件使用了双计算机热备份冗余设计，星载计算机的可靠性同时通过软件和硬件协同容错设计来实现。卫星的星务管理、遥测、遥控、姿态控制、电源管理、通信控制、轨道控制等都需要通过计算机软件完成，介绍了这些软件的主要功能和容错设计。创新一号星载计算机采用了多项新技术，并经过了一年多的飞行测试验证，达到了预定的运行目标，星载计算机圆满完成了各项设计功能，证明了卫星计算机系统的安全可靠。     

构建无线自组网仿真场景

计算机仿真是测试评估网络协议性能的基本技术，而无线自组网技术是一项新兴的热门无线网络技术。目前为止还没有文章对无线自组网计算机仿真技术进行综合介绍。因此，本文以构建易用合理的无线自组网仿真场景为目标，从仿真软件、仿真场景和移动模型这三个方面综合说明了构建无线自组网仿真场景的相关技术。本文对三种通用网络仿真软件NS-2，Glomosim和OPNET进行了分析比较，介绍了无线自组网研究中几种典型的仿真场景，最后介绍了常用的几个节点移动模型，分析了移动模型存在的问题及解决方法。本文对构建无线自组网仿真环境具有指导借鉴意义。     

指令抗干扰性能研究

本文从分析指令的特性出发,研究了指令在外界干扰作用下的特性,提出了单故障相关指令对的概念,分析了单故障相关指令对的性质,提出了单故障相关指令集生成算法,讨论了不同类型指令在单故障情况下的效应,并作了初步分类,最后提供了部分故障试验结果。     

银河仿真Ⅱ型计算机的图形系统

本文概要地介绍作者设计开发的银河仿真Ⅱ型计算机的图形系统，讨论了图形系统的构成、功能与设计思想。     

银河仿真Ⅱ型机一体化软件支撑系统的图形生成与分析处理

对一体化软件支撑系统的图形生成与分析子系统的功能、设计原则及设计思想进行了介绍，并详细介绍了该子系统的实现方法。该子系统为用户建立了方便、灵活、有效的仿真结果分析处理环境。把仿真中产生的结果数据变为直观的图形曲线，并提供了常用的分析处理手段。     

软件开发规范化和文档标准化

概述了软件、软件开发、软件工程的概念,分析了影响软件规范化的因素。并围绕软件开发,阐述了文档及文档标准化的意义和作用,提出在开发中完成文档,解除文档编写中的繁重劳动,使文档及其标准化寓于软件的规范开发过程中。     

一种结构紧凑的正交模耦合器

介绍了一种纵向长度100mm、工作于4/6GHz的波导型正交模耦合器。利用Ansoft公司的Eminence软件仿真计算结果表明,在3.7GHz～4.2GHz、5.925～6.425GHz频段范围内,驻波小于1.2,两通道隔离度大干50dB。     

考虑根铰间隙的空间框架展开机构动力学分析

利用Kane法多体动力学基本理论并考虑根铰间隙影响因素,建立适用于空间柔性太阳电池阵的多框架展开机构多体系统动力学模型,对框架展开机构的展开方式和展开过程进行仿真分析,获得了机构组成部件在展开过程中的几何位置、速度、加速度等动力学特性,分析了框架展开机构各个关节点运动特性、铰链间隙与外部驱动力的相互作用规律。结果表明：合理控制框架展开机构各运动部件的驱动力矩是保证框架按照确定规律展开的必要条件;根铰间隙对太阳电池阵框架展开机构角加速度影响较为明显,进而影响到展开框架展开过程的稳定性,对转角和角速度几乎没有影响;在进行空间太阳电池阵框架展开机构设计时应严格控制铰链轴间隙,并通过动力学仿真校核间隙对太阳电池阵展开过程的影响;研究结果为空间柔性太阳电池阵多模块框架展开机构设计提供指导。     

基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。