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

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

基于OWL-S的测试用例生成

提出了一种基于OWL-S(OWL Web Ontology Language for Services)需求模型的测试用例自动生成方法,针对被测系统需求特性产生测试用例,以提高Web服务系统交互测试的自动化程度和效率.测试用例的生成通过3个步骤完成:①对需求特性进行分析,获取与需求特性相关的具体事件集的集合;②对OWL-S描述的应用流程进行搜索,寻找所有与需求特性相关的测试路径;③对测试路径上相关原子过程的IOPE(Inputs,Outputs,Preconditions and Effects)属性及路径条件进行分析,产生相应的测试用例.以金融行业ATM(Automated Teller Machine)示例系统为例对本方法进行了验证,结果表明本方法按要求产生了与需求特性相关的测试用例,覆盖了所有给定的需求特性公式,并有效的检测出被测系统中存在的错误.      

航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

基于ATML标准的卫星控制系统通用化测试平台

针对卫星控制系统测试通用化需求,提出了基于ATS（automated test system）结构及ATML（automatic test markup language）标准的测试平台实现方案.将通用测试平台分为通用测试站、测试适配器、综合开发及运行环境三部分.通过ATML标准及面向信号的系统描述方式,使得测试需求和测试能力解耦.根据通用测试平台提供的测试能力,按照不同卫星的测试需求对其进行配置,能够实现测试平台的通用化.     

基于拜占庭容错体系构架的航天器控制系统测试性设计与分析

摘要： 飞行控制系统作为航天飞行器的关键机载系统,其运行情况直接关系到飞行任务的成败.通过良好的测试性设计,可以提高系统的可靠性和安全性,减少维修人力及其他保障资源,降低寿命周期费用.对拜占庭容错体系结构的航天器控制系统和分层多信号流图模型的测试性设计和建模方法进行了详细的叙述,并对基于拜占庭容错体系结构的航天器控制系统进行了测试性建模,通过测试性建模和分析系统（TMAS软件）验证控制系统测试性设计的正确性和有效性.     

基于博弈交叉效率DEA的装备设计方案评审

基于数据包络分析构建了可以处理效益型、成本型和固定型3种类型指标的多属性综合评价方法.通过引入交叉效率以使评价对象自评与互评相结合,解决了数据包络分析用于多属性综合评价时评价标准不一致的问题;在此基础上,通过引入博弈交叉效率,采取在其它评价对象提升自身效率的同时,被评对象也不断改善效率的策略,弥补了数据包络分析用于多属性综合评价时评价结果不唯一的缺陷,并提升了评价结果的区分度和合理性.通过算例对该方法进行了验证,并将该方法应用于装备设计方案评审,结果表明其能够较好的解决方案的评价排序和择优问题.     

基于数据库的飞机板金件工艺性审查系统研究

通过分析当前我国飞机板金零件工艺性审查的现状,提出了在工艺性审查中利用数据库及计算机辅助技术的必要性.分析了利用后台数据库创建工艺性审查系统的总体结构和实现方案,并对系统创建中的关键技术及解决方法进行了研究.通过使用本系统,可以大大提高飞机板金零件工艺性审查的效率和质量.     

考虑多故障的测试性建模改进方法

分析了测试性建模的现有方法及在工程应用中存在的不足.在信号流图方法的基础上,提出了一种测试性建模的改进方法.该方法支持单元的多故障模式设置,能够区分全局故障和局部故障,并允许设置全局故障沿单元特定信号流方向传递.给出了测试性模型的图形定义、隐含属性定义、相关性矩阵定义和相应的测试性分析推理方法.在此基础上,提出了基于高阶相关性分析的相关性矩阵生成改进算法.以某惯导系统为例进行了应用,建立了测试性图形模型并生成改进的相关性矩阵,与现有方法建立的相关性矩阵进行对比,结果验证了测试性建模改进方法的可行性和有效性.     

基于时间自动机的AADL端到端流的延迟分析

对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.      

星载SAR滑动聚束模式三步扩展算法

针对星载SAR(Synthetic Aperture Radar)滑动聚束成像模式,结合空间几何模型沿距离向对混合度因子进行了分析及修正.在此基础上研究了单点目标及全场景的多普勒带宽,并通过数学推导验证了两步成像处理算法克服频域混叠的有效性.通过进一步深入研究指出了两步成像算法的局限性,即对脉冲重复频率的选择具有较高的要求,否则在方位向图像域造成混叠.针对两步成像算法的缺陷提出三步扩展成像处理算法,在方位向聚焦后通过选择合适的deramp因子完成方位向的重采样,克服了方位向图像域的混叠,并研究了第三步deramp操作对方位向时域展宽的影响.最后通过仿真验证了三步成像处理算法的优越性.     

复杂电磁环境辐射-散射耦合场快速预估方法

针对复杂电磁环境中目标散射体和干扰辐射源同时存在,影响目标回波散射场的问题,提出了一种基于辐射源方向图和极化散射矩阵数据的耦合场快速预估方法。利用可提前独立获取和加载的辐射源方向图及目标各个方向的散射数据,实现了辐射-散射耦合场景下空间总电磁场的近实时快速预估。仿真计算了辐射源与散射体不同距离和相对强度下场景的总电场变化情况,验证了辐射-散射耦合效应对目标回波场存在显著影响。无需使用电磁计算方法对场景进行重新计算,满足复杂电磁环境内场仿真试验对实时提供数据的需求,具有工程应用价值。      

基于并行频率测量的TCXO高效测试技术

