Научная библиотека СГЮА

Главная

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

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

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

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

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

Поисковый запрос: (<.>K=конечные автоматы<.>)

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

Богатырев, Р.
Об автоматном и асинхронном программировании [Текст] / Р. Богатырев // Открытые системы. - 2001. - N 3. - С. . 68-69. - , , , . - НБ УлГУ. - Рец. на кн.: Шалыто А. А. Логическое управление. Методы аппаратной и программной реализации. - СПб. : Наука, 2000. - 780 с. - osys01_000_003

УДК

^A004.43

Рубрики: Вычислительная техника--Языки программирования
Кл.слова (ненормированные):
конечные автоматы -- автоматное программирование -- асинхронное программирование -- логическое управление -- алгоритмы -- рецензии
Аннотация: В начале 70-х годов Дуглас Росс, автор известной методологии IDEFO, утверждал, что "80 или даже 90% информатики будет в будущем основываться на теории конечных автоматов". И хотя этого пока не наблюдается, все же можно сказать, что конечные автоматы с 60-х годов играют заметную роль в развитии компьютерных технологий.

Доп.точки доступа:
Шалыто \а. А.\
Нет сведений об экземплярах (Источник в БД не найден)

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

Мазин, Максим.
Преступники и автоматы [Текст] / Максим Мазин, Анатолий Шалыто // Мир ПК. - 2004. - N 9. - С. . 82-84. - Библиогр.: с. 84 (11 назв. ). - RUMARS-mir_04_000_009_0082_1

УДК

^a004.4

ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование)
Кл.слова (ненормированные):
программирование -- автоматы -- теория конечных автоматов -- конечные автоматы -- головоломки -- логические задачи -- задачи
Аннотация: Демонстрируется программное решение логической головоломки, решаемой эвристически, с доказательством корректности решения с использованием конечных автоматов. Головоломка решена на основе программирования с явным выделением состояний. Это т. н. "задача о преступниках".

Доп.точки доступа:
Шалыто, Анатолий
Нет сведений об экземплярах (Источник в БД не найден)

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

Проектирование бизнес-процессов в рамках автоматного подхода к BPR [Текст] / Ю. М. Сметанин [и др. ] // Менеджмент: теория и практика. - 2008. - N 3/4. - С. 211-220 : 5 рис. - Библиогр.: с. 220 (6 назв. )

УДК

^a338.24

ББК 65.291.2
Рубрики: Экономика
Внутрифирменное управление. Менеджмент
Кл.слова (ненормированные):
проектирование бизнес-процессов -- бизнес-процессы -- инжиниринг -- посредники -- автоматные модели -- формальные модели -- конечные автоматы -- кусочно-линейные агрегаты
Аннотация: Рассматривается пример инжиниринга бизнес-процессов фирмы-посредника. Для проектирования бизнес-процессов используются формальные модели конечных автоматов и кусочно-линейных агрегатов.

Доп.точки доступа:
Сметанин, Ю. М. (канд. физ.-мат. наук); Сметанина, Е. Ю. (экономист); Мелехов, Д. Г. (инженер-программист); Котегов, Д. Ю. (аспирант)

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

Матов, Дмитрий Олегович.
Аффинные преобразования геометрических образов конечных автоматов [Текст] / Д. О. Матов // Известия Саратовского университета. Новая серия. Сер.: Математика. Механика. Информатика. - 2012. - Вып. 3. - С. 104-108 : рис. - Библиогр.: с. 108 (4 назв.) . - ISSN 1814-733X

УДК

^a519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика
Кл.слова (ненормированные):
аффинные преобразования -- геометрические образы -- конечные автоматы
Аннотация: Рассматривается подкласс аффинных преобразований геометрических образов автоматов. Приводятся результаты исследования свойств и вида рассматриваемых преобразований.

Нет сведений об экземплярах (Источник в БД не найден)

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

Панов, А. Д. (кандидат физико-математических наук).
Технологическая сингулярность, теорема Пенроуза об искусственном интеллекте и квантовая природа сознания [Текст] / А. Д. Панов // Информационные технологии. - 2014. - № 5. - С. 2-31. - Библиогр.: с. 31 (32 назв.). - Статья опубликована в "Приложении к журналу" и имеет собственную нумерацию страниц . - ISSN 1684-6400

