基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

观测资料和卫星钟差对PPP参数收敛影响分析

在GPS 单点定位中, 参数解算的收敛时间和收敛稳定性是重要的研究内容之一, 影响收敛时间和收敛稳定性的因素很多, 本文主要就观测资料的不同采样间隔、卫星钟差资料的不同采样间隔、不同的定位精度要求对精密单点定位中参数收敛时间的影响进行了深入的分析探讨, 以中国上海GPS综合应用网中的12个测站资料为例, 分析了采样间隔、定位精度要求与收敛时间的关系, 并对不同采样间隔的收敛时间进行了统计分析, 得出一些初步结论.      

一种高稳定度太阳帆板驱动机构控制方法

为了提高低轨遥感平台卫星用太阳帆板驱动机构（SADM,solar array drive mechanism）的速率稳定度,降低太阳帆板转动对星体姿态稳定度的影响,在对SADM驱动原理分析和驱动性能测试的基础上,明确了步进电机定位力矩对速率稳定度的影响,并提出了定位力矩补偿方法．在SADM转速和转矩测量平台上,对定位力矩补偿的驱动控制效果进行了测试和对比分析,测试结果表明,采用定位力矩补偿控制方法可以将SADM的速率稳定度提高约一倍．     

碳纳米管薄膜传感器及其应变传感特性

碳纳米管薄膜可作为应变传感器用于结构损伤的健康监测。采用机械搅拌、超声处理和高速离心等分散工艺将多壁碳纳米管单分散后,通过真空吸滤法制备碳纳米管薄膜。对碳纳米管薄膜传感器进行了深入的研究,设计了一种高灵敏度的碳纳管薄膜应变传感器,与结构基体一体成型。弯曲应变传感实验表明碳纳米管薄膜传感器在不同的应变范围、不同的循环次数、不同的温度范围等条件下都具有良好的应变传感特性。结果表明碳纳米管薄膜传感器灵敏度较高,灵敏度系数为188.31(0~22 500 με),且具有较好的应变传感可逆性和可重复性。      

倾斜轨道小卫星太阳高度角分析与机动方案设计

针对倾斜轨道小卫星必然会面对的光学姿态敏感器受阳光干扰的问题,分析太阳高度角的变化规律,提出了计算太阳高度角的经验公式,并在此基础上提出了平台偏航姿态机动方案,可以使光学姿态敏感器规避阳光干扰,并可以简化整星热控和帆板驱动设计,提高了整星的可靠性.     

多轴疲劳寿命分析方法在飞机结构上的应用

针对飞机结构上常见的处于多轴应力应变(比例多轴)状态下的典型结构,采用3种多轴疲劳寿命分析模型,对该结构的疲劳危险部位进行疲劳寿命分析,并与单轴寿命分析方法的分析结果、疲劳试验结果进行了对比分析。首先对该结构进行细节有限元计算,确定结构的应力分布与应力水平,当载荷施加到88%的最大一级的峰值载荷时,疲劳危险部位的孔边即出现显著的塑性应变,因此,选用低周疲劳(LCF)寿命预测模型进行分析。选取的3种分析模型均是基于临界面的分析模型,分别是Wang-Shang模型、Smith-Watson-Topper(SWT)模型以及Morrow-Brown-Miller模型。为验证分析模型工程适用性,开展了该结构的多轴疲劳试验。与试验结果相比,3种分析模型的预测结果均偏大,其中Wang-Shang模型的预测结果最接近试验值,适用于本文这类结构;SWT模型和Morrow-Brown-Miller模型的预测结果误差相对较大。对于处于多轴载荷状态下的结构,应按照多轴疲劳寿命分析方法进行寿命预测,单轴疲劳寿命分析方法将给出过于危险的评定结果。      

故障诊断与维修指导系统

故障诊断与维修指导系统是用于演示验证新型号垂直发射车用CAN总线通讯系统可靠性的设备,通过CAN总线节点、单板节点、通讯电缆组、供电模块以及系统软件,对垂直发射车的通讯故障进行模拟、检测和分析,对垂直发射车通讯系统的健壮性和安全性进行评估并提供维修指导原则。     

改进的多处理器混合关键性系统可调度性分析

针对混合关键性系统的多重认证需求,研究多核处理器平台中全局调度算法fixed-priority and Earliest Deadline First by Virtual Deadline（fpEDF-VD）的可调度性分析问题。fpEDF-VD结合处理器利用率和虚拟截止期两个方面来计算任务优先级,系统可调度性取决于是否存在可行的虚拟截止期调整参数。考虑到现有可调度分析方法仅测试有限数量的调整参数候选值,不能有效地判定系统可调度性,故提出了一种改进的判定方法。该方法基于传统（非混合关键）任务调度算法fpEDF的可调度利用率约束条件,利用函数图像分析研究不同关键性级别的系统可调度性需求,并在此基础上给出有效虚拟截止期调整参数的确切范围。通过实例分析及与现有判定方法的比较,验证了该方法的正确性和高效性。与理论分析一致,基于随机生成任务集的仿真实验结果表明改进后的方法具有更优越的可调度性能,能显著地提高任务集的可调度接受率。      

基于半实物仿真的地磁导航等值线匹配算法评估

影响地磁导航匹配算法性能的因素很多,而现阶段算法的评估完全依靠计算机仿真,其可信性有待进一步验证.以等值线(ICCP)算法为研究对象,首先从理论上分析影响算法性能的因素;然后搭建了地磁匹配导航半实物仿真系统,通过引入磁场仿真环境和磁传感器,提高了仿真的可信度;最后从测量噪声、匹配长度、匹配区域和惯导误差4个方面对ICCP 匹配算法的性能进行半实物仿真试验分析.仿真结果表明,通过半实物仿真试验可以对算法的抗干扰性、算法匹配长度的确定、匹配区域的选择以及惯导误差的影响做出有效评估,从而推动地磁匹配导航及匹配算法的工程化进程.