焊膏印刷机制造数据处理软件的设计与实现

近年来, SMT已被广泛地应用在了电子电路制造业。焊膏印刷作为SMT生产工序中的关键步骤,将直接影响到PCB的质量。因此,设计并实现了在生产过程中对焊膏印刷机关键参数实时监控软件,为焊膏印刷机关键参数的分析、可视化处理等提供了途径,推动电子产品向着高质量、高效率、低成本的方向发展。     

世界传感器市场分析(二十七)——SMT检视设备

在SMT（Surface mount technology）的应用领域中，占市场主要份额的是检测设备。SMT销售的与其说是一种商品，不如说是一种技术，目前SMT检测设备市场占有率一直保持着强势增长，并正经历着一个向上发展的阶段。 SMT检测设备市场的日趋红火，同时也给电子制造商带来了巨大的利益增长。以前的生产过程一般是在焊接工序完成之后进行检测，如果有问题，则整个流程要重新开始，或者进行修理。而现在完全不同，电气安装中的故障能被实时跟踪并通过屏幕显示，所以制造商可以在线检测生产线上的不同工艺流程，这种灵活性使制造商提高了生产…     

同时多线程处理器上的动态分支预测器设计方案研究

同时多线程处理器（SMT）每个周期能够从多个线程中发射指令执行，从而大大地提高了超标量微处理器的指令吞吐量，但多个线程的同时执行也带来了许多硬件资源的共享冲突问题.其中，多个线程共享分支预测硬件的方案会对分支预测精度产生较大的影响.研究SMT处理器中分支处理方案对于处理器整体性能的影响，对于指导SMT处理器的设计是十分重要的.本文利用SMT处理器模拟器，针对各线程运行独立应用的SMT结构实验评估了几种著名的分支预测方案;给出了在单线程和多线程情况下，分支预测方案对分支预测精度和处理器整体性能的影响的分析;总结出在这样的SMT结构中，各线程拥有独立的预测器是一种较好的选择，并且由于各独立预测器可以采用小而简单的结构，所以不会带来太多的硬件开销.     

OpenSMT：一个同时多线程处理器模拟器的设计和实现

同时多线程（SMT）技术是目前微处理器体系结构的研究热点之一。为了支持对SMT技术和基于SMT核的单芯片多处理器（CMP）体系结构技术的深入研究，我们在广泛使用的超标体系结构模拟器Simple Sealar的基础上，通过对SMT结构的关键特性进行适当的抽象，开发了一个SMT体系结构模拟器OpenSMT。本文介绍了谊模拟器主要的设计思想和实现方法，包括多个线程上下文结构的表示、超标量流水线各个阶段的模拟，以及模拟器设计和实现时需要解决的几个关键问题等。初步的应用研究表明，与现有可免费获得的研究用SMT模拟器相比，该模拟器能够较好地平衡模拟性能、灵活性和精度三个基本设计目标，实现了执行驱动、易于扩展指令集结构、良好的用户接口、灵活的软件结构、适宜评估更广泛的SMT体系结构设计空间等设计要求。     

ETSG-SMT:一种SMT时间信道安全问题描述模型

同时多线程（simultaneous multi-threading,SMT）技术是现代高性能处理器的标配技术,是提升线程级并行度的重要微架构优化技术之一.SMT技术在带来性能提升的同时,也引入了新的时间信道安全问题,相对于跨核、跨处理器,SMT技术下的时间信道安全问题更难应对和防护,且陆续有新的安全问题出现.当前缺少一种系统描述SMT环境下时间信道安全问题的方法.从利用SMT技术产生时间信道的原理入手,聚焦SMT环境下共享资源产生的时间信道及其攻击机理,基于拓扑排序图（topological sort graph,TSG）模型,结合数据流分析扩展得到一种适用于SMT环境下的时间信道安全问题描述模型——ETSG （extended topological sort graph,扩展的拓扑排序图）-SMT.首先介绍SMT环境下时间信道安全问题利用和防护的技术特点以及使用TSG模型分析SMT环境下时间信道安全问题的限制与不足;然后在TSG模型基础上,针对SMT技术特征及其安全问题的形式化描述特点,结合数据流分析技术形成一套新的建模方法;最后,通过将ETSG-SMT模型应用到SMT环境下现有的攻击方法和防护案例推导中,证明使用ETSG-SMT模型对SMT环境下时间信道原理分析和防护技术推导有很好的应用价值.     

