基于关键点的混合式漏洞挖掘测试用例同步方法

混合式漏洞挖掘利用模糊测试和符号执行相互协作以达到优势互补的目标,测试用例的同步是相互协作的关键。然而,现有混合式漏洞挖掘技术方案中,测试用例同步是主要以交换和整合的方式实现,较为单一,忽略了程序状态探索时的运行时信息,对符号执行的执行过程没有充分利用。针对上述问题,本文提出了一种基于程序关键点的测试用例同步方法,旨在分析挖掘符号执行的执行过程,定位与识别代码覆盖率导向的程序关键点,进而指导模糊测试的测试用例调度与变异过程, 实现更细粒度的测试用例同步。首先,该方法在符号执行过程中识别模糊测试模块难以触及的分支对应的变量集合,并将其提取为程序的关键点。其次,为了充分利用符号求解的结果,该方法将单次求解得到的关键点信息进行进一步组合匹配,以帮助符号执行模块额外生成更多能够被模糊测试模块导入的测试用例。最后,在模糊测试模块中,该方法在种子挑选步骤中优先选择包含关键点信息的测试用例去引导测试过程探索程序的特定区域,并在测试用例变异中着重对关键点位置进行变异以引导其产生能覆盖新代码分支的测试用例。基于混合式漏洞挖掘工具QSYM,本文实现了一个原型系统Sol-QSYM,并选取了12个真实程序进行了实验评估。实验结果表明Sol-QSYM可以提升12.73%的测试用例成功导入率,相较于QSYM提升9.07%的代码覆盖率,并能够发现更多的程序crash。这些结果表明改进后的测试用例同步方法可以很好地提高混合式漏洞挖掘对符号执行中程序状态探索结果的利用率。     

基于UTC(NTSC)的时间频率远程校准与溯源研究

中国科学院国家授时中心保持的协调世界时UTC (NTSC)性能居于国际前列.基于该条件及GPS共视时间传递技术,提出了时间频率连续比对方法并根据此方法研制了时间频率远程校准系统,用于实现远程用户时间频率校准及向UTC(NTSC)的高精度溯源.首先,阐述了时间频率远程校准系统的设计思想和框架,并对远程用户通过该系统向UTC(NTSC)实现时间频率溯源的过程进行了分析;然后,对系统的时间不确定度和频率不确定度进行了估计.分析结果说明,系统的合成扩展时间不确定度优于14 ns,合成扩展频率不确定度优于2.6×10-13,可较好的完成远程用户向UTC(NTSC)的高精度溯源.     

DG1036/18.2-Ⅱ4型燃煤锅炉NOx排放特性试验分析

通过采用燃烧优化技术进行江苏华电扬州发电有限公司330 MW机组DG1036/18.2-Ⅱ4型燃煤锅炉氮氧化物NOX排放特性试验,大大降低了锅炉NOX的排放浓度。分析了锅炉效率和NOX排放量与电站锅炉运行参数的关系,确定了锅炉低NOX运行方式,用于指导锅炉的高效低NOX的运行。     

基于移峰填谷的排水泵站优化调度研究

采用改进的动态规划算法对定速泵排水泵站的优化调度问题进行求解,考虑了峰谷分时电价制度对电费的影响,以一座配有两台定速泵的排水泵站为例,首先建立了该泵站的物理模型和动态规划模型,然后构造了改进动态规划算法并详细分析了该算法的主要思想和求解算法时的编程思路,最后计算出了双泵控制下的最优启停控制序列和优化结果,并将该结果与传...     

Shut-cut nitrification characteristics of aerobic granule in a sequencing batch airlift reactor at low temperature

To investigate the shut-cut nitrification characteristics of aerobic granule,an aerobic granular sequencing batch airlift reactor(AG-SBAR) was carried out with mixed carbon sources of sodium acetate and glucose at 10±1 ℃.Results indicated that ammonia oxidizing bacteria was accumulated inside the aerobic granules and the reactor performed stably with shut-cut nitrification for a long term at low temperature.During the stable operation period,the effluent ammonia nitrogen concentration was maintained at 13.6 mg/L without nitrate and nitrite when the COD/N ratio was 20:1.However,the effluent concentration of ammonia nitrogen was below 0.5 mg/L with effluent nitrosation ratio of 96.7% on average when the COD/N ratio was reduced to 15:1 and 10:1.And the effluent phosphorus concentration was less than 0.4 mg/L during the stable period with the sludge retention time of 30 d.The phosphorus removal efficiency was not strongly influenced by the adjustment of COD/N ratio in this experiment.The removal efficiencies for COD,NH4+-N and PO43--P were 91.3%-94.6%,97.9%-99.7% and 97.1%-99.5%,respectively.     

基于惯性传感器的工业机器人定位误差补偿方法

为了提高工业机器人定位误差补偿和稳定性控制能力,提出基于惯性传感器的工业机器人定位误差补偿方法,结合视觉传感器与惯性传感器信息融合的方法,进行工业机器人定位控制的约束参数分析,采用惯性传感器进行工业机器人定位参数信息采集和识别,提取工业机器人定位参数的空间分布信息特征量,通过光学运动跟踪识别的方法进行工业机器人定位过程...     

智能变电站继电保护二次安全措施规范化的建议

目前,我国加快了智能变电站的建设步伐,随着智能变电站投运数量的增加,继电保护作业方式正发生根本性变化,二次系统内工作时的安全性也越来越受到重视。从智能变电站基本结构出发,对比智能变电站数字化保护与常规微机保护结构上的区别,分析传统二次安全措施向智能变电站二次安全措施产生的变化,重点探讨智能变电站继电保护二次安全措施的具体实施方法。最后对智能变电站继电保护二次安全措施规范化提出几点建议。     

稳定化处理对Cu-10Ag-0.04Ce原位纳米纤维复合材料的组织及性能的影响

采用透射电子显微镜研究了Cu-10Ag-0.04Ce原位纳米纤维复合材料加工态和不同热处理状态的显微结构。加工态的Cu-10Ag-0.04Ce的显微结构为:富Ag相呈纤维分布在铜基内,粗大的Ag纤维尺寸大于50nm,而细的Ag纤维尺寸小于30nm。在200℃时,显微结构没有明显的变化;在300℃时,少量Ag纤维开始出现球化;400℃时开始出现不连续的Ag沉淀,局部出现再结晶现象;在500℃时材料发生明显的再结晶,晶粒开始长大。结果表明小于300℃时材料的性能是稳定的。     

高炉渣资源化循环利用现状及新途径

简要介绍了高炉渣的化学成分及高炉渣循环利用研究现状,指出高炉渣综合利用中存在的一些问题,并提出了循环利用高炉渣的最新途径,即用其作为主要基料研制中间包覆盖剂、用作覆砂材料等。     

多通道生物磁感应断层成像硬件系统

分析了生物磁感应电阻抗断层成像的关键技术。根据其成像原理,找到一种适用于磁感应成像的高精度鉴相方法。设计并实现了稳定的程控激励源和弱信号检测电路,完成了一个16通道的磁感应断层成像硬件系统。进行了初步的均匀电导率物理模型成像实验,应用磁感应断层成像重建算法得到了初步的成像结果。实验结果表明：对于电导率接近生物组织的被测目标,可以用磁感应方法进行非接触的成像。在硬件方面,鉴相精度和系统的稳定性是决定成像质量的重要因素。