Experiences with a simplified microsimulation for the Dallas/Fort Worth area

We describe a simple framework for micro simulation of city traffic. A medium sized excerpt of Dallas was used to examine different levels of simulation fidelity of a cellular automaton method for the traffic flow simulation and a simple intersection model. We point out problems arising with the granular structure of the underlying rules of motion.Comment: accepted by Int.J.Mod.Phys.C, 20 pages, 14 figure

Software reliability: Repetitive run experimentation and modeling

A software experiment conducted with repetitive run sampling is reported. Independently generated input data was used to verify that interfailure times are very nearly exponentially distributed and to obtain good estimates of the failure rates of individual errors and demonstrate how widely they vary. This fact invalidates many of the popular software reliability models now in use. The log failure rate of interfailure time was nearly linear as a function of the number of errors corrected. A new model of software reliability is proposed that incorporates these observations

Modeling Two Dimensional Magnetic Domain Patterns

Two-dimensional magnetic garnets exhibit complex and fascinating magnetic domain structures, like stripes, labyrinths, cells and mixed states of stripes and cells. These patterns do change in a reversible way when the intensity of an externally applied magnetic field is varied. The main objective of this contribution is to present the results of a model that yields a rich pattern structure that closely resembles what is observed experimentally. Our model is a generalized two-dimensional Ising-like spin-one Hamiltonian with long-range interactions, which also incorporates anisotropy and Zeeman terms. The model is studied numerically, by means of Monte Carlo simulations. Changing the model parameters stripes, labyrinth and/or cellular domain structures are generated. For a variety of cases we display the patterns, determine the average size of the domains, the ordering transition temperature, specific heat, magnetic susceptibility and hysteresis cycle. Finally, we examine the reversibility of the pattern evolution under variations of the applied magnetic field. The results we obtain are in good qualitative agreement with experiment.Comment: 8 pages, 12 figures, submitted to Phys. Rev.

Software reliability: Additional investigations into modeling with replicated experiments

The effects of programmer experience level, different program usage distributions, and programming languages are explored. All these factors affect performance, and some tentative relational hypotheses are presented. An analytic framework for replicated and non-replicated (traditional) software experiments is presented. A method of obtaining an upper bound on the error rate of the next error is proposed. The method was validated empirically by comparing forecasts with actual data. In all 14 cases the bound exceeded the observed parameter, albeit somewhat conservatively. Two other forecasting methods are proposed and compared to observed results. Although demonstrated relative to this framework that stages are neither independent nor exponentially distributed, empirical estimates show that the exponential assumption is nearly valid for all but the extreme tails of the distribution. Except for the dependence in the stage probabilities, Cox's model approximates to a degree what is being observed

Direct current superconducting quantum interferometers with asymmetric shunt resistors

We have investigated asymmetrically shunted Nb/Al-AlO$_x$/Nb direct current (dc) superconducting quantum interference devices (SQUIDs). While keeping the total resistance $R$ identical to a comparable symmetric SQUID with $R^{-1} = R_1^{-1} + R_2^{-1}$, we shunted only one of the two Josephson junctions with $R = R_{1,2}/2$. Simulations predict that the optimum energy resolution $\epsilon$ and thus also the noise performance of such an asymmetric SQUID can be 3--4 times better than that of its symmetric counterpart. Experiments at a temperature of 4.2\,K yielded $\epsilon \approx 32\,\hbar$ for an asymmetric SQUID with an inductance of $22\,\rm{pH}$. For a comparable symmetric device $\epsilon = 110\,\hbar$ was achieved, confirming our simulation results.Comment: 5 pages, 4 figure

On codimension two flats in Fermat-type arrangements

In the present note we study certain arrangements of codimension $2$ flats in projective spaces, we call them "Fermat arrangements". We describe algebraic properties of their defining ideals. In particular, we show that they provide counterexamples to an expected containment relation between ordinary and symbolic powers of homogeneous ideals.Comment: 9 page

On the shape of a pure O-sequence

An order ideal is a finite poset X of (monic) monomials such that, whenever M is in X and N divides M, then N is in X. If all, say t, maximal monomials of X have the same degree, then X is pure (of type t). A pure O-sequence is the vector, h=(1,h_1,...,h_e), counting the monomials of X in each degree. Equivalently, in the language of commutative algebra, pure O-sequences are the h-vectors of monomial Artinian level algebras. Pure O-sequences had their origin in one of Richard Stanley's early works in this area, and have since played a significant role in at least three disciplines: the study of simplicial complexes and their f-vectors, level algebras, and matroids. This monograph is intended to be the first systematic study of the theory of pure O-sequences. Our work, making an extensive use of algebraic and combinatorial techniques, includes: (i) A characterization of the first half of a pure O-sequence, which gives the exact converse to an algebraic g-theorem of Hausel; (ii) A study of (the failing of) the unimodality property; (iii) The problem of enumerating pure O-sequences, including a proof that almost all O-sequences are pure, and the asymptotic enumeration of socle degree 3 pure O-sequences of type t; (iv) The Interval Conjecture for Pure O-sequences (ICP), which represents perhaps the strongest possible structural result short of an (impossible?) characterization; (v) A pithy connection of the ICP with Stanley's matroid h-vector conjecture; (vi) A specific study of pure O-sequences of type 2, including a proof of the Weak Lefschetz Property in codimension 3 in characteristic zero. As a corollary, pure O-sequences of codimension 3 and type 2 are unimodal (over any field); (vii) An analysis of the extent to which the Weak and Strong Lefschetz Properties can fail for monomial algebras; (viii) Some observations about pure f-vectors, an important special case of pure O-sequences.Comment: iii + 77 pages monograph, to appear as an AMS Memoir. Several, mostly minor revisions with respect to last year's versio

Two-dimensional cellular automaton model of traffic flow with open boundaries

A two-dimensional cellular automaton model of traffic flow with open boundaries are investigated by computer simulations. The outflow of cars from the system and the average velocity are investigated. The time sequences of the outflow and average velocity have flicker noises in a jamming phase. The low density behavior are discussed with simple jam-free approximation.Comment: 14 pages, Phys. Rev. E in press, PostScript figures available at ftp://hirose.ai.is.saga-u.ac.jp/pub/documents/papers/1996/2DTR/ OpenBoundaries/Figs.tar.g