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

ВВЕДЕНИЕ.

ГЛАВА 1. СТРУКТУРНО-ГРАФИЧЕСКИЕ МОДЕЛИ И АНАЛИЗ ХАРАКТЕРИСТИК АЛГОРИТМОВ.

1.1. Задачи анализа характеристик технологических алгоритмов.

1.2. Графовые модели алгоритмов прикладных функций СРВ.

1.3. Методика приближенной оценки времени выполнения алгоритмов прикладных функций.

Появление высокопроизводительной, надежной и дешевой микропроцессорной техники привело к созданию встроенных вычислительных систем. Техническую систему, в которую встраивается вычислительная система, обычно называют окружающей системой. Встроенная система является неотъемлемой частью окружающей системы. Обе системы и встроенная и окружающая образуют единую техническую систему и не могут функционировать автономно. Встроенная система наблюдает за работой окружающей системы и воздействует на нее так, чтобы обеспечить ее эффективное функционирование. В процессе наблюдения и воздействия фактор времени играет важную роль. Встроенная система должна своевременно реагировать на изменения, происходящие в окружающей системе. Если эти изменения протекают достаточно быстро, то допустимое время определения значений управляющих воздействий оказывается настолько мало, что может выйти за пределы возможностей, приемлемых для вычислительных средств встроенной системы. Поэтому при проектировании встроенных систем на время определения управляющих воздействий практически всегда налагаются жесткие ограничения, диктуемые окружающей системой [1, 2].

Второй важной особенностью встроенной системы является то, что ее функционирование осуществляется не по заранее заданному сценарию, а подчинено событиям, происходящим в окружающей системе. Динамика событий в окружающей системе полностью переносится на встроенную систему и в конечном итоге определяет правила функционирования ее программного обеспечения. Так как технологические процессы в окружающей системе происходят параллельно, то и программное обеспечение должно параллельно обрабатывать информацию. Это приводит к необходимости создавать встроенные системы на многопроцессорной основе [3 - 6].

С учетом сказанного, для современных встроенных систем, именуемых также системами реального времени (СРВ), характерными являются следующие свойства:

• распределенность, которая предполагает топологическую или функциональную децентрализацию при создании СРВ;

• параллельность, которая предполагает функционирование многопроцессорной вычислительной системы (МВС) как совокупности взаимодействующих процессов;

• асинхронность, отражающая независимость запуска процессов и возможную селективность их взаимодействия во времени;

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

Производство программ для систем, функционирующих в указанных условиях, связано с большими ¡трудностями [7]. Это объясняется необходимостью установления соответствия между вычислительными ресурсами встроенной МВС и приемлемыми временами реакций программ встроенных систем на события в окружающей системе. Для достижения такого соответствия предлагается последовательно (эволюционным путем) приближать исходный вариант описания программ и архитектуры МВС к некоторому приемлемому компромиссному варианту встроенной системы [8 - 10].

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

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

При таком подходе к проектированию СРВ важное место занимает проблема анализа характеристик данных алгоритмов или, как принято называть, программной нагрузки на МВС. Задача рассматривается для общего случая, когда программная нагрузка представляет собой автономную программу или информационно связанный комплекс про грамм. Программы могут быть представлены на различных уровнях детализации. Для программной нагрузки заданы также ограничения реального времени, циклы съема входных данных и обновления выходных, правила инициирования программ и другие ограничения. Требуется для очередной (предпочтительной) архитектуры МВС и заданной программной нагрузки получить программный продукт, удовлетворяющий ограничениям реального времени.

Среди известных подходов к моделированию в области проектирования управляющих систем наиболее предпочтительными являются сетевые методы, например, сети массового обслуживания или сети очередей [11, 12], сети Петри [13, 14] и многочисленные их модификации [15-17], в частности, применительно к управляющим системам в

