Разработка обрабатывающих и управляющих компонент организации вычислительных процессов в проблемно-ориентированных вычислительных системах тема диссертации и автореферата по ВАК РФ 00.00.00, кандидат технических наук Смольников, Владимир Александрович

• Смольников, Владимир Александрович
• кандидат технических наук
• 1985

Оглавление диссертации кандидат технических наук Смольников, Владимир Александрович

ВВЕДЕНИЕ.

ГЛАВА I. ПРИНЦИПЫ ОБЪЕКТНО-ОРИЕНТИРОВАННОЙ МЕТОДОЛОГИИ * ПРОЕКТИРОВАНИЯ ПРОБЛЕМНО-ОРИЕНТИРОВАННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ.

1. Обзор принципов разработки обрабатывающих и управляющих компонент организации вычислительных процессов в ПОВС.

2. Методы разработки обрабатывающих и управляющих компонент проектируемых ПОВС.

2.1. Двухэтапная методика разработки. 22 ^

2.2. Метод раскрутки.

2.3. Метод погружения в операционную среду

2.4. Метод генерации.

2.5. Формальные методы.

3. Принципы системного проектирования аппаратного и программного обеспечения проблемно-ориентированных вычислительных систем.

3.1. Анализ проблемного класса алгоритмов

3.1.1. Представление алгоритмов в виде параллельных граф-схем

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

3.2. Принцип спецификации компонент ПОВС

3.3. Принцип интерпретации.

3.4. Принцип генерации.

3.5. Принцип последовательных приближений

4. Структура аппаратных и программных средств, поддерживающих и отображающих объектно-ориентированную методологию.

4.1. Объектно-ориентированная архитектура ПОВС

4.2. Программные компоненты ПОВС

Выводы.53^

ГЛАВА П. РАЗРАБОТКА ОБРАБАТЫВАЮЩИХ КОМПОНЕНТ ОРГАНИЗАЦИЙ

ВЫЧИСЛЕНИЙ В ПРОБЛЕМНО-ОРИЕНТИРОВАННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ.

1. Принципы и методы построения и функционирования моделирующих программных комплексов.

1.1. Анализ задач, решаемых МПК.

1.2. Формальное определение МПК.

1.3. Спецификация языка генерации МПК.57 у

1*4. Спецификация типовой структуры МПК

1.5. Метод генерации МПК на основе операции конверсии.

1.6. Структурное управление моделированием

1.7. Функциональные подсистемы МПК.

2. Разработка проблемно-ориентированных языков программирования.

2.1. Анализ проблемного класса алгоритмов . 75 ^

2.2. Спецификация языка ассемблера Р

2.3. Разработка проблемно-ориентированного языка параллельного программирования FORT-p t #

2.3.1. Критерии разработки.

2.3.2. Спецификация языка параллельного программирования fort- р.

3. Разработка компиляторов проблемно-ориентированных языков программирования.

3.1. Спецификация струнтуры ассемблера ASM-P , 88 +

3.2. Спецификация структуры компилятора FQHT-P,

3.3. Виды оптимизации, реализованные в компиляторе РоЪТ-Р

Выводы.

ГЛАВА Ш. РАЗРАБОТКА И РЕАЛИЗАЦИЯ УПРАВЛЯЮЩИХ КОМПОНЕНТ ^

ОРГАНИЗАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ В ПРОБЛЕМНО-ОРИЕНТИРОВАННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ

1. Разработка управляющих компонент ПОВС на основе иерархической структуры и процессов.

1.1. Определение формальной модели системы управляющих компонент

1.2. Анализ организации проблемных вычислительных процессов для класса задач. 105 У

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

ПРВ МВК.

1.4. Метод предотвращения тупиков при организации вычислительных процессов в ПОВС

2. Организация вычислительных процессов в ПРВ макроконвейерной ЭВМ ЕС-2701.

2.1. Критерии разработки системы управляющих компонент ПРВ.

2.2. Спецификация основных задач, решаемых системой УК ПРВ.

2.3. Организация вычислений по запросам в ПРВ

2.4. Требования к аппаратной структуре управления ПРВ.

2.5. Критерии планирования вычислительных процессов в ПРВ

2.6. Моделировадае решения задачи типа СЛАУ . . . 132 Выводы.

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

Актуальность проблемы. Решением ХШ съезда КПСС и последующих пленумов ДК КПСС поставлена задача широкого внедрения в "-"Гнародное хозяйство нашей страны средств автоматизации на основе вычислительной техники*

Современные сложные научно-технические задачи, решаемые в различных областях знаний, требуют переработки больших объемов информации на ЭВМ с производительностью порядка 10-10000 млн. оп./с. Так, например, для задач расчета прогноза погоды, исследования природных ресурсов, управления движением самолетов в современном аэропорту разработаны и уже функционируют различные у мощные вычислительные системы /ВС/ зтаяа^, сяа\, ре ре Г с номинальным быстродействием 30-300 млн.оп./с. на определенных фрагментах вычислений. Но данные ВС рассчитаны на достаточно узкую область применения и зачастую не обеопочивают всех тех требований, которые предъявляются к современным вычислительным средствам*

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

Широкий обзор различных структур и принципов функционирования ВС представлен в работах Г 3 2зе, Зф, -мз,

В настоящее время в развитии вычислительных структур наблюдаются две тенденции: первая - построение ВС на основе модульности и универсальности функционирования, вторая - это создание ^ специализированных вычислительных устройств, рассчитанных на узкое и конкретное применение /например, роботы-манипуляторы,

- 7 станки с числовым программным управлением, вычислитель в автоматических системах управления и т.п./.

Направление, развиваемое в работах Глушкова ЪЛ* С25'2, Малиновского Б.Н., Боюна В.П. I «, , Самофалова К.Г.,^

