автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.12, диссертация на тему:Последовательно-параллельный анализ вариантов повышения качества модульного проектирования декомпозируемых технических систем

Перечень сокращений.

ВВЕДЕНИЕ.

1 ПРОБЛЕМА ПОВЫШЕНИЯ КАЧЕСТВА АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ ДЕКОМПОЗИРУЕМЫХ ОБЪЕКТОВ.

1.1 Область исследования и постановка задачи.

1.2 Качество продукции систем автоматизированного проектирования.

1.2.1 Показатели качества промышленных изделий.

1.2.2 Эффективность программных изделий индустриальной технологии проектирования программ.

1.3 Разработка структуры метода повышения качества.

1.3.1 Повышение эффективности ввода-вывода в программах обработки файлов АСУП.

1.3.2 Структура алгоритмов.i.

Выводы.

2 РАЗРАБОТКА МАТЕМАТИЧЕСКОЙ МОДЕЛИ СОВЕРШЕНСТВУМЫХ СИСТЕМ.

2.1 Операторные схемы программ.

2.1.1 Крупноблочные схемы программ.

2.1.2 Выполнение схемы.

2.2 Модели программ ввода-вывода.

2.3 Представление функций ввода-вывода в моделях программ.

2.3.1 Операторы открытия и закрытия файлов.

2.3.2 Схематизация функций потокового ввода-вывода.

2.3.3 Операторы ввода-вывода нижнего уровня.

2.3.4 Начальный и конечный операторы.

2.4 Анализ модели программ ввода-вывода.

2.5 Модель грузопотока на рудных карьерах с автомобильным транспортом.

2.5.1 Особенности системы "Грузопоток".

2.5.2 Операторы и структура модели грузопотока.

2.6 Модель проекта балластировки и закрепления магистральных трубопроводов.

Выводы.

3 МЕТОД ПОВЫШЕНИЯ КАЧЕСТВА ПРОЕКТИРОВАНИЯ.

3.1 Общая схема метода устранения "узких мест".

3.1.1 "Узкое место" в сложной системе.

3.1.2 Структура метода.

3.1.3 Задача оптимизации систем.

3.2 Продукционная система диагностики "узких мест".

3.2.1 Несовершенство и значение несовершенства.

3.2.2 Система продукций.

3.2.3 Схема последовательного анализа вариантов. 3.2.4 Отношение порядка на множестве вариантов устранения несовершенств.

3.2.5 Управление системой продукций при однозадачной реализации метода.

3.3 Двухуровневая модель параллельного алгоритма диагностики и терапии "узких мест".

3.3.1 Распараллеливание метода анализа вариантов.

3.3.2 Схема сопряжения агрегативной системы.

3.3.3 Интерпретация структуры двухуровневой иерархической системы.

3.3.4 Методы последовательного улучшения в теорий иерархических многоуровневых систем.

3.3.5 Условия повышения качества при использовании эталонного управления.

3.3.6 Параллельные методы устранения "узких мест".

Выводы.

4 АЛГОРИТМ ПОВЫШЕНИЯ КАЧЕСТВА.

4.1 Машинное представление модели системы.

4.2 Файл гипотез.

4.3 Библиотека алгоритмов.

4.4 Структура машинного алгоритма.

4.4.1 Формирование множества допустимых вариантов.

4.4.2 Множество оценок результатов преобразований.

4.4.3 Формирование множества эффективных вариантов.

Выводы.

5 РЕАЛИЗАЦИЯ МЕТОДА ВЫЯВЛЕНИЯ И УСТРАНЕНИЯ "УЗКИХ МЕСТ".

5.1 Организации заказчики.

5.2 Общая схема задачи.

5.3 Повышение эффективности ввода-вывода в программах обработки файлов на языке Ассемблера.

5.3.1 Факторы эффективности программы.

5.3.2 Эффективное программирование ввода-вывода для доступа с очередями.

5.3.3 Эффективное программирование ввода-вывода нижнего уровня.

5.3.4 Программирование ввода-вывода при ускоренной передаче блоков данных.

5.4 Повышение качества проекта балластировки магистральных трубопроводов.

5.4.1 Критерий качества балластировки.

5.4.2 Факторы и условия балластировки.

5.4.3 Критические элементы проекта.

5.4.4 Модель проекта балластировки.

5.4.5 База знаний для повышения качества балластировки.

Выводы.

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

