Mathematical modeling of distance constraints on two-dimensional ω-objects

This paper introduces the concept of radical-free pseudonormalized ω-functions, which allows one to describe constraints on minimum and maximum allowable distances between two-dimensional ω-objects. Translations and rotations of ω-objects in a two-dimensional Euclidean space are allowable. The theorem on the existence of a radical-free pseudonormalized ω-function for a pair of arbitrary-shaped ω-objects whose frontiers are formed by the union of line segments and circular arcs is formulated. An efficient algorithm is proposed to derive pseudonormalized ω-functions. © 2012 Springer Science+Business Media, Inc.