QPC: A Compiler from Physical Models into Qualitative Differential Equations
نویسندگان
چکیده
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a qualitative simulation task, which starts with a QDE . and predicts the possible behaviors following from the model . In support of this claim, we present QPC, a model builder that takes the general approach of Qualitative Process Theory [Forbus, 1984], describing a scenario in terms of views, processes, and influences . However, QPC builds QDEs for simulation by QSIM, which gives it access to a variety of mathematical advances in qualitative simulation incorporated in QSIAI . We present QPC and its approach to Qualitative Process Theory, provide an example of building and simulating a model of a non-trivial mechanism, and compare the representation and implementation decisions underlying QPC with those of QPE [Falkenhainer and Forbus . 1988 : Forbus . 1990] .
منابع مشابه
QPC: A Compiler from Physical Models into Qualitative Di erential Equations
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative diierential equation (QDE) as a model of a physical situation, and a qualitative simulation task, which starts with a QDE, and predicts the possible behaviors following from the model. In support of this claim, we present QPC, a model builder that takes the general approach of Qualitativ...
متن کاملPC: A Compiler from Physical Models into Qualit at ive Different ial Equations*
Qualitative reasoning can, and should, be decomposed into a model-buibding task, which creates a qualitative differential equation (&DE) as a model of a physical situation, and a qualitative simuhtion task, which starts with a QDE, and predicts the possible behaviors following from the model. In support of this claim, we present &PC, a model builder that takes the general approach of Qualitativ...
متن کاملA Compositional Modeling Language
This document describes a compositional modeling language, CML, which is a general declarative modeling language for logically specifying the symbolic and mathematical properties of the structure and behavior of physical systems. CML is intended to facilitate model sharing between research groups, many of which have long been using similar languages. These languages are based primarily on the l...
متن کاملDetection of Majorana Kramers Pairs Using a Quantum Point Contact.
We propose a setup that integrates a quantum point contact (QPC) and a Josephson junction on a quantum spin Hall sample, experimentally realizable in InAs/GaSb quantum wells. The confinement due to both the QPC and the superconductor results in a Kramers pair of Majorana zero-energy bound states when the superconducting phases in the two arms differ by an odd multiple of π across the Josephson ...
متن کاملA Transformational Approach to Code Generation for Numerical Simulation: the SimGen System
In the last decade, researchers in numerical simulation have worked on defining standards for specifying physical models at the mathematical level of abstraction of Differential Algebraic Equations, or DAEs one can in particular mention the Modelica initiative. Today, tools for performing simulation, i.e. checking, interpreting or compiling mathematical models into simulation programs, are bein...
متن کامل