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

  • Кулагин, Владимир Петрович
  • кандидат технических науккандидат технических наук
  • 1984, Пенза
  • Специальность ВАК РФ00.00.00
  • Количество страниц 325
Кулагин, Владимир Петрович. Методы и средства структурного проектирования специализированных процессоров и контроллеров подсистем внешних запоминающих устройств прямого доступа: дис. кандидат технических наук: 00.00.00 - Другие cпециальности. Пенза. 1984. 325 с.

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

Введение

1. Принципы организации и методы проектирования контроллеров и специализированных процессоров подсистем ВЗУ ЦЦ

1.1. Структура подсистем ВЗУ ЦЦ и методы повышения её эффективности

1.2. Структурная реализация некоторых методов повышения эффективности подсистем ВЗУ ГЩ

1.3. Особенности подсистем управления ВЗУ ПД. Анализ методов проектирования контроллеров и спецпроцессоров подсистем ВЗУ ЦЦ

Рекомендованный список диссертаций по специальности «Другие cпециальности», 00.00.00 шифр ВАК

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

Современные ЭВМ общего назначения и вычислительные системы (ВС) характеризуются высоким отношением производительности к стоимости, простотой адаптации к сфере применения и высокой се-рийнопригодностью. Эффективным средством обеспечения указанных свойств является применение в этих ЭВМ и ВС развитой системы ввода-вывода (СВВ). Эффективная работа СВВ в значительной мере определяет потребительские свойства и стоимость ЭВМ. Доля стоимости СВВ от общей стоимости ЭВМ в настоящее время составляет более 75$ для универсальных ЭВМ и более 80$ для мини- и микро-ЭВМ [59] . Кроме того, по мере совершенствования структуры ЭВМ и ВС к СВВ предъявляют все более высокие требования пропускной способности, надежности, гибкости и живучести в работе. Задача повышения производительности СВВ ЭВМ и ВС во многом определяется дальнейшим повышением эффективности работы накопителей внешних запоминающих устройств прямого доступа (ВЗУ ЦЦ) при обращении к ним со стороны центрального процессора (ЦП) через соответствующие каналы и устройства управления.

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

Специализированные процессоры и контроллеры подсистем ВЗУ ПД с расширенными функциями представляют собой иерархию трех уровней [3 , 5 , 59 , 80]:микропрограммный уровень, традиционный машинный уровень, уровень операционной системы. На основе данных уровней определяются функции спецпроцессоров и контроллеров и их разделение на множества, реализуемые аппаратным и программным путем; определяется состав устройств и способы их взаимодействия. Данные задачи решаются в процессе проектирования указанных устройств на функциональном и алгоритмическом уровнях [623.

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

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

Целью работы является разработка методов и средств структурного проектирования специализированных процессоров и контроллеров с расширенными функциями подсистем ВЗУ ПД на архитектурном и микропрограммном уровнях.

Указанная цель достигается решением следующих задач:

1) исследование структур и определение подхода к проектированию контроллеров и спецпроцессоров подсистем ВЗУ ЦЦ;

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

3) разработка средств структурного проектирования специализированных процессоров и контроллеров на архитектурном и микропрограммном уровнях;

4) практическая проверка возможности применения результатов исследования для проектирования указанных устройств подсистем ВЗУ ПД.

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

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

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

1. На основе теории сетей Петри разработаны элементы формального аппарата исследования устройств управления ВЗУ ЦЦ на архитектурном уровне, которые заключаются в расширении средств описания и анализа иерархических систем, в разработке методов декомпозиции систем и их оптимизации на различных уровнях представления;

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

3. Разработаны программные средства, позволяющие проектировать многоуровневые подсистемы управления ВЗУ ПД на архитектурном и микропрограммном уровнях. В рамках разработанных средств предложены: подход к реализации макро- и микроархитектуры многоуровневых подсистем; спектр интерфейсов пользователя, основанных на различном представлении данных и позволяющих обеспечить возможность выбора наиболее удобного способа доступа к системе; реализация механизма отображения моделей смежных уровней и методы манипулирования соответствующими данными;

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

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

