缺陷工艺调整_图文_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
评价文档：
缺陷工艺调整
上传于||文档简介
&&塑​胶​件​缺​陷​工​艺​调​整
大小：1.74MB
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢质检站缺陷 - 百度文库
质检站缺陷
二连浩特风光互补风电场一期49.5MW风机、指标
1风机塔架门固定销丢失应联系塔架厂家处理。
2与风机地网焊接搭接面不够、风机内接地连接螺栓处应加防松垫片，应符合GB 的规定。
3部分风机紧固螺栓未划防松通线。
4接地汇集排未与地网连接。
5舱门换气扇电机外壳应接地。
6风机塔基内光缆尾纤应穿管保护。
7部分风机塔架有污染掉漆现象、部分风机渗漏油较严重、风机内钢直梯梯棍无防滑措施，不符合GB
009规定。应尽快处理。
8风机基础环内孔洞应风度完善，远方通讯柜柜体、通讯设备未与等电位铜牌相连。
9高强螺栓现场复检报告中M36X320规格螺栓3#试件拉伸试验不合格。双头螺栓试验报告无结论。螺母、垫片硬度未做，实验室资质检测项目附件未提供。复检报告未做螺母保证载荷试验。
10塔架出厂公用卷中。焊工资格证书、无损检测人员资格。
11风机主要零部件出场资料不全。
12发电机出口电量表应提供试验报告。
13应按GB 的规定出具风机内电气设备、电气装置试验报告。 14风机测量传感器精度校验报告未见。
15应按GB/T 及GB/T 的规定出具控制器出厂报告。 16风机内通讯设备出厂证明文件未见。
17偏航系统出厂证明文件未见，应按JB/T4《风力发电机组偏航系统第一部分：技术条件》及JB/T 04《风力发电机组偏航系统第二部分：试验方法》的规定出具。
18变浆系统、液压系统出厂证明文件未见，应按JB/T 4《风力发电机组制动系统第一部分：技术条件》及JB/T 14《风力发电机组制动系统第二部分：试验方法&的规定出具。
19发电机出厂资料未见。
20齿轮箱及齿轮油出厂证明文件末见，应按GB/T 的规定出具。. 21风机整机质量保证书，总装记录，整机出厂测试报告未见。
22项目部成立文件和开工报告日期不符，项目经理任命与施工组织设计不符，施工机械、工器具外观检查未见，特殊工种缺少主吊指挥、维护人员、计量员证书。主要设备开箱检查记录，主要设备保管记录未见，安装转调试转序表，高强度螺栓外观检查记录、保管、领用记录未见，起重机械安全技术档案未见。
23静态调试报告中螺栓力矩抽检记录未见，接地导通测试，690V动力电缆试验，控制电缆绝缘检查记录，主要安装间隙现场实测记录。、
24调试报告应补充安全链、常规保护、通讯系统调试、监测系统调试内容。 25除14#、19#、22#外，其余风机在240h试运行期间均发生风机内部故障停机现象，不符合DL/T的规定。
26齿轮油72小时首次、1000小时第二次取样化验报告未见，应按GB/T 的规定进行。
27实际功率曲线与目标功率曲线偏差较大的原因应查明。
贡献者：ZHANG四海基于机器学习和程序分析相结合的程序调试技术研究--《上海交通大学》2013年博士论文
基于机器学习和程序分析相结合的程序调试技术研究
【摘要】：如何提高程序正确性是软件工程领域的一个核心问题。由于软件系统的复杂性以及程序缺陷的多样性,尚不存在普适的方法能保证程序绝对正确。一旦缺陷在程序运行中引发故障,则需要通过程序调试定位并修复缺陷。实际的程序调试需要大量人工参与,以交互和迭代的方式进行,其开销约占软件开发和维护成本的50%以上。因此,提高程序调试的效率有助于提升程序正确性,并能显著降低软件开发和维护成本。
鉴于程序调试的重要性,针对当前调试技术效率低下的问题,本文以提高程序调试技术的有效性和实用性作为目标,着眼于实际的交互式和迭代式调试场景,以程序分析和机器学习相结合作为主要途径,提出一套贯穿整个调试过程的新型程序调试技术。根据调试过程各阶段的特点,本文重点研究静态缺陷检测、静态和动态程序切片、基于日志和断点的交互式调试以及自动代码推荐等关键问题。
首先,针对静态缺陷检测误报率过高的问题,本文提出控制流图的精化和扩展方法,使其能更好支持静态警告的筛选和排序,在调试开始阶段为调试人员提供更准确的缺陷警告信息。在控制流图精化方面,本文首次提出利用机器学习发掘分支关联以探测不可达路径的方法。通过程序插装搜集动态分支数据,采用关联规则学习挖掘程序分支的潜在关联,并通过评估与潜在分支关联的一致性检测程序路径可达性。该方法无需分析复杂路径条件,适用于规模较大含有复杂分支谓词的程序,能探测传统方法难以探测的不可达路径。在控制流图扩展方面,本文主要研究控制流图概率化。针对现存方法不适用于面向对象程序中的虚函数调用的问题,首次提出根据静态程序特征预测虚函数动态调用频率的方法——Festival。基于训练程序集合,Festival一方面提取用于表征程序设计意图的特征值,另一方面获取虚函数调用频率,基于两方面数据构建人工神经网络模型,刻画特征值与频率之间的关系。对于有待预测频率的测试程序,Festival仅需提取其静态特征作为模型输入,模型输出即为调用频率估计值。Festival弥补了现存方法无法应用于面向对象程序的缺点,且无需运行待预测程序,不依赖于输入数据的质量,从而有效克服动态分析方法的共有局限性。
然后,在辅助交互式调试方面,本文针对当前常用工具(日志和断点)需消耗大量人力的缺点,提出自动化的分析、改进和生成技术。在日志分析方面,总结出日志使用的两个主要问题：1)冗余日志过多和2)关键日志缺失,首次提出从日志文件提取动态信息与传统静态程序切片相结合的日志切片技术,并基于日志切片提出日志精化技术。日志切片可削减冗余日志,同时产生更精简的程序切片。日志精化自动选择程序位置插入新日志语句,弥补现有日志中缺失的关键信息。另外,针对程序切片计算复杂度较高难以应用于交互式调试过程的问题,本文创新性的提出将程序切片过程分为离线和在线两个阶段。离线阶段进行各类静态程序分析并存储分析结果,在线阶段基于离线分析结果实时计算程序切片,从而大幅度缩短调试人员等待时间,使得日志切片可应用于交互式调试。同时,本文采用增量式和需求驱动式的数据流分析算法,确保离线分析结果与最新程序版本之间的一致性。除日志分析之外,本文结合最近邻搜索、动态程序切片和内存图分析技术,提出断点自动生成方法,节省手工设置断点的工作量。其中,最近邻搜索和动态程序切片用于自动选取断点设置位置,而针对特定程序位置选择特定时机进行内存图分析和生成条件断点的方法为本文首创。自动生成的断点能同时提示与缺陷相关的语句和程序状态,以调试人员熟悉的形式提供全面的辅助信息。
最后,在缺陷修复方面,提出以实时代码推荐的形式解决由于程序员对代码掌握不足所导致的修复效率低下的问题。本文首次指出API参数推荐的重要性,并提出基于程序分析和数据挖掘相结合的解决方案——Precise。根据大规模实际程序的数据分析,提出一组经验性规则,有效限定候选参数的搜索空间,使得Precise具备可行性和实用性。通过对训练程序代码的分析、抽象和转换,Precise预先构建参数使用实例数据库。针对各个参数推荐请求,Precise根据请求上下文,使用最近邻搜索算法从数据库中获取相似上下文中的抽象参数使用模式并进行具体化,实时提供具有适应性的参数推荐。选取API参数是使用API的重要组成部分,而现有代码推荐方法仅关注API方法推荐,因此Precise填补了代码推荐领域的一项空白。另外,在构建Precise过程中获得的实证性调研结果为后续相关工作提供了有价值的参考信息。
【关键词】：
【学位授予单位】：上海交通大学【学位级别】：博士【学位授予年份】：2013【分类号】：TP311.53【目录】：
摘要6-9ABSTRACT9-19第一章 绪论19-35 1.1 研究背景及意义19-21 1.2 研究现状与分析21-28
1.2.1 人工调试21-23
1.2.2 基于程序分析的调试方法23-25
1.2.3 基于机器学习技术的调试方法25-27
1.2.4 现存问题27-28 1.3 研究的问题、内容和方法28-30 1.4 论文主要工作和研究成果30-34
1.4.1 论文主要工作30-33
1.4.2 主要创新点和研究成果33-34 1.5 论文结构34-35第二章 程序分析和机器学习背景知识35-57 2.1 程序分析的相关背景知识35-45
2.1.1 程序分析的基本概念35-40
2.1.2 静态程序分析40-44
2.1.3 动态程序分析和动态切片44-45 2.2 机器学习的相关背景知识45-56
2.2.1 机器学习的基本概念45-48
2.2.2 常用机器学习技术简介48-54
2.2.3 评估方法54-56 2.3 本章小结56-57第三章 控制流图的精化和扩展57-94 3.1 不可达路径检测57-70
3.1.1 引言57-60
3.1.2 不可达路径探测实例60-62
3.1.3 基于数据挖掘的不可达路径探测方法62-66
3.1.4 实验评估和讨论66-69
3.1.5 现存不足和改进方案69-70 3.2 虚函数调用的频率估计70-92
3.2.1 引言70-73
3.2.2 虚函数调用实例73-75
3.2.3 基于证据的虚函数调用目标频率预测方法Festival75-82
3.2.4 实验评估和讨论82-92 3.3 潜在的应用场景92-93 3.4 本章小结93-94第四章 基于日志分析的缺陷定位方法94-110 4.1 引言94-96
4.1.1 研究背景94
4.1.2 现存问题94-95
4.1.3 主要工作95
4.1.4 本章结构95-96 4.2 应用场景和前提假设96-97 4.3 日志切片97-100 4.4 日志精化100-103 4.5 使用在线分析提高切片效率103-105 4.6 实验评估105-108
4.6.1 AutoLog初步实验105-106
4.6.2 MoonBox初步实验106-108 4.7 局限性和扩展方向108-109 4.8 本章小结109-110第五章 用于调试的自动断点生成技术110-126 5.1 引言110-112
5.1.1 研究背景110
5.1.2 现存问题110-111
5.1.3 主要工作111-112
5.1.4 本章结构112 5.2 最近邻执行轨迹搜索和程序内存图112-114 5.3 选取断点位置114-115 5.4 生成断点条件115-118 5.5 工具的设计和实现118-120 5.6 实验评估120-125
5.6.1 用户调查设计120-121
5.6.2 评估结果和讨论121-125 5.7 本章小节125-126第六章 可辅助缺陷修复的自动参数推荐126-150 6.1 引言126-129
6.1.1 研究背景126-127
6.1.2 现存问题127-129
6.1.3 主要工作129
6.1.4 本章结构129 6.2 API参数使用调研129-131 6.3 自动参数推荐方法131-139
6.3.1 范围控制规则132-133
6.3.2 构建参数使用实例数据库133-137
6.3.3 生成候选参数137-139 6.4 实验评估139-149
6.4.1 客观实验140-147
6.4.2 用户调研147-149 6.5 本章小结149-150第七章 全文总结150-155 7.1 论文主要工作150-152 7.2 下一步工作展望152-155参考文献155-164攻读博士学位期间已发表或录用的论文164-165致谢165-166
欢迎：、、)
支持CAJ、PDF文件格式
【相似文献】
中国期刊全文数据库
陈廷侠;张家平;;[J];新乡学院学报(自然科学版);2010年03期
王彦本;杨武军;;[J];西安邮电学院学报;2009年05期
徐章艳;[J];电气电子教学学报;2004年02期
王鹏超;;[J];程序员;2006年12期
顾春华;刘江;文欣秀;;[J];计算机教育;2009年12期
丁春芳;;[J];邢台职业技术学院学报;2010年03期
余虹;[J];长沙电力学院学报(自然科学版);1993年03期
陈国英;[J];三门峡职业技术学院学报;2002年02期
金盛爱;王伟;;[J];辽宁高职学报;2008年10期
郭庆云;;[J];北京印刷学院学报;2010年06期
中国重要会议论文全文数据库
刘林;;[A];四川省电工技术学会电机、电测专业委员会2002年学术年会论文集[C];2002年
沈秀英;杨阜基;;[A];1987年全国微波会议论文集（下）[C];1987年
刘立新;张西中;;[A];河南省冶金企业创新与产业发展政策研讨会——暨技术经济年会论文集[C];2006年
姜学钧;杨会军;惠莲;杨宁;;[A];中华医学会第十次全国耳鼻咽喉-头颈外科学术会议论文汇编（上）[C];2007年
苏小红;王宇颖;孙志岗;傅忠传;;[A];高教科研2006（中册：教学改革）[C];2006年
牛丽;;[A];高教科研2006（上册：校长论坛·教育改革）[C];2006年
王克海;尹德钰;李珠;;[A];第七届空间结构学术会议论文集[C];1994年
王鹏飞;张大方;缪力;;[A];第三届中国测试学术会议论文集[C];2004年
蒋曹清;张大方;缪力;;[A];第三届中国测试学术会议论文集[C];2004年
余斌;史亮;钱巨;;[A];中国造船工程学会电子技术学术委员会2006学术年会论文集（上册）[C];2006年
中国重要报纸全文数据库
王舒;[N];经济视点报;2008年
韩影;[N];安徽经济报;2006年
江海波;[N];电子报;2007年
田俊荣;[N];大众科技报;2007年
田俊荣;[N];人民日报;2007年
焦刚;[N];电脑报;2005年
陈剑锋;[N];电子报;2005年
记者　 周芳;[N];济南日报;2006年
曹红丽;[N];中国计算机报;2007年
郑晓春;[N];科技日报;2008年
中国博士学位论文全文数据库
章程;[D];上海交通大学;2013年
姜淑娟;[D];东南大学;2006年
唐胜利;[D];重庆大学;2004年
赵岭忠;[D];西安电子科技大学;2007年
马晓东;[D];国防科学技术大学;2009年
李暾;[D];国防科学技术大学;2003年
肖庆;[D];北京邮电大学;2012年
李倩;[D];南京大学;2012年
胡燕;[D];中国科学技术大学;2007年
陈立前;[D];国防科学技术大学;2010年
中国硕士学位论文全文数据库
陆龙文;[D];上海交通大学;2013年
王玉宝;[D];东南大学;2005年
范金宝;[D];广东工业大学;2008年
林锦滨;[D];中国科学技术大学;2010年
夏嘉斌;[D];上海交通大学;2013年
蒋思东;[D];湖南大学;2008年
时武略;[D];东北大学;2009年
吴江贤;[D];江南大学;2009年
黎超;[D];广东工业大学;2011年
苏瑞;[D];北京邮电大学;2011年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
同方知网数字出版技术股份有限公司
地址：北京清华大学 84-48信箱 知识超市公司
出版物经营许可证 新出发京批字第直0595号
订购热线：400-819-82499
服务热线：010--
在线咨询：
传真：010-
京公网安备74号}