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

by   D. S. Kulyabov, et al.

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.



page 1

page 2

page 3

page 4


Imperative process algebra and models of parallel computation

In the theory of computation, a model of computation is used to study is...

Using Hoare logic in a process algebra setting

This paper concerns the relation between process algebra and Hoare logic...

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

In the context of matrix displacement decomposition, Bozzo and Di Fiore ...

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

In certain scientific domains, there is a need for tensor operations. To...

A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation

We propose a functional implementation of Multivariate Tower Automatic D...

Imperative process algebra with abstraction

This paper introduces an imperative process algebra based on ACP (Algebr...

Computer Algebra for Microhydrodynamics

I describe a method for computer algebra that helps with laborious calcu...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.