Tiangong 1 and Shenzhou 8

On September 29, 2011, the Tiangong 1 target spacecraft was launched into space by a LM-2FT1 launch vehicle thus commencing the rendezvous and docking mission, the second stage of China’s Manned Space Program. The Shenzhou 8 spaceship was then launched     

一维变截面非定常气流杂交命题的广义变分原理

应用坐标变换，把可变动的物理平面，在映像平面上转化成的十分规则的矩形区，这给有限元计算带来了极大的方便。     

无人机编队队形保持控制器的分散设计方法

针对无人机编队中邻近无人机的数学模型相互耦合的特性,提出了一种分布式编队队形保持控制器的分散设计方法。将无人机编队模型分解成解耦部分和关联部分。对解耦部分直接使用鲁棒控制方法设计控制器,对关联部分采用改进的关联系统分布式控制方法设计控制器。将两个控制器结合起来,控制无人机编队飞行。仿真结果表明:该控制器可以控制无人机编队,在定常运动和机动过程中,都能收敛到期望队形,并且对外界干扰具有一定的鲁棒性。控制器设计过程是分散的,涉及的计算的维数和单个无人机模型的维数相当,具有运算量小的优点。     

航空电子双层任务分区调度设计

针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明.      

基于GPS伪距的微小卫星定轨技术研究

高可靠、高精度、低成本的全自主导航是现代微小卫星定轨领域的发展方向,GPS以其在成本、精度、功耗等方面的独特优势,在低轨航天器上得到应用。论文采用GPS伪距作为观测量,在可见星较少的情况下仍可得到观测信息,较GPS直接输出提高了导航精度,并能进一步降低硬件成本。还引入了衰减记忆滤波算法,通过调节协方差矩阵,削弱了历史量测信息对当前数据融合的贡献,从而减小了轨道摄动对定轨精度的影响。仿真结果表明当导航星数目较少时,该算法仍可实现信息融合,且显著提高了定位精度。     

RBCC和TBCC组合发动机在RLV上的应用

论述了吸气式组合发动机在新一代可重复使用运载器上的使用现状,分析了各种组合方案的优势和特点,着重介绍了RBCC、TBCC的应用对飞行器总体性能的影响,并提出了两种较优的飞行器组合结构方案。     

基于SLA的网格监控体系GSLMA及其实验床

从体系结构的角度出发,将现有网格监控工具分为3类,对每一类网格监控结构进行了分析 和对比,并提出了一种基于服务级别协定SLA(Service Level Agreement)的网格服务监控体系结构GSLMA(Grid Service Level Monitoring Architecture).GSLMA采用基 于面向服务的体系结构SOA(Service Oriented Architecture)的松散耦合结构,通过动态部 署解决了对新增服务的监控扩展,并提供第三方的监控功能,是一个具有高灵活性和高可伸 缩性的网格监控体系结构.最后,介绍了实现GSLMA实验床中的关键技术,包括:对开放网格 服务体系结构OGSA(Open Grid Service Architecture)容器进行扩展,采用Web服务级别协定WSLA(Web Service Level Agreement)解决被监控服务信息的统一描述等等.      

机群环境中基于信度模型的作业调度算法

提出了一种新的机群环境下的作业调度算法,该算法基于信度模型.在信度模型 中,每一个计算节点是一个信度实体,系统根据信度实体的物理能力、当前状态、历史作业完成情况,对节点进行信度评价,赋予其相应的信度值,调度算法根据信度实体信度值为作业分配合适的资源运行作业.同时,调度系统还对机群系统的整体信度进行评价,并根据估计的作业运行时间和完成期限对作业做信度要求折算,调度系统根据机群系统的整体信度情况和作业信度要求来决定是否接受该作业请求.在OpenPBS机群调度系统上实现了该算法,并通过GridSim工具包与先入先出FIFO(First Input First Output) 算法和Libra调度算法进行了模拟对比试验.试验结果表明,该算法是有效的.