软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

带QoP反馈的实时视频服务质量控制框架

分析了实时视频在现有"尽力而为"IP网络上传输所面临的带宽、延迟和丢失等问题,介绍了需要采用的拥塞控制和差错控制等应用级服务质量控制策略,并提出了一种联合的支持应用级服务质量控制的实时视频传输框架.该框架既考虑了网络资源的动态变化和影响,又兼顾了视频的服务质量调整对视频的表现质量的限制因素,充分利用了服务质量和表现质量之间的映射关系,具有更广泛的实用价值.      

2004～2009年间的空间探测(上)

1日地空间探测 在20世纪末,美国航宇局(NASA)在“国际日地物理学”和“日地关系”等空间物理学计划的基础上,提出了“日地联结”的长期研究计划。这个计划所涉及的内容,无论是深度还是广度,都远远超出以前计划的范围。该计划的基本目的是了解太阳为什么变化,行星对太阳的变化是怎样响应的,太阳和星系是怎样相互作用的,太阳变化是怎样影响生命和社会的。为了实现这一计划     

实时连续多媒体任务模型及调度算法

传统周期任务模型过于简单,不能适应实时多媒体流任务的多种形式,以用户为中心的连续媒体的调度算法由于未能从全局上考虑任务的服务质量QoS(Quality of Service)需求,因而调度效率较低.提出一种改进的以多媒体对象为中心周期任务模型,该任务模型概括了目前多媒体任务的基本表现形式.基于该任务模型,提出了一种以连续多媒体流的整个质量表现过程为中心的任务表现路径模型TPP(Task Presentation Path).在全面考虑表现路径中媒体流对象的全局死线、局部死线和任务连续失效率的基础上,给出了连续多媒体流的比例资源分配调度算法PSTPP(Proportional Share based on Task Presentation Path).实验结果表明了所提出的周期任务模型的合理性,调度算法能提供比传统分时策略以及EDF算法更好的QoS保证.     

航天器动力学特性参数在轨辨识技术

从结构模态参数的可识别性出发,结合结构自由响应识别技术和数字处理技术,开发出大型航天器动力学特征参数在轨辨识系统,包括硬件系统和软件系统,其中软件系统由C+ +和汇编语言组合编写,系统各部分均模块化,可适用于较复杂的工程任务.在此基础上设计了模拟在轨航天器的试验验证系统,检验辨识算法和设计软件的可靠性以及航天器在轨辨识的实时性.该试验系统包括一个对称的双梁结构,利用对称结构的弱耦合可得到多个密集模态,该结构可模拟大型航天器在太空失重条件下所特有的动力学特征.试验表明系统辨识算法可靠,精度达到设计要求.     

“希望”之旅——中国首颗科普公益卫星希望-1入轨运行

<正>2009年12月15日是值得纪念的日子。在这一天,中国航天科技集团公司自主研制的中国首颗科普公益微小卫星希望-1,与遥感卫星-8一起由长征-4C火箭成功发射。在希望-1卫星上承载了诸多"希望"。第一个希望来自希望-1卫星的用户——中国科学技术协会。中国科学技术协会将开展一系列希望-1卫星应用体验活动,激发青少年热爱航天、探索太空的热情,架起广大青少年热爱科学、提高科学素养的桥梁。     

基于动态RCS的无人机航迹实时规划

传统的无人机航迹规划主要采用仅考虑无人机与雷达距离的简化雷达威胁模型,未充分考虑无人机雷达散射截面RCS(Radar Cross-Section)随自身姿态角改变而产生的动态变化.据此,提出了无人机周向动态RCS模型,并建立了综合考虑无人机动态RCS与雷达距离的探测概率模型,利用遗传算法进行了基于动态RCS的航迹实时规划,计算结果与传统航迹规划结果进行了对比.仿真结果表明该模型的可行性和有效性,能充分利用无人机自身的优势规避威胁,满足无人机的航迹实时规划的要求.      

“高分”科技改变生活

高分一号卫星在长征二号丁运载火箭的托举下成功飞天,并在预定轨道稳定运行,我国高分辨率对地观测系统重大专项的天基系统建设之战正式打响。至此,中国航天科技集团公司在高分专项的接力赛中高质量、高效率地跑下了第一棒,并开始将接力棒转交到数据接收处理和应用系统的手中。对于高分专项的实施而言,造好星和用好星同等重要,只有把卫星的应用     

基于RTX的三轴仿真转台实时控制方法与实现CSCD

针对目前市场对三轴仿真转台控制系统的实时性需求,首先介绍了三轴仿真转台的控制系统,然后根据RTX的基本原理和转台控制系统的具体要求,采用"Windows+RTX"综合软件平台,设计并实现了转台的实时控制软件。实验表明,基于RTX的三轴仿真转台实时控制软件达到了系统的设计指标,实时性高,工作稳定可靠。