Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


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

Вид поиска
Электронный каталог
Картотека журнальных статей
Систематический имидж-каталог
Авторефераты диссертаций
Учебники и учебно-методические пособия СПХФУ
ЭБС IPRBooks
ЭБС Консультант студента
ЭБС Юрайт
Диссертации, защищенные в СПХФУ
Журнальный фонд СПХФУ
Библиотечный фонд техникума
ВКР
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=автомат<.>)
Общее количество найденных документов : 36
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-36 
1.

Вид документа : Однотомное издание
Шифр издания : 95042
Автор(ы) : Егоров Д. Л.
Заглавие : Теория вычислительных процессов и структур : Учебное пособие
Выходные данные : Казань: Казанский национальный исследовательский технологический университет, 2018
Колич.характеристики :92 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7882-2378-0: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): автоматная модель--вычислительный процесс--программирование--сеть--формальный язык--цифровой автомат
Аннотация: Представлены основы теории вычислительных процессов и структур, в том числе вопросы, связанные с представлением, анализом и моделированием вычислительных процессов, а также программ, которые их порождают, и устройств, на которых они выполняются. Рассмотрены основы теорий формальных языков, автоматов, схем программ и др. Предназначено для студентов, обучающихся по направлениям 01.03.02 «Прикладная математика и информатика», 02.03.03 «Математическое обеспечение и администрирование информационных систем», 09.03.01 «Информатика и вычислительная техника». Подготовлено на кафедре интеллектуальных систем и управления информационными ресурсами.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 91444
Автор(ы) : Веретельникова Е. Л.
Заглавие : Теоретическая информатика. Теория сетей Петри и моделирование систем : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2018
Колич.характеристики :82 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3559-5: Б.ц.
УДК : 004.42
ББК : 32.8
Ключевые слова (''Своб.индексиров.''): дерево достижимости--конечный автомат--маркированная сеть--матричное уравнение--моделирование системы--мультиграф--сеть петри--теоретическая информатика
Аннотация: В работе изложены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Материал подразделен на двенадцать тем, объединенных в три главы, и сгруппирован таким образом, чтобы на аудиторном занятии изучались соответственно две-три темы. В рамках каждой темы предлагаемый теоретический материал иллюстрируется примерами, а затем предлагаются упражнения для самостоятельной работы. Пособие будет полезно и для студентов других специальностей, интересующихся теорией сетей Петри и вопросами моделирования систем.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 87419
Автор(ы) : Глод О. Д.
Заглавие : Использование автоматных моделей для описания экономических систем и процессов : Монография
Выходные данные : Ростов-на-Дону, Таганрог: Издательство Южного федерального университета, 2017
Колич.характеристики :192 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9275-2434-1: Б.ц.
УДК : 330.4
ББК : 65
Ключевые слова (''Своб.индексиров.''): автоматная модель--анализ иерархий--вероятностный автомат--имитационная модель--математическое моделирование--сетевое планирование--экономическая система--экономический процесс
Аннотация: В работе рассмотрена возможность применения автоматных моделей для описания процессов, происходящих в социально-экономических системах. Предлагаемая монография рекомендуется для студентов, аспирантов и научных работников, интересующихся данной темой.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 94381
Автор(ы) : Беляев П. С., Полушкин Д. Л., Макеев П. В., Шашков И. В.
Заглавие : Технологическое оборудование отрасли : Учебное пособие
Выходные данные : Тамбов: Тамбовский государственный технический университет, ЭБС АСВ, 2018
Колич.характеристики :81 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-8265-1973-8: Б.ц.
УДК : 664.8
ББК : Л81
Ключевые слова (''Своб.индексиров.''): дозирующая система--метод дозирования--метод термоформования--производство тары--сварка излучением--сварка ультразвуком--сыпучий продукт--термопласт--технологическое оборудование--фасовочно-упаковочный автомат
Аннотация: Представлено современное оборудование и системы для дозирования сыпучих продуктов. Описаны наиболее распространённые методы дозирования веществ с последующей их упаковкой. Особое внимание уделено технологии и оборудованию для производства тары и упаковки методом термоформования. Описаны особенности процесса и современные термоформовочные машины. Широко освещены наиболее распространённые способы сварки полимерной тары и упаковки. Представлено современное сварочное оборудование. Предназначено для бакалавров, обучающихся по специальности 29.03.03. «Технология полиграфического и упаковочного производства», и магистрантов направления 29.04.03 «Технология полиграфического и упаковочного производства».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 90420
Автор(ы) : Федотов И. Е.
Заглавие : Параллельное программирование. Модели и приемы
Выходные данные : Москва: СОЛОН-ПРЕСС, 2018
Колич.характеристики :390 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-91359-222-4: Б.ц.
УДК : 681.3
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): интерфейс openmp--квантовое вычисление--квантовый бит--конечный автомат--параллельное программирование--параллельный сумматор--принцип суперпозиции--сети петри--язык sal--ярусно-параллельная форма
Аннотация: Книга посвящена рассмотрению некоторых высокоуровневых моделей параллельного и распределенного программирования. В порядке усложнения описываются несколько моделей внутренней организации параллельных программ: ярусно-параллельная форма программы, сети конечных автоматов, сети Петри, модель актеров, а также модель квантовых вычислений. Приводятся примеры программной реализации на C++ с использованием различных средств распараллеливания (OpenMP, MPI, POSIX Threads, Windows API). В каждом случае рассматриваются вопросы контекстно-независимой реализации конструкций описываемой модели без привязки к конкретным задачам, а также приведены примеры решения с использованием такой реализации некоторых конкретных задач. Некоторые из описанных моделей (к примеру, модель актеров), в настоящий момент приобретают все большую популярность вследствие распространения основанных на ее использовании языков и библиотек. Книга ориентирована на подготовленного читателя в области программирования. Будет полезна программистам, желающим освоить высокоуровневые подходы к организации параллельных и распределенных программ, студентам старших курсов, аспирантам и преподавателям технических ВУЗов, преподающим параллельное программирование.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 97586
Автор(ы) : Cперанский Д. В.
Заглавие : Теория экспериментов с конечными автоматами : Учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :354 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0697-3: Б.ц.
УДК : 519
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): автомат мили--билинейный автомат--диагностическое дерево--динамическое программирование--инициальный автомат--интервальная арифметика--кодирование информации--конечный автомат--линейный автомат--теория эксперимента
Аннотация: Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях. В данном учебном пособии излагаются результаты теории экспериментов с автоматами, востребованные при решении задач технической диагностики дискретных устройств, кодирования и декодирования информации, задач распознавания, расшифровки и идентификации и т.п.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 97548
Автор(ы) : Пентус А. Е., Пентус М. Р.
Заглавие : Математическая теория формальных языков : Учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :218 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0662-1: Б.ц.
УДК : 519
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): автоматный язык--иерархия хомского--конечный автомат--контекстно-свободная грамматика--магазинная память--математическая теория--машина тьюринга--теоретическая информатика--формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 87427
Автор(ы) : Алымова Е. В., Деундяк В. М., Пеленицын А. М.
Заглавие : Конечные автоматы и формальные языки : Учебник
Выходные данные : Ростов-на-Дону, Таганрог: Издательство Южного федерального университета, 2018
Колич.характеристики :292 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9275-2397-9: Б.ц.
УДК : 004.4
ББК : 32.973
Ключевые слова (''Своб.индексиров.''): булева алгебра--конечный автомат--контекстно-свободный язык--магазинная память--праволинейная грамматика--регулярный язык--формальный язык
Аннотация: Содержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий. Предназначен для студентов, которые обучаются по программам бакалавриата и магистратуры в области информационных технологий, прикладной математики и программирования.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 83278
Автор(ы) : Акинина Ю. С., Тюрин С. В.
Заглавие : Теория автоматов : Учебное пособие
Выходные данные : Саратов: Ай Пи Ар Медиа, 2019
Колич.характеристики :192 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0080-3: Б.ц.
УДК : 681.5
ББК : 22.18
Ключевые слова (''Своб.индексиров.''): абстрактный автомат--алгебра логики--граф автомата--двухтактный триггер--математическая модель--микропрограммный автомат--модель мили--модель мура--мультиплексор--теория автоматов
Аннотация: В пособии рассматриваются основные задачи теории автоматов; различные словесные определения автоматов и их формальная классификация; математические и структурные модели типовых автоматов; способы задания абстрактных и структурных автоматов. Изложены математические основы алгебры логики, некоторые понятия и определения, дающие возможность формального описания логических преобразователей (комбинационных автоматов), которые являются основой всех конечных автоматов, включая последовательностные (автоматы с памятью). Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования. Предназначено для изучения дисциплины «Теория автоматов» по направлению подготовки высшего образования 09.03.01 «Информатика и вычислительная техника». Кроме того, учебное пособие будет полезно студентам других специальностей и направлений, изучающих данную дисциплину.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 91482
Автор(ы) : Сажнев А. М., Никулин А. В.
Заглавие : Цифровые устройства и микропроцессоры : Учебно-методическое пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2017
Колич.характеристики :64 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3331-7: Б.ц.
УДК : 004.31
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): автомат мили--автомат мура--двоичная система--конечный автомат--логическая функция--машинный код--микропроцессор--система счисления--цифровое устройство
Аннотация: Учебно-методическое пособие содержит теоретический материал, задания для контрольной работы, а также расчетно-графическое задание по курсу «Цифровые устройства и микропроцессоры». Пособие адресовано студентам, обучающимся по направлению «Радиотехника».
(для доступа требуется авторизация)

Найти похожие
 1-10    11-20   21-30   31-36 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 01.07.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)