摘要：为能正确高效地生成修复补丁,针对Java程序中出现频率较高的条件语句相关缺陷修复问题,将启发式搜索方法与语义约束求解方法相结合,提出一个有针对性、更高效的解决方案。针对条件语句缺失错误,采用基于组件的程序合成技术,合成满足约束的候选条件语句;针对条件语句逻辑表达式错误,采用变异技术,生成候选逻辑表达式;针对条件语句逻辑表达式错误中,不能用变异技术修复的缺陷,使用基于组件的约束求解方法生成候选补丁。实验结果表明,所提方法有更高的补丁召回率和准确率。

摘要：通过分析机器人控制柜细化布局设计的时机、布置时的管线约束、空间要求、便利性要求,提升焊装线布局设计质量,有效避免控制柜现场布置时电缆长度不够、控制柜占用物流通道、调试时不方便等问题,减少对影响项目周期和成本的不良影响。

摘要：本文旨在改进“十四五”规划中关于促进物流业与制造业深度合作、创新驱动和高质量发展的论述。同时,本文还着重强调推动绿色低碳化发展,并提倡智慧化发展,以促进物流软硬件的进一步融合和推动物流向智慧化、自动化方向发展。在此基础上,提出基于智慧物流背景下的创新装卸搬运系统设计,旨在为建立供需适配、内外联动、智慧绿色的现代物流体系提供参考价值。

摘要：根据GB 50497—2019《建筑基坑工程监测技术标准》规定,人工测斜监测是以测斜仪探头置入测斜管底后,自下而上以不大于0.5 m间隔逐段测量。测斜间隔不大于0.5 m,其主要由测斜仪探头规格、数据曲线连续性、测量精度、可操作性和设计验算5个影响因素决定。随着固定式测斜仪的普及与应用,测量频率和时效性大大提高,在保证测量精度和满足工程实际需要的前提下,研究增大测斜间隔以节省时间和人工成本,十分必要。通过多个工程实例,利用多元曲线回归分析得出与0.5 m测斜间隔曲线最佳吻合曲线,与测斜实测值比对,并利用实际验算的最大挠度值反分析,结果发现1.0 m监测间隔能较好地反映深层水平位移的变形。

摘要：来华留学生教育不仅是知识的传授,而且是培养“知华、友华、爱华”国际人才的重要途径之一,其中不可或缺的就是课程思政,但当前全英文专业课程仍是思政建设的盲区。本文基于《物流与供应链管理》课程视角,针对外文教材、学生基础、师生沟通、课程联动等方面存在的问题,探索了适合来华留学生的课程思政元素挖掘方案与教学设计思路,提出了中国情怀培养、“熟知点”切入、思政素材传递形式多样化等具体实施路径。

摘要：选取31个高大支模工程项目进行监测,采用自动化实时监测方法进行数据采集,通过对数据进行分类统计、监测项相互关系分析以及实测值与设计报警值关系分析,得出各监测项的报警指标及其合理性。为参建各方的高大支模设计方法的研究和报警值确定提供参考依据。

摘要：机器人仿真技术是自动化生产线设计的基础。焊装线应用的机器人数量和种类多,承担的功能各不相同,仿真验证内容差别很大,仿真时容易顾此失彼、抓不住重点。通过总结归纳出机器人仿真的两个核心要点——可达性和通过性,可以迅速找到仿真验证的重点。可达性主要是考虑机器人本身的工作范围,需要在各个位置留有机器人关节行程余量。通过性主要是考虑工作路径上与其他设备之间的干涉,需要留出安全距离。不同功能的机器人仿真验证,实质上是机器人可达性和通过性要素结合具体的功能进行详细展开。对于带有搬运功能的机器人(包含抓件、装件机器人),需要注意取件点/放件点可达性,同时在取件点/放件点时,检查抓手进出空间、夹头打开空间,避免干涉。对于焊接机器人,需要确保每个焊接位置和重要过渡点可达,同时确保焊接过程中焊钳的进出、焊前打开/关闭不与周边设备干涉。对于涂胶机器人,需要优先确保胶枪与钣金件垂直时,涂胶起止点的可达性;另外,需要检查涂胶路径上,胶枪与零件之间是否干涉。实际生产线上的机器人仿真,面临的工作环境更加复杂,只要抓住可达性和通过性这两个要素,再结合具体的功能、环境约束,对可达性、通过性进行具体的展开,就能快速、高效地完成仿真验证工作。

摘要：通过企业调查和数理统计分析,提炼出度量现代制造环境下知识工作效率的6个适用维度,并提出知识工作效率维度的非均衡性.建立了一个以任务规定数量的完成度、质量、有效性、客户满意度、创新性为变量,以任务规定时间为度量基准的现代制造环境下知识工作效率度量模型.采用该模型对LS型螺旋运输机的适应性设计活动进行测度实验,结果表明该效率度量模型有效.

摘要：2019年的中国互联网,刮起了一股李佳琦旋风,"买它!买它!买它!"成为了流行语,这也是一个直播电商挑战传统营销方式的大事件。2019年10月21日,天猫双11预售首日,多款品牌单品通过直播引导预售成交破亿,其中更有6分钟破亿的"秒杀"爆款,直播真正成为了商家在天猫双11的标配。

摘要：作为艺术门类之一的建筑设计,视觉审美作为其核心问题一直受到高度的关注。从古希腊时期到现代主义时期,建筑作为视觉的对象和视觉发生的场所,不可避免地伴随视觉研究的理性化而转向形体设计的理性化,并成为科学技术与机械理性的现代产物。而随着当代视觉文化传媒的兴起与对理性中心主义的批判,又出现了极端追求视觉化的"视觉建筑"。本文对视觉影响下的建筑发展进行了详细阐述,对建筑视觉背后理性与感性两方面进行了思考。