Таблица | Карточка | RUSMARC | |
Разрешенные действия: –
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Кратко излагаются вопросы построения формальных динамических моделей процессов, протекающих асинхронно и с взаимным перекрытием во времени , т. е. асинхронных параллельных процессов. Рассматриваемые процессы могут относиться к различным прикладным областям, например, к вычислениям, управлению, интерфейсам, программированию, робототехнике или искусственному интеллекту. Подчеркивается неразрывная связь структурной модели, отражающей статические свойства объекта, и динамической (поведенческой) модели. Такой двуединый фундаментальный подход пригоден на всех этапах проектирования систем — спецификации, анализа, реализации и верификации. Пособие не претендует на полноту освещения всех проблем и технологий проектирования, но помогает выработке навыков методологии модельного мышления и эффективного решения прикладных задач. Представленный подход позволяет перекинуть мосты между абстрактной и физической составляющими моделируемых процессов и потому применим как для программных, так и аппаратных реализаций. Пособие содержит компилятивный материал наряду с результатами авторов. Книга такого типа публикуется впервые. Предназначено для студентов высших учебных заведений, обучающихся по магистерской программе направления подготовки магистров «Системный анализ и управление», может быть также использовано при обучении студентов направлений подготовки «Управление в технических системах», «Автоматизация технологических процессов и производств», «Информатика и вычислительная техника», «Информационные системы и технологии», «Прикладная информатика », «Программная инженерия», «Прикладная математика», а также аспирантами и слушателями факультетов повышения квалификации преподавателей..
Печатается по решению редакционно-издательского совета Санкт-Петербургского государственного политехнического университета.
Права на использование объекта хранения
Место доступа | Группа пользователей | Действие | ||||
---|---|---|---|---|---|---|
Локальная сеть ИБК СПбПУ | Все | |||||
Интернет | Авторизованные пользователи СПбПУ | |||||
Интернет | Анонимные пользователи |
Оглавление
- ОГЛАВЛЕНИЕ
- Сокращения, принятые в тексте
- Введение
- 1. Асинхронный процесс
- 2. Сети Петри
- 3. Дугие сетевые модели
- 4. Динамическая логика
- 5. Параллельное программирование
- 6. Принципы аппаратной реализации
- 7. Протоколы информационного обмена
- 8. Примеры решения прикладных задач
- Библиографический список
Статистика использования
Количество обращений: 5
За последние 30 дней: 0 Подробная статистика |