综合化航空电子系统可信软件技术

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。     

基于执行时段滑动调整策略的中继卫星任务规划算法设计

针对中继卫星任务规划问题开展研究,提出一种基于执行时段滑动调整策略的任务规划算法。首先分析了中继卫星资源调度过程,并对任务申请的时间特征进行形式化描述,然后归纳出任务分配的主要约束,从而完成问题建模。在此基础上,对优化算法进行设计,给出了执行时段滑动调整步骤。通过调整已规划任务执行时段的方法,使部分原本无法执行任务具备执行可能,提升了任务执行率和资源利用率。在仿真实验中,通过大规模测试分析对比不同算法的优化效果,验证了文中所提方法的有效性。     

接地体的冲击电阻的分析与计算

在分析雷电电磁脉冲、核电磁脉冲等电磁脉冲(EMP)对地面电子设备可能造成的损害,以及电磁脉冲感应电流在接地体中的散流特性的基础上,给出了简单接地体的冲击接地作用的度量参数和冲击接地电阻的计算方法,并举例求得一个接地体的冲击接地电阻,为实际工程提供理论依据。     

可信计算之细粒度模糊信任链研究

针对可信计算平台信任链技术的实现,在可信与安全相关性研究基础上,总结了信任链技术中存在的几个值得探讨的问题,对可信与安全的关系、认证链和信任链的区别以及组件划分的粒度等问题进行了分析。提出了一种细粒度模糊信任链模型,对组件划分原则、组件、系统的安全度量方法和信任转移理论进行了深入研究。为可信计算信任问题的研究提供了一个可行的方案,对实际系统可信性和安全性研究具有参考意义。     

Video surveillance applications using multiple views of a scene

Automatic video surveillance techniques are used to detect intruders within a scene. This task is mostly reduced to the problem of detecting moving objects evaluating image sequences of a monocular camera. An essential problem of this monocular approach is its inability to measure the 3D-size and 3D-position of objects reliably, as object size and velocity are estimated within the 2D-image plane. To include 3D-information about the scene an approach using a second camera is proposed in this paper which combines the evaluation of the measurement data of the two cameras using an efficient 3D-scene model. Here, two cameras are used with an overlapping field of view, which represents an installation often used in existing video surveillance applications. It is shown that using the combined evaluation of the two cameras, the false detection rate in the case of moving shadows, leaves, birds and insects or blindings can be further reduced compared to a pure monocular evaluation     

一种基于标识的增强现实交互方法

增强现实系统中,不同标识上虚拟物体交互行为比较单一,且大多根据标识问的距离控制交互,当系统中标识增多时,系统的运行效率将大大降低。本文将虚拟现实中的感知技术引入到系统中,为虚拟物体建立了一种基于空间距离的感知模型,将标识间的距离分级,虚拟物体对处于自己感知域内不同距离级别上的其它虚拟物体采取不同的交互行为。实验结果表明,该方法可以丰富虚拟物体的交互行为,同时满足系统实时性需求。     

一种面向分布式应用的调试代理

分布式应用由多个计算节点协作完成,在调试过程中使用传统调试器很难对各计算节点上的程序进行有效的控制,程序每次执行结果的不确定性也给调试带来了困难。针对以上问题,提出一种解决方法:使用分布式代理负责调试每个节点任务,多个分布式代理与调试服务器协作完成分布式应用的调试。在Linux平台上完成模型的建立,并使用C、C++控制台应用程序作为测试例程完成实验结果的验证。     

Combination of classifiers with incomplete frames of discernment

The methods for combining multiple classifiers based on belief functions require to work with a common and complete(closed) Frame of Discernment(Fo D) on which the belief functions are defined before making their combination. This theoretical requirement is however difficult to satisfy in practice because some abnormal(or unknown) objects that do not belong to any predefined class of the Fo D can appear in real classification applications. The classifiers learnt using different attributes inform...     

非视域成像系统的研究现状和发展趋势

