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

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

双重效应γ射线核电池的制备与性能研究

为提升核电池的电学输出性能,提出了利用γ射线结合辐致伏特和辐致光伏两种能量转换机制制备核电池的思路。基于γ射线、AlGaInP半导体PN结和ZnS:Cu荧光材料,制备了四级辐致伏特效应核电池(FRVB)和四级辐致伏特/光伏双重效应核电池(FDEB),研究了不同厚度荧光层所组成的双重效应核电池的电学性能。在X射线辐照下,测试结果显示5种不同厚度荧光层组成的并联结构双重效应核电池的最大输出功率分别为57.26,77.03,116.31,132.85,150.86 nW,性能均优于四级辐致伏特效应核电池。利用蒙特卡罗粒子输运程序MCNP5,模拟计算了光子在四级双重效应核电池中的能量沉积,结果显示荧光层中沉积的能量很少,却显著提升了核电池的输出性能。研究表明:多级结构双重能量转化机制可有效提升核电池的电学性能,为提升核电池性能提供了一种新的研究思路。     

普通高校转型期大学英语教学的转型发展

普通高校向应用技术型高校转型的形势下,大学英语的转型发展是普通高校服务区域经济,培养具有良好英语综合应用能力的高层次应用型技术人才的需要.本文分析了学校的大学英语教学现状,提出了普通高校转型发展期的大学英语转型发展的策略,倡导构建"通用英语+学术英语+专门用途英语"相结合的大学英语教学转型发展模式.     

空间环境探测卫星用磁强计误差分析及在线标定

用于探测日地空间磁环境的磁强计多数安装在伸杆的末端,长期受太阳辐射等空间环境干扰力矩以及机动等影响,磁强计安装矩阵随时间发生较大的变化,从而导致卫星定姿精度下降。为此,在分析空间环境干扰力矩和磁强计定姿误差特性的基础上,建立了19维高精度的磁强计误差模型,结合卫星的运动学和姿态动力学特性,采用EKF滤波方法对安装矩阵进行实时估计与修正补偿,并利用该磁强计模型实现卫星的姿态确定,最后利用实验进行验证。实验结果表明,该方法能够在满足星载计算机的计算量要求的同时,在线估计安装矩阵误差,显著提高了磁强计的误差估计精度与定姿精度。     

2010年全球航天活动回顾（中）

三、欧洲 欧洲阿里安5火箭2010年发射6次．均为一箭双星发射．共部署12颗静地轨道卫星．包括10颗商业通信卫星、1颗军事通信卫星和韩国的“通信、海洋与气象卫星”（COMS）1。这一年成功发射的欧空局和欧洲各国航天器共有14个．包括5颗商业通信卫星、1颗军事通信卫星、     

国外月球以远深空探测的发展及启示（下）

二、国外月球以远深空探测的最新计划 进入21世纪,各航天国家和组织制定了详细的月球以远深空探测长远发展计划,深空探测已成为世界航天活动的重要发展方向。     

小思维 大智慧——解读“勇创杯”大学生创意大赛特等奖作品

鞋底：从构想到定型 随着人类对太空的不断探索和我国空间技术的迅猛发展,越来越多的航天员被送往太空进行实验,于是,航天员在长期微重力环境下的机体健康和自由活动情况就显得尤为重要。     

如何穿戴舱外航天服？

太空并非“仙境”,而是险境。高真空、强辐射,巨大的温差,以及空间碎片威胁等,在如此恶劣的环境下,航天员想要出舱作业,可谓困难重重,危险万分。但舱外航天服的出现解决了这一难题。舱外航天服是航天员出舱作业时必须穿戴的防护装备,它构成了航天员出舱活动的“生命方舟”,可以说是穿在航天员身上的最小的“载人航天器”。不过,在出舱前,要穿戴好这个“航天器”可不是件简单的事情。     

妇女参加航天的意义

在太空探险活动中,女航天员与男航天员一样,在人类征服太空的道路上写下了自己辉煌的篇章。本文介绍了妇女参加航天的历程,并从四个方面阐述了妇女参加航天的意义。