并发程序变异测试研究综述

变异测试是一种面向缺陷的软件测试方法,利用人为注入的缺陷引导测试数据生成,评价测试数据的有效性,在软件工程领域得到了广泛关注.依托多核架构,开发可靠的并发程序越来越迫切.近年来,很多学者尝试将变异测试技术应用于并发程序,以提高并发程序测试的效率和可靠性.首先,介绍了本文工作与已有综述的不同;然后,阐述了与并发程序和变异测试技术相关的知识;接着,从变异实施、变异测试准则、测试数据生成等3方面,综述并发程序变异测试的研究进展,包括：变异算子设计、选择变异、高阶变异、弱变异、测试数据生成方法、变异测试工具等;最后,讨论需要进一步研究的问题.     

牛奶中泰乐菌素和替米考星的胶体金免疫层析法测定

建立一种快速、简便、同时针对牛奶中泰乐菌素和替米考星残留的检测方法.应用竞争抑制免疫层析原理,研制出泰乐菌素和替米考星胶体金试纸条,并对其性能进行了鉴定.结果表明,该试纸条对牛奶中泰乐菌素和替米考星的检测限分别为25 μg/L和50 μg/L.假阳性率低于5％,假阴性率为0,检测时间10 min,与其他大环内酯类抗生素无交叉反应.该方法操作简便、灵敏度高、特异性强,适用于乳品流通环节中泰乐菌素和替米考星残留的快速检测.     

铝粉与黑索金粉尘爆炸特性的对比实验研究

用Hartmanm装置对铝粉与黑索金粉尘进行了粉尘爆炸特性的对比实验研究。实验结果表明：对于铝粉来说,点火延迟时间对其最大爆炸压力和最大压力上升速率的影响十分明显;其最大爆炸压力和最大压力上升速率随着粉尘粒度的减小而增加;存在一个最佳粉尘浓度,使其最大爆炸压力和最大压力上升速率达到最大值。但对于黑索金粉尘来说,点火延迟时间在一定范围内对其最大爆炸压力和最大压力上升速率影响不明显;粉尘粒度对其最大爆炸压力影响很小,最大压力上升速率随粉尘粒度的减小而增大,但趋势没有铝粉明显;最大爆炸压力和最大压力上升速率随粉尘浓度的增加而线性增加。     

吸收层对铜箔飞秒激光冲击强化的影响

目的 通过对不同吸收层下飞秒激光冲击后Cu箔的显微组织和力学性能变化分析,选出强化效果更好的吸收层.方法 利用飞秒激光对覆有百纳米厚度吸收层的铜箔(Cu-nm)和覆有百微米厚度吸收层的铜箔(Cu-μm)进行冲击强化,通过扫描电镜、电子背散射衍射仪、X射线衍射仪、显微硬度计对两个样品进行显微组织和力学性能的观测分析.结果 飞秒激光冲击后,Cu-nm主要产生形变孪晶,孪晶比例提高了60.9％,大角度晶界比例提高了12.8％,显微硬度提高了10.8％;Cu-μm主要发生位错变化,位错密度增加16％,小角度晶界比例提高9.8％,显微硬度提高2.2％.除此之外,经飞秒激光冲击后,Cu-nm产生了更大的残余压应力,不仅中和了母材的残余拉应力,还表现为残余压应力;而Cu-μm经飞秒激光冲击后,产生的残余压应力无法完全中和母材的残余拉应力,仍显示为残余拉应力.结论 对比研究得出,飞秒激光冲击Cu-nm后,实现了微观组织孪晶化,改变了残余应力状态,提高了铜箔表面的硬度.     

高动态环境下无数据辅助的扩展Kalman滤波载波跟踪环

针对高动态及低信噪比情况下的GPS载波跟踪问题,该文提出一种无数据辅助情况下基于扩展Kalman滤波的载波跟踪环。该环路通过直接判决去掉调制信息,并利用去掉调制信息后的积分-清零滤波器输出直接作为扩展Kalman滤波的观测向量,以避免引入鉴相器而使环路在低信噪比情况下工作时受到限制。仿真结果表明,相比较于三阶锁相环,及利用鉴相器辅助的线性Kalman滤波载波跟踪环路,该文提出的环路具有更低的失锁概率及更小的相位跟踪误差。     

冷藏车冷风导流系统的设计及热流场分析

目的 为了使冷藏车在运输过程中冷风分布更均匀,提高对货物的冷却效果。方法 设计一种冷藏车冷风导流系统,建立其三维几何模型及冷藏车制冷时的热物理模型。利用计算仿真的方式分析了冷藏车在运输苹果过程中车厢内冷风流向及温度场随时间变化情况,分析了冷风导流系统及其气孔直径、气孔间隔、导流槽尺寸、回风道宽度、入口风速等关键参数对运输过程中冷却效果的影响。通过分析的结果确定了冷风导流系统的关键尺寸。结果 发现设计的冷风导流系统可将运输过程中货物温度最大值降低5.9 K,回风道宽度在150 mm左右为宜。结论 文中设计的冷藏车冷风导流系统可有效提高冷却效果,相关的方法可为冷藏车设计提供一定的参考。     

地震资料在碳酸盐岩沉积相分析中的应用——以某区二叠系长兴组为例

运用地震地层学和地震沉积学原理,分析研究区二叠系长兴组沉积相,总结出应用地震资料分析碳酸盐岩沉积相方法,即用地震拉平体的古地貌(地震拉平体的地层切片)分析确定沉积相带边界和分布范围;参照古地貌相带边界和分布范围,结合正演模型和地质体的地震反射特征,通过地震相分析和地震相向沉积相转化,精细刻画沉积相平面展布特征.首次应用该方法完成了研究区二叠系长兴组各时期沉积相平面展布刻画.     

2000—2008年黄河河南段冲淤及排洪能力分析

分析了2000—2008年黄河河南段的来水来沙情况及河道断面变化情况,结果表明:①扣除涵闸引沙0.999亿t,孙口以上河段2000—2008年共冲刷泥沙8.718亿t;②除花园口—夹河滩河段河道展宽和下切同时存在外,其余河段均以下切为主;③黄河河南段2000—2008年同流量水位下降0.80～1.77 m,2003年后花园口站控制流量逐渐加大,2008年的最大流量为4 610 m3/s。     

消息传递并行程序的弱变异测试及其转化

并行程序执行的不确定性,增加了测试的复杂性和难度.研究消息传递并行程序的变异测试,提出其弱变异测试转化方法,以提高该程序变异测试的效率.首先,根据消息传递并行程序包含语句的类型和语句变异之后导致的变化构建相应的变异条件语句;然后,将构建好的所有变异条件语句插入到原程序中,形成新的被测程序,从而将原程序的弱变异测试问题转化为新程序的分支覆盖问题.这样做的好处是,能够利用已有的分支覆盖方法解决变异测试问题.将该方法应用于8个典型的消息传递并行程序测试中,实验结果表明,该方法不但是可行的,也是必要的.     

搜索引擎自动性能评价系统构建的研究

检索系统的评价问题一直是信息领域最核心的问题之一。公开有效的搜索引擎质量评估可以指导搜索引擎用户挑选最有利于获取信息的手段,促进搜索引擎服务提供者与研究人员不断尝试新技术,为搜索引擎广告商挑选最有效的广告投放手段。传统的搜索引擎评价系统已经不能满足实际需要,提高搜索引擎评价方法的自动化程度势在必行。本文提出利用用户群体行为分析来进行搜索引擎自动性能评价,通过利用用户点击行为中蕴含的信息对检索结果进行相关性的评价,最终达到对各种不同搜索引擎进行性能评价的目的。