Практическая ценность. Работа является составной частью программы проводимых на кафедре вычислительной техники ППИ научно-исследовательских работ по исследованию и разработке структур контура управления и средств файловой обработки в подсистемах ВЗУ ПД, которые входят в план важнейших НИР Минвуза СССР в области вычислительной техники на 1981-85 г.г. (приказ JS 1238 от 29.12.81, тема 2.2.3 "Разработка программ для моделирования и автоматизации проектирования ЭВМ"), важнейших НИР Минвуза РСФСР по проблеме САПР (приказ № 31 от 15.02.83). Данная работа является также частью научно-исследовательских работ "Разработка методики обучения автоматизированному проектированию архитектуры вычислительных комплексов и сетей с использованием дисплейных станций", которая определяется Координационным планом Минвуза РСФСР "Исследование эффективного комплексного применения технических средств обучения в условиях проблеммного обучения".

Практическими результатами работы являются: I) разработка и внедрение спецпроцессоров ВЗУ оптимизации доступа к накопителям на магнитных дисках; 2) разработка и внедрение специализированной системы моделирования, кодирования и документирования микропрограммного обеспечения устройств управления ВЗУ; проведено обучение операторов ЭВМ по использованию данной системы, внедрение которой ускорило процесс проектирования интеллектуальных контроллеров и оформления документации в соответствии с требованиями ЕС1Щ; 3) разработка комплекса программ для исследования управляющих устройств подсистем ВЗУ ЦЦ на архитектурном уровне, который сдан в ФАП НИВЦ МГУ; 4) на основе предложенных программных средств разработана структура специализированного процессора реляционной базы данных, которая положена в основу технического проекта устройства управления файловой обработкой в подсис-. темах ввода-вывода вычислительных комплексов.

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

Апробация работы. Материалы диссертационной работы докладывались и обсуждались на:

- Всесоюзной конференции "Автоматизация проектных и конструкторских работ" (Москва, 1979 г.);

- Всесоюзной научно-технической конференпии "Автоматизапия научных исследований, эргономического проектирования и испытаний сложных человеко-машинных систем" (Ленинград, 1983 г.);

- Всесоюзной научно-технической конференпии "Развитие теории и техники хранения информапии" (Пенза, 1983 г.);

- Всесоюзной научно-технической конференпии "Проблемы теоретической кибернетики" (Саратов, 1983 г.);

- Всесоюзной научно-технической конференпии "Автоматизапия проектирования ЭВМ и систем" (Ереван, 1983 г.);

- Ш Всесоюзном симпозиуме "Вероятностные автоматы и их приложения" (Казань, 1983 г.);

- Всесоюзном семинаре "Оптимизация сложных систем" (Винница, 1983 г.);

- Всесоюзной конференции молодых ученых и специалистов приборостроительной промышленности (Москва, 1983 г.);

- семинаре "Автоматизация проектирования в радиоэлектронике и вычислительной технике" (Москва, ЩЩТП, 1984 г.);

- ХП Всесоюзном совещании-семинаре "Автоматизация проектирования микропроцессоров, микропроцессорных систем и СБИС" (Крымская область, 1984 г.);

- научно-технических конференциях профессорско-преподавательского состава ППИ в 1977-83 гг.

Публикации. По результатам выполненных исследований опубликовано 17 печатных работ, написаны разделы в четырех отчетах по НИР.

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

На защиту выносятся следующие научные результаты:

1. методика разработки контроллеров и спецпроцессоров подсистем ВЗУ ПД на алгоритмическом уровне, основанная на структурном подходе к проектированию, математическим аппаратом которой слушгг теория иерархических сетей Петри.

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

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

4. Средства структурного проектирования контроллеров и спецпроцессоров на архитектурном и микропрограммном уровнях.

