程序脆弱性发现中的测试数据生成方法研究

为有效产生程序测试数据,提高Fuzzing测试数据的生成效率和测试覆盖率的问题,提出了一种新的Fuzzing测试数据生成算法--H-Fuzzing.其主要思想是通过程序静态分析结果和动态运行属性,收集程序关键分支谓词的相关信息,得到其与输入变量之间的关联关系,进而指导测试数据算法的收缩,达到能够在少量的随机输入产生过程中得到较高的测试覆盖率的目的.     

非刚性点集匹配的机载下视图像目标定位方法

机载下视目标定位在航空摄影和导航等领域有着广泛的应用,其定义为给定目标图像确定目标在参考图像中的位置。而机载下视目标定位中目标图像与参考图像之间存在的大尺度形变问题是有待攻克的难点问题,针对此问题本文提出了一种非刚性点集匹配的目标定位方法。首先,使用SIFT(Scale-Invariant Feature Transform)算法提取2幅图像的关键点,随机K-D树最近邻算法用于获得一致性关键点集;然后,使用K-means分类方法将一致性关键点集划分成多个子集,并在多个子集上使用随机采样微分同胚点集匹配方法确定空间变换模型,解决了大尺度形变问题;最后,通过SSD(Sum of Squared Difference)来确定最优目标位置。实验结果表明所提方法能够有效完成目标定位任务。     

基于 ＮＡＯ 机器人的行走约束研究

针对为了控制支撑脚与地面接触的零力矩点（ＺＭＰ）而无法控制骨盆与自由足的运动的问题, 以腿部１１个自由度的 ＮＡＯ 机器人为研究对象,在对 ＮＡＯ 机器人进行运动规划过程中必须适当考虑骨盆 与自由足的运动限制,采用了 Ｂｒｙａｎｔ角度进行限制和对骨盆的平移运动能够改善单支撑阶段的ＺＭＰ控制, 并同时合成骨盆的旋转运动,对自由足姿态实现全面控制。     

小波滤波在惯性测量组合误差补偿中的应用

为了补偿捷联惯导中惯性测量组件的误差,根据惯性测量组合中陀螺的动、静态误差在频率范围的不同分布,介绍了小波滤波的一般理论和方法,提出用一种利用最优低通IIR滤波器和小波滤波相结合的方法抑制惯性测量组合中陀螺静、动态误差.实验数据仿真结果表明,该方法有效抑制了陀螺噪声,提高了陀螺输出稳定性和使用精度.     

中波红外火情遥感的大气辐射传输特性

分析2005年在广西武鸣机场进行的人工火情测量试验中获得的由BOMEM MR-154FT高光谱仪测定的火情光谱特征发现:在中波4.34～4.76μm光谱段的辐亮度比火情遥感监测常用通道3.5～4.0μm有更强的响应关系.用模拟计算方法进一步分析了中波红外光谱的大气辐射特性.分别对中波波段主要的吸收气体(水汽、水汽连续、二氧化碳混合、二氧化碳、一氧化二氮、臭氧和气溶胶)影响辐射传输的情况进行模拟计算;选择中国内陆地区18种大气廓线样本和4种大气模型,分别进行辐射传输计算,获得了3～5μm谱段分谱大气透过率和大气程辐射等,并比较了新选择通道(4.42～4.78μm)与传统通道(3.55～3.95μm)在地面和传输到大气层顸后辐亮度的变化情况,为今后应用新探测通道奠定了基础.     

电动汽车电机用绝缘材料与变速箱油相容性研究

本文进行了油冷型电动汽车电机用绝缘材料漆包圆线、漆包扁线、浸渍树脂及橡胶密封材料与自动变速箱油（ATF）相容性的研究。在ATF中添加体积分数为0.5%的去离子水,根据耐热等级在155℃下开展4种绝缘材料与ATF的相容性试验。结果表明：漆包圆线、漆包扁线、浸渍树脂与ATF具有良好的相容性;所选用丙烯酸酯橡胶在试验过程中性能劣化明显,不符合密封材料性能要求。     

Analysis of factors of top coal caving in fully mechanized sublevel caving face in soft coal and control

According to the analysis of the mechanism of top coal caving, the caving condition was pointed out, and many factors of caving were also determined. Then the relationship between factors and caving was studied. Based on the above research, one effective method by using field monitoring was brought forward to determine the controlling factor. Then some related key technologies were provided, such as keeping the integrality of the top-coal, raising the horizontal resistance of supports and decreasing the real end-face distance etc.. At last one application of this method was presented, and it was proved to be an effective method.     

地震技术在亮中煤田勘探中的应用

地震勘探以其较小的经济投入而获得较大的经济效益和社会效益的特点,早已被煤炭生产和建设单位广泛认识。本文对此借助实例进行了分析,具有一定的借鉴意义。     

基于触媒理论的历史文化街区在地活化更新策略研究——以呼和浩特塞上老街及其周边地区为例

在城市精细化治理背景下,修缮历史文化街区再寻老城记忆、延续城市历史文脉具有重要的意义。然而在利益驱使下进行历史文化街区更新保护,过分追求商业价值,不尊重其在地文化价值,并且在地居民搬迁以及街巷肌理破坏使得塞上老街空间失落。本文借助触媒理论,通过对塞上老街及其周边地区的空间及街巷形态进行分析,提出打造以核心节点空间、驻足空间的物质触媒和以多目标导向、政策导向的非物质触媒的老街在地活化更新策略,以期在当今以旅游经济发展为目的的历史文化街区更新改造过程中,能最大化地延续老街历史文脉,保留其原来真实的城市烟火气,做到既保留历史记忆精华又能够与时代发展同行。     

飞来峡水利枢纽土坝安全监测系统技术改造

该文介绍了飞来峡水利枢纽大坝安全监测系统中土坝安全监测的改造、采用的新设备、新措施以及改造后的运行效果等,可为其他同类工程提供参考。