基于时间自动机建模bga焊球高度实时检测系统的研究

《基于时间自动机建模bga焊球高度实时检测系统的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、原创性声明本人声明，所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了论文中特别加以标注和致谢的地方外，论文中不包含其他人己经发表或撰写过的研究成果，也不包含为获得中南大学或其他单位的学位或证书而使用过的材料。与我共同工作的同志对本研究所作的贡献均已在论文中作了明确的说明。作者签名：圭盘盈日期：丝!．∑年』月L日学位论文版权使用授权书本人了解中南大学有关保留、使用学位论文的规定，即：学校有权保留学位论文并根据国家或湖南省有关部门规定送交学位论文，允许学位论文被查阅和借阅；学校可

2、以公布学位论文的全部或部分内容，可以采用复印、缩印或其它手段保存学位论文。同时授权中国科学技术信息研究所将本学位论文收录到《中国学位论文全文数据库》，并通过网络向社会公众提供信息服务。作者签名：垃址导师签名塑牛日期：盟年』月三日基于时间自动机建模的BGA焊球高度实时检测系统研究摘要：球栅阵列(BGA)封装技术是当前主流的IC集成电路封装技术。随着我国半导体行业的不断发展，各类电子产品的轻型化和多功能化，市场对BGA芯片及其关键设备的需求也在不断增加。但国内IC行业起步较晚，相应检测技术和检测设备的研究较为乏

3、力，国内检测设备制造业整体水平偏低，造成BGA芯片质量检测相对困难，不易保证BGA连接器的质量和可靠性。针对这个问题，本文研制了BGA焊球高度实时检测系统并研究了检测设备形式化建模设计的一般方法。主要研究内容包括：1)分析了平行光束投影下的BGA焊球阴影特点，并推导了BGA焊球球高的计算公式；研究了光源入射角对焊球球高检测结果的影响；设计了BGA焊球高度实时检测系统结构和工作流程。2)针对实时检测系统建模困难，提出了基于时间自动机的实时检测系统形式化建模方法，利用时间自动机的逻辑性和时间属性描述出实时检测系

4、统的数学模型；研究了BNF语法下的模型检验方法，并在工具UPPAAL中完成系统时间自动机网络模型的建立；在工具UPPAAL中模拟出模型的全部工作流程以及过程中可能出现的运转状况，完成系统初步改进，并用严格的数学工具验证了系统模型的各项性能需求，包括可达性、安全性、时间属性以及活性等。3)以时间自动机模型为指导实现BGA焊球高度实时检测系统的设计。运动控制部分基于PLC和伺服系统设计；光源控制部分基于AT89C52单片机为核心构成；图像采集部分基于1394接口与PC机连接；整个系统以PC机为核心构成。4)在完

5、成系统硬件构成的基础上，模块划分系统软件，并设计了各个子模块的应用软件，包括基于SFC的PLC运动控制程序、基于C语言的单片机光源时序控制程序、基于LabVIEW的PC机与下位PLC的通信程序以及基于LabVIEW的人机界面设计。在实现系统软、硬件设计后，调试系统性能，完成高度为数百“m的焊球检测工作，验证了检测系统的合理性和稳定性。图66幅，表16个，参考文献60篇关键词：BGA检测；实时检测系统：形式化建模；时间自动机；UPPAAL分类号：TP23BGASolderBallHeightReal—time

6、InspectionSystemBasedonTimedAutomataAbstract：BallGridArray(BGA)packagingisthecurrentmainstreamofICpackagingtechnology．Withthedevelopmentofdomesticsemiconductorindustry，andelectronicproductsarelighterandmulti．function，domesticICmanetdemandmoreandmorechipsan

7、dassociatedequipments．However,thedomesticICindustrystartedlate，thecorrespondingstudytowardsinspectiontechniquesandequipmentisveryweak，andtheindustryininspectionequipmentmanufacturingtotallyfallbehindthedevelopedcountry,whichleadtothequalityinspectionofconn

8、ectorisrelativelydifficult，andthequalityandreliabilityofthechipisnoteasytogetguarantee．Tosolvethisproblem，inthispaper,asolderballheightreal—timeinspectionsystemwasdesigned，andanormalmethodofinspectionsystemfo