期刊文献+
共找到3,173篇文章
< 1 2 159 >
每页显示 20 50 100
New partial cooperation model for bilevel programming problems 被引量:4
1
作者 Shihui Jia Zhongping Wan +1 位作者 Yuqiang Feng Guangmin Wang 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2011年第2期263-266,共4页
Partial cooperation models are studied for many years to solve the bilevel programming problems where the follower’s optimal reaction is not unique. However, in these existed models, the follower’s cooperation level... Partial cooperation models are studied for many years to solve the bilevel programming problems where the follower’s optimal reaction is not unique. However, in these existed models, the follower’s cooperation level does not depend on the leader’s decision. A new model is proposed to solve this deficiency. It is proved the feasibility of the new model when the reaction set of the lower level is lower semicontinuous. And the numerical results show that the new model has optimal solutions when the reaction set of the lower level is discrete, lower semi-continuous and non-lower semi-continuous. 展开更多
关键词 bilevel programming reaction set optimistic model pessimistic model partial cooperation model cooperation level.
在线阅读 下载PDF
Bi-level programming model for reconstruction of urban branch road network 被引量:6
2
作者 史峰 黄恩厚 +1 位作者 陈群 王英姿 《Journal of Central South University》 SCIE EI CAS 2009年第1期172-176,共5页
Considering the decision-making variables of the capacities of branch roads and the optimization targets of lowering the saturation of arterial roads and the reconstruction expense of branch roads, the bi-level progra... Considering the decision-making variables of the capacities of branch roads and the optimization targets of lowering the saturation of arterial roads and the reconstruction expense of branch roads, the bi-level programming model for reconstructing the branch roads was set up. The upper level model was for determining the enlarged capacities of the branch roads, and the lower level model was for calculating the flows of road sections via the user equilibrium traffic assignment method. The genetic algorithm for solving the bi-level model was designed to obtain the reconstruction capacities of the branch roads. The results show that by the bi-level model and its algorithm, the optimum scheme of urban branch roads reconstruction can be gained, which reduces the saturation of arterial roads apparently, and alleviates traffic congestion. In the data analysis the arterial saturation decreases from 1.100 to 0.996, which verifies the micro-circulation transportation's function of urban branch road network. 展开更多
关键词 branch road RECONSTRUCTION bi-level programming model micro-circulation traffic
在线阅读 下载PDF
Tri-level programming model for combined urban traffic signal control and traffic flow guidance 被引量:2
3
作者 SUN Zhi-yuan LU Hua-pu QU Wen-cong 《Journal of Central South University》 SCIE EI CAS CSCD 2016年第9期2443-2452,共10页
In order to balance the temporal-spatial distribution of urban traffic flow, a model is established for combined urban traffic signal control and traffic flow guidance. With consideration of the wide use of fixed sign... In order to balance the temporal-spatial distribution of urban traffic flow, a model is established for combined urban traffic signal control and traffic flow guidance. With consideration of the wide use of fixed signal control at intersections, traffic assignment under traffic flow guidance, and dynamic characteristics of urban traffic management, a tri-level programming model is presented. To reflect the impact of intersection delay on traffic assignment, the lower level model is set as a modified user equilibrium model. The middle level model, which contains several definitional constraints for different phase modes, is built for the traffic signal control optimization. To solve the problem of tide lane management, the upper level model is built up based on nonlinear 0-1 integer programming. A heuristic iterative optimization algorithm(HIOA) is set up to solve the tri-level programming model. The lower level model is solved by method of successive averages(MSA), the middle level model is solved by non-dominated sorting genetic algorithm II(NSGA II), and the upper level model is solved by genetic algorithm(GA). A case study is raised to show the efficiency and applicability of the proposed modelling and computing method. 展开更多
关键词 traffic engineering traffic signal control traffic flow guidance tri-level programming model
在线阅读 下载PDF
Intelligent model of rehabilitation training program for stroke
4
作者 纪雯 王建辉 +1 位作者 方晓柯 顾树生 《Journal of Central South University》 SCIE EI CAS 2014年第2期629-635,共7页
In view of the uncertainty and complexity,the intelligent model of rehabilitation training program for stroke was proposed,combining with the case-based reasoning(CBR) and interval type-2 fuzzy reasoning(IT2FR).The mo... In view of the uncertainty and complexity,the intelligent model of rehabilitation training program for stroke was proposed,combining with the case-based reasoning(CBR) and interval type-2 fuzzy reasoning(IT2FR).The model consists of two parts:the setting model based on CBR and the feedback compensation model based on IT2FR.The former presets the value of rehabilitation training program,and the latter carries on the feedback compensation of the preset value.Experimental results show that the average percentage error of two rehabilitation training programs is 0.074%.The two programs are made by the intelligent model and rehabilitation physician.That is,the two different programs are nearly identical.It means that the intelligent model can make a rehabilitation training program effectively and improve the rehabilitation efficiency. 展开更多
关键词 intelligent model interval type-2 fuzzy reasoning case-based reasoning UNCERTAINTY rehabilitation training program STROKE
在线阅读 下载PDF
考虑运营风险的医疗废物回收选址多目标鲁棒优化研究 被引量:3
5
作者 马艳芳 刘畅 +1 位作者 黄思雨 杨丽宁 《计算机工程与应用》 北大核心 2025年第1期341-351,共11页
为规避突发公共卫生事件下的不确定风险,研究医疗废物回收网络中的回收中心、处理中心、处置中心等节点选址问题,以总成本最小以及总风险最小为目标,构建考虑运营风险的医疗废物回收选址多目标鲁棒优化模型,设计非支配排序遗传算法,提出... 为规避突发公共卫生事件下的不确定风险,研究医疗废物回收网络中的回收中心、处理中心、处置中心等节点选址问题,以总成本最小以及总风险最小为目标,构建考虑运营风险的医疗废物回收选址多目标鲁棒优化模型,设计非支配排序遗传算法,提出p鲁棒迭代算子求解p值下界,采用轮盘赌选择,结合精英策略、均匀交叉和反向变异等遗传操作。基于仿真案例,求解确定性模型与鲁棒优化模型得到帕累托解。模型对比结果表明鲁棒优化模型适用所有情景,且成本相对遗憾值均小于2%,能够有效应对参数不确定引起的设施选址变化。对p值进行灵敏度分析,结果表明当0.004≤p≤0.08时,解的质量随p值增大而上升;p值越接近下界0.004,目标值下降越迅速,越适于应对紧急情况;同时决策者的风险偏好程度和总成本对设施布局有重要影响,需对二者进行综合权衡。 展开更多
关键词 医疗废物 多目标规划 选址模型 NSGA-II算法 鲁棒优化
在线阅读 下载PDF
基于Dynamo的Revit-Midas/Civil斜拉桥模型信息转换 被引量:2
6
作者 蔡金标 刘鸾翔 +2 位作者 冯倩 何欣 徐荣桥 《湖南大学学报(自然科学版)》 北大核心 2025年第1期132-138,共7页
BIM模型不支持有限元计算,且BIM模型与有限元分析模型数据交互困难,故BIM技术正向设计过程中存在建模效率低、模型修改困难等问题,无法做到BIM结构设计与有限元力学分析一体化,增加了结构模型建模与纠错成本.本文依托Revit和Midas/Civi... BIM模型不支持有限元计算,且BIM模型与有限元分析模型数据交互困难,故BIM技术正向设计过程中存在建模效率低、模型修改困难等问题,无法做到BIM结构设计与有限元力学分析一体化,增加了结构模型建模与纠错成本.本文依托Revit和Midas/Civil软件平台,在Dynamo环境下采用IronPython语言设计了一套Revit-Midas/Civil的模型信息转换程序.以博士大桥主桥为对象,通过程序自动实现:1)Revit模型桥梁构件分解、截面特性计算、拉索及梁塔弹性连接处理,并转换成适用于Midas/Civil的语言格式MCT文件,实现了Revit向Midas/Civil模型信息自动转换;2)将有限元计算结果反馈到Revit模型中,对作用效应信息按数值大小赋予渐变颜色,实现了在BIM模型中显示有限元分析结果的展示功能.本文程序可实现Revit-Midas/Civil模型信息转换,有效提高了BIM正向应用效率,弥补了BIM技术在桥梁结构分析方面的不足. 展开更多
关键词 斜拉桥 模型转换 Dynamo混合编程 REVIT MIDAS/CIVIL
在线阅读 下载PDF
架空机器人紧凑型仓储系统单轨道取货调度研究
7
作者 马云峰 陈磊 +2 位作者 胡依娜 任亮 周志刚 《运筹与管理》 北大核心 2025年第5期97-103,共7页
架空机器人紧凑型仓储系统是一种密集型仓储系统,该系统在拥有超高存储密度的同时还保证了较高的存取速度。为解决架空机器人紧凑型仓储系统中的单轨道取货这一基本问题,以最小化翻箱次数和拣选机器人负载移动距离为目标,建立了整数规... 架空机器人紧凑型仓储系统是一种密集型仓储系统,该系统在拥有超高存储密度的同时还保证了较高的存取速度。为解决架空机器人紧凑型仓储系统中的单轨道取货这一基本问题,以最小化翻箱次数和拣选机器人负载移动距离为目标,建立了整数规划模型,并设计了基于集束搜索的启发式算法(BSH)。数值实验表明,对于小规模算例,整数规划模型可以在合理时间得到最优解,启发式算法也可以在短时间得出近似最优解并且与整数规划模型的gap维持在1%左右;对于中到大规模算例,整数规划模型无法在合理的时间得出最优解,BSH算法可以在短时间得出优质解,与企业常用的贪心算法对比均能降低20%以上的取货成本;与传统的集束搜索算法相比,BSH算法的性能提升了7%到12%,证明了BSH算法改进的有效性;在系统配置方面,得出了随着轨道中货位数量增加,最优堆栈层数也在增加的结论,为企业的实际应用提供决策支持。 展开更多
关键词 调度 紧致化仓储系统 ORCSRS 整数规划模型 启发式算法
在线阅读 下载PDF
科技计划项目组织模式与决策机制探析
8
作者 韩海波 《研究与发展管理》 北大核心 2025年第3期187-194,共8页
随着新一轮科技革命和产业变革的加速推进,科技计划项目作为国家科技创新体系的重要组成部分,其组织管理模式的演变对创新资源配置效率和决策机制产生了深远影响。本文系统梳理了国内外科技计划项目组织管理模式的历史演变和现状,对比... 随着新一轮科技革命和产业变革的加速推进,科技计划项目作为国家科技创新体系的重要组成部分,其组织管理模式的演变对创新资源配置效率和决策机制产生了深远影响。本文系统梳理了国内外科技计划项目组织管理模式的历史演变和现状,对比分析了国内外各类科技计划组织模式的特点和发展变化,并探讨了各类模式决策因素的作用机制。科技计划项目组织管理模式向多元化、协同化的转变过程反映了科技创新需求的多样化和复杂性,不同组织管理模式的选择是由需求侧和供给侧因素共同作用的体现,并以典型案例对比分析说明了上述关系。基于此,提出了优化我国科技计划项目组织管理模式和决策机制的政策建议,以期为我国科技管理实践提供理论支持和实践指导,推动科技计划项目管理体系的科学化和现代化。 展开更多
关键词 科技 计划 项目 管理 模式
在线阅读 下载PDF
我国基层医疗资源配置失配度测算及其时空演变分析
9
作者 李丽清 彭崟 +1 位作者 卢祖洵 袁岗 《中国全科医学》 北大核心 2025年第28期3495-3506,共12页
背景随着人口老龄化和慢性病患者比例的增加,人民群众对基层医疗资源的需求呈多样化、复杂化的态势。不同地区、不同人群对基层医疗资源的需求存在差异,部分地区面临基层医疗资源匮乏的问题,严重制约基层医疗卫生服务的覆盖率和质量,极... 背景随着人口老龄化和慢性病患者比例的增加,人民群众对基层医疗资源的需求呈多样化、复杂化的态势。不同地区、不同人群对基层医疗资源的需求存在差异,部分地区面临基层医疗资源匮乏的问题,严重制约基层医疗卫生服务的覆盖率和质量,极大影响居民的就医体验和健康状况。目的为推动基层医疗卫生服务体系高质量发展,引入健康距离模型,分析2011—2021年我国基层医疗资源配置失配度的时空演变过程,为合理制订区域卫生规划、优化医疗资源配置方案、提高基层医疗卫生服务能力、推动医疗卫生服务高质量发展提供参考。方法从卫生物力、人力、保障资源三个层面建立基层医疗资源失配度评价指标体系,从《中国卫生健康统计年鉴》《中国统计年鉴》获取数据,采用双层规划模型和健康距离模型测算2011—2021年基层医疗资源配置失配度。结果2011—2021年我国基层医疗资源配置整体失配度有明显的下降趋势,但是区际、省际间失配度差异不断扩大。2011年东、中、西部地区失配度平均值分别为0.633、0.624、0.754,分别为中度失配、轻度匹配和重度失配。2021年东、中、西部地区失配度平均值分别为0.479、0.522、0.639,分别为中度匹配、轻度匹配和中度失配。结论尽管我国基层医疗资源配置的整体失配度呈下降趋势,但仍然存在明显的差异,医疗资源配置的不均衡性仍在加剧。为持续优化基层医疗配置,推动基层医疗卫生服务体系高质量发展,提升我国医疗卫生体系的效能,需注重区域间资源配置的均衡性,因地制宜地制定差异化政策,以进一步优化医疗资源配置,提升基层医疗卫生服务的覆盖率和质量。 展开更多
关键词 卫生资源 资源配置 失配度 基层医疗资源配置 双层规划模型 时空格局
在线阅读 下载PDF
绿色与数智化运营下机场地勤车辆调度优化
10
作者 田琼 陈晓静 郭蕊 《工程管理科技前沿》 北大核心 2025年第2期25-32,共8页
机场电动无人驾驶车辆应用有助于减少碳排放,促进机场数智化建设。本文研究了与航班准点率及旅客行程体验密切相关的采用无人驾驶的摆渡车及行李车的机场电动地勤车辆调度问题。在满足航班服务时间窗,并允许车辆在航班服务过程中进行全... 机场电动无人驾驶车辆应用有助于减少碳排放,促进机场数智化建设。本文研究了与航班准点率及旅客行程体验密切相关的采用无人驾驶的摆渡车及行李车的机场电动地勤车辆调度问题。在满足航班服务时间窗,并允许车辆在航班服务过程中进行全额或部分充电的条件下,建立了以最小化机场车辆运营成本及航班服务时间为目标的混合整数线性规划模型,结合航班服务等待时间最小化机制,设计了以Gurobi航班服务时序轮转法为基础的TR_SWT贪心算法。在数值实验中,采用北京首都国际机场的实际运营数据,通过灵敏度分析,指出了合理地控制行李车速度,有利于兼顾安全及运营收益,并基于小规模算例及实际算例测试了模型的合理性及方法的有效性,证明了所提出的方法在减少航班延迟服务方面具有优越性,可为机场地勤车辆调度的绿色与数智化运营提供理论借鉴。 展开更多
关键词 机场电动无人驾驶车辆 航班服务 车辆调度 混合整数线性规划模型 TR_SWT贪心算法
在线阅读 下载PDF
基于FCMFS特征选择算法的煤层气压裂效果预测
11
作者 闵超 郭星 +2 位作者 华青 张娜 张馨慧 《西南石油大学学报(自然科学版)》 北大核心 2025年第2期95-104,共10页
煤层气压裂效果与特征之间存在的非线性关系难以从机理层面进行分析,针对该问题,开展煤层气压裂效果特征内在联系研究,提出了一种基于FCMFS特征选择算法的煤层气压裂效果预测方法。该方法利用模糊综合评价进行标签标定,并采用遗传编程和... 煤层气压裂效果与特征之间存在的非线性关系难以从机理层面进行分析,针对该问题,开展煤层气压裂效果特征内在联系研究,提出了一种基于FCMFS特征选择算法的煤层气压裂效果预测方法。该方法利用模糊综合评价进行标签标定,并采用遗传编程和XGBoost算法进行影响因素特征构造和筛选,包括2个新构造特征(应力比和地质施工遗传因素)以及射孔段厚度、渗透率、破裂压力、煤体结构、含气饱和度和加砂强度等6个特征。实验结果表明,基于FCMFS特征选择算法所构造和筛选的8个特征,结合多种机器学习算法进行煤层气压裂效果预测时,在准确率、召回率、F1分类评价指标上提高了约5%~10%,其中,深度森林模型在训练集和测试集上具有最优的预测分类效果,在3项分类评价指标上均达到95%和80%以上。 展开更多
关键词 煤层气 压裂效果 主控因素 遗传编程 深度森林模型
在线阅读 下载PDF
基于现代产业学院探索乳品专业研究生人才培养模式
12
作者 李春 张国芳 +6 位作者 于思洋 李艾黎 崔立雪 任萌 杜鹏 钱芳 刘丽波 《农产品加工》 2025年第3期121-124,共4页
建设现代产业学院是精进人才培育供给侧改革的必然决策,代表着新发展观念的实质需求,以及满足产业进步所需的基础途径。随着社会的不断进步,高等教育机构在进行人才培育时应以靠省内乳品产业发展需求为基础,落实立德树人根本任务,依赖... 建设现代产业学院是精进人才培育供给侧改革的必然决策,代表着新发展观念的实质需求,以及满足产业进步所需的基础途径。随着社会的不断进步,高等教育机构在进行人才培育时应以靠省内乳品产业发展需求为基础,落实立德树人根本任务,依赖现代产业学院优化产教一体化的人才培养配合机制,执行扶持人才基本职责,探索乳品工程专业学位研究生培养模式,培育适应市场进步需求的高技巧、强素质的优质人才。 展开更多
关键词 现代产业学院 乳品工程专业 人才培养模式 课程思政 研究生教学
在线阅读 下载PDF
基于CBAM-CNN的CPS负荷重分配攻击检测定位方法设计
13
作者 陆玲霞 马朝祥 +1 位作者 闫旻睿 于淼 《实验技术与管理》 北大核心 2025年第6期78-89,共12页
负荷重分配攻击是一种特殊的虚假信息注入攻击。对于电力信息物理系统,基于模型的方法难以检测定位多类型负荷重分配攻击,且针对多类型负荷重分配攻击的数据驱动检测定位方法研究较少。为此,设计了一种以双层规划模型为基础的,基于带卷... 负荷重分配攻击是一种特殊的虚假信息注入攻击。对于电力信息物理系统,基于模型的方法难以检测定位多类型负荷重分配攻击,且针对多类型负荷重分配攻击的数据驱动检测定位方法研究较少。为此,设计了一种以双层规划模型为基础的,基于带卷积注意力模块神经网络的负荷重分配攻击定位检测方法。首先对电力信息物理系统中的信息系统进行建模,总结得到三种信息侧负荷重分配攻击行为。随后建立考虑攻击者和调度中心管理者博弈关系的双层规划模型,针对不同攻击场景生成负荷重分配攻击数据集。为了检测定位不同类型的攻击,将所研究问题转化为多标签分类问题,利用卷积神经网络的卷积结构特性挖掘并学习具有稀疏标签数据的邻域信息,引入卷积注意力模块,从通道信息和空间信息两个角度增强网络对于重点信息的学习能力,改善了网络漏判率较高的问题,提高了网络检测定位性能。在38节点电力信息物理系统算例上进行仿真实验,验证了所提方法的有效性。与对比方法相比,所提方法对于三种攻击类型都有较低的误判率和漏判率,检测定位性能更加出色。 展开更多
关键词 电力信息物理系统 负荷重分配攻击 双层规划模型 数据驱动 卷积注意力模块 卷积神经网络
在线阅读 下载PDF
如何培养高质量职业教育师资?——德国本硕连读课程模式及其启示
14
作者 毛菊 夏冬梅 《外国教育研究》 北大核心 2025年第1期118-128,共11页
职业教育作为与新质生产力紧密相连的教育类型,对经济社会发展至关重要。职教师资作为其核心要素直接关涉人才培养质量。然而,当前我国职教师资培养的课程设置存在系列问题。德国的三种主流本硕连读课程模式为这些问题的解决提供了启示... 职业教育作为与新质生产力紧密相连的教育类型,对经济社会发展至关重要。职教师资作为其核心要素直接关涉人才培养质量。然而,当前我国职教师资培养的课程设置存在系列问题。德国的三种主流本硕连读课程模式为这些问题的解决提供了启示。连续型课程模式,旨在培养职教师范生实践反思能力、形成阶梯式技术与实践融合的课程;补充型课程模式,旨在打造职教师范生的跨学科能力、形成专业技术与跨学科能力融合的课程;混合型课程模式,旨在培养跨界-研究能力、形成跨学科知识与研究导向的课程。这些课程模式虽有差异,但突出体现了职业导向性、实践融合性、灵活适应性。借鉴德国的课程模式,我国职教师资培养应注重“构建‘立交桥’式课程”“凸显实践性”“提升兼容性”“人文性”,从而培养职教教师的适应性。 展开更多
关键词 德国 职业技术师范教育 课程模式 本硕连读 职教师范生
在线阅读 下载PDF
饱和软黏土的ESF弹塑性模型及其验证
15
作者 徐日庆 俞天赐 +3 位作者 吴明明 张岗平 鞠露莹 徐启良 《湖南大学学报(自然科学版)》 北大核心 2025年第3期151-160,共10页
为描述饱和软黏土的强度变形特性并解决传统弹塑性模型中屈服面角点处塑性应变增量方向不够明确的问题,建立了一种饱和软黏土的蛋形屈服面弹塑性本构模型.首先,基于蛋形函数(ESF),采用相关联流动法则,以塑性体应变作为内变量,建立了饱... 为描述饱和软黏土的强度变形特性并解决传统弹塑性模型中屈服面角点处塑性应变增量方向不够明确的问题,建立了一种饱和软黏土的蛋形屈服面弹塑性本构模型.首先,基于蛋形函数(ESF),采用相关联流动法则,以塑性体应变作为内变量,建立了饱和软黏土的ESF弹塑性模型.模型通过引入封闭光滑的蛋形屈服面,克服了传统屈服面的角点缺陷.通过调整蛋形形状控制参数,将屈服面灵活转化为包括子弹形、椭圆形在内的多种形式,体现了模型的可退化性及通用性.然后,开展了杭州地区饱和软黏土的应力路径三轴不排水剪切试验,分析了软黏土的力学特征,并据此研究了模型参数在不同围压下的稳定性;最后,编制隐式积分算法有限元程序,利用杭州地区饱和软黏土和相关文献中饱和高岭土在不同围压下的等压固结不排水三轴试验验证模型的有效性.对比结果表明:模型计算值与实测值吻合良好,说明该模型能够合理预测不同类型饱和软黏土的不排水剪切特性. 展开更多
关键词 饱和软黏土 蛋形屈服面 弹塑性本构模型 不排水三轴试验 有限元程序
在线阅读 下载PDF
高铁快运专列运行图加线方法研究
16
作者 帅斌 刘一江 +3 位作者 许旻昊 谢安昊 孙宗胜 法慧妍 《交通运输系统工程与信息》 北大核心 2025年第3期276-287,共12页
为安全高效地组织开行新增高铁快运专列,满足快捷货物运输市场日益增长的需求,本文对快运专列运行图加线方法展开研究。新增快运专列不得影响原有旅客列车时刻表,并且与旅客列车相比,快运专列的运行径路选择更灵活。针对这些特点,本文... 为安全高效地组织开行新增高铁快运专列,满足快捷货物运输市场日益增长的需求,本文对快运专列运行图加线方法展开研究。新增快运专列不得影响原有旅客列车时刻表,并且与旅客列车相比,快运专列的运行径路选择更灵活。针对这些特点,本文在不调整旅客列车的前提下,通过K短路算法求解各专列运行径路备选集,并在此基础上于路网层面构建快运专列加线模型。模型以所有专列运行总耗时最短为目标,综合考虑列车运行径路规划与列车运行图两方面的约束,并将模型转化为整数线性规划模型,利用Gurobi进行求解。本文通过成都、重庆和贵阳地区的局部路网进行实例验证。结果显示:相较于固定运行区段加线模型,本文所构建的模型不仅能实现更多专列的成功加线,而且使运行总耗时压缩35.50%,有效提升了快运专列的运输效率;特别是随着运行径路备选集规模扩大,成功加线的专列数量进一步增加,运输效率的提升效果也更加显著。此外,本文在求解过程中采用“热启动”加速策略,能有效加快上下界收敛速度,进而提升求解效率。 展开更多
关键词 铁路运输 列车运行图加线方法 整数线性规划模型 列车运行图 高铁快运专列
在线阅读 下载PDF
预训练模型在软件工程领域应用研究进展 被引量:2
17
作者 宫丽娜 周易人 +3 位作者 乔羽 姜淑娟 魏明强 黄志球 《软件学报》 北大核心 2025年第1期1-26,共26页
近年来深度学习在软件工程领域任务中取得了优异的性能.众所周知,实际任务中优异性能依赖于大规模训练集,而收集和标记大规模训练集需要耗费大量资源和成本,这限制了深度学习技术在实际任务中的广泛应用.随着深度学习领域预训练模型(pre... 近年来深度学习在软件工程领域任务中取得了优异的性能.众所周知,实际任务中优异性能依赖于大规模训练集,而收集和标记大规模训练集需要耗费大量资源和成本,这限制了深度学习技术在实际任务中的广泛应用.随着深度学习领域预训练模型(pre-trained model,PTM)的发布,将预训练模型引入到软件工程(software engineering,SE)任务中得到了国内外软件工程领域研究人员的广泛关注,并得到了质的飞跃,使得智能化软件工程进入了一个新时代.然而,目前没有研究提炼预训练模型在软件工程领域的成功和机遇.为阐明这一交叉领域的工作(pre-trained models for software engineering,PTM4SE),系统梳理当前基于预训练模型的智能软件工程相关工作,首先给出基于预训练模型的智能软件工程方法框架,其次分析讨论软件工程领域常用的预训练模型技术,详细介绍使用预训练模型的软件工程领域下游任务,并比较和分析预训练模型技术这些任务上的性能.然后详细介绍常用的训练和微调PTM的软件工程领域数据集.最后,讨论软件工程领域使用PTM面临的挑战和机遇.同时将整理的软件工程领域PTM和常用数据集发布在https://github.com/OpenSELab/PTM4SE. 展开更多
关键词 软件仓库挖掘 预训练模型 程序语言模型
在线阅读 下载PDF
基于Mastercam与Vericut的偏心轴数控编程与仿真加工
18
作者 李倩 《农机使用与维修》 2025年第5期91-94,共4页
该文分析了偏心轴的5种常用加工方法的使用场景、加工难点,提出了一种新的加工偏心轴的方法,接着用三维建模软件对偏心轴进行建模,利用Mastercam软件的高级旋转命令对偏心轴进行了粗加工,用三角网格功能对偏心轴进行了半精加工、精加工... 该文分析了偏心轴的5种常用加工方法的使用场景、加工难点,提出了一种新的加工偏心轴的方法,接着用三维建模软件对偏心轴进行建模,利用Mastercam软件的高级旋转命令对偏心轴进行了粗加工,用三角网格功能对偏心轴进行了半精加工、精加工,并利用后置功能生成了数控加工,最后利用Vericut仿真软件对偏心轴进行仿真加工,为偏心轴的加工提供了一种高效的加工方法。 展开更多
关键词 偏心轴高效加工 三维建模 四轴编程 仿真加工
在线阅读 下载PDF
一种基于DTW-DP-GMM的工业机器人轨迹学习策略 被引量:2
19
作者 肖洒 陈旭阳 +1 位作者 叶锦华 吴海彬 《天津大学学报(自然科学与工程技术版)》 EI CAS 北大核心 2025年第1期68-80,共13页
针对机器人示教编程过程中使用高斯混合模型(GMM)规划运动轨迹时存在的高斯分布个数难以选择、复现轨迹精度较低等问题,提出了一种复合的机器人运动轨迹学习策略.该策略包含动态时间规整(DTW)算法、高斯混合模型与道格拉斯-普克(DP)算法... 针对机器人示教编程过程中使用高斯混合模型(GMM)规划运动轨迹时存在的高斯分布个数难以选择、复现轨迹精度较低等问题,提出了一种复合的机器人运动轨迹学习策略.该策略包含动态时间规整(DTW)算法、高斯混合模型与道格拉斯-普克(DP)算法.首先,针对示教过程中采集的多条轨迹在时间长度上存在差异的问题,采用DTW算法来统一示教轨迹在时域上的变化.其次,使用GMM算法对示教轨迹的特征进行提取,并利用高斯混合回归(GMR)算法将其重构为复现轨迹.在这个过程中采用DP算法来预估GMM算法的关键参数高斯分布的数量,与传统方法相比,能够简单直观地得到相对准确的参数值.利用DP算法对复现轨迹的数据点进行稀疏化并优化,不仅确保了机器人最终运动轨迹的精度,而且大幅减少了最终轨迹数据点的数量.最后,进行了不同形状的模拟焊接轨迹学习规划实验.结果表明:经由DTW对齐后的示教轨迹具有更加明显的运动特征,经过GMM-GMR学习输出的复现轨迹具有良好的表征结果;在使用GMM-GMR算法学习示教轨迹的过程中,采用DP算法可以有效预估高斯分布个数;经过DP算法稀疏化并优化的最终轨迹的平均位置误差均在0.500 mm以内,其最大误差可以控制在0.800 mm以内,可以满足焊接轨迹规划的精度要求,验证了该策略的有效性和优越性. 展开更多
关键词 工业机器人 示教编程 高斯混合模型 道格拉斯-普克算法 动态时间规整 轨迹复现
在线阅读 下载PDF
智能化芯片设计程序测试研究综述 被引量:1
20
作者 李晓鹏 闫明 +5 位作者 樊兴宇 唐振韬 开昰雄 郝建业 袁明轩 陈俊洁 《软件学报》 北大核心 2025年第6期2453-2476,共24页
在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成... 在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成软件形式(即芯片设计程序),然后再进行物理设计并最终流片(即生产制造).作为芯片设计制造的基础,芯片设计程序的质量直接影响了芯片的质量.因此,针对芯片设计程序的测试具有重要研究意义.早期的芯片设计程序测试方法主要依赖开发人员人工设计测试用例来测试芯片设计程序,往往需要大量的人工成本和时间代价.随着芯片设计程序复杂度的日益增长,诸多基于仿真的自动化芯片设计程序测试方法被提出,提升了芯片设计程序测试效率及有效性.近年来,越来越多的研究者致力于将机器学习、深度学习和大语言模型(LLM)等智能化方法应用于芯片设计程序测试领域.调研88篇智能化芯片设计程序测试相关的学术论文,从测试输入生成、测试预言构造及测试执行优化这3个角度对智能化芯片设计程序测试已有成果进行整理归纳,重点梳理芯片设计程序测试方法从机器学习阶段、深度学习阶段到大语言模型阶段的演化,探讨不同阶段方法在提高测试效率和覆盖率、降低测试成本等方面的潜力.同时,介绍芯片设计程序测试领域的研究数据集和工具,并展望未来的发展方向和挑战. 展开更多
关键词 芯片设计程序测试 大语言模型 测试用例生成
在线阅读 下载PDF
上一页 1 2 159 下一页 到第
使用帮助 返回顶部