Проектирование относится к классу сложных задач, в общем случае алгоритмически неразрешимых. Причиной неразрешимости являются недостаточ-Ф ное знание о проектных решениях и способах их получения, комбинаторный характер множества альтернатив и, как следствие, JVP-полнота возникающих частных задач, непосильная современным массовым ЭВМ. Поэтому естественным средством борьбы с запредельной алгоритмической сложностью является декомпозиция общей задачи на подзадачи. В России и за рубежом накоплен значительный опыт по автоматизированному проектированию декомпозируемых систем, базирующийся на модульном подходе.

К числу основных функциональных операций в системах данного вида относится выявление элементов ("узких мест"), замена или преобразование которых позволит существенно повысить качество всей системы. В сложных системах число элементов может быть очень большим, что резко увеличивает время, затрачиваемое на улучшение характеристик объекта. Поэтому актуальным яв-*> ляется исследование и разработка таких методов, которые бы существенно сужали пространство поиска и допускали параллельную работу нескольких ЭВМ при диагностике "узких мест" и их устранении.

Объектом исследования являются подсистемы повышения качества в модульных системах автоматизированного проектирования программ обработки файлов, нефтегазопроводов, грузопотоков в открытых карьерах с автомобильным транспортом.

Предмет исследования - процедуры и методы выявления "узких мест" и их устранения для существенного повышения качества сложных технических объектов.

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

Идея работы заключается в последовательном выявлении и устранении несовершенств у элементов, создающих "узкие места".

Задачи исследования.

1. Разработать метод анализа вариантов с пошаговым конструированием решения, позволяющий последовательно выявлять и устранять несовершенства у элементов, создающих "узкие места".

2. Разработать методы получения Парето - оптимального решения многокритериальной задачи дискретной оптимизации на множестве последовательностей улучшающих преобразований.

3. Разработать продукционную систему, позволяющую получить оптимальное по Парето состояние улучшаемой системы.

4. Обосновать способы распараллеливания алгоритмов выявления и устранения несовершенств.

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

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

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

Научные результаты, выносимые на защиту.

1. Новый метод последовательного анализа вариантов с пошаговым конструированием решения, отличающийся:

- произвольным набором критериев оптимальности;

- поиском оптимального по Парето варианта системы при многокритериальной оценке решений;

- правилами формирования частичных решений, обеспечивающих последовательное выявление и устранение несовершенств.

2. Методы распараллеливания алгоритма последовательного анализа вариантов, реализованные в продукционной системе и базе знаний и позволяющие выявлять и устранять "узкие места".

3. Математические модели программ ввода-вывода, грузопотока в открытых горных карьерах с автомобильным транспортом, проекта балластировки и закрепления магистральных трубопроводов, позволяющие формализовать выявление и устранение "узких мест".

Достоверность результатов обеспечивается:

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

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

Научная новизна исследований.

1. Разработан новый способ реализации метода анализа вариантов, позволяющий:

- выявлять и устранять несовершенства у элементов системы;

- формировать оптимальное по Парето состояние;

- выполнять параллельную диагностику элементов, создающих "узкие места".

2. Доказано, что введённые скалярные функции качества удовлетворяют принципу монотонной рекурсивности, который является обобщением принципа оптимальности динамического программирования.

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

4. На основе крупноблочной схемы, используемой в оптимизирующих трансляторах, сформированы модели программ обработки файлов, грузопотока в карьерах с автомобильным транспортом, проекта балластировки и закрепления магистральных трубопроводов.

5. Сформированы система управления и структура базы продукций, позволяющие получить оптимальное по Парето состояние сложного декомпозируемого объекта.

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

Практическая значимость работы заключается в использовании полученных результатов при создании допускающих распараллеливание подсистем повышения качества в модульных системах автоматизированного проектирования декомпозируемых объектов.

Личный вклад автора состоит:

- в разработке нового метода последовательного анализа вариантов для выявления и устранения "узких мест", допускающего распараллеливание алгоритмов;

- в постановке и исследовании задачи многокритериальной дискретной оптимизации для последовательного анализа вариантов;

- в разработке моделей программ обработки файлов, грузопотока в открытых горных карьерах с автомобильным транспортом, проекта балластировки и закрепления магистральных трубопроводов;

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

Реализация работы. Основные методологические принципы, положения и методы, разработанные по результатам проведенных исследований, внедрены в следующих проектных организациях и предприятиях: предприятие п/я А3706, г. Москва, ПО УРАЛМАШ, г. Екатеринбург, КИВЦ Главтюменгазпрома и ГВЦ Главтюменьгеологии, г. Тюмень, институт "Гипротюменнефтегаз", г. Тюмень, фирма "Домофонсервис", г. Тюмень.

