MBDA为英皇家海军研制下一代防空系统

日前,MBDA宣布从英国国防部获得未来本地区域防空系统（FLAADS）演示验证阶段合同。按照这份4．83亿英镑的合同,MBDA将开发海军防空系统,名为海介体（SEACEPTOR）,以替代皇家海军23型护卫舰目前使用的垂直发射型海狼导弹。值得注意的是,海介体也计划作为后继26型全球战斗舰的主防空系统。     

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

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

LPV模型的动态压缩测量辨识算法

在解决线性参变（LPV）模型的辨识问题上,最小二乘算法以结构简单、计算复杂度低等优点被大量使用。但最小二乘算法辨识结果受制于计算精度和模型近似精度,而这两者在同一个系统中是互斥的。因此,该算法的辨识结果与真值总是存在一定的误差。另外,在高阶LPV模型辨识或采样成本高的情况下,一般模型参数要多于辨识数据,而此时最小二乘算法很难得到稳定的辨识结果。本文提出的动态压缩测量辨识（DCMI）算法从两个方面提高在该情况下的系统辨识精度。其一,利用“匀速变化”及“非匀速变化”模型表示参变函数,以提高模型近似精度。其二,利用压缩感知理论的欠采样能力,在同等数据量的情况下提高参数的计算精度、扩大模型的计算规模。仿真结果表明,基于“匀速变化”模型DCMI算法可以准确地辨识出LPV函数,而且该算法在辨识数据不足的情况下仍然能够获得稳定的辨识结果。      

基于N-S方程的尾迹面法翼型气动阻力计算

研究了计算翼型阻力改进的方法——尾迹面法及尾迹面积分的位置和相应的积分技术.在亚跨声速时分别采用了表面积分和尾迹积分求得给定翼型RAE2822的阻力.结果显示,2种方法具有相同的结果,表明尾迹面积分方法是有效的,与实验值吻合较好.尾迹面法中,尾迹面位置应处于离后缘相对弦长距离0.6~1.0之间.尾迹面积分方法中积分结果不依赖于物体的详细几何外形,可以预计对曲率变化大的三维复杂外形,该方法有更大的优势.      

喷丸对18％Ni型超高强度钢低周疲劳性能影响

对C250型18%Ni超高强度钢（C250钢）进行铸钢丸一次喷丸（单喷）和铸钢丸+玻璃丸二次喷丸（双喷）,研究喷丸前后的表面形貌、显微组织和低周疲劳性能的变化.结果表明,单喷后C250钢低周疲劳寿命提高了接近2.5倍,而双喷后试样疲劳寿命提高3倍.喷丸表面的亚晶粒细化是提高低周疲劳性能的主要因素,二次喷丸带来的平滑化效果进一步提高了低周疲劳性能.平滑化效果减小了表面应力集中程度,使经过双喷后试样疲劳断口为单源疲劳断口,而未喷丸试样和单喷试样的低周疲劳断口呈现多源疲劳状态.     

面天线检测数据处理方法的探讨

对面天线检测数据处理方法作了一些有益的探讨。从获取被测物的三维坐标后到获取真正有用的信息这一过程需要经过坐标转换和表面误差计算两个步骤 ,其中坐标转换是关键。在坐标转换方面 ,文中提出了曲面自由拟合、公共点转换和CAD面型转换三种方法 ,阐述了这些方法的数学模型 ,并且用实测数据进行了验证计算。理论分析和实际计算两方面显示 :CAD面型转换法既不需要天线的曲面方程 ,也不需要有已知的公共点 ,结果准确、可靠 ,是一种理想的方法 ;如果没有天线的CAD面型 ,但却存在公共点时 ,公共点转换法也是较理想的方法 ,其结果与给定的公共点误差有关 ;如果既没有天线的CAD面型又无公共点或公共点误差很大时 ,只能采用曲面自由拟合法 ,该法准确度最高 ,但容易使天线面型产生错位现象     

图象压缩技术的发展

图象压缩是信息领域发展中的关键技术之一,本文综述了图象压缩技术的发展,论述了各发展阶段的基本压缩原理、特点及主要实用方法的优缺点。对80年代后期新发展的分数维压缩方法的有关概念、方法及现状着重作了论述。分数维图象压缩方法与VLSI技术的结合,将会对未来的遥感、通讯、导航及一切与图象有关的领域产生重大影响。     

「掌上」小卫星

自从1957年10月4日苏联发射第一颗人造地球口星以来，随着科学技术的不断进步和发展，空间技术也取得了巨大的进展。人类不仅制造出了各种各样、功能各异的卫星，而且还建造了空间站、实现了载人航天。     

电离辐照诱发面阵电荷耦合器暗信号增大试验

针对电荷耦合器件(CCD)在空间轨道环境中应用时易受到辐射损伤的影响,对面阵CCD的电离辐照损伤效应问题进行了试验研究.首先,通过开展面阵CCD60 Co γ射线电离辐照效应试验,在暗场条件下测试了面阵CCD辐照后输出信号随积分时间的变化,并拟合计算出暗信号斜率.然后,对比分析了不同偏置条件下辐照后暗信号退化的试验规律;分析了不同偏置条件下辐照后暗信号的退火恢复情况;分析了不同积分时间、不同总剂量下的暗信号不均匀性的变化规律.最后,阐述了电离辐照损伤诱发面阵CCD暗信号增大的物理机制.结果表明:面阵CCD对电离辐照损伤很敏感,在进行航天器成像系统设计时,要充分考虑CCD受电离辐照损伤带来的影响.     

数控线切割三维直纹面直接刀补算法的研究

分析了四轴数控线切割机床所能加工的三维直纹面类型,以二维C型刀补为基础,根据各类型形状的特点采用了不同的刀补处理方法,分析了用二维刀补原则解决三维直纹面刀补的可行性,提出了一种不需将加工轨迹线形化的三维直纹面的直接刀补算法,指出了降低复杂直纹面刀补误差的措施。