非视域成像是一种新型针对视线外目标的计算成像技术,它以时间飞行探测技术为基础,通过探测被隐藏在视域之外的物体反射回来的光子利用重建算法来重建隐藏物体的像,在自动驾驶、灾难救援、医学成像和军事反恐等方面有着广阔的应用前景。首先介绍了近年来发展起来的主动和被动非视域成像系统的研究现状,从非视域成像系统的成像装置、分辨率和重建算法等几个方面分析各自的特点和发展趋势。最后,还讨论了非视域成像技术在实际场景应用中所需要解决的一些关键问题,并展望了非视域成像技术的未来发展方向。     

一种基于背景自适应的运动目标检测与跟踪算法

背景图像差分法是运动目标实时检测中常用的方法,但缺乏背景图像随监视场景光照变化而及时更新的合理方法,限制了该方法的适应性。对此,文章首先提出了一种自适应背景更新方法;然后利用最大类间方差法实现运动目标的自适应阈值分割,并利用基于形态学方法的连通区检测算法检测运动目标;最后以Kalman滤波为运动模型实现对运动目标的连续跟踪。实验结果表明:所提方法可随着光照条件的变化,实时、准确地检测出运动目标并实现稳定跟踪。     

基于深度学习的小目标检测研究进展

随着深度学习方法的快速发展,目标检测作为计算机视觉领域中最基本、最具有挑战性的任务之一,已取得了令人瞩目的进展。现有的算法大多针对于具有一定尺寸或比例的大中型目标,但由于待测目标尺寸小、特征弱等原因,对小目标的检测性能还远远不能令人满意。小目标检测（SOT）作为一种广泛应用于室外远程拍摄和航空遥感场景的技术,近年来受到了广泛的关注,各种方法层出不穷,但是目前对该问题的全面综述较少。从问题定义、算法分析、应用介绍、方向展望等方面对基于深度学习的小目标检测研究进展进行了综述。首先,给出了小目标检测问题的定义,阐述了其技术难点及在实际应用中面临的挑战;接着,从8个不同角度分析了检测器对小目标检测精度较低的主要原因及相应的改进方法,详细归纳总结了小目标检测在各技术方面的研究工作;然后介绍了几个特定场景下小目标检测算法的典型应用;最后,对小目标检测未来的发展趋势进行展望,提出可行的研究方向,期望为该领域的研究工作提供可借鉴和参考的思路。     

机载拖曳体动力学建模及分析

在某些航空应用场景,需要通过飞行器拖曳功能性部件完成特定性任务,例如机载拖曳对潜通信天线等,在这些应用中,通过建立科学的模型和方法,准确地分析稳态、动态特性是保证拖曳体正常工作的前提条件。本文以对潜通信天线为例,建立考虑天线气动力、惯性力以及弹性力的多体动力学的机载天线动力学模型,并对该模型的稳态结果进行算例验证;对考虑载机非定常运动以及突风作用等扰动后的天线系统动态响应进行分析,并对天线断裂等极端情况进行评估。结果表明：本文所建立的模型在垂直度、天线张力等方面的分析结果较好,能够应用于航空拖曳体的稳态及动态特性分析,在对潜通信天线、加油管等系统的设计方面有一定的工程价值。     

Bayesian Approach to Extended Object and Cluster Tracking using Random Matrices

In algorithms for tracking and sensor data fusion the targets to be observed are usually considered as point source objects; i.e., compared with the sensor resolution their extension is neglected. Due to the increasing resolution capabilities of modern sensors, however, this assumption is often no longer valid as different scattering centers of an object can cause distinct detections when passing the signal processing chain. Examples of extended targets are found in short-range applications (littoral surveillance, autonomous weapons, or robotics). A collectively moving target group can also be considered as an extended target. This point of view is the more appropriate, the smaller the mutual distances between the individual targets are. Due to the resulting data association and resolution conflicts any attempt of tracking the individual objects within the group seems to be no longer reasonable. With simulated sensor data produced by a partly unresolvable aircraft formation the addressed phenomena are illustrated and an approximate Bayesian solution to the resulting tracking problem is proposed. Ellipsoidal object extensions are modeled by random matrices, which are treated as additional state variables to be estimated or tracked. We expect that the resulting tracking algorithms are also relevant for tracking large, collectively moving target swarms.     

复杂条件下的运动目标检测方法研究综述

