Performance analysis using timed Petri Nets

Petri Nets have been successfully used to model and evaluate the performance of distributed systems. Several researchers have extended the basic Petri Net model to include time, and have demonstrated that restricted classes of Petri Nets can be analyzed efficiently. Unfortunately, the restrictions prohibit the techniques from being applied to many interesting systems, e.g. communication protocols. This paper proposes a version of timed Petri Nets which accurately models communication protocols, and which can be analyzed using Timed Reachability Graphs. Procedures for constructing and analyzing these graphs are presented. The analysis is shown to be applicable to a larger class of Timed Petri Nets than previously thought. The model and the analysis technique are demonstrated using a simple communication protocol

Interface creation and stress dynamics in plasma-deposited silicon dioxide films

The stress in amorphous silicon dioxide filmgrown by plasma-assisted deposition was investigated both during and after film growth for continuously and intermittently depositedfilms. It is shown that an intermittent deposition leads to the creation of interfacial regions during film growth, but also causes dynamical structural change in already-deposited film which results in a significantly different stress-thickness profile measured after deposition.Film growth in the continuously depositedfilm was also monitored using an in situ laser reflection technique, and a strong change in stress was detected at about 145nm which was attributed to the onset of island coalescence

Comparison of two- and three-dimensional Navier-Stokes solutions with NASA experimental data for CAST-10 airfoil

The two-dimensional (2-D) and three-dimensional Navier-Stokes equations are solved for flow over a NAE CAST-10 airfoil model. Recently developed finite-volume codes that apply a multistage time stepping scheme in conjunction with steady state acceleration techniques are used to solve the equations. Two-dimensional results are shown for flow conditions uncorrected and corrected for wind tunnel wall interference effects. Predicted surface pressures from 3-D simulations are compared with those from 2-D calculations. The focus of the 3-D computations is the influence of the sidewall boundary layers. Topological features of the 3-D flow fields are indicated. Lift and drag results are compared with experimental measurements

Flux of nutrients from Russian rivers to the Arctic Ocean: Can we establish a baseline against which to judge future changes?

Climate models predict significant warming in the Arctic in the 21st century, which will impact the functioning of terrestrial and aquatic ecosystems as well as alter land‐ocean interactions in the Arctic. Because river discharge and nutrient flux integrate large‐scale processes, they should be sensitive indicators of change, but detection of future changes requires knowledge of current conditions. Our objective in this paper is to evaluate the current state of affairs with respect to estimating nutrient flux to the Arctic Ocean from Russian rivers. To this end we provide estimates of contemporary (1970s–1990s) nitrate, ammonium, and phosphate fluxes to the Arctic Ocean for 15 large Russian rivers. We rely primarily on the extensive data archives of the former Soviet Union and current Russian Federation and compare these values to other estimates and to model predictions. Large discrepancies exist among the various estimates. These uncertainties must be resolved so that the scientific community will have reliable data with which to calibrate Arctic biogeochemical models and so that we will have a baseline against which to judge future changes (either natural or anthropogenic) in the Arctic watershed

Quantum Many-Body Dynamics of Dark Solitons in Optical Lattices

We present a fully quantum many-body treatment of dark solitons formed by ultracold bosonic atoms in one-dimensional optical lattices. Using time-evolving block decimation to simulate the single-band Bose-Hubbard Hamiltonian, we consider the quantum dynamics of density and phase engineered dark solitons as well as the quantum evolution of mean-field dark solitons injected into the quantum model. The former approach directly models how one may create quantum entangled dark solitons in experiment. While we have already presented results regarding the latter approach elsewhere [Phys. Rev. Lett. {\bf 103}, 140403 (2009)], we expand upon those results in this work. In both cases, quantum fluctuations cause the dark soliton to fill in and may induce an inelasticity in soliton-soliton collisions. Comparisons are made to the Bogoliubov theory which predicts depletion into an anomalous mode that fills in the soliton. Our many-body treatment allows us to go beyond the Bogoliubov approximation and calculate explicitly the dynamics of the system's natural orbitals.Comment: 14 pages, 11 figures -- v3 has only minor changes from v2 -- this is the print versio

