基于直接配点法的绳系卫星系统变轨控制

讨论了不必回收子星的二体绳系卫星系统(TSS)的变轨方案。假设TSS质心运动满足经典的二脉冲Hohmann变轨,用未变形绳长加速率控制两次脉冲期间的TSS运动。利用直接配点法中的Hermite-Simpson方法将控制消耗最小的最优问题离散为大型非线性规划问题,然后用MATLAB的SNOPT软件包求解;针对初始偏差较大的实际情况,又结合直接配点法和滚动时域控制得到了解析的反馈控制律。仿真算例表明,得到的TSS变轨过程状态变化平滑,控制消耗较小,而且变轨之后TSS接近平衡状态;此外,反馈控制律对最优路径的跟踪效果较好,能够消除初始偏差的影响。     

实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

RTCA/DO 331标准研究

为推动基于模型的开发和验证技术的发展,同时为了给机载软件基于模型的开发和验证活动提供合格审定指南,美国航空无线电委员会于2011年发布了DO-331《基于模型的开发和验证》标准,作为对DO-178C《机载系统和设备合格审定中的软件考虑》标准的补充。该文主要从DO-331文档的组织架构编排,模型的使用和分类,基于模型研制相关的软件生命周期过程、数据和符合性验证目标几个方面对其进行了提炼和解读,可帮助应用该标准的人员快速理解文档的核心内容,并把握基于模型的开发和验证相关的合格审定关注点,从而在项目实施过程中更好地表明适航符合性。     

软件再工程理论应用研究

软件再工程通过逆向工程、重构和正向工程几个环节,将现存系统开发成新的系统,是有效利用原有系统的现实可行的方法。本文研究了软件再工程的基本概念和目标、再工程的基本框架等理论;介绍了对某显控计算机软件的分析、重构和验证等内容。     

基于CMM L2的外包项目管理研究

如同中国软件外包白皮书中所指出,中国软件企业较弱的项目管理能力已经制约了国内软件外包市场的进一步发展。如何实施有效的项目管理以实现对外包项目成本、进度、质量、效率等的有效控制,确保项目成功成为一个争论话题。针对于此,结合多年软件外包项目管理的实际经验,本文通过对CMM L2项目管理具体要求的分析并结合PM I项目管理知识体系的相关内容,提出了基于CMM L2的外包软件项目管理模型,介绍了此模型的实际应用,在此基础上对外包项目管理的持续改进进行了讨论。     

航天器真空热试验测控系统软件结构设计与建模

统一建模语言（Unified Modeling Language,简称UML）是面向对象软件开发方法的重要技术,使用UML对软件系统进行建模研究,有利于提高软件开发的效率和可重用性等。文章给出了真空热试验测控系统软件架构和主要模块的结构设计,并利用Rational Rose结合UML对测控软件进行分析建模和设计。     

打即机绘图驱动程序

本文介绍Ｑｕｉｃｋ－ＢＡＳＩＣ环境里编制的打印机绘图驱动程序，详细叙述了绘图语句的功能、格式和使用方法；列出驱动程序字符集编码；给出一个完整的调用绘图语句绘制图形及各种规格字符的例子。     

软件可靠性预计与评估方法探讨

概述了软件可靠性的重要性及预计评估、参数估计方法和数据收集的意义与过程;综述了国外软件可靠性模型的建立情况;最后应用作者开发的软件可靠性预计评估程序(SRPP)对一组数据进行可靠性计算,给出软件可靠度R(t)、MTTF及故障率或故障强度λ(t)等指标;并根据模型有效性的比较准則,对计算结果进行了比较。     

CAD／CAE／CAM集成系统的数据结构研究与实现

数据结构设计是ＣＡＤ／ＣＡＥ／ＣＡＭ集成系统的关键技术，数据结构的好坏直接影响集成系统的性能。本文以几何模型、绘图模型及分析模型的数据结构为例，论述了集成系统中各模块的数据结构的基本内容及其相互关系，提出了一种多模型下分模型管理的统一数据结构的设计思想，其最大特点是用统一的数据库进行管理，各模型间数据的相互利用是直接引用，从而保证数据的完整性和一致性，减少数据冗度。并以局部数据结构为例，说明了数据