运动目标检测是当前研究热点之一,被广泛地应用于计算机视觉、视频处理等领域。将运动目标检测的三种常用方法进行对比,总结其各自的适用性及局限性。针对光照变化、背景存在干扰运动、前景色与背景色接近等复杂条件,综述了相应的多种解决方案,并指出了方案算法的局限性,对复杂条件下运动目标检测方法的发展方向进行展望,从而为相关工作的进一步研究指出了方向。     

运输类飞机合格审定试飞性能新增条款评述

介绍了美国联邦航空局（FAA）运输部对1986年4月9日颁发的第25－7号 咨询通报《运输类飞机合格审定飞行试验指南》（简称AC25－7)性能部分的修订情况,主要介绍了部分新增条款的内容。在此基础上,对我国运输类飞机型号合格审定性能试飞在执行新条款过程中可能遇到的问题进行了探讨,并给出了解决这些问题的初步建议。     

基于深度学习的无人机航拍目标检测研究综述

目标检测是提高无人机（UAV）感知能力的关键技术之一,其研究对于无人机的应用有着重要意义。与基于手工特征的传统方法相比,基于卷积神经网络的深度学习方法具有强大的特征学习和表达能力,成为目前目标检测任务的主流算法。近年来,目标检测技术已经在自然场景图像上取得了一系列突破性进展,在无人机领域的研究也逐渐成为热点。首先系统阐述了基于深度学习的目标检测算法的研究进展,并总结了相关算法的优缺点。对常见的航空影像数据集进行了梳理并介绍了迁移学习的方法;从无人机影像背景复杂、目标较小、视场大、目标具有旋转性的特点出发,对无人机目标检测在近期的研究进行了归纳和分析。最后讨论了存在的问题和未来可能的发展方向。     

军用嵌入式可信软件研究

随着军用计算机技术的不断发展,软件在军用设备中的地位越来越重要。软件规模日益增大,安全性、可靠性等问题日益凸显。充分研究可信软件的特性,对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上,结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状,总结了软件可信性的评估方法。     

自主空战技术中的机动决策:进展与展望

自主空战（AAC）是指飞机依靠机载等相关设备，自主进行战场感知、决策及控制，以执飞空战的技术，其核心是机动决策模块。针对该模块的研究，调研了国内外的现有方法，并按照有关方法的核心内涵，将其分为基于数学求解、机器搜索、以及数据驱动3类分别简要概述；针对每一类方法列出了具有代表性的示例技术，并讨论了其优缺点。指出了自主空战决策的研究应立足现有相关方法及技术基础，同时积极吸纳机器学习、人工智能等新兴技术，合理利用各类方法的优点，取长补短，实现自主空战决策的长足发展；有关于该研究设想的关键科学问题及其潜在解决方案也在文中进行了初步讨论。希冀基于针对自主空战决策研究框架及实现方法的概念性讨论，促进其技术发展，推广相关思路在有关国家安全、国民经济建设等领域的应用，以满足国家重大需求和工程实践。     

基于等倾角进动的自旋卫星姿态控制方法

姿态控制是自旋稳定卫星控制的基本任务之一,其控制方法有多种,本文主要针对等倾角法进行研究。首先介绍等倾角法姿态控制的基本原理,然后详细地给出姿态控制前需确定的理论执行角、实际执行次数和时延等控制量的具体计算方法,最后进行了姿态机动仿真控制。仿真结果表明,控制量的计算结果准确,控制过程的预测结果与实际控制过程一致。此方法已在多颗自旋卫星发射中得到应用和验证。     

抓持接触力的空间分解及计算

机器人灵巧手抓持和操作物体所需要的力来自手指与物体之间的接触力。本文在静力学范围内研究对于给定的抓持和操作任务，如何简便、有效和最优地确定抓持接触力。首先将接触力空间分解为４个互补子空间，用于空间的维数判别可控与不可控接触内力。继而提出一种确定各子空间基的简单方法，将接触力分解为４个分量，并将其写成物理所受外力和手指关节力矩之间的显函数，达到减少最优变量和保证优化结果可实现的目的。文中用两个数值算例显示了方法的简便和有效。