Поисковый запрос: (<.>K=конечные автоматы<.>) |
Общее количество найденных документов : 12
Показаны документы с 1 по 12 |
1. 
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Богатырев Р.
Заглавие : Об автоматном и асинхронном программировании
Место публикации : Открытые системы. - 2001. - N 3. - С. 68-69 (Шифр osys/2001)
Примечания : , , , НБ УлГУРец. на кн.: Шалыто А. А. Логическое управление. Методы аппаратной и программной реализации. - СПб. : Наука, 2000. - 780 с.osys01_000_003
УДК : 004.43
Предметные рубрики: Вычислительная техника-- Языки программирования
Ключевые слова (''Своб.индексиров.''): конечные автоматы--автоматное программирование--асинхронное программирование--логическое управление--алгоритмы--рецензии
Аннотация: В начале 70-х годов Дуглас Росс, автор известной методологии IDEFO, утверждал, что "80 или даже 90% информатики будет в будущем основываться на теории конечных автоматов". И хотя этого пока не наблюдается, все же можно сказать, что конечные автоматы с 60-х годов играют заметную роль в развитии компьютерных технологий.
Найти похожие
|
2.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Мазин, Максим, Шалыто, Анатолий
Заглавие : Преступники и автоматы
Серия: Программное обеспечение
Место публикации : Мир ПК. - 2004. - N 9. - С. 82-84 (Шифр mir_/2004/9)
Примечания : Библиогр.: с. 84 (11 назв. ). - RUMARS-mir_04_000_009_0082_1
ISSN: 0235-3520
УДК : 004.4
ББК : 32.973-018
Предметные рубрики: Вычислительная техника-- Математическое обеспечение (Программирование)
Ключевые слова (''Своб.индексиров.''): программирование--автоматы--теория конечных автоматов--конечные автоматы--головоломки--логические задачи--задачи
Аннотация: Демонстрируется программное решение логической головоломки, решаемой эвристически, с доказательством корректности решения с использованием конечных автоматов. Головоломка решена на основе программирования с явным выделением состояний. Это т. н. "задача о преступниках".
Найти похожие
|
3.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Сметанин Ю. М., Сметанина Е. Ю., Мелехов Д. Г., Котегов Д. Ю.
Заглавие : Проектирование бизнес-процессов в рамках автоматного подхода к BPR
Серия: Менеджмент и маркетинг на предприятии
Место публикации : Менеджмент: теория и практика. - 2008. - N 3/4. - С.211-220: 5 рис.
Примечания : Библиогр.: с. 220 (6 назв. )
УДК : 338.24
ББК : 65.291.2
Предметные рубрики: Экономика
Внутрифирменное управление. Менеджмент
Ключевые слова (''Своб.индексиров.''): проектирование бизнес-процессов--бизнес-процессы--инжиниринг--посредники--автоматные модели--формальные модели--конечные автоматы--кусочно-линейные агрегаты
Аннотация: Рассматривается пример инжиниринга бизнес-процессов фирмы-посредника. Для проектирования бизнес-процессов используются формальные модели конечных автоматов и кусочно-линейных агрегатов.
Найти похожие
|
4.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Матов, Дмитрий Олегович
Заглавие : Аффинные преобразования геометрических образов конечных автоматов
Серия: Научный отдел
.
Информатика
Место публикации : Известия Саратовского университета. Новая серия. Сер.: Математика. Механика. Информатика. - 2012. - Вып. 3. - С.104-108: рис. - ISSN 1814-733X (Шифр isg1/2012/3). - ISSN 1814-733X
Примечания : Библиогр.: с. 108 (4 назв.)
УДК : 519.7
ББК : 22.18
Предметные рубрики: Математика
Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): аффинные преобразования--геометрические образы--конечные автоматы
Аннотация: Рассматривается подкласс аффинных преобразований геометрических образов автоматов. Приводятся результаты исследования свойств и вида рассматриваемых преобразований.
Найти похожие
|
5.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Панов А. Д. (кандидат физико-математических наук)
Заглавие : Технологическая сингулярность, теорема Пенроуза об искусственном интеллекте и квантовая природа сознания
Место публикации : Информационные технологии. - 2014. - № 5. - С.2-31. - ISSN 1684-6400 (Шифр inft/2014/5). - ISSN 1684-6400
Примечания : Библиогр.: с. 31 (32 назв.). - Статья опубликована в "Приложении к журналу" и имеет собственную нумерацию страниц
УДК : 004.8
ББК : 32.813
Предметные рубрики: Радиоэлектроника
Искусственный интеллект. Экспертные системы
Ключевые слова (''Своб.индексиров.''): пенроуза теорема--изоморфизм--квантовая природа сознания--квантовые компьютеры--конечные автоматы--симуляция мышления--теорема пенроуза--технологическая сингулярность--цитоэтология
Аннотация: Критически анализируются прогнозы в отношении возможности создания сильного искусственного интеллекта уже в ближайшие десятилетия. Показано, что эти прогнозы основаны на трех плохо обоснованных предположениях и на одном практически полностью не понятом обстоятельстве.
Найти похожие
|
6.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Маслова Е. Ю.
Заглавие : Применение теории автоматов в исследовании экономических систем
Серия: Естественные науки
.
Физико-математические науки
.
Математика
.
Дискретная математика и математическая кибернетика
Место публикации : Аспирант и соискатель. - 2014. - № 5. - С.43-45. - ISSN 1608-9014 (Шифр asps/2014/5). - ISSN 1608-9014
Примечания : Библиогр.: с. 45 (2 назв. )
УДК : 519.17
ББК : 22.174.2
Предметные рубрики: Математика
Теория графов
Ключевые слова (''Своб.индексиров.''): автоматы (математика)--вычисления--информационные модели--конечные автоматы--теория активных систем--технологические процессы--экономические системы
Аннотация: Рассматриваются математические основы моделей технологических процессов, применяемых в экономических и технологических системах.
Найти похожие
|
7.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Воробьев В. В. (аспирант), Паршикова Е. А.
Заглавие : Применение мультимножеств для оценки ситуации мобильным агентом
Серия: Интеллектуальные системы и технологии
Место публикации : Информационные технологии. - 2015. - Т. 21, № 6. - С.421-426. - ISSN 1684-6400 (Шифр inft/2015/21/6). - ISSN 1684-6400
Примечания : Библиогр.: с. 426 (6 назв.)
УДК : 004.8
ББК : 32.813
Предметные рубрики: Радиоэлектроника
Искусственный интеллект. Экспертные системы
Ключевые слова (''Своб.индексиров.''): агрегирование данных--интеллектуальные роботы--конечные автоматы--мобильные агенты--мультимножества--распознавание ситуаций--теория управления
Аннотация: Рассмотрена возможность применения мультимножеств для оценки ситуации мобильным агентом.
Найти похожие
|
8.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Погребной В. Ю.
Заглавие : Методы регистрации местоположения и параметров движения городского маршрутного транспорта по данным спутникового мониторинга
Параллельн. заглавия :Methods of recording the location and traffic parameters of urban fixed-route transport according to satellite monitoring data
Серия: Информационно-управляющие комплексы подвижных объектов
Место публикации : Вестник компьютерных и информационных технологий. - 2015. - № 8. - С.10-17: ил. - ISSN 1810-7206 (Шифр vkii/2015/8). - ISSN 1810-7206
Примечания : Библиогр.: с. 16-17 (8 назв.)
УДК : 656.13 + 519.22 + 519.17
ББК : 39.37 + 22.172 + 22.174.2
Предметные рубрики: Транспорт
Автоматизация и связь на автодорожном транспорте
Математика
Математическая статистика
Теория графов
Ключевые слова (''Своб.индексиров.''): глобальные навигационные спутниковые системы--городской маршрутный транспорт--интеллектуальные транспортные системы--конечные автоматы--маршрутные сети--навигационно-телеметрические данные--определение местоположения
Аннотация: Предложены оригинальные методы и алгоритмы определения местоположения транспорта в маршрутной сети города. Описаны методы накопления статистики изменения времен задержки на остановках, интервалов и скоростей движения на сегментах улично-дорожной сети, основанные на разработанной модели транспортной системы и навигационных данных, и на конечном автомате, хранящем и изменяющем в реальном масштабе времени состояние транспортных средств.
Найти похожие
|
9.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Бабаш А. В.
Заглавие : Достижимая верхняя оценка степени различимости связного перестановочного автомата
Параллельн. заглавия :Achievable upper bound for the degree of distinctiveness of a connected permutation automaton
Серия: Практические аспекты криптографии
Место публикации : Проблемы информационной безопасности. Компьютерные системы. - 2016. - № 1. - С.61-69: табл. - ISSN 2071-8217 (Шифр pinb/2016/1). - ISSN 2071-8217
Примечания : Библиогр.: с. 69 (6 назв.)
УДК : 004.93
ББК : 32.973-018.2
Предметные рубрики: Вычислительная техника
Распознавание и преобразование образов
Ключевые слова (''Своб.индексиров.''): достижимые оценки степени различимости--заданные диаметры автоматов (вычислительная техника)--конечные автоматы--криптография--перестановочные автоматы (вычислительная техника)--связные перестановочные автоматы--степени различимости автоматов
Аннотация: Приведена достижимая верхняя оценка степени различимости связного перестановочного автомата с заданным диаметром.
Найти похожие
|
10.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Бровка, Наталья Владимировна, Дьячук, Павел Петрович, Носков, Михаил Валерианович, Перегудова, Ирина Павловна
Заглавие : Марковская математическая модель динамического адаптивного тестирования активного агента
Параллельн. заглавия :Markov mathematical model of dynamic adaptive testing of an active agent
Серия: Педагогические измерения и тесты
Место публикации : Информатика и образование. - 2018. - № 10. - С.29-35: 4 рис. - ISSN 0234-0453 (Шифр inio/2018/10). - ISSN 0234-0453
Примечания : Библиогр.: с. 33-35. - Рез. и библиогр. англ.
УДК : 378
ББК : 74.58
Предметные рубрики: Образование. Педагогика
Высшее профессиональное образование
Ключевые слова (''Своб.индексиров.''): активные агенты--динамические тесты--динамическое адаптивное тестирование--конечные автоматы--марковские математические модели--марковские модели--марковский процесс--математические модели--оценочная обратная связь--студенты--учебная деятельность студентов--учебное взаимодействие--учебные рейтинги--электронная среда
Аннотация: Разработка марковской математической модели взаимодействия активного агента с конечным автоматом "Ликвидатор", отменяющим неправильные действия, что позволит математически описать динамическое адаптивное тестирование с оценочной обратной связью.
Найти похожие
|
11.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Коряковцев, Михаил Андреевич (аспирант)
Заглавие : Использование конечных автоматов для извлечения текстовых данных электронных резюме сайтов трудоустройства HeadHunter, Superjob и Работа.Ru
Серия: Педагогика
.
Информатика без границ
Место публикации : Высшее образование сегодня. - 2016. - № 11. - С.18-22: фот. - ISSN 1726-667X (Шифр vose/2016/11). - ISSN 1726-667X
Примечания : Библиогр.: с. 22 (9 назв.)
УДК : 378
ББК : 74.58
Предметные рубрики: Вычислительная техника
Прикладные информационные (компьютерные) технологии в целом
Ключевые слова (''Своб.индексиров.''): банки электронных резюме--извлечение текстовых данных--интеграция текстовых данных--информационные системы--кадровые информационные системы--конечные автоматы--математические модели--резюме--сайты трудоустройства--текстовые данные--трудоустройство--электронные резюме
Аннотация: Рассмотрена математическая модель интеграции данных, используемая в кадровой информационной системе для работы с банками электронных резюме трех сайтов: HeadHunter, Superjob и Работа. Ru.
Найти похожие
|
12.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Марченков, Сергей Серафимович (доктор физико-математических наук; профессор)
Заглавие : О проблеме выполнимости логико-автоматных формул
Серия: Математика
Место публикации : Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2020. - № 2 (54). - С.61-71. - ISSN 2072-3040 (Шифр izpe/2020/2). - ISSN 2072-3040
Примечания : Библиогр.: с. 69-70 (11 назв.)
УДК : 519.7
ББК : 22.18
Предметные рубрики: Математика
Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): конечные автоматы--логико-автоматные формулы--проблема выполнимости
Аннотация: Рассматриваются логико-автоматные формулы, построенные с помощью логических связок из равенств автоматных термов. Для формул данного типа формулируется проблема выполнимости по функциональным (автоматным) переменным. При этом предполагается, что все предметные переменные (по двоичным сверхсловам) находятся под кванторами общности. Строится алгоритм, основанный на переборе частичных недетерминированных автоматов, который решает данную проблему. Предложенный в работе подход к анализу и решению проблемы выполнимости для конечно-автоматных логических формул может быть использован при решении аналогичных алгоритмических проблем для логико-автоматных формул более сложных типов.
Найти похожие
|
|
|
Главная
Описание
Шлюз Z39.50
Книги фонда НБ СГЮА
Стандартный