Труды КНЦ вып.7 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып.2 4/2011(7))

УДК 004.942:622.7 А.С. Неведров, А.Г. Олейник ФОРМАЛЬНОЕ ПРЕДСТАВЛЕНИЕ ЗАДАЧИ ИНТЕГРАЦИ И ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ ОПРЕДЕЛЕНИЯ ЭФФЕКТИВНЫХ РЕЖИМОВ ОБОГАЩЕНИЯ МИНЕРАЛЬНЫХ РУД Аннотация Дана оценка возможности интеграции разнородных инструментальных средств для решения задач определения эффективных режимов обогащения минеральных руд. Предложен вариант формального описания задачи формирования спецификации среды моделирования в виде цепочки последовательно вызываемых инструментальных средств. Ключевые слова: o6oeaiMeHue руд, моделирование, формализация спецификации. A.S. Nevedrov, A.G. Oleynik THE TASK FORMAL REPRESENTATION OF TOOLKITS INTEGRATION FOR ORE CONCENTRATION EFFECTIVE REGIMES SEARCHING Abstract The estimation of heterogeneous toolkits integration possibility for tasks of ore concentration effective regime searching is given. Variant of formal description of simulation environment specification forming as a toolkits sequence is described. Keywords: ore-dressing, simulation, formal specification. Введение На сегодняшний день существует большое количество инструментальных средств, решающих задачи определения эффективных режимов обогащения минеральных ископаемых (например, моделирование гидродинамических течений в обогатительных аппаратах [1]). Такие задачи можно разбить на несколько последовательных подзадач (этапы решения): создание геометрии рабочего пространства; наложение сетки; задание параметров и начальных условий; вычисление целевых характеристик исследуемого разделительного процесса; вывод результатов в удобной для интерпретации форме. Большинство коммерческих продуктов (ANSYS FLUENT, STAR-CD и COMSOL Multiphysics) позволяет решить все подзадачи. Но данные продукты обладают достаточно высокой ценой, что является сдерживающим фактором в случаях, когда их применение требуется периодически. Свободно распространяемые продукты (OpenFOAM, FEATFLOW), в основном, обеспечивают реализацию только отдельных этапов решения задачи. Но с учетом того, что таких бесплатных программ существует достаточное количество, задачу можно решить набором программ, и не использовать платные разработки. В итоге, для решения некоторой составной (сложной) задачи, потребуется комплекс инструментальных средств, обеспечивающих согласованное решение отдельных подзадач целевой задачи (идея модульного подхода, описанная в работе [2]). 196