气相色谱和质谱法测定尿中硫代二甘醇含量

硫磺芥子气体对人体的危害极大,本文阐述了世界上最先进,最精密的测试方法－气相色谱和质谱连测法测出人体尿样中硫代二甘醇的含量,最低限浓度为５．０ｍｇ／ｍｌ推算出痕量硫磺芥子的泄漏量。     

月桂酸五氯苯酯的研制

1前言目前我国涤纶纺丝、塑料、化纤等工业化生产中，一直存在着受纺丝油剂的腐蚀而影响连续化生产的困难，解决这一难题的办法是用进口防腐剂，但成本太高。为此开发研制了一种可以替代进口防腐剂的月桂酸五氯苯酯。该产品是一种高效防腐剂，适用于塑料、化纤、木材以及海底电缆等。用于合成纤维油剂和切削油剂中，即起到很好的防腐作用，又可以提高油剂的利用率，降低了成本，使生产能够连续化进行；用于木材防腐剂，可将本品加在矿油和沥青中浸渍木材，延长其使用寿命．此外，本品用于皮革加脂剂中处理皮革，可增强其耐霉性能。本品药效…     

以乙醇为分散介质制备聚苯乙烯微球

以乙醇为分散介质,聚乙烯基吡咯烷酮(PVP)为分散剂,偶氮二异丁腈(AIBN)为引发剂,采用分散聚合方法,制备粒径范围在1.84～4.23 μm的单分散聚苯乙烯(PS)微球,并探讨单体用量、分散剂用量、引发剂用量、分散介质和反应温度等反应条件对所得聚合物微球粒径及其分布的影响.实验结果表明:在一定反应条件下,随着初始单体质量分数和引发剂质量分数的增大以及聚合温度的升高,聚苯乙烯微球的粒径增大;随着分散稳定剂PVP质量分数的增大,微球粒径变小;在相同条件下,以乙醇为分散介质比以甲醇为分散介质制得的PS微球粒径大.     

基于Scrum敏捷开发的航空装备软件测试方法

本文依据Scrum敏捷开发方法,结合航空装备软件的特点,按照持续集成和测试提前介入思想,提出一种适应于工程实践应用的基于Scrum敏捷开发的软件测试原则、方法和流程,对提高我国航空装备软件研制效率有重要意义。     

低关联度的Boosting类集成算法研究

针对Boosting类算法生成的个体网络的迭代方式相关性较高,对某些不稳定学习算法的集成结果并不理想的情况,基于Local Boost算法局部误差调整样本权值的思想,提出了基于距离及其权值挑选邻居样本的方法,并通过局部误差产生训练样本种子,采用Lazy Bagging方法生成针对各样本种子的个体网络训练样本集来训练、生成新的个体网络,UCI数据集上实验结果表明,该算法得到的个体网络相关度较小,集成性能较为稳定.     

基于使用场景的时间扩展EFSM建模与完整性验证

为了提高嵌入式实时系统软件的质量和可靠性,采用基于模型的软件测试方法是最有效的途径之一.但是,由于该类软件具有实时特性且十分复杂,一般的模型通常缺乏对其实时特性以及软件行为的描述,且需要丰富的专业领域知识才能将其建立的较为精确完整,导致建模的难度和成本增加,难以保证测试的充分性和有效性.使用场景是用户与软件之间的交互实例,详细描述了软件的系统行为而不关注其内部的复杂结构.因此,为了降低建模的难度,本文基于使用场景的规范化表示Scene来构建模型,并使用时间扩展EFSM模型来描述该类软件的实时特性;为了保证所建模型的完整性,本文设计了模型完整性评估准则,通过验证模型迁移中约束条件的完整性来确定模型是否完整的表征了系统的行为;针对不完整的模型,根据约束条件设计了待补全迁移生成策略生成待补全迁移,并通过动态模拟模型的可行迁移序列执行过程将其补全到模型中,以提高模型的完整性.最后,本文针对4个嵌入式实时系统软件构建时间扩展EFSM模型并进行了一系列的实验.实验表明,本文提出的方法不仅有效的构建了模型,而且能够将生成的待补全迁移有效补全到模型中,进一步提高了模型的完整性.     

基于模型的Web应用二阶SQL注入测试用例集生成

SQL注入漏洞一直以来都是威胁Web应用安全的主要问题之一, 其中二阶SQL注入漏洞相较于一阶SQL注入更加隐蔽且威胁更大, 对其检测通常依赖于测试人员的先验知识与经验. 目前, 在缺乏源码信息的黑盒测试场景下, 还没有针对该漏洞的有效检测手段. 利用基于模型的测试用例生成思想, 提出了一种基于客户端行为模型的测试用例集生成方法(CBMTG), 用于生成检测Web应用二阶SQL注入漏洞的测试用例集. 首先通过初始测试用例集的执行建立迁移与SQL语句的映射关系; 然后通过SQL语句的字段分析建立迁移之间的拓扑关系; 最后通过拓扑关系来指导最终的测试用例集生成. 实验结果表明, 本文方法优于当前主流的二阶SQL注入漏洞检测方法.     

基于动态集合进化算法的弱变异测试用例集生成

为解决基于集合进化算法（SEA）的弱变异测试用例集生成过程中个体规模固定和执行开销大的问题,提出一种基于动态集合进化算法（DSEA）的弱变异测试用例集生成方法。以测试用例集为个体,生成覆盖所有变异分支的弱变异测试用例集。在进化过程中,集合精简算子根据最优个体的最小子集及其未覆盖变异分支数量计算所需测试用例集的最小规模,并基于该最小规模调整种群中所有个体的规模,以生成最小规模的弱变异测试用例集,同时设计了适用于评估以测试用例集为个体的适应度函数。实验结果表明,动态集合进化算法指导弱变异测试用例集生成,获得的测试用例集规模比个体初始规模平均约简了50.15%,执行时间比集合进化的弱变异测试用例集生成最多降低了74.58%。因此,动态集合进化算法为最小规模的弱变异测试用例集生成和提升算法速度提供了一种解决方案。