Апробация работы. Основные положения и результаты диссертационной работы докладывались на Всесоюзной научно-технической конференции РАПП-83 (Барнаул, 1983 г.), Республиканской научно-технической конференции "Проблемы разработки конструкторских и технологических систем автоматизации проектирования в машиностроении" (Екатеринбург, 1985 г.), обсуждались на семинарах кафедры АСУ УПИ (Екатеринбург), кафедры САПР Уральского горного института (Екатеринбург), кафедры прикладной математики Южно-Уральского государственного технического университета, в НИИОГР (Челябинск), в ВЦ СО АН СССР (Новосибирск), в СНПО "Алгоритм" и на предприятии п/я А3706 (Москва).

Публикации. По теме диссертации опубликовано 14 работ, в том числе одна монография.

Структура и содержание работы. Диссертация состоит из введения, 5 глав и заключения, изложенных на 153 страницах машинописного текста, содержит 22 рисунка, 3 таблицы, приложения на 23 страницах и список использованных источников из 136 наименований. В приложении приведены текст программы выявления и устранения несовершенств проекта балластировки и закрепления магистральных трубопроводов, материалы опытно-промышленной проверки программных комплексов и акты их внедрения в проектных организациях и на предприятиях.

Выводы

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

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

Заключение

В диссертации на основе выполненных теоретических и экспериментальных исследований разработан метод последовательного анализа и формирования вариантов повышения качества проектирования декомпозируемых систем, допускающий параллельную реализацию. Основными этапами метода являются выявление и устранение в оптимальной последовательности несовершенств у элементов, создающих "узкие места".

Основные научные результаты и выводы заключаются в следующем.

1.Выполнен анализ проблемы повышения качества автоматизированного модульного проектирования декомпозируемых систем. К числу основных функциональных операций в системах данного вида относится выявление элементов ("узких мест"), замена или преобразование которых позволит существенно повысить качество всей системы. С учетом большого числа элементов в сложных системах обоснована актуальность исследования и разработки таких методов, которые бы существенно сужали пространство поиска и допускали параллельную работу нескольких ЭВМ при диагностике "узких мест" и их устранении.

2. Предложена схема последовательного устранения "узких мест" в декомпозируемой системе, отдельными этапами которой являются последовательное выявление и устранение несовершенств у её элементов.

3. Разработан новый метод последовательного анализа вариантов с пошаговым конструированием решения, позволяющий формировать путем выявления и устранения несовершенств оптимальное по Парето состояние, выполнять параллельную диагностику элементов и допускающий произвольный набор критериев оптимальности при многокритериальной оценке решений. В предлагаемом методе правила анализа и конструирования частичных решений, а также набор тестов, осуществляющих отсев бесперспективных частичных решений, в совокупности реализуют параллельную схему выявления и устранения "узких мест".

4. Разработан метод Парето - оптимального решения многокритериальной задачи дискретной оптимизации на множестве последовательностей улучшающих преобразований. Каждая скалярная функция качества Fp определена как сумма изменений р-то критерия, которые имеют место при устранении несовершенств у элементов системы. Скалярная задача дискретной оптимизации рассмотрена как задача поиска максимума функции Fp. Решением многокритериальной задачи оптимизации является неулучшаемая последовательность алгоритмов - вариантов устранения несовершенств. Сформулировано необходимое и достаточное условие Парето — оптимальности решения многокритериальной задачи оптимизации.

5. Установлено, что предлагаемый метод повышения качества можно рассматривать как интерпретацию двухуровневой иерархической системы. Это позволило использовать в процессе исследования результаты теории многоуровневых систем, сформулировать способы распараллеливания метода последовательного анализа вариантов.

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

7. Предложено реализовать машинный метод повышения качества в виде продукционной системы, в которой каждая продукция призвана устранить несовершенство у соответствующего элемента по конкретному алгоритму (варианту).

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

8. Разработаны алгоритмы, структура комплекса программ и файлов данных, предназначенных для повышения качества модели системы посредством выявления и устранения несовершенств у ее элементов.

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

Основные методологические принципы, положения и методы, разработанные по результатам проведенных исследований, внедрены в следующих проектных организациях и предприятиях: предприятие п/я А3706, г. Москва, ПО УРАЛМАШ, г. Екатеринбург, КИВЦ Главтюменгазпрома и ГВЦ Главтюмень-геологии, г. Тюмень, институт "Гипротюменнефтегаз", г. Тюмень, фирма "Домофонсервис", г. Тюмень (см. документы о внедрении результатов в конце работы).

1. Авен О.И., Турин Н.Н. Оценка качества и оптимизация вычислительных систем. М.: Наука, 1982. - 464 с.

2. Адаптация в автоматизированных системах управления производством.- Фрунзе: Илим, 1982. 152 с.

