?
Мещеряков М.В. Сухарев Л.А. Практикум по теории конечных автоматов и формальных языков- Саранск : Изд-во Мордов. ун-та, 2018.-224с.
Саранск :
Изд-во Мордовского университета, 2018.
Мещеряков М. В., Сухарев Л. А.
Книга является вводным курсом по теории формальных языков и конечных автоматов. В ней представлен основной материал дициплины, относящийся к математическим основам ряда синтаксических методов инорматики и программирования. Книга предназначена для студентов бакалавриата по направлениям подготовки: фундаментальная информатика и информационные технологии, прикладная математика и информатика, программная инженерия
Научное направление:
Компьютерные науки
Язык:
русский
Добавлено: 27 апреля 2026 г.
Tsareva O. O., Malova H. V., V. Yu. Popov и др., Plasma Physics Reports 2026 Vol. 52 No. 2 P. 179–185
Добавлено: 27 апреля 2026 г.
NY: Association for Computing Machinery (ACM), 2026.
Добавлено: 23 апреля 2026 г.
Кычкин А. В., Черницин И. А., Прикладная информатика 2026 Т. 21 № 1 С. 40–58
Представлены результаты разработки программного микросервиса, встраиваемого в системы мониторинга качества атмосферного воздуха для поддержки процессов идентификации промышленных источников загрязнений. Выброс и последующее распространение вредных веществ в приземистых слоях атмосферы происходит в динамике и характеризуется высокой неопределенностью из‑за особенностей технологических установок, их режимов работы, влияния рельефа местности, зданий и метеофакторов. Зависимости между местоположением источника выброса и ...
Добавлено: 23 апреля 2026 г.
IEEE, 2026.
Добавлено: 21 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Щур Л. Н., Antonov D., Burovski E., International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 2026 P. 1–9
Добавлено: 20 апреля 2026 г.
Эбрахим А., Информационные процессы 2025 Т. 25 № 4 С. 787–798
В статье предложен метод планирования расположения точек доступа и шлюзов внутри зданий для построения сетей Интернета вещей. Основа метода — использование информации из информационой модели здания, что даёт возможность легко учитывать как геометрию, так и физико-технические характеристики строительных элементов при расчёте распространения радиосигнала. В данной работе для решения задач оптимизации применяется генетический алгоритм U-NSGA-III. Расчёты ...
Добавлено: 19 апреля 2026 г.
Makarov D. M., Каликин Н. Н., Gurikov P. и др., Journal of Supercritical Fluids 2026 Vol. 235 Article 106979
Добавлено: 19 апреля 2026 г.
IEEE, 2026.
Добавлено: 18 апреля 2026 г.
NY: Association for Computing Machinery (ACM), 2026.
Добавлено: 17 апреля 2026 г.
Джин С., Панфилов П. Б., Сулейкин А. С., Труды Института системного программирования РАН 2025 Т. 37 № 6 С. 163–176
В современном ресторанном бизнесе точное сопоставление номенклатуры продуктов между ресторанами и поставщиками является критически важной задачей. Эффективное управление запасами и оптимизация закупок напрямую влияют на прибыльность бизнеса. С ростом числа поставщиков и ассортимента продукции традиционные методы сопоставления становятся менее эффективными. В данном исследовании предлагается использовать большие языковые модели (LLM) для автоматизации и повышения точности сопоставления ...
Добавлено: 17 апреля 2026 г.
СПб.: АО "ЦТСС", 2025.
В научном издании представлены труды Двенадцатой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» (ИММОД-2025) по следующим направлениям: - теоретические основы и методология имитационного и комплексного моделирования; - методы исследования и оценки качества моделей, валидация и верификации моделей; - методы и системы распределенного моделирования; - ...
Добавлено: 17 апреля 2026 г.
IEEE, 2025.
Добавлено: 17 апреля 2026 г.
Семенов А. Л., В кн.: Всемирный конгресс (26–30 июня 2023 г., Москва). Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения: Избранные труды.: М.: [б.и.], 2023. С. 390–405.
Добавлено: 13 марта 2024 г.
М.: Московский государственный технический университет им. Н.Э. Баумана, 2023.
Сборник содержит тезисы докладов, представленных на международной научно-технической конференции "Безопасные информационные технологии" (БИТ-2023), проходившей 1-2 ноября 2023 г. в Москве в МГТУ им. Н.Э.Баумана.
Тезисы публикуются в редакции научных руководителей или в авторской редакции при наличии ученой степени. ...
Добавлено: 16 февраля 2024 г.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
Синцова К. А., Журнал "Inside", Россия, Санкт-Петербург 2021 № 5 С. 52–60
В работе решается задача построения и доказательства математической модели средства защиты информации с дискреционным видом доступа. Автор попытался структурировать ранее накопленные знания в области информационной безопасности, а также дополнить их математическими выкладками, что помогло сделать построение и доказательство модели более строгим и лаконичным. Работа будет полезна специалистам, занимающимся построением и доказательством безопасности модели компьютерных систем, ...
Добавлено: 3 декабря 2021 г.
Kolpakov A., Таламбуца А. Л., International Mathematics Research Notices 2022 Vol. 2022 No. 19 P. 14675–14696
Добавлено: 10 октября 2021 г.
Рубцов А. А., , in: Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings.: Switzerland: Springer International Publishing, 2021. P. 342–354.
Добавлено: 28 сентября 2021 г.
Switzerland: Springer International Publishing, 2021.
Добавлено: 28 сентября 2021 г.
Галатенко А. В., Кузовихина В. А., Программная инженерия 2021 № 3 С. 150–156
Введена формальная модель безопасности компьютерных систем, позволяющая отражать оперативность реакции на нарушения безопасности. Система задается автоматом, состояния которого разбиты на два класса — безопасные и небезопасные, и натуральным параметром k. Входная последовательность считается безопасной, только если длина непрерывной подпоследовательности небезопасных состояний не превосходит k. Исследованы свойства модели при вариации параметра k, а также сложность задачи ...
Добавлено: 16 июня 2021 г.
Крепс В. Л., Гаврилович М. Р., Математическая теория игр и ее приложения 2019 Т. 11 № 1 С. 21–38
Рассматриваются матричные игры с неполной информацией у обеих сторон и публичным сигналом о состоянии игры, представленным бинарным кодом фиксированной длины. Доступные игрокам стратегии ограничены возможностями конечных автоматов разных размеров: m для Игрока 1 и n для Игрока 2, причем m ≫ n. Получены оценки размеров m (нижняя граница) и n (верхняя граница), при которых исходная ...
Добавлено: 31 мая 2019 г.