Implementing a Method for Stochastization of One-Step Processes in a Computer Algebra System

05/08/2018
by   D. S. Kulyabov, et al.
0

When modeling such phenomena as population dynamics, controllable ows, etc., a problem arises of adapting the existing models to a phenomenon under study. For this purpose, we propose to derive new models from the rst principles by stochastization of one-step processes. Research can be represented as an iterative process that consists in obtaining a model and its further re nement. The number of such iterations can be extremely large. This work is aimed at software implementation (by means of computer algebra) of a method for stochastization of one-step processes. As a basis of the software implementation, we use the SymPy computer algebra system. Based on a developed algorithm, we derive stochastic di erential equations and their interaction schemes. The operation of the program is demonstrated on the Verhulst and Lotka-Volterra models.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/11/2019

Using Hoare logic in a process algebra setting

This paper concerns the relation between process algebra and Hoare logic...
research
01/30/2023

Typing of data transfer processes in the information system within the framework of threat modeling

Work is aimed at automating the process of obtaining a list of security ...
research
08/24/2020

Eigenvalues and Eigenvectors of Tau Matrices with Applications to Markov Processes and Economics

In the context of matrix displacement decomposition, Bozzo and Di Fiore ...
research
06/06/2022

Imperative process algebra and models of parallel computation

In the theory of computation, a model of computation is used to study is...
research
06/29/2022

Rate Lifting for Stochastic Process Algebra: Exploiting Structural Properties

This report presents an algorithm for determining the unknown rates in t...
research
06/06/2019

New Features in the Second Version of the Cadabra Computer Algebra System

In certain scientific domains, there is a need for tensor operations. To...
research
08/18/2023

Field theory with the Maxima computer algebra system

The Maxima computer algebra system, the open-source successor to MACSYMA...

Please sign up or login with your details

Forgot password? Click here to reset