3. Андон Ф.И. Задача оптимального определения буферной памяти для программ обработки данных // Электронное моделирование. 1979. - № 2. -С. 109-110.

4. Андон Ф.И. Об одной технологии обработки данных // Кибернетика. -1980.-№12.-С. 71-76.

5. Архангельский Б.В. Обзор оптимизационных процедур //УСиМ. 1981.- № 4. С. 103-109.

6. Архангельский Б.В., Никитин А.И. Системы оптимизации программ.- Киев: Техника, 1983. 167 с.

7. Ашимов А.А., Мамиконов А.Г. Оптимальные модульные системы обработки данных. Алма-ата: Наука, 1981. - 186 с.

8. Аугустон М.И. и др. Программирование на ПЛ/1 ОС ЕС / М.И. Аугу-стон, Р.П. Балодис, Л.М. Барадинь. М.: Финансы и статистика, 1984. - 327 с.

9. Аугустон М.И. Языковые средства для программирования и спецификации программ обработки последовательных файлов: Автореферат . канд. техн. наук. Киев, 1982. - 18 с.

10. Березовский Б.А. и др. Формирование наборов высших растений для жизнеобеспечения / Б.А. Березовский, В.Н. Данилов, А.В. Кортнев. М.: ОН-ТИТЭИМикроприборпром, 1977. - 75 с.

11. Березовский Б.А., Контрорер Л.А. Эффективный алгоритм построения множества недоминируемых вариантов декомпозируемых объектов // Автоматика и телемеханика. 1987. - № 1. - С.115-121.

12. Борщева Т.И. Возможные постановки задачи оптимизации технологического процесса переработки информации в АСУ // Оптимизация и проектирование человеко-машинных систем. Воронеж, 1980. - С. 70-77.

13. Боэм Б. Характеристики качества программного обеспечения. М.: Мир, 1981.-206 с.

14. Брукс Ф.П. Как проектируются и создаются программные комплексы. — М.: Мир, 1979.- 183 с.

15. Вельбицкий И.В. и др. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6 / И.В.Вельбицкий, В.Н. Ходаковский, Л.И. Шолмов. М.: Статистика, 1980. - 263 с.

16. Вельбицкий И.В. Технология проектирования. Киев: Техника, 1984. -279 с.

17. Волховер В.Г., Иванов Л.А. Производственные методы разработки программ. М.: Финансы и статистика, 1983. - 241 с.

18. Галкин В.А. Технологические основы проектирования и планирования грузопотоков на рудных карьерах с автомобильным транспортом: Дисс. . д-ра техн. наук. Магнитогорск, МГМИ, 1987. - 325 с.

19. Гантер Р. Методы управления проектированием программного обеспечения. -М.: Мир, 1981.-370 с.

20. Горский Л.К. и др. Диагностика и терапия "узких мест" при принятии проектных решений / Л.К. Горский, С.В. Ревякин, В.И. Суханов. Тюмень, "Вектор Бук", 2001. - 98 с.

21. Гэри М., Джонсон Д. Вычислительные машины и трудно решаемые задачи: Пер. с англ. М.: Мир, 1982. - 416 с.

22. Гурова Л.И., Сахаров С.С. Прикладные программы. М.: Статистика, 1980.-280 с.

23. Дайитбегов Д.М. Организация набора данных в ОС ЕС ЭВМ. М.: Финансы и статистика, 1982. - 246 с.

24. Дворецкий А.С. Вопросы типизации создания АСУ. М.: Издательство стандартов, 1981.-223 с.

25. Дзелинская А.А Чистка циклов в крупноблочных схемах // Языки и системы программирования. Новосибирск: ВЦ СО СССР, 1981. - С. 64-74.

26. Дубов Ю.А. и др. Многокритериальные модели формирования выбора вариантов систем / Ю.А. Дубов, С.И. Травкин, В.Н. Якимец. М.: Наука, 1986. -296 с.

27. Евстигнееев В.А. Теория графов и программирование. Новосибирск: НГУ, 1978. - 73 с.

28. Егошин Л.А. Пакеты программ для обработки данных на магнитных дисках в ОС ЕС ЭВМ. Серпухов: 1982. - 11 с.

29. Единая система электронно-вычислительных машин. Операционная система. Управление данными: Руководство программиста / Ц51.804.002Д4. — Калинин: Центрпрограммсистем, 1982. 243 с.

30. Единая система электронно-вычислительных машин. Операционная система. Макрокоманды супервизора и управления данными: Руководство программиста / Ц51.804.002Д5. Калинин: Центрпрограммсистем, 1982. - 220 с.

