软件总线体系结构的研究与应用

设计一种轻量级软件总线体系结构,将软件总线思想引入到单机软件系统的定制与集成.软件总线技术源于分布式异构环境搭建提出的,应用于分布式系统.对传统软件总线结构进行改进,采用双总线结构,摒除不必要的分布式功能,使轻量级软件总线成为一种适用于单机环境的软件体系结构.通过创建一个基于轻量级软件总线体系结构的模拟银行服务排队系统,验证轻量级软件总线作为单机软件系统的搭建架构具有可行性.     

企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

基于程序行为累积分析的软件故障定位方法

软件出现失效后,如何根据软件运行时的输入以及运行行为来快速定位引发失效的故障是一个非常有价值的研究问题.提出了故障定位的锥状框架,并基于其将故障定位问题表示为一个分层细化的过程.在软件输入层,利用程序行为累积分析技术对软件的行为进行建模分析,得到了统计故障定位模型,从而解决了软件输入层的故障定位问题.为了检验故障定位模型的效果,选择了5个软件进行实验,对其中4个设计并植入故障,另外1个为真实软件,实验获得了平均0.803的定准率和平均0.697的定全率.在此基础上,如何应用程序行为累积分析技术在软件设计模块层解决故障定位问题得到了进一步的分析.      

航天嵌入式软件动力学仿真环境的通用软件架构

针对航天嵌入式软件测试环境通用化需求,提出动力学软件的通用化设计方法.基于航天动力学仿真的特点,设计灵活、通用和易于扩展的软件框架、接口数据结构和接口函数,适用于在研型号的所有接口处理方式.该方法在实际型号工作中完成应用,显著提高了动力学软件的研制速度,动力学软件运行稳定,精度满足测试要求.     

软件度量过程的研究与实施

软件度量过程是实施软件过程改进的基础.为了建立支持过程改进的软件度量过程,研究了几种与过程改进有关的度量标准、模型.然后提出一种基于实用软件度量的改进过程,并对过程的实施进行了说明.      

基于文档状态的软件质量保证过程管理

软件文档贯穿于整个软件生存周期,是软件产品的重要组成部分,它们的质量直接影响着软件的质量.通过对软件文档过程的深入研究,提出了文档状态的概念,详细介绍了基于文档状态的文档角色、文档活动、文档版本和文档间依赖关系,以及如何利用它们对软件文档的过程进行控制、跟踪和管理,进而达到对软件质量保证过程的管理.      

面向航天器嵌入式软件的在轨修复方法

航天器在轨运行的修复手段主要是软件的在轨修复.SPARC平台是我国航天领域应用最广泛的处理器架构设计.针对SPARC平台的航天器软件在轨修复问题,提出一种基于二次链接的方式生成在轨软件修复注入码的方法,解决在轨修复注入码重定位的问题.通过地面遥控注入,利用航天器在轨软件预埋的钩子函数,实现在轨函数模块的动态替换及恢复,大大提升SPARC平台软件的在轨修复能力.通过多个在轨航天器的实际工程应用,证明该方法是可行的和有效的,且具有良好的工程应用价值.     

飞行器多学科设计优化软件系统

为解决飞行器总体设计的难点,介绍了可用于飞行器多学科设计优化的软件.该软件利用"松耦合"方式,以SQL Server 2000为数据库管理系统(DBMS),与各学科分析程序相结合.阐述了该系统的功能和软件结构、软件流程、主要模块.为解决关键技术,提出圆环图处理总体与各学科的关系,利用模糊理论进行非数值型变量的转化,提出无量纲化多目标法进行多目标综合处理,构建单一数据库进行数据管理,采用三个数据文件作为程序接口.总结了软件的特点.算例表明软件具有实用性.     

航天器C语言软件常见编程错误分析及检测方法研究

基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.     

一种“白黑白”盒混合型航天器软件单元测试技术

软件测试是软件质量保障的基础,而单元测试是软件测试中不可或缺的重要环节.充分的单元测试对发现和排除软件中的缺陷非常有效,并且花费成本较小.基于航天器软件其较高的软件可靠性、健壮度等设计要求特点,归纳总结航天器软件单元测试的常见典型问题.结合航天器软件单元测试的具体实践,提出了"白-黑-白"盒混合的单元测试方法,旨在提高单元测试的质量与效率,从而保证航天器软件可靠性.     

