Для кого эта книга
Системные архитекторы
Программисты
Проектировщики сложных систем управления
О книге
Практически любая более или менее сложная система имеет в своем составе компоненты, работающие одновременно (параллельно). Данная книга представляет собой уникальное издание, написанное специалистами с мировыми именами в области моделирования параллельных процессов и сетей Петри. В книге излагаются вопросы построения формальных динамических моделей асинхронных параллельных процессов. При этом рассматриваемые процессы могут относиться к различным прикладным областям, например, к вычислениям, управлению, интерфейсам, программированию, робототехнике или искусственному интеллекту.
Подчеркивается неразрывная связь структурной модели, отражающей статические свойства объекта, и динамической (поведенческой) модели. Такой двуединый фундаментальный подход пригоден на всех этапах проектирования систем - спецификации, анализа, реализации и верификации.
Книга написана доступным языком, с большим количеством примеров, отличается хорошей организацией, структурой и подачей материала. Может использоваться в качестве учебного пособия. Рассчитана на широкую аудиторию.
Авторы
Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В.
ISBN
978-5-9905552-0-4
Количество страниц
400
Формат
70x100 1/16
Описание глав
-
Глава 1Асинхронный процесс
-
Глава 2Сети Петри
-
Глава 3Другие сетевые модели, родственные сетям Петри
-
Глава 4Динамическая логика
-
Глава 5Параллельное программирование. Задачи координации и синхронизации взаимодействующих процессов
-
Глава 6Принципы аппаратной реализации
-
Глава 7Протоколы информационного обмена
-
Глава 8Примеры решения прикладных задач
Новые компетенции
Моделирование параллельных процессов
Новые навыки в области моделирования параллельных процессов
Структурные и динамические модели
Двуединый подход является фундаментальным инструментом проектирования дискретных вычислительных и управляющих систем
Розенблюм Леонид Яковлевич
В течении 20 лет занимался с коллегами наукой и приложениями (например, разработкой новой схемотехники и надежных бортовых компьютеров) в Вычислительном центре Ленинградского отделения Математического института им. Стеклова Академии наук, доцент кафедры математического обеспечения ЭВМ в ЛЭТИ, адъютант-профессор в Бостонском университете, исследователь в Гарвардском университете
Мараховский Вячеслав Борисович
Профессор кафедры "Вычислительные системы и программные технологии" Института "Информационных технологий и управления" Санкт-Петербургского государственного политехнического университета. С 1993 по 2007 г. - заведующий лабаратории логического проектирования вычислительных устройств, профессор департамента вычислительной техники университета Айзу (Японии)
Яковлев Александр Владимирович
Лауреат престижного гранта "Исследователя-Мечтателя" (Dream Fellow), финансируемого Британским научно-исследовательским советом по инженерным и физическим наукам (EPSRC), на период 2011-2013 гг. С 1991 года преподает в Университете г. Ньюкасла-на-Тайне, Великобритания, где он является профессором и возглавляет исследовательскую группу по проектированию микроэлектронных систем в Школе Электротехники и Электроники. Доктор технических наук (DSc) от университета Ньюкасла с 2006 г.