Луцкого » См олова В.БФ Г^з, , занимает промежуточное положение по сравнению с двумя предыдущими и предусматривает требование специализации не на конфетные функции, а ориентацию на достаточно большой, хотя и ограниченный класс алгоритмов, т.е. создание алгоритмически-ориентированных или проблемно-ориентированных ВС /ПОВС/.

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

Теоретические исследования и практические разработки пер- 4 спективных ЭВМ нашли широкое отражение в работах, проводимых на протяжении ряда лет в Институте кибернетики имени В.МгГлушкова АН УССР под руководством академика В.М.Глушкова и его учеников, и поставили ряд проблем, требующих дальнейшего развития и исследования«

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

В данной диссертационной работе рассматривается этап системного проектирования ПОВС, на котором закладывается идеология разработки структуры аппаратного и программного обеспечения, осуществляется разработка принципов организации вычислений в ПОВС. V

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

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

В работе [М43 определены современные тенденции в проектировании программного обеспечения и аппаратуры перспективных ВС -это языки проектирования с абстрактными типами данных, средствами описания параллелизма процессов, недетерминизма, графического представления, а также документирования и верификации проекта; кроме того анализируются фазы разработки: анализ проблемы, специ- 0 фикация, проектирование алгоритма и реализация*

В работах ¥2, 1Ьг2 рассматриваются различные аспекты автоматизации разработки специализированных вычислительных структур и методы их решения*

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

Стремительными темпами развиваются методы и технологии разработки программных компонентов: методы Джексона, Варнера-Орра, Гарднера 43, </&*, % метод нисходящего проектирования Вирта

- 9 метод мультимодульного программирования ¿~згЗ , формализованных технических заданий ♦ на основе кроссовых технологических средств С14, Лез , Л - технология £19] • В основе этих методов лежит структуризация данных, специализиро- г ванный язык проектирования, графическое представление схемы управления, и т.д. Недостатком многих методов является отсутствие проверки логической правильности проекта*

Объектно-ориентированная методология ^хк J отражает современные тенденции в проектировании и заключается в структурном подходе и объединении определенных структур'данных и управляющих процедур в виде абстрактных диседетных модулей-объектов в некотором формальном языке, что позволяет проектировщику мыслить в терминах выделенных объектов и отношений«

Развитие языков проектирования на основе объектно-ориентированной методологии и их описательные возможности в значительной степени определяют архитектуру перспективных ПОВС, т.к. именно в языках материализуются новые принципы организации вычислений* Языки проектирования в этом смысле навязывают определенную, наиболее адекватную дисциплину проектирования. к

В настоящее время существуют необходимые предпосылки для обобщения и развития комплексной методики разработки ПОВС на основе современных тенденций в развитии формальных языков программирования и цроектирования ъо, згу -гъе, <£43.:

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

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

Для достижения указанной цели в диссертационной работе решаются следующие задачи:

- разработка основных принципов объектно-ориентированной методологии /00М/ проектирования компонент ПОВС и языка формализованных спецификаций;

- разработка вычислительной структуры ПОВС и технологической системы, поддерживающих и отображающих принципы ОС84;

- применение полученных теоретических и практических ре- * зультатов при разработке и реализации системы генерации моделирующих программных комплексов /МПК/Э проблемно-ориентированных языков программирования и системы управляющих компонент для цифровых вычислительных комплексов /ЦВК/ "Эталон11, "Экспан", предназначенных для экспресс-анализа данных натурного эксперимента, и процессора реального времени макроконвейерной ЭВМ /ПРВ МВК/ ЕС-.2701.03, предназначенного для сложных научно-технических задач, сводящихся к решению различных систем уравнений;

- разработка мультипроцессорной структуры ПРВ МВК в соответствии с требованиями принципов 00М и эффективного функционирования компонент математического обеспечения /МО/,

Методы выполнения исследования» Исследования осуществлялись на основе аппарата теории множеств, общей теории систем; теории графов, теории грамматик формальных языков, а также имитационного программного моделирования и аппарата статистического анализа*

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

В результате проведенного исследования:

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

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

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

В рамках разработанных средств предложены: методы генерации МПК, метод спецификации параллельных структур обрабатывающих и управляющих компонент на основе понятий объектов;

- на основе анализа задач векторной и матричной алгебры разработаны проблемно-ориентированные языки: ассемблер А&м-Р, язык параллельного программирования роЯ-г-р для прв МВК, а также мини-ФОРТРАН для ДВК "Эталон", "Экспан";

- разработаны принципы организации вычислительных процессов на основе 00М для ПРВ МВК ЕС-2701.03, а также требования к структуре аппаратной системы управления.

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

Практическая ценность. Работа является составной частью

НИ разработки перспективных ЭВМ, выполняемых в НТК "Институт кибернетики им. В.М.Глушкова" АН УССР по постановлению ГКНТ СМ СССР К> 472/276 от 14.09.1979 г. /шифр темы 0.80.14.Ц "Разработать

- 12 опытный образец маедоконвейерной ЭВМ для ЕС Ряд-Зи/, а также хоздоговоров № 338-83 "Разработка вычислительных блоков и математического обеспечения для специализированного мультипроцессора", 16 404-240/1732-75 "Бортовая автоматизированная система о<^Т работки экспериментальных данных" /шифр "Экспан"/, № 501 "Разработка проблемно-ориентированной ЭВМ "Эталон"";

Практическими результатами работы являются:

I/ разработка и внедрение технологической системы проектирования и отладки аппаратного и программного обеспечения МОДЕМ-2 на оснбве принципов 00М для ПОВС;

2/ реализация системы ГЕНМОД, с помощью которой разработаны различные версии МПК для ЦВК "Эталон", "Экспан", ПРВ МВК и 1 осуществлена оптимизация структуры и системы команд соответствующих ПОВС, а также разработано программное обеспечение общим объемом свыше 50 тыс* операторов ассемблера;