31. Единая система электронно-вычислительных машин. Операционная система. ПЛ/1: Описание языка / Ц51.804.002Д45. Калинин: Центрпрограммсистем, 1982.-192 с.

32. Емельянов С.В., Озерной В.М., Ларичев О.И. Выбор рациональных вариантов технологических шахт с учетом большого числа критериев // Горный журнал. 1972. - № 5. - С. 27-32.

33. Зайцев В.Е. Система ввода-вывода для пакетов прикладных программ. -М.: МАИ, 1982.-12 с.

34. Зайцева Ж.Н. Программирование в ОС ЕС на базе языка Ассемблера. -М.: Финансы и статистика, 1981. 319 с.

35. Зеленова Е.В. Прямой метод доступа. М.: СНПО Алгоритм, 1982. - 53с.

36. Зелковиц М.И. Принципы проектирования программного обеспечения. -М.: Мир, 1982.-316 с.

37. Зотов А.Ю. Уменьшение времени поиска по ключам совпадения в древовидных структурах ДИАМС // Вопросы радиоэлектроники. Сер. АСУ. 1981. - № 4. - С. 91-95.т

38. Исаев М.А. Повышение эффективности использования томов прямого доступа в ОС ЕС. Пущино, 1982. - 23 с.

39. Казиев Г.З. Некоторые вопросы модульного проектирования АСУ // Научно-техническая пропаганда. М.: ЦНИИТЭИ приборостроения, 1977. - С. 49-56.

40. Карасев О.И. АСУП на базе пакетов прикладных программ. М.: Статистика, 1978. -141 с.

41. Касьянов В.П. Анализ управляющих графов программ // Системное программирование. Материалы Вс. симпозиума. Новосибирск: ВЦ СО АН СССР, 1973.-С. 133-154.ф 42. Касьянов В.П. Разгрузка участков повторяемости. Новосибирск: ВЦ1. СО АН СССР, 1979.-47 с.

42. Касьянов В.П. Свободные интерпретации крупноблочных схем программ // Теоретические основы компиляции. Новосибирск: НГУ, 1980. - С. 24-36.

43. Касьянов В.П. Анализ структур программ // Кибернетика. 1980. - № 1.-С. 48-61.

44. Касьянов В.П. К обоснованию алгоритмов преобразования крупноблочных программ // Программирование. 1981. - № 3. - С. 41-49.

45. Касьянов В.П. Полнота класса крупноблочных схем // Программные системы и вопросы эффективного использования ЭВМ. Новосибирск: ВЦ СО АН СССР, 1982. - С. 45-62.

46. Касьянов В.П. Эквивалентные преобразования кратных схем // Программирование. 1982. - № 6. - С. 27-33.

47. Касьянов В.П. Оптимизация программ: обзор подходов. Новосибирск: ВЦ СО ВН СССР, 1982. - 43 с.

48. Касьянов В.П. Методы анализа программ. Новосибирск: НГУ, 1982. —91 с.

49. Касьянов В.П. Оптимизация программ // Прикладная информатика. —1. Ш

50. М.: Финансы и статистика, 1983. вып. 2. — С. 39-76.

51. Касьянов В.П. Методы оптимизации программ. Новосибирск: НГУ, 1984.-92 с.

52. Касьянов В.П., Поттосин И.В. Технологические возможности оптимизации программ // Программирование. 1980. - № 1. - С. 27-31.

53. Кац А.Р. К вопросу определения оптимальной области переполнения для записи на ЗУПД больших массивов информации // Вопросы прикладной математики и кибернетики. Баку: АГУ им. С.М. Кирова, 1978. - С. 50-54.

54. Кикутс Я.А. Сетевой метод доступа на ЕС ЭВМ. М.: Научн. совет по комплексн. проблемам кибернетики АН СССР, 1982. - 20 с.ф 55. Краснощеков П.С. и др. Декомпозиция в задачах проектирования / П.С.

55. Краснощеков, В.В. Морозов, В.В. Федоров // Техническая кибернетика. 1979. -№2.-С. 13-18.

56. Левин М.Ш. Задачи планирования информационного центра // НТИ. Сер. 2. 1995. - № 2. - С. 16-24.

57. Левин М.Ш. О третьей грамотности // НТИ. Сер. 2. 1995. - № 6. - С. 20-30.

58. Левин М.Ш. Типовые задачи принятия решений при подготовке бизнес-планов // НТИ. Сер. 1. 1995. - № 10. - С. 7-13.

59. Левин М.Ш. Иерархический комбинаторный подход к планированию карьеры // НТИ. Сер. 2. 1996. - № 12. - С. 22-27.

