Abstract State Machines 1988-1998: Commented ASM Bibliography

An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm

Traveling and pinned fronts in bistable reaction-diffusion systems on network

Traveling fronts and stationary localized patterns in bistable reaction-diffusion systems have been broadly studied for classical continuous media and regular lattices. Analogs of such non-equilibrium patterns are also possible in networks. Here, we consider traveling and stationary patterns in bistable one-component systems on random Erd\"os-R\'enyi, scale-free and hierarchical tree networks. As revealed through numerical simulations, traveling fronts exist in network-organized systems. They represent waves of transition from one stable state into another, spreading over the entire network. The fronts can furthermore be pinned, thus forming stationary structures. While pinning of fronts has previously been considered for chains of diffusively coupled bistable elements, the network architecture brings about significant differences. An important role is played by the degree (the number of connections) of a node. For regular trees with a fixed branching factor, the pinning conditions are analytically determined. For large Erd\"os-R\'enyi and scale-free networks, the mean-field theory for stationary patterns is constructed

Incorporating Antecedent Soil Moisture into Streamflow Forecasting

This study incorporates antecedent (preceding) soil moisture into forecasting streamflow volumes within the North Platte River Basin, Colorado/Wyoming (USA). The incorporation of antecedent soil moisture accounts for infiltration and can improve streamflow predictions. Current Natural Resource Conservation Service (NRCS) forecasting methods are replicated, and a comparison is drawn between current NRCS forecasts and proposed forecasting methods using antecedent soil moisture. Current predictors used by the NRCS in regression-based streamflow forecasting include precipitation, streamflow persistence (previous season streamflow volume) and snow water equivalent (SWE) from SNOTEL (snow telemetry) sites. Proposed methods utilize antecedent soil moisture as a predictor variable in addition to the predictors noted above. A decision system was used to segregate data based on antecedent soil moisture conditions (e.g., dry, wet or normal). Principal Components Analysis and Stepwise Linear Regression were applied to generate streamflow forecasts, and numerous statistics were determined to measure forecast skill. The results show that when incorporating antecedent soil moisture, the “poor” forecasts (i.e., years in which the NRCS forecast differed greatly from the observed value) were improved, while the overall forecast skill remains unchanged. The research presented shows the need to increase the monitoring and collection of soil moisture data in mountainous western U.S. watersheds, as this parameter results in improved forecast skill

Incorporating Antecedent Soil Moisture into Streamflow Forecasting

This study incorporates antecedent (preceding) soil moisture into forecasting streamflow volumes within the North Platte River Basin, Colorado/Wyoming (USA). The incorporation of antecedent soil moisture accounts for infiltration and can improve streamflow predictions. Current Natural Resource Conservation Service (NRCS) forecasting methods are replicated, and a comparison is drawn between current NRCS forecasts and proposed forecasting methods using antecedent soil moisture. Current predictors used by the NRCS in regression-based streamflow forecasting include precipitation, streamflow persistence (previous season streamflow volume) and snow water equivalent (SWE) from SNOTEL (snow telemetry) sites. Proposed methods utilize antecedent soil moisture as a predictor variable in addition to the predictors noted above. A decision system was used to segregate data based on antecedent soil moisture conditions (e.g., dry, wet or normal). Principal Components Analysis and Stepwise Linear Regression were applied to generate streamflow forecasts, and numerous statistics were determined to measure forecast skill. The results show that when incorporating antecedent soil moisture, the “poor” forecasts (i.e., years in which the NRCS forecast diered greatly from the observed value) were improved, while the overall forecast skill remains unchanged. The research presented shows the need to increase the monitoring and collection of soil moisture data in mountainous western U.S. watersheds, as this parameter results in improved forecast skill

Nonlinear aerodynamic global model indentification using Gram-Schmidt orthogonalisation13;

This paper discusses a simple technique to identify global models for nonlinear aerodynamic force and moment coefficients of aircraft using multivariate orthogonal functions. Classical Gram-Schmidt procedure and Predicted Squared Error metric are used to generate the orthogonal functions. Global models for the F-16 aircraft are identified from a simplified subsonic (Mach less than 0.6) wind tunnel database available in open literature. The identified models are compared with those found in literature for the same wind tunnel database and conclusions are drawn.

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between the original and the mutated model. This paper presents an approach for symbolic conformance checking of action systems, which are well-suited to specify reactive systems. We also consider nondeterminism in our models. Hence, we do not check for equivalence, but for refinement. We encode the transition relation as well as the conformance relation as a constraint satisfaction problem and use a constraint solver in our reachability and refinement checking algorithms. Explicit conformance checking techniques often face state space explosion. First experimental evaluations show that our approach has potential to outperform explicit conformance checkers.Comment: In Proceedings MBT 2012, arXiv:1202.582

Executable formal specifications of complex distributed systems with CoreASM

Formal specifications play a crucial role in the design of reliable complex software systems. Executable formal specifications allow the designer to attain early validation and verification of design using static analysis techniques and accurate simulation of the runtime behavior of the system-to-be. With increasing complexity of software-intensive computer-based systems and the challenges of validation and verification of abstract software models prior to coding, the need for interactive software tools supporting executable formal specifications is even more evident. In this paper, we discuss how CoreASM, an environment for writing and running executable specifications according to the ASM method, provides flexibility and manages the complexity by using an innovative extensible language architecture

Time-Explicit Simulation of Wave Interaction in Optical Waveguide Crossings at Large Angles

The time-explicit finite-difference time-domain method is used to simulate wave interaction in optical waveguide crossings at large angles. The wave propagation at the intersecting structure is simulated by time stepping the discretized form of the Maxwell’s time dependent curl equations. The power distribution characteristics of the intersections are obtained by extracting the guided-mode amplitudes from these simulated total field data. A physical picture of power flow in the intersection is also obtained from the total field solution; this provides insights into the switching behavior and the origin of the radiations

Validation of in situ applicable measuring techniques for analysis of the water adsorption by stone

As the water adsorbing behaviour (WAB) of stone is a key factor for most degradation processes, its analysis is a decisive aspect when monitoring deterioration and past conservation treatments, or when selecting a proper conservation treatment. In this study the performance of various non-destructive methods for measuring the WAB are compared, with the focus on the effect of the variable factors of the methods caused by their specific design. The methods under study are the contact-sponge method (CSM), the Karsten tube (KT) and the Mirowski pipe (MIR). Their performance is compared with the standardized capillary rise method (CR) and the results are analysed in relation to the open porosity of different lithotypes. Furthermore the effect of practical encumbrances which could limit the application of these methods was valuated. It was found that KT and CSM have complementary fields of investigation, where CSM is capable of measuring the initial water uptake of less porous materials with a high precision, while KT was found commodious for measuring longer contact times for more porous lithotypes. MIR showed too many discommodities, leading to unreliable results. To adequately compare the results of the different methods, the size of the contact area appears to be the most influential factor, whereas the contact material and pressure on the surface do not indicate a significant influence on the results. The study of these factors is currently being extended by visualization of the water adsorption process via X-ray and neutron radiography in combination with physico-mathematical models describing the WAB