?
Оценки немонотонной сложности функций многозначной логики
Ученые записки Казанского университета. Серия: Физико-математические науки. 2020. Т. 162. № 3. С. 311–321.
Исследована задача о сложности реализации функций многозначной логики логическими схемами в базисе, состоящем из элементов двух типов. Элементами первого типа являются произвольные монотонные (относительно стандартного порядка) функции, таким элементам приписан нулевой вес. Конечное число немонотонных функций образует непустое множество элементов второго типа, каждой такой функции приписан единичный вес. Установлены верхняя и нижняя оценки немонотонной сложности (минимального достаточного для реализации числа немонотонных элементов в схеме) произвольной функции k-значной логики, разность между которыми не превосходит некоторой абсолютной константы. Разность наилучших известных до этого верхней и нижней оценок отличалась на константу, зависящую от базиса, при этом множество значений таких констант неограничено.
No Species Is an Island, Entire of Itself: Genetic Speciation Algorithm with Interplay among Species
International Journal of Engineering, Transactions B: Applications 2027 Vol. 40 No. 5 P. 1437–1460
Добавлено: 12 октября 2026 г.
Добавлено: 12 октября 2026 г.
Александров Д. В., Василевский В. И., Резуник Л. и др., Труды Института системного программирования РАН 2026 Т. 38 № 5 С. 73–90
Ограничения при выполнении задач, требующих точного извлечения информации из сверхдлинных последовательностей, приводят к снижению качества генерации и отладки кода крупных объектно-ориентированных систем, характеризующихся сложными межклассовыми зависимостями и необходимостью анализа длинных трассировок выполнения, превышающих размеры стандартных контекстных окон. Предлагается технология JavaCapsule для генерации и отладки Java-кода, реализующая итеративную отладку на основе структурированной обратной связи, включающей результаты ...
Добавлено: 12 октября 2026 г.
Singapore: Springer Singapore, 2026.
Добавлено: 12 октября 2026 г.
Гусейн-Заде С. М., М.: МЦНМО, 2026.
Книга содержит курс лекций по дифференциальной геометрии и топологии, читавшихся автором на механико-математическом факультете МГУ в разные годы. В дополнениях приводятся некоторые сюжеты (связности в расслоениях, теорема Фробениуса, производные Ли и др.), которые были включены в курс в отдельные годы либо содержались в аналогичных курсах лекций в Независимом московском университете.
Для студентов математических и физических специальностей. ...
Добавлено: 12 октября 2026 г.
Зыков С. В., Ермаков С. Р., Современные наукоемкие технологии 2026 № 9 С. 43–53
При федеративном обучении с неоднородными клиентскими данными и переменными задержками запоздавшие обновления могут ухудшать качество модели, а обмен параметрами с глобальным сервером увеличивает сетевую нагрузку. Целью исследования является разработка и теоретико-экспериментальное обоснование метода и алгоритмов адаптивного федеративного обучения с учетом распределенного запаздывания клиентских обновлений. Для обоснования разрабатываемых решений использованы событийная и непрерывная модели градиентных обновлений, ...
Добавлено: 11 октября 2026 г.
Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66
Матричный профиль (МП) при появлении в 2016 г. быстро стал одним из важнейших методов предобработки, облегчающим решение широкого класса задач анализа временных рядов, в частности, задач обнаружения аномалий и шаблонов. Высокая значимость привела к появлению разнообразных инструментов вычисления МП, но оказалось, что особенности реализации методов существенно влияют на результаты, которые перестают быть идентичными. Встает вопрос, ...
Добавлено: 9 октября 2026 г.
М.: Юрайт, 2026.
Сборник олимпиадных задач (СОЗ) по теории вероятностей и математической статистики (ТВМС) предлагается в качестве учебно-методического пособия прежде всего для студентов и преподавателей ВУЗов как развивающий дополнительный материал, расширяющий ассортимент решаемых задач в лекционной, семинарской и вне аудиторной самостоятельной работе со студентами в различных формах, в том числе и (в соответствии с названием) в проведении олимпиад ...
Добавлено: 9 октября 2026 г.
Алескеров Ф. Т., Вайншток А. П., Делахова А. М. и др., Информационные процессы 2026 Т. 26 № 3 С. 895–913
Проблемы развития и эффективного управления территориальными образованиями являются приоритетными для всех государств, особенно в условиях цифровой трансформации государственного управления. За последнее десятилетие интеграция информационных технологий в муниципальное и региональное планирование существенно изменила подходы к стратегическому развитию, предоставлению услуг и взаимодействию с населением. В данной работе представлено описание функциональности человеко-машинной вебсистемы поддержки принятия решений, в которой ...
Добавлено: 9 октября 2026 г.
Kupavskii A., Носков Ф. А., Forum of Mathematics, Sigma 2026 Vol. 14 Article 124
Добавлено: 8 октября 2026 г.
Степанянц В. Г., Andrey V. Fizulin, Chibirov A. и др., FUTURE TRANSPORTATION 2026 Vol. 6 No. 5 Article 225
Добавлено: 8 октября 2026 г.
Flamarion M. V., Пелиновский Е. Н., Chaos, Solitons and Fractals 2026 Vol. 213 No. 2 Article 119245
Добавлено: 8 октября 2026 г.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Добавлено: 7 октября 2026 г.
Алескеров Ф. Т., Чайка Е. А., Дерендяев А. Б. и др., Procedia Computer Science 2026 No. 287 P. 590–595
Добавлено: 7 октября 2026 г.
V. V. Kochergin, A. V. Mikhailovich, Mathematical notes 2025 Vol. 117 No. 4 P. 579–594
Добавлено: 28 февраля 2026 г.
Кочергин В. В., Михайлович А. В., Математические заметки 2025 Т. 117 № 4 С. 523–542
Для каждой булевой функции установлено точное значение сложности реализации логическими схемами в бесконечном базисе, состоящем из отрицания и всех монотонных булевых функций. Под сложностью функции понимается минимально возможное число элементов базиса, достаточное для построения схемы для данной функции. ...
Добавлено: 8 апреля 2025 г.
Кочергин В. В., Михайлович А. В., Mathematical notes 2023 Vol. 113 No. 5 P. 794–803
Добавлено: 19 ноября 2023 г.
Кочергин В. В., Михайлович А. В., В кн.: Материалы XIV Международного семинара "Дискретная математика и ее приложения" имени академика О.Б.Лупанова (Москва, МГУ, 20-25 июня 2022 г.).: М.: Институт прикладной математики им. М.В. Келдыша РАН, 2022. С. 76–79.
Установлена нижняя оценка немонотонной сложности функций многозначной логики, отличающающаяся от известной верхней оценки не более чем на абсолютную константу ...
Добавлено: 29 октября 2022 г.