The Securities and Exchange Commission and Accounting Principles

In this thesis we address the problem of optimal code generation for irregular architectures such as Digital Signal Processors (DSPs). Code generation consists mainly of three interrelated optimization tasks: instruction selection (with resource allocation), instruction scheduling and register allocation. These tasks have been discovered to be NP-hard for most architectures and most situations. A common approach to code generation consists in solving each task separately, i.e. in a decoupled manner, which is easier from a software engineering point of view. Phase-decoupled compilers produce good code quality for regular architectures, but if applied to DSPs the resulting code is of significantly lower performance due to strong interdependences between the different tasks. We developed a novel method for fully integrated code generation at the basic block level, based on dynamic programming. It handles the most important tasks of code generation in a single optimization step and produces an optimal code sequence. Our dynamic programming algorithm is applicable to small, yet not trivial problem instances with up to 50 instructions per basic block if data locality is not an issue, and up to 20 instructions if we take data locality with optimal scheduling of data transfers on irregular processor architectures into account. For larger problem instances we have developed heuristic relaxations. In order to obtain a retargetable framework we developed a structured architecture specification language, xADML, which is based on XML. We implemented such a framework, called OPTIMIST that is parameterized by an xADML architecture specification. The thesis further provides an Integer Linear Programming formulation of fully integrated optimal code generation for VLIW architectures with a homogeneous register file. Where it terminates successfully, the ILP-based optimizer mostly works faster than the dynamic programming approach; on the other hand, it fails for several larger examples where dynamic programming still provides a solution. Hence, the two approaches complement each other. In particular, we show how the dynamic programming approach can be used to precondition the ILP formulation. As far as we know from the literature, this is for the first time that the main tasks of code generation are solved optimally in a single and fully integrated optimization step that additionally considers data placement in register sets and optimal scheduling of data transfers between different registers sets

A study of the optimization method used in the NAVY/NASA gas turbine engine computer code

Sources of numerical noise affecting the convergence properties of the Powell's Principal Axis Method of Optimization in the NAVY/NASA gas turbine engine computer code were investigated. The principal noise source discovered resulted from loose input tolerances used in terminating iterations performed in subroutine CALCFX to satisfy specified control functions. A minor source of noise was found to be introduced by an insufficient number of digits in stored coefficients used by subroutine THERM in polynomial expressions of thermodynamic properties. Tabular results of several computer runs are presented to show the effects on program performance of selective corrective actions taken to reduce noise

Self-consistent calculation of particle-hole diagrams on the Matsubara frequency: FLEX approximation

We implement the numerical method of summing Green function diagrams on the Matsubara frequency axis for the fluctuation exchange (FLEX) approximation. Our method has previously been applied to the attractive Hubbard model for low density. Here we apply our numerical algorithm to the Hubbard model close to half filling ($\rho = 0.40$), and for $T/t = 0.03$, in order to study the dynamics of one- and two-particle Green functions. For the values of the chosen parameters we see the formation of three branches which we associate with the a two-peak structure in the imaginary part of the self-energy. From the imaginary part of the self-energy we conclude that our system is a Fermi liquid (for the temperature investigated here), since Im$\Sigma(\vec{k},\omega) \approx w^2$ around the chemical potential. We have compared our fully self-consistent FLEX solutions with a lower order approximation where the internal Green functions are approximated by free Green functions. These two approches, i.e., the fully selfconsistent and the non-selfconsistent ones give different results for the parameters considered here. However, they have similar global results for small densities.Comment: seven pages, nine figures as ps files. Accepted in Int. J. Modern Phys. C (1997

Stability of the shell structure in 2D quantum dots

We study the effects of external impurities on the shell structure in semiconductor quantum dots by using a fast response-function method for solving the Kohn-Sham equations. We perform statistics of the addition energies up to 20 interacting electrons. The results show that the shell structure is generally preserved even if effects of high disorder are clear. The Coulomb interaction and the variation in ground-state spins have a strong effect on the addition-energy distributions, which in the noninteracting single-electron picture correspond to level statistics showing mixtures of Poisson and Wigner forms.Comment: 7 pages, 8 figures, submitted to Phys. Rev.

An efficient method for the Quantum Monte Carlo evaluation of the static density-response function of a many-electron system

In a recent Letter we introduced Hellmann-Feynman operator sampling in diffusion Monte Carlo calculations. Here we derive, by evaluating the second derivative of the total energy, an efficient method for the calculation of the static density-response function of a many-electron system. Our analysis of the effect of the nodes suggests that correlation is described correctly and we find that the effect of the nodes can be dealt with

Study to document low thrust trajectory optimization programs HILTOP and ASTOP

Detailed documentation of the HILTOP and ASTOP computer programs is presented along with results of the analyses of the possible extension of the HILTOP program and results of an extra-ecliptic mission study performed with HILTOP

Dynamics of compressible edge and bosonization

We work out the dynamics of the compressible edge of the quantum Hall system based on the electrostatic model of Chklovskii et al.. We introduce a generalized version of Wen's hydrodynamic quantization approach to the dynamics of sharp edge and rederive Aleiner and Glazman's earlier result of multiple density modes. Bosonic operators of density excitations are used to construct fermions at the interface of the compressible and incompressible region. We also analyze the dynamics starting with the second-quantized Hamiltonian in the lowest Landau level and work out the time development of density operators. Contrary to the hydrodynamic results, the density modes are strongly coupled. We argue that the coupling suppresses the propagation of all acoustic modes, and that the excitations with large wavevectors are subject to decay due to coupling to the dissipative acoustic modes.A possible correction to the tunneling density of states is discussed.Comment: 7 pages, Revtex, 1 figur

Phase diagram of a Bose gas near a wide Feshbach resonance

In this paper, we study the phase diagram of a homogeneous Bose gas with a repulsive interaction near a wide Feshbach resonance at zero temperature. The Bose-Einstein-condensation (BEC) state of atoms is a metastable state. When the scattering length $a$ exceeds a critical value depending on the atom density $n$, $na^3>0.035$, the molecular excitation energy is imaginary and the atomic BEC state is dynamically unstable against molecule formation. The BEC state of diatomic molecules has lower energy, where the atomic excitation is gapped and the molecular excitation is gapless. However when the scattering length is above another critical value, $na^3>0.0164$, the molecular BEC state becomes a unstable coherent mixture of atoms and molecules. In both BEC states, the binding energy of diatomic molecules is reduced due to the many-body effect.Comment: 5 pages, 4 figure