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

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

A computational fluid dynamics investigation of a novel flooded-bed dust scrubber with vibrating meshOA

This work proposes a vibrating mesh screen as an alternative to the static mesh screen currently used in conventional flooded-bed dust scrubbers for removing airborne coal mine dust in the continuous mining environment. Fundamental assessments suggest that a vibrating screen may improve the dust collection efficiency of scrubber systems and mitigate the clogging issues associated with the conventional design.To evaluate this hypothesis, computational fluid dynamics(CFD) simulations were carried ...     

微机控制的感应电动机特性测试系统

采用单片机作为下位机,PC机作为上位机,联合组成了感应电动机特性的微机测试系统。单片机对被测电量波形进行同步采样,对被测电机的运行状态进行控制。PC机控制单片机的运行,对测量数据进行快速处理,打印试验报告,绘制图形曲线,实现了测试过程的自动化。     

The role of coping in the relationship between perceived racism and racism-related stress for Asian Americans: Gender differences.

On the basis of stress and coping theory, the authors examined coping as a mediator of the relationship between perceptions of racism and racism-related stress with a sample of Asian American college students (N = 336). Results indicated that coping mediated the relationship between racism and racism-related stress differentially by gender. The more that men perceived racism, the more likely they were to use support-seeking coping strategies that were associated with higher levels of racism-related stress. The more that women perceived racism, the more they used active coping strategies that were associated with higher levels of racism-related stress. The findings demonstrate how coping with racism differs for Asian Americans on the basis of gender. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Research on theory and key technology of trusted computing platform security testing and evaluation

Trusted computing has become a new trend in the area of international information security, and the products of trusted computing platform begin to be used in application. Users will not use the products of information security, unless it goes through the testing and evaluation. Here we concentrate on the testing and evaluation problem of trusted computing platform, begin with constructing proper formalization model of trusted computing platform for testing, and establish a mathematical chain of trust model...     

DH型离心空压机旋转失速故障诊断及治理

旋转失速是压缩机的常见故障 ,但诊断该故障时易和其他故障相混淆。本文从旋转失速的振动机理出发 ,归纳了旋转失速的故障识别特征。旋转失速的特征频率是成对出现的 ,随流量的减少而降低。该故障特征在现场诊断时得到验证 ,并成功应用于现场诊断     

Stochastic aspects of bridge deck aeroelasticity under turbulent flow

Returning to an earlier frequency-domain analysis of the problem of long-span bridge response to ambient winds, the paper emphasizes the indispensable experimental information necessary to bring results into conformity with full-scale prototype action. Focus is placed upon the use of a sectional wind tunnel model under simulated turbulent flow as the prime source of this information, which consists principally of the flutter derivatives and the spectra of the wind forces, both obtained under turbulent flow. The effect of three-dimensional turbulence upon the flutter derivatives is observed to influence structural stability in a manner consistent with that observed in full-bridge wind tunnel models.     

单片机控制的托辊阻力参数及加载测试仪硬软件系统研发

论述了托辊阻力参数硬件测试系统的组成及工作过程,进行了系统硬件的电气原理电路的设计和测试软件系统及数据处理应用程序的设计。     

仪器化冲击在评测断口剪切面积比例中的应用

根据示波曲线定量给出的特征载荷点分布关系，结合ESIS给出的评测夏比V型冲击断口剪切面积比例(PSF)经验公式，介绍了仪器化冲击试验在估算PSF数值中的具体应用。估算值与实际测量值所进行的误差离散性与置信区间的分析结果表明，选用合适的经验算法可以在试验过程中实时获得高度可靠的PSF结果。与常规光学手工评测技术相比，该方法不依赖于试验者的主观评测经验、不受特定客观试验条件的限制，具有广阔的应用前景，同时也为材料PSF评测以及动态断裂机理的研究提供了一套方便而有效的试验手段。     

基于TTCN-3的SIP协议软件测试方法研究

为了更加高效地测试基于SIP(session initiation protocol,会话初始协议)的应用软件,提出了一种通过执行TTCN-3抽象测试套来验证SIP应用程序正确性的新方法.简单介绍了SIP协议和TTCN-3,给出了基于TTCN-3的SIP协议软件测试的设计与实现方法,结合一个具体应用实例详细验证了该方法的可行性.该方法具有可重用、操作简单、执行快捷等特点.