карпов юрий глебович model checking верификация параллельных и распределенных программных систем cd
Карпов Юрий Глебович MODEL CHECKING. Верификация параллельных и распределенных программных систем (+CD)
В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логического управления с несколькими вариантами заданий.
920 Р.
Карпов Юрий Глебович Имитационное моделирование систем. Введение в моделирование (+CD)
Описываются десятки законченных примеров имитационных моделей из самых различных областей. Для каждой модели приводится постановка проблемы, обсуждается ее структура, подробно разбирается реализация в среде Any Logic. Все модели, описываемые в книге, являются действующими, читатель может повторить каждый шаг процесса их разработки на своем компьютере, запустить любую модель на выполнение, провести ее анализ и модификацию. К книге прилагается компакт-диск с системой имитационного моделирования AnyLogic 5 и примерами моделей. Книга предназначена для тех, кто хочет освоить имитационное моделирование для оценки принимаемых решений как с точки зрения методологии, так и практически.
546 Р.
Колпаков А., Кропотов Ю. Повышение производительности гетерогенных компьютерных систем обработки данных. Монография
Монография посвящена методам, алгоритмам и программным структурам повышения производительности вычислений гетерогенных компьютерных систем обработки данных. Исследуются вопросы оценки времени выполнения алгоритмов, вопросы разработки алгоритмов декомпозиции задач на этапы, исследуются вопросы кэширования данных и принятия решений о переносе вычислений на графический процессор. Рассматривается метод проектирования программного обеспечения гетерогенных компьютерных систем. Приводятся результаты экспериментальных исследований и методы тестирования разработанного программного обеспечения. .Монография предназначена для инженеров и аспирантов, специализирующихся в области проектирования вычислительных систем и разработки программных структур параллельных и распределенных вычислений, а также для студентов соответствующих специальностей. .Текст печатается в авторской редакции.
889 Р.
Колпаков Александр Антольевич, Кропотов Юрий Анатольевич Повышение производительности гетерогенных компьютерных систем обработки данных. Монография
Монография посвящена методам, алгоритмам и программным структурам повышения производительности вычислений гетерогенных компьютерных систем обработки данных. Исследуются вопросы оценки времени выполнения алгоритмов, вопросы разработки алгоритмов декомпозиции задач на этапы, исследуются вопросы кэширования данных и принятия решений о переносе вычислений на графический процессор. Рассматривается метод проектирования программного обеспечения гетерогенных компьютерных систем. Приводятся результаты экспериментальных исследований и методы тестирования разработанного программного обеспечения. Монография предназначена для инженеров и аспирантов, специализирующихся в области проектирования вычислительных систем и разработки программных структур параллельных и распределенных вычислений, а также для студентов соответствующих специальностей. Текст печатается в авторской редакции.
869 Р.
Колпаков А., Кропотов Ю. Повышение производительности гетерогенных компьютерных систем обработки данных. Монография
Монография посвящена методам, алгоритмам и программным структурам повышения производительности вычислений гетерогенных компьютерных систем обработки данных. Исследуются вопросы оценки времени выполнения алгоритмов, вопросы разработки алгоритмов декомпозиции задач на этапы, исследуются вопросы кэширования данных и принятия решений о переносе вычислений на графический процессор. Рассматривается метод проектирования программного обеспечения гетерогенных компьютерных систем. Приводятся результаты экспериментальных исследований и методы тестирования разработанного программного обеспечения. .Монография предназначена для инженеров и аспирантов, специализирующихся в области проектирования вычислительных систем и разработки программных структур параллельных и распределенных вычислений, а также для студентов соответствующих специальностей. .Текст печатается в авторской редакции.
889 Р.
Свистунов Алексей Николаевич Построение распределенных программных систем на Java
В рамках курса рассматривается ряд популярных способов разработки распределенных приложений с использованием технологии Java (APIjava.net, RMI, CORBA, Web-сервисы, JMS). Все рассматриваемые технологии и программные средства либо входят в стандартный комплект поставки J2SE, либо могут быть свободно загружены с сайтов компаний-разработчиков. Использование всех рассматриваемых в книге технологий иллюстрируется примерами.
471 Р.
Кузьмин Егор Владимирович, Соколов Валерий Анатольевич Структурированные системы переходов
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределённой архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимости классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквивалентности и других важных семантических и темпоральных свойств. Для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем.
514 Р.
Гома Хассан UML Проектирование систем реального времени, распределенных и параллельных приложений
Данная книга описывает процесс создания распределен-ных, параллельных систем и систем реального времени с точки зрения проектирования архитектуры системы. Подробно рассмотрены ключевые вопросы, возникающие в процессе разработки: управление временем отклика, синхронизация, актуальность и непротиворечивость данных. На многочисленных примерах автор показывает, как с помощью одной и той же универсальной нотации UML описать такие, казалось бы, далекие области, как автоматизированная банковская система, бортовой ком-пьютер автомобиля и система управления лифтами в много-этажном здании – без привязки к какой-либо программной или аппаратной платформе и языку программирования. Издание будет чрезвычайно полезно аналитикам, мене-джерам предприятий и информационных систем, руководителям и архитекторам проектов, а также программистам, которые имеют дело с приложениями UML: книга поможет изложить свои идеи так, чтобы можно было реализовать проект, практически не зная той предметной области, для которой пишется система.
2124 Р.
Хассан Гома UML. Проектирование систем реального времени, параллельных и распределенных приложений
Данная книга описывает процесс создания распределенных, параллельных систем и систем реального времени с точки зрения проектирования архитектуры системы. Подробно рассмотрены ключевые вопросы, возникающие в процессе разработки: управление временем отклика, синхронизация, актуальность и непротиворечивость данных. Автор показывает, как с помощью одной и той же универсальной нотации UML описать такие, казалось бы, далекие области, как автоматизированная банковская система, бортовой компьютер автомобиля и система управления лифтами в многоэтажном здании - без привязки к какой-либо программной или аппаратной платформе и языку программирования. Издание будет чрезвычайно полезно аналитикам, менеджерам предприятий и информационных систем, руководителям и архитекторам проектов, а также программистам, которые имеют дело с приложениями UML.
729 Р.
Гома Х. UML. Проектирование систем реального времени, параллельных и распределенных приложений
Данная книга описывает процесс создания распределенных, параллельных систем и систем реального времени с точки зрения проектирования архитектуры системы. Подробно рассмотрены ключевые вопросы, возникающие в процессе разработки: управление временем отклика, синхронизация, актуальность и непротиворечивость данных. На многочисленных примерах автор показывает, как с помощью одной и той же универсальной нотации UML описать такие, казалось бы, далекие области, как автоматизированная банковская система, бортовой компьютер автомобиля и система управления лифтами в многоэтажном здании - без привязки к какой-либо программной или аппаратной платформе и языку программирования. .Издание будет чрезвычайно полезно аналитикам, менеджерам предприятий и информационных систем, руководителям и архитекторам проектов, а также программистам, которые имеют дело с приложениями UML: книга поможет изложить свои идеи так, чтобы можно было реализовать проект, практически не зная той предметной области, для которой пишется система.
2929 Р.
Гома Х. UML. Проектирование систем реального времени, параллельных и распределенных приложений
Данная книга описывает процесс создания распределенных, параллельных систем и систем реального времени с точки зрения проектирования архитектуры системы. Подробно рассмотрены ключевые вопросы, возникающие в процессе разработки: управление временем отклика, синхронизация, актуальность и непротиворечивость данных. На многочисленных примерах автор показывает, как с помощью одной и той же универсальной нотации UML описать такие, казалось бы, далекие области, как автоматизированная банковская система, бортовой компьютер автомобиля и система управления лифтами в многоэтажном здании - без привязки к какой-либо программной или аппаратной платформе и языку программирования. .Издание будет чрезвычайно полезно аналитикам, менеджерам предприятий и информационных систем, руководителям и архитекторам проектов, а также программистам, которые имеют дело с приложениями UML: книга поможет изложить свои идеи так, чтобы можно было реализовать проект, практически не зная той предметной области, для которой пишется система.
2929 Р.
Карпов Юрий Глебович Теория и технология программирования. Основы построения трансляторов
Целью книги является постановка базовых проблем теории формальных языков, разъяснение задач построения трансляторов. Представлена основная концепция трансляции - синтаксически ориентированная обработка предложений входного языка. В рамках этой концепции рассматриваются основные этапы трансляции: восстановление структуры входного текста, вычисление смысла текста по этой структуре, формирование выхода транслятора на основе структуры входного предложения. Понимание этих положений помогает осознанию задач и алгоритмов функциональных блоков современных трансляторов, независимо от технологии и средств их создания. Изучив методики трансляции, представленные в пособии, читатель без труда сможет освоить любую литературу, посвященную теоретическим, техническим и технологическим проблемам разработки трансляторов и написать транслятор с разработанного им самим простого языка. Книга предназначена для студентов вузов направлений "Информатика и вычислительная техника" и "Системный анализ и управление", а также других родственных направлений.
273 Р.
Таненбаум Эндрю, Стин ван Мартен Распределенные системы
В третьем издании классического труда профессоров Амстердамского университета Эндрю Таненбаума и Мартена ван Стина обсуждаются принципы и парадигмы распределенных систем. Кроме обширного теоретического материала в книге приведен код на языке Python (размещен на сайте издательства), демонстрирующий использование полученных знаний на практике. В числе рассматриваемых тем: основные характеристики распределенных систем; архитектуры программных компонентов, входящих в систему; процессы и коммуникации; присваивание имен; согласованность и репликация; отказоустойчивость и безопасность. Для опытных разработчиков, занимающихся распределенными системами, а также студентов профильных вузов.
5873 Р.
Таненбаум Э., Стин М. Распределенные системы
В третьем издании классического труда профессоров Амстердамского университета Эндрю Таненбаума и Мартена ван Стина обсуждаются принципы и парадигмы распределенных систем. Кроме обширного теоретического материала в книге приведен код на языке Python (размещен на сайте), демонстрирующий использование полученных знаний на практике. В числе рассматриваемых тем: основные характеристики распределенных систем; архитектуры программных компонентов, входящих в систему; процессы и коммуникации; присваивание имен; согласованность и репликация; отказоустойчивость и безопасность. Для опытных разработчиков, занимающихся распределенными системами, а также студентов профильных вузов.
3176 Р.
Таненбаум Э., Стин М. Распределенные системы
В третьем издании классического труда профессоров Амстердамского университета Эндрю Таненбаума и Мартена ван Стина обсуждаются принципы и парадигмы распределенных систем. Кроме обширного теоретического материала в книге приведен код на языке Python (размещен на сайте), демонстрирующий использование полученных знаний на практике. В числе рассматриваемых тем: основные характеристики распределенных систем; архитектуры программных компонентов, входящих в систему; процессы и коммуникации; присваивание имен; согласованность и репликация; отказоустойчивость и безопасность. Для опытных разработчиков, занимающихся распределенными системами, а также студентов профильных вузов.
3176 Р.
Зыков С.В. Информационные системы для бизнеса: разрабатываем, тестируем, сопровождаем
В издании рассматриваются важнейшие аспекты разработки прикладных программных систем для корпораций — крупных распределенных индустриальных структур, объединенных общими бизнес-целями. Современные корпоративные системы — это петабайты данных, удвоение объема информации каждые пять лет, необходимость адаптации к требованиям бизнеса практически «на лету», архитектурная и структурная разнородность компонентов и, конечно, глобальная распределенность. В книге исследуется весь комплекс архитектурных уровней, необходимых для построения таких систем, — от моделей жизненного цикла и методологий их реализации до технологических платформ и инструментальных средств. Приведен ряд примеров, иллюстрирующих особенности применения современных технологий для реализации и внедрения крупномасштабных программных систем в различных отраслях народного хозяйства. Издание будет полезно широкому кругу читателей, область интересов которых связана с разработкой крупномасштабных программных систем.
4789 Р.