完备度量空间上的不动点定理

1922年,Banach证明了压缩映射的不动点的存在性。不动点理论对于解决一些实际问题诸如代数方程、微分方程、积分方程中都有应用。B ranc iari[1]提出了完备度量空间上的边值压缩,并证明了边值压缩映射的不动点定理。本文给出了完备度量空间上的三个不动点定理,推广了B ranc iari[1]中的结果,并且举例说明本文的结果是对Banach压缩定理的推广。     

飞机敏捷性与空空导弹攻击区综合研究

基于飞行力学与控制,导弹制导与攻击区,计算机仿真等理论和技术,针对飞机的三轴方向提出了一种敏捷性矢量的估算方法,建立了求解攻击区的弹道方程组,并利用二分法求解导弹攻击区,通过数值计算求得两种情况,（即无敏捷性载机地敏捷性目标,敏捷性载机对无敏捷性目标）下空空导弹攻击区,并对计算结果进行了分析,得出飞机敏捷性对导弹攻击区和影响规律和最优攻防策略,为空战决策和新型飞机的预研设计提供了参考。     

Structure-aware fusion network for 3D scene understanding

In this paper, we propose a Structure-Aware Fusion Network(SAFNet) for 3D scene understanding. As 2D images present more detailed information while 3D point clouds convey more geometric information, fusing the two complementary data can improve the discriminative ability of the model. Fusion is a very challenging task since 2D and 3D data are essentially different and show different formats. The existing methods first extract 2D multi-view image features and then aggregate them into sparse 3D po...     

适用于航天软件开发的可靠性度量

介绍了软件可靠性和软件度量的概念 ,阐述了航天控制软件的特点 ,提出了可靠性度量的选择准则 ,推荐了 14种适用于航天控制软件的可靠性度量     

Investigation Into Cost-Effective Propulsion System Options for Small Satellites

The paper summarizes research into cost-effective propulsion system options for small satellites. Research into the primary cost drivers for propulsion systems is discussed and a process for resolving them is advanced. From this analysis, a new paradigm for understanding the total cost of propulsion systems is defined that encompasses nine dimensions – mass, volume, time, power, system price, integration, logistics, safety and technical risk. This paradigm is used to characterize all near-term propulsion technology options. From this effort, hybrid rockets emerges as a promising but underdeveloped technology with great potential for cost-effective application. A dedicated research program was completed to characterize this potential. This research demonstrated that hybrid rockets offer a safe, reliable upper stage option that is a versatile, cost-effective alternative to solid rocket motors. Finally, an innovative technique was derived to parametrically combine the diverse cost dimensions into a useful, quantifiable figure of merit for mission and research planning. Overall, it is shown that the most cost-effective solution is found by weighing all options along the nine dimensions of the cost paradigm within the context of a specific mission.     

过载极曲线及其在比较飞机机动性中的应用

战斗机机动性是其性能指标的重要组成部分之一，在评估战斗机作战能力和设计方案中经常使用，与传统性能评估指标相比，过载极曲线在一张图上综合反映了飞机的机动特性，因此更加直观和易用，讨论了过载极曲线，稳定盘旋过载包线的原理，计算过程及其在评估，比较飞机机动性方面的应用，并与传统机动性指标进行了对比，计算并比较了一架典型的第二代战斗机和一架典型第三代战斗机的过载极曲线。     

飞机敏捷性尺度计算方法研究

利用非实时，非线性六自由度仿真软件，对战斗机瞬态敏捷性评估中有关尺度的计算方法进行了探讨。仿真所用的数学模型包含了典型的数字式飞行控制系统，伺服作动器，大迎角气动特性及发动机推力与减速板阻力的动态模型，最后对扭转敏捷性，俯仰敏捷性和轴向敏捷性的计算方法分别给出了简要的研究结论。     

ATM网络中数据加密方法研究与实现

分析了ATM网络涉及的安全问题和所面临的威胁，探讨了ATM网络中数据加密方法、密码同步方法，提出了高速数据加密的实现方法。     

我国无地面控制点摄影测量卫星相机

文章简要介绍了中国以无地面控制点为条件的卫星摄影测量相机系统的研制历程,包括第一代、第二代返回式摄影测量相机和新一代传输型摄影测量相机,并简要分析了在无地面控制点条件下所能达到的制图精度.返回式摄影测量属静态摄影,图像几何精度高,可以建立无扭曲的立体模型,但易受到云的影响且时效性差.传输型摄影测量属动态摄影,常采用两线阵或三线阵CCD相机,基高比容易达到1,但需解决如何建立无扭曲的立体模型,目前提出线阵一面阵混合配制方案,即Line-MatrixCCD相机形式(LMC-CD),可以较好解决这一问题.     

一种新的捷变频雷达热跟精度测试仪的实现方法

在叙述捷变频雷达的本振跟踪精度重要性的基础上,介绍了基于声波延迟线的捷变频雷达热跟精度测试仪的实现方法。通过对其原理性能进行分析提出实现方法。经过工程实践的检验,此方法是可行的,且对本振跟踪精度的测量可达到1MHz,在该技术领域处于国内先进水平。