ГАП [18, 19]. Подходам, ориентированным на аналитические методы при проектировании вычислительных систем для АСУ ТП посвящена работа [20]. Общим недостатком существующих подходов, помимо низкой адекватности, является наличие непреодолимого разрыва между этапом моделирования и этапом разработки программного обеспечения СРВ или другими словами между этапом анализа и этапом синтеза. Суть проблемы заключается в том, что в этих подходах модельное представление программной нагрузки не является конструктивным для решения задач синтеза программного обеспечения СРВ. Кроме того, изменения, вносимые в модель в процессе ее эволюции, трудно отобразить на программную нагрузку.

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

После нахождения приемлемого варианта архитектуры МВС способного реализовать программную нагрузку с соблюдением условий реального времени может выполняться преобразование найденного модельного представления программной нагрузки в программное обеспечение проектируемой СРВ.

Исследования показали, что значительного продвижения при решении перечисленных задач можно достигнуть, если модельное представление программной нагрузки будет базироваться на двух основополагающих принципах - дискретности и графовой форме представления [8, 21, 22]. Принцип дискретности позволяет уйти от традиционных текстовых форм представления алгоритмов, а задачи трансформации моделей свести к задачам композиции дискретных элементов. Графовая форма в этом случае является естественной формой отображения дискретных элементов и отношений между ними в представлении алгоритмов программной нагрузки. Кроме того, полученная таким образом графовая модель алгоритма удобна для восприятия структурной компоненты семантики алгоритма и для внесения в модель любых трансформаций ручным путем. Если дискретные элементы графовой модели к тому же имеют иерархическую структуру, то в этом случае появляется возможность легко изменять уровень детализации описания программной нагрузки.

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

Таким образом, актуальность диссертационной работы обусловлена необходимостью:

• разработки эффективных методов анализа временных характеристик для программной нагрузки и ресурсных характеристик для архитектуры МВС;

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

Цель диссертации заключается в разработке методов анализа и оптимизации характеристик программной нагрузки и архитектуры МВС при проектировании СРВ.

Достижение указанной цели предполагает решение следующих основных задач:

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

• разработка методов моделирования работы СРВ на функциональном уровне и оптимизация основных параметров модели -число станций в МВС и время завершения выполнения прикладных функций программной нагрузки;

• развитие теории вычислительных процессов реального времени и их взаимодействия, и построение на этой основе активной динамической модели СРВ, учитывающей условия реального времени и динамические свойства окружающей системы;

• решение задач по оптимизации планирования использования ресурсов МВС при выполнении программной нагрузки;

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

Методы исследований основываются на использовании теории графов, системного анализа, математического программирования, систем реального времени, теории алгоритмов и алгоритмических языков, моделирования, вычислительных процессов и их взаимодействия.

Научная новизна диссертации заключается в создании теоретических основ построения активных (выполняемых на виртуальной машине) моделей распределенных динамических систем и решения для них ряда задач анализа и оптимизации отдельных характеристик. Научная новизна по конкретным задачам заключается в следующем:

• предложено структурно-графическое представление алгоритмов прикладных функций программной нагрузки СРВ;

• предложена методика согласования моделей программной нагрузки с моделью архитектуры МВС и построения активной модели для выполнения на виртуальной машине;

• дана оптимизационная постановка задачи размещения функций, программ и данных по ресурсам МВС по критерию минимальной загрузки сети передачи данных как нелинейной задачи математического программирования с булевыми переменными;

• предложена методика выбора предпочтительного по экономическому критерию варианта архитектуры МВС по двум основным параметрам - число станций в МВС и время задержки выполнения прикладных функций;

• введены и теоретически разработаны следующие понятия: вычислительные процессы реального времени (РВ-процессы), динамическая модель программной нагрузки СРВ как активная модель в форме графа потока данных, каналы взаимодействия РВ-процессов и функции каналов;

• установлен механизм взаимодействия РВ-процессов и дана формализация протокола взаимодействия двух РВ-процессов с помощью канальных функций;

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