Похожие диссертационные работы по специальности «Другие cпециальности», 00.00.00 шифр ВАК

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

4.5. Основные выводы по главе

I. На основе предложенной методики проектирования алгоритмов и структур специализированных процессоров и контроллеров ввода-вывода разработана структурная схема спецпроцессора РБД. В процессе проектирования спецпроцессора показано, что структурный подход, основанный на использовании иерархических сетей Петри, позволяет разрабатывать аппаратное и программное обеспечение сложных вычислительных систем управления реляционными базами данных с учетом иерархии и взаимосвязи уровней представления системы. Формализация анализируемой структуры дает возможность легкого изменения архитектуры, организации автоматизированного проектирования ВС. Результаты, полученные на примере проектирования спецпроцессора реляционной базы данных, свидетельствуют о пригодности разработанных средств для решения практических задач по разработке контроллеров и спецпроцессоров подсистем ВЗУ ПД.

2. Основными преимуществами предложенной методики и средств проектирования являются:

- использование простого и наглядного аппарата описания взаимодействующих процессов в разрабатываемых структурах устройств управления подсистем ВЗУ ПД;

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

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

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

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

ЗАКЛШЕНИЕ

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

2. Проведен анализ подсистем ВЗУ ПД и отмечен ряд особенностей, таких, как иерархичность, параллелизм обработки данных, наличие синхронных и асинхронных взаимодействий, недетерминированность. На основе анализа сделан вывод о целесообразности использования аппарата иерархических сетей Петри.

3. На основе аппарата иерархических сетей Петри в рамках структурного подхода разработана методика проектирования спецпроцессоров и контроллеров подсистем ВЗУ ПД на архитектурном уровне, которая включает:

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

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

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

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

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

5. разработаны программные средства структурного проектирования контроллеров и специализированных процессоров подсистем ВЗУ ПД, которые включают: комплекс программ исследования и разработки вычислительных систем на архитектурном уровне, специализированную систему моделирования, кодирования и документирования ДЩ контроллеров и спецпроцессоров подсистем ВЗУ ПД, которая ориентирована на микропрограммный уровень проектирования и располагает средствами исследования микропрограмм устройств, представленных различными уровнями иерархии. В рамках разработанных средств создан спектр интерфейсов пользователя, основанных на различном представлении данных и позволяющих обеспечить возможность выбора наиболее удобного доступа к средствам. Использование предложенных средств позволило: I) в 3-4 раза сократить время, затрачиваемое на поиск и разрешение конфликтных ситуаций, а также на процесс декомпозиции разрабатываемой структуры; 2) уменьшить стоимость верификашщ и документирования одного листа ДШ1 в 3,5 раза.

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

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

1. Анисимов Б.В., Горнец Н.Н. Системы ввода-вывода цифровых вычислительных машин. М.: Машиностроение, 1977.

2. Анишев П.А. Редуцируемость сетей Петри. Программирование, 1982, М, с.36-43.

3. Базен Д. Архитектура подсистем ввода-вывода. ТИИЭР, т.63, №6, 1975, с.47-57.

4. Бунько Е.Б., Юдицкий С.А. Программная реализация сетей Петри в асинхронных устройствах логического управления. Автоматика и телемеханика, 1983, Ш, с.109-119.

5. Бурцев B.C. Принципы построения микропроцессорных вычислительных комплексов "Эльбрус". М.: ИТМ и ВТ АН СССР, 1977, Препринт ЖЕ, 59 с.

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

7. Вашкевич Н.П., Зинкин С.А., Раков Б.М. К анализу информационного обслуживания в системе "процессор ВЗУ". - Вопросы радиоэлектроники, сер.ЭВТ, 1974, вып.12, с.82-91.

8. Башкевич Н.П., Дудкин A.M., Зинкин С.А., Кулагин В.П. Система документированного представления и кодирования диаграмм микропрограммной логики. Вопросы радиоэлектроники, сер.ЭВТ, 1980, вып.10, с.75-79.