УДК

^a004.8

ББК 32.813
Рубрики: Радиоэлектроника
Искусственный интеллект. Экспертные системы
Кл.слова (ненормированные):
Пенроуза теорема -- изоморфизм -- квантовая природа сознания -- квантовые компьютеры -- конечные автоматы -- симуляция мышления -- теорема Пенроуза -- технологическая сингулярность -- цитоэтология
Аннотация: Критически анализируются прогнозы в отношении возможности создания сильного искусственного интеллекта уже в ближайшие десятилетия. Показано, что эти прогнозы основаны на трех плохо обоснованных предположениях и на одном практически полностью не понятом обстоятельстве.

Нет сведений об экземплярах (Источник в БД не найден)

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

Маслова, Е. Ю.
Применение теории автоматов в исследовании экономических систем [Текст] / Маслова Е. Ю. // Аспирант и соискатель. - 2014. - № 5. - С. 43-45. - Библиогр.: с. 45 (2 назв. ) . - ISSN 1608-9014

УДК

^a519.17

ББК 22.174.2
Рубрики: Математика
Теория графов
Кл.слова (ненормированные):
автоматы (математика) -- вычисления -- информационные модели -- конечные автоматы -- теория активных систем -- технологические процессы -- экономические системы
Аннотация: Рассматриваются математические основы моделей технологических процессов, применяемых в экономических и технологических системах.

Нет сведений об экземплярах (Источник в БД не найден)

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

Воробьев, В. В. (аспирант).
Применение мультимножеств для оценки ситуации мобильным агентом [Текст] / В. В. Воробьев, Е. А. Паршикова // Информационные технологии. - 2015. - Т. 21, № 6. - С. 421-426. - Библиогр.: с. 426 (6 назв.) . - ISSN 1684-6400

УДК

^a004.8

ББК 32.813
Рубрики: Радиоэлектроника
Искусственный интеллект. Экспертные системы
Кл.слова (ненормированные):
агрегирование данных -- интеллектуальные роботы -- конечные автоматы -- мобильные агенты -- мультимножества -- распознавание ситуаций -- теория управления
Аннотация: Рассмотрена возможность применения мультимножеств для оценки ситуации мобильным агентом.

Доп.точки доступа:
Паршикова, Е. А. (аспирант)
Нет сведений об экземплярах (Источник в БД не найден)

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

Погребной, В. Ю.
Методы регистрации местоположения и параметров движения городского маршрутного транспорта по данным спутникового мониторинга [Текст] = Methods of recording the location and traffic parameters of urban fixed-route transport according to satellite monitoring data / В. Ю. Погребной // Вестник компьютерных и информационных технологий. - 2015. - № 8. - С. 10-17 : ил. - Библиогр.: с. 16-17 (8 назв.) . - ISSN 1810-7206

УДК

^a656.13

^a519.22

^a519.17

ББК 39.37 + 22.172 + 22.174.2
Рубрики: Транспорт
   Автоматизация и связь на автодорожном транспорте
   Математика
   Математическая статистика
   Теория графов
Кл.слова (ненормированные):
глобальные навигационные спутниковые системы -- городской маршрутный транспорт -- интеллектуальные транспортные системы -- конечные автоматы -- маршрутные сети -- навигационно-телеметрические данные -- определение местоположения
Аннотация: Предложены оригинальные методы и алгоритмы определения местоположения транспорта в маршрутной сети города. Описаны методы накопления статистики изменения времен задержки на остановках, интервалов и скоростей движения на сегментах улично-дорожной сети, основанные на разработанной модели транспортной системы и навигационных данных, и на конечном автомате, хранящем и изменяющем в реальном масштабе времени состояние транспортных средств.

Нет сведений об экземплярах (Источник в БД не найден)

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

Бабаш, А. В.
Достижимая верхняя оценка степени различимости связного перестановочного автомата [Текст] = Achievable upper bound for the degree of distinctiveness of a connected permutation automaton / А. В. Бабаш // Проблемы информационной безопасности. Компьютерные системы. - 2016. - № 1. - С. 61-69 : табл. - Библиогр.: с. 69 (6 назв.) . - ISSN 2071-8217

