航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。     

航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。     

结构环境中多机器人无冲突运动规划的研究

对同一结构环境中从事独立任务的多移动机器人的无冲突运动规划进行了系统的研究,提出了一种实时的多移动机器人无冲突运动规划方法--基于优先权的规则法PBR(Priority Based Rules Method).该方法综合了规则法和优先权法的优点,不仅可以采用规则实时地避免机器人与其他物体之间的碰撞和冲突,而且可以根据冲突机器人间优先权的不同在线地解决那些不可避免的冲突.PBR可以提高机器人运动的鲁棒性和执行任务的效率.     

基于参数类型和访问序的数据冲突静态分析方法

中断数据冲突问题是航天嵌入式软件常见典型问题之一,问题的发生具有较大的偶然性和不确定性,目前缺少较为成熟的技术和有效分析方法,冲突问题仍是时有发生,增大了软件研制周期和维护成本.本文从参数的类型及访问序角度,重点针对数组变量,多于处理器字长变量和关联变量的一次访问操作从源码和反汇编码级别搭建冲突场景并分析造成数据不同步的机理.针对同一个参数的多次访问序,构建高低优先级子程序所有可能存在访问冲突的操作序场景并给出分析结论,并以实例说明固定操作序被打断造成的访问冲突场景.这种通过静态方式下构建冲突场景的分析方法相比较动态方法更容易实施,分析更为充分,对今后数据冲突自动化检测工具的研究具有一定的参考作用.     

航天器C51语言软件中断资源冲突分析方法

对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果,提出基于静态分析技术的C51语言软件资源访问冲突分析方法,并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题,也可以推广到其他处理器.     

卫星干涉高光谱遥感图像序列差值压缩编码

根据干涉高光谱图像的成像特点和卫星遥感图像压缩编码系统要求，提出了一种新的卫星干涉高光谱图像序列压缩算法．新算法利用干涉成像光谱仪推扫成像特点提出了一种低存储量，帧间小波域匹配的图像序列压缩方案，提高图像质量3—4dB．算法首先通过小波域匹配算法检测出相邻图像之间的推扫位移量并移位求得两帧的最佳差值图像，然后对差值图像进行静止图像EBCOT压缩编码，从而提高总体编码效率．该算法具有与单帧图像编码算法相当的复杂度，只需要对当前图像与模板的差值图像进行基于小波变换的编码，避免了目前基于三维小波变换的编码算法对系统大存储量要求以及编码延时大的缺陷．仿真结果表明，本算法针对干涉高光谱图像编码，可获得比基于三维小波变换的算法相当甚至更好的效果，并且大大降低了编码延时．     

多星测控调度的遗传算法分析

针对多星过站冲突问题,以工程需求为导引,建立了多星测控调度模型,并采用遗传算法对其进行求解.从全局和局部搜索两种策略入手,以可用可见弧段为对象,设计了"全弧段"编码和基于协同进化的编码两种编码方式,给出了对应算法的实现流程和遗传操作算子,对两种编码方式的求解效率进行了分析.通过仿真对两种编码的求解质量与时间开销性能作了验证,由此得出了两种编码和对应搜索策略的适用范围.据此开发的系统已成功应用于航天顶层设计的辅助决策.     

基于行程累加的目标标记硬件加速算法

针对目标标记算法的长耗时、大延迟严重影响目标跟踪的效果和实时性问题,提出了快速的基于行程累加的目标标记硬件加速算法.通过对像素进行行程编码,按照定义的累加规则对相邻行的行程进行累加运算,避免了标号冲突的发生,无需建立等价表,实现了一遍扫描完成连通域标记和连通域特征的计算.实验结果表明提出的算法资源占用较少,输出延迟小,与软件算法相比具有很高的加速比,有利于后续目标跟踪的高速实时处理.     

多传感器检测系统的分布式数据融合