9. Вашкевич Н.П., Дудкин A.M., Зинкин С.А., Кулагин. В.П. Структуризация алгоритмов моделирования выполнения операций в процессоре базы данных. Вопросы радиоэлектроники, сер.ЭВТ, 1981, вып.13, с.78-87.

10. Вашкевич Н.П., Зинкин С.А., Кулагин В.П. Структурный подход к проектированию мультипроцессорной вычислительной системы управления базой данных. Приборостроение, 1983, №9, с.15-24.

11. Вашкевич Н.П., Зинкин С.А., Кулагин В.П. Вероятностные сети Петри. В кн. Вероятностные автоматы и их приложения: Тезисы докладов III Всесоюзного симпозиума, Казань, 1983, с.87.

12. Вашкевич Н.П., Зинкин С.А., Кулагин В.П. Проектирование . структур вычислительных систем с использованием аппарата сетей Петри. В кн. Автоматизация проектирования ЭВМ и систем: Тезисы докладов Всесоюзной конференции, ч.Г, Ереван, 1983, с.13-14.

13. Вычислительная система jBM /360. Принципы работы. М.: Советское радио, 1969.

14. Горбатов В.А. Введение в общую теорию алгебраических моделей. М.: МИФИ, 1974.

15. Горчинская О.Ю. Теоретический аспект построения реляционных моделей баз данных /обзор/. Автоматика и телемеханика, 1983,1. ЖЕ, с.5-25.23. 1£ис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975.

16. Дедков А.Ф., Сироткин B.C. Основные концепции языка моделирования ПЛИС. В сб.: Второй Всесоюзный симпозиум по имитационному моделированию экономических систем. М.:ИЭМИ, 1977, с.184-220.

17. Дейт К. Введение в системы баз данных. М.: Наука, 1980.

18. Дрибас В.П. Реляционные модели баз данных. Шнек: Издательство БГУ им. В.И. Ленина, 1982.

19. Дроздов Е.А., Камарницкий В.А., Пятибратов А.П. Электронные вычислительные машины Единой Системы. М.: Энергия, 1976.

20. Дудкин A.M., Зинкин С.А., Кулагин В.П. Метод совмещения уровней моделирования при исследовании функционирования и разработке вычислительных систем. Вопросы радиоэлектроники, сер.ЭВТ, 1980, вып.10, с.85-89.

21. Ермольев Ю.М., Маринович Т.П. Оптимизация и моделирование. Проблемы кибернетики / Под ред. А.А. Ляпунова. Вып.27. М.:Наука, 1973, C.III-I25.

22. Закревский А.Д. Редукционный метод проверки корректности параллельных алгоритмов логического управления. Доклады Академии наук БССР, 1983, т.ХХУП, №7, с.617-619.

23. Зелковиц М., Шоу А., Гэннон Дд. Принципы разработки программного обеспечения. М.: Мир, 1982.

24. Зинкин С.А., Кулагин В.П. О выполнении операций реляционной алгебры в имитационных системах. Вычислительная техника в автоматизированных системах контроля управления: Межвуз. сб. науч. тр. - Пенза: Пенз. политехи, ин-т, 1982, вып.12, с.89-101.

25. Зиновьев Э.В., Стрекалёв А.А. Обнаружение тупиковых ситуаций при взаимодействии информационных процессов в вычислительных сетях. Автоматика и вычислительная техника, 1981, Ш, с.П-17.

26. Иванов А.И. Основные принципы структурной организации субсистем ввода-вывода многопроцессорных вычислительных систем. Приборы и системы управления, 1977, №3, с.7-9.

27. Катцан Г. Вычислительные машины системы 370. М.: Мир, 1974.

28. Кёниг Р. Минимизация сетей Петри, интерпретированных с точки зрения техники управления системами.- В кн. Автоматизированное проектирование дискретных управляющих устройств. М.: Наука, 1980, с.187-200.