A global empirical orthogonal function model of plasmaspheric electron content

Based on the method for establishing a global plasmaspheric model using observations from COSMIC and MetOp-A orbit determination GNSS receivers, Chen et al. (2017) obtained a global plasmaspheric total electron content product with a spatial resolution of 2.5° × 5° and a time resolution of 4 h. In this paper, we use those global plasmaspheric electron content product in 2008, 2010, 2011, 2012, 2014 for 1446 days to establish a global plasmaspheric empirical model based on empirical orthogonal function (EOF). The model can well characterize the spatiotemporal variation of plasmaspheric electron content (PEC) and the influence of solar radiation on it. Only the first four orders of EOF sequences can characterize the 98.43% features of the original PEC dataset. The principal component coefficient Pk is decomposed twice during modeling, and the combination of trigonometric function and linear function is used to model Pk to characterize the solar cycle, annual cycle, semi-annual cycle and quarter-cycle variation. We compare the PEC model values with the actual observation data, the results show that the empirical PEC model values are highly correlated with the actual observations. The correlation between the two is above 0.96, and the RMS maximum of the difference between the PEC model values and the observed values are 0.70 TECU, and the average of the difference between the PEC model values and the observed values are −0.18 TECU, respectively. In addition, we validate the reliability of the global plasmaspheric model established by two empirical orthogonal function decomposition method using actual observation data, according to the global distribution of the differences between the PEC model values and the observed values in low solar activity and high solar activity, it can be seen that under low solar activity and high solar activity conditions, the model has good adaptability.     

低高度空间高能质子通量分布计算

介绍了AP-8模式、CRRESPRO模式和PSB97模式,并用这3种模式分别计算低高度空间300—1100km范围内的高能质子通量分布,由IDL软件绘出通量等值线图．AP-8模式通量主要受银河宇宙线调制,即受太阳活动直接影响,与太阳活动高年相比,太阳活动低年的质子通量较大;CRRESPRO模式中,因活动期和平静期的数据采集时间前后相差很短,从而使同一高度上两种环境条件下的通量分布相似．模式之间的比较结果表明,AP-8模式通量较小,CRRESFRO模式通量较大,PSB97模式通量介于二者之间,并与实测通量接近．PSB97是为低高度(1000km以下)定制的模式,在低高度上优于AP-8模式和CRRESPRO模式,能较好地计算当前条件下的低高度高能质子通量．     

基于计算力矩法的眼内手术机器人的重力补偿

为了提高一种具有远程运动中心(RCM)机构的眼内手术机器人的定位精度和稳定性,在建立机器人坐标系的基础上,通过动力学等效,对机器人各构件质心瞬态位置进行分析。根据拉格朗日方程建立机器人动力学模型。提出基于计算力矩法的重力补偿方法。在此基础上,通过MATLAB/Simulink软件对重力补偿模型进行仿真。比较独立比例微分(PD)控制方法及重力补偿方法的各关节运动响应曲线,表明重力补偿模型可有效补偿重力项;同时,分析重力补偿模型响应曲线与期望曲线的误差,证明重力补偿模型具有较高的补偿精度和可行性。     

军航无人机与民航航班侧向碰撞风险评估

近年来无人机(UAV)已经成为新型作战力量。为解决军航UAV与民航航班之间的飞行冲突，确保飞行安全，对经典EVENT模型进行改进，提出适用于UAV的碰撞风险模型。着重研究了导航方式、人为因素、高空风对于UAV飞行的影响，并构建了相应的位置偏差模型。首先，利用蒙特卡罗法求解军航UAV与民航航班之间侧向间隔丢失的频率；其次，利用MATLAB进行算例仿真，验证模型的有效性，并得出了侧向碰撞概率随参数变化的关系；最后，通过计算不同安全间隔下的碰撞风险，对空域使用提出建议。      

仿壁虎刚毛阵列对卫星表面吸附能力模型与计算