Markets for Contracts: Experiments Exploring the Compatibility of Games and Markets for Games

The research presented here explores the relationship between games and the economic environment in which the game might be embedded. In particular, the focus is on a market institution in which agents buy and sell rights to participate in a follow-on stage of strategic interaction. Many instruments found in markets, such as insurance contracts and warranties, have that property and motivate the study. The central question posed is how the game and the market, two different types of processes, interact. Traditionally two sets of theory are applied to each of the separate processes: one relates to price formation in the market and the other involves modeling the follow-on stage of interaction as a game. However the application becomes ambiguous when the game has multiple solutions. Consequently, it is not clear from theory how or if joint convergence of the two processes might evolve. The study focuses on that issue and the results demonstrate that outcomes in the game are systematically linked to outcomes in the market. The game outcomes can be characterized by traditional game-theoretic solution concepts. Moreover, the market converges to a competitive equilibrium consistent with the Nash equilibrium that obtains in the game

Supersonic aeroelastic instability results for a NASP-like wing model

An experimental study and an analytical study have been conducted to examine static divergence for hypersonic-vehicle wing models at supersonic conditions. A supersonic test in the Langley Unitary Plan Wind Tunnel facility was conducted for two wind-tunnel models. These models were nearly identical with the exception of airfoil shape. One model had a four-percent maximum thickness airfoil and the other model had an eight-percent maximum thickness airfoil. The wing models had low-aspect ratios and highly swept leading edges. The all-movable wing models were supported by a single-pivot mechanism along the wing root. For both of the wind-tunnel models, configuration changes could be made in the wing-pivot location along the wing root and in the wing-pivot pitch stiffness. Three divergence conditions were measured for the four-percent thick airfoil model in the Mach number range of 2.6 to 3.6 and one divergence condition was measured for the eight-percent thick airfoil model at a Mach number of 2.9. Analytical divergence calculations were made for comparison with experimental results and to evaluate the parametric effects of wing-pivot stiffness, wing-pivot location, and airfoil thickness variations. These analyses showed that decreasing airfoil thickness, moving the wing-pivot location upstream, or increasing the pitch-pivot stiffness have the beneficial effect of increasing the divergence dynamic pressures. The calculations predicted the trend of experimental divergence dynamic pressure with Mach number accurately; however, the calculations were approximately 25 percent conservative with respect to dynamic pressure

Phylogeography of the crown-of-thorns starfish in the Indian Ocean

Background: Understanding the limits and population dynamics of closely related sibling species in the marine realm is particularly relevant in organisms that require management. The crown-of-thorns starfish Acanthaster planci, recently shown to be a species complex of at least four closely related species, is a coral predator infamous for its outbreaks that have devastated reefs throughout much of its Indo-Pacific distribution. Methodology/Principal Findings: In this first Indian Ocean-wide genetic study of a marine organism we investigated the genetic structure and inferred the paleohistory of the two Indian Ocean sister-species of Acanthaster planci using mitochondrial DNA sequence analyses. We suggest that the first of two main diversification events led to the formation of a Southern and Northern Indian Ocean sister-species in the late Pliocene-early Pleistocene. The second led to the formation of two internal clades within each species around the onset of the last interglacial. The subsequent demographic history of the two lineages strongly differed, the Southern Indian Ocean sister-species showing a signature of recent population expansion and hardly any regional structure, whereas the Northern Indian Ocean sister-species apparently maintained a constant size with highly differentiated regional groupings that were asymmetrically connected by gene flow. Conclusions/Significance: Past and present surface circulation patterns in conjunction with ocean primary productivity were identified as the processes most likely to have shaped the genetic structure between and within the two Indian Ocean lineages. This knowledge will help to understand the biological or ecological differences of the two sibling species and therefore aid in developing strategies to manage population outbreaks of this coral predator in the Indian Ocean