360 research outputs found
Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations
No full textthis paper took place while the author was visiting the Qualitative Reasoning Group at the Dept. of Computer Sciences of the University of Texas at Austin. G. Brajnik and D.J. Clancy / Focusing qualitative simulation 2 formation about the trajectory of a variable or relationships between the trajectories of interconnected variables. Such information allows the modeler to restrict the simulation to a region of the state space and to specify time--varying input variables. The Temporally Constrained Qsim (TeQsim, pronounced tek'sim) algorithm combines the expressive power of these two paradigms by interleaving temporal logic model checking with qualitative simulation. Temporal logic is used to specify qualitative and quantitative trajectory information that is incorporated into the simulation to constrain and refine the resulting behaviors. Qualitative simulation constructs a set of possible behaviors consistent with a model of a dynamical system represented by a qualitative differential equation (QDE). The Qsi
Trajectory constraints in qualitative simulation
No full textWe present a method
for specifying
temporal
con-
straints on trajectories
of dynamical
systems and en-
forcing them during qualitative
simulation.
This ca-
pability can be used to focus a simulation,
simulate
non-autonomous
and piecewise-continuous
systems,
reason about boundary
condition problems and incor-
porate observations
into the simulation.
The method
has been implemented
in TeQSIM, a qualitative simu-
lator that combines the expressive power of qualitative
differential
equations
with temporal
logic.
It inter-
leaves temporal
logic model checking with the simu-
lation to constrain
and refine the resulting predicted
behaviors and to inject discontinuous
changes into the
simulation
Recommended from our members
The CCCC-IP Annual: Top Intellectual Property Developments of 2015
No full textIntroduction to the 2015 Annual Clancy Ratliff, University of Louisiana at LafayetteWho's Failing Who? Six Questions To Consider Before Adopting the FI Grade Kristi Murray Costello, Arkansas State UniversityStamp of Authenticity: Using the Maya Angelou Forever Stamp To Explore Quotation and Authorship Steven Engel, Marygrove CollegeCatfishing, Authorship, and Plagiarism in First-Year Writing Kathrin Kottemann, South Louisiana Community ColllegeCultural Commentary and Fair Use: Bob Englehart, the Southern Poverty Law Center, and Two Flags Matthew Teutsch, University of Louisiana at LafayetteA Prince, Some Girls, and the Terms: A Canary in the Cave? Craig A. Meyer, Texas A&M University-KingsvilleDefeat Devices as Intellectual Property: A Retrospective Assessment from the DMCA Rulemaking William Duffy, University of MemphisHow Does the Rise of the 'Kilo-Author' Affect the Field of Composition and Rhetoric? Wendy Warren Austin, Southern New Hampshire UniversityAll She Had To Do Was Stay: How Apple Music Got Taylor Swift and Avoided Bad Blood Laurie Cubbison, Radford UniversityA Copyright Ruling Puts the "Happy" Back in Happy Birthday (and Brings an End to the Mortification of Restaurant Servers and Patrons) Kim Dian Gainer, Radford UniversityUnderstanding Open Access: When, Why & How To Make Your Work Openly Accessible Traci Zimmerman, James Madison Universit
Fighter wing a guided tour of an Air Force combat wing
No full textNew York Times bestselling author Tom Clancy takes readers on an inside tour of an Air Force combat wing--the planes, the technology, and the people--capturing the thrill of takeoff, the drama of a dogfight, and the relentless dangers which fighter pilots face every day of their lives. Exclusive photos, diagrams, and illustrations throughout
Cittàslow. The Emilia-Romagna case
No full textThis chapter focuses on Cittaslow association, in order to see the importance of tourism in the choice of joining as well as the eventual impact on this sector. In the first part, the author considers some recent trends of global tourism and their effects on local development and hospitality policies. The second part focuses on Cittaslow in Italy and a preliminary investigation of certified cities in Emilia-Romagna; their territorial distribution, the importance of tourism for joining, and their measures to meet the requirements in hospitality policies. The third part examines the case of Santarcangelo di Romagna and the effects of Cittaslow membership on local tourism; the relation seems to be weak even if tourism has increased over the last years
- …
