一种改进的程序不可达路径静态检测方法

能够精确的检测出程序中不可达路径是提高结构测试效率的关键。本文提出一种针对函数调用的程序不可达路径静态检测方法,该方法分析程序控制流图中结点的定值—引用集合数据信息,并记录调用点的函数摘要,更新调用点的调用上下文数据流信息,判断程序条件语句的冲突分支,进而检测路径的可达性。实例分析结果表明,该方法可以进一步提高不可达路径检测的准确度。     

大型飞机液压多缸顶升同步研究

针对现有大飞机液压千斤顶人工操作同步效果和稳定性差的情况,本论文在原有工况的基础上对系统进行建模,在建模中考虑了支点动态负载力对系统的影响。针对三缸在运动过程中的耦合关系,采用输出反馈解耦算法对模型系统进行解耦运算,以此来消除影响系统同步的误差。     

固井界面接触热阻对井筒温度场预测的影响

固体界面不完整接触会产生接触热阻。为研究固井界面微环隙对井筒温度场预测的影响,本文设计并制作了空气条件下测试固体界面接触热阻的实验设备,验证了所推导的接触热阻理论计算方法,研究了忽略固井界面接触热阻对井筒温度场预测精度的影响。结果表明：303~573K空气条件下实验设备测试结果的相对误差不超过9.28%;接触热阻理论计算方法与表面间距和温度有相关性;固井界面微环隙增大（5×10-5m~1×10-3m）、注蒸汽时间增加（2d~40d）、地层温度升高（305K~400K）等情况下,预测井筒温度场时不考虑固井界面充填气体的微环隙接触热阻,将使计算的水泥环外壁温度有较小的偏低（约3K）,而水泥环内壁温度和地层内壁温度有较大的偏高（约14K）。考虑固井界面微环隙的接触热阻可以提高井筒温度场预测的精度。     

变海拔工况下装甲车辆柴油机燃烧特性

针对高原地区装甲车辆柴油机燃烧恶化、故障率高的问题,本文从机械负荷和热负荷两方面入手,研究了不同海拔、不同转速、不同负荷条件下,柴油机燃烧特性以及循环波动规律,分析了故障出现的原因并提出解决措施。结果表明：低速中等负荷工况下,循环波动率较大,燃烧稳定性较差;高速全负荷工况下,循环波动率小。高原环境能够加剧柴油机燃烧恶化程度,稳定性变差,易出现拉缸烧蚀等问题。     

人体胸肌纤维对体表心电电位的影响：心电图正问题研究（2）

应用电磁场数值计算方法求解三维心电图正问题,考察了第一部分介绍的人体模型中骨骼肌肉层的各向异性导电性对心电传导的影响。推导了描叙人类心电场的有限元和边界元数学模型,以及二者结合的形式,并重点讨论了单层肌肉层,复合肌肉层的不同纤维方向组合下的胸腔模型中心电图正问题,以及它们对体表电位图的影响。     

泡沫封堵稠油井管外窜流模拟试验

为了减少对油层的伤害,研究使用泡沫对稠油井管外窜流进行封堵.建立不同压力体系下的管外窜流物理模型,分析管外窜流出液规律和注入方式对封堵效果的影响,评价岩心和模拟窜流通道的填砂管的突破压力和封堵效率.试验结果表明:气-液-气的注入方式效果最好;注入气体可以使油层压力升高到大于水窜层压力,压制水窜层水流出;稠油层注入困难,存在盖层,气和稠油不易分离,水窜层的水饱和了油层的亏空,也可以使油层压力升高到大于水窜层压力;注入流体转向主要进入了需要封堵的水窜层,泡沫封堵效果较好.     

超声影像管理系统的研究与应用

对目前超声诊断领域广泛使用的B超诊断仪薄弱的数据处理能力和信息管理能力进行增强和补充．通过图像采集卡的连接将普通B型黑白超声诊断仪作为PC外设,研究并开发了包含专业图像采集处理和完善的资料库管理在内的超声图像诊断和管理系统．系统实现了包括图像增强、几何参数测量在内的多个图像处理和分析功能,提供便捷的诊断报告生成、方便的档案管理及打印功能,实现了一个高效灵活的小型PACS系统．系统借助PC强大的处理能力大大扩展和提升了传统超声诊断仪的性能,极大地提高了医生的诊断效率．     

钻井液泥饼形成及评价研究综述

钻井过程中钻井液滤失形成地层浅处的内泥饼和井壁表面的外泥饼。形成高质量泥饼可以保证顺利钻进,但也对后期固井和生产造成影响。介绍了泥饼的形成过程和结构特征,调研了泥饼形成的数值模拟研究和实验研究,总结了泥饼评价的常规方法和参数计算经验公式。内泥饼和外泥饼的形成是同时进行、相互影响的过程;目前的研究多局限于外泥饼的形成和评价,且评价结果因技术人员经验和主观认识而有较大差异;研究中通常忽略内泥饼的形成及其对外泥饼的影响。未来研究需要综合考虑影响泥饼形成的地层因素和钻井液因素;基于"数字岩心"技术,研究泥饼的颗粒、孔隙与喉道特征;建立泥饼形成的数值模型,研究各因素对泥饼形成的影响规律。从微观结构揭示泥饼形成机理,并建立泥饼评价方法,对钻井液滤失造壁性能评价和体系优选、评价泥饼对固井质量的影响等工作有重要的意义。     

结合迁移学习的真实图像去噪算法

为了能有效地去除真实图像的复杂噪声,提出了一种结合迁移学习的真实图像去噪算法。该算法采用了双编码器结构,迁移学习编码单元利用预先训练好的权值有效提取鲁棒特征,残差编码单元对当前数据处理,进一步补充了信息。解码单元通过特征融合模块对丰富的信息进行融合,随后经过残差注意力模块加强对图像细节信息的关注,从而更好地恢复图像。实验结果表明,该算法在DND、SIDD和RNI15真实噪声数据集上有很好的泛化能力,能够在有效去除噪声的同时更好地保留图像纹理和边缘信息,恢复图像视觉效果更好。     

全数字正交相移键控解调器设计

作为数字卫星视频广播（DVB-S）接收芯片的核心组件,给出了一种全数字正交相移键控（QPSK）接收解调器的设计,该解调器由载波频率恢复、载波相位恢复、符号同步3个环路为主要部分构成,具有良好的抗噪声性能、较低的系统差损和适中的算法复杂度,介绍了3个环路的具体设计,并给出了优化的环路参数和仿真结果,最后给出了FPGA实现的结果。