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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 90421
Автор(ы) : Бибило П. Н.
Заглавие : Синтез логических схем с использованием языка VHDL
Выходные данные : Москва: СОЛОН-Р, 2016
Колич.характеристики :384 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 5-93455-152-3: Б.ц.
УДК : 62
ББК : 32.85
Ключевые слова (''Своб.индексиров.''): высокоуровневый синтез--декларация константы--комбинационная схема--конечный автомат--логическая схема--логический синтез--синтез схемы--цифровая система--язык vhdl--язык проектирования
Аннотация: Рассматриваются теоретические основы синтеза логических схем по спецификациям на высокоуровневом языке VHDL, предназначенном для проектирования цифровых систем, описывается «синтезируемое» подмножество языка VHDL в системе автоматического синтеза Leonardo, приводятся примеры синтезируемых (схемно реализуемых) конструкций языка и примеры синтезируемых описаний типовых схем, изучается проблема эффективного управления процессом синтеза. Язык VHDL является международным стандартом в системах автоматизации проектирования и предназначен для спецификации, моделирования и синтеза цифровых систем на основе заказных и программируемых пользователями сверхбольших интегральных схем. Книга предназначена для первоначального ознакомления как с языком VHDL, так и c проблемой синтеза схем по спецификациям на языке VHDL. Может быть полезна студентам, аспирантам и специалистам, занимающимся разработкой электронной аппаратуры с помощью средств САПР.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 91347
Автор(ы) : Пинус А. Г.
Заглавие : Дискретные функции. Дополнительные главы дискретной математики : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2016
Колич.характеристики :92 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2838-2: Б.ц.
УДК : 512
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): детерминированная функция--дискретная математика--дискретная функция--конечное множество--конечный автомат
Аннотация: В работе рассмотрены избранные вопросы теории дискретных функций: алгебраические основы этой теории, теория функциональных клонов на конечных множествах, теория ограниченно-детерминированных функций, а также основы теории конечных автоматов. Для студентов, магистрантов, аспирантов технических вузов, специализирующихся в области прикладной математики и информатики.
(для доступа требуется авторизация)

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 91065
Автор(ы) : Кулаков Д. Б., Кулаков Б. Б.
Заглавие : Роботы и робототехника: лабораторный практикум : Учебное пособие
Выходные данные : Москва: Российский университет дружбы народов, 2018
Колич.характеристики :124 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-209-07506-6: Б.ц.
УДК : 621.865
ББК : 32.816
Ключевые слова (''Своб.индексиров.''): kawasaki fs03n--имитационное моделирование--кинематическая цепь--конечный автомат--манипуляционный робот--робот--робот-манипулятор--робототехника--робототехнический комплекс--среда labview
Аннотация: В пособии представлены основы кинематического описания роботов-манипуляторов, принципы их управления и программирования на примере робота-манипулятора Kawasaki FS03N. Приведен пример разработки программы управления роботом Kawasaki FS03N с подключенной системой технического зрения. Также рассматриваются основы группового управления роботов на основе теории конечных автоматов и сетей Петри с реализованным примером в виде практической задачи совместного переноса деталей группой роботов Kawasaki FS03N с общими рабочими зонами. При этом используются программный комплекс LabView и соответствующее аппаратное обеспечение. Рассмотрены основы 3D-моделирования промышленных роботов на базе пакета PC-Roset имитационного моделирования роботов-манипуляторов Kawasaki. Для студентов вузов, обучающихся по специальностям, связанным с управлением робототехническими системами. Также представляет интерес для аспирантов, преподавателей и специалистов.
(для доступа требуется авторизация)

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 92827
Автор(ы) : Шмырин А. М., Седых И. А.
Заглавие : Дискретная математика и математическая логика : Учебное пособие для СПО
Выходные данные : Липецк, Саратов: Липецкий государственный технический университет, Профобразование, 2020
Колич.характеристики :160 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88247-960-1, 978-5-4488-0751-0: Б.ц.
УДК : 519
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): граф--дискретная математика--конечный автомат--математическая логика--математическое моделирование--множество
Аннотация: В настоящем учебном пособии рассматриваются некоторые разделы дискретной математики и математической логики. В каждом разделе приведено большое количество иллюстраций и подробно разобранных примеров. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплин «Дискретная математика», «Элементы математической логики», «Дискретная математика с элементами математической логики», «Математическая логика и теория алгоритмов» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 67154
Заглавие : Теория алгоритмов : Учебно-методический комплекс
Выходные данные : Алматы: Нур-Принт, 2012
Колич.характеристики :79 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 9965-756-08-2: Б.ц.
УДК : 004.4
ББК : 32.973
Ключевые слова (''Своб.индексиров.''): грамматика хомского--детерминированный автомат--конечный автомат--машина тьюринга--общерекурсивная функция--оператор суперпозиции--программирование алгоритма--теория алгоритма
Аннотация: Курс «Теория алгоритмов» рассчитан на один семестр и призван упрочить фундамент специальной подготовки будущих педагогов, способствовать дальнейшему формированию логической и алгоритмической культуры будущих учителей информатики и информационных технологий. Исходным пунктом курса служит недостаточность интуитивного определения алгоритма. Рассматривается описание вычислительного процесса, принимаемого в качестве формального определения понятия алгоритма, в терминах частично-рекурсивных функций и вычислительных устройств (машины Тьюринга и Поста). Далее рассматриваются примеры невычислимой функции, алгоритмически неразрешимых проблем математики и информатики.
(для доступа требуется авторизация)

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

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

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