基于程序路径分析的有效蜕变测试

蜕变测试对于预期输出难以构造的程序是实用和高效的.作者在系统研究已有蜕变测试方法和路径分析技术的基础上,首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则,以在多个不同的层次上定义蜕变测试用例集的充分性;然后给出了3种能够生成相应测试用例集的算法;最后通过变异分析的方法证实这些算法的有效性.实验结果表明,蜕变关系和测试准则的选取直接影响到测试的效果,另外,使用蜕变关系全路径覆盖可满足性算法(APCEMsT)可以快速准确地发现待测程序中的错误,而生成的测试用例的数量却比传统技术要少.     

公路顶管技术在输水工程中的应用

随着现代施工工艺的发展、技术的完善,公路顶管技术已经普遍应用于输水工程中。公路顶管施工的方法有多种,大伙房水库输水应急入连工程主要采用土压平衡顶进法进行施工。     

浅议业主在施工阶段的质量控制

施工是形成工程项目实体的过程,也是形成最终产品质量的重要阶段,施工阶段的质量控制是工程项目质量控制的重点。     

AE声发射在波导器中传播规律的数值模拟

利用大型动力学有限元软件ANSYS/LS-DYNA对AE声发射在波导器中的传播进行了数值模拟,采用了两种不同的模拟方案,得出了声发射应力波在波导器中传播时受波导器的直径以及长度的影响显现出衰减规律.分析结果表明,波导器直径在5mm～40mm范围内对声发射传播影响不大,直径在20mm左右时加速度幅值较佳.设计波导器时应尽量使波导器长度大于1m以上,以保证接收数据的相对稳定.所得结论对现场试验和进行相关的实验室实验中波导器传感器直径、长度的选择以及安装都具有一定的指导意义.     

基于弹性地基梁法的地下管线简化模型分析

考虑到有限元等数值分析方法需要建立大量的实体单元,在进行结构分析时存在计算工作量大、耗时较长、计算效率低和建模困难等问题。采用弹性地基梁法,建立了地基与管线结构简化计算模型,对管线下方地基开挖时管线尺寸、开挖步长因素的影响机制问题进行了参数分析。结果表明,地下管线结构变形最大位置分布在开挖工作面处,随距离工作面距离增加变形值逐渐减小并趋于稳定;结构挠曲变形随管径增加而减小、随开挖进尺增加而增大。     

水城矿区煤系层序地层对煤与瓦斯突出的影响

运用沉积学、煤层气地质学、层序地层学等瓦斯地质理论,对贵州水城矿业(集团)有限责任公司(简称"水城矿区")大湾矿井、盛远矿井、那罗寨矿井、汪家寨矿井、大河边矿井、红旗矿井和老鹰山矿井煤系地层的沉积环境及层序地层进行了分析,将上二叠统龙潭组(宣威组)划分为两个层序地层,分别以11煤层和1煤层为各层序的最大海泛面位置,层序地层决定了煤层顶板岩性、煤厚等情况。结合现场瓦斯实测参数情况,分析了煤层顶板岩性变化、煤层厚度等对瓦斯赋存、煤与瓦斯突出的影响,得出水城矿区顶板岩性、煤厚是影响其主采煤层瓦斯赋存、煤与瓦斯突出的主要因素之一,最大海泛面位置煤层顶板岩性透气性最差,煤层厚度最大,煤与瓦斯突出最严重。     

黄白茨煤矿12号煤层瓦斯赋存规律分析

运用瓦斯成藏理论,在对黄白茨井田沉积演化史、构造演化史、埋藏史及热演化生烃史研究的基础上,结合现场测定12号煤层瓦斯含量及瓦斯压力等大量瓦斯参数,分析了褶皱、断层、煤层厚度、煤层顶底板岩性、煤层埋深或底板标高等因素对瓦斯赋存影响,确定12号煤层瓦斯主控因素为煤层厚度、煤层埋深和底板标高,并建立瓦斯压力预测模型。     

桶形零件整体拉伸

洗衣机内桶(以下简称内桶)是大型薄板件,无论是外观还是寿命都为用户所瞩目。合肥洗衣机厂生产的百花牌XPB2—B洗衣机内桶的原生产工艺是以厚0.8的08F薄钢板分段加工、拼段焊接经搪瓷而成。该工艺不仅生产率低,且产品较易脱瓷,影响外观和寿命。经过改革,现已改为用厚1.5的L_2铝板的整体拉伸工艺。从技术效果与经济效益来看,改革是成功的。改进后的工艺简介如下。     

波导器中声发射信号传播规律研究

声发射信号在波导器中的传播规律是声发射预测煤岩动力灾害技术的一个重要因素。根据声发射传播的相关理论,采用标准激震源法,考察了不同尺寸波导器中声发射响应情况,采用DEWE3010虚拟仪器系统分析了声发射信号时域波谱及频域谱变化规律等,在此基础上统计分析了波导器尺寸、波导器与煤岩块接触程度,以及波导器弯曲程度对声发射信号的事件数、事件及振幅变化率的影响。试验结果可为声发射预测煤岩动力灾害提供技术指导。     

蜕变测试技术综述

软件测试是一种重要的、不可缺少的软件质量保证技术,用于发现和纠正软件中存在的缺陷和错误,但在很多情况下待测程序的预期输出难以确定。蜕变测试技术通过检查程序的多个执行结果之间的关系来测试程序,可以有效地解决上述问题。经过近十年的研究,蜕变测试技术已经在测试过程的优化、与其他验证或测试方法的结合等方面取得了巨大的进展,并被广泛地应用于各个领域中。对当前蜕变测试技术的研究进行了综述,针对已有方法的不足之处,对未来的研究方向进行了展望,包括蜕变测试充分性研究、实用蜕变关系构造技术、实用原始测试用例选取技术、新型软件中蜕变测试技术的研究、蜕变测试工具的开发等。