29. Кишиневский М.А., Гаубин А.Р., Цирлин Б.С. Сети Петри и анализ переключательных схем. Кибернетика, 1982, М, с.114-117.

30. Королёв JI.H. Структура ЭВМ и их математическое обеспечение. М.: Наука, 1978.

31. Корнеев В.В., Хорошевский В.Г. Организация системного управления в вычислительных системах с программируемой структурой. Вычислительные системы; сб. статей / Под ред. Э.В. Евреинова. -М.: Финансы и статистика, IS8I, вып.2, с.20-38.

32. Котов В.Е. Теория параллельного программирования. Прикладные аспекты. Кибернетика, 1974, №3, с.1-16; №5, с.1-14.

33. Котов В.Е. Алгебра регулярных сетей Петри. Кибернетика, 1980, №5, с.10-18.

34. Котов В.Е., Черкасова Л.А. Структурированные сети. Кибернетика, 1981, М, с.33-41.

35. Кузин Л.Т. Основы кибернетики. В 2-х томах, т.2. М.: Энергия, 1979.

36. Кузьмук В.В. Управляющие сети и микропрограммное моделирование параллельных процессов. Киев, 1983. Црепринт / АН УССР, институт электродинамики; №333, 72 с.

37. Кузьмук В.В. Описание и моделирование параллельных процессов управления с помощью сетей Петри. Электронное моделирование, 1982, №5, с.33-40.

38. Кулагин В.П. О преобразовании сложного запроса к процессору базы данных. Вычислительная техника в автоматизированных системах контроля и управления: Межвуз. сб. науч. тр. - Пенза: Пенз. политехи, ин-т, 1983, вып.13, с.3-12.

39. Кулагин В.П. Система анализа ВЗУ на основе структурированных сетей. В кн. Развитие теории и техники хранения информации: Тезисы докладов Всесоюзной конференции. - М.: Радио и связь, 1983, с.33-34.

40. Кулагин В.П. Интерфейс "пользователь система проектирования сложных вычислительных систем". - Тезисы докладов II Всесоюзной конференции молодых учёных и специалистов приборостроительной промышленности. -М., 1983, с.81.

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

42. Мак-Кракен Д., Дорн У. Численные методы и программирование на ФОРТРАНе. М.: Мир, 1977.

43. Малашенко Г.С., Чернецкий Л.В. Алгоритм размещения микропрограмм в управляющей памяти. Вопросы радиоэлектроники, сер. ЭВТ, 1977, вып. II.

44. Мартин Дд. Программирование для вычислительных систем реального времени. М.: Наука, 1975.

45. Мартин Дд. Организация баз данных в вычислительных системах. М.: Мир, I960.

46. Марчук Г.И., Котов В.Е. Модульная асинхронная развиваемая система, ч.1. Новосибирск, 1976, 46 с. Препринт ВЦ СО АН СССР, .№86.

47. Методы параллельного микропрограммирования / Под ред. О.Л. Бандман. Новосибирск, Наука, 1981.

48. Мультипроцессорные системы и параллельные вычисления / Под ред. Ф.Г. Энслоу. М.: Мир, 1976.

49. Мячев А.А. Системы ввода-вывода ЭВМ. М.: Энергоатомиздат, 1983.

50. Нариньяни А.С. Теория параллельного программирования. Формальные модели. Кибернетика, 1974, ЖЗ, с.1-16; №5, с.1-14.

51. Новиков В.В., Подгурский Ю.Е. Сети Петри.Теория. Применение. Зарубежная радиоэлектроника, 1984, М, с.26-59.

52. Норенков И.П., Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры. М.: Высшая школа, 1983.

53. Олейниченко Р.Л. 0 построении правильных сетей Петри. -Автоматика и телемеханика, 1982, Ж12, с.130-140.

54. Основы построения больших информационных вычислительных сетей. М.: Статистика, 1976.

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