壁虎脚的粘着机理对航天机器人脚掌的研制和开发具有重要启发意义.通过单根刚毛与光滑表面黏着力模型与计算、卫星粗糙表面分布模型与接触概率与计算、刚毛阵列与卫星粗糙表面黏着力模型与计算等，分析仿壁虎刚毛阵列对卫星表面的吸附能力，发现在一定条件下仿壁虎刚毛阵能够在太空失重环境中黏着在卫星表面，对航天舱内爬行机器人、管道机器人的研制和开发具有重要的启示意义.     

结合多体动力学先验知识与核方法的位标器性能预测技术

位标器的性能与特征参数之间存在着非常复杂的非线性映射关系,且由于装调工艺复杂,测量手段昂贵,位标器实际测量数据较少。如何在小数据的情况下实现对位标器性能的精确求解,是准确预测位标器装调性能的关键。提出一种结合陀螺动力学先验知识和核方法的位标器装配性能预测方法(A-LPSVR)。通过构建陀螺Adams动力学模型以缩小解空间范围。使用仿真性能值和真实装调性能值的差值训练支持向量回归模型,得到最终的位标器性能预测模型。实验结果表明该方法所构建的模型预测准确性与泛化性能要优于现有模型,能够在测量数据稀缺情况下实现位标器陀螺仪性能的精确预测。     

大气湍流对深空天线组阵相位影响分析

深空测控网采用大规模天线组阵系统比单个大天线具有一定优势,构建一个Ka频段的天线组阵系统无论对于星际测控通信还是天文观测都是一种经济、可持续扩展的技术方案。然而天线组阵系统工作于Ka频段时,由于天线间相位的快速起伏漂移将使得合成信噪比迅速恶化,尤其对于深空测控上行链路信号的相位监测和闭环控制带来巨大挑战,所以对天线间大气相位扰动测量和数值模拟非常必要。参考国外相关的干涉测量数据,首先分析了天线组阵大气相位扰动测量和统计分析方法;然后利用微波大气湍流模型,建立了天线组阵相位漂移抖动模型;对大气湍流引起的相位延迟扰动过程进行了仿真实现。利用模型产生的天线组阵相位抖动数值,可以测试和评估天线组阵信号合成处理系统的适用性。     

TIMED卫星探测的全球大气温度分布及其与经验模式的比较

利用TIMED卫星遥感探测的全球温度分布与NRLMSISE-00大气经验模式进行了对比研究.研究表明,在中间层下部以下的高度范围内,经验模式与卫星探测的大气温度分布有很好的一致性.但是比较发现,在中层顶区域,经验模式的计算结果与实测结果有较大的差异.卫星探测表明,在春分季节的低纬地区中层顶区存在稳定的逆温层,但是经验模式不能给出低纬地区春分季节中间层逆温层的分布特征.卫星观测表明在全球范围内中层顶有两个非常不同的高度,一个处于100km附近,另一个处于85km附近,但是经验模式不能给出这一中层顶高度的分布特征.同时在低热层,经验模式计算的温度分布与卫星遥感的探测结果有很大的差异.      

CHAMP和GRACE-A/B反演大气密度数据评估分析

利用Colorado大学公开发布的2001-2008年CHAMP和GRACE-A/B三颗卫星加速度计反演的400km高度上的大气密度数据,以大气模式NLRMSISE-00为参考,分析反演数据与模式值的误差特点、产生误差的原因、密度的变化及合理性,并通过卫星轨道两行根数（TLE）的反演结果进行验证,主要结论如下.CHAMP密度值整体稍高于GRACE-A/B,CHAMP密度与模式值之间的误差整体小于GRACE-A/B,2007-2008年 GRACE-A/B与模式的相对误差变化起伏较大.2001年CHAMP与模式存在整体偏差,通过相似空间环境条件下的密度变化比对以及利用TLE的反演结果验证,确定2001年的CHAMP反演密度整体偏低.CHAMP及GRACE-A/B密度变化个例显示,卫星密度值会出现一些个性化特征,使用时应根据需求进行分析处理.研究结果可为合理应用该数据提供参考.