检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

预训练模型在软件工程领域应用研究进展

软件学报 2025年第1期36卷 1-26页

作者：宫丽娜周易人乔羽姜淑娟魏明强黄志球南京航空航天大学计算机科学与技术学院江苏南京211106 高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学) 江苏南京211106 中国矿业大学计算机科学与技术学院江苏徐州221116

近年来深度学习在软件工程领域任务中取得了优异的性能.众所周知,实际任务中优异性能依赖于大规模训练集,而收集和标记大规模训练集需要耗费大量资源和成本,这限制了深度学习技术在实际任务中的广泛应用.随着深度学习领域预训练模型(pre... 详细信息

近年来深度学习在软件工程领域任务中取得了优异的性能.众所周知,实际任务中优异性能依赖于大规模训练集,而收集和标记大规模训练集需要耗费大量资源和成本,这限制了深度学习技术在实际任务中的广泛应用.随着深度学习领域预训练模型(pre-trained model,PTM)的发布,将预训练模型引入到软件工程(software engineering,SE)任务中得到了国内外软件工程领域研究人员的广泛关注,并得到了质的飞跃,使得智能化软件工程进入了一个新时代.然而,目前没有研究提炼预训练模型在软件工程领域的成功和机遇.为阐明这一交叉领域的工作(pre-trained models for software engineering,PTM4SE),系统梳理当前基于预训练模型的智能软件工程相关工作,首先给出基于预训练模型的智能软件工程方法框架,其次分析讨论软件工程领域常用的预训练模型技术,详细介绍使用预训练模型的软件工程领域下游任务,并比较和分析预训练模型技术这些任务上的性能.然后详细介绍常用的训练和微调PTM的软件工程领域数据集.最后,讨论软件工程领域使用PTM面临的挑战和机遇.同时将整理的软件工程领域PTM和常用数据集发布在https://***/OpenSELab/PTM4SE.

关键词：软件仓库挖掘预训练模型程序语言模型

在线全文

学校读者我要写书评

暂无评论

宽带多波束形成中可变分数延时滤波器设计

哈尔滨工业大学学报 2025年

作者：郑浩锐杨宇峰潘颖达刘家瑞郁发新浙江大学航空航天学院

为降低截取方法对可变分数延时滤波器系数定点量化时带来的性能损失，优化分数延时滤波器工程应用时的资源消耗，本文提出一种结合极小化极大(Minimax)方法和混合整数线性规划的Farrow滤波器设计方法并引入Farrow滤波器的复用方式。首... 详细信息

为降低截取方法对可变分数延时滤波器系数定点量化时带来的性能损失，优化分数延时滤波器工程应用时的资源消耗，本文提出一种结合极小化极大(Minimax)方法和混合整数线性规划的Farrow滤波器设计方法并引入Farrow滤波器的复用方式。首先，根据Farrow滤波器结构以及系数对称性，将滤波器系数求解表征为具有幅频响应峰值误差约束和分数延时误差约束的优化问题，并对Farrow滤波器系数建立整数约束。其次，根据所建立约束，对滤波器系数进行求解。然后，基于引入的Farrow滤波器复用方法，对资源消耗进行分析。最后，在Xilinx VCU118开发板上搭建了16通道4波束的波束形成系统实验平台，对本文提出的滤波器设计方法及复用方式进行验证。实验结果表明：在相同量化位宽的条件下，相比于传统截取量化方法，本文所提方法降低了分数延时滤波器的归一化均方误差和群延时误差；Farrow滤波器组在复用之后，资源消耗得到了显著优化；实验平台形成的数字波束指向符合期望，无指向偏移的现象。本文提出的设计方法与复用方式可为Farrow滤波器在宽带多波束形成中的工程应用提供有效参考。

关键词：可变分数延时滤波器 Farrow结构混合整数线性规划极小化极大方法模块复用

硅氧烷溶剂应用于高电压锂金属电池及电化学性能

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

储能科学与技术 2025年

作者：黄德权韦韬殷广达闻港侯爵梁毅桂林航天工业学院

锂金属具有高理论比容量(3860 mAh g-1)，与高电压正极匹配构筑的锂金属电池可显著提升电池能量密度。但锂枝晶生长、不稳定的Solid-Electrolyte Interphase （SEI）膜及在DME（乙二醇二甲醚）醚类电解液中与高电压正极不兼容限制了高... 详细信息

锂金属具有高理论比容量(3860 mAh g-1)，与高电压正极匹配构筑的锂金属电池可显著提升电池能量密度。但锂枝晶生长、不稳定的Solid-Electrolyte Interphase （SEI）膜及在DME（乙二醇二甲醚）醚类电解液中与高电压正极不兼容限制了高电压锂金属电池的应用。本文通过引入硅氧烷电解液取代DME醚类电解液，利用硅氧烷的高化学键能提升电解液的氧化稳定性使之兼容高电压正极材料。同时在硅氧烷电解液中，Li+和FSI-阴离子之间呈现出较强的配位能力，有利于FSI-阴离子优先在锂金属表面上还原生成富含LiF的SEI膜，有效抑制锂枝晶生长并提高Li+传输动力学。相比于DME电解液，电池在在DMS-1（二甲基二甲氧基硅烷）硅氧烷电解液中呈现出更好的电化学性能。Li||Cu电池在1.0 mA cm-2的电流密度下可以稳定循环300圈。Li||LFP和Li||NCM811全电池在DMS-1电解液中也呈现出优异的电化学性能。Li||LFP电池在2.0 C下循环400次后，其放电比容量没有出现明显的容量衰减。Li||NCM811电池在1.0 C下循环300次后，其放电比容量保持率为83%，显示出优异的循环稳定性。该工作开发的硅氧烷电解液，为构建长循环、高电压锂金属电池提供了一种有前景的策略。

关键词：锂金属电池电解液高电压电化学性能

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

电解水制氢技术:进展、挑战与未来展望

工程科学学报 2025年第2期47卷 282-295页

作者：张正宋凌珺北京航空航天大学交通科学与工程学院北京102200

实现全球碳中和是各国在2050年制定的重要目标之一,旨在减缓气候变化的不良影响.氢能作为一种极具潜力的清洁能源,凭借其高能量密度、零碳排放、可再生性强等特性,被视为实现能源转型与应对气候变化的重要载体.为了实现这些目标,利用电... 详细信息

实现全球碳中和是各国在2050年制定的重要目标之一,旨在减缓气候变化的不良影响.氢能作为一种极具潜力的清洁能源,凭借其高能量密度、零碳排放、可再生性强等特性,被视为实现能源转型与应对气候变化的重要载体.为了实现这些目标,利用电解水制取氢气已经成为解决全球碳中和问题的重要关键方案之一.本文综述了碱性电解水、质子交换膜电解水、阴离子交换膜电解水和固体氧化物电解水制氢技术的最新进展,并对这四种电解水技术的工作原理、结构特点以及优缺点进行了详尽比较.此外,总结了电解水制氢催化剂材料的研究进展,尤其是新型材料的开发与结构优化,旨在提升材料的催化活性与稳定性.讨论了海水电解制氢和耦合制氢等新兴技术,强调通过电解质组成优化、高效双功能催化剂开发及利用小分子氧化反应热力学优势,可有效提升电解水制氢效率和系统稳定性.最后,提出了电解水制氢技术的发展趋势与未来研究方向,包括提升催化剂性能、降低电解过程能耗、开发新型电解设备等,旨在促进电解水制氢技术的进步,助力全球碳中和目标的实现,并为未来的研究提供参考与指导.

关键词：碳中和氢能电解水制氢催化剂电极材料

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

多轴向叶片预制体三维织造成形工艺研究

南京航空航天大学学报 2025年第01期 100-108页

作者：边金帅王尧尧孙正郭子桐檀晨晨郭科宏南京航空航天大学机电学院南京航空航天大学航空航天结构力学与控制全国重点实验室南京航空航天大学材料科学与技术学院

为实现复合材料多轴向叶片预制体三维织造成形，开展多轴向复合材料预制体微观结构研究，发现正交纱线与斜向纱线单层织造厚度存在差异，提出三维模型非等厚度分层准则，基于Python开发三维模型非等厚度切片测试程序，对叶片模型进行切... 详细信息

为实现复合材料多轴向叶片预制体三维织造成形，开展多轴向复合材料预制体微观结构研究，发现正交纱线与斜向纱线单层织造厚度存在差异，提出三维模型非等厚度分层准则，基于Python开发三维模型非等厚度切片测试程序，对叶片模型进行切片测试，获取每层纱线织造范围，根据切片结果进行分层织造。试验结果表明，根据非等厚度切片算法对三维模型进行切片所得到的各层织造轮廓进行织造可以实现样件预制体的近净成形，对于多轴向异形构件近净成形具有重要工程意义。

关键词：三维织造多轴向叶片碳纤维复合材料近净成形预制体

超大尺度柔性航天器动力学建模与高精度形-姿协同控制研究进展

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国科学:物理学力学天文学 2025年第2期 6-22页

作者：刘付成朱东方李爽李鸿光郭延宁齐乃明王北超冯昆鹏孙俊上海航天技术研究院上海航天控制技术研究所上海市空间智能控制技术重点实验室南京航空航天大学航天学院上海交通大学机械系统与振动国家重点实验室哈尔滨工业大学航天学院南京航空航天大学自动化学院

超大尺度柔性航天器是天基遥感和空间资源开发等重大任务的核心,带有连接铰链的超大尺度柔性结构引发动力学建模与控制难题,直接影响了柔性结构形态和航天器姿态控制精度,关系到高时空分辨率观测等任务的成败.因此,本文基于超大尺度柔... 详细信息

超大尺度柔性航天器是天基遥感和空间资源开发等重大任务的核心,带有连接铰链的超大尺度柔性结构引发动力学建模与控制难题,直接影响了柔性结构形态和航天器姿态控制精度,关系到高时空分辨率观测等任务的成败.因此,本文基于超大尺度柔性航天器动力学与控制的内在逻辑和关键科学问题,综述并分析了现阶段复杂热荷载作用下的铰链摩擦特性与低维刚-柔-热耦合非线性动力学建模方法研究进展;非线性温变与黏滞-滑移摩擦力作用下的大型航天器刚-柔耦合机理研究进展;传感数据重构、传感器布局优化和海量数据高效并行计算方法以及高稳健高动态分布式传感信息的串扰补偿机制研究进展;超大尺度柔性航天器多约束形-姿协同调控机制与高精度控制方法研究进展;轻量化高动态分布式应变与温度一体化测量系统研究进展,并总结了上述研究领域的发展现状和亟需解决的难题.最后,对超大尺度柔性航天器动力学与控制领域未来亟待突破的共性理论与方法进行了展望.

关键词：超大尺度柔性航天器形-姿协同控制黏滞-滑移摩擦刚-柔耦合机理信号串扰补偿

同方期刊数据库

压电-光催化作用对CaP在TC4表面ZnO纳米棒阵列上的沉积机制

在线全文

学校读者我要写书评

暂无评论

南京航空航天大学学报 2025年第01期 139-146页

作者：陈天濠周清许晓键南京航空航天大学机电学院

由于钛合金（TC4）的表面惰性，其作为骨植入材料在生物相容性方面存在局限性。本文采用水热生长法在TC4表面成功构建了具有压电和光催化特性的ZnO纳米棒阵列涂层。在模拟体液中进行的仿生矿化实验中，通过对样品表面施加振动和紫外光... 详细信息

由于钛合金（TC4）的表面惰性，其作为骨植入材料在生物相容性方面存在局限性。本文采用水热生长法在TC4表面成功构建了具有压电和光催化特性的ZnO纳米棒阵列涂层。在模拟体液中进行的仿生矿化实验中，通过对样品表面施加振动和紫外光照射，探究压电-光催化共同作用下对磷酸钙（CaP）的沉积的影响，提出了一种新的仿生矿化沉积CaP的方法。结果表明：氧化锌的压电-光催化共同作用显著增强了CaP的沉积量，优于单独压电或光催化作用下的沉积量。此外，单独的振动或紫外光照也表现出较未处理样品更高的CaP沉积量。本文在钛合金片表面制备了ZnO纳米棒阵列，并提出了一种利用压电-光共同作用增强CaP沉积的方法，为涂层技术及生物医用材料的进一步开发应用提供了一种新思路。

关键词： TC4 氧化锌压电-光催化磷酸钙仿生矿化

缠绕张力对T800级碳纤维力学性能转化率的影响

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

复合材料学报 2025年第1期42卷 200-209页

作者：吴俊勇顾轶卓杨中甲刘新宇曾慧王绍凯李敏北京航空航天大学前沿科学技术创新研究院北京100191 北京航空航天大学化学学院北京100191 四川玄武岩纤维新材料研究院(创新中心) 广安611138 北京航空航天大学材料科学与工程学院北京100191

为探究碳纤维在缠绕工艺中纤维性能转化率的影响因素,对3种T800级碳纤维进行了NOL环性能测试,研究了缠绕张力对环氧树脂基复合材料力学性能及纤维性能转化率的影响,进一步测试了缠绕损伤纤维的力学性能及微结构参数。结果表明:缠绕张力... 详细信息

为探究碳纤维在缠绕工艺中纤维性能转化率的影响因素,对3种T800级碳纤维进行了NOL环性能测试,研究了缠绕张力对环氧树脂基复合材料力学性能及纤维性能转化率的影响,进一步测试了缠绕损伤纤维的力学性能及微结构参数。结果表明:缠绕张力变化引起了NOL环纤维含量、孔隙率、拉伸性能及破坏模式的变化;采用X射线衍射、拉曼光谱、小角X射线散射表征了纤维的结晶结构、石墨结构完整程度及微观缺陷,发现缠绕损伤纤维微晶结构参数未发生明显变化,故纤维拉伸模量下降较少;张力增大,损伤纤维孔洞缺陷增多,导致纤维和复合材料拉伸强度下降;进口纤维较国产纤维有更高的性能转化率,在相同张力水平下纤维损伤较小。

关键词：碳纤维环氧树脂基复合材料缠绕成型 NOL环微结构

基于多数据融合的机器人智能无序抓取系统开发

在线全文

学校读者我要写书评

暂无评论

组合机床与自动化加工技术 2025年第1期 122-126页

作者：杨平肖硕男厦门大学航空航天学院厦门361102

在机器人无序抓取场景中,现有的目标定位及位姿估计算法存在如鲁棒性不足、难以处理弱纹理和对称物体等问题,结合多数据融合方法开展机器人智能无序抓取系统开发。首先,针对复杂场景中的弱纹理目标,完成无序抓取系统的硬件设计。利用物... 详细信息

在机器人无序抓取场景中,现有的目标定位及位姿估计算法存在如鲁棒性不足、难以处理弱纹理和对称物体等问题,结合多数据融合方法开展机器人智能无序抓取系统开发。首先,针对复杂场景中的弱纹理目标,完成无序抓取系统的硬件设计。利用物理渲染合成样本增大数据集,并训练工件检测模型。通过Mask R-CNN网络进行目标识别,并设计了一种基于深度信息筛选的算法,用于简化堆叠场景;其次,提出基于点对特征匹配的位姿估计算法,利用FPFH算法估计点云特征,并通过RANSAC循环求解初始位姿,再使用ICP算法进行优化;最后,搭建基于视觉引导的机器人抓取系统,并在实验中验证了算法的快速、准确和稳定性。

关键词：机器人抓取目标识别物体位姿估计点云配准