Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 14 of 14 for “"ASMs"”.
-
A method for mapping between ASMs and implementation language
One of the challenges of model-based engineering is traceability: the ability to relate the set of models developed during the design stages to the implemented system. This thesis develops a language specific method for creating bidirectional traceability, a mapping between model and …
-
Abstract state machines: verification problems and computational power
Abstract State Machines (ASMs) provide the basis of a a formal method combining advantages of informal methods (understandability, executability) and advantages of formal methods (precision and applicability of mathematical methods and results). Applications of this method motivate numerous …
-
Abstract state machines: verification problems and complexity
Abstract state machines (ASMs) provide the formal foundation for a successful methodology for specification and verification of complex dynamic systems. In addition, ASMs induce a computation model on structures, which – in some sense – is more powerful and universal than the standard computation …
-
Deformations of characters, metaplectic Whittaker functions, and the Yang-Baxter equation
… proof of this conjecture, which enumerates ASMs, utilized a Yang-Baxter equation for a square ice model from statistical mechanics. In earlier work, Tokuyama and okada gave representation theoretic quantities as generating functions on certain symmetry classes of ASMs or generalizations of …
-
Exploring the challenges of managing blended learning courses in selected Irish higher education institutes : An activity theory study.
… Three cases are examined by compiling separate ASMs for each case that reveal three quite different management approaches. A typology of managing course development is devised and presented as a means for comparing different approaches to managing the development and delivery of blended learning …
-
Numerical modeling and simulation of compressible reacting turbulent shear layers
… two-equation algebraic Reynolds stress models (ASMs), which account for variations in the anisotropy of the normal stresses through modification of the pressure-strain terms of the Reynolds stress transport equations. In contrast to previous models, the compressible ASMs correctly predict the …
-
Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und business object notation
… the physical world. Abstract state machines (ASMs) are used for functional modeling and extended with an abstract notion for feedback control algorithms by utilizing non-deterministic choose. For their verification this thesis presents a novel approach to model checking ASMs that directly …
-
Prism tableaux and alternating sign matrices
… to the poset of alternating sign matrices (ASMs). Schubert polynomials can be interpreted as multidegrees of the matrix Schubert varieties of Fulton. We study a more general class of determinantal varieties, indexed by ASMs. More generally, one can consider subvarieties of the space of n by …
-
Active geometric model : multi-compartment model-based segmentation & registration
… method similar to Active Shape Models (or ASMs) to generate an average shape model and hence use the latter to partition new images. The key advantages of such a framework is: (i) landmark-free automated shape training; (ii) strict shape constrained model to fit test data. Our model can …
-
Development of universal stoichiometric coefficients for modeling microalgal cultivation systems
… Association’s (IWA’s) Activated Sludge Models (ASMs). This work introduces universal stoichiometric coefficients for algal process modeling derived from the conserved enzymatic properties for seven algae species using 11 genome-scale models. The model parameters include yield coefficients for …
-
Model predictive control of wheeled mobile robots
… faster than the traditional active set methods (ASMs). A discrete-time linear model of a general WMR is used for the simulation. MATLAB simulations are performed for tracking circular as well as square trajectories using the discretized WMR model and the non-feasible ASM (NF-ASM). The performance …
-
U.S. airline industry operating cost measures from 2000-2016
… when normalizing pilot compensation by ASMs for purposes of comparing different airlines and conclude by proposing a new normalized metric, seat block hours.
-
Investigation and characterization of the Direct Analysis in Real Time helium metastable beam open-air ion source: Mechanism of ionization, fluid dynamic visualization, and applications
… DART ion source was introduced in 2005 at the ASMS Sanibel Conference and immediately afterward Professor Sparkman was contemplating of a way to get our lab this revolutionary mass spectrometry ionization technique. It did not take long because it was delivered to the Pacific Mass Spectrometry …
-
Productivity performance of US passenger airlines since deregulation
… of airline traffic (RPMs) and network capacity (ASMs) increased 191% and 117%, respectively, between 1978 and 2009. This implies, irrespective of output measure, US passenger airlines have at least doubled their productive abilities over the past three decades. If RPMs are used as the measure of …