研究分布检测系统中融合中心的多种数据融合方法,如“ａｎｄ”、“ｏｒ”逻辑规则、表决融合方法和基于最小错误准则的最优融合方法,以及带有置信度信息的最优融合方法,分析和比较了采用各种融合方法时检测系统的检测性能,最后通过仿真实例验证了理论推导的正确性,并与集中检测融合方法进行了比较。仿真结果同时表明对各种融合方法传感器增多,信噪比增加,检测系统的性能改善。     

基于H_∞估计的鲁棒故障检测

为了减少故障误警率和提高故障检测精度 ,文章利用H∞ 估计和优化理论研究了线性离散不确定系统的故障检测问题。故障检测的关键是使余量发生器产生的余量对不确定因素和干扰输入具有鲁棒性 ,同时对故障具有敏感性。另外 ,文中还讨论了门限值的计算和选择问题。最后 ,仿真计算了在模型不确定性和随机干扰情况下 ,某飞行器传感器 /执行器故障的检测过程。与基于卡尔曼滤波的方法比较 ,基于H∞ 估计的故障检测方法能有效降低误警率。     

能源双冗余系统及其控制策略

针对我国运载火箭现役直接引流伺服系统能源部分可靠性较低现象,提出一种新型能源双冗余系统,实现了能源部分主副油路的自动切换和故障隔离,结构简单,重量轻,同时运用并优化逻辑双门限控制策略,根据主副油路切换工作特点确定了最优双门限阈值,进一步提高了能源双冗余系统可靠性,试验结果表明能源双冗余系统结构可靠,控制策略有效,不会出现误切现象,大大提高了伺服系统的可靠性,能够满足我国载人航天登月高可靠性要求。     

A new approach based on crater detection and matching for visual navigation in planetary landing

This paper provides an approach of crater detection and matching to visual navigation in planetary landing missions. The approach aims to detect craters on the planetary surface and match them to a landmark database during the descent phase of a planetary landing mission. Firstly an image region pairing method is proposed to detect the crater by using an image region feature detector. Then a WTA-rule is adopted to match the detected crater to the crater in database. To further reduce the false matching rate, an efficient method for reducing false matches using parameters of crater in 3-D database is proposed. Real images of planetary terrain and a semi-physical planetary landing simulation platform are utilized to test the performance of the approach, simulation results show the proposed approach is able to match the required number of craters to the database for pin-point planetary landing with a low rate of false detection and false matching, which will lead to an improved planetary landing precision.     

胚胎电子细胞剩余码/berger码联合编码自检方法

为了更好地实现胚胎电路的自检需求,针对地址产生模块和输入输出模块,基于基本逻辑和算术运算中操作数和结果数之间的剩余码和berger码关系,对胚胎电子细胞输入输出等价运算的构建进行了讨论分析。通过剩余码检测单个故障,berger码检测多位单向故障,设计了一种剩余码/berger码联合编码的胚胎电子细胞自检方法。给出了所提方法的流程和实现方法,分析了基于所提方法设计的胚胎电子细胞的故障检测率、自检模块自检率和硬件资源消耗。以时序逻辑电路为目标电路进行了仿真实验,验证了所提方法对胚胎电子细胞各模块的检测能力和对检测模块的自检能力。      

基于改进HHT的非高斯噪声中瞬态通信信号检测

根据瞬态通信信号和非高斯噪声的特点,建立了相应的信号模型,并利用希尔伯特-黄变换（HHT）处理非线性非平稳信号的优势,提出了基于改进HHT的非高斯噪声中瞬态通信信号的检测算法。该检测算法分为集合经验模式分解（EEMD）和固有模态函数（IMF）分量筛选两部分,首先经过加入随机白噪声多次试验取均值得到待检测信号的IMF分量,再结合各个分量与原信号的能量差异和相关性剔除虚假IMF分量,从而实现对混叠在非高斯噪声中的瞬态通信信号的有效检测。仿真在不同的条件下对比了本文算法与其他算法对信号的检测效果,结果证明本文算法能够有效克服HHT中存在的缺陷,实现对瞬态信号更为准确的分析和检测。     