Апробация работы. Основные результаты работы докладывались и обсуждались на Международной научно-технической конференции "Научные основы высоких технологий" (г. Новосибирск, 1997 г.), на Международной научно-технической конференции "VIII Бенардосов-ские чтения" (г. Иваново, 1997 г.), на втором Российско-Корейском, международном симпозиуме по науке и технологиям KORUS 98 (г. Томск, 1998 г.).

Система визуального синтеза архитектур МВС "Редактор архитектур" официально зарегистрирована в Российском агентстве по правовой охране программ для ЭВМ, баз данных и топологии интегральных микросхем (РосАПО) за №980156. "Редактор архитектур" получил сертификат соответствия № РОСС RU.ME20.H00088 в системе сертификации ГОСТ Р Госстандарта РФ.

Реализация результатов производилась при решении ряда практических задач:

• разработка системы сбора и передачи метеорологической информации (Уралгидромет, г. Екатеринбург);

• проведение предварительных экспериментов по проектированию систем анализа и управления системами связи (Военный институт правительственной связи, г. Орел);

• проектирование систем управления сопровождением процессов проектирования обустройства нефтяных месторождений (НИПИ Нефть, г. Томск);

• изучение функционирования СРВ и типов взаимодействий РВ-процессов по канальным функциям в учебном процессе Томского политехнического университета.

Структура диссертации включает введение, четыре главы и заключение.

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

1. Разработаны теоретические основы структурно-графического представления алгоритмов программной нагрузки СРВ и методика приближенной оценки потребности в вычислительных ресурсах для выполнения программной нагрузки на многопроцессорной вычислительной системе.

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

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

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

5. Поставлены и решены задачи по оптимизации планирования использования ресурсов МВС при выполнении программной нагрузки.

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

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

7. Выполнена алгоритмизация и программная реализация методов анализа характеристик алгоритмов прикладных функций СРВ в виде двух программных средств: "Редактор архитектур" и "Анализатор программ". Программные средства и предлагаемые методы применены для ряда практических приложений: при проектировании системы сбора и передачи метеорологической информации (Уралги-дромет, г. Екатеринбург), при проведении предварительных экспериментов по проектированию систем анализа и управления системами связи (ВИПС, г. Орел), при проектировании систем управления сопровождением процессов проектирования обустройства нефтяных месторождений (НИПИ Нефть, г. Томск). Результаты исследований положены в основу создания лекционного курса "Автоматизированное проектирование распределенных СРВ". Программные средства используются при выполнении лабораторных и курсовых работ.

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

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

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

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

Следует также отметить, что предлагаемый подход ориентирован на максимальное использование графических возможностей современных ЭВМ и отражает графический стиль как при построении моделей, так и при разработке методов анализа и интерфейсов пользователя.

ЗАКЛЮЧЕНИЕ

1. Каган Б.M. Электронные вычислительные машины и системы. - М.: Энергоатомиздат, 1985. - 552с.

2. Ларионов A.M., Майоров С.А., Новиков Г.И. Вычислительные комплексы, системы и сети. Л.: Энергоатомиздат, 1987. - 288с.

3. Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем. М.: Наука, 1982. - 336с.

4. Ларин Г. Распределенные вычислительные системы: Пер. с англ. -М.: Радио и связь, 1984. 296с.

5. Советов Б.Я., Кутузов О.И., Головин Ю.А., Аверов Ю.В. Применение микропроцессорных средств в системах передачи информации. М.: Высшая школа, 1987. - 256с.

6. Прангишвили И.В. Микропроцессоры и локальные сети микроЭВМ в распределенных системах управления. М.: Энергоатомиздат, 1985.-272с.

7. Чичкань И.В., Спасителева С.А. Автоматическая адаптация информационно-управляющих систем к жестким временным ограничениям. -УСиМ, №7/8, 1992, с. 41 -49.

8. Погребной В.К., Погребной Д.В. Методы анализа алгоритмов, функционирующих в системах реального времени. Кибернетика и вуз, вып. 28, Томск, ТПИ, 1994, с. 98 - 106.

9. Погребной Д.В. Визуальное проектирование архитектуры многопроцессорной вычислительной системы реального времени. Математическое и программное обеспечение САПР, вып. 1, Томск, ТПУ, 1997, с. 17-22.