3/ реализация проблемно-ориентированных компиляторов ¿¿лл-р, роКТ-Ъ конвейерного типа для ПРВ МВК и мини-ФОРТРАНа для ЦВК "Эталон", "Экспан";

4/ разработка проекта трехуровневой системы управляющихп компонент и управляющей структуры ПРВ МВК ЕС-2701.03.

Реализация результатов работы» Результаты диссертационной работы использованы в Институте кибернетики им. В.М.Глушкова АН УССР и СКВ ММС при разработке ПРВ МВК ЕС-2701.03 и ЦВК «Эталон", "Экспан" и внедрены на предприятиях страны ВШШОФИ /что подтверждено соответствующими актами/. Технологическая система МОДЕМ-2 передана в опытную эксплуатацию в две организации страны.

Разработанные автором программные системы и требования к структурным компонентам ПОВС вошли в отчеты НИР, ОКР и в комплект МО и технической документации ЦВК "Экспан" и "Эталон", выпускаемый серийно Минским опытным заводом "Эталон" и ПРВ МВК

0-2701,03, планируемый к выпуску на Пензенском заводе ВЭМ.

Общий экономический эффект от внедрения результатов диссертационной работы составляет 318,3 тыс.руб.

Апробация результатов работы. Материалы диссертационной ра-г боты обсуждались и докладывались на одной Всесоюзной конференции /Одесса, 1984 г./, одной Всесоюзной школе-семинар /Львов,1983г./, одной республиканской научно-технической конференции /Киев, 1982г./, трех всесоюзных школах молодых ученых /Львов, 1979, Киев, 1982, 1984 гг./, на двух республиканских школах-симпозиумах /Славско, 1982 г., Ворохта, 1984 г./, четьфех конференциях молодых ученых Западного научного центра /Львов, 1976-1979 гг./, Республиканских семинарах по проблеме "Кибернетика" /Львов, Киев/ 1979-1984 гг./.

Публикации. По теме диссертационной работы автором опубликовано 8 статей Н4, нб, нъ ивЦ из них 2 в соавторстве, а также подготовлены разделы отчетов НИР, ОКР и технической документации ПОВС, в разработке которых автор принимал непосредственное участие.

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

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

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

Предложена иерархическая мультимодульная вычислительная структура /МВС/ и программный аппарат, поддерживающий и отображающий принципы ООД, что позволяет осуществить эффективное и надежное функционирование средств разработки ПОВС. Комплекс * средств разработки, включающий системы генерации, моделирования, отладки, анализа, компиляторы проблемно-ориентированных языков программирования, управляющие компоненты вычислительных процессов, объединен в технологическую систему разработки аппаратного и программного обеспечения МОДБЫ-2 и использовался при разработке ЦВК "Эталон", "Экспан" и ПРВ МВК ЕС-2701.03.

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

С помощью объектно-ориентированного языка спецификаций осуществлена формальная спецификация типовой структуры Ш1КФ На ос

- 15 нове данной структуры реализованы различные версии МПК для ПОВС "Эталон", "Экспан" и ПРВ, что позволило оптимизировать общую архитектуру и системы команд соответствующих ПОВС и разработать программное обеспечение общим объемом свыше 30 тыс« операторов« у

На основе анализа задач векторной и матричной алгебры разработаны ассемблер л^м -р и проблемно-ориентированный язык параллельного программирования яокР-р для ПРВ, а также мини-ФОРТРАН для ЦВК "Эталон" и "Экспан"« Осуществлена формализованная спецификация и реализованы соответствующие компиляторы конвейерного типа, которые вошли в комплект программного обеспечения ПРВ МВК ЕС-2701.03 и ЦВК "Эталон". В компиляторах реализованы различные виды оптимизации, что обеспечило их высокую эффек- ^ тивность применительно к задачам обработки информации в реальном времени« Для компилятора яоят-р разработан алгоритм трансформации последовательной программы в конвейерные схемы вычислений на уровне команд ПРВ»

Третья глава посвящена принципам и методам разработки управляющих компонент организации вычислительных процессов в ПОВС. Дано определение модели иерархической структуры системы управляющих компонент на основе понятий процессов и примитивов в рамках объектно-ориентированной методологии«

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

Осуществлен анализ выбора критериев планирования вычисли- * тельных процессов в ПРВ исходя из требования минимизации времени ответной реакции системы на запрос« Обоснована приоритетная

- 16 дисциплина обслуживания и метод свертки/развертки проблемных процессов для исключения блокировок.

На МПК МОДЕЛЬ-2 проведено программное моделирование решения задач систем линейных алгебраических уравнений методом про--? стой итерации и инкрецентным методом, и показан рост производительности ПРВ, близкий к линейному с ростом числа арифметических процессоров от I до 13,

В заключении изложены основные теоретические и практические результаты, полученные автором*

В Приложении I дано описание исследуемых классов задач и структура компонентов организации вычислительных процессов в ПОВС, в разработке которых автор принимал непосредственное * участие.

В Приложении П дано описание языка и принципов функционирования разработанной автором системы генерации ГЕНМОД, анали-руются проблемы, возникающие при преобразовании языковых средств методом конверсии. Дано формальное описание разработанных автором проблемно-ориентированных языков программирования -Р и ^Я^-Р, рассмотрены методы функционирования соответству-гощих компиляторов, приводится алгоритм преобразования последовательности конструкций языка ярят^р в конвейерные схемы вычислений на уровне команд ПРВ,

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

Заключение диссертации по теме «Другие cпециальности», Смольников, Владимир Александрович

- 137 -Выводы

