Гуменюк, А. С. Прикладная теория информации [Электронный ресурс] : учебное пособие / Гуменюк А. С. - Омск : Омский государственный технический университет, 2015. - 189 с. - ISBN 978-5-8149-2114-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): информационный процесс -- информация -- информирование Аннотация: Представлены формализмы теории М. Мазура, описывающие информационные процессы в цепях управления любой природы. Существует два вида таких процессов - преобразования сообщений (коды и информации) и преобразования информаций (информирование). Теоретические положения учебного пособия сопровождаются практическими примерами, контрольными вопросами и заданиями. Предназначено для студентов бакалавриата и магистрантов, обучающихся по направлениям 09.03.01, 09.04.01 «Информатика и вычислительная техника» и изучающих дисциплины: «Теория информации и кодирования», «Прикладная теория информации» и «Теоретические основы информационных процессов». Доп.точки доступа: Поздниченко, Н. Н. Свободных экз. нет |
Вельдер, С. Э. Верификация автоматных программ [Электронный ресурс] : учебное пособие / Вельдер С. Э. - Санкт-Петербург : Университет ИТМО, 2011. - 245 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): автоматная программа -- валидация -- верификатор -- верификация -- по -- темпоральная логика Аннотация: В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств. Материал учебного пособия предназначен для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также студентов и аспирантов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети». Предполагается знакомство читателя с основными понятиями математической логики, дискретной математики, теории графов и теории алгоритмов. Доп.точки доступа: Лукин, М. А.; Шалыто, А. А.; Яминов, Б. Р. Свободных экз. нет |
Давид, Е. Динамика систем с неравенствами: удары и жесткие связи [Электронный ресурс] / Давид Е. - Москва, Ижевск : Ижевский институт компьютерных исследований, 2019. - 544 с. - ISBN 978-5-4344-0750-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): динамика -- механическая система -- неравенство -- статистическая задача -- формализмы -- численный метод Аннотация: В монографии представлено современное состояние теории систем с ограничениями в виде неравенств. Приложения этой теории включают динамику механических систем с ударами и трением, диодные и транзисторные цепи, экономические и транспортные сети, биологические системы с ограничениями ресурсов и пр. Автор вводит понятие индекса системы, которое является ключом для определения математического аппарата, необходимого для ее исследования. В состав этого аппарата входят вариационные неравенства, комплементарность, выпуклая оптимизация, оснащенные гильбертовы пространства, численные методы. Следует отметить, что многие из этих методов развиты в последние два десятилетия и сведения о них недостаточно опубликованы на русском языке. Вся необходимая вспомогательная теоретическая информация приведена в приложениях к книге, что делает ее доступной для понимания. Изложение иллюстрируется большим числом примеров, имеющих практическое значение. Книга адресована специалистам в области механики, негладкой динамики и теории оптимизации, студентам старших курсов и аспирантам. Доп.точки доступа: Иванов, А. П. \пер.\ Свободных экз. нет |