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

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

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

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

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

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

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

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

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

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

基于Contourlet与HIS变换的SAR与多光谱影像融合方法

为了提高SAR影像的解译水平,本文利用Contourlet变换在影像表述上能够弥补小波变换不能有效捕捉二维空间实体的特点,提出了一种基于Contourlet与HIS变换的SAR与多光谱影像融合方法。实验选取了一组TM 多光谱影像与ERS-2 SAR影像进行融合研究,并将融合结果与基于HIS变换、DWT结合HIS变换融合方法的融合结果进行视觉比较与统计分析。结果表明,无论是目视比较还是统计分析,本文方法都很好的将SAR影像的空间细节与多光谱影像的色彩信息集成到了一起,显著地提高了SAR影像的解译水平,相对于基于HIS、DWT+HIS变换的融合方法获得了更好质量的融合影像。     

空间真空环境下密封电磁继电器的触点失效研究

密封电磁继电器有其固有的漏率,在应用于空间真空环境下由于气体泄漏使得其内部气体压力逐渐降低,导致继电器的触点在低气压环境下工作失效（负载切换时）。文章选择国产继电器样品对上述机理进行了试验验证,并对继电器内部气体压力与触点电弧失效的规律进行了研究。     

基于对象知识的级进模三维零件库设计

在模具设计制造方面,现有的研究成果有参数化法生成模具零部件、模具标准件库设计等,在级进模产品设计过程中,相关方面的研究却很少,所以设计初级进模三维零件库软件系统对于提高级进模数字化设计效率有重要意义。随着制造业信息化的发展,UG、Pro/E等具有参数化功能的三维CAD软件已广泛应用于模具产品的设计和制造中,这对提高模具的设计质量和效率起到了重要的促进作用。模具产品具有多类别、小批