В рамках объектно-ориентированной методологии предложен метод построения иерархической системы УК на основе формальной моде-* ли /3.1/-/3.6/ и принципа спецификаций /п. 1.3/, что позволяет адекватно реализовать проектные решения, отобразить систему УК в г структуре ПОВС, осуществить динамическую генерацию системы УК для класса задач.

С помощью предложенного языка спецификаций разработан проект иерархической системы УК конвейерного типа для ПРВ МВК ЕС-2701.03 /пп. 2.2, 2*3/ на основе критериев минимального времени отработки УК по запросу.

Предложена структура ПРВ МВК, отображающая объектно-ориентированную методологию и удовлетворяющая эффективному функционированию обрабатывающих и управляющих компонент /п. 2*4/. Обоснована приоритетная дисциплина планирования /п. 2.5/ и метод свертки/развертки вычислительных процессов /п. 1.4/.

В результате имитационного моделирования показан линейный рост производительности ПРВ МВК с ростом числа АЛ на задачах СЛАУ * методами простой итерации и инкрементным методом /п. 2.6/.

- 138 -ЗАКЛЮЧЕНИЕ

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

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

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

3« Реализована технологическая система проектирования аппаратного и программного обеспечения МОДЕМ-2 для ПОВС, которая поддерживает основные принципы объектно-ориентированной методологии и вклю-* чает в себя системы генерации, проблемно-ориентированные компиляторы, системы моделирования, отладки и анализа*

4. На основе анализа заданного класса задач и принципов объектно-ориентированной методологии разработаны проблемно-ориентированные языки: ассемблер азм-р и язык параллельного программирования PORT- р для ПРВ МВК EC-270I.03, а также мини-ФОРТРАН для ЦВК "Эталон" и "Экспан". Реализованы соответствующие компиляторы, функционирующие в конвейерном режиме в ПОВС. Для компилятора FORT-P реализован алгоритм преобразования последовательной программы в ^ конвейерные схемы вычислений*

5. На основе принципов объектно-ориентированной методологии разработан проект системы управляющих компонент для ПРВ МВК ЕС-2701.03 и требования к структуре аппаратной системы управления вычислительными процессами.

6. С помощью системы МОДЕМ-2 реализованы различные версии сис-* тем моделирования для ЦВК "Эталон", "Экспан", ПРВ МВК ЕС~2701.03. Данные системы моделирования позволили осуществить оптимизацию структуры и системы команд для соответствующих ПОВС с позиции максимальной эффективности вычислений, надежности и адекватности решаемому классу задач, а также разработать общее и системное программное обеспечение объемом более 50 тыс* операторов ассемблера на ранних этапах разработки аппаратуры.

Список литературы диссертационного исследования кандидат технических наук Смольников, Владимир Александрович, 1985 год

1. Материалы ХХУ1 съезда КПСС, - м., "Политиздат", 1981.

2. Бусленко Н.П. Моделирование сложных систем, М., "Наука", 1978.

3. Бутьмо И.Д., Котляров В.П., Самочадин А.В. Генератор моделирующих программ для специализированных микро-ЭВМ. в кн. "Типизация АСУ", тез.докл.респ.научно-техн.совещания, Таллин, 1978, с. 17-19.

4. Вегнер П. Программирование на языке АДА, м., "Мир", 1983, -239 с. "

5. Вельбицкий И.В. Технология программирования, К., "Техн!ка", 1984, - 279 с.

6. Вычислительная техника за рубежом в 1980 году, под ред.

7. B.С.Бурцева, М., ИТМиВТ, 1981, 277 с.

8. Герасимов И.В. Кросс система разработки программного обеспечения микро-ЭВМ, м., "Приборы и системы управления", 1982, № 7, с. 10-13.

9. Глушков В.М^ Введение в АСУ, к., "Техн!ка", 1972, - 310 с.

10. Глушков В.М. Основы безбумажной информатики, М., "Наука", 0 1982, 552 с.

11. Глушков В.М. Проблемная ориентация и другие пути повышения эффективности ЭВМ, Вестник АН СССР, 1975, Ш 3, с. 18-24.

12. Глушков В.М., Вельбицкий И.В. Технология программирования и проблемы и автоматизации, К., УСиМ, 1976, № б, с. 75-92«

13. Глушков В.М., Капитонова Ю.В., Летичевский A.A. Автоматизация проектирования вычислительных машин, К., "Наукова думка", 1975, 229 с. *

14. Глушков В.М., Капитонова Ю.В., Летичевский A.A. К теории прсн-оптирования схемного и программного оборудования многопроцессорных ЭВМ, К., "Кибернетика", 1978, te 6.

15. Глушков В.М., Капитонова Ю.В., Летичевский A.A. Методика проектирования вычислительных машин четвёртого и следующих поколений, К., "Кибернетика", 1973, ri, с. 3-8.

16. Глушков В.М., Капитонова Ю.В., Летичевский A.A. О построении ^ семейства алгоритмических языков программирования и проектирования многопроцессорных вычислительных систем, К., "Кибернетика", 1981, нг I, с. 1-7. ; ; i

17. Глушков В.М., Капитонова Ю.В., Летичевский A.A. О применении метода формализованных технических гаданий к проектированию программ обработки структур данных, "Программирование",1978, к б, с. 31-43.

18. Глушков В.М., Цейтлин Г.Е., Ющенко ЕЛ. Многоуровневое етрук-турное программирование программ: формализация метода сфера приложений, - К., "Кибернетика", 198I, № 4, с. 42-65.

19. Головач В.И. О концепции параллельных процессов в языках прог~раммирования, К., УСиМ, 1982, № 4, с. 86-92.

20. Головкин Б.А* Параллельные вычислительные системы, М., "Наука", 1980, № 519 с.

