Novel bipolar differential input/output current-controlled current source

A new bipolar differential input/output current-controlled current source (CCCS) is described. The basic cell consists of a translinear array of six transistors with two bipolar inputs, and is suited for the input stage of a differential current-mode operational amplifier.     

Nonlinear circuit analysis using the method of harmonic balance—A review of the art. Part I. Introductory concepts

The harmonic balance method is a technique for the numerical solution of nonlinear analog circuits operating in a periodic, or quasi-periodic, steady-state regime. The method can be used to efficiently derive the continuous-wave response of numerous nonlinear microwave components including amplifiers, mixers, and oscillators. Its efficiency derives from imposing a predetermined steady-state form for the circuit response onto the nonlinear equations representing the network, and solving for the set of unknown coefficients in the response equation. Its attractiveness for nonlinear microwave applications results from its speed and ability to simply represent the dispersive, distributed elements that are common at high frequencies. The last decade has seen the development and application of harmonic balance techniques to model analog circuits, particularly microwave circuits. The first part of this paper reviews the fundamental achievements made during this time. The second part covers the extension of the method to quasi-periodic regimes, optimization analysis, and practical application. A critical assessment of the various types of harmonic balance techniques is given. The different sampling and Fourier transform methods are compared, and numerical speed and precision results are given enabling a quantitative analysis of the merits of the major variants of the harmonic balance technique. Examples of designs which have been modeled using the harmonic balance technique and built both in hybrid and MMIC form are presented.     

Study of inaccuracy in semi-analytical sensitivity analysis — a model problem

The semi-analytical method of sensitivity analysis (Zienkiewicz and Campbell 1973; Esping 1983; Cheng and Liu 1987) of finite element discretized structures is attractive due to the balance between computational cost and ease of implementation (Cheng and Liu 1987; Haftka and Adelman 1989), but unfortunately the method may exhibit serious inaccuracies when applied in shape optimization of structures modelled by beam, plate, shell and Hermite elements (Cheng and Liu 1987; Haftka and Adelman 1989; Barthelemyet al. 1988; Barthelemy and Haftka 1988; Choi and Twu 1991, Pedersenet al. 1989; Chenget al. 1989).In the present paper, we perform an exact analysis of the error of sensitivity for a simple model problem which has earlier been considered by Barthelemyet al. (1988), Barthelemy and Haftka (1988), Pedersenet al. (1989). The analysis gives a deep insight into the nature of the general inaccuracy problem and enables us to devise methods by which the severe error of the sensitivity can be substantially reduced or removed for the model problem. The results of the paper are illustrated via an example.A method of error elimination for an extended class of semianalytical analysis problems is developed and presented in a companion paper (Olhoff and Rasmussen 1991).     

Dynamic programming for 2-D discrete linear systems

The authors calculate the optimal control of 2-D discrete linear systems using a dynamic programming method. It is assumed that the system is described with Roesser's state-space equations for which a 2-D sequence of inputs minimizing the given performance criterion is calculated. The method is particularly suitable for problems with bounded states and controls, although it can also be applied for unbounded cases. One numerical example is given     

Processing of engineering ceramics with high power CO2 lasers

The hardness and brittleness of high performance engineering ceramics such as zirconia, aluminia, silicon carbide and silicon nitride makes traditional processing very expensive and time consuming. Efforts have been made to cut thick commercial ceramics with a continuous wave CO₂ laser. The results obtained so far are very promising and materials up to 10 mm in thickness have been cut successfully.     

Positive interpolation with rational quadratic splines

A necessary and sufficient criterion is presented under which the property of positivity carry over from the data set to rational quadratic spline interpolants. The criterion can always be satisfied if the occuring parameters are properly chosen.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

The evolving tree-analysis and applications

In this paper, we enhance and analyze the Evolving Tree (ETree) data analysis algorithm. The suggested improvements aim to make the system perform better while still maintaining the simple nature of the basic algorithm. We also examine the system's behavior with many different kinds of tests, measurements and visualizations. We compare the ETree's performance against classical data analysis methods and very similar modern systems. We find that the ETree is a suitable method for unsupervised analysis of huge data sets.