当前的温补晶振测试系统受频率测量容量制约,测试效率不高,本文提出了一种基于直接测频法的并行频率测量方法,并采用该方法实现了并行TCXO测试系统。该测试系统已经可以对至少100颗TCXO同时进行测试,且测试容量还可以进一步增加。该测试系统的频率相对测量误差低于±4×10^-9,完全符合目前TCXO的设计和生产精度要求。应用该并行测试系统可显著提高TCXO测试与生产的效率。     

复合材料构件R区的超声相控阵检测实验

针对复合材料构件R区的超声检测问题,开展超声相控阵检测实验研究.分析R区的检测难点,利用超声相控阵检测技术的优势,分别提出了基于相控阵弧阵换能器和线阵换能器的两种检测方法;对复合材料L型试样的R区进行超声相控阵检测实验,验证了两种检测方法的正确性;并与常规超声检测方法进行对比,分析了超声相控阵技术检测R区的技术优势.研究结果表明:超声相控阵检测技术具有适用性强、检测效率高等优势,可以满足复合材料构件R区的检测要求.     

SVRM辅助的北斗GEO卫星反射信号土壤湿度反演方法

提出了一种支持向量回归机(SVRM)辅助的北斗地球静止轨道(GEO)卫星反射信号土壤湿度反演方法。使用全球导航卫星系统反射信号(GNSS-R)右旋圆极化(RHCP)天线和左旋圆极化(LHCP)天线接收体制进行了地基实验,采集了北斗GEO卫星直射、反射信号原始数据,并从中提取直射、反射信号的相关功率,结合北斗GEO卫星的高度角与方位角信息作为输入,烘干称重法获取的土壤湿度作为输出对使用径向基(RBF)核函数的ε-SVRM进行了训练。独立测试集上的结果表明,SVRM辅助的北斗GEO卫星反射信号土壤湿度反演方法获取的土壤湿度结果与烘干称重法获取的土壤湿度参考值误差控制在3%以内,线性回归方程决定系数为0.897 9,均方根误差RMSE为1.492 6%,证明了该方法具有良好的泛化特性,实际应用中效果良好。      

视觉检测中椭圆中心成像畸变误差模型研究

针对在三维视觉检测应用中,空间椭圆的中心经摄像机针孔成像后存在畸变误差的问题进行了研究.基于透视投影变换和空间解析几何理论,建立了在摄像机的像平面上该畸变误差的数学模型,从而为圆孔(椭圆孔)或圆柱(椭圆柱)类工件中心位置的视觉检测、结构光三维视觉检测应用以及视觉检测中的CCD摄像机内部参数标定等问题的解决提供了一个有效的理论依据,具有一定的理论意义和工程应用价值.      

基于改进多目标遗传算法的舰尾紊流模拟方法

为提高舰尾紊流自由大气紊流分量仿真的可信度,提出了一种紊流数值模拟的新方法.首先,使用带有修正系数的Euler前向差分格式表示各个方向的紊流序列,同时结合智能算法的思想,把紊流相关性检验中的均方差误差和相关函数误差作为待优化目标函数,将修正系数的选择看成一个多目标优化问题,并采用改进的多目标遗传算法进行求解.最后,通过仿真算例验证了本文方法的正确性与合理性,计算结果表明该方法可以根据不同的采样步长灵活地生成所需紊流.尤其在小步长情况下,亦可得到很好符合理论值的紊流序列,可以满足虚拟飞行实验的要求.      

光纤陀螺惯性测量单元数据频混误差仿真分析

导航计算机对光纤陀螺（FOG）测量数据的异步重采样将引起数据的频谱混叠误差。基于FOG信号检测特点,以FOG闭环输出数据更新率、惯性测量单元（IMU）异步通信定时脉冲频率为参量,以载体的正弦干扰频率为变量,以导航计算机接收信号直流（DC）分量的幅值误差抑制为目标,建立了仿真模型。分析了现有内插抽取方案和滑动滤波方案的数据频混误差及延时特性。提出了类盲发变滑窗长度方案,抑制了频混误差响应谱对滑窗长度的敏感性。仿真结果表明,相比滑窗长度偏离最优值4%的滑动滤波方案,变滑窗长度方案的误差最大值从0.056 85降至0.009 737,能更好地适应定时脉冲信号频率抖动或切换的工程应用需求。      

面向空间通信的DTN一体化传输性能约束研究

相比于地面网络，空间通信链路具有较长的延迟、频繁的中断、较高的误码率及上下行链路非对称等特性，互联网成熟的网络技术并不适用，对网络可靠传输性能的保障提出了挑战。不同于空间IP协议体系方案，针对空间通信链路特性，采用多种传输机制兼容的DTN（delay tolerant networking）协议架构。重点针对链路非对称、和信道误码率等特性，研究对保障可靠传输的TCP和LTP两种传输机制的性能制约，并给出LTP（Licklider transport protocol）机制的跨层包尺寸优化模型。基于半实物仿真平台，构建静止轨道GEO以下的空间通信场景，进行真实数据流仿真，分析链路因素对协议传输性能的影响。仿真结果表明，在近地端误码率和信道非对称比例较小的空间通信场景中，仍可以采用TCP机制保障可靠传输，但对于误码率和信道非对称比例较高的通信场景，应考虑采用LTP传输机制保障通信的有效性和可靠性。     

摆动扫描式地球敏感器电信号源研究

摆动扫描式地球敏感器常采用电信号源作为激励参与卫星地面测试.为更真实揭示敏感器自身特性以及减小信号源误差,推导了敏感器测量方程和扫描方程,分析了电信号源的误差来源,并提出了改进的地球敏感器信号源实现算法.该方法概念清晰,计算量小.试验测试结果表明该算法提高了地球敏感器信号源精度.