关于非扩张映像的修正粘滞迭代格式

设H是Hilbert空间,X是Banach空间,C是H或X中的非空闭凸子集,T是C→C的非扩张映射,且f是C→C的压缩映射。受H．K．Xu对粘滞迭代算法讨论的启发,提出一种新的粘滞迭代算法,xn＋1=T[（1-αn）xn＋αnf（xn）],n≥0,其中x0∈C,C是Banach空间中的非空闭凸子集,分别在Hilbert空间和Banach空间框架下证明了序列{xn}是强收敛的。     

地磁暴期间中国中低纬电离层的CIT研究

利用电离层层析成像技术(Computerized Ionospheric Tomography, CIT)处理115°E子午圈附近6个台站的GPS观测数据, 分析了2004年11月地磁暴期间中国中低纬电离层的响应情况. 结果表明, 电离层呈正相扰动, 且不同高度上的响应不同, 800 km以下电子密度有不同程度的增加, 且在峰值高度附近增幅最大, 800 km以上地磁暴的影响并不显著; 伴随地磁能量的注入, 赤道异常峰极向扩展; 随磁扰强度的降低, 电子密度也逐渐恢复至平静水平. 这些结果与以往的理论和观测结果一致, 初步估计扰动是由热层暴环流引起的, 并受到赤道异常峰移动的影响.      

含有正态相关变量的多设计点/多失效模式情况下的方向抽样可靠性灵敏度分析

针对含有正态相关变量的多设计点/多失效模式系统的可靠性问题,提出了两种有效的基于方向抽样的可靠性灵敏度分析方法。可靠性灵敏度分析方法的基本思路是首先将正态相关变量进行等价独立标准正态变换,利用改进的方向抽样可靠性灵敏度分析方法得到独立标准正态空间的可靠性及灵敏度结果;通过复合求导法则,将独立标准正态空间的可靠性及灵敏度结果转化到正态相关空间,得到失效概率对相关正态变量分布参数(均值、标准差和相关系数)的偏导数,并对所推导的可靠性及灵敏度估计值进行了方差分析。与经典的MonteCarlo数字模拟法相比较,文中所列的数值算例和简单工程算例的分析结果验证了所提方法的可行性与有效性。     

PET型燃气发生剂热老化特性初探

采用单向拉伸、动态力学分析(DMA)、热重法-差示扫描量热法(TG-DSC)联用及热流微量量热计(HFMC)等表征方法,研究了PET型燃气发生剂的热老化特性。结果表明,随老化时间延长,该燃气发生剂最大抗拉强σm、高温段(α转变温度)储能模量E′增大,延伸率εm、损耗因子tanδ降低。TG-DSC实验发现,该燃气发生剂老化初期存在增塑剂损失,高温老化样品表面发黑和HFMC实验表明,可能存在以放热效应为标志的后固化和热氧化(炭化)反应。因此,除增塑剂挥发造成的物理老化外,热老化初期发生的后固化和热氧化(炭化)反应是PET型燃气发生剂力学性能变化的主要原因。     

NEPE推进剂/衬层粘接界面细观力学性能/结构研究

研究了不同组成的NEPE推进剂/衬层粘接界面细观力学性能和结构的差异,以及对应粘接界面贮存过程中粘接性能和破坏方式的变化规律,探索了粘接界面的细观力学性能、结构与破坏方式的内在关联,初步提出NEPE推进剂/衬层粘接界面失效模式。试验结果表明,粘接界面细观力学性能、结构与界面粘接质量相关,是影响界面失效模式的主要因素。粘接界面具有高模量、高硬度层,N元素含量高且有明显梯度变化时,粘接质量较好,发生内聚破坏,反之发生界面破坏或混合破坏;老化过程中,粘接界面的模量和硬度降低、N元素的含量明显降低决定粘接界面依次发生内聚破坏、混合破坏和界面破坏。     

星载降水测量雷达重频设计分析

文章讨论了星载降水测量雷达（SPR）重频设计要求和约束条件,并以GPMKuPR系统参数为例,研究了SPR重频设计的约束条件,提出和分析了几种重频设计方案。仿真结果表明一种自适应重频技术完全满足系统要求,并能获得最多脉冲积累数。     

基于不确定性的旋翼转速优化直升机参数设计

为了提高旋翼转速优化直升机总体参数设计质量,基于不确定性多学科设计优化方法,对旋翼转速优化直升机的参数设计进行了研究。首先对最优旋翼转速的不确定性进行分析与建模,同时也考虑了直升机加工制造、材料老化引起的不确定性因素,对比发现最优旋翼转速是旋翼转速优化直升机设计中的主要不确定性因素;然后在协同优化框架下,分别建立了直升机飞行性能、直升机重量、飞行稳定性与变转速涡轴发动机性能计算模型;最后以续航性能为系统学科,悬停性能、飞行稳定性分别作为子学科,进行多学科的不确定性优化设计,得到了3种不确定性优化设计方案。通过对比分析可以发现：第2种方案为旋翼转速优化直升机的最佳参数设计方案,该方案满足悬停需用功率低于350 kW,飞行稳定性指数小于0.8等约束条件的概率不低于95.46%,并且直升机的最大航时期望值也较大。     

基于编队控制的自适应HELLO更新算法

在无人机(UAVs)编队自组织网络中,针对无人机之间位置信息更新周期不合理,从而导致编队控制不稳定和控制开销过大的问题,提出一种基于无人机编队控制的自适应HELLO更新算法。该算法应用编队控制稳定性理论推导出无人机组成期望编队的控制延时上限,结合该延时上限和编队运动状态自适应地设定HELLO更新周期。仿真结果表明,本文提出的算法与固定HELLO更新周期算法相比,既能保证在组编控制过程的稳定性,又能实时维护稳定阶段的链路,并且显著减少网络中不必要的控制开销。      

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

反导多传感器协同任务规划综述

针对反导作战多传感器协同任务规划的相关问题,结合反导作战的特点,探讨反导作战信息处理过程与多传感器协同任务规划的关系,并分析多传感器协同任务规划的内涵;在此基础上,梳理出多传感器协同任务规划涉及的关键技术,并综述多源信息综合处理、多传感器协同部署、协同跟踪、协同引导和协同识别等关键技术的研究现状;最后就多传感器协同任务规划的发展提出一些建议。