摘要：针对肺部X射线图像的病灶区域较小、形状复杂,与正常组织间的边界模糊,使得肺炎图像中的病灶特征提取不充分的问题,提出了一个面向特征增强的双残差Res-Transformer肺炎识别模型,设计3种不同的特征增强策略对模型特征提取能力进行增强。设计了组注意力双残差模块(GADRM),采用双残差结构进行高效的特征融合,将双残差结构与通道混洗、通道注意力、空间注意力结合,增强模型对于病灶区域特征的提取能力;在网络的高层采用全局局部特征提取模块(GLFEM),结合CNN和Transformer的优势使网络充分提取图像的全局和局部特征,获得高层语义信息的全局特征,进一步增强网络的语义特征提取能力;设计了跨层双注意力特征融合模块(CDAFFM),融合浅层网络的空间信息以及深层网络的通道信息,对网络提取到的跨层特征进行增强。为了验证本文模型的有效性,分别在COVID-19 CHEST X-RAY数据集上进行消融实验和对比实验。实验结果表明,本文所提出网络的准确率、精确率、召回率,F1值和AUC值分别为98.41%,94.42%,94.20%,94.26%和99.65%。DRT Net能够帮助放射科医生使用胸部X光片对肺炎进行诊断,具有重要的临床作用。

摘要：为解决直接建立系统NuSMV(符号模型检测器)模型的困难,提出一种从UML(统一建模语言)模型转换到NuSMV模型的方法,实现了UML与NuSMV结合的形式化验证.首先,使用UML中的视图对系统进行描述,建立系统的UML模型;然后,设计转换规则并给出转换算法,实现从UML模型到NuSMV模型的自动转换;最后,使用计算树逻辑对系统的属性进行描述,并通过NuSMV完成对系统的形式化验证.以一个双按键并发电梯系统为例,说明了基于UML-NuSMV的并发系统建模与验证过程.

摘要：头颈部肿瘤是我国常见的恶性肿瘤,其预后主要受颈部淋巴结转移的影响,医学上通过核磁共振成像技术对转移性淋巴结成像后再进行诊断,然而,核磁共振技术成像存在病灶形态信息丢失,病灶区域对比度低和病灶边界模糊的问题。针对这些问题,提出面向头颈部肿瘤转移性淋巴结分割网络协助医生进行诊断。首先,设计跨层跨视野注意力模块,其接收深浅层的特征信息后利用自注意力机制分别突显深浅层的转移淋巴形状,通过不同感受野的深层特征图学习到更好的语义上下文特征,将浅层特征图与深层特征图逐像素融合,增强转移淋巴病灶区域的形态信息。其次,设计多尺度特征融合模块,在特征金字塔的初始位置融合不同尺度的特征图,丰富转移淋巴病灶区域的形态信息。然后,设计增强注意力预测头模块,通过对预测前的特征图使用并行的自注意力与门控通道转换模块,凸出病灶区域,细化病灶边界。最后,使用临床淋巴结转移医学图像数据集验证网络的有效性。实验结果表明,所提网络对于淋巴结转移病灶分割的APdet,APseg,ARdet,ARseg,mAPdet和mAPseg分别为74.88%,74.12%,63.11%,62.28%,74.64%和74.04%。该网络实现对淋巴结转移病灶区域的精确检测分割,对辅助淋巴结诊断具有积极意义。

