The publication is devoted to the task of developing a demo-genetic model of the adaptation of pests to transgenic and hybrid agricultural crops, taking into account the type of taxis. An assumption is introduced that the dynamics of hybrid agricultural crops can be investigated using demo-genetic models. A description of the problem is given in accordance with the characteristics of the growth of biomass of agricultural crops and the dynamics of pests, as well as taxis species. The modeling of the processes of fast and slow taxis depending on the behavior of pests at a particular point in time is described in detail, taking into account the type of their genotypes that affect the acquisition of mutations. The paper describes the features of the physiological structure and life cycle of insect pests, affecting the prediction of their spatial concentration and, accordingly, the prediction of productivity; the possibilities of their application in mathematical modeling.

Keywords: demo-genetic model, taxis, transgenic agriculture, hybrid, pest, biomass, diffusion

This work is devoted to the automatic generation of verification sets of test procedures; the proposed and developed algorithm for selecting trial solutions for solving the problems of satisfiability of Boolean formulas.

Keywords: test sets, automatic generation, solver, Boolean constraints

The program designed to simulate possible scenarios of the ecosystem and a numerical experiment was builds. The problem of transport materials was solved. Drain and obstacles inversion transport substances fairly accurately restores the initial location of the site of contamination was shown upon slight movement of contaminants regardless of the location in a predetermined region of the source.

Keywords: Inverse problem, numerical solution, the concentration of substances, distribution, water environment, pollution