21. Головкин Б.А* Параллельная обработка информации, программно* вание, вычислительные методы, вычислительные системы, Известия АН СССР, "Техническая кибернетика", 1979, к» 2, с.Пб-151.

22. Головкин Б.А. Сравнение методов планирования параллельных вычислений в многопроцессорных системах, Изв. АН СССР, "Техническая кибернетика", 1982, № 3, с. 150-162.

23. Гончаренко Ю.В., Нестеренко Б.Б. Асинхронные принципы в параллельных вычислениях, К., йн-т математики АН УССР, 1981, ^ препринт 81-56, 8 с.

24. Горбатенко Д.Д. О макрореализации систем программного моделирования, "Программирование", 1978, № 3, с. 59-63.

25. Горшков С.П., Архангельский 0.Ю», Большаков С.А. Иерархические системы моделирования, 11., Труды МВТУ им .Баумана, 1977, № 260, вып. 3, с. 44-48*

26. Грис Д. Конструирование компиляторов для цифровых вычислительных машин, М., "Мир", 1975, - 544 с.

27. Дал У., Дейкстра Э., Хоор К. Структурное программирование, -М., "Мир", 1975, 247 с.42« Девис У» Операционные системы. Функциональный подход, М., "Мир", 1980, - 436 с.

28. Дейкстра Б. Взаимодействие последовательных процессов. В кн. "Языки программирования", под ред. Женьюн Ф., - М., "Мир", 1972, с. 9-87.

29. Димитриев Ю.К., Хорошевский В.Г. Вычислительные системы из мини ЭВМ, м., "Радио и связь", 1982, - 304 с. 4

30. Зейв П. Определение требований к программному обеспечению, -ТИИЭР, 1980, н> 9, т. 68, с. 46-55 /пер* с англ./.49» Зелкович И., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения, М., "Мир", 1982.

31. Иткин Л.К. Система средств кросс-программирования широкого класса мини и микро-ЭВМ, "Тр. Ин-т электрон.упр.машин", 1981, Ш 87, с. 3-7.

32. Как К. Объектно-ориентированные языки, существенно повышающие эффективность программирования, "Электроника", 1982, 55,23, о. 50-56 /пер. с англ./.

33. Кореков С.В., Поляков А.К. СМОК универсальный макрогенератор семантического типа для разработки языковых конверторов, -"Программирование", 1983, № 3, с. 25-32.

34. Катцан Г. Операционные системы. Прагматический подход, М., "Мир", 1976, - 471 с.55.,Кибиткин В.В. Особенности операционных систем микро-ЭВМ, -К., УСиМ, 1982, № I, с. 31-35.

35. Корниенко Г.И. Основные принципы разработки ЦВК для многоканальной обработки данных натурных испытаний, К., "Кибернетика", 198I, к 6, с. 35-39.

36. Корниенко Г.И. Проблемно-ориентированная цифровая вычислительная машина "Эталон" для систем реального времени, К.,УСиМ, 1979, ш I, с. 104-106.

37. Корниенко Г.И. Структура программного обеспечения цифрового вычислительного комплекса обработки данных натурных испытаний, К., "Электронное моделирование", 1982, ш 3, с. 92-96.

38. Корниенко Г.И., Барсук Д.И. и др. О средствах создания математического обеспечения мшфопроцессорных систем, К., "Кибернетика", 1979, Ш 4, с. 41-46.

39. Королев Л.Н. Методика построения операционных систем, В кн. "Проблемы прикладной математики и механики", М., "Наука",1971, с. I17-128.

40. Королев Л.Н. Структуры ЭВМ и их математическое обеспечение, -М., "Наука", 1978, 352 с.

41. Корячко В.П. Методика автоматизированного проектирования структур специализированных мультимикропроцессорных систем, -В кн. "Высокопроизводительные вычислительные системы", Тбилиси, 1981, ч. I, с. 70-72.

42. Котляров В.П., Самочадин A.B., Торшин В.И. Генерация кросс-систем автоматизации программирования для микро-ЭВМ и микропроцессорных систем. В кн. "Проблемы системотехники и АСУ", Л., 1981, с. 128-134.

43. Котов В.Е. О параллельных языках, К., "Кибернетика", 1980,3, с. 1-12, Ш 4, с. 1-Ю. 63* Кохов В.Е. Теория параллельного программирования. Прикладные аспекты, К., "Кибернетика", 1974, № I, с. 1-16, й 2,с.1-18.

44. Котов В.Е., Париньяки А.С. Асинхронные вычислительные систе- * мы над общей памятью, Ки., "Кибернетика11, 1966, 1е з, с. 6471.

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

46. Криштопа И.В., Мусаев М.И., Перевоачикова О.Л. Проблемноориентированные языки и специализированные системы, К., Об-во "Знание", 1981, 36 с.

47. Кулик М.И. Теория и принципы построения мультипроцессорных * систем на основе итерационных методов с параллельными подпрограммами, автореферат дисс. . докт.техн.наук, К.,

48. Ин-т электродинамики АН УССР, 1976.

49. Курема А., Рауд Р. Технология проектирования микро-ЭВМ в СЕРП, в кн. "Технология программирования микропроцессорной техники", Таллин, "Важгуо", 1982, с. 22-32.

50. Ла,эр П., Шилдс М. О* а^акхно« опед« и фоР™ . анализе свойств параллельных систем. В кн. "Требования и спецификации в разработке программ", М., "Мир", 1984, с.77-105.

51. Лельнук Т.И., Марчук А.Г. ПОЛЯР язык параллельного асинхронного программирования, - "Программирование", 1983, № 4, с. 59-68.

52. Лнпаев В.В., Каганов Ф.А. Система автоматизации технологии разработки комплексов управляющих программ для микропроцессоров и микро-ЭВМ /ТЕМП/, К., УСиМ, 1980, № I, с. 32-36.