60. Кулаков А.Ф. Оценка качества программ для ЭВМ Киев: Техника, * 1984. - 167 с.

61. Лингер Р., Миллс X. Теория и практика структурного программирования. М.: Мир, 1982. - 406 с.

62. Липаев В.В. Проблемы индустриального производства и исследования программных средств // Вс. научно-технич. конф.: Программное обеспечение АСУ. Калинин, 1980. - С. 12-20.

63. Липаев В.В. Надежность программного обеспечения АСУ. М.: Энер-гоиздат, 1981.-241 с.

64. Липаев В.В. Конструктивные показатели качества программ и связь с технологией их проектирования // Изв. АН СССР. Техническая кибернетика. -1982.-№2.-С. 151-162.

65. Липаев В.В. Технология проектирования комплексов программ АСУ. — М.: Радио и связь, 1983. 312 с.

66. Майерс Г.М. Надежность программного обеспечения. -М.: Мир, 1980.- 360 с.

67. Мамиконов А.Г. Вопросы модульного построения сложных программ // Формализованные методы синтеза сложных систем. М.: ИПУ, 1976 - С. 5969.

68. Мамиконов А.Г. Модели и методы проектирования информационного обеспечения АСУ. М.: Статистика, 1978. - 207 с.

69. Мамиконов А.Г. Синтез оптимальных функциональных модулей обработки данных в АСУ. М.: ИПУ, 1979. - 72 с.

70. Мамиконов А.Г. Автоматизация проектирования АСУ. М.: Энергоиз-дат, 1981.-297 с.

71. Марчук Г.И., Аганбегян А.Г. Адаптивная АСУ производством. АСУ Сигма. М.: Статистика, 1981. - 176 с.

72. Месарович М., Макс Д. Теория иерархических многоуровневых систем.1. М.: Мир, 1973.-344 с.

73. Месарович М., Такахара Я. Общая теория систем: математические основы. М.: Мир, 1978. - 312 с.

74. Михалевич B.C., Волкович В.Л. Вычислительные методы исследования и проектирования сложных систем. М.: Наука. Главная редакция физико-математической литературы, 1982. - 288 с.

75. Основы кибернетики. Теория кибернетических систем / Под ред. К.А. Пупкова. М.: Высшая школа, 1976. - 407 с.

76. Поспелов Д.А. Продукционные модели // Искусственный интеллект.

77. Кн. 2. М.: Радио и связь, 1990. - С. 49-56.

78. Поттосин И.В. К обоснованию алгоритмов оптимизации программ // Программирование. 1979. - № 2. - С. 3-14.

79. Ревякин С.В. Схема сопряжения агрегативной системы в задачах конструирования электронных устройств // Электронная техника. Сер. МЭА. — 1982.-№4.-С. 42-45.

80. Ревякин С.В. Об одном подходе к моделированию в МЭА // Электронная техника. Сер. МЭА. 1982. -№ 5. - С. 41-45.

81. Ревякин С.В. Модель крупноблочной программы в условиях САПР программного обеспечения АСЧУ // Робототехника и автоматизация производф. ственных процессов: Тез. докл. Барнаул, 1983. - ч.2. - С. 147-148.

82. Ревякин С.В. Повышение эффективности ввода-вывода в программах обработки файлов в среде ОС ЕС ЭВМ: Методическое пособие. М.: НИР "ПЕРЕКОП", 1987. - 18 с.

83. Ревякин С.В. Повышение эффективности обмена данными в программах обработки файлов / ТюмИИ. Тюмень, 1985. - 15 с. - Деп. в ЦНИИТЭИ приборостроения 20.07.85, № 2959.

84. Ревякин С.В. Организация обмена данными в программах обработки файлов // Проблемы разработки конструкторских и технологических систем автоматизации проектирования в машиностроении: Тез.докл. Свердловск, 1985. -С. 74-75.

85. Ревякин С.В. Об одном подходе к совершенствованию сложных систем * / ТюмИИ. Тюмень, 1986. - 23 с. - Деп. в ВИНИТИ 11.02.86, № 956-В86.

86. Ревякин С.В. Об одном подходе к распараллеливанию метода последовательного анализа вариантов // Методы представления знаний и доказательное программирование. Киев: ИК АН УССР, 1990. - С. 65-71.

87. Ревякин С.В. Перекрытие в работе центрального процессора и каналов ввода-вывода / ТюмИИ. Тюмень, 1988. - 10 с. - Деп. Информприбор 10.01.89, № 4489 - пр89.

88. Ревякин С.В. Крупноблочная схема математическая модель грузопотока на рудных карьерах с автомобильным транспортом // Изв. Вузов. Горный журнал. - 1995. -№ 7. - С. 17-21.

