A Network Simulation of High-congestion Road-traffic Flows in Cities with Marine Container Terminals

Port cities where marine cargo terminals are located are generally near urban areas characterized by high-congestion road traffic. Changes in cargo traffic volumes into a marine terminal, or in the surrounding traffic arteries, which carry this traffic, can significantly affect the terminal's operations. Conversely, activity at the terminal can have an impact on the traffic levels and congestion for a considerable distance from the terminal. This paper demonstrates a methodology useful for studying the impact of road traffic flows on marine container terminals located in highly congested areas. This model was developed at the request of the Virginia Center for World Trade and was used to answer three planning questions in the port of Hampton Roads, Virginia, USA-what would be the impact of: opening a new section of interstate highway, a projected doubling of container traffic at one terminal, and a daily unit train in the vicinity of another terminal. The problem was made more challenging by limited data-collection funds. None the less, the model was deemed valid by a panel of traffic experts and officials from several major state and private agencies involved in marine traffic management. The model results were subsequently a factor in two major decisions related to terminal management.     

Bases,spanning sets,and the axiom of choice

Two theorems are proved: First that the statement “there exists a field F such that for every vector space over F, every generating set contains a basis” implies the axiom of choice. This generalizes theorems of Halpern, Blass, and Keremedis. Secondly, we prove that the assertion that every vector space over ?₂ has a basis implies that every well‐ordered collection of two‐element sets has a choice function. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Symplectic Yang–Mills theory,Ricci tensor,and connections

A Yang–Mills theory in a purely symplectic framework is developed. The corresponding Euler–Lagrange equations are derived and first integrals are given. We relate the results to the work of Bourgeois and Cahen on preferred symplectic connections.     

Periodic solutions for a quasilinear non-autonomous second-order system

In this paper, a quasilinear second-order system with periodic boundary conditions is studied. By the least action principle and classical theorems of variational calculus, existence results of periodic solutions are obtained.     

Zeta regularized determinants for conic manifolds

We study (relative) zeta regularized determinants of Laplace type operators on compact conic manifolds. We establish gluing formulae for relative zeta regularized determinants. For arbitrary self-adjoint extensions of the Laplace-Beltrami operator, we express the relative ζ-determinants for these as a ratio of the determinants of certain finite matrices. For the self-adjoint extensions corresponding to Dirichlet and Neumann conditions, the formula is particularly simple and elegant.     

On the uniqueness of the foliation of spheres of constant mean curvature in asymptotically flat 3-manifolds

In this note we study constant mean curvature surfaces in asymptotically flat 3-manifolds. We prove that, outside a given compact subset in an asymptotically flat 3-manifold with positive mass, stable spheres of given constant mean curvature are unique. Therefore we are able to conclude that the foliation of stable spheres of constant mean curvature in an asymptotically flat 3-manifold with positive mass outside a given compact subset is unique.

     

带强迫项变系数组合KdV方程的显式精确解

通过构造两个新的Riccati方程组，推广了Riccati方法，使其具有简洁的形式，丰富和发展了已有的结果，借助Mathematica软件，求出了带强迫项变系数组合KdV方程的一些精确解，包括各种类孤波解、类周期解和变速孤波解. 关键词： Riccati方程组 变系数组合KdV方程 强迫项 类孤波解     

火工品可靠性试验数据的综合分析方法

升降法试验数据和固定刺激量下的成败型试验数据,是两种最常见的火工品可靠性试验数据．我们应用Markov链,研究了升降法试验数据下,感度分布参数的极大似然估计的特性．在此基础上,应用Bootstrap方法和Bayes方法,给出了综合分析两种试验数据的方法．最后,将该方法应用于520底火的可靠性鉴定,得出了有益的结论．