Дипломная работа: Блочно-симметричные модели и методы проектирования систем обработки данных

Вычисленные значения величин  и  составляют матрицу  и . Минимальные значения элементов  и  определяютоптимальное однозначное отображение процедур в модули и информационных элементов в массивы базы данных.

В процессе отображения с матрицами  и  тесно связаны матрицы состояний соответственно  и , указывающие текущее состояние исходной матрицы после операции отображения, которые заключаются в логическом сложении небазисных строк (столбцов) с базисными.

Алгоритм состоит из ряда итераций. Поэтому определим его как алгоритм итеративных отображений (АИО). Алгоритм состоит из следующих операций:

1.  Ввод матрицы . Выделение базиса в матрице . Переход к 2.

2.  Вычислить величины  и составить матрицу . Зафиксировать состояние матрицы . Переход к 3.

3.  -я итерация.

3.1.  В матрице найти - й минимальный элемент . При наличии нескольких минимальных элементов, среди них выберем такой элемент, для которого значение суммы элементов по строке максимально. Таким образом, выбирая минимальный элемент, избавляемся от большого число связей. Если элементов такого свойства несколько, то среди этих минимальных элементов выберем элемент расположенный первым от начало отсчета строк. Переход к 3.2.

3.2.  Определить элементы  матрицы . Проверить ограничения на число процедур в составе каждого модуля. Если оно неудовлетворительно, то перейти к 3.3, иначе к 3.1.

3.3.  Исключить из рассмотрения элемент . Установить . Переход к 3.1.

3.4.  Вычислить состояние матрицы . Переход к 3.5.

3.5.  Исключить из рассмотрения строку с номером . Пересчитать величины  относительно  столбца с учетом нового состояния . Переход к 3.6.

3.6.  Проверить условие: все ли процедуры распределены? Если нет, то перейти к следующей итерации, приняв . Иначе переход к 4

4.   Запомнить содержание матриц и . Переход к 5.

5.  Вычислить относительно  и составить матрицу . Переход к 6.

6.  -я итерация.

6.1.  В матрице  найти -й минимальный элемент. При наличии нескольких минимальных элементов, среди них выберем такой элемент, для которого значение суммы по строкам минимально. Если элементов такого свойства несколько, то среди этих минимальных элементов выберем элемент расположенный первым от начало отсчета строк. Переход к 6.2.

6.2.  Определить элементы  матрицы . Проверить ограничения на число информационных элементов в логическом массиве. Если оно неудовлетворительно, то перейти к 6.3.

6.3.  Исключить из рассмотрения элемент . Установить . Переход к 6.1.

6.4.  Вычислить состояние матрицы . Переход к 6.5.

6.5.  Исключить из рассмотрения строку с номером . Пересчитать величины  относительно  столбца с учетом нового состояния . Переход к 6.6.

6.6.  Проверить условие: все ли информационные элементы распределены? Если нет, то перейти к следующей итерации, приняв . Иначе переход к 7.

7.  Вывод решения задачи: матриц , ,  и значение целевой функции .

Сравним сложность для получения решения с использованием данного алгоритма, оцениваемую общим количеством шагов, с широко известным методом «ветвей и границ» для решения дискретных задач комбинаторного типа.

Необходимые количество шагов в процессе решения задачи с использованием алгоритма итеративных отображений равно

,(3.1.3)

где ,  - количество итераций в процессе формирования соответствующих решений  и . Число шагов с использованием метода «ветвей и границ» для решения указанных задач определяется по следующей формуле

.(3.1.4)

Сравнение соотношений (3.1.1), (3.1.2) показывает эффективность и полиномиальную сложность разработанных алгоритмов для решения поставленных задач большой размерности, в отличие от метода «ветвей и границ».

Блок-схема алгоритма итеративных отображений приведена на рис. 3.1.1.

Рассмотрим численный пример решения задачи. Необходимо синтезировать блок-схему модульной СОД, минимизирующую общее число обращений к логическим массивом базы данных.

Задача решается при следующих условиях: допустимое число процедур в составе модуля 3, допустимое число информационных элементов в составе логических массивов 4. Число модулей и логических массивов определяется по формулам:  и , с округлением в большую строку.

В таблице 3.1.1 представлена исходная матрица с выделенным базисом в верхнем левом углу исходной матрицы. В базис вошли 1, 2, 3, 4, 5 и строки 1, 2, 3 матрицы . На рисунке 3.1.2 показан процесс формирования решения  с использованием разработанного алгоритма. Матрица  определена с использованием соотношения (3.1.1).

Процесс отображений представлен таблицей, в которой приведены номер итерации , минимальный элемент из , в соответствии с которым отображается номер процедуры  в номер модуля . На рисунке представлены матрицы  и , содержание которых определено базисом поиска решения , а в правой матрице  и , полученные с использованием алгоритма итеративных отображений.

На рисунке 3.1.2 показан процесс формирования решения . Матрица  определена с использованием соотношения (3.1.2) и матрицы . Процесс отображения представлен таблицей, в которой приведены номер итерации , минимальный элемент  из  в соответствии с которым номер информационного элемента  отображается в номер файла . На рисунке 3.1.2 представлена матрица , которая сформирована до поиска оптимального решения и определена базисом, а также матрица, полученная в результате формирования решения . А также представлены матрица решения задачи , полученная с использоваием алгоритма итеративных отображений, и матрица , полученная в результате отображения. Матрица  соответствует матрице целевой функции , отражающей взаимосвязи программных модулей и логических масивов базы данных модульной блок-схемы. Оптимальное значение целевой функции, полученное при этом базисе и ограничеиях, равно ==6.

Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21