53. Лиоков Б., Зиллес С. Методы спецификаций, используемые для абстракции данных, В кн. "Данные в языках программирования", М., "Мир", 1982, с. 91-122.

54. Литвинов В.В. Математическое обеспечение проектирования вычислительных систем и сетей, К., "Техника", 1982, 176 с.

55. Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов, Ы., "Мир", 1979, 654 с.

56. Максиман У., Хорнинг Да., Уортман Д. Генератор компиляторов; -М., "Статистика", 1980, 527 с.

57. Малиновский Б.Н., Боюн В.П., Козлов Л.Г. Алгоритмы решения систем линейных алгебраических уравнений, ориентированные на структурную реализацию, К., УСиМ, 1977, № 5, с. 79-84.

58. Малиновский Б.Н., Боюн В.П., Козлов Л.Г. Вопросы построения высокопроизводительных средств обработки информации, К., * УСиМ, 1976, м> 6, с. 19-22.

59. Малиновский Б.Н., Боюн В.П., Козлов Л.Г. Об одном направлении создания проблемно-ориентированных вычислительных систем. В кн. "Высокопроизводительные вычислительные системы", Тбилиси,1981, ч. I, с. 50-51.. ** •

60. Малиновский Б.Н., Боюн В.П., Козлов Л.Г. Обработка физичеокой информации в реальном времени, К., УСиМ, 1980, № 5, с.1061. Ш.

61. Малиновский Б.Н., Боюн В.П., Козлов Л.Г. Принципы построения- ^ высокопроизводительных проблемно-ориентированных вычислительных комплексов. Тез.докладов IX Всесоюз.совещания по проблемам управления, Москва-Ереван, 1983.

62. Марчук В.А., Нестеренко Б.Б. Итерационные алгоритмы параллельных вычислений, К., Ин-т математики АН УССР, препринт 81-38, 198I, 10 с. *

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

64. Мультипроцессорные вычислительные системы, под ред. Е.А.Хе-тагурова, М., "Энергия", 197I, 320 с.

65. Мультипроцессорные сиотемы и параллельные вычисления, под ред. Ф.Г.Энслоу, М., "Мир", 1976, - 384 с.

66. Мучник М.М. Структурное описание компонент математического 0 обеспечения мини и микро-ЭВМ, к., "Кибернетика", 1981, № 3,с. 61-64.

67. Мэдник С., Донован Дж. Операционные системы, М., "Мир", 1978, 792 с.

68. Мюллер P.M., Джонсон Г.Р. Генераторы ассемблеров и имитаторов для ми1фопроцессоров, ТИИЭР, 1976, 64, Ш 6, с. 108-120 /пер. с англ./.

69. Нариньяни A.C. Теория параллельного программирования. Формаль- * ные модели. К., "Кибернетика", 1974, N2 3, с. I-I6, № 5, с.1-14.

70. Никитин А.И. Общее программное обеспечение систем реального времени, К., "Наукова думка", 1980, 134 с.

71. Операционные системы комплексов ЭЦВМ, к., ИК АН УССР, 1972, 117 с.

72. Отенко В.И. О разработке систем автоматизированного производства щюсс-ассемблеров для микропроцессоров. В кн. "Автоматизация производства пакетов прикладных программ и транслято- ^ ров", тез. докл. II Всесоюз.конф., Таллин, 1983, с. 161-162.

73. Панфилов И.В., Половко A.M. Вычислительные системы. М.,- 149 -"Сов.радио", 1980, 304 с.

74. Пашкеев С.Д. Основы мультипрограммирования для специализированных вычислительных систем, М., "Сов.радио", 1972, 183 с.

75. Пащенко Ф.Ф., Степановская И.А. Организация машинного проектирования вычислительных систем. В кн. "Высокопроизводительные вычислительные системы", Тбилиси, 1981, ч. I, с. 102-104.

76. Поляков А.К., Горбаченко Д.Д. Язык моделирования МПЛ/1. В кн. "Автоматизация проектирования ЭВМ", к., 1979, с. I13-119.

77. ЮЗ. Поляков А.К., Ляшко 11.11. Языки моделирования структур вычислительных систем, К., "Электронное моделирование", 1981, № б, с. 30-36. „

78. Поспелов Д.А. Введение в теорию вычислительных систем, Ы., "Сов.радио", 1972, 280 с.

79. Пранявичус Г., Дземидене Д. Применение Е-сетей для формализованного описания и моделирования вычислительных систем. В кн. "Стат.проблемы управления", Вильнюс, 1980, № 48, с. 6586.

80. Пратт Т. Языки программирования: разработка и реализация,1. М., "Мир", 1979, 574 с. *

81. Райе Дж. Матричные вычисления и математическое обеспечение, -М., "Мир", 1984, 264 с.

82. Рейзин А.Л., Смольников В.А., Забекин В.Ц. Об одной реализации ФОРТРАНа для мини-ЭВМ. в кн. "Анализ и программное обеспечение вычислительных машин", препринт 78-7, К., ИК АН УССР,1978, с. 36-43.

83. Ростокин Б.И. Система генерации моделей на базе формализованного описания объектов, "Тр. Ин-т электродупр.машин", 1981,90, с. 74-79. л

84. ПО. Самофалов К.Г., Луцкий Г.М. Структуры и организация функционирования ЭВМ и систем, К., "Вища школа", 1978, 391 с.

85. ИЗ. Смолов В.Б., Пузанков Д.В., Петров Т.А. Применение современной ми!фопроцессорной техники в проблемно-ориентированных системах, К., "Электронное моделирование", 1981, te 4, с. 45-52.

86. Смольников В.А», Моделирование проблемно-ориентированных мультипроцессорных систем, К., "Механизация и автоматиза- * ция управления", 1985, № I, с. 37-39.

