一种源源编译控制流优化方法

源源编译器是一种对源代码进行重构和分析的工具,在程序设计语言研究领域有着广泛的应用。给出了一种源源编译的控制流结构优化方法。方法结合编译结构分析,对于可化简合并的典型控制流结构,进行结构分析;经数据流分析满足优化条件后,实现基本块的合并。优化后程序的结构更加清晰,可读性更好。方法在SUIF编译器上实现,经使用Olden基准测试程序试验,有效提高了源代码的翻译质量。     

Variations of flutter mechanism of a span-morphing wing involving rigid-body motions

The present paper aims to reveal the significance of rigid-body motions for the flutter mechanism of a span-morphing wing model. The inclusion of rigid-body motions into aeroelastic formulation and flutter analysis is presented. A state-space aeroelastic equation combining the dynamics of stepped Euler-Bernoulli beam with unsteady strip aerodynamic theory is developed by quasi-static modeling. Using a numerical example, variations of flutter mechanism from the bending-torsional flutter to the body-freedom flutter are observed as the span increases. In addition, effects of some dimensionless parameters on the variations of flutter mechanism are investigated. The investigated parameters belonging to the fuselage have limited influences on the bending-torsional flutter but a significant impact on the body-freedom flutter.     

大气偏振光导航技术

为克服现有导航技术在战场应用中存在的不足,借鉴生物光学导航机理,开发新的导航方式,是未来导航技术研究的一个重要发展趋势。本文对自然界中的昆虫光学导航机理进行了介绍和分析,并对大气偏振光导航的发展趋势进行了探讨,提出了大气振光导航技术发展过程中需要解决的关键问题。     

航天器新型高密度排插型DC10电缆安装技术

以互联网卫星上首次使用的新型高密度排插型电缆组件为研究对象,介绍了集成式排插型电连接器的制造技术要求和工作原理,从电连接器结构分析出发,研究影响该类型电缆的安装因素。首次提出了新型高密度排插型电缆的安装方法,阐述了该类型电缆的弯曲半径要求、绑扎要求、紧固力矩值要求和使用专用工装的拆卸方法。经过分系统的实际在轨性能测试验证,该安装技术可以显著降低新型高密度排插型电缆组件在大通量、高饱和度信号传输状态下性能下降的现象,成功解决了该类型电缆在卫星狭小空间下的安装与拆卸难题,提高了该类型电缆在卫星狭小空间内的安装精度和分系统的在轨可靠性,为该新型高密度排插型电缆组件的安装在后续卫星批量应用提供了技术指导和工艺基础。     

基于广义相对论的轨道摄动下星间激光相位比对

针对纳米到皮米量级星间激光测距,在地心非旋转坐标系(GCRS)下,考虑卫星轨道摄动引起的广义相对论效应,建立了星间单向以及双向星间激光相位比对模型.通过仿真研究了地球主引力场范围内轨道摄动引起的广义相对论效应对星间激光相位比对误差的影响,并通过星间激光相位比对误差计算星间激光测距误差.不同轨道高度的卫星仿真结果表明,对...     

高超声速飞行器末端导引与控制一体化研究

针对高超声速飞行器末制导阶段参数不确定性和耦合性强的特点,提出了导引与控制协调的一体化设计思路,建立了非线性受扰动的导引与控制一体化控制模型。结合自适应比例导引律特点,通过分段对模型简化,降低了控制律的设计难度。针对气动模型非线性不精确问题,给每段设计了鲁棒自适应BackStepping滑模控制器,再将各段控制律在时间上融合。针对控制回路饱和与延迟特性,提出一种将导引指令缩放和相位提前的修正方法。仿真结果表明,所提方法可行有效,鲁棒性强。     

“嫦娥二号”卫星CCD立体相机的关键技术

文章介绍了中国两次绕月探测中 CCD 立体相机所采用的技术与创新,并与国际同类相机所获取的图像进行了比较;在此基础上详细介绍了“嫦娥二号”(CE-2)卫星CCD立体相机的综合创新集成技术--“单镜头两视角同轨立体成像、时间延迟积分图像传感器（TDICCD）推扫、速高比补偿”,并从工程目标与科学目标出发进行探测灵敏度及成像动态范围的需求分析;根据需求分析确定了总体技术方案,包括光、机、电的优化设计以及对月探测中首次采用TDICCD的技术困难与对策;特别讨论了速高比补偿的方案及实施途径,并进行了在轨试验验证。文章最后分别给出了虹湾地区成像分辨率为1.3m以及全月面分辨率为7m 的代表性图像,图像清晰、层次丰富,显示出中国在对月立体成像技术上取得了显著进步。     

国外海洋盐度与土壤湿度探测卫星的发展

文章调查研究了国外海洋盐度与土壤湿度探测卫星发展情况、探测机理;重点对SMOS、Aquarius、SMAP等三颗最具代表性的土壤湿度和海洋盐度探测卫星进行了研究分析,比对了三颗卫星的主要技术指标,并总结了其技术发展特点和关键技术;最后结合我国技术基础对发展我国盐度与湿度卫星提出了建议。     

建筑消防安全疏散设计方法研究

建筑消防疏散至关重要，直接关系到火灾情况下人员的安全。较为系统地介绍了常用的依据规范的安全疏散设计方法和性能化安全疏散设计方法的基本思想和设计程序，比较分析了两种方法各自的优缺点，对于实际安全疏散设计中合理地选择疏散设计方法具有一定的指导意义。     

导弹轨控喷流气动干扰全空域插值方法研究

导弹侧向喷流气动干扰受海拔高度影响显著,主要原因在于雷诺数和压力比会随海拔高度的变化而变化。受大气参数的影响,雷诺数和压力比的变化规律并不一致。为能在现有气动模型基础上既保证插值精度又减少节点数,通过数值模拟方法研究了雷诺数和压力比对轨控喷流气动干扰的影响。结果表明:海拔高度对喷流气动干扰的影响主要由压力比变化造成,雷诺数变化产生的影响相对较小,且喷流干扰与压力比间存在一定的线性关系。因此,提出了一种基于压力比的喷流气动干扰插值方法。相比于传统的基于高度的插值方法,该方法可显著提高插值精度,并减少节点数,适用于全空域轨控喷流气动建模。