针对可见光-热成像(red-green-blue-thermal,RGB-T)图像语义分割中模态特征失配与热成像过曝光噪声导致的精度下降问题,提出了基于跨模态交互与动态融合的RGB-T图像语义分割(cross-modal interaction and dynamic fusion for RGB-T imag...针对可见光-热成像(red-green-blue-thermal,RGB-T)图像语义分割中模态特征失配与热成像过曝光噪声导致的精度下降问题,提出了基于跨模态交互与动态融合的RGB-T图像语义分割(cross-modal interaction and dynamic fusion for RGB-T image semantic segmentation,CIDF)模型,实现RGB-T模态的高效协同感知。首先,设计了跨模态跳跃连接(cross-modal skip connection,CMSC)机制,在编码阶段建立RGB-T模态的多尺度特征交互,通过跨层级特征传递与自适应聚合策略,有效缓解模态间特征分布差异。其次,提出了多模态卷积融合模块(multi-modal convolution fusion module,MCFM),通过卷积实现了动态特征优选,抑制了热成像模态的过曝光噪声干扰。实验基于公开的多光谱图像融合网络的城市道路场景(multi-spectral image fusion net for urban road scenes,MFNet)数据集及光伏巡检场景的自建数据集。结果表明,在MFNet数据集上,CIDF模型取得72.9%平均准确率和56.6%平均交并比。此外,在光伏巡检数据集上平均准确率和平均交并比分别达到98.9%和97.4%。该研究成果不仅验证了CIDF模型的有效性,也证明了其在跨场景应用中的优越性能。展开更多
通用电机起动控制器(Common Motor Starter Controller, CMSC)作为多电飞机机电驱动控制系统的重要设备,提升其安全性对确保飞机持续适航具有重要意义。以CMSC的电动泵模式为研究对象,开展了工作原理分析与模块划分,基于UPPAAL软件进行...通用电机起动控制器(Common Motor Starter Controller, CMSC)作为多电飞机机电驱动控制系统的重要设备,提升其安全性对确保飞机持续适航具有重要意义。以CMSC的电动泵模式为研究对象,开展了工作原理分析与模块划分,基于UPPAAL软件进行形式化建模,实施系统理论过程分析(System-Theoretic Process Analysis, STPA);识别子系统之间的不安全控制行为和潜在危险致因,基于模型的活性验证与失效注入实验,进行致因场景修正,最终构建出较为完善的安全控制约束清单。实验结果表明,所提方法有助于CMSC的安全性分析,利用形式化建模有助于减少人为主观因素的干扰,模型运行处理效率较高;致因场景分析结果表明,所建立的安全约束清单准确,能有效覆盖失效场景。展开更多
为了研究犬骨髓间充质干细胞(can ine m esenchym a l stem ce lls,cM SC s)的生长特点和在诱导条件下的成骨特性。使用密度梯度法分离成年犬骨髓间充质干细胞进行培养,保留贴壁细胞传代,观察,以地塞米松、β甘油磷酸钠、抗坏血酸为成...为了研究犬骨髓间充质干细胞(can ine m esenchym a l stem ce lls,cM SC s)的生长特点和在诱导条件下的成骨特性。使用密度梯度法分离成年犬骨髓间充质干细胞进行培养,保留贴壁细胞传代,观察,以地塞米松、β甘油磷酸钠、抗坏血酸为成骨诱导剂。利用倒置光学显微镜和透射电镜观察细胞形态特征,四甲基偶氮盐(M TT)比色测定增殖,用碱性磷酸酶(A lka line phosphatase,ALP)活性及骨钙素(O steoca lc in,OCN)含量来研究细胞分化情况。形态学观察表明,cM SC s贴壁细胞呈集落生长,有成纤维细胞样外观,透射电镜可见成骨诱导后cM SC s具有分泌型细胞的特征;推测成骨诱导剂可促进骨髓间充质干细胞成骨,表现为ALP活性、OCN含量明显升高。本实验表明所培养的cM SC s保持了未分化状态,并在成骨诱导剂的作用下可向成骨细胞分化。展开更多
文摘通用电机起动控制器(Common Motor Starter Controller, CMSC)作为多电飞机机电驱动控制系统的重要设备,提升其安全性对确保飞机持续适航具有重要意义。以CMSC的电动泵模式为研究对象,开展了工作原理分析与模块划分,基于UPPAAL软件进行形式化建模,实施系统理论过程分析(System-Theoretic Process Analysis, STPA);识别子系统之间的不安全控制行为和潜在危险致因,基于模型的活性验证与失效注入实验,进行致因场景修正,最终构建出较为完善的安全控制约束清单。实验结果表明,所提方法有助于CMSC的安全性分析,利用形式化建模有助于减少人为主观因素的干扰,模型运行处理效率较高;致因场景分析结果表明,所建立的安全约束清单准确,能有效覆盖失效场景。
文摘为了研究犬骨髓间充质干细胞(can ine m esenchym a l stem ce lls,cM SC s)的生长特点和在诱导条件下的成骨特性。使用密度梯度法分离成年犬骨髓间充质干细胞进行培养,保留贴壁细胞传代,观察,以地塞米松、β甘油磷酸钠、抗坏血酸为成骨诱导剂。利用倒置光学显微镜和透射电镜观察细胞形态特征,四甲基偶氮盐(M TT)比色测定增殖,用碱性磷酸酶(A lka line phosphatase,ALP)活性及骨钙素(O steoca lc in,OCN)含量来研究细胞分化情况。形态学观察表明,cM SC s贴壁细胞呈集落生长,有成纤维细胞样外观,透射电镜可见成骨诱导后cM SC s具有分泌型细胞的特征;推测成骨诱导剂可促进骨髓间充质干细胞成骨,表现为ALP活性、OCN含量明显升高。本实验表明所培养的cM SC s保持了未分化状态,并在成骨诱导剂的作用下可向成骨细胞分化。
