Evaluating dredging and offshore loading locations for U.S. coal exports using the local logistics system

The formulation and use of a mixed integer mathematical programming location-allocation model, the Coal Logistics System (COLS), is presented in this study. COLS is used to evaluate the potential for reducing water-borne coal transportation costs, and concomitantly the costs of delivering coal to European markets. This cost reduction is accomplished through the use of supercolliers which would require the dredging of channels at selected ports or the use of offshore loading sites at East and Gulf Coast ports or both. The model developed and the analysis presented in this paper are intended to aid in the determination of the location and extent of these activities, and to indicate the size of the potential reduction in the costs of U.S. export coal. In order to be able to accommodate these deeper draft vessels at East and Gulf Coast ports, expensive improvements would need to be undertaken which may include the deepening of harbor channels to the depths required for 120 000 dead weight ton (dwt) or larger supercolliers. Since dredging requires large initial investments and has significant long-term maintenance costs, excess capacity could represent an inefficient use of both U.S. revenues and the ports' own funds. The use of offshore loading moorings to permit the topping off of supercolliers by self-unloading colliers at the deepwater sections of harbor channels has been proposed as a way of reducing trans-ocean transportation costs and avoiding the large investments and time delays associated with dredging activities. The Coal Logistics System was modified and extended to enable the evaluation of these two port improvement options to be undertaken in a consistent and realistic manner.     

Renewal theorem for a class of stationary sequences

Summary A renewal theorem is obtained for stationary sequences of the form _n=(...,X _n-1,X _n,X _n+1...), whereX _n, , are i.i.d. r.v.s. valued in a Polish space. This class of processes is sufficiently broad to encompass functionals of recurrent Markov chains, functionals of stationary Gaussian processes, and functionals of one-dimensional Gibbs states. The theorem is proved by a new coupling construction.Research supported by the National Science Foundation     

Periodic solutions of quasilinear non-autonomous systems with impulses

The paper considers a system of differential equations with impulse perturbations at fixed moments in time of the form where x ? R ⁿ, ε is a small parameter, Sufficient conditions have been found for existence of the periodic solution of the given system in the critical and non-critical cases.     

Problems and results on additive properties of general sequences,V

A very special case of one of the theorems of the authors states as follows: Let 1a ₁a ₂... be an infinite sequence of integers for which all the sumsa _i +a _j , 1ij, are distinct. Then there are infinitely many integersk for which 2k can be represented in the forma _i +a _j but 2k+1 cannot be represented in this form. Several unsolved problems are stated.Dedicated to our friend Professor E. Hlawka on the occasion of his seventieth birthday     

How large can a hereditarily separable or hereditarily Lindelöf space be?

The main result of this paper is that ifV satisfies GCH andω ₁<λ<μ are arbitrary regular cardinals, then in some cardinal preserving forcing extensionW ofV we have λ^<λ=λ=2 ^N 0,μ=2 ^λ and there are a hereditarily separableX ?2 ^λ with |X|= \(2^{\aleph _0 } \) =μ and a hereditarily LindelöfY ?2 ^μ withw(Y)= \(2^{2^\aleph 0} \) =μ. So far similar results have only been obtained under the assumption of CH.     

Observables on hypergraphs

Observables on hypergraphs are described by event-valued measures. We first distinguish between finitely additive observables and countably additive ones. We then study the spectrum, compatibility, and functions of observables. Next a relationship between observables and certain functionals on the set of measures M(H) of a hypergraph H is established. We characterize hypergraphs for which every linear functional on M(H) is determined by an observable. We define the concept of an effect and show that observables are related to effect-valued measures. Finally, we define operational transformations from M(H) to itself and show that they can be described as a certain combination of effects.On leave from University of Berne, Institute of Mathematical Statistics, Sidlerstrasse 5, CH-3012 Berne, Switzerland.     

Hamiltonian structures of nonlinear evolution equations connected with a polynomial pencil

For a generalized Zakharov-Shabat system in which the matrix potential is a polynomial in the spectral parameter a generating operator is constructed which makes it possible to compactly write out the nonlinear evolution equations (NEE) connected with the system. The eigenfunctions of the generating operator — the squares of solutions of the original system — are found. The Hamiltonian property of the NEE and the existence of a hierarchy of Hamiltonian structures are established.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 120, pp. 55–68, 1982.     

Orlicz spaces for a family of measures

. .     

An explicit formula for the discussion of stability in autonomous Hamiltonian systems

The well known theorem of Arnold and Moser gives (in most cases) an answer to the question of the stability of the equilibria of autonomous Hamiltonian systems which can be reduced to two degrees of freedom. To apply their theorem, the Hamiltonian has to be transformed into its Birkhoff normal form of order two. In this paper this transformation is reduced to the multiplication of polynomials, which can easily be performed algebraically on a computer. The conical precessions of a dynamically symmetric satellite in a circular orbit serve as an example.

---

Zusammenfassung Der bekannte Satz von Arnold und Moser liefert (auer in wenigen Ausnahmefällen) eine Antwort auf die Frage nach der Stabilität von Gleichgewichtslagen autonomer Hamiltonscher Systeme, die sich auf zwei Freiheitsgrade reduzieren lassen. Damit dieser Satz angewendet werden kann, mu die Hamiltonfunktion auf ihre Birkhoff-Normalform der Ordnung zwei transformiert werden. Diese Transformation wird hier auf Multiplikationen von Polynomen reduziert, die einfach, in symbolischer Weise, auf dem Computer ausgeführt werden können. Als Beispiel dienen die konischen Präzessionen eines dynamisch symmetrischen Satelliten auf einer Kreisbahn.

     

Complete integrability of the supersymmetric model (cos φ)2

Complete integrability of the supersymmetric, two-dimensional sine-Gordon model of field theory within the framework of the Hamiltonian interpretation of the method of the inverse problem is proved. The classical r-matrix of the model is computed, and its equivalence to the r-matrix the Grassmann Thirring model is established. Variables of creation-annihilation type are constructed, and the spectrum of elementary excitations of the system is obtained.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 120, pp. 122–135, 1982.