Cтраница 3
Заметим, что этот критерий не зависит от целевого утверждения; в нем просто требуется, чтобы множество процедур Р не содержало ничего ложного о проблемной области и полностью описывало специфицируемое отношение. [31]
Обозначим V щ г) ( щ) r) J TJ7, Z L - L - множество процедур, не распределенных по программным модулям; D dj r ] dj) г), j - 1, J - множество информационных элементов, не распределенных по информационным массивам. [32]
N) и вектор их системных характеристик ( Я; Dn tn Cj Mj), где Rn - множество процедур обработки данных для решения задачи г) п ( Rn P) Dn - множество информационных элементов СОД РВ для решения г задачи ( D ( Е D); tn - среднее время решения задачи rjn; CJp - технологическая матрица смежности при решении задачи г ] п обработки данных; Mj, - технологическая матрица достижимости при решении задачи обработки данных. [33]
Он доказал, что это правило сохраняет корректность, если принимается допущение замкнутости мира ( ДЗМ), согласно которому множество процедур Р в программе представляет все имеющиеся знания об упоминаемых в ней отношениях. [34]
Каждая задача обработки данных Zn; п 1, N, включаемая в множество задач Z системы обработки данных характеризуется множеством процедур обработки данных Un щ 1 1, Ln, множеством информационных элементов Dn dj j 1, J, областями определения Wj каждого информационного элемента dj, j 1, Jn, множеством констант Кп - ке, е 1, Еп, структурированными матрицами смежности Л и достижимости М технологии обработки данных. [35]
Можно выразить это по-другому: вместо того, чтобы говорить о полноте программы ( Р, G), можно сказать, что множество процедур Р является полным для G, или, более компактно, что Р является G-полным. Это как раз и означает, что процедур из Р достаточно для вычисления всех решений из выделяемого целевым утверждением G интервала. Если же множество процедур Р не является G-полным, то это значит, что Р содержит недостаточно информации о специфицируемом отношении R для того, чтобы сделать все правильные решения G вычисляемыми. [36]
Процесс обработки данных формализуется с помощью двудольного графа G ( A U D, W), где А аГ / г 1, R - множество процедур СОД, D di J I 1, L - множество информационных элементов ( входных, выходных и промежуточных), необходимых и достаточных для функционирования процедур множества A. W Ц м - матрица взаимосвязей процедур и информационных элементов, где wri - 1, если 1 - й информационный элемент используется при выполнении г-й процедуры; wri 0 - в противном случае. [37]
Модель системы информационного обеспечения АСУ представляется ориентированным мультиграфом [ 101: G ( /; F; D), где / / ь; k 1, k0 - множество массивов, F FT; г 1, г0 - множество процедур, D drKk Ц ( к, k 1, k0; г 1, гс) - матрица, отражающая структуру взаимосвязи массивов и процедур в виде drKk 1, если массив 1К необходим для формирования массива Ih процедурой FT, и drKk 0, в противном случае. [38]
Некоторые множества процедур полны независимо от того, какое поставлено целевое утверждение G. Когда множество процедур Р обладает таким свойством, мы говорим просто, что оно является полным. [39]
Рассмотрим подробно каждый из способов. Будем рассматривать множество процедур U щ как точки одномерного пространства Е с координатой ti - В качестве пространства покрытий рассматриваются два подмножества U, соответствующие областям х и х Каждому классу множества U ставится в соответствие единственный представитель. [40]
Соответствующий вариант полученного решения уже определяется не только сформированной моделью системы, но и стратегией руководителя. Сейчас разработано множество различных процедур выбора, отражающих ту или иную стратегию. [41]
Требуется распределить множество процедур обработки данных Рг по модулям и множество информационных элементов по массивам и определить число копий и ( или) предыстории для резервирования каждого модуля и массива, обеспечивающих максимальный коэффициент готовности системы обработки данных. [42]
Рассмотрим эвристический алгоритм формирования типовых модулей. Определим на множестве процедур U отношение предшествования U как множество процедур, результаты которых непосредственно используются процедурой и [ и U - обратное к t / отношение. В соответствии с алгоритмом объединяются в один модуль близлежащие по уровням процедуры, связанные отношением U, обладающие одним весом и являющиеся общими для одного подмножества задач. [43]
Применение простых решений под названием метода грубой силы с годами приобрело негативный оттенок, однако простота решения часто оказывается преимуществом. В каждой операционной системе есть множество процедур, которые редко вызываются или которые оперируют таким небольшим количеством данных, что оптимизировать их нет смысла. [44]
Рассмотрим эвристический алгоритм формирования типовых модулей. Определим на множестве процедур U отношение предшествования U как множество процедур, результаты которых непосредственно используются процедурой и [ и U - обратное к t / отношение. В соответствии с алгоритмом объединяются в один модуль близлежащие по уровням процедуры, связанные отношением U, обладающие одним весом и являющиеся общими для одного подмножества задач. [45]