56. Пранявичюс Г.И. Разбиение кусочно-линейных агрегатов на элементарные. Лит. мат. сб., 1979, т.XIX, №3, с.177-179.

57. Пранявичюс Г.И. О разбиении кусочно-линейных агрегатов на элементарные. В кн. Математика и математическое моделирование. Вып.З. Вильнюс, 1979, с.27-31.

58. Принципы работы системы IBM /370. М.: Мир, 1975.

59. Разработки и исследования рациональных структур вычислительных систем реального времени. Материалы семинара. М.: МДНТП, 1979.

60. Раков Б.М. Метод анализа структуры систем управления запоминающих устройств. Вопросы радиоэлектроники, сер.ЭВТ, 1976, вып.10, с.91-106.

61. Раков Б.М. Повышение производительности и эффективности подсистем ВЗУ ЦЦ при структурных преобразованиях. Вопросы радиоэлектроники, сер.ЭВТ, 1982, вып.II, с.8-12.

62. Раков Б.М., Зинкин С.А. Анализ структур больших информационных систем памяти с использованием gpss /360 и gpss -v . .•- Вопросы радиоэлектроники, сер.ЭВТ, 1978, вып.13, с.72-81.

63. Раков Б.М., Зинкин С.А., Кулагин В.П. Анализ некоторых методов коммутации запросов при страничном обмене в ВЗУ на дисках.- Вопросы радиоэлектроники, сер.ЭВТ, 1980, вып.10, с.66-74.

64. Розенблюм Л.Я. Сети Петри. Техническая кибернетика, №5, 1983, с.12-40.

65. Селютин В.А. Машинное конструирование электронных устройств. М.: Советское радио, 1977.

66. Стогний А.А., Юценко E.JI., Войтко В.И., Машбиц Е.И., Вер-ник П.В., Безруков Н.Н. Человеко-машинная система решения задач обработки данных. В кн. Алгоритмы и организация решения экономических задач. - М.: Статистика, I960, с.172-195.

67. Сыпчук П.П., Маслов Н.Г., Воробьёва Т.Б. Включение специализированного процессора реализации дисциплин планирования в структуру подсистемы ВЗУПД. Вопросы радиоэлектроники, сер.ЭВТ, 1982, вып.II, с.83-88.

68. Таль А.А., Юдицкий С.А. Иерархия и параллелизм в сетях Петри. Автоматика и телемеханика, 1982, F7, с.ПЗ-122; №9, с.82-88.

69. Таненбаум Э. Многоуровневая организация ЭВМ. М.: Мир, 1979.

70. Ульман Дд. Основы систем баз данных. М.: Финансы и статистика, 1983.

71. Цаленко М.Ш. Реляционные модели баз данных /обзор/. В кн. Алгоритмы и организация решения экономических задач. М., 1977, вып.9, с.18-36; вып.10, с.16-29.

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

73. Шоу А. Логическое проектирование операционных систем. -М.: Мир, 1981.

74. Электронная вычислительная машина EC-I035. В кн. Вычислительная техника в социалистических странах, вып.1. М.: Статистика, 1977, с.131-133.

75. Электронная вычислительная машина EC-I050 / Под ред. А.Н. Ларионова. М.: Статистика, 1976.

76. ЭВМ В7800 фирмы BURROUGHS . Радиоэлектроника за рубежом, 1977, вып.24, с.26-28.

77. Amdahl G.M. New concepts in computing system design. -Proc. IRE, 1962, v.50, N5, p.1073-1077.

78. Baer J.L. Models for the design, simulation and performance of distributed function architecture. - Computer, 1974, 7, N2,p.25-29.

79. Banerjel J., Hsiao D.K. The use of a database machine for supporting relational databases. Forth Workshop on computer ar-chitekture for non-numeric processing. N.Y., 1978, p.91-98.

80. Boral H., DeWitt D.J., Friedland D., Jarrell N.F., Wilkinson W.K. Implementation of the Database Machine DIRECT. IEEE Trans, Trans. Software Eng., 1982, 8,N6, p.533-54-3.

