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 language originally defined by Qualitative Process theory [Forbus 1984] and include the languages used for the Qualitative Physics Compiler (QPC) [Crawford 1990; Farquhar 1993; Farquhar 1994], compositional model formulation [Falkenhainer 1991], and the Device Modeling Environment (DME) [Low and Iwasaki 1993]. CML is an attempt to synthesize and provide a clean redesign of these languages.
منابع مشابه
Jointly Modeling Deep Video and Compositional Text to Bridge Vision and Language in a Unified Framework
Recently, joint video-language modeling has been attracting more and more attention. However, most existing approaches focus on exploring the language model upon on a fixed visual model. In this paper, we propose a unified framework that jointly models video and the corresponding text sentences. The framework consists of three parts: a compositional semantics language model, a deep video model ...
متن کاملCompositional Modeling of Wax Formation in Petroleum Mixtures
Heavy organics deposition is a common problem in oil industry, especially in oil production, transportation and processing. Wax or solid paraffin series are examples of heavy organics that deposit. Precipitation and crystallization of wax causes major difficulties in different processes. Based on multi-solid theory, a basic model is modified in this paper for wax precipitation in different oils...
متن کاملLearning-Based Compositional Model Checking of Behavioral UML Systems
Abstract. This work presents a novel approach for applying compositional model checking of behavioral UML models, based on learning. The Unified Modeling Language (UML) is a widely accepted modeling language for embedded and safety critical systems. As such the correct behavior of systems represented as UML models is crucial. Model checking is a successful automated verification technique for c...
متن کاملCompositional Modeling: Finding the Right Model for the Job
Falkenhainer, B. and K.D . Forbus, Compositional modeling: finding the right model for the job, Artificial Intelligence 51 (1991) 95-143 . To represent an engineer's knowledge will require domain theories that are orders of magnitude larger than today's theories, describe phenomena at several levels of granularity, and incorporate multiple perspectives . To build and use such theories effective...
متن کاملCompositional Modeling of Physical Systems
Automating analysis of physical systems requires techniques for managing complexity and finding an appropriate model for an analysis . Compositional modeling is a strategy for organizing multi-grain, multi-perspective models of physical phenomena which addresses these problems . In this paper, we identify several limitations with the approach presented in [7] and describe important extensions t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996