Reducing Average and Peak Test Power Through Scan Chain Modification

Parallel test application helps reduce the otherwise considerable test times in SOCs; yet its applicability is limited by average and peak power considerations. The typical test vector loading techniques result in frequent transitions in the scan chain, which in turn reflect into significant levels of circuit switching unnecessarily. Judicious utilization of logic in the scan chain can help reduce transitions while loading the test vector needed. The transitions embedded in both test stimuli and the responses are handled through scan chain modifications consisting of logic gate insertion between scan cells as well as inversion of capture paths. No performance degradation ensues as these modifications have no impact on functional execution. To reduce average and peak power, we herein propose computationally efficient schemes that identify the location and the type of logic to be inserted. The experimental results confirm the significant reductions in test power possible under the proposed scheme.     

An introduction to Wu's method for mechanical theorem proving in geometry

Wu's algebraic method for mechanically proving geometry theorems is presented at a level as elementary as possible with sufficient examples for further understanding the complete method.The work reported here was supported by NSF Grant DCR-8503498.     

Jitter in ATM networks and its impact on peak rate enforcement

Cells arriving to an ATM network experience random delays due to queueing in upstream multiplexing stages, notably in customer premises. This is the phenomenon of jitter and the aim of the present paper is to study its influence on peak rate enforcement. We first introduce some general characterizations of jitter and then, describe two models of jittered flows based on simple queueing systems. We discuss the objectives of peak rate enforcement and study the impact of jitter on the dimensioning of jumping window and leaky bucket mechanisms. A useful synthetic characterization of jitter appears to be a remote quantile of the cell delay distribution expressed in units of the initial inter-cell interval.     

一种高速浮点加法器的设计实现

浮点加法器是协处理器的核心运算部件，是实现浮点指令各种运算的基础，其设计优化是提高浮点运算速度和精度的关键途径。文章从浮点加法器算法和电路实现的角度给出设计方法，并且提出动态与静态结合设计进位链的方案以及前导O预测面积与速度的折衷方法。动态与静态结合设计进位链的方法有效地降低了功耗，提高了速度，改善了性能。目前已经嵌入协处理器的设计中，并且流片测试成功。     

Approximating the problem, not the solution: An alternative view of point set matching

This work discusses the issue of approximation in point set matching. In general, one may have two classes of approximations when tackling a matching problem: (1) an algorithmic approximation which consists in using suboptimal procedures to infer the assignment, and (2), a representational approximation which involves a simplified and suboptimal model for the original data. Matching techniques have typically relied on the first approach by retaining the complete model and using suboptimal techniques to solve it. In this paper, we show how a technique based on using exact inference in simple Graphical Models, an instance of the second class, can significantly outperform instances of techniques from the first class. We experimentally compare this method with well-known Spectral and Relaxation methods, which are exemplars of the first class. We have performed experiments with synthetic and real-world data sets which reveal significant performance improvement in a wide operating range.     

Complex system reliability modelling with Dynamic Object Oriented Bayesian Networks (DOOBN)

Nowadays, the complex manufacturing processes have to be dynamically modelled and controlled to optimise the diagnosis and the maintenance policies. This article presents a methodology that will help developing Dynamic Object Oriented Bayesian Networks (DOOBNs) to formalise such complex dynamic models. The goal is to have a general reliability evaluation of a manufacturing process, from its implementation to its operating phase. The added value of this formalisation methodology consists in using the a priori knowledge of both the system's functioning and malfunctioning. Networks are built on principles of adaptability and integrate uncertainties on the relationships between causes and effects. Thus, the purpose is to evaluate, in terms of reliability, the impact of several decisions on the maintenance of the system. This methodology has been tested, in an industrial context, to model the reliability of a water (immersion) heater system.     

SGW-420/30型刮板输送机的研制与应用

针对煤矿中小型开采工作面的运输,研制出介于22型和40T型之间的一种新型刮板 输送机,时它的结构组成、功能特点、技术参数等作以简介和阐述,使其得以推广使用。     

Concomitant Crystallization of Copper(II) Sachharinato Complexes with 2-methylpyrazine as a Monomer and an One-dimensional Polymer: Syntheses,Crystal Structures,Spectroscopic and Thermal Properties

The reaction of [Cu(sac)₂(H₂O)₄] · 2H₂O with 2-methylpyrazine (mpyz) leads two complexes, concomitant crystallization of a mononuclear complex [Cu(sac)₂(mpyz)(H₂O)₂] (1) and a polymeric complex [Cu(sac)₂(μ-mpyz)]_n (2). Both complexes have been characterized by elemental analyses, magnetic measurements, FT-IR and ESR, TG-DTA and single-crystal X-ray diffraction analyses. Single-crystal X-ray analyses show that complex 1 consists of discrete molecules in which the copper(II) ions exhibits a square-pyramidal coordination geometry. The individual molecules of 1 are connected into a hydrogen-bonded chain structure, which is further assembled to form a three-dimensional network by π–π stacking interactions. Complex 2 is an 1D coordination polymer in which copper(II) centers are bridged by the mpyz ligand. The chains are further assembled to form two-dimensional frameworks by π–π and C–H···π stacking interactions.     

绿色供应链管理的基本原理

人口、资源与环境三者之间的矛盾日益突显，要求制造业提高其活动与环境的相容性。绿色供应链管理是从系统的观点与集成的思想出发解决制造业与环境之间冲突的有效方式。从可持续发展的思想出发建立了绿色供应链的概念模型，分析了绿色供应链管理的目标，在此基础上探讨了绿色供应链管理的基本原理，认为共生原理、循环原理、替代转换原理与系统开放原理是实施绿色供应链管理应该遵循的基本原理。