Исследования в науке: формальные модели и их применение