?
Классификация относительно регулярных алгебр
Труды Московского физико-технического института. 2024. Т. 16. № 4. С. 128–134.
Вялый М. Н., Шиманогов И. Н.
В данной работе рассматривается обобщение задачи регулярной реализуемости. Вводится понятие относительно регулярных булевых алгебр — булевых алгебр, состоящих из пересечений регулярных языков с некоторым фиксированным языком. Доказывается теорема о том, что для произвольной атомной булевой алгебры существует изоморфная ей относительно регулярная алгебра.
М.: Наука и технологии, 2026.
«Телекоммуникации» ежемесячный рецензируемый производственный, информационно-аналитический и учебно-методический журнал выходит в свет с июля 2000 г.
Для руководителей и работников промышленности, научно-исследовательских и проектно-конструкторских институтов, высших учебных заведений, аспирантов и студентов, а также для специалистов, разрабатывающих, выпускающих и эксплуатирующих средства телекоммуникаций.
Новости разработок и производства, прогнозы развития, защита информации, Нормативные, справочные, аналитические и учебно-методические материалы.
Переход к глобальному информационному ...
Добавлено: 4 июля 2026 г.
МФТИ, 2025.
абота редакции научного журнала «Труды Московского физико-технического института» (кратко «Труды МФТИ»), редакционной коллегии и редакционного совета осуществляется в соответствии с Положением, утвержденным ректором института. В состав редакционной коллегии входят руководители института, факультетов, институтских и факультетских кафедр. Главный редактор журнала —президент МФТИ, член-корр. РАН Кудрявцев Н.Н.
Журнал «Труды МФТИ» входит в базу данных РИНЦ (Российский Индекс Научного Цитирования) и доступен в электронной ...
Добавлено: 4 июля 2026 г.
Починка О. В., Баринова М. К., Journal of Geometry and Physics 2026 Vol. 228 P. 1–8
Добавлено: 30 июня 2026 г.
Герман О. Н., Илларионов А. А., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 3–18
Пусть симплекс с целочисленными вершинами - содержащий ровно одну целочисленную точку, отличную от своих вершин. В работе доказывается, что если точка находится во внутренности симплекса или в относительной внутренности некоторой гиперграни симплекса, то объем симплекса ограничен величиной, зависящей только от размерности, в противном случае объем симплекса может быть сколь угодно большим. Этот результат применяется для вывода асимптотической формулы для среднего числа вершин полиэдров ...
Добавлено: 29 июня 2026 г.
В данной работе мы сосредоточимся на обобщении эмпирического закона Херста и предложим набор редуцированных параметров для количественного описания длительных временных рядов. Эти ряды обычно рассматриваются как специфический отклик сложной системы (экономической, геофизической, электромагнитной и других), где последовательная фиксация внешних факторов становится невозможной. Мы рассматриваем применение обобщенных законов Херста для получения нового набора редуцированных параметров в ...
Добавлено: 27 июня 2026 г.
Ивченко А. В., Shestoperov A. I., Fomina E. V., Microgravity Science and Technology 2025 Vol. 37 No. 19 P. 1–19
Данная работа посвящена анализу медико-биологических данных, полученных в ходе локомоторных тестов космонавтов. Точная интерпретация данных играет решающую роль в мониторинге системы передвижения, профилактике негативных последствий длительного космического полета и, следовательно, в разработке автономной системы медицинского обеспечения для экспедиций в дальний космос. Во время локомоторных тестов космонавт меняет режимы движения в соответствии с предписанным протоколом тренировки, ...
Добавлено: 26 июня 2026 г.
Гаджимирзаев Ш. М., Хельвас А. В., 2023 3rd International Conference on Innovative Research in Applied Science, Engineering and Technology (IRASET) Mohammedia, Morocco 2023 P. 1–6
В статье предлагается архитектура событийно-управляемого Центра экстренного реагирования с компонентом компьютерного зрения. Анализируются источники информации и обсуждаются подходы к использованию событий компьютерного зрения для обнаружения и оценки тактических ситуаций. Сообщения от компонентов компьютерного зрения преобразуются в Протокол общих оповещений (Common Alerting Protocol) и обрабатываются средой Центра управления для распознавания тактических ситуаций. ...
Добавлено: 26 июня 2026 г.
Гаджимирзаев Ш. М., Хельвас А. В., Лукьянченко П. П., Computer Research and Modeling 2023 Vol. 15 No. 1 P. 129–140
В данной статье нами предложен новый подход к анализу эконометрических параметров отрасли для уровня консолидированности отрасли. Исследование базируется на простой модели управления отраслью в соответствии с моделью из теории автоматического управления. Состояние отрасли оценивается на основе ежеквартальных эконометрических параметров получаемых в обезличенном виде от каждой компании отрасли через налогового регулятора. Предложен подход к анализу отрасли, ...
Добавлено: 26 июня 2026 г.
Гаджимирзаев Ш. М., Хельвас А. В., International Frequency Sensor Association (IFSA) Publishing, 19-21 February 2025 Granada, Spain 2025 P. 172–176
В статье представлены модели инновационного полностью роботизированного склада для хранения коробочных товаров. Была реализована дискретная многоагентная симуляция движения челноков на складе для заданной последовательности паллетных отгрузок. Оцениваются различные стратегии размещения коробок в разных зонах склада, а также оптимальные схемы маршрутизации челноков для заданной топологии склада. Также оценивается оптимальное количество челноков, максимизирующее производительность склада. ...
Добавлено: 26 июня 2026 г.
Дудаков С. М., Авхимович Н. В., Вестник Тверского государственного университета. Серия: Прикладная математика 2023 № 1 С. 24–35
В работе рассматриваются алгебраические системы, где в качестве носителя выступают конечные подмножества некоторой безатомной булевой алгебры. Для полученной системы мы вводим новое отношение для конечных подмножеств: считаем, что одно подмножество состоит в отношении с другим подмножеством в том и только том случае, когда все элементы одного подмножества меньше всех элементов другого. Мы демонстрируем, что теория ...
Добавлено: 12 ноября 2023 г.
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356–371
К последовательным реагирующим системам относятся компьютерные программы и вычислительные устройства, которые обрабатывают потоки входных данных или сигналов управления и генерируют на выходе последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки спецификаций, способные выражать отношения между входными и выходными потоками данных. В предшествующих работах нами было предложено семейство таких языков спецификаций, ...
Добавлено: 17 января 2022 г.
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2020 Т. 27 № 4 С. 428–441
К последовательным реагирующим системам относятся программы и устройства, которые работают с двумя потоками данных и осуществляют преобразование входных потоков данных в выходные потоки. К числу таких систем обработки информации относятся контроллеры, драйверы устройств, компьютерные интерпретаторы. Результатом работы таких вычислительных систем являются бесконечные последовательности пар событий типа запрос-отклик, и поэтому в качестве математических моделей для них ...
Добавлено: 31 января 2021 г.
Гнатенко А. Р., Захаров В. А., Системная информатика 2020 Vol. 17 P. 21–32
Последовательные реагирующие системы, такие как контроллеры, системные драйверы, компьютерные интерпретаторы, работают с двумя потоками данных и преобразуют входные потоки данных (управляющие сигналы, инструкции) в выходные потоки управляющих сигналов (инструкции, данные). Конечные преобразователи широко используются в качестве подходящей формальной модели для подобных систем обработки информации. Поскольку вычисления преобразователей протекают во времени, темпоральная логика, очевидно, может использоваться ...
Добавлено: 9 ноября 2020 г.
Самоненко И. Ю., Интеллектуальные системы. Теория и приложения 2018 Т. 22 № 2 С. 113–121
Назовем гиперавтоматом конечный автомат, состояниями которого являются множества состояний некоторого конечного автомата. Гиперавтомат называется групповым, если полугруппа автомата, на базе которого он построен, является группой. В работе изучается вопрос о максимальном количестве регулярных языков, представимых в групповых гиперавтоматах. ...
Добавлено: 28 сентября 2018 г.
Исмагилов Р. С., Мастихина А. А., Филиппова Л. Е., Вестник Московского государственного технического университета им. Н.Э. Баумана. Серия Естественные науки 2017 № 4 С. 4–15
Рассмотрена задача подсчета числа слов регуляного языка заданного состава. Задан алфавит символов. Состав слова определен как вектор. Введены функции числа слов заданного состава. Определены простые оценки указанных функций для языков, полученных из языков с помощью обычных операций (объединение, конкатенация, итерация). Изучены ряды для языков, порожденных автоматами. ...
Добавлено: 9 марта 2018 г.
Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2018.
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания ...
Добавлено: 2 декабря 2017 г.
Рубчинский А. А., М.: Директ-Медиа, 2014.
Предлагаемое пособие посвящено дискретным математическим моделям – в первую очередь, решению разнообразных стандартных задач, в которых надо что-то посчитать, найти, построить и т.д., но не доказать. Особое внимание уделяется технологии ручной реализации алгоритмов. Аудитория предполагаемого пособия вполне определена. Она состоит из студентов бакалавриата и магистратуры, обучающихся по специальностям, попадающим между точными, естественными и инженерными науками, ...
Добавлено: 20 октября 2017 г.
Шитов Я. Н., International Journal of Algebra and Computation 2014 Vol. 24 No. 8 P. 1183–1189
Добавлено: 8 января 2015 г.
Михеенкова М. А., Искусственный интеллект и принятие решений 2010 № 1 С. 20–32
В работе рассматриваются логические средства, применяющиеся для формализации качественного анализа социологических данных. Описываются возможности подходов, использующих класс когнитивных правдоподобных рассуждений и аппарат булевой алгебры, проводится их сравнение. ...
Добавлено: 15 марта 2013 г.
Рыбакин А. С., Кулонен Г. А., СПб.: ВКАС им. Буденного, 1999.
Добавлено: 10 февраля 2013 г.
Стукал Д. К., Хавенсон Т. Е., Политическая экспертиза: ПОЛИТЭКС 2012 Т. 8 № 1 С. 238–264
В статье рассматривается методология моделирования государственной состоятельности, предложенная в рамках проекта «Анализ факторов развития и упадка государственности в социалистических и пост-социалистических странах Европы и Азии второй половины ХХ – начала ХХI вв. с помощью количественных и качественных методов (включая QCA, Qualitative Comparative Analysis)» Программы фундаментальных исследований НИУ ВШЭ. Обосновывается актуальность измерения государственной состоятельности в контексте ...
Добавлено: 4 мая 2012 г.