Energy minimization and design for testability

The problem of fault detection in general combinational circuits is NP-complete. The only previous result on identifying easily testable circuits is due to Fujiwara who gave a polynomial time algorithm for detecting any single stuck fault inK-bounded circuits. Such circuits may only contain logic blocks with no more thanK input lines and the blocks are so connected that there is no reconvergent fanout among them. We introduce a new class of combinational circuits called the (k, K)-circuits and present a polynomial time algorithm to detect any single or multiple stuck fault in such circuits. We represent the circuit as an undirected graphG with a vertex for each gate and an edge between a pair of vertices whenever the corresponding gates have a connection. For a (k, K)-circuit,G is a subgraph of ak-tree, which, by definition, cannot have a clique of size greater thank+1. Basically, this is a restriction on gate interconnections rather than on the function of gates comprising the circuit. The (k, K)-circuits are a generalization of Fujiwara'sK-bounded circuits. Using the bidirectional neural network model of the circuit and the energy function minimization formulation of the fault detection problem, we present a test generation algorithm for single and multiple faults in (k, K)-circuits. This polynomial time aggorithm minimizes the energy function by recursively eliminating the variables.     

多缝式烧嘴点火器在攀钢烧结生产中的应用

多缝式烧嘴点火器具有燃烧效率高，火焰长度易调，炉膛温度分布合理等优点，经工业试验证明，该点火器能满足攀钢烧结点火工艺要求，并有明显节能效果。     

凸非球面补偿检验的工艺球面分析解

本文从三级像差理论出发,推导了几种工艺球面检验凸二次曲面的计算公式。根据这些公式计算结果,进行了光路追迹,给出了这些公式对凸二次曲面的补偿范围;并讨论了几种特殊情况下的平面解。     

Buckling analysis for delaminated composites using plate bending elements based on higher‐order zig‐zag theory

A finite element based on the efficient higher‐order zig‐zag theory with multiple delaminations is developed. The bending part of the formulation is constructed from the concept of DKQ element. Unlike conventional elements, a developed element has its reference in the bottom surface which simplifies zig‐zag terms on formulation. Exact patch solutions are developed on elements which have the bottom reference system. The present element passes proper bending patch tests in the arbitrary mesh configurations in isotropic materials. Zig‐zag formulation is adopted to model laminated plates with multiple delaminations. To assess the accuracy and efficiency of the present element based on higher‐order zig‐zag theory with multiple delaminations, the linear buckling problem of laminated plates with multiple delaminations has been analysed. The results have been compared with three‐dimensional elasticity solutions. The present element works as an efficient tool for analysing the behaviour of the laminated composites with multiple delaminations. Copyright © 2002 John Wiley & Sons, Ltd.     

转向柱管承载能力的试验研究

在分析转向柱管花键部位应力集中情况的基础上,通过对某厂生产的转向柱管扭转破坏的试验研究,得到如下结论:①转向柱管的承载能力与其外花键齿与方向盘中心内花键齿之间的非接触区长度有关,以花键端部过渡圆弧的直径大小为宜;②安装方向盘总成时所施加在安装螺母上的拧紧力矩在70N.m左右时,转向柱管的承载能力最大。     

Metrological Support and Standards in the Design,Production, and Use of High-Load Weighing Machines in Russia

An analysis is presented on development, production, and use of high-capacity weighing machines in Russia in the last ten years. Aspects arising in type approval testing are considered for high-capacity weighing machines working over wide temperature ranges.     

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.     

洁净型煤技术开发研制

通过对洁净型煤技术的介绍，并对型煤质量及燃烧测试分析，认为洁净型煤技术是一种煤的高效洁净燃烧、改善环境空气质量及节约能源的有效技术。     

两个基于身份的数字签名方案的安全性改进

分析了文献[1]提出的两个基于用户身份的数字签名方案，发现其一般签名方案存在安全性缺陷，在此基础上建立了多重签名方案，但此方案也是不安全的。本文给出了改进的签名和多重签名方案。     

多目标决策问题非支配解集的一种序列逼近方法

在多目标优化中,对非支配解集的估计是一项非常重要的工作.本文给出一种序列逼近非支配解集的方法.