10. Погребной В.К., Погребной Д.В. Построение имитационной модели распределенной системы реального времени. Математическое и программное обеспечение САПР, вып. 1, Томск, ТПУ, 1997, с. 23 -35.

11. Клейнрок Л. Вычислительные системы с очередями. М.: Мир, 1979. -600с.

12. Шрайбер Т.Дж. Моделирование на GPSS: Пер. с англ. М.: Машиностроение, 1980. - 592с.

13. Питерсон Дж. Теория сетей Петри и моделирование систем: Пер с англ. М.: Мир, 1984. - 264с.

14. Котов В.Е. Сети Петри. М.: Наука, 1984. - 158с.

15. Лобков С.Н., Фатхи В.А., Климович Г.И., Дуднакова О.В. Стохасти-ческо-детерминированные временные сети Петри как средство описания моделей многопроцессорных вычислительных систем. -УСиМ, №8, 1991, с. 60-68.

16. Костин А.Е., Савченко Л.В. Модифицированные Е-сети для исследования систем распределенной обработки информации. Автоматика и вычислительная техника, №6, 1988, с. 27 - 35.

17. Баев В.В., Пипетко C.B. Пакет программ моделирования дискретных процессов расширенными сетями Петри. УСиМ, №8, 1991, с 83 - 87.

18. Слепцов А.И., Юрасов A.A. Автоматизация проектирования управляющих систем гибких автоматизированных производств. Под ред. Б.М. Малиновского. К.: Техника, 1986. - 110с.

19. Шенброт И.М., Алиев В.М. Проектирование вычислительных систем распределенных АСУ ТП. М.: Энергоатомиздат, 1989. - 88с.

20. Погребной В.К. Построение и исследование графовых моделей алгоритмов управления в АСУ. В кн.: Автоматизация проектирования систем управления. М.: Статистика. 1978, с. 68 - 99.

21. Погребной В.К., Демин А.Ю., Погребной Д.В. Томография и структурно-графическое представление программ. Математическое и программное обеспечение САПР, вып. 1, Томск, ТПУ, 1997, с. 17 -22.

22. Корниенко A.B., Погребной В.К. Модель и алгоритм для разбиения цифровых вычислительных устройств на функциональные блоки. -УСиМ, №5, 1976, с. 94-98.

23. Погребной В.К. Об одном способе представления алгоритмов в виде графовых моделей. УСиМ, №1, 1983, с. 63-69.

24. Погребной В.К., Демин А.Ю., Погребной Д.В. Организация параллельного выполнения программ на основе их структурно-графических представлений. Математическое и программное обеспечение САПР, вып. 1, Томск, ТПУ, 1997, с. 36 - 39.

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

26. Михалевич B.C., Вельбицкий И.В. Информатика и промышленная технология программирования. Киев. Институт кибернетики АН УССР, 1984.-33с.

27. Самарский A.A., Михайлов А.П. Математическое моделирование: Идеи. Методы. Примеры. М.: Наука. Физматлит, 1997. - 330с.

28. Математическое моделирование. Под ред. Дж. Эндрюса, Р. Мак-Лоуна. М.: Мир, 1997. - 278с.

29. Трахтенгерц Э.А. Программное обеспечение автоматизированных систем управления. М.: Статистика, 1974. - 288с.

30. Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции. М.: Наука, 1991. -256с.

31. Погребной В.К., Орлова Т.И., Погребной Д.В., Погребная Т.К. Анализ характеристик алгоритмов на виртуальной машине в системе

32. ТРАНСВИР. Математическое и программное обеспечение САПР, вып. 1, Томск, ТПУ, 1997, с. 40-43.

33. Погребной В.К., Орлова Т.И., Погребной Д.В., Погребная Т.К. Генерация внутреннего кода виртуальной машины в системе ТРАНС-ВИР. Математическое и программное обеспечение САПР, вып. 1, Томск, ТПУ, 1997, с. 44-53.

