面向二进制程序的导向性模糊测试方法

为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题，提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首先对目标二进制程序进行静态分析来筛选在模糊测试过程中阻碍样本文件深入程序内部的比较指令；随后对目标文件进行插桩来获取比较指令中操作数的具体值，并根据该具体值为比较指令建立实时的比较进度信息，通过比较进度衡量样本的重要程度；然后基于模糊测试过程中实时的路径覆盖信息为经过稀有路径的样本增加其被挑选进行变异的概率；最后根据比较进度信息并结合启发式策略有针对性地对样本文件进行变异，通过变异引导提高模糊测试中生成能够绕过程序规约检查的有效样本的效率。实验结果表明，所提方法发现crash及发现新路径的能力均优于模糊测试工具AFL-Dyninst。     

一种低密度奇偶校验码矩阵的设计方法

提出一种以硬件实现的各种条件为约束设计准循环的低密度奇偶校验码的校验矩阵方法,以简化硬件结构,采用行列交换及寻找最大平均环提升译码性能的方法。设计码长为1200的校验矩阵,对该矩阵的译码电路进行RTL实现,采用SMIC0.13μm标准CMOS工艺综合实现660Mb/s吞吐率,面积为3.1mm2,以该方法设计的矩阵可用于实现低复杂度的LDPC译码电路。     

TM1 在设计实现销售渠道报表系统的应用

销售渠道报表在企业应用中十分广泛,这类报表产生时普遍存在数据采集困难、报告格式单一、数据冗余和数据利用效率低等问题。为了解决这些问题,以实际项目为背景,借助IBM Cognos TM1工具设计并部署了一个销售渠道报表系统。重点研究了通过不同的数据采集模板,结合多种数据来源和数据展现设计了一个完整的数据模型,提供了灵活的报表格式以及如何根据不同的条件动态产生报表。经企业实际数据验证,该系统运行稳定,减少了报表制作过程中的人力和物力,充分挖掘了数据本身的潜在信息,大大提高了数据的利用率。     

数据驱动视角下飞机故障预测与健康管理系统设计及验证

由于故障预测与健康管理系统(PHM)是涉及多层次、多领域、耦合度高的复杂系统,很难从整体对PHM系统进行设计和验证,所以始终没有成熟的工具和方法;从数据驱动的视角,研究了飞机PHM系统设计及验证;以数据为主线,采用了4种方法实现PHM系统设计及验证:1)采用系统建模语言(SysML)进行PHM系统的架构设计;2)采用基于事件的方法将被观测系统的行为状态化,实现PHM系统中资源的充分利用,降低局部的资源压力;3)采用基于模型的推理方法,实现了系统状态模型的应用;4)采用多线程、异构能量耦合等方法定义了一个PHM仿真框架,并在该框架指导下开发了一个仿真环境,并针对机载配电系统设置了几种测试用例进行诊断推理,对提到的各种方法进行了验证;研究结果表明,上述方法是合理有效的,可以构建描述完整、资源均衡的PHM系统架构。     

组合支护方式在大连地区深基坑支护中的应用

大连地区的土层结构较为复杂,在实际工程施工过程中,经常采用组合支护方式。在某工程中,通过进行对于两种情况下的基坑稳定性计算、支护方案设计以及后期施工效果的观测,验证了人工挖孔桩与劲性桩相结合、管式锚杆与锚索相结合、挂网喷射混凝土的联合支护方式对于复杂土层结构的深基坑支护具有良好的效果,是组合支护方式在大连地区深基坑支护中的成功应用。     

振动磨混合时间对气体发生剂性能的影响研究

研究了振动磨不同研磨混合时间对安全气囊气体发生剂中各组分的混合均匀性和产品一致性的影响,此外,还通过气体发生剂与气体发生器匹配后进行的压力性能测试、火焰试验以及残渣试验,考查了振动磨研磨混合时间对气体发生剂性能的影响,为实际生产中振动磨研磨混合时间的确定提供了一定的参考依据。     

用压下法测定混有不同量未燃煤粉的高炉渣流动性

用压下法测定了混有不同量未燃煤粉的高炉渣的流动性．结果表明：活塞压下量的变化规律与炉渣粘度相关．压下量随温度升高而升高，随混入渣中未燃煤粉量的增加而降低．压下量增加，流动性变好．活塞压下量的变化可以定性判断混有不同量未燃煤粉高炉渣的流动性。     

邻苯二酚诱导的蓝莓花色苷偶合氧化降解

为了明确蓝莓花色苷在贮藏及加工过程中的降解途径,本文系统地研究了花色苷-多酚氧化酶（Polyphenol Oxidase,PPO）-邻苯二酚的偶合氧化反应机制,探讨了三者之间的量效反应关系。结果表明,邻苯二酚的酶促氧化生成醌类物质和花色苷与醌类物质的氧化反应是偶合氧化体系中主要的两类反应;花色苷的偶合氧化降解符合一级反应动力学模型;当体系中花色苷浓度为54 mg/L时,虽然花色苷的降解速率会随着邻苯二酚浓度的增加而增加,但当邻苯二酚浓度高于1.33 mmol/L时,邻苯二酚浓度的变化对花色苷降解速率影响逐渐变小;花色苷初始浓度越高,邻苯二酚氧化的速率越低,花色苷的降解速率也越低;而酶浓度的增加会导致花色苷的降解速率线性增加。本文结果可推断,在蓝莓贮藏及加工过程中,其组织中的PPO会与其酚类底物结合,产生相应的醌类物质,而这些物质再通过耦合氧化反应导致蓝莓花色苷降解,从而最终导致果实或者相关产品的褐变。且其褐变速率与组织中酶的活性、酚类底物以及花色苷含量都有密切的关系。     

石英—长石无氟浮选作用机理研究

本文以江西某铜矿为研究对象,针对该矿矿石性质,采用浮选工艺流程选别该矿石。在条件试验的基础上进行了小型闭路试验,获得了铜品位为21.73%的合格铜精矿,且铜的回收率高达98.21,所获选矿指标达到了先进水平。经技术经济分析,该铜矿选矿加工性质良好,具有良好开发利用前景。     

直馏柴油催化氧化脱硫均相催化剂的制备与评价

引　言柴油脱硫技术分为加氢脱硫和非加氢脱硫两大类[1]. 传统的加氢工艺能够满足柴油的低硫要求,但存在装置投资大、操作条件苛刻 (温度>300 ℃,压力>4 0 MPa, 需要氢源) 和操作费用高等技术经济问题. 非加氢脱硫技术在常温或低温、常压和无须氢源条件下操作已受到国内外广泛的重视, 得到很大的发展. 非加氢脱硫技术主要有吸附法[1,2]、萃取法[3,4]、络合法[5]、生物脱硫法[6]、H2O2 氧化法[7,8] 和催化氧化法[9], 其中 H2O2 氧化法已成为国内外的研究热点, 如美国 Petro star公司、日本 PEC、中国石油大学、洛阳石化工程公司等均在大…