89. Суханов В.И., Ревякин С.В. Методы повышения качества структурированных нелинейных систем / ТюмИИ. Тюмень, 1985. - 8 с. - Деп. в ЦНИИ-ТЭИ приборостроения 20.07.85, № 2955.

90. Стемпковский А.Л., Щепелев В.А., Власов А.В. Системная среда САПР СБИС. М.: Наука, 1994. - 251 с.

91. Турский В. Методология программирования. М.: Мир, 1981.— 264 с.

92. Ходулев А.Б. Реализация глобального оптимизатора программ на Фортране. М.: Институт прикладной математики АН СССР, 1982. - 27 с.

93. Хохряков B.C., Каплан В.М. Автоматизированный метод выбора оптимальной схемы коммуникации автомобильного транспорта в карьере // Горный журнал. 1989. -№ 3. - С. 12-16.

94. Хусаинов Б.С. Программирование ввода-вывода в ОС ЕС ЭВМ. М.: Статистика, 1980. - 264 с.

95. Феррари Д. Оценка производительности вычислительных систем. М.: Мир, 1981.-576 с.

96. Фролов Г.Д., Олюнин В.Ю. Практический курс программирования на языке ПЛ/1 ОС ЕС. М.: Статистика, 1983. - 384 с.

97. Хачатуров В.Р. Аппроксимационно-комбинаторный метод декомпозиции и композиции систем и ограниченные топологические пространства, решетки, оптимизации // Ж. вычислительной математики и математической физики. 1985. - Т. 25, № 12. - С. 1777-1794.

98. Цой Е.В., Юдин А.Д., Юдин Д.Б. Проблемы дополнения синтеза знаний // Автоматика и телемеханика. 1994. - № 7. - С. 3-10.

99. Эйрес Р. Научно-техническое прогнозирование и долгосрочное планирование. -М.: Мир, 1971.-296 с.

100. Юдин Д.Б. Системы синтеза знаний // Доклады АН СССР. 1990. - Т. 15, №4,- С. 809-812.

101. Вегшап О. and Ashrati N. Optimization Models for Reliability of Modular Software Systems // IEEE Trans, on Software Engineering. 1993. - Vol. 19. - № 11.-P. 1119-1123.

102. Berman O., Ingco D.I. and Odoni F. Improving the Location of Minimax Facilities Through Network Modification // Networks. -1994. Vol. 24. - P. 31-41.

103. Borie R.B. Generation of Polynominal -Time Algorithms for Some Optimization Problems on Tree-Decomposable Graphs // Algorithmica. 1995.

104. Vol. 14. N 2. - P. 123-137.

105. Buede D.M. and Choisser R.W. Providing an Analytical Structure for Key System Choices // J. Of Multi-Criteria Decision Analysis. 1992. - Vol. 1. - N 1. -P. 17-27.

106. Carraway R.L. and Schmidt R.L. An Improving Discrete Dynamic Programming Algorithm for Allocating Resources Among Interdependent Projects, Manag.Sci. 1991. - Vol. 37. - N 9. - P. 1195-1200.

107. Das D., Gupta S.K. and Nau D. Reducing setup cost by automatic generation of redesign of suggestions. In: Proc. of ASME Conference "Computers in Engineering", 1994. - P. 17-33.

108. Dempster M.A.H. Analytical Evaluation Of Hierarchical Planning Systems // Operations Research / Dempster M.A.H., Fisher M.L., Jansen L., Lageweg B.J., Lenstra J.K. and Rinnooy Kan A.H.G. Vol. 29. - N 4. - P. 710-716.

109. Erol K., Nsau D. and Hendler J. HTN Planning: Complexity Expressity. In: AAAI-1994. Seatle: 1994. - July. - P. 78-91.

110. Grossman I.E. Mixed-linear Programming Techniques for the Synthesis of Engineering Systems // Res. In Eng. Desion. -1990. Vol. 1. - № 2/3. - P. 205-228.

111. Gunasekaran A. Improving Productivity and Duality in Manufacturing Organization // Intl .J of Production Economics / Gunasekaran A., Korukonda A.R., Virtanen I. and Olli P.Y. 1994. - Vol. 36. - N 2. - P. 169-186.

112. Gupta A.P. Automating the Design of Computer System / Gupta A.P., Birmingham W.P. and Siewiorek D.P IEEE Trans, on Computer-Aided Design of Integrated Circuits and System. Vol. 12. - № 4. - P. 473-487.

113. Hall M.Jr. Combinatorial Theory. New York: Wiley, 1986. -120 p.

