Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=формализмы<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

Вид документа : Однотомное издание
Шифр издания : 58097
Автор(ы) : Гуменюк А. С., Поздниченко Н. Н.
Заглавие : Прикладная теория информации : Учебное пособие
Выходные данные : Омск: Омский государственный технический университет, 2015
Колич.характеристики :189 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-8149-2114-7: Б.ц.
УДК : 007
ББК : 32.811
Ключевые слова (''Своб.индексиров.''): информационный процесс--информация--информирование
Аннотация: Представлены формализмы теории М. Мазура, описывающие информационные процессы в цепях управления любой природы. Существует два вида таких процессов - преобразования сообщений (коды и информации) и преобразования информаций (информирование). Теоретические положения учебного пособия сопровождаются практическими примерами, контрольными вопросами и заданиями. Предназначено для студентов бакалавриата и магистрантов, обучающихся по направлениям 09.03.01, 09.04.01 «Информатика и вычислительная техника» и изучающих дисциплины: «Теория информации и кодирования», «Прикладная теория информации» и «Теоретические основы информационных процессов».
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 65818
Автор(ы) : Вельдер С. Э., Вельдер С. Э., Лукин М. А., Шалыто А. А., Яминов Б. Р.
Заглавие : Верификация автоматных программ
Выходные данные : Санкт-Петербург: Университет ИТМО, 2011
Колич.характеристики :245 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 00
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): автоматная программа--валидация--верификатор--верификация--по--темпоральная логика
Аннотация: В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств. Материал учебного пособия предназначен для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также студентов и аспирантов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети». Предполагается знакомство читателя с основными понятиями математической логики, дискретной математики, теории графов и теории алгоритмов.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 92079
Автор(ы) : Давид Е.
Заглавие : Динамика систем с неравенствами: удары и жесткие связи
Выходные данные : Москва, Ижевск: Ижевский институт компьютерных исследований, 2019
Колич.характеристики :544 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4344-0750-2: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): динамика--механическая система--неравенство--статистическая задача--формализмы--численный метод
Аннотация: В монографии представлено современное состояние теории систем с ограничениями в виде неравенств. Приложения этой теории включают динамику механических систем с ударами и трением, диодные и транзисторные цепи, экономические и транспортные сети, биологические системы с ограничениями ресурсов и пр. Автор вводит понятие индекса системы, которое является ключом для определения математического аппарата, необходимого для ее исследования. В состав этого аппарата входят вариационные неравенства, комплементарность, выпуклая оптимизация, оснащенные гильбертовы пространства, численные методы. Следует отметить, что многие из этих методов развиты в последние два десятилетия и сведения о них недостаточно опубликованы на русском языке. Вся необходимая вспомогательная теоретическая информация приведена в приложениях к книге, что делает ее доступной для понимания. Изложение иллюстрируется большим числом примеров, имеющих практическое значение. Книга адресована специалистам в области механики, негладкой динамики и теории оптимизации, студентам старших курсов и аспирантам.
(для доступа требуется авторизация)

Тематический навигатор

Статистика обращений

Статистика за 04.07.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)