基于抽象解释的变量值范围分析及应用

精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值范围分析方法RABAI,引入拓宽算子计算循环体变量范围,对过程参数定义了特殊的未定义取值(undef...     

飞机DM MH／FH定量研究

通过对外场维修性数据采集方案的合理设计与具体的数据收集和分析工作，研究了飞机的维修性参数──每飞行小时直接维修工时（DM－MH/FH外场级）指标的定量评估方法．就如何保证外场维修性数据采集的充分性和有效性、对数据的统计处理方法做了简要论述．结合某型飞机的统计数据．给出了采用计算机进行数据处理的结果──“勺形曲线”．     

基于级联Dense-UNet和图割的肝脏肿瘤自动分割

腹部CT图像肝脏肿瘤分割是进行肝脏疾病诊断、手术规划和放射治疗的重要前提。针对肝脏肿瘤灰度异质、纹理丰富、边界模糊等因素引起的分割困难,该文提出基于级联Dense-Unet和图割的自动精确鲁棒分割方法。首先运用级联的Dense-UNet获取肝脏肿瘤初始分割结果及感兴趣区域,然后利用图像像素级和区域级特征,分别构建可有效区分肿瘤与非肿瘤的灰度模型和概率模型,并将其融入图割能量函数,进一步精确分割感兴趣区域中的肿瘤组织。最后分别采用LiTS和3Dircadb公共数据库作为训练集与测试集进行实验,并与现有多种自动分割方法进行了比较。结果表明,提出方法可有效分割CT图像中灰度、形状、大小、位置各异的肝脏肿瘤,能提取更精确的肿瘤边界,尤其对于对比度低、边界模糊的肿瘤具有明显优势。     

基于PCNN图像分割的医学图像融合算法北大核心CSCD

为充分提取源图像间的互补信息,改进传统的图像融合算法在亮度维持、能量保留、边缘信息保持等方面的不足,本文提出了基于脉冲耦合神经网络(pulse coupled neural network, PCNN)图像分割的医学图像融合算法。该算法综合了非下采样剪切波变换(non-subsampled shearlet transform, NSST)与PCNN。首先,选取标准差较大的源图像作为被分割图像,标准差较小的源图像作为参照图像,将源图像进行NSST分解,获取源图像低频子带系数和高频子带系数;在低频融合中,利用参数自适应的PCNN对被分割图像的低频子带进行分割,根据分割结果获取融合低频子带系数;在高频融合中,采用以区域能量和与拉普拉斯能量和两者的乘积作为判断函数,获取融合高频子带系数;利用NSST逆变换获取融合图像。最后,应用本文提出的算法,对脑萎缩、急性中风和高血压性脑病等3组电脑断层扫描/磁共振成像(computerized tomography/magnetic resonance imaging, CT/MRI)图像进行了融合仿真,并将仿真结果与2018年后国际刊上提出的5种算法的融合图像进行比较。结果表明,应用本文提出的融合算法得到的图像,有效地增强了不同模态间的信息互补,保持了融合图像与源图像具有相同明亮程度,又保留了源图像低亮度部分的边缘信息,更加符合人眼视觉特性,具有更高的客观评价指标。     

鸭嘴型全橡胶逆止阀设计及流通性能分析

为了有效阻止岩屑等固态物质进入冲击器内腔,降低冲击器的卡滞、冲击无力等故障率,提高钻井效率,我们设计了带逆止密封装置的钎头,即在冲击器钎头排气通道内加装一个鸭嘴型全橡胶逆止阀。通过采用ANSYS Mechanical软件,运用有限元方法,对鸭嘴型全橡胶逆止阀进行流通性能分析。不但分析了逆止阀的两种不同结构在正向通气工况下的结构强度和流通面积,而且分析了反向水压工况下的结构强度、密封性等性能参数。结果表明,鸭嘴型全橡胶逆止阀两种不同结构的流通面积、逆止密封性能及应力均达到了设计要求。     

桑托斯盆地Jupiter油气田富含CO2油气藏形成机制

桑托斯盆地Jupiter油气田油气藏中富含CO₂,气层与油层流体成分存在明显差异,油气藏相态及形成机理没有取得共识。采用四参数方框图法、流体组分三角图、φ₁值、Z₁以及Z₂等多参数法对Jupiter油气藏相态进行综合判识,认为Jupiter油气藏为带油环凝析气藏。油气藏中凝析油与原油具有相似的分子地球化学特征,Pr/Ph比值为1.58~1.88,C₂₆三环萜烷/C₂₅三环萜烷比值为1.15~1.22,甾烷以C₂₇甾烷占优势,藿烷/甾烷比值大于4, TPP比值大于0.5,全油碳同位素在-25‰左右。地球化学参数说明二者来源于白垩系Upper Barremian-Lower Aptian阶湖湘烃源岩。凝析油与原油具有相似的成熟度,均为生烃高峰的产物。烷烃气来自于Upper Barremian-Lower Aptian阶湖湘烃源岩,为生烃高峰——凝析油前期阶段的产物。CO₂为火山幔源型CO₂,大量CO₂后期注入形成的蒸发分馏作用,对早期形成的油气藏进行改造,形成了现今带油环凝析气藏的面貌。地球化学参数证实了蒸发分馏作用的存在,无机CO₂的注入丰富了蒸发分馏作用理论。     

国内非常规油气录井技术进展及发展趋势

非常规油气勘探开发给录井的探测分辨率、数据质量、录取参数齐全度和评价方法有效性带来了挑战。经过"十二五"攻关研究,研发了元素录井、钻井液核磁共振在线录井、小型化高分辨率三维核磁共振录井和前置式高分辨率气测录井等4项新技术,元素录井的元素采集种类从12种扩充到20种以上,填补了钻井液含油量的探测空白并实现了在线测量,岩样的孔喉尺度探测分辨率提高了10倍并将探测维度从一维拓展到三维,气体组分的探测分辨率从C5提高到C8或C10;建立了水平井综合地质导向、致密砂岩油气层录井综合评价、页岩油气层录井综合评价3套方法。随着非常规油气地质体的复杂性及对降本、增产、增效需求的增强,微观结构探测、碳同位素分析、录井仪器一体化等技术及水平井三维立体导向、裂缝型页岩的地层压力随钻预监测等方法将得到有效发展。      

LF精炼过程的钢水温度控制

在对LF能量平衡分析的基础上,进行150tLF温度控制试验。试验结果表明,单纯考虑供电制度的选择无法满足LF的温度控制要求,必须进行综合控制研究。     

SN10—10Ⅲ型断路器的拒分及防范措施

<正> 一、Ⅲ型断路器拒分的主要情况 SN10—10Ⅲ/2000—40及SN10—10Ⅲ/3000—40型断路器(以下简称Ⅲ型断路器)广泛使用在电力部门。在大量的使用中发现了它存在的一个共同问题——拒分现象。某省电力部门对该省投运的一百多台Ⅲ型断路器发生事故和故障的统计分析为:Ⅲ型断路器在调试中拒分和在解除运行时拒分占其事故(故障)率的90％以上。拒分现象的主要表     

爆炸处理提高43CrNi2MoV钢疲劳强度的试验研究

<正> 最近三十年来,利用爆炸冲击力进行爆炸压制、爆炸焊接、爆炸硬化的技术正在不断发展完善,并已经涉及到了许多金属加工部门,发达工业国家在宇航、核能、化工、汽车、轮船等制造业都应用爆炸技术制造高强度、高精度的零件。随着人们对高压和高应变速率下金属材料行为的进一步认识及毫秒、微秒级别的高速摄影等技术的发展,逐步成为一个崭新的技术领域。笔者所研究的问题是如何应用高能率的爆炸处理,来改善金属零件的表面性能,大幅度地提高某些零件的疲劳寿命。