摘要：冲击地压煤层如何实现安全高效智能开采是一项重大的产业技术难题,系统分析了我国冲击地压矿井分布特征、开采现状及冲击地压发展趋势,深入剖析了冲击地压矿井面临的主要开采难题。从区域地应力监测反演、矿井开拓布局优化、煤柱尺寸优化、井上下联合卸压、置换充填开采、高层位离层注浆等方面,全面阐述了冲击地压矿井全生命周期防控技术发展现状。针对巷道冲击地压防治难题,研发了冲击地压巷道全巷协同智能自适应抗冲击支护技术与装备,利用吸能防冲液压支架实现了正常状态对巷道围岩进行强支护、冲击过程迅速让位吸能的效果,结合支架智能运移装置、支架监测预警系统及全巷协同自适应抗冲击支护智能设计方法,构建了冲击地压巷道智能化吸能支护防控体系。分析了采煤工作面智能开采系统防冲原理,提出通过对围岩采动应力、覆岩断裂结构等进行监测分析,基于三维地质模型、大数据算法等对冲击地压发生位置、概率进行预测预警,并通过智能开采系统对液压支架的支护姿态与支护力、采煤机割煤速度等进行智能联动控制,实现采煤工作面智能开采与冲击地压智能防治。从采场应力与覆岩结构智能监测、冲击地压灾害数据库构建、冲击地压灾害分类预测预警等方面,分析了冲击地压智能防控技术的研发重点,提出了煤矿冲击地压监测预警系统组成及总体架构。从顶层设计、关键技术、智能精准解危与效果评价等方面提出了我国煤矿冲击地压煤层实现安全高效智能开采的技术路径与研发方向。

摘要：针对智慧矿山复杂巨系统建设过程中存在的问题,提出了智慧矿山建设的总体技术架构,并分别从智慧矿山系统模型构建、地下空间重构与模型动态更新、机器视觉测量技术、瓦斯环境射频防爆测试方法、矿山安全闭环管控体系、智慧矿山标准体系等方面进行了详细阐述。将智慧矿山分为信息感知支撑层、边缘计算层、云数据中心、多型网络、矿山智能生产管控平台、矿山智能生产系统、智慧矿山运维管理系统,构建了基于多系统深度融合的智慧矿山技术架构。基于智慧矿山知识图谱及信息抽取技术,构建了以数据创新为驱动、通信网络为基础、数据算力为核心的智慧矿山系统模型。构建了以机器视觉感知信息为主、其他感知信息为辅的矿山井下三维视觉空间模型,提出了矿山井下场景三维视觉与空间重建框架,实现了矿山井下三维空间重构与动态更新。开发了基于机器视觉技术的井下设备位姿与煤岩界面识别算法,实现了对井下综采装备群及煤岩分界面的同时空测量。探讨了井下瓦斯环境下现行防爆标准对5G基站功率的限制及存在的不足,设计开发了射频电磁能防爆专用试验装置,为提升井下5G基站功率阈值提供了方法借鉴。提出了融合灾害信息全面感知、防控方案自主决策、防控装备协同控制的矿井灾害闭环管控系统技术架构,实现井下灾害的超前预测预警与协同防控。构建了智能化煤矿标准体系框架,剖析了我国煤矿与金属矿山智能化建设典型案例,提出了智慧矿山建设发展趋势及建议。

摘要：基于生成对抗网络(Generative Adversarial Network,GAN)的医学图像融合是计算机辅助诊断领域的研究热点之一,但是现有基于GAN的融合方法存在训练不稳定,提取图像的局部和全局上下文语义信息能力不足,交互融合程度不够等问题。针对上述问题,本文提出了双耦合交互式融合GAN(Dual-Coupled Interactive Fusion GAN,DCIFGAN)。首先,设计了双生成器双鉴别器GAN,通过权值共享机制实现生成器之间和鉴别器之间的耦合,通过全局自注意力机制实现交互式融合;第二,设计耦合CNN-Transformer的特征提取模块(Coupled CNN-Transformer Feature Extraction Module,CC-TFEM)和特征重构模块(CNN-Transformer Feature Reconstruction Module,C-TFRM),提升了对同一模态图像内部的局部和全局特征信息提取能力;第三,设计跨模态交互式融合模块(Cross Model Intermodal Fusion Module,CMIFM),通过跨模态自注意力机制,进一步整合不同模态间的全局交互信息。为了验证本文模型的有效性,在肺部肿瘤PET/CT医学图像数据集上进行实验,该文方法在平均梯度,空间频率,结构相似度,标准差,峰值信噪比,信息熵等上与其他四种方法中最优方法相比,分别提高了1.38%,0.39%,29.05%,30.23%,0.18%,4.63%。模型能够突出病变区域信息,融合图像结构清晰且纹理细节丰富。

