Space construction system analysis. Part 2: Cost and programmatics

Cost and programmatic elements of the space construction systems analysis study are discussed. The programmatic aspects of the ETVP program define a comprehensive plan for the development of a space platform, the construction system, and the space shuttle operations/logistics requirements. The cost analysis identified significant items of cost on ETVP development, ground, and flight segments, and detailed the items of space construction equipment and operations

Non-equilibrium dynamics in quantum field theory at high density: the tsunami

The dynamics of a dense relativistic quantum fluid out of thermodynamic equilibrium is studied in the framework of the Phi^4 scalar field theory in the large N limit. The time evolution of a particle distribution in momentum space (the tsunami) is computed. The effective mass felt by the particles in such a high density medium equals the tree level mass plus the expectation value of the squared field. The case of negative tree level squared mass is particularly interesting. In such case dynamical symmetry restoration as well as dynamical symmetry breaking can happen. Furthermore, the symmetry may stay broken with vanishing asymptotic squared mass showing the presence of out of equilibrium Goldstone bosons. We study these phenomena and identify the set of initial conditions that lead to each case. We compute the equation of state which turns to depend on the initial state. Although the system does not thermalize, the equation of state for asymptotically broken symmetry is of radiation type. We compute the correlation functions at equal times. The two point correlator for late times is the sum of different terms. One stems from the initial particle distribution. Another term accounts for the out of equilibrium Goldstone bosons created by spinodal unstabilities when the symmetry is asymptotically broken.Both terms are of the order of the inverse of the coupling for distances where causal signals can connect the two points. The contribution of the out of equilibrium Goldstones exhibits scaling behaviour in a generalized sense.Comment: LaTex, 49 pages, 15 .ps figure

Non-perturbative approach for the time-dependent symmetry breaking

We present a variational method which uses a quartic exponential function as a trial wave-function to describe time-dependent quantum mechanical systems. We introduce a new physical variable $y$ which is appropriate to describe the shape of wave-packet, and calculate the effective action as a function of both the dispersion $\sqrt{}$ and $y$. The effective potential successfully describes the transition of the system from the false vacuum to the true vacuum. The present method well describes the long time evolution of the wave-function of the system after the symmetry breaking, which is shown in comparison with the direct numerical computations of wave-function.Comment: 8 pages, 3 figure

Almost-zero-energy Eigenvalues of Some Broken Supersymmetric Systems

For a quantum mechanical system with broken supersymmetry, we present a simple method of determining the ground state when the corresponding energy eigenvalue is sufficiently small. A concise formula is derived for the approximate ground state energy in an associated, well-separated, asymmetric double-well-type potential. Our discussion is also relevant for the analysis of the fermion bound state in the kink-antikink scalar background.Comment: revised version, to be pubilshed in PR

Control/structures interaction study of two 300 KW dual-keel space station concepts

The results of an investigation of the influence of structural stiffness of the space station framework on the controllability of two 300 kw class, solar dynamic powered, dual-keel space station designs are presented. The two design concepts differed only in the truss bay dimensions of the structural framework of the stations. Two control studies were made: (1) A study of the interaction of the framework structural response with the reaction control system used for attitude control during an orbital reboost maneuver; and (2) A study of the stability of the space station attitude control system with sensors influenced by the elastic deformations of the station framework. Although both configurations had acceptable control characteristics, the configuration with the larger truss bay dimension and its increased structural stiffness had more attractive characteristics for pointing control of the solar dynamic system during reboost and for attitude control during normal in-orbit operations

Formulas for Continued Fractions. An Automated Guess and Prove Approach

We describe a simple method that produces automatically closed forms for the coefficients of continued fractions expansions of a large number of special functions. The function is specified by a non-linear differential equation and initial conditions. This is used to generate the first few coefficients and from there a conjectured formula. This formula is then proved automatically thanks to a linear recurrence satisfied by some remainder terms. Extensive experiments show that this simple approach and its straightforward generalization to difference and $q$-difference equations capture a large part of the formulas in the literature on continued fractions.Comment: Maple worksheet attache

Schwinger-Dyson approach to non-equilibrium classical field theory

In this paper we discuss a Schwinger-Dyson [SD] approach for determining the time evolution of the unequal time correlation functions of a non-equilibrium classical field theory, where the classical system is described by an initial density matrix at time $t=0$. We focus on $\lambda \phi^4$ field theory in 1+1 space time dimensions where we can perform exact numerical simulations by sampling an ensemble of initial conditions specified by the initial density matrix. We discuss two approaches. The first, the bare vertex approximation [BVA], is based on ignoring vertex corrections to the SD equations in the auxiliary field formalism relevant for 1/N expansions. The second approximation is a related approximation made to the SD equations of the original formulation in terms of $\phi$ alone. We compare these SD approximations as well as a Hartree approximation with exact numerical simulations. We find that both approximations based on the SD equations yield good agreement with exact numerical simulations and cure the late time oscillation problem of the Hartree approximation. We also discuss the relationship between the quantum and classical SD equations.Comment: 36 pages, 5 figure

Matrices of Optimal Tree-Depth and Row-Invariant Parameterized Algorithm for Integer Programming

A long line of research on fixed parameter tractability of integer programming culminated with showing that integer programs with n variables and a constraint matrix with tree-depth d and largest entry ? are solvable in time g(d,?) poly(n) for some function g, i.e., fixed parameter tractable when parameterized by tree-depth d and ?. However, the tree-depth of a constraint matrix depends on the positions of its non-zero entries and thus does not reflect its geometric structure. In particular, tree-depth of a constraint matrix is not preserved by row operations, i.e., a given integer program can be equivalent to another with a smaller dual tree-depth. We prove that the branch-depth of the matroid defined by the columns of the constraint matrix is equal to the minimum tree-depth of a row-equivalent matrix. We also design a fixed parameter algorithm parameterized by an integer d and the entry complexity of an input matrix that either outputs a matrix with the smallest dual tree-depth that is row-equivalent to the input matrix or outputs that there is no matrix with dual tree-depth at most d that is row-equivalent to the input matrix. Finally, we use these results to obtain a fixed parameter algorithm for integer programming parameterized by the branch-depth of the input constraint matrix and the entry complexity. The parameterization by branch-depth cannot be replaced by the more permissive notion of branch-width