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

Fo rm at(O u tP (R i)) - формат выходных данных инструмента Ri, Fo rm at(InP (R i+1)) - формат входных данных инструмента Ri+1. Необходимый конвертер Ci,i +1 должен удовлетворять следующему условию: Ci,i +1 : InF(Ci,i+ 1 ) = Format(OutP(Ri)) и OutF(Ci,i+ 1 ) = Format(InP(Ri+ 1 )) В итоге цепочка принимает вид: Ri ~^ CM+i —> Rj+i В случаях параллельных участков в цепочке каждый из параллельных переходов между инструментами рассматривается отдельно. Вопросы синхронизации параллельных звеньев могут решаться по-разному в зависимости от конкретной ситуации. В простейшем случае можно ограничиться только синхронизацией по потоку данных, без учета времени выполнения задачи, и использовать для определения последовательности применения выбранных инструментов алгоритмы, аналогичные алгоритмам анализа формальной разрешимости концептуальной модели [7] и алгоритмам синтеза спецификаций исполнительной среды на основе концептуальных описаний [8]. Но, при необходимости сокращения машинного времени, затрачиваемого на решение задачи, необходимо учитывать конкретные временные характеристики использования каждого инструмента, а также дополнительные задержки, связанные как с передачей данных между инструментами, так и с доступностью исполнителей. Заключение Несмотря на то, что формирование распределенной системы решения задач определения эффективных режимов разделения минеральных компонентов, на основе использования свободного распространяемого программного обеспечения требует дополнительных «накладных расходов», связанных с созданием и применением специализированных средств поиска необходимых инструментов и организации их согласованной работы. Такой подход, в ряде случаев, будет более рациональным, чем использование интегрированных коммерческих продуктов. Говорить о перспективности этого подхода позволяет как развитие технологий распределенных вычислений, так и постоянное пополнение глобального информационного пространства свободно распространяемыми программными продуктами. Основными преимуществами этого подхода является более высокая, по сравнению с интегрированными решениями, адаптивность и априорная ориентация на параллельное использование доступных вычислительных ресурсов. Представленный в данной статье вариант формального описания основных элементов распределенной системы, является основой для разработки алгоритмов и процедур автоматизированного формирования исполнительной среды, обеспечивающей реализацию всех этапов решения задач определения эффективных режимов разделения минеральных компонентов. 201