Most approaches to model-based diagnosis use incomplete constraint satisfaction techniques and are therefore incomplete. It is shown here how diagnostics may be considered as a general constraint satisfaction problem....
详细信息
Most approaches to model-based diagnosis use incomplete constraint satisfaction techniques and are therefore incomplete. It is shown here how diagnostics may be considered as a general constraint satisfaction problem. Provided the system to be repaired is modeled with piecewise linear constraints on real variables, it is possible to give a clear characterization of the conflict set. Furthermore, a complete algorithm to find every conflict is described. This algorithm is an original and elegant solution to the diagnostic problem. Moreover, it can be used in order to build a compiled form of the initial model. Once this compiled model has been obtained, all the possible faults of a given system can be identified quite easily.< >
The authors present the design and realization of an all-silicon acoustic plate wave oscillator system for sensor applications. The plate wave device and the electronic circuitry have been fabricated in two separate s...
详细信息
The authors present the design and realization of an all-silicon acoustic plate wave oscillator system for sensor applications. The plate wave device and the electronic circuitry have been fabricated in two separate silicon chips. The plate wave device embodies a silicon membrane covered with piezoelectric zinc oxide. For protection of the zinc oxide, a thin silicon nitride layer is deposited on top.< >
A technique is presented for the design of finite-duration-impulse-response (FIR) sampled-data filters which can be used for data transmission as Nyquist channel filters. The filters have zero intersymbol interference...
详细信息
A technique is presented for the design of finite-duration-impulse-response (FIR) sampled-data filters which can be used for data transmission as Nyquist channel filters. The filters have zero intersymbol interference in the time domain, as well as linear phase and arbitrary attenuation characteristics in the frequency domain. Compared with more elaborate optimization techniques, the proposed method gives an optimum solution, and it has a number of advantages and features. In the critical case of two samples per baud interval, the resulting filter amplitude response has a remarkable property: if the frequencies of perfect transmission in the passband are specified (or obtained), than, in the Omega -domain, the method results automatically in an equal number of zeros of transmission in the stop band, whose values are the inverses of those at which perfect transmission occurs. This property is akin to that of elliptic filters and is inherent in this special case of the design method.< >
Some of the theoretical and practical aspects of using exponential fitting for MOS digital circuit timing analysis are described. The multivariate test problem x=-Ax where A in R/sup n*n/ and is assumed to be irreduci...
详细信息
Some of the theoretical and practical aspects of using exponential fitting for MOS digital circuit timing analysis are described. The multivariate test problem x=-Ax where A in R/sup n*n/ and is assumed to be irreducibly diagonally dominant with positive diagonals is considered, as this models the equations resulting from the way MOS circuits are treated in timing simulation programs. It is shown that for these problems, the Cinnamon exponentially fit algorithm is A-stable, and an example is given where the algorithm is XPSim is unstable. A semi-implicit version of the XPSim algorithm is described, and it is shown that this semi-implicit algorithm is A-stable. Examination of examples demonstrates that neither the stabilized XPSim algorithm nor the Cinnamon algorithm produces satisfactory results for very large timesteps. The effect of ordering on the accuracy and stability of the integration methods is also examined, and it is shown that ordering always enhances accuracy, though not significantly for large timesteps, and that the XPSim algorithm can be made more stable with a carefully chosen ordering.< >
A description is presented of the design and performance of the first balanced DC-biased millimeter-wave mixer with a wide (12-GHz) instantaneous RF/IF bandwidth. Relative to prior mixers, this mixer requires less loc...
详细信息
A description is presented of the design and performance of the first balanced DC-biased millimeter-wave mixer with a wide (12-GHz) instantaneous RF/IF bandwidth. Relative to prior mixers, this mixer requires less local oscillator (LO) drive and yet provides the superior intermodulation suppression provided by a balanced design. The mixer includes a unique IF output filter which avoids the reentry problems associated with conventional high/low-Z/sub 0/ designs. The mixer design is applicable to a new generation of electronic warfare systems which cover wide millimeter-wave bands with a small number of mixers and shared LOs.< >
The computer-aided fabrication environment (CAFE) is a software system being developed at MIT for use in the manufacture of integrated circuits. CAFE is intended to be used in all phases of process design, development...
详细信息
The computer-aided fabrication environment (CAFE) is a software system being developed at MIT for use in the manufacture of integrated circuits. CAFE is intended to be used in all phases of process design, development, planning, and manufacturing of integrated-circuit wafers. The CAFE architectural framework supports a wide variety of software modules, including both development tools and online applications. The key components of the CAFE architecture are the data model and database schema, the process flow and wafer representations, the user interface, and the application programming and database interfaces. All CAFE application modules store and retrieve persistent data through a common database interface layer. Interface wrappers provide seamless, transparent integration of external tools and packages which have their own internal data formats.< >
A 32 bit call-handling processor for an electronic switching system (ESS) capable of a 5.6 MIPS instruction execution rate is discussed. The processor uses a mixed architecture consisting of a reduced instruction set ...
详细信息
A 32 bit call-handling processor for an electronic switching system (ESS) capable of a 5.6 MIPS instruction execution rate is discussed. The processor uses a mixed architecture consisting of a reduced instruction set computer (RISC) and a complex instruction set computer (CISC) to economize the instruction execution, and features a four-stage two-way pipeline and local storage for the RISC and writable control storage for the CISC. To obtain reliability, availability, and serviceability, such functions as parity check/generation, microdiagnostic, and matcher have been incorporated within the chip. The chip contains about 160 K transistors within a chip size of 13.2*13.7 mm/sup 2/. A 1.2 mu m double-metal CMOS technology has been used. In designing the chip layout, a compromise between manual and automatic placing or routing was adopted which enabled a reasonably short design time.< >
Tolerances of electronic circuit parameters play an important role in our judgement of circuit functionality. They must be considered both at the circuit design and testing stages. A problem of tolerances in a symboli...
详细信息
Tolerances of electronic circuit parameters play an important role in our judgement of circuit functionality. They must be considered both at the circuit design and testing stages. A problem of tolerances in a symbolic network analysis is discussed. Topological analysis combined with operations on discrete random variables allows the behavior of a circuit with toleranced parameters to be predicted. Automatic simplification of symbolic network functions is used to facilitate operations on discrete variables representing network parameters. Illustrative examples are given.
A description is given of Nice, a general-purpose optimization system that can be coupled to a performance evaluator such as a circuit simulator to provide designers with optimization techniques for the adjustment of ...
详细信息
A description is given of Nice, a general-purpose optimization system that can be coupled to a performance evaluator such as a circuit simulator to provide designers with optimization techniques for the adjustment of the parameters of a design. Nice features a rich library of optimization algorithms as well as a powerful graphics interface. Multiple objectives and functional constraints can be described by means of a specialized optimization language. The coupling of Nice to the SPICE3 circuit simulator is presented, and an example of circuit optimization is shown. Nice exhibits satisfactory results and shows performances better than that of similar systems.
The authors propose a paradigm shift for digital spectrum analysis from a transform to a digital filter bank. With the digital filter bank, they gain an additional degree of freedom in the design of the windows, namel...
详细信息
The authors propose a paradigm shift for digital spectrum analysis from a transform to a digital filter bank. With the digital filter bank, they gain an additional degree of freedom in the design of the windows, namely, the window length can be specified independently of the DFT length. The authors also explain the problem of measurement aliasing when more than one component fall within the passband of a DFT bin. With this digital filter bank point of view, they design a flat-top window with very sharp roll-off, achieving excellent frequency resolution.< >
暂无评论