Design of testable sequential circuits by repositioning flip-flops

This paper presents a technique to enhance the testability of sequential circuits by repositioning flip-flops. A novel retiming for testability technique is proposed that reduces cycle lengths in the dependency graph, converts sequential redundancies into combinational redundancies, and yields retimed circuits that usually require fewer scan flip-flops to break all cycles (except self-loops) as compared to the original circuit. Our technique is based on a new minimum cost flow formulation that simultaneously considers the interactions among all strongly connected components (SCCs) of the circuit graph to minimize the number of flip-flops in the SCCs. A circuit graph has a vertex for every gate, primary input and primary output. If gatea has a fanout to gateb, then the circuit graph has an arc from vertexa to vertexb. Experimental results on several large sequential circuits demonstrate the effectiveness of the proposed retiming for testability technique in reducing the number of partial scan flip-flops.     

拉曼光谱在医学上的应用（Ⅰ）

本文叙述了最近拉曼光谱在生物医学应用上的技术进步，总结了拉曼光谱在生物医学上的应用，以及它在诊断和临床应用中的作用     

Detection and display of defects in medical scintigraphic images

To achieve the evaluation of the lesion detectability of a program implemented by us on a minicomputer system to indicate possible defects on liver scans, we simulated a set of geometrical phantoms with different patterns of cold lesions to obtain LROC curves in different cases. Then, to check its clinical value, the program was applied to 44 liver scintigrams of patients among which 7 occurred to be pathological. These liver scintigrams had been evaluated by 6 clinicians so that a comparison between the program and the clinicians could be performedd on the basis of the corresponding LROC curves. Moreover, once an abnormality had been detected by the program, the abnormality was processed in order to perform a psychovisual evaluation of the image more easily: an adapted local 2-level display of the possible defect was superimposed on the scan to enhance it and to facilitate diagnosis.     

Modeling Custom Digital Circuits for Test

Models meant for logic verification and simulation are often used for Automatic Test Pattern Generation (ATPG). For custom digital circuits, these models contain many tristate devices that tend to lower coverage for stuck-faults. Additionally, these tristate devices contribute to increased ATPG runtimes, fewer generated test sequences, and an overall lower test quality. The circuit under test is partitioned into channel connected sub-networks (CCSN) that consist of transistors that are connected at their source or drain terminals, except when these terminals are power, ground or primary inputs. Unlike other published work, algorithms presented in this paper analyze each CCSN in the context of its environment, thereby capturing the logical relationships among its input signals. Other algorithms presented include identification and modeling of embedded latches, clock generators and memory circuits. An abstract array model for memory that reduces the size of the model and increases simulation speed is also presented. When one specific feature of the algorithm was disabled, experimental results showed higher ATPG runtimes of about 35%, and an average decrease in fault coverage of around 15–20%. For the largest data cache, the memory modeling algorithm decreased the number of primitives from 1.23 million to 139 thousand.     

加热炉炉管的红外热像监测方法研究

文中所介绍的乃是获奖项目“高温炉管的红外在线监测诊断及评估系统研究”科研成 果的一部分。试验研究结果表明,在进口的如PM350 类焦平面红外热像仪的基础上,合理地选装高温火焰滤片、广角镜头以及红外隔热罩,便可实现通过看火孔对加热炉炉管进行红外热像的在线监测。而通过试验研究所得到的误差修正方法,可以使炉管的红外热像监测结果与接触式的热电偶测试结果相差小于2 %。现场工业试验的结果表明,该方法完全满足了生产装置监测的需要。     

自来水管网检漏技术

随着全人类对水资源重视程度的不断提高,突出了减少漏损的重要性,本文就较少漏损的关键技术--有关自来水管网漏点定位的各种技术作一个综合的介绍:听音棒、相关仪、水听器、探地雷达、机器人等,并对该领域的未来发展作简单的展望;现阶段,相关仪在钢性供水管网中是相对最有效的检漏手段,理论上,在100 m长的供水管线上相关仪的检漏精度为0.2 m.     

一种并行决策树学习方法研究

提出一种并行的决策树学习方法。该方法首先将数据库分为若干个子部分,针对每个子部分分别进行决策树学习,优选分裂属性,再对各个决策树学习的结果综合,生成最终的树。在树上剪枝以降低分类错误率。通过在变压器绝缘故障诊断中的应用表明该方法有很强的学习能力和诊断速度,是一种有效的决策树学习方法。     

心电诊断模糊专家系统开发与研究

以领域专家的理论知识和经验知识为基础,采用了模糊推理,建立了心电诊断模糊专家系统的模型,克服了知识工程师对规则难以总结提取的困难,讨论了趋于增长的合成推理规则(CRI)方法,最后给出了实验结果。     

一种具有时序特征的告警关联规则挖掘算法

电信网络中各种频繁告警事件的发生通常具有一定的时序关系,据此提出了一种具有时序特征的告警关联挖掘算法。该方法解决了以往算法中无法发现告警序列之间时序关系的问题。其核心思想是在建立FP-tree时加入告警的时间特征,然后对FP-tree进行挖掘。实验证明,该算法能够快速、准确地从海量数据中挖掘出具有时序特征地关联规则。     

Thermal Annealing and Propagation of Shockley Stacking Faults in 4H-SiC PiN Diodes

Stacking faults within 4H-SiC PiN diodes are known to be detrimental to device operation. Here, we present electroluminescence (EL) images of 4H-SiC PiN diodes providing evidence that electrically and optically stimulated Shockley stacking fault (SSF) propagation is a reversible process at temperatures as low as 210°C. Optical beam induced current (OBIC) images taken following complete optical stressing of a PiN diode and that lead to a small number of completely propagated SSFs provide evidence that such defects propagate across the n–/p+ interface and continue to grow throughout the p+ layer. These observations bring about questions regarding the validity of the currently accepted driving force mechanism for SSF propagation.