程序智能合成技术研究进展

来源 :软件学报 | 被引量 : 0次 | 上传用户:shinboy_zsl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,随着信息技术快速发展,软件重要性与日俱增,极大地推动了国民经济的发展.然而,由于软件业务形态越来越复杂和需求变化越来越快,软件的开发和维护成本急剧增加,迫切需要探索新的软件开发模式和技术.目前,各行业在软件活动中积累了规模巨大的软件代码和数据,这些软件资产为软件智能化开发建立了数据基础.与此同时,深度学习等人工智能技术在多个领域取得的成功应用,促使研究者考虑使用智能化技术与软件工程技术相结合,解决程序自动生成问题.程序智能合成方法是程序自动生成的新途径,通过实现软件开发过程的自动化,提高软件的生产
其他文献
基于气体热力学和流体力学在AMESim平台建立非线性空气弹簧模型,将其应用到UM建立的高速车辆模型中,对比分析了空气弹簧非线性弹簧模型和线性模型对车辆动力学性能的影响,研
锂离子电池荷电状态(SOC)的准确估计对新能源汽车的能量管理和续驶里程计算尤为重要。就一段估计区间而言,尽管自适应5阶容积卡尔曼滤波(AHCKF)的总体精度通常比自适应容积卡
压气机锥型鼓筒轴为TC4钛合金零件,TC4合金在发动机领域属于难加工的一类材料。压气机锥型鼓筒轴为7个压气机组成的整体结构,该结构形状复杂,其尺寸精度要求高。针对压气机锥
大口径KDP晶体因其特殊的物理材料属性,常通过单点金刚石飞切加工[1]。提出了一种基于大涡模拟的气膜波动模型,针对空气静压轴承内部结构,研究涡流的运动变化,通过对流场时变
激光焊接由于其焊接速度快、变形小、非接触式等诸多优点而被广泛应用在各个领域,但是对于能够实现多能场复合功能一体的激光焊接装置的研究相对较少。采用系统分析法,依据各
客车意外落水后破窗逃生的客车安全系统建设尤为重要。分析大客车自动破窗装置工作原理,提出基于弹簧动力、电磁动力、气体动力的三种客车自动破窗器方案。以气体爆破动力作
以CREO2.0为工具开发出一款电控挂锁,通过柔性开闭锁机构,实现低功耗的延时闭锁功能,其核心机械、电子零件实现模块化。文章阐述了其设计及实现方法。
本文介绍了中科院中关村青年小区研究生宿舍冷热站中央监控系统,包括高、低区空调冷热水系统和生活热水系统以及井水系统共5个子系统.具体有:系统设备联锁启停控制,设备台数
选择8种不同的焊接压力对4种规格聚乙烯(PE)管道进行焊接。通过对PE管道在热熔焊接过程中的压力、温度和位移量等参数变化进行测量,结合动态扫描量热试验结果得到相应的熔融