Theory of search for moving objects

The objectives of the paper are a development of a system of rules called "theory of search for moving objects", and a development of a new class of search problems for moving objects within the frames of this system, rather than a selection, classification or enumeration of all published articles, manuals, monographs, tasks statements and other in the theory of search area. The following issues are considered in the paper: (1) analysis and classification of search problems; (2) an axiomatic basis of the research approach; (3) axioms of the theory of search; (4) common theorem of additivity; (5) theorems of multiplicity; and (6) computer prototype for the theory of search. The case of a complex observation system integrated within one carrier is a core of the proposed approach. A case of two different observation systems is considered, when an observation zone for the second system (contact detector like a laser) is approximated as a line or a rectangle. It is possible to determine a probability area of target localization when one or both observation systems detected the target (theorem of multiplicity). A computer prototype of the theory of search for moving objects has been designed based on the object-oriented approach. It appeared to be a useful tool for any theoretical research and a flexible media for the further development of the theory of search for moving objects. It is also shown that it can be implemented for an adequate computer interpretation of search problems.