可满足性模理论综述

可满足性模理论(SMT)是指判定一阶逻辑公式在特定背景理论下的可满足性问题。基于一阶逻辑的SMT相比SAT描述能力更强、抽象能力更高,能处理更加复杂的问题。SMT求解器在各个领域都有应用,已经成为重要的形式化验证引擎。目前,SMT已被广泛应用在人工智能、硬件RTL验证、自动化推理和软件工程等领域。根据近些年SMT的发展,首先阐述SMT基本知识和常见的背景理论;然后分析总结Eager方法、Lazy方法和DPLL(T)方法的实现流程,并进一步介绍主流求解器Z3、CVC5和MathSAT5的实现过程;接着介绍SMT的扩展问题#SMT、SMT应用在深度神经网络的SMTlayer方法和量子SMT求解器;最后对SMT的发展进行展望,并讨论其面临的挑战。     

基于SPC的SMT生产质量在线分析系统设计

通过对SMT生产现场需求的分析,确定了SMT生产质量分析系统软件的总体框架;详细设计了控制图、报表输出、异常数据判定等关键功能。整个系统采用Microsoft SQL Server作为后台数据处理,利用Visual Basic作为开发环境,通过测量用传感器实现对关键工序运行状态数据的收集,采用上位机与触摸屏之间的以太网通信实现检测数据的传输与存储、报表的显示输出、SPC质量分析统计,实现SPC控制图的绘制、异常数据的报警,从而更深入地确定产出变化是由非随机性原因还是正常原因造成的,达到提高SMT产品质量的目的。     

回流焊接温度曲线控制研究

随着集成电路产业的飞速发展,高集成度、高可靠性已经成为行业的新潮流。在这种趋势的推动下,SMT(表面贴装技术)在中国也得到了进一步的推广和发展。很多公司在生产和研发中已经大量应用了SMT工艺和表面贴装元器件。在SMT工艺中回流焊接是核心工艺,因为表面组装PCB设计,焊膏印刷和元器件贴装产生的缺陷,最终都将集中表现在焊接中。因此,如果没有合理可行的回流焊接工艺,前面任何工艺控制都将失去意义。     

SMT求解技术简述

SMT问题是在特定理论下判定一阶逻辑公式可满足性问题。它在很多领域,尤其是形式验证、程序分析、软件测试等领域,都有重要的应用。介绍了SMT问题的基本概念、相关定义以及目前的主流理论。近年来出现了很多提高SMT求解效率的技术,着重介绍并分析了这些技术,包括积极类算法、惰性算法及其优化技术等。介绍了目前的主流求解器和它们各自的特点,包括Z3、Yices、CVC3/CVC4等。对SMT求解技术的前景进行了展望,量词的处理、优化问题和解空间大小的计算等尤其值得关注。     

基于神经网络对SMT焊点质量控制设计

采用SMT焊点形成的电子产品,焊接点的质量直接决定产品的性能,从而要实现对产品的质量有效控制,科学预测、设计和分析是把握质量有效方法和途径,应用神经网络对SMT焊点质量分析管理,全面提升产品质量管理的水平。     

珠江三角洲腹地又一打印机生产基地异军突起

日前广东省机电厅、新会市政府在新会主持江裕科技园开业典礼。该园区紧邻国家一级港口及正在修建的铁路、西部沿高速公路。现拥有多条富士（FUJI）SMT电路板生产线、打印机装配线及PCBA波峰焊等设备。目前与日本著名外设制造厂进行技术合作，从事SMT电路板和巩M生产加工，科技园下一计划项目将是从事大屏幕显示器和特种打印机的生产。江裕科技园以发展高新技术信息产品为中心，以生产打印机系列产品为龙头，走贸、工、技相互带动的兴业之路。珠江三角洲腹地又一打印机生产基地异军突起@龚滨良     

