Finite predicates for computer modeling the tasks of monitoring the state of the environment and assessing the anthropogenic load

Abstract

The tasks of monitoring the state of the environment and assessing the anthropogenic load are very relevant at present due to the increase in industrial, transport, agricultural, radiation and recreational pollution. There is a bunch of method and methods for calculating anthropogenic load from simple mathematical formulas to huge software systems. We offer to use the method of finite predicates for computer modeling of this subject domain. The main advantage of this method is fast computing and high accuracy on large datasets.