81. Brinch Hansen P. A Comparison of Two Synchronizing Concepts. Acta Informatica, 1, 1972, p. 190-199.

82. Computing Surves, 1975, v.7, N 4, p.175-255. Special Issue: Computer Systems Architecture.

83. Computing Surves, 1977, v.9,N 1. Special Issue: Parallel Processors and Processing, 129 p.

84. Cottrez G., Blanshard M., Gillon J., Guidez G., Thuil-lier G. The simulation of a switchin system's reguirements. Int. Symp. Discrete Systems, Riga, Zinatne, vol.3, 1974.

85. Dijkstra E.W. The Structure of the THE-Multiprogramming System. С ACM, vol.11, N 5, 1968, p. 54-1-346.

86. Dohi Y., Arizawa H., Izumida Y. Data-base machine with hashing hardware. Bulletin of the faculty of Engineering, Yokohama National Univ., 1979, vol. 28, p.89-99.

87. Downton E1. On limiting distribution arising in bulk ser-vise gueues. J. Roy. Statist. Soc., 1956, S.3, vol.18, p.265-274.

88. Gerhardt H.-D. KOMBI-Netze. Eine Petri Netzerweiterung zur Beschreibung Kombinierter mathematischer Modelle. Wissen-schaffliche Zeitschrift der Humbold-Universitat zu Berlin. Math.-Nat. R. XXX, 1981, 5, s.463-471.

89. Gouda M.G. A hierarchical controller for concurrent accessing of distributed databases. SAI Technical Memo 2-80, Honeywell Systems and Research Center, Minneapolis, Dec. 1980.

90. Grutzner R. Modifizierte E-Netze: ein Mittel zur Ablauf-beschreibung in Rechenrsystemen. Weiterbildungszentr. Math. Ky-bern. und Rechentechn./Informations Techn. Univ. Dresden, 1982, s.34-42.

91. Hack M. Analysis for Production Schemata by Petri Nets. -Computer Structure Croup. TR-94, Project MAC, M.I.Т., February72. 119 P.о 109. Hack M. Petri net languages. Tech. Rep./MIT; N 159. 0am-Ldge, 1976. 128 p.

92. Hall P.A.V. Optimization of Single Expressions in a Rela-Lonal Data base. IBM Journal of Research and Development, 1976, .20, N J, p.244-257.

93. Heltzig H.F. Zum Informationsflu? in softwareinterpretier-m PETRI-Netzen. Weiterbildungszentrum fur mathematische Kyberne-Lk und Rechentechnik Informationsverarbeitung. Techn. Univ. Dres-sn, 1980, N 42, s.33-44.

94. Hevner A.R., Yao S.B. Query Processing in Distributed Data-ase Systems. IEEE Transactions, 1979, V.5, N 3, p.177-187.

95. Hoare C.A.R. Proof of Correctuess of Data Representation. ;ta Informatica, 1,1972, p.271-281.

96. Hoare C.A.R. Monitors: An Operating System Structuring Con->pt. СACM, vol.17, No.10, 1974, p.549-557.115»Jackson M.A. Principles of Program Design, Academic Press, ■Y., 1975.

97. Jensen K. How tofind invariants for coloured Petri net. -:ct. Notes Comput. Sci. 1981, V.118, p.327-338.

98. Karp R.M., Miller R.E. Parallel Programm Schemata: A Mathe-itical Model for Parallel Computation. Journal of Computer and Sys-;m Sciences 3, 1969, p.147-195.

99. Kotov V.E. An algebra for parallelism based on Petri nets. -i: Lecture notes in computer science. В.: Springer-Verl., 1978, '1.64, p.39-55.

