The models of peer to peer protocols are presented with the help of one-step processes. On the basis of this presentation and the method of randomization of one-step processes, it …
During development of methods for stochastization of one-step processes the attention was focused on obtaining the stochastic equations in the form of the Langevin, since this form …
The problem of RED-module mathematical model results verification, based on GNS3 experimental stand, is discussed in this article. The experimental stand consists of virtual Cisco …
In the study of a phenomenon it is necessary to construct a model of this phenomenon. The models differ in their expressive properties, degree of maturity, requirements. We need …
It is assumed that the introduction of stochastic in mathematical model makes it more adequate. But there is virtually no methods of coordinated (depended on structure of the …
This paper considers three types of tensor computations. On their basis, we attempt to formulate criteria that must be satisfied by a computer algebra system dealing with tensors. …
The article is devoted to application of tensorial formalism for derivation of different types of Maxwell's equations. The Maxwell's equations are written in the covariant …
This paper describes Lorentz two-spinors and proposes using them in calculations with Dirac four-spinors and quaternions.
In this article we present two examples solved in a new problem-oriented computer algebra system Cadabra. Solution of the same examples in widespread universal computer algebra …