Процессы моделирования и формализации в науке и технике