Publication result detail

Processes and Knowledge in one Simulation

HRUBÝ, M., RÁBOVÁ, Z.

Original Title

Processes and Knowledge in one Simulation

English Title

Processes and Knowledge in one Simulation

Type

Paper in proceedings (conference paper)

Original Abstract

In this paper, I discuss an interconnection of simulation librarySIMLIBwith an interpreter of the Prolog programming language. We obtain anenvironment for an effective description and simulation ofheterogeneousmodels, which requires an application of both classical simulationapproachesas well as logical programming.In the paper, I briefly characterize the SIMLIB simulation librarywhichoffers various tools for a description and simulation of continuous,discrete, and combined models. Next, I discuss some issues related tothe interoperability of SIMLIB/C++ and Prolog in our simulationenvironment.

English abstract

In this paper, I discuss an interconnection of simulation librarySIMLIBwith an interpreter of the Prolog programming language. We obtain anenvironment for an effective description and simulation ofheterogeneousmodels, which requires an application of both classical simulationapproachesas well as logical programming.In the paper, I briefly characterize the SIMLIB simulation librarywhichoffers various tools for a description and simulation of continuous,discrete, and combined models. Next, I discuss some issues related tothe interoperability of SIMLIB/C++ and Prolog in our simulationenvironment.

Keywords

heterogeneous models, SIMLIB, Prolog

Key words in English

heterogeneous models, SIMLIB, Prolog

Authors

HRUBÝ, M., RÁBOVÁ, Z.

Released

03.04.2001

Publisher

Faculty of Electrical Engineering and Computer Science BUT

Location

Brno

ISBN

80-214-1860-5

Book

Proceedings of 7th Conference STUDENT FEI 2001

Pages from

333

Pages count

6

BibTex

@inproceedings{BUT5605,
  author="Martin {Hrubý} and Zdeňka {Rábová}",
  title="Processes and Knowledge in one Simulation",
  booktitle="Proceedings of 7th Conference STUDENT FEI 2001",
  year="2001",
  pages="6",
  publisher="Faculty of Electrical Engineering and Computer Science BUT",
  address="Brno",
  isbn="80-214-1860-5"
}