CC BY
44
Материалы Международной конференции
“Интеллектуальные САПР”
правило определяется в соответствии с принципом arg max ц ^) модель сво-
)
дится к такой сегментации шкалы V на интервале ЛV(li), соответствующие термам ^ е L(V), при которой каждый из ЛV(li) является максимальным а - срезом и выполняется условие ц ц(V) > ц и (V) ( V ^ Ф li).
Для адаптации нечёткого классификационного регулятора используется статистическая информация о работе оператора, представленная в виде множества
точек V с V с соответствующими им решениями S(V) е S. Задача заключается в нахождении такого разбиения шкалы V на п сегментов, соответствующих термам из L(V), при котором в один сегмент попадают только точки Vе V| с одинаковыми S(V). В условиях реальной статистики, как правило, не удаётся найти разбиения, полностью отвечающего поставленным выше условиям. Поэтому возникают задачи оптимизации, целью которой является поиск разбиениям с минимальным числом точек из V|, попадающих не в "свои" сегменты. Такой критерий хорошо согласуется с минимизацией субъективной вероятности неправильного ре, . базируется на одной из схем динамического программирования.
УДК 681.3.062
В.А. Костенко
ЗАДАЧИ СИНТЕЗА АРХИТЕКТУР И ПЛАНИРОВАНИЯ ВЫЧИСЛЕНИЙ: ФОРМАЛИЗАЦИЯ, ОСОБЕННОСТИ И ВОЗМОЖНОСТИ
ИСПОЛЬЗОВАНИЯ РАЗЛИЧНЫХ МЕТОДОВ ДЛЯ ИХ РЕШЕНИЯ
Задачи синтеза архитектур вычислительных систем (ВС) и планирования параллельных вычислений относятся к классу задач структурного синтеза. В отличии от задач параметрического синтеза, задачи структурного синтеза в общем случае не могут быть отнесены к классу формально разрешимых. При их решении приходится иметь дело с начально не определенными структурными связями, числом и типом компонентов, не метрическими характеристиками компонентов и т.п.
В данной работе предлагается формализм для описания архитектур ВС, сведение задачи синтеза архитектур (в рамках предложенного формализма) к классу многопараметрических и многокритериальных экстремальных задач с ограничениями, рассматриваются основные особенности сформулированной задачи, проводится анализ возможностей использования существующих методов решения по.
Задача синтеза архитектур в самом общем виде может быть поставлена следующим образом. Для заданной модели поведения прикладной программы И(РЯ) требуется синтезировать модель архитектуры ИW, модель параллельной прикладной программы НР и модель организации параллельного вычислительного процесса р. При этом должны оптимизироваться критерии оценки качества решения и выполняться ограничения на допустимые решения ^}. В качестве параметров оптимизации (управляемых переменных) выступают варьируемые параметры моделей ИW, ИР и р. Критерии оценки качества решения, ограничения на допустимые
Известия ТРТУ
Тематический выпуск
решения и варьируемые параметры моделей определяются при конкретизации задачи синтеза архитектур. Задача планирования параллельных вычислений в рамках данного формализма рассматривается как частный случай задачи синтеза архитектур, когда в моделях HW и р не допустимы варьируемые параметры. Задача синтеза архитектур ВС может быть сформулирована как экстремальная многопараметрическая и многокритериальная задача с ограничениями:
fi(HP,HW,p) -^min/max, ieIi,I2;
gi(HP,HW,p) <0, iehJr,
g(HP,HW,p) = 0, iehh;
HPeHP*, HWeHW*; рер*;
где р - оператор интерпретации (соответствует модели организации параллельного вычислительного процесса, т.е. задает взаимодействие между компонентами из HP,HW), ¡¡, I3, I5 - множества динамических критериев и ограничений, I2, I4, I6 -множества статических критериев и ограничений, (HP*,HW*,p*) - пространство .
Все варьируемые параметры моделей HP,HW,p можно разбить на четыре множества согласно их типам: действительные числа; натуральные числа; функции; структуры. В зависимости от типа оптимизируемых параметров введена классификация задач и рассмотрены возможные методы решения задач различных .
синтеза архитектур ВС с целью приведения к набору подзадач, для которых существуют приемлемые методы решения.
УДК 681.3.016
А.Ф. Колчин ФОРМАЛИЗАЦИЯ ПРЕДМЕТНЫХ ЗАДАЧ
Для представления формальной модели предметной задачи на этапе спецификации разрабатываемой интеллектуальнойсистемы необходим язык, который, должен обладать следующими свойствами:
1. .
2. Язык не должен зависеть от среды реализации интеллектуальной системы.
3.
( ).
4. Язык должен быть исполнимым.
5. Язык должен допускать неполную спецификацию некоторых компонентов формальной модели решения предметной задачи.
1 -ной модели, а также автоматическую трансляцию на язык среды реализации. Свой-2 -пользования на этапе реализации наиболее удобной среды (процедурного, деклара-
,
). 3 . 4 -
томатических трансляторов с языка спецификации модели предметной задачи на
