Скачать книгу - Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки



В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению.


Напокристаллические материалы: методы получения и свойства Напокристаллические материалы: методы получения и свойства

Автор: А. И. ГУСЕВ

Год издания: 

В этой книге дано изложение современного состояния исследований нанокристаллических материалов.Приведены экспериментальные результаты по влиянию нанокристаллического состояния на микроструктуру и механические, теплофизические, оптические, магнитные свойства металлов, сплавов и твердофазных соединений. Рассмотрены основные методы получения изолированных наночастиц, ультрадисперсных порошков и компактных нанокристаллических материалов. Проведен анализ модельных представлений, позволяющих объяснить особенности строения и аномальные свойства веществ в нанокристаллическом состоянии.
Информация будет незаменима для специалистов в области физики твердого тела, физической химии и химии твердого тела, материаловедения, студентов и аспирантов соответствующих специальностей.


Объектно-ориентированное программирование, анализ и дизайн. Методическое пособие. Объектно-ориентированное программирование, анализ и дизайн. Методическое пособие.

Автор: В.В.Мухортов, В.Ю.Рылов.

Год издания: 

Это учебное пособие ознакамливает читателя с теоретическими основами объектно-ориентированного программирования (ООП). Предоставлена здесь концепция преподавания теоретических основ ООП и объектно-ориентированный анализ.


Методы анимации лица. Мимика и артикуляция Методы анимации лица. Мимика и артикуляция

Автор: Флеминг Б.

Год издания: 

Здесь рассматриваются универсальные методы ЗД моделирования и анимации. Здесь вы найдете все, что необходимо для создания качественной анимации лица. Книга содержит описание оригинальных приемов, позволяющих конструировать разнообразные выражения лиц мультипликационных героев. Большое внимание уделено фонетическому анализу аудиофайлов и синхронизации речи персонажа с движением его губ. Рассматривается артикуляция английских фонем и впервые ставится проблема визуального представления звуков русской речи. Прочитав приемы работы Вы сможете применить их практически в любой современной программе трехмерной графики на любой аппаратной платформе. Издание адресовано в первую очередь специалистам в области компьютерной графики, но оно будет полезно и тем дизайнерам, которые лишь начали постигать ее удивительный мир.


Процессный подход к управлению. Моделирование бизнес-процессов Процессный подход к управлению. Моделирование бизнес-процессов

Автор: Репин В. В., Елиферов В. Г.

Год издания: 

Настоящая книга содержит методологию построения системы управления организацией на основе процессного подхода. Рассмотрены основные принципы и методы построения системы, способы совмещения процессного и функционально-иерархического управления. Приведены методики выделения процессов в организации, способы построения сети бизнес-процессов, методики моделирования процессов в нотациях IDEFO, IDEF3, DFD и ARIS и их сравнительные характеристики. Подробно изложены методики описания и регламентации процессов организации, их составных частей, построения системы показателей эффективности процессов и цикла непрерывного повышения эффективности. В книге также приведены рекомендации по построению в организации системы менеджмента качества, соответствующей требованиям МС ИСО 9001:2000, основанные на практическом опыте авторов. Книга предназначена для руководителей разного уровня, специалистов в областях управления, информатизации, систем менеджмента качества, консультантов по бизнес-процессам, а также для студентов высших учебных заведений по специальностям "Менеджмент", "Информационные технологии", "Управление качеством".


Моделирование бизнес-процессов Моделирование бизнес-процессов

Автор: Август-Вильгельм Шеер

Год издания: 

ARIS (Архитектура интегрированных информационных систем) представляет собой уникальный метод оптимизации бизнес-процессов и реализации прикладных систем, завоевавший международное признание. В этой книге подробно описывается использование методов ARIS для моделирования и реализации бизнес-процессов при помощи унифицированного языка моделирования (UML). Создаваемая в результате информационная модель служит краеугольным камнем для систематизированного и интеллектуального метода разработки прикладных систем. Внедрение методов ARIS иллюстрируется на множестве примеров, взятых из реальной жизни, включая управление знаниями, реализацию систем workflow стандартных программных решений (в частности, SAP R/3).