УДК

^a004.93

ББК 32.973-018.2
Рубрики: Вычислительная техника
Распознавание и преобразование образов
Кл.слова (ненормированные):
достижимые оценки степени различимости -- заданные диаметры автоматов (вычислительная техника) -- конечные автоматы -- криптография -- перестановочные автоматы (вычислительная техника) -- связные перестановочные автоматы -- степени различимости автоматов
Аннотация: Приведена достижимая верхняя оценка степени различимости связного перестановочного автомата с заданным диаметром.

Нет сведений об экземплярах (Источник в БД не найден)

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

10.

Марковская математическая модель динамического адаптивного тестирования активного агента [Текст] = Markov mathematical model of dynamic adaptive testing of an active agent / Н. В. Бровка [и др.] // Информатика и образование. - 2018. - № 10. - С. 29-35 : 4 рис. - Библиогр.: с. 33-35. - Рез. и библиогр. англ. . - ISSN 0234-0453

УДК

^a378

ББК 74.58
Рубрики: Образование. Педагогика
Высшее профессиональное образование
Кл.слова (ненормированные):
активные агенты -- динамические тесты -- динамическое адаптивное тестирование -- конечные автоматы -- марковские математические модели -- марковские модели -- марковский процесс -- математические модели -- оценочная обратная связь -- студенты -- учебная деятельность студентов -- учебное взаимодействие -- учебные рейтинги -- электронная среда
Аннотация: Разработка марковской математической модели взаимодействия активного агента с конечным автоматом "Ликвидатор", отменяющим неправильные действия, что позволит математически описать динамическое адаптивное тестирование с оценочной обратной связью.

Доп.точки доступа:
Бровка, Наталья Владимировна (доктор педагогических наук); Дьячук, Павел Петрович (доктор педагогических наук); Носков, Михаил Валерианович (доктор физико-математических наук); Перегудова, Ирина Павловна
Нет сведений об экземплярах (Источник в БД не найден)

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

11.

Коряковцев, Михаил Андреевич (аспирант).
Использование конечных автоматов для извлечения текстовых данных электронных резюме сайтов трудоустройства HeadHunter, Superjob и Работа.Ru [Текст] / М. А. Коряковцев // Высшее образование сегодня. - 2016. - № 11. - С. 18-22 : фот. - Библиогр.: с. 22 (9 назв.) . - ISSN 1726-667X

УДК

^a378

ББК 74.58
Рубрики: Вычислительная техника
Прикладные информационные (компьютерные) технологии в целом
Кл.слова (ненормированные):
банки электронных резюме -- извлечение текстовых данных -- интеграция текстовых данных -- информационные системы -- кадровые информационные системы -- конечные автоматы -- математические модели -- резюме -- сайты трудоустройства -- текстовые данные -- трудоустройство -- электронные резюме
Аннотация: Рассмотрена математическая модель интеграции данных, используемая в кадровой информационной системе для работы с банками электронных резюме трех сайтов: HeadHunter, Superjob и Работа. Ru.

Нет сведений об экземплярах (Источник в БД не найден)

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

12.

Марченков, Сергей Серафимович (доктор физико-математических наук; профессор).
О проблеме выполнимости логико-автоматных формул [Текст] / С. С. Марченков // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2020. - № 2 (54). - С. 61-71. - Библиогр.: с. 69-70 (11 назв.) . - ISSN 2072-3040

УДК

^a519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика
Кл.слова (ненормированные):
конечные автоматы -- логико-автоматные формулы -- проблема выполнимости
Аннотация: Рассматриваются логико-автоматные формулы, построенные с помощью логических связок из равенств автоматных термов. Для формул данного типа формулируется проблема выполнимости по функциональным (автоматным) переменным. При этом предполагается, что все предметные переменные (по двоичным сверхсловам) находятся под кванторами общности. Строится алгоритм, основанный на переборе частичных недетерминированных автоматов, который решает данную проблему. Предложенный в работе подход к анализу и решению проблемы выполнимости для конечно-автоматных логических формул может быть использован при решении аналогичных алгоритмических проблем для логико-автоматных формул более сложных типов.

Нет сведений об экземплярах (Источник в БД не найден)

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

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

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