摘要：作为制备沸石发泡沥青的发泡剂,EC130温拌剂释放的发泡水和残留的沸石矿物对沥青的性能有着不同的影响.为研究EC130温拌剂对SBS改性沥青高温性能和抗疲劳性能的影响,采用石灰岩矿粉、EC130沸石矿物和EC130温拌剂等3种添加物,设计了以添加物掺量为变量的单因素试验.以石灰岩矿粉为参照对象,通过温度扫描试验、多重应力蠕变恢复试验和线性振幅扫描试验,分析了EC130沸石矿物和EC130温拌剂释放的发泡水对SBS改性沥青高温性能和抗疲劳性能的影响.结果表明:同石灰岩矿粉一样,沸石发泡沥青中的EC130沸石矿物使沥青弹性增大、黏性减小,有利于抗车辙性能的提升,但不利于抗疲劳性能;沸石发泡沥青中的发泡水使其黏性增大、弹性减小,有利于抗疲劳性能的提升,但不利于抗车辙性能.

摘要：为提高直驱风机低电压穿越LVRT(low voltage ride through)控制参数辨识精度,提出了一种基于最小二乘LS(least square)和自适应蛇优化ASO(adaptive snake optimization)算法的直驱风机LVRT特性辨识方法。首先,利用最小二乘法拟合出直驱风机LVRT待辨识参数初值,以确定待辨识参数的寻优范围;然后,分析了蛇优化SO(snake optimization)算法分阶段寻优的边界条件,设计了分阶段自适应学习因子,并引入Levy飞行策略,提出了适用于直驱风机LVRT控制参数辨识的ASO算法;最后,将ASO算法多次辨识平均值作为最终结果。结果表明,所提方法能快速、准确辨识直驱风机LVRT控制参数。

摘要：对存在执行器死区、故障现象和模型不确定性的智能车辆转向系统的跟踪控制问题进行研究。首先,采用自适应模糊逻辑系统对转向系统中难以建模的非线性项进行在线逼近,并结合动态增益技术为智能车辆转向系统设计了自适应滑模控制器,以补偿系统控制增益未知、执行器死区和故障现象对控制性能的影响。此外,在该滑模控制器的设计中,采用一阶滤波技术消除了滑模控制器对转向系统造成的抖振。最后,结合李雅普诺夫稳定性理论分析可知,所设计的控制器可以实现智能车辆转向系统的渐近稳定,并通过数值仿真和整车实验验证了所设计的控制方法的合理性。

摘要：生态系统服务功能是人类从生态系统中获得的直接收益,因此从服务功能角度评估矿区生态系统状况具有重要意义。以大型煤炭基地宁东为例,在阐述矿区生态系统状况遥感监测研究现状和进展的基础上,设计了遥感数据驱动的气候调节、防风固沙、固碳释氧、水源涵养和土壤保持5项生态系统服务功能计算方案,利用长时间序列连续数据评估了上述功能的时空演变,衡量了矿区生产活动对地表生态系统的影响。应用Mann-Kendall非参数检验实现对研究区生态系统服务功能的时空动态评估。研究结果表明:(1)从2001年—2019年,宁东基地生态系统服务功能整体呈改善趋势,其中气候调节、固碳释氧、防风固沙改善趋势非常显著,水源涵养出现轻微下降现象,土壤保持处于基本不变的状态。(2)空间分布上,远离采煤工作面的区域生态系统服务功能比较强,反之则比较弱。(3)矿区与非矿区对照分析表明,矿区生产活动迟滞了生态系统服务功能的增加,其中非矿区的气候调节功能的上升速率约为矿区上升速率的两倍,非矿区防风固沙和固碳释氧功能的上升速率约为矿区上升速率的1.5倍。研究区生态系统服务功能的整体改善,可能是气候环境变化和人工修复活动的综合结果,但鉴于其整体改善速率明显低于非矿区,说明煤炭开采活动造成了一定的负面影响,仍然需要加大对生态系统保护和修复的力度。