34. Альянах И.Н. Моделирование вычислительных систем. П.: Машиностроение, 1988. -223с.

35. Липаев В.В. Проектирование программных средств. Учебное пособие для вузов. М.: Высшая школа, 1990. - 303с.

36. Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир, 1978. -432с.

37. Свалш М., Тхуласираман К. Графы, сети, алгоритмы. М.: Мир, 1980.-455с.

38. Зыков A.A. Основы теории графов. М.: Наука, 1987. - 384с.

39. Корбут A.A., Финкельштейн Ю.Ю. Дискретное программирование. -М.: Наука, 1969. -368с.

40. Алексеев О.Г. Комплексное применение методов дискретной оптимизации. М.: Наука, 1987. -248с.

41. Михалевич B.C., Сергиенко И.В., и др. Пакет прикладных программ для решения задач дискретной и нелинейной оптимизации (пакет ДИСНЭЛ). Кибернетика, №3, 1991, с 36 45.

42. Watters L.T. Reduction of integer polynomial programming problems. //Operation Res/1967. Vol 15, №6. p. 1171 1174.

43. Мытус Л. Модель программного обеспечения распределенных вычислительных систем управления. Программирование, №3, 1983, с. 46 - 54.

44. Мытус Л., Кяэрамеэс К. Один метод создания семейства специализированных операционных систем реального времени. УСиМ, №3, 1983, с. 47-52.

45. Мытус П., Чугунов B.C., Артемьева Н.И., и др. Выбор формального метода спецификации ПО систем управления дискретно-непрерывными производствами. -УСиМ, №2, 1985, с. 11-15.

46. Мытус J1. Особенности моделирования программного обеспечения многопроцессорных вычислительных систем. Изв. АН СССР. Техническая кибернетика, №4, 1985, с. 149 - 156.

47. Богдан A.C., Марков Н.Г., Смирнов А.Ю. Система моделирования параллельных процессов. УСиМ, №8, 1991, с. 87 - 94.

48. Марков Н.Г., Мирошниченко Е.А., Сарайкин A.B. Моделирование параллельного программного обеспечения с использованием PS-сетей. Программирование, №5, 1995, с. 24 - 32.

49. Марков Н.Г., Мирошниченко Е.А., Сарайкин A.B. PS-сети формальный аппарат моделирования параллельных процессов. - Математическое и программное обеспечение САПР, вып. 1, Томск, ТПУ, 1997, с. 68-85.

50. Марков Н.Г., Мирошниченко Е.А., Сарайкин A.B. Методы и средства моделирования и анализа параллельного программного обеспечения на основе аппарата PS-сетей. Математическое и программное обеспечение САПР, вып. 1, Томск, ТПУ, 1997, с. 86 - 97.

51. Гольштейн Е.Г., Юдин Д.Б. Новые направления в линейном программировании. М.: Сов. радио, 1977. - 384с.

52. Дегтярев Ю.И. Методы оптимизации. Учебное пособие для вузов. -М.: Сов. радио, 1980. -272с.

53. Рейнгольд, Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. М.: Мир, 1980. -476с.

54. Штейн М.Е., Штейн Б.Е. Методы машинного проектирования цифровой аппаратуры. М.: Сов. радио, 1973. -296с.

55. Мелихов A.M., Бернштейн Л.С., Курейчик В.М. Применение графов для проектирования дискретных устройств. М.: Наука, 1974, -304с.

56. Селютин В.А. Машинное конструирование электронных устройств. М.: Радио и связь, 1977. - 383с.

57. Батищев Д.И. Поисковые методы оптимального проектирования. -М.: Сов. радио, 1977. -384с.

58. Погребной В.К. О декомпозиции графов на классы изоморфных подграфов. Вопросы программирования и автоматизации проектирования, №4, Томск, ТГУ, 1979, с. 82 - 96.

59. Погребной В.К. Распределение типовых структур вычислительных устройств по блокам унифицированного набора. Изв. Томского политехнического института, №269, 1976, с. 100-112.

