PDM技术及其在SMT产品组装生产中的应用

产品数据管理 ( PDM:Product Data Management)将计算机科学与生产制造技术的结合提高到一个新的层次。将企业的管理、生产制度提高到一个新的高度。本文通过对 PDM的介绍 ,提出了将 PDM技术应用于电路表面组装技术 ( SMT:Surface Mount Technology)产品组装系统中的思想及对其应用前景进行了展望     

电气互联技术及其发展动态

介绍电气互联技术的基本概念、组成和主要内容,并对电气互联技术与SMT的关系,电气互联技术研究和发展动态等问题进行了阐述。     

基本并行进程活性的限界模型检测

基本并行进程是一个用于描述和分析并发程序的模型,是Petri网的一个重要子类.EG逻辑是一种在Hennessy-Milner Logic的基础上增加EG算子的分支时间逻辑,其中的AF算子表示从当前的状态出发性质最终会被满足,因此EG逻辑是能够表达活性的逻辑.然而,基于基本并行进程的EG逻辑的模型检测问题是不可判定的.由此,本文提出了基本并行进程上EG逻辑的限界模型检测方法.首先,给出了基本并行进程上EG逻辑的限界语义,然后采用基于约束的方法,将基本并行进程上EG逻辑的限界模型检测问题转化为线性整数算术公式的可满足性问题,最后利用SMT求解器进行求解.     

基于SMT的不完全信息游戏求解

不完全信息博弈是人工智能领域的一个重要研究领域.本文提出了一种基于可满足性模理论(Satisfiability Modulo Theories, SMT)的不完全信息游戏求解方法,首先通过情景演算将游戏动态过程描述成对应的约束,并将约束编写成命题逻辑公式,然后将推理问题转化为逻辑公式可满足性问题,调用SMT求解器Z3进行求解.应用表明,本文的算法能有效地推理出游戏的正确结果.     

简论SMT技术

SMT是目前电子产品装配的主要技术,它具有高密度、高可靠、低成本、小型化和生产自动化等优点,已取代了传统的插装装配方式。简要介绍SMT的主要工艺流程及相关设备,对SMT初学者及技术人员具有一定的指导作用。     

融合格框架的基于语块的依存树到串日汉统计机器翻译模型

该文提出了一种融合格框架的日汉基于语块的依存树到串统计机器翻译模型。其基本思想是从日语依存分析树获取格框架,在翻译模型的规则抽取及解码中,以日语格框架作为约束条件,指导依存树的句法结构重排,调整日语和汉语的句法结构差异,实现格框架与日汉依存树到串模型的融合。实验结果表明,该文提出的方法可有效改善日汉统计机器翻译的句法结构调序和词汇翻译,同时,还可有效提高日汉统计机器翻译的译文质量。     

表面组装技术的焊点虚拟成型和产品虚拟组装技术的研究

表面组装技术（ＳＭＴ）产品焊点质量与焊点形态有关，通过对焊点形态的预测和控制，可以达到控制焊点质量的目的。本文将这一理论与计算机仿真和虚拟制造技术相结合，提出ＳＭＴ焊点虚拟成型和ＳＭＴ产品虚拟组装新概念、新思想、新方法，并对其进行论证。     

SMT手工再流焊工艺研究

本文介绍了根据我所的 PCB设计和生产情况配置的由 OK公司的手工再流焊接工具组成的生产线 ,包括维修系统、热风焊笔、点胶机。利用这些工具进行了单、双面混装板上的 CHIP、SOIC、PL CC、QFP等元器件的焊装试验 ;确定了工艺流程、焊接工艺参数 ;规定了焊接后的外观质量要求 ;说明了可能产生的焊接缺陷 ;分析了产生缺陷的原因。     

SMT生产质量控制的方法和措施

经验性总结了提高STM生产质量的一些有效措施。     

SMC/SMD的选择及SMT设计工艺要求

介绍了片式元器件的选用原则 ,表面安装PCB的设计要求 ,工艺工序质量的保证 ,然后举实例将上述设计技术融会贯通 ,给SMT设计人员提供一个参考。