100. Kotov V.E. Concurrent Programming with Control Types. In.: instructing Quality Software. Amsterdam: North-Holl. Publ. Co., (78, p.207-228.

101. Kotov V.E. On basic parallel languages. In.:Proc. IFIP

102. Congress 80. North Holland Publ. Co., 1980, p.229-240.

103. Lauer P.E., Campbell R.H. Formal semantics for a class of high-level primitives coordinating concurrent processes. Acta inform., 1975, 5, p.297-332.

104. Lorin H. Parallelism in hardware and software real and apparent concurrency. - Englewood Cliffs: Prentice-Hall, 1972,508 p.

105. McDonald N.H., McNally J.P. Query language feature analysis by usability. Comput. Lang., 1982, 7, N 3-4, p.103-124.

106. Moa11a M., Pulou J., Sifakis J. Synchronized Petri Nets: a model for the description of nonautonoms systems. Oper. Syst. Rev., 1983, 17, N 1, p.30-37.

107. Murata T. Petri nets, marked graphs, and circuit-system theory. Circuits Syst., vol.11, June 1977.

108. Ozkarahan E.A., Oflazer K. Microprocessor based modular database processors. Proceedings Fourth International conference on very large data base. West Berlin, Sept.13-15, 1978, p.300-311.

109. Parnas D.L. Information Distribution Aspects of Design Methodology, Proc. IFIP Congr. 1971, Booklet TA-3, p.26-30.

110. Peinl P., Renter A. Synchronizing Multiple Data-base Process in a Tightly Coupled Multiprocessor Environment. Oper. Syst. Rev., 1983, 17,N 1, p.30-37.

111. Peterson J.L. Petri Nets. ACM Computing Surves, Sept.,1977, v.9, И 3, P.223-252.

112. Petri C.A. Kommunikation mit Automaten. Bonn: Univ., 1962. - 89 s.

113. Ramamoorthy C.V., Ho G.S. Performance Evaluation of asynchronous Concurrent System Using Petri Nets. IEEE Trans. Software Eng., 1980, vol. SE-6, N 5, p.440-449•

114. Ross D.T., Schomann K.E. Structured Analysis for Requirements Definition. IEEE Transaction on Software Engineering, 1977,v.3, N 1, p.6-15.

115. Reisner R. et al. Human Factors Evalutions of Two Data Base Query Languages: SQUARE and SEQUEL. AFIPS, v.1975, p.447-452,

116. Smith J.M., Chang P.Y.-T. Optimizing the performance of s relational algebra database interface. Comm. ACM, 1975» v.18,1. N 10, p.5b8-579.

117. Starke P.H. Petri Netze. Veb. Deutscher Verla? der Wis-senschoften, Berlin, 1980, s.184.

118. Stonebraker M., Wong E., Kreps P., Held G. The Design and Implementation of INGRES. ACM Transactions on Database Systems, 1976, v.1, N 3, p. 189-222.

119. Su S.Y.W., Lee S.L.C., T.0 D.H., Doty K.L. Micronet: A microcomputer network system for managing distributed relational databases. Proceedings Fourth International conference on very large data base. West Berlin, Sept. 13-15, 1978, p.288-298.

120. Su S.Y.W., Lipovski G.J. CASSM: A cellular system for very large databases. Proceedings International conference on very large databases. Framingham, Mass., Sept. 1975, p.456-472.

121. Takizawa M. Distribution Problems in Distributed Database Systems: Integration and Q.uery Decomposition. «Т. Inform. Process., 1982, v.5, N 3,p.139-147.

122. Valette R. Analysis of Petri Nets by stepwise refinements. J. Computer and Svstem Sciences, 1979, N 18, p.35-46.

123. Wen^ler K. Betriebssystemaspekte in hierarchisch moduls-ren Polyprozessorsystemen. Mortelierunesansatze und Koordiniernnes-mechanismen. Arbeitsberichte des Instituts fiir Mathematis^he Maschinen und Datenverarbeitung, 1978, v.11, N 15, s.329.

124. Wong E., Youseffi K. Decomposition a strategy for query processing. - ACM Tr^ns. on Database Syst., 1976, v.1, N 3, p.223 -241.

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