function definition language fdl and its implementation

A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.

THE MATRIX ANALYSIS FOR AN OPTICAL FREE-SPACE SWITCHING NETWORK AND AN OPTICAL CROSSOVER NETWORK WITH 4-FUNCTION INTERCHANGE NODES

A matrix analysis for free-space switching networks, such as perfect shuffle-exchange omega, crossover and Banyan is presented. On the basis of matrix analysis, the equivalence of these three switching networks and the route selection between input and output ports are simply explained. Furthermore, an optical crossover switching network, where MQW SEED arrays are used as electrically addressed four-function interchange nodes, is described and the optical crossover interconnection of 64 x 64, and high-speed four-function, interchange nodes is demonstrated in the experiment.

DISTRIBUTION FUNCTION OF A DRIFTING ELECTRON-GAS FOR GENERAL ENERGY-BAND STRUCTURES

The usual application of the Lei-Ting balance equation method for treating electron transport problems makes use of a Fermi distribution function for the electron motion relative to the center of mass. It is pointed out that this presumes the existence of a moving frame of reference that is dynamically equivalent to the rest frame of reference, and this is only true for electrons with a constant effective mass. The method is thus inapplicable to problems where electrons governed by a general energy-band dispersion E(k) are important (such as in miniband conduction). It is demonstrated that this difficulty can be overcome by introducing a distribution function for a drifting electron gas by maximizing the entropy subject to a prescribed average drift velocity. The distribution function reduces directly to the usual Fermi distribution for electron motion relative to the center of mass in the special case of E(k)=($) over bar h(2)\k\(2)/2m*. This maximum entropy treatment of a drifting electron gas provides a physically more direct as well as a more general basis for the application of the balance equation method.

SEMICLASSICAL AND ENVELOPE-FUNCTION TREATMENT OF MAGNETIC LEVELS IN SUPERLATTICES UNDER AN INPLANE MAGNETIC-FIELD

The theoretical treatment of magnetic levels formed in the minibands of superlattices under an in-plane magnetic field is discussed. It is found that the results of semiclassical and envelope-function treatments based on miniband structures are in good agreement with the results calculated strictly by the quantum-mechanical method, so long as the critical parameter 2hc/eBL2 is larger than 1. The wave functions obtained are in the nature of superlattice envelope functions, which are over and above the usual effective-mass envelope functions for bulk materials.

2-DELTA-FUNCTION GENERALIZED PLASMA POLE MODEL FOR 1ST PRINCIPLE CALCULATIONS OF QUASI-PARTICLE ENERGIES IN MANY-ELECTRON SYSTEMS

To evaluate the dynamical effects of the screened interaction in the calculations of quasiparticle energies in many-electron systems a two-delta-function generalized plasma pole model (GPP) is introduced to simulate the dynamical dielectric function. The usual single delta-function GPP model has the drawback of over simplifications and for the crystals without the center of symmetry is inappropriate to describe the finite frequency behavior for dielectric function matrices. The discrete frequency summation method requires too much computation to achieve converged results since ab initio calculations of dielectric function matrices are to be carried out for many different frequencies. The two-delta GPP model is an optimization of the two approaches. We analyze the two-delta GPP model and propose a method to determine from the first principle calculations the amplitudes and effective frequencies of these delta-functions. Analytical solutions are found for the second order equations for the parameter matrices entering the model. This enables realistic applications of the method to the first principle quasiparticle calculations and makes the calculations truly adjustable parameter free.

Green's function of a two-dimensional interacting electron gas in a perpendicular magnetic field

It is rigorously proved that the Green's function of a uniform two-dimensional interacting electron gas in a perpendicular magnetic field is diagonal with respect to single-particle states in the Landau gauge. The implication of this theorem is briefly discussed.