Главная
» Электронная библиотека » Недетерминированные автоматы и их использование для реализации систем параллельной обработки информации
Недетерминированные автоматы и их использование для реализации систем параллельной обработки информации
| Категория: | техника | |
| Авторы (ПГУ): | Бикташев Равиль Айнулович [50]  , Вашкевич Николай Петрович [50] | |
| Аннотация: | Рассмотрен основной математический аппарат, связанный с формаль- ным представлением алгоритмов управления параллельной обработки ин- формации с использованием модели недетерминированных автоматов (НДА), и даны эквивалентные преобразования такой модели. В качестве ос- новной базовой модели НДА принята система рекуррентных канонических уравнений (СКУ), описывающая все реализуемые в системе управления част- ные события и язык граф-схем алгоритмов с параллельными ветвями (ГСАП). Эквивалентные преобразования модели НДА базируются на использовании операций детерминизации, минимизации, кодирования и компиляции НДА. Рассмотрены некоторые начальные языки представления управляющих алго- ритмов и их использования для формального описания алгоритмов и методы их преобразования на язык СКУ. Формальное представление алгоритмов вза- имодействия параллельными процессами иллюстрируется на базе решения классических задач управления процессами при обращении к общему ресурсу. Рассмотрены также методы структурной реализации и верификации алгорит- мов управления процессами и ресурсами в многопроцессорных системах, представленных автоматными моделями НДА и ДА. Книга предназначена для широкого круга специалистов, а также мо- жет быть использована студентами направления 09.03.01 «Информатика и ВТ» и направления 09.05.01 «Применение и эксплуатация автоматизиро- ванных систем специального назначения», студентами бакалавриата, маги- странтами и аспирантами всех специальностей направления «Информатика и ВТ» при изучении ими родственных дисциплин и при выполнении вы- пускных и научных работ. | |
| Тип: | Монография, изданная российскими издательствами (наличие ISBN, зарегистрированная в Российской книжной палате) | |
| Вид: | электронная копия бумажного издания | |
| Количество частей: | 1 | |
| Год издания: | 2016 | |
| Издательство: | Пензенский государственный университет (Пенза) | |
| Индексация: | Индексация отсутствует | |
| Целевая аудитория: | Преподаватель, Исследователь | |
| Целевое назначение: | Учебное, Научное | |
| Лицензия: | Нет ограничений | |
| Ограничения: | Нет ограничений | |
| Правообладатель: | Пензенский государственный университет | |
| ISBN: | 978-5-906831-93-4 | |
| УДК: | 519.713 | |
| Библиографическая ссылка: | Вашкевич, Н. П. Недетерминированные автоматы и их использование для реа-лизации систем параллельной обработки информации: моногр. / Н. П. Вашкевич, Р. А. Бикташев. – Пенза: Изд-во ПГУ, 2016. – 394 с | |
| Общий объем (п.л.): | 22,9 | |
| Язык: | Русский | |
| Место хранения: | ИР открытого доступа | |
| Дата размещения: | 25.11.2021 | |
| Владелец: | Бикташев Равиль Айнулович | |
| Ссылка на ресурс: | http://elib.pnzgu.ru/library/1637834545  | |
| Формат: | Не указан |