软件漏洞模糊测试的关键分支探索及热点更新算法

在软件开发及应用中,由于具有可复现性,模糊测试能够帮助发现漏洞和有针对性地对漏洞成因进行分析。为了解决模糊测试过程的效率及测试力度等问题,提出了软件漏洞模糊测试的关键分支探索及热点更新算法。该方法通过捕获、分析和利用受检程序在处理测试用例时的执行位置的关键信息,以指导模糊测试过程的探索方向和测试用例的生成。实验结果表明,提出的方法相较于传统随机发散的模糊测试方法在漏洞发现能力上有较大提升,在Otfcc、Swftools等14个开源程序中发现了100余个未被公布的漏洞,为模糊测试用于软件漏洞检测提供了新的可靠途径。     

炮塔加热过程数学模型与计算机仿真研究

通过对炮塔热处理加热过程的分析研究,取局部最大壁厚处作为二维非稳定态传热问题进行离散化处理,建立了工件加热过程显式有限差分仿真模型。并对计算机仿真结果与实测数据进行了比较验证。     

Objective Information Theory Exemplified in Air Traffic Control System

Information is the core of Air traffic con-trol system (ATCS).In this paper,objective information theory is extended to depict,model and measure the information exemplified in ATCS.The sextuple model is presented with information ontology,state occurrence time,state set,carrier,reflection time,and reflection set.The metric system is given to quantitively measure the information with extensity,detailedness,continuity,richness,containability,delay,pervasiveness,authenticity,and adaptability.The results show that the proposed method is potential to find out actual indexes in ATCS for flight safety.     

Rapid growth of angle-confined large-domain graphene bicrystals

In the chemical vapor deposition growth of large-area graphene polycrystalline thin films,the coalescence of randomly oriented graphene domains results in a high density of uncertain grain boundaries (GBs).The structures and properties of various GBs are highly dependent on the misorientation angles between the graphene domains,which can significantly affect the performance of the graphene films and impede their industrial applications.Graphene bicrystals with a specific type of GB can be synthesized via the controllable growth of graphene domains with a predefined lattice orientation.Although the bicrystal has been widely investigated for traditional bulk materials,no successful synthesis strategy has been presented for growing two-dimensional graphene bicrystals.In this study, we demonstrate a simple approach for growing well-aligned large-domain graphene bicrystals with a confined tilt angle of 30° on a facilely recrystallized single-crystal Cu (100) substrate.Control of the density of the GBs with a misorientation angle of 30° was realized via the controllable rapid growth of subcentimeter graphene domains with the assistance of a cooperative catalytic surface-passivation treatment.The large-area production of graphene bicrystals consisting of the sole specific GBs with a tunable density provides a new material platform for fundamental studies and practical applications.     

Sn及其氧化物超微粉的制备与测试

本文采用气体蒸发法制备出粒度不到５ｎｍ的Ｓｎ及其氧化物的超微粉。利用热重，差热分析和Ｘ射线衍射谱等测试方法研究了热处理制度对其粒度，成份和气敏特性的影响，发现了ＳｎＯ_２正交相的存在。     

炼厂气脱硫系统的流程设置

分别介绍了炼厂气脱硫化氢装置的一般流程、多脱硫系统脱硫化氢流程、先进模式的炼油厂脱硫化氢系统,分析了这些流程的特点和适用场合,指出为降低投资,节省操作费用,减小操作难度,在新建或大规模扩建的炼油厂中,应采用先进模式的炼油厂脱硫化氢系统.     

Influence of the copper ion on aging rate of oil-paper insulation in a power transformer

To identify the influence of copper ion on the aging rate of oil-paper insulation, accelerated thermal aging experiments on oil-paper insulation were designed and performed at two significant temperatures. A set of characteristic parameters, including dissolved gases, degree of polymerisation, furfural content, water content and acid number of oil, was tested. The experiments- results reveal that copper ion has a different influence on insulation paper and oil during the aging process of the insulation system. On the one hand, it delays the degradation of insulation paper, reducing the ratio of CO₂/CO by about 11% at 80%C and by more than 50% at 130%C. On the other hand, copper ion promotes the oxidation of oil and thus accelerates the aging rate.     

Ultrasensitive aptamer-based multiplexed electrochemical detection by coupling distinguishable signal tags with catalytic recycling of DNase I

This work reports an aptamer-based, disposable, and multiplexed sensing platform for simultaneous electrochemical determination of small molecules, employing adenosine triphosphate (ATP) and cocaine as the model target analytes. The multiplexed sensing strategy is based on target-induced release of distinguishable redox tag-conjugated aptamers from a magnetic graphene platform. The electronic signal of the aptasensors could be further amplified by coupling DNase I with catalytic recycling of self-produced reactants. The assay was based on the change in the current at the various peak potentials in the presence of the corresponding signal tags. Experimental results revealed that the multiplexed electrochemical aptasensor enabled the simultaneous monitoring of ATP and cocaine in a single run with wide working ranges and low detection limits (LODs: 0.1 pM for ATP and 1.5 pM for cocaine). This concept offers promise for rapid, simple, and cost-effective analysis of biological samples.