Table | Card | RUSMARC | |
Allowed Actions: –
Action 'Read' will be available if you login or access site from another network
Action 'Download' will be available if you login or access site from another network
Group: Anonymous Network: Internet |
Annotation
Кратко излагаются вопросы построения формальных динамических моделей процессов, протекающих асинхронно и с взаимным перекрытием во времени , т. е. асинхронных параллельных процессов. Рассматриваемые процессы могут относиться к различным прикладным областям, например, к вычислениям, управлению, интерфейсам, программированию, робототехнике или искусственному интеллекту. Подчеркивается неразрывная связь структурной модели, отражающей статические свойства объекта, и динамической (поведенческой) модели. Такой двуединый фундаментальный подход пригоден на всех этапах проектирования систем — спецификации, анализа, реализации и верификации. Пособие не претендует на полноту освещения всех проблем и технологий проектирования, но помогает выработке навыков методологии модельного мышления и эффективного решения прикладных задач. Представленный подход позволяет перекинуть мосты между абстрактной и физической составляющими моделируемых процессов и потому применим как для программных, так и аппаратных реализаций. Пособие содержит компилятивный материал наряду с результатами авторов. Книга такого типа публикуется впервые. Предназначено для студентов высших учебных заведений, обучающихся по магистерской программе направления подготовки магистров «Системный анализ и управление», может быть также использовано при обучении студентов направлений подготовки «Управление в технических системах», «Автоматизация технологических процессов и производств», «Информатика и вычислительная техника», «Информационные системы и технологии», «Прикладная информатика », «Программная инженерия», «Прикладная математика», а также аспирантами и слушателями факультетов повышения квалификации преподавателей..
Печатается по решению редакционно-издательского совета Санкт-Петербургского государственного политехнического университета.
Document access rights
Network | User group | Action | ||||
---|---|---|---|---|---|---|
ILC SPbPU Local Network | All | |||||
Internet | Authorized users SPbPU | |||||
Internet | Anonymous |
Table of Contents
- ОГЛАВЛЕНИЕ
- Сокращения, принятые в тексте
- Введение
- 1. Асинхронный процесс
- 2. Сети Петри
- 3. Дугие сетевые модели
- 4. Динамическая логика
- 5. Параллельное программирование
- 6. Принципы аппаратной реализации
- 7. Протоколы информационного обмена
- 8. Примеры решения прикладных задач
- Библиографический список
Usage statistics
Access count: 5
Last 30 days: 0 Detailed usage statistics |