114. Hammer M. and Champy J. Reengineering the Corporation: A manifesto for business revolution. Harper business, 1993. P. 121-130.

115. Harhalakis G., Lin C.P., Nag R. and Proth J.M. Hierarchical Decision Marking in Computer Integrated Manufacturing Systems // Jn: Proc. Of the Third Int. Conf. On CIM. CS Press / Harhalakis G., Lin C.P., Nag R. and Proth J.M. 1992. -P. 15-24.

116. Knuth D.E. and Raghumantan A. The Problem of Compatible Representatives. SAM J // On Disc. Math. Vol. 5. - № 3. - P. 422-427.

117. Kusiak A. Artifical Intelligence and Integrated Manufacturing Systems // In: A. Kusiak (Ed.) Artificial Intelligence. Implication for CIM. Berlin (Publications) Ltd. and Springer. -Verlag, 1988. P. 143-150.

118. Levin M.Sh. Hierarchical Design of User Interfaces. // In: B.Blumenthal, J. Gornostaev, C. Unger (eds.). Humen Computer Interaction. LNCS. 1994. - Vol. 876. - Berlin: Springer, P. 140-151.

119. Levin M.Sh. Hierarchical Planning and Problem Solving: Approach to Interface Design // In: Proc. Of Intl. Conf. on Human-Computer Interaction EWHCT'95, Juli 2-8. -1995. Moskow, Vol. 1. - P. 180-187.

120. Levin M.Sh. Towards Hypertexts and Decision Making // In: Proc. of Intl. Conf. on Human-Computer Interaction EWCI'95, Juli 2-8. 1995. - Moskow. -Vol. 2.-P. 22-37.

121. Levin M.Sh. Towards Combinatorial Models of Synthesis // Technical Report 96-1-002, The University of Auzi, 1996. P. 150-161.

122. Levin M.Sh. Hierarchical Morphological Multicriteria Design of Decomposable Systems // J. Concurrent Engineering: Research and Applicatons. — 1996. Vol. 4. - № 2. - P. 111-118.

123. Levin M.Sh. Combinatorial Analysys and Adaptation of Humen-Computer Systems // Proc. of Intl. Conf. on Human-Computer Interaction EWHCI'95. 1996. -P. 104-112.

124. Levin M. Sh. Improvement of Decomposable Systems // Advances in Concurrent Engineering, 3rd ISPE Intl. Conf. On Concurrent Engineering. — Toronto, 1996.-P. 319-325.

125. Liebisch and Jain A. Jessi Common Framework Design Management The Means to Configuration and Execution of the Design Process // In: Proc. of EURO DSC'92. - Los Alamos: CS Press, 1992. - P. 552-557.

126. Martello S. and Toth P. Knapsack Problem: Algorithms and Computer Implementation. New-York: Wiley, 1990. - 98 p.

127. McDermont J. Rl: A Rule-Based Configurir of Computer Systems // Arti-fical Intelligence. 1982. - Vol. 19. - № 2. - P. 39-88.

128. Muhanna W.A. and Pick R.A. Meta modelling Concepts and Tools for Model Management: A System Approach // Management Science. - 1994. - Vol. 40.- № 9. -P.1093-1123.

129. Reddy Y.V.R. Computer Support for Concurrent Engineering // Computer / Reddy Y.V.R., Srinivas K., Jagannathan V.and Karinthi R. 1993. - Vol. 26. - № 1. -P. 12-15.

130. Singha J. and Katz J.I. A Branch-And-Fathom Algorithm for the long Range Process Design Problem // Manag. Sci. 1990. - Vol. 36. - № 4. - P. 5135161.

131. Sriram D., Logcher R. and Fucuda S.(Eds.) Computer-Aided Cooperative Product Development // LNCS. -1991. Vol. 492, Springer-Verlag. - P. 217-222.

132. Sykes E.A. and White C.C. Ill Multiobjective Intelligent Computer-Aided Design // IEEE Transactions on Systems, Man and Cybernetics. -1989. Vol. 21. — N6.-P. 1498-1511.

133. Tsukune H., Tsukamoto M., Matsushita Т., Tomita F., Okada K., Ogasa-wara Т., Takase K. and Yuba T. Modular Manufacturing // J. of Intel. Manufacturing. -1993.-Vol. 4.- №2.-P. 163-181.

134. Van Gigch J.P. Applied General Systems Theory // 2nd ed. 1978. - Vol. 1 and 2, Harper and Row Publishers. - P. 176-211.

135. Zwicly F. Discovery Invention, Research Through the Morfological Approach. New-York: McMillan, 1969. - 162 p.