При разработке методики стохастизации одношаговых процессов основное внимание было уделено получению стохастических уравнений в форме Ланжевена, поскольку данный вид наиболее привычен при построении и исследовании данного круга моделей. Но в ходе применения метода возникает проблема обоснования перехода от основного кинетического уравнения к уравнению Фоккера-Планка для разных вариантов модели. При этом формы уравнений в частных производных (основное кинетическое уравнение и уравнение Фоккера-Планка) могут предоставить исследователю более богатое описание модели. Для обоснования возможности разложения основного кинетического уравнения и для исследования модельных уравнений предлагается использовать теорию возмущений в форме, реализованной в рамках квантовой теории поля. Для этого описана методика и создан аналитический программный комплекс приведения основного кинетического уравнения к операторной форме в фоковском представлении. Для решения получившегося уравнения в рамках программного комплекса проводится генерация фейнмановских диаграмм для соответствующего порядка теории возмущений. В качестве системы символьных вычислений была применена система FORM. Выбор FORM обоснован тем, что данная система компьютерной алгебры позволяет проводить символьные вычисления, используя ресурсы высокопроизводительной вычислительной техники. В частности, возможно использовать такие технологии параллельных вычислений, как OpenMP и MPI.
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 of stochastic equations is most usual in the construction and study of one-step processes models. When applying the method there is the problem of justifying the transition from master equation to the Fokker-Planck equation for the different versions of the model. However, the forms of partial differential equations (master equation and the Fokker-Planck equation) wider description of the model to researchers. It is proposed to treat these equations with the help of perturbation theory in the framework of quantum field theory. For this purpose the methodology was described and the analytical software complex was constructed to write down put the main kinetic equation in the operator form in the Fock representation. To solve the resulting equation the software complex generates Feynman diagrams for the corresponding order of perturbation theory. The FORM system was applied as a system of symbolic computation. Selecting FORM as the CAS is reasonable because that the given computer algebra system allows for symbolic computation, using the resources of high-performance computing. In particular, it is possible to use parallel computing technologies such as OpenMP and MPI.