一种改进的SMT模拟器--支持Oracle机制和多种取指策略

模拟器是计算机系统设计中非常重要的一种技术。O racle研究能够用来确定所研究问题的最优或最差情况,为正常研究提供有用的辅助信息。但是现在常用的一些同步多线程(SM T)模拟器都不能提供支持O racle研究所需的信息。文章结合原有模拟器的基础,提供了一种新的支持O racle研究的模拟平台。同时原SM T模拟器只支持ICO UNT这一种取指策略,文章在原模拟器基础上,又增加了BR COU NT和M ISSCO UNT这两种通用的取指策略。     

表面贴装过程仿真系统的研究与开发

文章从表面贴装技术(SMT)现状及特点开始,介绍多品种小批量电子产品中使用表面贴装技术存在的问题。针对这一情况对表面贴装过程仿真系统的需求进行了分析,并详细论述了仿真系统的文件预处理、仿真以及数据库维护三大主要模块设计,主要介绍采用OpenGL实现仿真模块的方法,同时展示仿真系统实现结果。最后总结了仿真系统的特点。     

基于否证蕴含的极小一阶不可满足子式求解算法

解释公式不可满足的原因在软件分析与验证等众多领域都具有非常重要的理论与应用价值,而极小不可满足子公式能够为公式不可满足的原因提供精炼的解释,帮助应用领域的自动化工具迅速定位错误,准确地诊断问题失败的本质缘由.文中针对极小一阶不可满足子式的求解问题,引入了否证蕴含图及其正向与逆向可达结点的概念,并证明了不可满足子式与否证蕴含图之间的关系.基于二者的关系,提出了基于冲突分析与否证蕴含的极小一阶不可满足子式求解算法,并融合了蕴含图剪枝技术,以提高算法效率.通过实验与当前最优的深度优先搜索算法进行了比较,结果表明:文中的算法显著优于深度优先搜索算法,并且随着公式复杂度的增加,性能优势更加明显.     

贴装元件的方差环形投影特征匹配识别

为了准确定位贴片后印刷电路板（PCB）上电子元件的位置,提出了一种基于方差环形投影的图像快速匹配算法。先将输入图像用小波变换分解为不同尺度的低频图像,之后利用方差环形投影特征做序贯相似性检测得到一系列可能的匹配点,最后在这些点上作相关匹配运算,获得其准确的位置。实验证明该算法大大减少了计算量又保持了匹配的精度,而且对图像的旋转不敏感。     

A novel ring-tree-based routing and wavelength assignment algorithm for multicasting in DWDM optical mesh networks

Multicast session communications, such as video-conferencing and video-broadcasting, in DWDM mesh networks require the efficient multipoint-to-multipoint multicast algorithms. Several heuristics have approximate solutions using lightpath or light-tree for one-to-multipoint multicast communications, but few papers have discussed the multipoint-to-multipoint multicast problems in DWDM mesh networks. This paper proposes a ring-tree-based routing and wavelength assignment (RTRWA) solution in DWDM mesh networks. It proceeds to multipoint-to-multipoint multicast transmission by reserving links and wavelengths assigned by the Least Converter Count algorithm. The RTRWA algorithm tries to find an optimal ring path that connects all multicast session members with unidirectional links and connects the remaining nodes to the ring path with the light-tree. The RTRWA algorithm outperforms the Steiner minimal tree (SMT) algorithm in terms of the call blocking probability, difference in user capacity and the mean maximum transmission time.     

基于Mining-SEC方法的电路等价性验证

针对时序电路的等价性验证难题,提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合,利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束,不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系,通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明,该方法可以快速地实现验证收敛,得到平均1~2个量级的验证加速,并且可以有效消除虚假验证。     

Dependency treelet translation: the convergence of statistical and example-based machine-translation?

We describe a novel approach to MT that combines the strengths of the two leading corpus-based approaches: Phrasal SMT and EBMT. We use a syntactically informed decoder and reordering model based on the source dependency tree, in combination with conventional SMT models to incorporate the power of phrasal SMT with the linguistic generality available in a parser. We show that this approach significantly outperforms a leading string-based Phrasal SMT decoder and an EBMT system. We present results from two radically different language pairs, and investigate the sensitivity of this approach to parse quality by using two distinct parsers and oracle experiments. We also validate our automated bleu scores with a small human evaluation.     

Surface mount digital package reliability

This paper compares the reliability of four surface mount package styles with the standard through-hole package. Three test boards were fabricated and subjected to environmental and electrical stresses. The relative package performances of SOICs, butt-soldered DIPs, surface mounted DIPS, and through-hole DIPs were found to be equal when subjected to stresses exceeding those expected in normal use. PLCC packages were found to be slightly less reliable in humidity environments than the other packages.     

异型元件组装工艺探讨

本文重点讨论异型元件的组装工艺，并对异型元件的自动化组装设备，包括技术等方面作了较全面的介绍。