硅热法炼镁炉料吸湿性的研究

本文介绍了硅热法炼镁炉料－－煅白（即煅烧白云石）、球团（即煅白、硅铁按比例混合后压制成型的团块）在不同温度、不同相对湿度下的吸湿性。在试验所控制的条件下，煅白在２４小时内，于敞开系统中吸水率为１．６５％，密闭系统中吸水率为０．５３％；球团于敞开系统（球团装入牛皮纸装置于室内）中的吸水率为５．５１％，于密闭系统（装牛皮纸袋再装入密闭桶中）中的吸水率为１．０２％。试验结果表明，煅白的贮存时间应小于１２     

白盆珠水库流域下垫面变化的洪水响应研究

基于栅格分布式水文模型并结合GIS技术,进行东江流域白盆珠水库子流域下垫面变化的洪水响应分析.根据该流域现状土地利用情景分析方法构建9种流域下垫面情景,选取大、中、小3场典型洪水过程,定量分析下垫面变化造成的洪水响应.结果表明:林地及其空间分布在截留降雨、消减洪峰和延缓洪峰滞时方面效果明显,故保护林地,特别是沿河道及流...     

跨站脚本漏洞的白盒测试框架的设计和实现

伴随着B/S架构的流行和Web2.0时代的迅速发展,由于对不可信用户数据缺乏正确的校验机制,造成跨站脚本漏洞广泛地存在于各类网站中,并严重威胁用户安全。其主要原因在于服务端代码和客户端脚本的混合,使得当前技术无法准确而有效地生成攻击向量,探测跨站脚本漏洞。本文基于静态数据流特征分析,依据脚本注入位置和攻击向量模式设计了新的分析模糊器,通过采用字符串约束求解技术来验证攻击向量的有效性,并实现了白盒测试框架的原型系统XSS-Explore。实验结果表明,与同类工具相比,该系统能够较全面而准确地检测跨站脚本漏洞。     

仿真软件测试研究

对于大型复杂仿真系统,它能否正常运行,软件的质量起着决定性的作用.软件测试是软件质量的根本保证.首先回顾了仿真软件测试的发展过程;其次,以应用于HLA仿真系统中的RTI软件测试为例,采用黑盒测试方法对国防科技大学仿真实验室开发的KD-RTI、瑞典的pRTI和DMSO的RTI1.3NG-V6进行功能和性能方面的测试,测试结果表明三个RTI软件都能满足要求;最后提出仿真软件测试的发展趋势.     

用频谱仪进行准确的信号功率测量

获得准确的信号功率是频谱分析仪的一项重要测试功能。测试不同类型的信号,需要采用不同的频谱仪设置和测试方法。对于同一个信号的测试,采用不同的频谱仪参数设置,包括带宽、扫描时间、检波方式、时域和频域的算法等因素,都可能产生不一样的测试结果。本文的目的是从原理上分析频谱仪各种设置的影响以及如何正确设置参数,从而获得准确的信号功率测量结果。     

嵌入式汇编语言软件单元测试方法

单元测试是在整个软件开发过程中的一个重要环节,单元是软件的构成基础,因此单元的质量是整个软件质量的保证。嵌入式软件由于与CPu密切相关,多采用汇编语言编程,使得其测试一直是个难点,特别是单元测试。针对嵌入式软件的特点,本文根据软件单元测试的理论,介绍一种使用旋极AsmTester对嵌入式汇编语言编程的软件进行单元测试的方法。     

基于改进遗传算法的对抗样本生成方法

对抗样本是评估模型安全性和鲁棒性的有效工具,对模型进行对抗训练能有效提升模型的安全性。现有对抗攻击按主流分类方法可分为白盒攻击和黑盒攻击两类,其中黑盒攻击方法普遍存在攻击效率低、隐蔽性差等问题。提出一种基于改进遗传算法的黑盒攻击方法,通过在对抗样本进化过程中引入类间激活热力图解释方法,并对原始图像进行区域像素划分,将扰动进化限制在图像关键区域,以提升所生成对抗样本的隐蔽性。在算法中使用自适应概率函数与精英保留策略,提高算法的攻击效率,通过样本初始化、选择、交叉、变异等操作,在仅掌握模型输出标签及其置信度的情况下实现黑盒攻击。实验结果表明,与同是基于遗传算法的POBA-GA黑盒攻击方法相比,该方法在相同攻击成功率下生成的对抗样本隐蔽性更好,且生成过程中模型访问次数更少,隐蔽性平均提升7.14%,模型访问次数平均降低6.43%。     

Riemann-Liouville型分数阶导数的非线性估计（英文）

本文主要研究任意有界连续信号的Riemann-Liouville分数阶导数估计问题.当分数阶α属于0到1时,首先利用滑模技术提出一种有界连续信号分数阶导数的非线性估计方法;然后将其结果推广至分数阶α∈R⁺的情况,并给出相应的非线性估计方案.借助Riemann-Liouville分数阶微积分频率分布模型,本文详细分析讨论了所给分数阶导数非线性估计的收敛性问题,并得到相应闭环系统是渐近稳定的结论.文中所提方法的主要优点是在事先未知给定信号分数阶导数上界的情况下,不仅能自适应地估计其Riemann-Liouville分数阶导数,而且当信号中含有随机噪声和不确定扰动时依然能正常工作.数值仿真实例验证了本文所给估计方法的可行性和有效性.     

对一种白盒SM4方案的差分计算分析

传统密码算法的安全性建立在黑盒攻击模型下. 在这种攻击模型下, 攻击者只能获取密码算法的输入输出, 而无法得知密码算法运行时的内部细节. 近年来白盒攻击模型的概念被提出. 在白盒攻击模型下, 攻击者既可以获取密码算法的输入输出, 也可以直接观测或更改密码算法运行时的内部数据. 为保证已有密码算法在白盒攻击环境下的安全性, 在不改变其功能的基础上通过白盒密码技术对其进行重新设计被称为已有密码算法的白盒实现. 研究白盒实现方案的设计与分析对于解决数字版权管理问题具有重要意义. 近年来, 出现了一类针对白盒实现方案的旁信道分析方法. 这类分析手段只需要知道很少白盒实现方案的内部细节, 却可以提取到密钥, 因此是一类对现有白盒实现方案具有实际威胁的分析手段. 对现有白盒实现方案进行此类分析对于确保方案安全性具有重要现实意义. 此类分析方法中的典型代表是基于差分功耗分析原理的差分计算分析. 基于差分计算分析, 对白-武白盒SM4方案进行了安全性分析. 基于对GF(2)上n阶均匀随机可逆矩阵统计特征的研究结果, 提出了一种改进型差分计算分析(IDCA), 可以在分析成功率几乎不变的前提下显著提升分析效率. 结果表明, 白-武白盒SM4方案在面对差分计算分析时不能保证安全性, 必须对其进行进一步改进使之满足实际应用场景下的安全性需求.     

论有效测试方法

软件测试常用的测试方法有黑盒测试、白盒测试及黑盒与白盒结合的测试。介绍各类测试方法所需的技术、资源,分析测试充分性、有效性和可评估性等方面。以大规模软件研制类项目为例,在测试周期短,测试无法充分覆盖的情况下,量化计算各类测试方法的可行性,评估测试有效性。