This paper presents a partial scan algorithm, calledPARES (PartialscanAlgorithm based onREduced Scan shift), for designing partial scan circuits. PARES is based on the reduced scan shift that has been previously proposed for generating short test sequences for full scan circuits. In the reduced scan shift method, one determines proch FFs must be controlled and observed for each test vector. According to the results of similar analysis, PARES selects these FFs that must be controlled or observed for a large number of test vectors, as scanned FFs. Short test sequences are generated by reducing scan shift operations using a static test compaction method. To minimize the loss of fault coverage, the order of test vectors is so determined that the unscanned FFs are in the state required by the next test vector. If there are any faults undetected yet by a test sequence derived from the test vectors, then PARES uses a sequential circuit test generator to detect the faults. Experimental results for ISCAS'89 benchmark circuits are given to demonstrate the effectiveness of PARES. 相似文献
Thin-layer carbon supported Nafion-H catalysts were found to be active and highly selective (S>98%) for the partial oxidation of C1-C3 alkanes, in a three phase catalytic membrane reactor (3PCMR), under mild conditions and in the presence of H2O2. The influences of the catalyst teflon loading and H2O2 concentration on the reaction rate have been evaluated. A reaction pathway, based on the electrophilic hydroxylation of the C-H bond of alkanes with protonated hydrogen peroxide (H3O
2+
), is discussed. 相似文献
This paper concerns the following problem: given a set of multi-attribute records, a fixed number of buckets and a two-disk system, arrange the records into the buckets and then store the buckets between the disks in such a way that, over all possible orthogonal range queries (ORQs), the disk access concurrency is maximized. We shall adopt the multiple key hashing (MKH) method for arranging records into buckets and use the disk modulo (DM) allocation method for storing buckets onto disks. Since the DM allocation method has been shown to be superior to any other allocation methods for allocating an MKH file onto a two-disk system for answering ORQs, the real issue is knowing how to determine an optimal way for organizing the records into buckets based upon the MKH concept.
A performance formula that can be used to evaluate the average response time, over all possible ORQs, of an MKH file in a two-disk system using the DM allocation method is first presented. Based upon this formula, it is shown that our design problem is related to a notoriously difficult problem, namely the Prime Number Problem. Then a performance lower bound and an efficient algorithm for designing optimal MKH files in certain cases are presented. It is pointed out that in some cases the optimal MKH file for ORQs in a two-disk system using the DM allocation method is identical to the optimal MKH file for ORQs in a single-disk system and the optimal average response time in a two-disk system is slightly greater than one half of that in a single-disk system. 相似文献
An analytical method is presented for calculating the resonant frequency andQ-factor of a superconducting dielectric disk resonator operating in millimeter-wave regime with whispering-gallery mode. Resonant frequency shift due to the optical generation of quasi-particles in superconducting film is investigated as a function of photon flux. An optically tunable resonant frequency of about 500 MHz is estimated, and good agreement is found between numerical results and experimental ones. 相似文献
The paper gives a method of model XLPE medium voltage cable insulation testing for partial discharges and electrical treeing
with a point to plane test geometry. Based on this method, a comparative estimate of insulation resistance to treeing and
partial discharges have been made. XLPE crosslinked by different methods (steam medium and hot nitrogen medium) and with varying
contents of inorganic filler kaolin were tested. The characteristics of partial discharges were measured by means of a pulse
height analyser characterized with a microscope. The data have been analysed statistically. 相似文献
From the principle of of the Domain Decomposition Method (DDM), we analyse the 2nd-order linear elliptic partial differential problems and link the Separated-Layers Algorithm (SLA) with DDM. The mathematical properties of SLA and numerical example are presented to obtain satisfactory computation results. For general linear differential ones, also are the structure of SLA and its characteristics discussed. 相似文献