超小型贴片元件(0201)的装配及工艺特征

本文主要介绍基于SMT表面贴装技术的超小型贴片元件(0201)工艺,包括它的工艺特征分析,应用难点及其技术工艺的推动方案,并以SMT工艺制作了编码控制接口。     

面向SMT体系结构的片上资源分配策略研究

SMT处理器通过同时执行来自多个线程中的指令来提高性能,所有线程通过竞争共享的方式来最大化片上资源的利用率.然而,SMT处理器的集中控制结构所固有的线延迟约束和多个线程对片上资源持有的不均衡性使得设计者不得不考虑在线程间进行资源分配,来减少通信延迟和可能出现的线程饥饿.本文介绍了针对SMT体系结构片上资源分配的基本原理、研究内容;分析了片上资源分配对SMT体系结构造成的影响;从显式和隐式两个角度讨论了SMT体系结构片上资源分配策略的运行机制和设计方法;举例分析了POWER5处理器的动态资源平衡策略;最后,展望了SMT处理器片上资源分配的未来发展趋势.     

基于动态资源使用策略的SMT执行端口侧信道安全防护

同时多线程(simultaneous multi-threading,SMT)技术是提升线程级并行度的重要微架构优化技术之一,SMT技术能够在1个物理核上实现2个逻辑核,提升处理器的整体性能.然而,以共享执行端口为代表的SMT环境下特有的时间侧信道安全问题也陆续出现.提出了一种基于动态资源使用策略的SMT环境下执行端口时间侧信道攻击防护方法,基于SMT技术对数据结构资源的不同处理方式设计动态策略调整算法,通过改进处理器端口绑定及调度选择算法以防护SMT环境下执行端口时间侧信道攻击.防护设计实现了端口冲突矩阵、分支过滤器和动态资源使用策略修改器3个组件,该方法在防护有效性上可以达到关闭SMT技术的防护效果且性能开销大大降低,同时硬件开销可控,具有较高的应用价值.     

论SMT生产线工艺管理

从生产人员管理、生产设备管理、物料管理、生产制程和方式管理、生产环境管理等五个方面阐述了SMT生产线工艺管理要点和管理方法。     

基于LabVIEW的SMT焊点质量信息视觉检测系统

根据SMT焊点质量信息检测的焊点形态理论,通过对SMT焊点图像处理分析,设计并实现了由LabVIEW工作平台、CCD摄像头、图像采集、系统标定、图像处理、三维重建及PC机等组成的SMT片式元器件焊点质量信息计算机视觉检测系统,有效地完成对SMT片式元器件焊点质量信息的检测任务,具有较强的扩展性。     

浅谈电子技术实习中的表面组装

随着电子产品的小型化发展,电子贴片元件在电子技术产品中应用日益增多;我们的学生要练习手工焊接贴片元件.对于手工焊接SMT元器件需要准备:手工焊接SMT元器件的要求和常用工具,练习中常采用的焊接方法,手工焊接SMT元器件的注意事项.     

高职SMT教学企业经营模式的探索

高等职业教育在现代教育事业中有着举足重的地位,社会经济的良好发展离不开高等职业学校培养的专业人才。本文简要分析了高等职业教育开展SMT教学的必要性,介绍一种应用型人才的培养模式,分析了技能型人才的培养模式能够逐渐增强SMT专业毕业生的专业技能和实践能力,使得SMT专业毕业生在以后的职业生涯中有着突出竞争优势。     

SMT求解器理论组合技术研究

可满足模理论(SMT)求解器是计算机科学中用来判定一阶逻辑公式可满足性的程序,是许多形式化方法的验证引擎.理论求解器实现了SMT基于不同理论背景的求解过程,然而实际问题常以多个理论为背景.因此,本文重点介绍理论组合判定方法,概述SMT求解器的发展现状,并分析了几个主流SMT求解器理论组合判定关键技术.通过对照实验,评估...     

基于SMT的再流焊工艺仿真设计技术

从SMT的应用前景和几个名词解释入手，提出再流温度曲线及设置，建立再流焊工艺仿真模型，逐层深入，力求使仿真设计技术明了清晰。