Choice of metadata University Online Library
Page 2, Results: 54
Report on unfulfilled requests: 0
11.
Подробнее
Бурдонов, И. Б.
Теория соответствия для систем с блокировками и разрушением [Электронный ресурс] : монография / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин. - Москва : Физматлит, 2010. - 410 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Б. ц.
ББК 32.97
Аннотация: В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. Для того чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация.Рассматриваются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
Доп.точки доступа:
Косачев, А. С.
Кулямин, В. В.
Физматлит
Бурдонов, И. Б.
Теория соответствия для систем с блокировками и разрушением [Электронный ресурс] : монография / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин. - Москва : Физматлит, 2010. - 410 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Б. ц.
Аннотация: В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. Для того чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация.Рассматриваются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
Доп.точки доступа:
Косачев, А. С.
Кулямин, В. В.
Физматлит
12.
Подробнее
Крянев, А. В.
Математические методы обработки неопределенных данных [Электронный ресурс] : монография / А. В. Крянев, Г. В. Лукин. - Москва : Физматлит, 2006. - 281 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0724-2 : Б. ц.
ББК 22.17 + 22.19
Аннотация: В первых главах монографии изложены основные понятия параметрической и непараметрической статистики, включая понятия оценки и свойств, предъявляемых к оценкам с точки зрения их вычисления при обработке данных на компьютере. В 7–13 главах монографии изложены методы и алгоритмы восстановления регрессионных зависимостей, включая методы прогнозирования и решения задач планирования оптимальных экспериментов.Предполагается, что читатель предварительно освоил курс теории вероятностей и математической статистики на базе, например, книги В.С. Пугачева «Теория вероятностей и математическая статистика».В монографии представлены некоторые новые методы робастного оценивания и учета априорной информации, включая алгоритмы их численной реализации.Основная цель монографии — ознакомить читателя с наиболее эффективными и апробированными классическими и новыми статистическими методами оценки и восстановления, научить использовать эти методы при решении конкретных задач обработки неопределенных данных.Монография предназначена научным работникам, аспирантам, студентам старших курсов различных специальностей.
Доп.точки доступа:
Лукин, Г. В.
Физматлит
Крянев, А. В.
Математические методы обработки неопределенных данных [Электронный ресурс] : монография / А. В. Крянев, Г. В. Лукин. - Москва : Физматлит, 2006. - 281 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0724-2 : Б. ц.
| УДК |
Аннотация: В первых главах монографии изложены основные понятия параметрической и непараметрической статистики, включая понятия оценки и свойств, предъявляемых к оценкам с точки зрения их вычисления при обработке данных на компьютере. В 7–13 главах монографии изложены методы и алгоритмы восстановления регрессионных зависимостей, включая методы прогнозирования и решения задач планирования оптимальных экспериментов.Предполагается, что читатель предварительно освоил курс теории вероятностей и математической статистики на базе, например, книги В.С. Пугачева «Теория вероятностей и математическая статистика».В монографии представлены некоторые новые методы робастного оценивания и учета априорной информации, включая алгоритмы их численной реализации.Основная цель монографии — ознакомить читателя с наиболее эффективными и апробированными классическими и новыми статистическими методами оценки и восстановления, научить использовать эти методы при решении конкретных задач обработки неопределенных данных.Монография предназначена научным работникам, аспирантам, студентам старших курсов различных специальностей.
Доп.точки доступа:
Лукин, Г. В.
Физматлит
13.
Подробнее
Прудников, В. В.
Фазовые переходы и методы их компьютерного моделирования [Электронный ресурс] : учебное пособие / В. В. Прудников, А. Н. Вакилов, П. В. Прудников. - Москва : Физматлит, 2009. - 224 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0961-1 : Б. ц.
ББК 22.317в631я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Рассмотрены основные представления современной теории фазовых переходов и критических явлений, идеи и методы компьютерного моделирования статистического поведения и расчета термодинамических характеристик различных систем при фазовых переходах. Предложен практический курс компьютерного моделирования фазовых переходов первого и второго рода в однородных и неупорядоченных системах. Лабораторные работы и задания снабжены конкретными рекомендациями, фрагментами программ, реализующими обсуждаемые алгоритмы, а также действующими программами расчета равновесных и неравновесных статистических характеристик для рассматриваемых систем.Для студентов бакалавриата, магистратуры физического факультета и аспирантов.
Доп.точки доступа:
Вакилов, А. Н.
Прудников, П. В.
Физматлит
Прудников, В. В.
Фазовые переходы и методы их компьютерного моделирования [Электронный ресурс] : учебное пособие / В. В. Прудников, А. Н. Вакилов, П. В. Прудников. - Москва : Физматлит, 2009. - 224 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0961-1 : Б. ц.
| УДК |
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Рассмотрены основные представления современной теории фазовых переходов и критических явлений, идеи и методы компьютерного моделирования статистического поведения и расчета термодинамических характеристик различных систем при фазовых переходах. Предложен практический курс компьютерного моделирования фазовых переходов первого и второго рода в однородных и неупорядоченных системах. Лабораторные работы и задания снабжены конкретными рекомендациями, фрагментами программ, реализующими обсуждаемые алгоритмы, а также действующими программами расчета равновесных и неравновесных статистических характеристик для рассматриваемых систем.Для студентов бакалавриата, магистратуры физического факультета и аспирантов.
Доп.точки доступа:
Вакилов, А. Н.
Прудников, П. В.
Физматлит
14.
Подробнее
Каляев, И. А.
Модели и алгоритмы коллективного управления в группах роботов [Электронный ресурс] : монография / И. А. Каляев, А. Р. Гайдук, С. Г. Капустян. - Москва : Физматлит, 2009. - 278 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-1141-6 : Б. ц.
ББК 32.965
Аннотация: Рассматривается современное состояние проблемы группового управления роботами. Дается формальная постановка задачи управления группой роботов в условиях заранее неизвестной, недетерминированной и противодействующей среды. Формулируется задача коллективного управления в группе роботов. Предлагается подход к решению данной задачи, в основе которого лежит итерационная процедура оптимизации коллективных действий в группе роботов. Рассматриваются алгоритмы решения задач оптимального распределения целей между роботами группы, а также алгоритмы коллективного управления роботами в условиях активного противодействия среды, реализующие указанную итерационную процедуру. Предлагаются оригинальные методы решения проблемы управления большими группами, состоящими из сотен и даже тысяч роботов. Для научных работников, инженеров, аспирантов, магистрантов и студентов старших курсов, специализирующихся в области разработки и создания систем управления групповым взаимодействием роботов, функционирующих в условиях заранее неизвестной и динамически изменяющейся обстановки.
Доп.точки доступа:
Гайдук, А. Р.
Капустян, С. Г.
Физматлит
Каляев, И. А.
Модели и алгоритмы коллективного управления в группах роботов [Электронный ресурс] : монография / И. А. Каляев, А. Р. Гайдук, С. Г. Капустян. - Москва : Физматлит, 2009. - 278 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-1141-6 : Б. ц.
| УДК |
Аннотация: Рассматривается современное состояние проблемы группового управления роботами. Дается формальная постановка задачи управления группой роботов в условиях заранее неизвестной, недетерминированной и противодействующей среды. Формулируется задача коллективного управления в группе роботов. Предлагается подход к решению данной задачи, в основе которого лежит итерационная процедура оптимизации коллективных действий в группе роботов. Рассматриваются алгоритмы решения задач оптимального распределения целей между роботами группы, а также алгоритмы коллективного управления роботами в условиях активного противодействия среды, реализующие указанную итерационную процедуру. Предлагаются оригинальные методы решения проблемы управления большими группами, состоящими из сотен и даже тысяч роботов. Для научных работников, инженеров, аспирантов, магистрантов и студентов старших курсов, специализирующихся в области разработки и создания систем управления групповым взаимодействием роботов, функционирующих в условиях заранее неизвестной и динамически изменяющейся обстановки.
Доп.точки доступа:
Гайдук, А. Р.
Капустян, С. Г.
Физматлит
15.
Подробнее
Гладков, Л. А.
Генетические алгоритмы [Электронный ресурс] : учебник / Л. А. Гладков, В. В. Курейчик, В. М. Курейчик ; под ред. В. М. Курейчик. - Москва : Физматлит, 2010. - 317 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0510-1 : Б. ц.
ББК 22.1
Аннотация: Рассмотрены основные стратегии, принципы и концепции нового направления «Генетические алгоритмы». Описаны фундаментальные основы генетических алгоритмов и эволюционного моделирования. Проанализированы архитектуры генетического поиска и модели генетических операторов. Приведены конкретные примеры решения основных задач оптимизации на основе генетических алгоритмов и дано большое число контрольных вопросов и упражнений. Для студентов вузов, обучающихся по направлению «Информатика и вычислительная техника», специальности «Информационные технологии в образовании», для специалистов, занятых разработкой интеллектуальных САПР, разработкой новых информационных технологий в науке, технике, образовании, бизнесе и экономике.
Доп.точки доступа:
Курейчик, В. В.
Курейчик, В. М.
Физматлит
Курейчик, В. \ред.\
Гладков, Л. А.
Генетические алгоритмы [Электронный ресурс] : учебник / Л. А. Гладков, В. В. Курейчик, В. М. Курейчик ; под ред. В. М. Курейчик. - Москва : Физматлит, 2010. - 317 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0510-1 : Б. ц.
| УДК |
Аннотация: Рассмотрены основные стратегии, принципы и концепции нового направления «Генетические алгоритмы». Описаны фундаментальные основы генетических алгоритмов и эволюционного моделирования. Проанализированы архитектуры генетического поиска и модели генетических операторов. Приведены конкретные примеры решения основных задач оптимизации на основе генетических алгоритмов и дано большое число контрольных вопросов и упражнений. Для студентов вузов, обучающихся по направлению «Информатика и вычислительная техника», специальности «Информационные технологии в образовании», для специалистов, занятых разработкой интеллектуальных САПР, разработкой новых информационных технологий в науке, технике, образовании, бизнесе и экономике.
Доп.точки доступа:
Курейчик, В. В.
Курейчик, В. М.
Физматлит
Курейчик, В. \ред.\
16.
Подробнее
Рябенький, В. С.
Метод разностных потенциалов и его приложения [Электронный ресурс] : монография / В. С. Рябенький. - Москва : Физматлит, 2010. - 431 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-1228-4 : Б. ц.
ББК 22.1 + 22.3
Аннотация: Монография отражает современное состояние метода разностных потенциалов, впервые предложенного автором в 1969 г. Наряду с аппаратом метода и иллюстрирующими его примерами для его иллюстрации излагаются новые алгоритмы для некоторых прикладных задач газовой динамики, дифракции, активной защиты от шума. Для научных работников в области математического моделирования и численного решения задач математической физики, специалистов по качественной теории дифференциальных и интегральных уравнений, а также для студентов и аспирантов соответствующих специальностей.
Доп.точки доступа:
Физматлит
Рябенький, В. С.
Метод разностных потенциалов и его приложения [Электронный ресурс] : монография / В. С. Рябенький. - Москва : Физматлит, 2010. - 431 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-1228-4 : Б. ц.
Аннотация: Монография отражает современное состояние метода разностных потенциалов, впервые предложенного автором в 1969 г. Наряду с аппаратом метода и иллюстрирующими его примерами для его иллюстрации излагаются новые алгоритмы для некоторых прикладных задач газовой динамики, дифракции, активной защиты от шума. Для научных работников в области математического моделирования и численного решения задач математической физики, специалистов по качественной теории дифференциальных и интегральных уравнений, а также для студентов и аспирантов соответствующих специальностей.
Доп.точки доступа:
Физматлит
17.
Подробнее
Кабанов, С. А.
Оптимизация динамики систем при действии возмущений [Электронный ресурс] : монография / С. А. Кабанов. - Москва : Физматлит, 2008. - 199 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0972-7 : Б. ц.
ББК 22.3
Аннотация: В книге рассмотрены основные методы оценивания вектора состояния как линейных, так и нелинейных динамических систем в стохастической и минимаксной постановках. Представлены алгоритмы оценивания для непрерывных и дискретных систем. Изложено решение задачи оптимальной фильтрации с позиций теории информации. Особое внимание уделено вопросам управления стохастическими системами. При этом рассмотрено решение задачи совмещенного оптимального управления нелинейной системой по иерархии функционалов. Дается представление о самоорганизующемся оптимальном регуляторе с экстраполяцией А.А. Красовского. Предназначено студентам, аспирантам и научным работникам.
Доп.точки доступа:
Физматлит
Кабанов, С. А.
Оптимизация динамики систем при действии возмущений [Электронный ресурс] : монография / С. А. Кабанов. - Москва : Физматлит, 2008. - 199 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0972-7 : Б. ц.
Аннотация: В книге рассмотрены основные методы оценивания вектора состояния как линейных, так и нелинейных динамических систем в стохастической и минимаксной постановках. Представлены алгоритмы оценивания для непрерывных и дискретных систем. Изложено решение задачи оптимальной фильтрации с позиций теории информации. Особое внимание уделено вопросам управления стохастическими системами. При этом рассмотрено решение задачи совмещенного оптимального управления нелинейной системой по иерархии функционалов. Дается представление о самоорганизующемся оптимальном регуляторе с экстраполяцией А.А. Красовского. Предназначено студентам, аспирантам и научным работникам.
Доп.точки доступа:
Физматлит
18.
Подробнее
Евдокименков, Е. Н.
Инженерные методы вероятностного анализа авиационных и космических систем [Электронный ресурс] : монография / Е. Н. Евдокименков, В. А. Динеев, К. А. Карп. - Москва : Физматлит, 2010. - 316 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-1165-2 : Б. ц.
ББК 39.5
Аннотация: Рассматриваются задачи анализа сложных технических систем с использованием вероятностных критериев качества функционирования. Приводятся теоретические основы алгоритмов численного решения этих задач и сами алгоритмы. Подробно рассмотрен ряд инженерных задач, связанных с вероятностным анализом авиационных и ракетно-космических систем различных типов, таких как пассажирские самолеты, воздушно-космические самолеты (типа "Буран") и ракеты-носители. Для специалистов, разрабатывающих новые авиационные и космические аппараты, а также для студентов т аспирантов авиационных вузов.
Доп.точки доступа:
Динеев, В. А.
Карп, К. А.
Физматлит
Евдокименков, Е. Н.
Инженерные методы вероятностного анализа авиационных и космических систем [Электронный ресурс] : монография / Е. Н. Евдокименков, В. А. Динеев, К. А. Карп. - Москва : Физматлит, 2010. - 316 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-1165-2 : Б. ц.
Аннотация: Рассматриваются задачи анализа сложных технических систем с использованием вероятностных критериев качества функционирования. Приводятся теоретические основы алгоритмов численного решения этих задач и сами алгоритмы. Подробно рассмотрен ряд инженерных задач, связанных с вероятностным анализом авиационных и ракетно-космических систем различных типов, таких как пассажирские самолеты, воздушно-космические самолеты (типа "Буран") и ракеты-носители. Для специалистов, разрабатывающих новые авиационные и космические аппараты, а также для студентов т аспирантов авиационных вузов.
Доп.точки доступа:
Динеев, В. А.
Карп, К. А.
Физматлит
19.
Подробнее
Кирсанов, М. Н.
Решебник: теоретическая механика [Электронный ресурс] : сборник задач и упражнений / М. Н. Кирсанов ; под ред. А. И. Кириллов. - 2-е изд., испр. - Москва : Физматлит, 2008. - 382 с. : ил. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр.: с. 375-376. - ISBN 978-5-9221-0748-8 : Б. ц.
ББК 22.21я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Изложены алгоритмы и примеры решения задач статики, кинематики и динамики из курса теоретической механики, изучаемого в технических вузах.Каждой задаче отведен отдельный раздел, содержащий общую постановку задачи, план ее решения с необходимыми теоретическими пояснениями и пример. Кроме того, в раздел включены десять задач для самостоятельного решения и ответы к ним. Разобраны характерные ошибки и даны ответы на типичные вопросы, возникающие при решении задач. Приведены программы решения некоторых задач в системе Maple V. Книга может быть использована как при очной, так и при дистанционной формах обучения.Для студентов и преподавателей технических вузов.Первое издание — 2002 г.
Доп.точки доступа:
Физматлит
Кириллов, А. \ред.\
Кирсанов, М. Н.
Решебник: теоретическая механика [Электронный ресурс] : сборник задач и упражнений / М. Н. Кирсанов ; под ред. А. И. Кириллов. - 2-е изд., испр. - Москва : Физматлит, 2008. - 382 с. : ил. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр.: с. 375-376. - ISBN 978-5-9221-0748-8 : Б. ц.
| УДК |
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Изложены алгоритмы и примеры решения задач статики, кинематики и динамики из курса теоретической механики, изучаемого в технических вузах.Каждой задаче отведен отдельный раздел, содержащий общую постановку задачи, план ее решения с необходимыми теоретическими пояснениями и пример. Кроме того, в раздел включены десять задач для самостоятельного решения и ответы к ним. Разобраны характерные ошибки и даны ответы на типичные вопросы, возникающие при решении задач. Приведены программы решения некоторых задач в системе Maple V. Книга может быть использована как при очной, так и при дистанционной формах обучения.Для студентов и преподавателей технических вузов.Первое издание — 2002 г.
Доп.точки доступа:
Физматлит
Кириллов, А. \ред.\
20.
Подробнее
Ульянов, М. В.
Ресурсно-эффективные компьютерные алгоритмы: разработка и анализ [Электронный ресурс] : учебное пособие / М. В. Ульянов. - Москва : Физматлит, 2008. - 303 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0950-5 : Б. ц.
ББК 22.18я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: В пособии полно и на современном уровне изложены вопросы выбора рациональных алгоритмических решений, в том числе и комбинированных, важные в практическом плане и актуальные при проектировании информационных и программных систем. Пособие может использоваться в качестве практически удобного и современного дополнения к существующей учебной литературе по данной проблематике. Для студентов, аспирантов и преподавателей технических вузов, специализирующихся в области разработки, анализа и исследования компьютерных алгоритмов. Допущено Учебно-методическим объединением вузов по университетскому политехническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению 230200 "Информационные системы и технологии".
Доп.точки доступа:
Физматлит
Ульянов, М. В.
Ресурсно-эффективные компьютерные алгоритмы: разработка и анализ [Электронный ресурс] : учебное пособие / М. В. Ульянов. - Москва : Физматлит, 2008. - 303 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0950-5 : Б. ц.
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: В пособии полно и на современном уровне изложены вопросы выбора рациональных алгоритмических решений, в том числе и комбинированных, важные в практическом плане и актуальные при проектировании информационных и программных систем. Пособие может использоваться в качестве практически удобного и современного дополнения к существующей учебной литературе по данной проблематике. Для студентов, аспирантов и преподавателей технических вузов, специализирующихся в области разработки, анализа и исследования компьютерных алгоритмов. Допущено Учебно-методическим объединением вузов по университетскому политехническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению 230200 "Информационные системы и технологии".
Доп.точки доступа:
Физматлит
Page 2, Results: 54