?
Славин Олег Анатольевич - к 60-летию со дня рождения
Вестник Южно-Уральского государственного университета. Серия: Математика. Механика. Физика. 2023. Т. 15. № 4. С. 93–94.
Чернышев С. Л., Богомолов А. В., Булдакова Т. И., Гаврилов С. В., Галяев А. А., Грибова В. В., Грушо А. А., Каперко А. Ф.
В статье представлены этапы творческого пути профессора Олега Анатольевича Славина.
Ключевые слова: системный анализ
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Добавлено: 7 октября 2026 г.
Томск: Издательство Томского государственного университета, 2026.
Материалы сборника Шестнадцатой Международной конференции «Новые информационные
технологии в исследовании сложных структур» (Москва, 21–25 сентября 2026 г.) ориентированы на
широкий круг специалистов, работающих на стыке теории информации, системного анализа и
прикладных предметных областей. В издание вошли результаты исследований, посвящённые
моделированию дискретных и стохастических структур управления и связи, разработке
высокопроизводительных вычислительных и телекоммуникационных систем, а также вопросам
цифровой трансформации образования, архитектурно-градостроительного проектирования,
экологического ...
Добавлено: 6 октября 2026 г.
Серебренников Д. А., Белов А. В., Информационные технологии и вычислительные системы 2026 № 3 С. 157–169
В условиях роста стоимости энергоресурсов и необходимости повышения энергоэффективности производственных процессов особую актуальность приобретает задача оптимизации энергопотребления промышленных предприятий. В данной работе рассматривается подход к управлению энергозатратами машиностроительного предприятия на основе методов многокритериальной оптимизации. Постановка задачи включает несколько целевых функций: минимизацию энергопотребления, минимизацию стоимости электроэнергии с учётом тарифных ограничений и максимизацию производственной эффективности. Для решения ...
Добавлено: 5 октября 2026 г.
Зыков С. В., Уфимцев Г. А., Моделирование, оптимизация и информационные технологии 2026 Т. 14 № 8 С. 1–13
Информационные системы формируют большие объёмы событийных журналов, которые используются для анализа работы приложений и сервисов. При этом события могут поступать в аналитический контур позже момента их фактического возникновения и не в исходном порядке. Такая рассинхронизация приводит к ошибкам при построении агрегированных временных показателей, а регулярный полный пересчёт многомерного аналитического куба требует значительных вычислительных затрат. Целью ...
Добавлено: 2 октября 2026 г.
Polarization of opinions in the group: a modeling algorithm considering the dynamics of social bonds
Chebotarev V., Andreyuk D., Elizarova Anastasiya и др., Procedia Computer Science 2022 Vol. 213 No. C P. 596–601
Добавлено: 2 октября 2026 г.
Konstantinov A., Elizarova Anastasiya P., Utkin L., Computing, Telecommunications and Control 2026 Vol. 19 No. 1 P. 16–25
Деревья решений и их ансамблевые расширения, такие как случайные леса, широко используются в качестве моделей классификации благодаря своей простоте и интерпретируемости. Однако во многих реальных задачах, где метки классов перекрываются в пространстве признаков, стандартные деревья решений полагаются на жесткие разбиения, которые создают слабые границы принятия решений. В этих областях небольшие возмущения входных значений могут привести ...
Добавлено: 2 октября 2026 г.
Prokhorov A., Burda M., Journal of Computational and Graphical Statistics 2026 P. 1–13
Добавлено: 2 октября 2026 г.
Aly Ismailov, Попцова М. С., Plos One 2026 Vol. 21 No. 9 Article e0355902
Добавлено: 2 октября 2026 г.
Злотник А. А., Математические заметки 2026 Т. 120 № 6 С. 1005–1009
Численным методам решения систем газодинамических уравнений посвящена обширная литература. Ранее было разработано и успешно апробировано специальное семейство симметричных по пространству консервативных разностных методов, основанных на предварительной кинетической, точнее, квазигазодинамической (КГД), регуляризации этих уравнений. Актуальной задачей является построение численных методов, которые обладают не только свойством консервативности по массе, импульсу и полной энергии, но и удовлетворяют условиям энтропийной ...
Добавлено: 1 октября 2026 г.
International Joint Conferences on Artificial Intelligence, 2026.
Добавлено: 1 октября 2026 г.
Добавлено: 30 сентября 2026 г.
Джамбонг Тенке Х., Institute for System Programming of the RAS, 2026.
Добавлено: 29 сентября 2026 г.
Иванашев Я. М., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2026 Т. 529 С. 93–101
Язык L является нижним для релятивизируемого сложностного класса C, если CL=C. Для классов #P, GapP и SpanP известны точные нижние классы языков: Low(#P) = UP ∩ coUP, Low(GapP) = SPP и Low(SpanP) = NP ∩ coNP. В этой статье мы доказываем, что Low(TotP) = P, и приводим характеризации нижних классов функций для #P, GapP, TotP ...
Добавлено: 28 сентября 2026 г.
Piliugin L., Antropov A., Lobashev E. и др., Journal of Nuclear Materials 2026 Vol. 632 Article 156876
Добавлено: 28 сентября 2026 г.
Kashpurovich I., Oleynichenko A., Стегайлов В. В., Supercomputing Frontiers and Innovations 2026 Vol. 13 No. 1 P. 52–73
Добавлено: 28 сентября 2026 г.
Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
Вагин С. Г., Управление 2025 Т. 12 № 3 С. 74–82
Цель работы заключается в проведении оценки теоретических подходов к изучению различных научных и практических подходов устойчивого развития экономики. Перед автором исследования стояли следующие задачи: провести сравнительную оценку различных ученых и экономистов, рассматривающих теоретические подходы устойчивого стратегического развития инновационного потенциала предприятий промышленного комплекса; выявить основные направления теоретических подходов к его изучению как российских ученых, так и ...
Добавлено: 29 июля 2026 г.
Журавлев Е. И., Вартанов С. А., Интерэкспо Гео-Сибирь 2016 Т. 2 № 3 С. 102–107
Для обеспечения безопасного ведения горных работ на угольных шахтах необходимо ведение постоянного мониторинга за напряженно-деформированным состоянием породного массива для заблаговременного предупреждения работников шахты о небезопасных быстропротекающих динамических явлениях. Внедрение систем прогноза динамических явлений на угольных шахтах позволяет наглядно и своевременно предоставлять горному оператору сведения о безопасности ведения горных работ на различных участках шахтного поля. ...
Добавлено: 31 января 2024 г.
Соколов А. Ю., Солдаткина О. Л., Вестник Российского университета дружбы народов. Серия: Юридические науки 2022 Т. 26 № 3 С. 705–724
Актуальность исследования обусловлена динамикой развития социальной среды и необходимостью реагирования правовой системы на происходящие в обществе изменения, одним из которых является цифровизация всех видов коммуникации. При трансформациях, вызванных цифровизацией (особенно в таких юридически и социально значимых сферах, как законотворчество), стоит избегать стихийных изменений законодательства, исходя из чего сформулирована цель исследования: обозначить приоритеты правовой политики в ...
Добавлено: 4 сентября 2023 г.
СПб.: Политех-Пресс, 2023.
В Сборник научных трудов XXVI Международной научно-практической конференции «Системный анализ в проектировании и управлении», проводимой Санкт-Петербургским политехническим университетом Петра Великого совместно с Южным Федеральным университетом, Санкт-Петербургским отделением Международной академии наук высшей школы, Центральным экономико-математическим институтом РАН, Центром по изучению проблем информатики Института научной информации по общественным наукам РАН, Санкт-Петербургским Федеральным исследовательским центром РАН, Санкт-Петербургским государственным ...
Добавлено: 20 февраля 2023 г.
Рассадин А. Э., Журнал радиоэлектроники 2012 № 1 С. 1–35
В работе обсуждается методология концептуального критерии качества проектирования — и для РСА как системы в целом, и для проектирования РСА на воздушном носителе в рамках парадигмы математической технологии, причём акцент делается на физических, а не на феноменологических моделях. Введены её подсистем. Рассмотрено приближение матрицы УЭПР по данным дистанционного зондирования с помощью двумерных атомарных интерполянтов, двумерных ...
Добавлено: 18 декабря 2022 г.