Диплом, курсовая, контрольная работа
Помощь в написании студенческих работ

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

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

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

Содержание

  • 1. Принципы организации и методы проектирования контроллеров и специализированных процессоров подсистем ВЗУ ЦЦ
    • 1. 1. Структура подсистем ВЗУ ЦЦ и методы повышения её эффективности
    • 1. 2. Структурная реализация некоторых методов повышения эффективности подсистем ВЗУ ГЩ
    • 1. 3. Особенности подсистем управления ВЗУ ПД. Анализ методов проектирования контроллеров и спецпроцессоров подсистем ВЗУ ЦЦ

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

Современные ЭВМ общего назначения и вычислительные системы (ВС) характеризуются высоким отношением производительности к стоимости, простотой адаптации к сфере применения и высокой се-рийнопригодностью. Эффективным средством обеспечения указанных свойств является применение в этих ЭВМ и ВС развитой системы ввода-вывода (СВВ). Эффективная работа СВВ в значительной мере определяет потребительские свойства и стоимость ЭВМ. Доля стоимости СВВ от общей стоимости ЭВМ в настоящее время составляет более 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. Средства структурного проектирования контроллеров и спецпроцессоров на архитектурном и микропрограммном уровнях.

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

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

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

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

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

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

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

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

ЗАКЛШЕНИЕ.

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

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

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

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

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

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

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

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

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

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

Показать весь текст

Список литературы

  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.
Заполнить форму текущей работой

На отлично!