关于Farkas定理证明中的一点注记

著名的Farkas定理在数学规划中起着一个重要的作用。当使用凸集分离定理来证明Farkas定理时,首先要证明集合 X={y|y=Ax,x≥0},其中A是一个M×n的矩阵,是一个闭凸集。但是它的闭性证明是复杂的(见参考文献[1])。在本文中,我们对它的闭性给出一个初等的、简单的证明。     

巡航导弹在试射中再次坠毁

美联社加利福尼亚,穆古角七月三十一日消息:据官方报导,一枚从加利福尼亚海岸水下潜水艇上发射的巡航导弹星期四在内华达州预定的靶场接近目标处坠落。根据穆古角太平洋导弹试验中心的声明,这枚导弹没有造成人员伤亡或设施损坏。海军的这枚“战斧”巡航导弹是美国“犁头鲛”潜水艇从在水下发射的,在圣克利门蒂岛附近出水。消息说,导弹在水面上完成了一系列复杂的动作,然后继续飞越陆地,向着位于拉斯     

枝晶生长中的对流效应与形态选择——地基实验研究

通过在生长界面前区域创生液相流动,研究了在稀薄合金中对流对强制性枝晶生长的作用。本文首次报告了对流对强制性枝晶生长的影响。SCN—Acc.模型合金中的定量实验表明,枝晶生长的动力学和形态是温度梯度、生长速度和枝晶端前沿液体流动速度的函数。作为以地面为基础的实验研究,将有助于理解太空凝固试验的结果。     

火星探测器捕获段自适应卡尔曼滤波方法

天文导航是一种广泛应用于深空探测任务中的节能、高效的导航方式。基于轨道动力学模型和星光角距的卡尔曼滤波方法已经被成功应用在天文导航系统中。在捕获段由于探测器所处动力学环境复杂,未建模的加速度误差,星历误差等都会造成过程噪声统计特性不完全。针对以上问题,提出一种根据新息和残差序列的变化趋势来调节过程噪声协方差阵的自适应平方根容积卡尔曼的方法（AQSCKF）。该方法先分别利用新息和残差计算调节因子,然后判断新息和残差的变化趋势,当新息和残差的变化趋势一致时,取二者调节因子的均值作为过程噪声方差阵的调节因子,对其进行调节。此外,本文还将该方法与传统的只利用新息或残差在线调节协方差阵的平方根容积卡尔曼滤波（SCKF）方法进行对比,仿真结果表明,在解决由于过程噪声统计特性不能完全已知的问题上,AQSCKF算法不仅能显著提高导航精度,并且具有很好的稳定性。     

面向边缘计算的数字化车间制造数据实时融合方法

针对当前数字化车间制造数据冗余性高、传输协议不一致的问题,提出一种面向边缘计算的车间数据实时融合方法。首先,围绕边缘计算思想,建立基于物联网的车间数据实时采集体系架构;其次,借鉴证据理论,以一致性检测和归一化后的数据为基础,提出互支持度进行证据转换,并引入改进的证据组合规则获得融合数据,减少设备端上传的数据量,减轻传输网络的传输压力;然后,以OPC UA信息模型为基础,构建协议转换所需配置的信息层次结构模型,以可视化配置的形式完成协议转换,为车间数据提供统一的传输接口;最后,以某航天制造车间总线控制台为验证对象,验证了所提方法的有效性。     

射流管伺服阀前置级压力特性

为分析射流管伺服阀射流管喷嘴高压射流区的特性,建立了射流管伺服阀前置级数学模型,得到了射流管偏移值、射流管喷嘴半径和接收孔半径对接收器压力分布、喷嘴出口流速及接收器的左右孔恢复压力的影响规律.流场分析发现射流管喷嘴的高速射流出口处容易产生旋涡,且存在环状负压效应.结果表明:高压射流状态下,射流管喷嘴半径增大,恢复压力增加;接收孔半径增大,恢复压力降低.接收孔半径与射流管喷嘴半径之比的最佳取值区间为[1.3,1.5].当射流管偏移值增大时,在偏移值增大一侧,射流管与接收孔之间的有效流体接收面积增大,射流管与接收孔之间的流体旋涡扩大,内部流场环状负压效应增加,接收孔恢复压力降低.      

星载SAR轨道及姿态误差模型分析

平台轨道及姿态误差模型是星载SAR数据模拟及相应的模拟系统的关键组成部分。简要分析了机载SAR和星载SAR的差异,重点对星载SAR的平台轨道及姿态模型进行了分析,最后对星载SAR回波信号仿真方法进行了分析。