Построение формальных математических моделей, отражающих только значимые в данных условиях свойства объекта в блочно-иерархической методологии проектирования - это