Efficient Solution of Language Equations Using Partitioned Representations

A class of discrete event synthesis problems can be reduced to solving language equations f . X ⊆ S, where F is the fixed component and S the specification. Sequential synthesis deals with FSMs when the automata for F and S are prefix closed, and are naturally represented by multi-level networks with latches. For this special case, we present an efficient computation, using partitioned representations, of the most general prefix-closed solution of the above class of language equations. The transition and the output relations of the FSMs for F and S in their partitioned form are represented by the sets of output and next state functions of the corresponding networks. Experimentally, we show that using partitioned representations is much faster than using monolithic representations, as well as applicable to larger problem instances.Comment: Submitted on behalf of EDAA (http://www.edaa.com/

Preliminary analysis of LDEF instrument A0187-1: Chemistry of Micrometeoroids Experiment

The Chemistry of Micrometeoroids Experiment (CME) exposed approximately 0.8 sq. m of gold on the Long Duration Exposure Facility's (LDEF's) trailing edge (location A03) and approximately 1.1 sq. m of aluminum in the forward-facing A11 location. The most significant results to date relate to the discovery of unmelted pyroxene and olivine fragments associated with natural cosmic dust impacts. The latter are sufficiently large for detailed phase studies, and they serve to demonstrate that recovery of unmelted dust fragments is a realistic prospect for further dust experiments that will employ more advanced collector media. We also discovered that man-made debris impacts occur on the LDEF's trailing edge with substantially higher frequency than expected, suggesting that orbital debris in highly elliptical orbits may have been somewhat underestimated

Four-loop beta function and mass anomalous dimension in Dimensional Reduction

Within the framework of QCD we compute renormalization constants for the strong coupling and the quark masses to four-loop order. We apply the DR-bar scheme and put special emphasis on the additional couplings which have to be taken into account. This concerns the epsilon-scalar--quark Yukawa coupling as well as the vertex containing four epsilon-scalars. For a supersymmetric Yang Mills theory, we find, in contrast to a previous claim, that the evanescent Yukawa coupling equals the strong coupling constant through three loops as required by supersymmetry.Comment: 15 pages, fixed typo in Eq. (18

Hyperthermal Environments Simulator for Nuclear Rocket Engine Development

An arc-heater driven hyperthermal convective environments simulator was recently developed and commissioned for long duration hot hydrogen exposure of nuclear thermal rocket materials. This newly established non-nuclear testing capability uses a high-power, multi-gas, wall-stabilized constricted arc-heater to produce hightemperature pressurized hydrogen flows representative of nuclear reactor core environments, excepting radiation effects, and is intended to serve as a low-cost facility for supporting non-nuclear developmental testing of hightemperature fissile fuels and structural materials. The resulting reactor environments simulator represents a valuable addition to the available inventory of non-nuclear test facilities and is uniquely capable of investigating and characterizing candidate fuel/structural materials, improving associated processing/fabrication techniques, and simulating reactor thermal hydraulics. This paper summarizes facility design and engineering development efforts and reports baseline operational characteristics as determined from a series of performance mapping and long duration capability demonstration tests. Potential follow-on developmental strategies are also suggested in view of the technical and policy challenges ahead. Keywords: Nuclear Rocket Engine, Reactor Environments, Non-Nuclear Testing, Fissile Fuel Development

Observational Cosmology in Macroscopic Gravity

We discuss the construction of cosmological models within the framework of Macroscopic Gravity (MG), which is a theory that models the effects of averaging the geometry of space-time on large scales. We find new exact spatially homogeneous and isotropic FLRW solutions to the MG field equations, and investigate large-scale perturbations around them. We find that any inhomogeneous perturbations to the averaged geometry are severely restricted, but that possible anisotropies in the correlation tensor can have dramatic consequences for the measurement of distances. These calculations are a first step within the MG approach toward developing averaged cosmological models to a point where they can be used to interpret real cosmological data, and hence to provide a working alternative to the "concordance" LCDM model.Comment: 22 page

Arc-Heater Facility for Hot Hydrogen Exposure of Nuclear Thermal Rocket Materials

A hyper-thermal environment simulator is described for hot hydrogen exposure of nuclear thermal rocket material specimens and component development. This newly established testing capability uses a high-power, multi-gas, segmented arc-heater to produce high-temperature pressurized hydrogen flows representative of practical reactor core environments and is intended to serve. as a low cost test facility for the purpose of investigating and characterizing candidate fueUstructura1 materials and improving associated processing/fabrication techniques. Design and development efforts are thoroughly summarized, including thermal hydraulics analysis and simulation results, and facility operating characteristics are reported, as determined from a series of baseline performance mapping tests

Study of the Potts Model on the Honeycomb and Triangular Lattices: Low-Temperature Series and Partition Function Zeros

We present and analyze low-temperature series and complex-temperature partition function zeros for the $q$-state Potts model with $q=4$ on the honeycomb lattice and $q=3,4$ on the triangular lattice. A discussion is given as to how the locations of the singularities obtained from the series analysis correlate with the complex-temperature phase boundary. Extending our earlier work, we include a similar discussion for the Potts model with $q=3$ on the honeycomb lattice and with $q=3,4$ on the kagom\'e lattice.Comment: 33 pages, Latex, 9 encapsulated postscript figures, J. Phys. A, in pres

The Empty Promise of Estate Tax Repeal

The terms of the debate over the estate tax have been framed largely by abolitionists who have propounded an antitax message that portrays the estate tax as unambiguously harmful and threatening to ordinary families and small businesses. The attack on the estate tax is linked to a larger agenda of eliminating taxes on capital and capital income and dismantling the progressive elements of the federal tax system. The slogan of estate tax repeal, while effective in mobilizing antitax sentiment, makes no sense as a matter of tax policy because it downplays revenue costs, distributional effects, administrative concerns, and consequences for the rest of the tax system. The 2001 Act illustrates the gap between the abolitionists\u27 simplistic antitax agenda and the complex reality of tradeoffs among competing tax and spending priorities. The estate tax cuts enacted in 2001 imply large revenue losses as well as a shift in tax burdens from the very rich to the middle class and from current taxpayers to future taxpayers. This appears to be a step in precisely the wrong direction, given growing inequalities of income and wealth and a looming fiscal gap

Reliability of Automated Biochemical Identification of Burkholderia pseudomallei Is Regionally Dependent

Misidentifications of Burkholderia pseudomallei as Burkholderia cepacia by Vitek 2 have occurred. Multidimensional scaling ordination of biochemical profiles of 217 Malaysian and Australian B. pseudomallei isolates found clustering of misidentified B. pseudomallei isolates from Malaysian Borneo. Specificity of B. pseudomallei identification in Vitek 2 and potentially other automated identification systems is regionally dependent