87. Смольников В.А. О генерации программных 1фоссовых средств моделирования вычислительных систем, К., УСиМ, 1982, № 5, с. 63-65.

88. Смольников В.А. О реализации транслятора для вычислительных структур с конвейерной обработкой информации. В кн. "Распараллеливание обработки информации", Львов, ФМИ Ail УССР, 1983, ч. I, с. I09-II0.

89. Смольников В.А. Принципы разработки управляющих компонентов проблемно-ориентированных мультимифопроцессорных систем.

90. В кн. "Проектирование и применение миедопроцессорных систем", К., Ин-т кибернетики им. В.М.Глушкова АН УССР, 1984, с. 4046.

91. Смольников В.А. Программный инструментарий для отладки аппаратного и программного обеспечения однородных мультипроцессорных систем, К., УСиМ, 1984, Ш 5, с. 49-52.

92. Цикритзис Д., Беристайн Ф. Операционные системы, М., "Мир", 1977, 336 с. *

93. Черемисинов Д.И. Система для генерации программных эмуляторов, "Вычислительная техника в машиностроении", Минск, 1930, Je 3, с. 118—127.

94. Черемисинов Д.И. Система для программирования блоков генерации команд, "Программирование", 1982, ш 3, с. 44-51.

95. Шахбазян К.В., Тушкина Т.А. Обзор методов составления расписаний для многопроцессорных систем, Зап.науч.семинар

96. ЛОМИ АН СССР, Ленинград, 1975, т. 54, с. 229-258. *

97. Шо М. Влияние идей абстракции на современные языки программирования, ТИИЭР, 1980, 68, № 9, с. 99-112 /пер. с англ./.

98. M.Z. ХъА+Ъиь+Согъ- <&*-t РхосгцеЪ. AjitcifccclzW С isp£) TioUUo^ ci^ol Lte Af>f>C<c*it0k,r

99. ZEE£ Тгсиш. Cotofui. \ teii, 30, л*/, />. 2A-32.

100. F.f. tbCif Ptojttnmti. Tt«^ Mttitjeof PtoUuttio^ рье^глтггч'кд , "TßM ¿jjd- ^ "/ M*2,1., hJzl, />. S-f-^3. л

101. X44. Ь^о^ M. P*.o4/>tcfa of ne»J iooU fob Aoftviit dtvc-lob^t^l, "Uli Kohl Co»Lj,u1.Jt£.\lMi,'t*S,J>.<t06-i2<>

102. Самим* Paveó Я.H. ¿CmxuUtco^ tooUtom-jiwfct19tl., 241 л* I. />•

103. Cotn/>u+t*j SuivLy , M??, 9, te* «« *

104. Pataâteï jôtoôeéôozà and Jb<ioctáó¿^.147. C^iacé /Yv ) W-Ъ.4uC¿<¿ tnodtlK- totnfi«ft<L "ЕгссНеи.Ъ*^1. Jdii, 29, л/.- </g, />.

105. Davie A.M. T<h¿. ЪиС^ of * *.f>f>ttc*-tion- ot.Lth.-ttd L€fHtUmeM,/4 ¿a/yuye*, "-/д£2, -/$, л/.-S, f>. 2Í-2S. *149. Üettntty A J. TtLLtd GtKLtatcOK Cetn/u-tct "ACH Ссньри+Сид Autvtyo", {$U tZt *t:A,

106. Ъскп.Сй ßv Va*. Ко-Ъп. Е.С., Ръуьа mmtuyfit, tnuit¿f>bogt.«tnm.iK.J to tn.j>uí&t¿on. , -"Соитии. AC M" 49U, л/: S, p. МЗ-ГЫ

107. Dîj'kàib Й B.W. fruAbded СеттяпЖ , Tie*.exh-d Fotmaí of fltojbatnm<г,- ^

108. Commua. ACM", /¿fÇ <fl, />. A**-4SI.

109. DifMb* E-W. Ucwtt-biZbL Qbdùi-tUj 0f ¿y«*иШ рысий*, I^foiM.* f {SU, Л/.-2, /. «S

110. DijMb* B.W. T4ui ¿ituefate of íkt TNE-in*ttí-pM^boimmt-'H-J 4^4ÍLtnt- "Commun. ACM, /5 ii t л/г Ç ¡>. 341- 3hl.

111. ЕбЫ*, 6., /Z.B., Uiftíft Й.С. Mec/t&uf,

112. Mcci.4Wce.mcu.-t Cotrt^ici, PCWÍ.^ P^occcdC^^^

113. AFI PS, SOCZ t v.40, </Ш, f>. 72S-m. *

114. Gibttu R.j ßotveb W.P., Яоиьк*^ H. PtoùbduztAа^еЬ Cen-c,utltk.<L^ : <k S-fud^ c*. Pteof, VecY. Tlefti Ccmfu-t. \ Yd82, <f31y J>. 132-163.

115. G-oicL¿bc,'k mi-fbocí'ü ¿f-ог. e. di-ic^h^ Zßtnfu-fe'L m ms , „ tedt v. *, M bigott bittet, /3<ГЗ, />. ГЗ- él

116. Gb&Juottn. k.M. Pt'íjo-Lm.ancc Pz¿ o¿i ticen*, —

117. Ekj. : Actv. Л/.У. e.ct. 191}, 3в3~-4ê3.

118. A 6. /I C,Ohi-/bc* ¿u^oíb £\jo ¿^Usts'L'coKcZc^

119. Аг-f* Ih^f9Xtn.\ 1, a/: à, ja. 130-/33.19.1¿aK<í€u> P.&. Ofstbctícu.^ 4^¿-fttn. jstcu. <Uj3-Cti. —

120. EK.jímoo¿¿ CUffo, PbtbíCct- TfùCC , MIZ, ôSSf. 160.^A<J€*f p. 3. Г<кс Kuc¿eu<s