60. Погребной В.К. Покрытие схем вычислительных устройств блоками унифицированного набора. Изв. Томского политехнического института, №211, 1970, с. 81 - 87.

61. Погребной В.К., Исаев В.М. Исследование одного класса задач покрытия при проектировании вычислительных устройств. Оптимизация и математическое обеспечение САПР. Горький, ГГУ, 1980, с. 45 - 58.

62. Дарахвелидзе П. Г., Марков Е. П. Delphi среда визуального программирования. - СПб.: BHV- Санкт-Петербург, 1996. - 352с.

63. Даптеманн Д., Мишел Д., Тейлор Д. Программирование в среде Delphi: Пер. с англ. К.: НИПФ "ДиаСофт Лтд.", 1995. - 608с.

64. Калверт Ч. Delphi 2. Энциклопедия пользователя: Пер. с англ. К.: НИПФ "ДиаСофт Лтд.", 1996. - 736 с.

65. Рихтер Дж. Windows для профессионалов (программирование в Win32 API для Windows NT и Windows 95): Пер. с англ. М.: Издательский отдел "Русская Редакция", 1995. -720с.

66. Гласс Р. Руководство по надежному программированию: Пер. с англ. Под ред. В.М. Рабиновича. М.: Мир, 1982. - 256с.

67. Боэм Б., Браун Дж., Каспар X., и др. Характеристики качества программного обеспечения: Пер. с англ. М.: Мир, 1981. - 208с.139

68. Бутаков Е.А. Методы создания качественного программного обеспечения ЭВМ. М.: Энергостоииздат, 1994. - 232с.

69. Кнут, Дональд Э. Искусство программирования для ЭВМ: В 7-ми т.: Пер. с англ. М.: Мир, 1976. Т.1: Основные алгоритмы. Пер. Г. П. Бабенко и Ю. М. Баяковского: Под ред. К. И. Бабенко и В. С. Штаркмана. 1976. -735с.

70. Грис Д. Наука программирования: Пер. с англ. Под. Ред. А.П. Ершова. М.: Мир, 1984. - 416с.

71. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е изд.: Пер. с англ. М.: "Бином", СПб: "Невский диалект", 1998. - 560с.

72. ОТКРЫТОЕ АКЦИОНЕРНОЕ ОБЩЕСТВО «ТОМСКИЙ НАУЧНО-ИССЛЕДОВАТЕЛЬСКИЙ И ПРОЕКТНЫЙ ИНСТИТУТ НЕФТИ И ГАЗА ВОСТОЧНОЙ НЕФТЯНОЙ КОМПАНИИ»1. ТомскНИПИнефть

73. Для разработки «Системы управления сопровождением процессов проектирования обустройства нефтяных месторождений» были использованы разработанные в-КЦТПУ пакеты программ «Редактор архитектур» и «Анализатор программ».

74. Заместитель директора ' ' В.П. Комагоров1. Начальник отдела систавтоматизированногопроектированияинформационным техн1. В.В. Четвериков1. УТВЕВДАЮ

75. Уральского территориальиого \по гидрометеоро логии ией среди1. А0А.Успинно внедрению пакетов программ "Редактор архитектур* и "Анализатор программ при разработке системы сбора и передачи метеорологической информации по радиоканалу

76. Первая очередь "Системы*." разработанная с учетом результатов моделирования внедрена в Уралгидромете в марте 1998 года.

77. Начальник отдела метеорологии1. Начальник ОАСДД1. Ф.Ф.Успина В.(В.Бородин1. УТВЕРЖДАЮ

78. Комиссия в составе представителей кафедр АП, ВТ, АиКС ознакомилась с использованием результатов НИР на кафедре АП при подготовке инженеров и магистров по дисциплине "Автоматизированное проектирование распределенных СРВ" и пришли к следующему заключению.

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

80. Особо важную роль тренажер имеет при формировании навыков при выполнении операций трансформации моделей в эволюционном процессе проектирования СРВ.