基于GCF-SB视觉注意模型的红外目标检测算法

针对复杂背景、低对比度条件下的红外目标检测，提出了一种基于灰度对比度特征 相似性贝叶斯(GCF SB)模型的红外显著性目标检测算法.建立了一种灰度对比度特征(GCF)模型，该模型利用两个通道分别提取红外图像的灰度特征和对比度特征，然后通过特征融合获得初级显著图；建立了一种基于相似性的贝叶斯(SB)模型，该模型根据初级特征图分别计算目标和背景的先验概率和似然函数，然后利用贝叶斯公式获得最终显著图，进而实现红外图像的显著性目标检测.实验结果表明，所提出算法能够有效抑制复杂背景、低对比度红外图像的噪声，增强对比度，具有较高的检测精度和鲁棒性.     

基于深度学习的大型陨石坑识别方法研究

陨石坑是天体表面最为显著的地形特征，传统陨石坑识别方法主要是对小型陨石坑正负样本的二分类问题研究，且效率和精度均不高。以星体宏观视角下的大型陨石坑作为研究对象，结合图像处理和神经网络等方面的知识，创建了来自不同数据源的陨石坑样本数据库，研究了数据源对网络模型泛化能力的影响，提出了一种效率更高的陨石坑多分类识别方法。在非极大值抑制（NMS）算法基础上，提出了一种精度更高的陨石坑检测算法。经过参数优化和实验验证，构建的基于深度学习的多尺度多分类陨石坑自动识别网络框架取得了较高的准确率，在同源验证集上识别率可达0.985，在异源验证集上识别率可达0.863，并且有效改善了目标检测时检测框冗余及误检测的问题。      

基于双耦合Duffing振子的气液两相流动特性分析

提出了双耦合Duffing振子仿真系统检测小通道气液两相流型信号的方法。搭建了双耦合Duffing振子仿真系统,针对流型信号的特征确定了3个关键参数:阻尼比、耦合系数和频率,并应用典型混沌信号Lorenz和R9ssler对该仿真系统进行了性能检测。在两相流型信号检测时,提取了振子振动的瞬时速度和位移2个特征值,并基于特征值对流型动力学特性及流型辨识进行了深入研究。结果表明:通过对典型混沌系统的检测验证,发现本文检测方法具有较好的抗噪能力,能够较好地表征典型信号的混沌特性。提取的2个特征值能够揭示出小通道气液两相流型转变过程中气液两相间的作用机理。系统的振子振动瞬时速度结合位移实现了小通道气液两相流典型流型的准确识别,有助于其他不同介质的多相流动特性分析与流型辨识。     

基于加权鉴别函数的二进制偏移载波信号跟踪方法

在移除二进制偏移载波（Binary Offset Carrier,BOC）信号跟踪模糊的同时,为了保持BOC信号高的码跟踪精度,提出基于加权鉴别函数（Weighted Discriminator Function,WDF）的BOC信号无模糊跟踪方法。WDF使用非相干超前减滞后功率（Noncoherent Early Minus Late Power,NELP）鉴别器和子载波相位消除（Sub Carrier Phase Cancellation technique,SCPC）鉴别器,生成无误锁点的鉴别函数实现BOC信号跟踪。针对BOC(10,5)信号,仿真结果表明,相比于SCPC、基于伪相关函数的无模糊延迟锁定环（Pseudo correlation function based Unambiguous Delay Lock Loop,PUDLL）方法和对称脉冲模糊移除（Symmetrical Pulse Ambiguity Removing,SPAR）方法,所提WDF方法在码跟踪误差方面分别改善了2.5dB、5.5dB与8.3dB,多径误差分别降为60.4%、32.8%与38.0%。因此,WDF是一种有效的、高性能的BOC信号无模糊跟踪方法。