121. Лд^Нъ,- "Commua. ACM.\ 1в1о, 13, Л/: 4,f>. 2М-2Ы. 161 P. ö . TivC tnmiKJ -¿ätcfU^C- Conect-ttH-é

122. PASCAL, "JEEß Тми*. Avsflv^KL \1. V; 2, p. 143 2 04-.

123. R.A.R. MonC-tot.* : ЙЙ, ^e-toA'y ^¿letn. ¿Huctu^tu.^ ¿e «.¿г.f>t f "Commua. ACM*, 13?4, , /V: Í0, p. E51.

124. Hokte. C.A.H. To wwet, ^ tkzo^ pmiiti

125. N. Y. , Acaat. , Jo. 220 -23o.

126. M. I. Fuiutc dzistt&ftnei^é LK. oic^h^ m e //te? d<?¿>cp^úé,<i г "¿lojt6w<-не. ', MecUUt я -<í&cto¿ г setz, p. fr-SS.

127. Л IHIAC-i} : ajojolùcb' tCob^ jäbogtcktmrLi*^ / "i SEE TtQKó. Cotnjbu/. \ /Sé/, 6-Y?, A/:S, jb. Ш-??0.

128. A.A., Mult&ty (P.P. /¡^ Си, VC4 h faites cftí^^t'ce.hnf-í) Ajb Q.<U^i'totûiou. :ax,of ptckcJ-Lce. , trx^jbu/et * S9Í2, л/гp. 6~o-ô~3,

129. Yll.lcttov 8.И. The* ofeti^ru Pkt. Vznui fyeto.

130. Лул+Ctn. t " Сот. тчи. АСм\ /9 72 , /¿Г л/: 5, p. Wt- /¿X172. Ludtwi^ £ S P R E S О 0( jet* ptocetázontbo-t Aoji täte. lï^ctaiccn. t "¿etf. ffo/cç

131. Cehzfuf. " f SS2y р. Hb-i.

132. H., D.L. T<h¿ МЕЯГ OfiiioéCy

133. AjjtHtn. ; "r-ke btil A^ií. Ttck. U. " , /91$t v. 51, V- p, 2049- ZO EG.

134. A/oe. A/M Afacto £- ^t ¿U^tekiCou~ Q^ Pbtciêzi A^Htn^f "IEEE Tt4k4. ¿otnfui. * <Sâ 7- сl-zz , A/-' i, p. W- ?& 7.

135. OwCcftC Sy ($ttz4 D. An. й^лйб'с Jatocffot, , 7V " Acíc^1..sj-oi.h4-," f </97-6, A/: jb.3í$-34o.

136. Rctbti-Al' V-M.J T^otn-páo^ к. UA/ZX tc-'trve.

137. JiCLtcbj t ' C-ernmu*. AdM", Wits JÏ, Л/?*,p. 36S- 3 ts.177. iba.'ltrl.afzt'ah^ £v ва-кпоп. r.l. apto^botMtn. fot. mo<¿¿C¿ vf <t€.4tb€rétV4.K>i ¿^á+ttñ.*,$¿mulo,íto^ ïZtijbb, Л/: J, j>. 33- iOi.

138. Sc.'k.L^olit^ H. J9S3 T^fknoJo^ fctzmi • Ао^Ыь^ ~ "е^ь+ъои. 2>a. ", U, A/id, />. 244-&6Z.179. <Sc,fomidt H. SIG M V3 ¿c'n. $ Cm^íbifL-Gentto,hx. ¿j- ¿ii Triutíc ptvot&iá&'i. - Âg ¿ttfiiL j - 'An.je.bJ. i^otfri.,''

139. S^aw M., Wulf W. A., ¿Vh-olott. Я.1. 4¿<itto,cft'ott. Gth>(¿ Vt'Ufcc.ckáce^ с к- /Hp^atd; : VlftHLiy ab.o¿ A ptUf^tu^ IittdécoH, y — "Commun. ACM *, S3??, ¿O, л* <fy Д 5S2-M4.

140. Sn-oWoLoh- J?. A. Ut^zlo^m^^é-á ¿W Êutojbtoth. Ao-f-btittb étcfanoJo^ / "'s1. MaSKsfiíCb'á.CQd , /Sfô,

141. Jferet^á H. (?, СРЭ л /^t-Ze а* - -Ce/ce. Слк^ЦА^С. fox, -f-ki lll£AC-ÏÏ j- "¿1ФР1АА/ Notibe.á\ 43?^ iOy A/' Zy p. tl-U.

142. Siboirx. ft., 14c, ¿Cm. /V. A **tvJ Ьйmmm.c-f'UoUoto^y fet ¿ок.^ ¿cV-га/ doftMzte. sá^úfam^ " 2ß M (/. Rtà . ívk^ " 2S, ""-i, Jo. 50,-es.

143. EK/>vl. S9W, í, A/.-/, />. I89yi/úbik, А/. 7VU o{ * PASCAL

144. SofivJbtz. Pt*c-{. Ех/>ъъ", 49 H, i,p, Z09~ 533.

145. W- A. C¿>»vf¿¿e,t4 &И.0/ Сепи/эи/съ.

146. Задачи экспресс-анализа и расчета статистических характеристик в РМВ выдвигают жесткие ограничения по времени-обработки , представлению информации и ответной реакции.

147. Такая задача решена разработкой специального устройства управления дисплеем и программно-аппаратной реализацией процесса визуализации на мультипрограммной ОС ЦБК.

148. ЗАДАЧИ И ОСОБЕННОСТИ АРХИТЕКТУРЫ ПРВ МВД ЕС-2701.03

149. Для ПРВ МВК ЕС-2701.03 автором разработана следующая структура МО: