南京禄口国际机场有瓣蝇类监测与控制技术报告

在2002年～2004年，我们对南京禄口国际机场蝇类种群分布和密度进行了监测，共捕获成蝇61139只，分属4科13属21种，其中丽蝇科金蝇属大头金蝇为最多，2002年、2003年、2004年分别占60％、59．56%和55．41％。通过综合预防控制，机场蝇类密度得到了有效控制，2002年～2004年平均密度分别为106．34、88．46和64．98只／笼。现将有关情况报告如下。     

乌兹别克对美国说“不”

2005年的夏天，西太平洋的上空天气格外多变，“海棠”和“麦莎”接踵而至，让人颇感山雨欲来风满楼的味道。与此同时，国际舞台上也可谓是风起云涌，大事不断。不可预知的事件不仅牵动着政治家的神经，也吸引了关注时事的看客。这其中，亚洲以它独特的地理位置和战略重要性无疑在这场舞台上扮演了令人难以忘怀的角色。首先是中国与印度建立战略合作关系，而后是中俄宣布军演，再而后是日本在亚洲遭到孤立。这几件事情都与美国似乎没有牵连，但哪一件美国都不能等闲视之。     

关于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回波信号仿真方法进行了分析。