面向编译器测试的部分求值静态输入确定方法

在编译器测试中,基于部分求值技术的编译器测试方法在部分求值阶段时,必须由测试人员对具体的测试用例进行分析,然后手动指定程序中的一些变量作为静态输入,这种依赖人工手动指定的策略具有一定的盲目性,而且无法使测试过程自动化进行。为了解决这一问题,提出了一种基于变量依赖关系的源程序静态输入及其取值的确定方法,使基于部分求值技术的编译器测试框架的测试过程得以自动化进行,从而提高了测试效率。实验结果证明了本文方法的可行性。     

焊接热输入对2219薄板铝合金焊接接头性能的影响

针对2219薄板铝合金,采用不同焊接热输入的TIG焊开展了对比试验,分析了焊接接头的力学性能、组织形貌和断裂特征。研究结果表明,单道焊比双道焊的接头抗拉强度的平均值提高了19.6%,断后伸长率基本相同;双道焊的接头在熔合线附近,焊缝区形成柱状枝晶,组织大小不一、形状不规则,热影响区晶粒粗化,几何形态变化,组织形态不均匀,接头在焊接温度升高时,晶粒粗化,强度降低,断口呈现了沿晶界撕裂扩展的痕迹,局部呈“河流花样”特征;单道焊的接头在熔合线附近,焊缝区等轴晶分布较多,组织均匀一致,晶粒细小,接头在经历了加热、快速冷却、常温放置后,强化相溶于固溶体,Cu原子扩散、聚集,产生点阵畸变,晶粒得到细化,强度升高,断口呈现了典型的塑形断裂痕迹,韧窝形态明显。     

管道结垢预测技术研究

在现场实际运行中,油气管道会发生不同程度的腐蚀结垢现象,目前很多学者对腐蚀现象研究较多,但对于结垢种类、结垢趋势、结垢量的预测研究不多。因此,介绍了管道常见的结垢种类,对结垢预测模型进行了筛选,通过模型计算与室内结垢试验进行对比,得到Davis-Stiff饱和指数法与Oddo-Tomson饱和指数法相比,预测吻合度更好,可以很好的预测结垢趋势,最后对影响结垢4类因素进行了影响程度分析,其中影响结垢的最主要因素为Ca~(2+)离子含量,其次为矿化度含量,总碱度、pH值影响程度较小。     

奈23井欠饱和盐水钻井液技术优化及应用

奈23井位于奈曼凹陷奈10东南块,在九佛堂组钻遇盐岩层,为应对盐岩层污染钻井液及盐膏层蠕动,采用欠盐水钻井液体系进行施工。通过室内实验优化了欠饱和盐水钻井液配方,并配套了盐水堵漏工艺,本井盐岩层井径平均扩大率11.88%,全井平均井径扩大率6.20%,电测一次成功,很好的解决了上部砂岩地层井漏,中部盐岩缩颈和下部泥岩掉块形成大肚子井眼导致的多口探井电测遇阻的难题。     

多型拖拉机输出动力执行机械检调适配动力装置

介绍了国内外贸生产企业在对PTO动力执行机器(械)进行生产检测调试时常采用的几种动力输出方式,从操作烦易度、运行可靠性、经济成本及环境影响等方面,对几种动力输出方式进行了分析,并推荐了一款极简适配输入动力装置,为相关PTO动力执行机械生产制造企业在机器(械)检调时提供了极大的便利。     

热输入对高强钢DB685焊接接头组织和力学性能的影响

以水陆工程车车体专用高强钢DB685的焊接性作为研究对象,为优化高强钢DB685焊接接头组织状态、提高焊接接头的力学性能,研究了热输入变化对接头组织和力学性能的影响规律。结果表明:合适的热输入区间完全可以获得成形质量良好的焊接接头;横对接和立对接焊接接头的抗拉强度、侧弯性能、冲击性能等力学性能指标均能达到实际规范要求;立对接焊的热输入高于横对接焊的,立对接焊接头组织明显较横对接焊的粗大,焊缝韧性较横对接焊的差。     

基于压缩感知的高阶MIMO系统信道估值算法

针对通信网络中的天线数量巨大，很难完成对信道的有效计算与估值。借助于高阶多输入多输出（MIMO）系统的可靠性，提出了一种基于压缩感知的信道估值高阶MIMO系统。设计了一种简单的导频结构，以降低计算复杂度；利用导频序列长度可以随着信道稀疏度变化情况自适应的调整，从而节省了导频资源的开销。仿真实验表明，与传统的信道估计算法比较，在相同的信道估计精度条件下，HMCE-CS算法可以降低平均导频序列长度；或者在相同的导频序列长度条件下，HMCE-CS算法可以提高信道估计精度，验证了该算法的有效性。     

赋铁强化生物接触氧化处理涂料废水

在传统生物接触氧化法基础上,通过投加铁絮凝物实现对涂料废水的强化处理。结果表明,赋铁工况下其COD去除率有效增幅稳定在4%～5%。镜检发现,赋铁生物膜中的生物种群更为丰富,结构更为密实。污染物生物降解动力学研究表明,赋铁后生物接触氧化法中饱和系数K_s由213 mg/L降至107.4 mg/L,单位面积填料最大基质去除速度U_(max)由1 250 g/(m~2·d)降至714.3 g/(m~2·d)。赋铁生物接触氧化法能有效降低或消除涂料废水中有毒物质对微生物的毒害或抑制作用,有利于微生物对污染物的降解。