Cтраница 3
Общая схема решения совпадает с изложенной выше, но в качестве алгоритмов А1 и А2 ( блоки 2.7.9) может быть использован пакет прикладных программ целочисленного программирования ( ППП ЦП), использующий модифицированный алгоритм Балаша с фильтром. Пакет целесообразно применять при относительно невысоком уровне типовости системы, когда при переборе множества решений не удается эффективно применить сокращающие алгоритмы за счет типовости используемых процедур и элементов. [31]
В ходе предварительной экспертизы необходимо всесторонне оценить целесообразность включения представленного ТПР в библиотеку. Для этого следует: сравнить предлагаемое ТПР с имеющимися в библиотеке и предназначенными для выполнения в АСУП аналогичных функций; оценить достоверность и достаточность обоснования типовости предлагаемых проектных решений и определить содержание необходимых доработок. [32]
Элементы информационного обеспечения в отличие от элементов других обеспечивающих подсистем обладают большей индивидуальностью и ориентированы на конкретных абонентов ВЦКП. В ТРП разработаны методика определения состава и макроструктуры информационных фондов многоцелевого использования на основе анализа абонентов ВЦКП и их задач, а также с учетом типовости определенного класса задач; приведены состав и структура типовых информационных фондов коллективного пользования; определены общие принципы организации системы ведения классификаторов и документов на ВЦКП, разработаны паспорта и инструкции по заполнению паспортов на исходные данные для проектирования ( паспорт абонента, паспорт задачи, паспорт показателя, таблица установления полномочий) и другие вопросы, методология решения которых не зависит от индивидуальных характеристик абонентов. [33]
Из изложенного видно, что на настоящем этапе осуществляется системный человеко-машинный анализ проектных материалов, разработанных относительно обособленно, и соответствующая их доработка с позиций системных требований. Дальнейшее проектирование системы представляет собой процесс синтеза, аналогичный конструированию изделия, в роли которого выступает АСУ, а конструктивными элементами являются методики решения задач списка Z, задаваемых своими входами X и выходами Y и согласованных между собой для обеспечения типовости, устранения информационного и алгоритмического дублирования. [34]
Поскольку требования к классификационным параметрам ТМ в части ТПС определены выбором определенной ТПС, далее необходимо определить требования к параметрам управления ТМ и к параметрам АСУ. Но в связи с тем, что последние являются в какой-то степени производными от двух первых, то серьезной проблемой станет определение значений параметров управления, а также рассмотрение требований группы ПС, не учтенных параметрами, с целью увеличения степени типовости модуля. [35]
В качестве цели системы проектирования целесообразно в этом случае выбрать обеспечение гарантированного минимума затрат любого вида. В качестве механизма проектирования используется централизованный механизм с полной информацией и независимыми элементами. Центр в этом случае задает уровень типовости проектируемой системы и систему общих ограничений на выбор решений. Выбор в качестве критерия эффективности системы проектирования гарантированного минимума максимальных значений стоимостных и временных показателей определяет использование минимаксной постановки задачи оптимального типового проектирования. [36]
Одним из главнейших направлений научно-технического прогресса, обеспечивающих соответствие форм организации и методов управления современному уровню развития производительных сил, является автоматизация управления народным хозяйством на всех его уровнях. В период массового создания АСУ особое внимание следует уделить эффективным методам их проектирования и внедрения. Среди основных принципов построения АСУ видное, место занимает и принцип типовости, который заключается в следующем. [37]
Состав множества модулей, проектируемых при разработке типовой системы, зависит от мощности множества Ze, которая определяется мерой близости р входящих в множество Z задач. Чем более мощным является Ze, тем большее число модулей, обладающих высоким уровнем типовости, может быть синтезировано при проектировании системы обработки данных. Модуль может не обладать высоким уровнем типовости, но обладать большой мощностью, и наоборот. В определенных случаях синтез таких модулей также дает существенный эффект. [38]
Полученные на этапах анализа параметры типовости ( общности) интегрированного графа технологии позволяют последовательно оценить возможность и целесообразность проведения работ по типизации проектных решений в области информационного, программного обеспечения и СОД в целом. Такая оценка осуществляется путем последовательной кластеризации задач, представленных в интегрированном графе, по критериям близости ( подобия) информационных, процедурных и технологических характеристик задач обработки данных. В результате выполнения процедур кластеризации формируются подмножества подграфов интегрированного графа, обладающие различными уровнями типовости, и набор характеристик, являющихся исходными для синтеза типовой модульной СОД. Рассмотрим указанные процедуры кластеризации множества задач обработки данных одного класса по степеням информационной, процедурной и технологической общности более детально. [39]
Синтез типовых систем обработки данных должен осуществляться на основе формально определенных функциональных конструкций ( модулей), представляющих множество подграфов интегрированного графа G и обладающих совокупностью характеристик и параметров, определяющих их способность к многократной адаптации и использованию в составе отдельных задач при ограниченной модификации. Так как отдельный модуль есть некий подграф графа технологии обработки данных, то естественно определить типовой модуль как подграф графа G, принадлежащий графам нескольких задач. При этом основным параметром типового модуля является вес вершин и дуг, определяющий степень его типовости. [40]
Синтез типовых систем обработки данных осуществляется на основе формально определенных функциональных конструкций ( модулей), представляющих собой множество подграфов интегрированного графа G0 и обладающих совокупностью характеристик и параметров, определяющих их способность к многократной адаптации и использованию в составе отдельных задач при ограниченной модификации. Так как отдельный модуль есть некий подграф графа технологии обработки данных, то естественно определить типовой модуль как подграф графа G0, принадлежащий графам нескольких задач. При этом основным параметром типового модуля является вес вершин и дуг, определяющий степень его типовости. [41]
Проектирующий центр разрабатывает типовую СОД для множества заказчиков, не находящихся в прямом подчинении центра, а состоящих с ним в договорных отношениях. Целевой функцией центра является минимум стоимости или общего времени проектирования за счет типизации проектных решений; цели элементов ( заказчиков) - минимум приведенных общих затрат на адаптацию и эксплуатацию системы. Элементы сообщают в центр информацию о составе графов технологии решения задач обработки данных, эксплуатационных возможностях и ограничениях. Центр задает уровень типовости и определяет систему общих ограничений по оптимизации целевых функций элементов. Элементы проявляют активность, сообщая в центр информацию ( заявки), определяющую специфические ограничения, границы и области индивидуального проектирования. В качестве механизма проектирования типовой системы используется механизм с частичной централизацией, полной информацией и встречным способом формирования данных. Учет интересов элементов, связанных с индивидуальным проектированием, обусловливает необходимость принятия варианта проектирования, отличного от оптимального для центра и отдельных элементов. Таким образом, и центр и элементы несут издержки за счет отклонения единого типового решения от локально оптимальных. [42]
Состав множества модулей, проектируемых при разработке типовой системы, зависит от мощности множества Ze, которая определяется мерой близости р входящих в множество Z задач. Чем более мощным является Ze, тем большее число модулей, обладающих высоким уровнем типовости, может быть синтезировано при проектировании системы обработки данных. Модуль может не обладать высоким уровнем типовости, но обладать большой мощностью, и наоборот. В определенных случаях синтез таких модулей также дает существенный эффект. [43]
Информационная база САПР состоит из внутренней и внешней баз. Внутренняя база включает банк данных и методов, базу знаний и экспертную систему. Банк данных и методов включает центральный, проблемный и нормативный банки данных. Центральный банк содержит информацию о типовых программных модулях различного уровня типовости, типовых проектных и управленческих процедурах. Проблемный банк содержит сведения о формализованных и частично формализованных задачах проектирования и управления, о методах и алгоритмах их решения, характеристиках, способах и технических средствах реализации. [44]
В соответствии с определением евклидова расстояния на главной диагонали матрицы Мд стоят единичные элементы, а элементы, симметричные относительно главной диагонали, совпадают. Следовательно, отношение R ( pKp) рефлексивно и симметрично. Однако отношение Я ( Ркр) в общем случае интранзитивно, так как неравенство треугольника в определении евклидова расстояния не является достаточным условием транзитивности. Транзитивность отношения R pKp) может быть обеспечена с помощью операции транзитивного замыкания, сохраняющего рефлексивность и симметричность, то есть транзитивное замыкание отношения принадлежности является эквивалентностью. Транзитивное замыкание отношения принадлежности Я ( ркр) определяется путем возведения в степень матрицы принадлежности Мд до тех пор, пока она не станет индепотентной. Перестановкой строк и столбцов матрицу Мд приводят к блок-диагональному виду. На главной диагонали матрицы М9 получаем единичные матрицы, которые отвечают подмножествам задач, составляющих каждый слой типовости. [45]