?
Автоматизированная система проверки файлов, содержащих программный код, на наличие заимствований
Информационные технологии. 2025. Т. 31. № 9. С. 496–503.
В тексте статьи перечислены результаты разработки системы, нацеленной на обнаружение заимствований в файлах, содержащих коды программ. В автоматизированную систему встроены несколько видов анализа программного кода. Система выступает инструментом поддержки принятия решения для преподавателя университета, так как дает возможность обнаружить работы, в которых присутствует уровень заимствований выше установленного порога. Разработанная система нацелена на проверку работ студентов непосредственно внутри университета для сравнения работ студентов, обучающихся в одном потоке, для выявления групп студентов, чьи работы имеют заимствования между собой. Проверка работ осуществляется как с локального носителя, так и из облачного хранилища.
Александров Д. В., Василевский В. И., Резуник Л. и др., Труды Института системного программирования РАН 2026 Т. 38 № 5 С. 73–90
Ограничения при выполнении задач, требующих точного извлечения информации из сверхдлинных последовательностей, приводят к снижению качества генерации и отладки кода крупных объектно-ориентированных систем, характеризующихся сложными межклассовыми зависимостями и необходимостью анализа длинных трассировок выполнения, превышающих размеры стандартных контекстных окон. Предлагается технология JavaCapsule для генерации и отладки Java-кода, реализующая итеративную отладку на основе структурированной обратной связи, включающей результаты ...
Добавлено: 12 октября 2026 г.
Singapore: Springer Singapore, 2026.
Добавлено: 12 октября 2026 г.
Зыков С. В., Ермаков С. Р., Современные наукоемкие технологии 2026 № 9 С. 43–53
При федеративном обучении с неоднородными клиентскими данными и переменными задержками запоздавшие обновления могут ухудшать качество модели, а обмен параметрами с глобальным сервером увеличивает сетевую нагрузку. Целью исследования является разработка и теоретико-экспериментальное обоснование метода и алгоритмов адаптивного федеративного обучения с учетом распределенного запаздывания клиентских обновлений. Для обоснования разрабатываемых решений использованы событийная и непрерывная модели градиентных обновлений, ...
Добавлено: 11 октября 2026 г.
Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66
Матричный профиль (МП) при появлении в 2016 г. быстро стал одним из важнейших методов предобработки, облегчающим решение широкого класса задач анализа временных рядов, в частности, задач обнаружения аномалий и шаблонов. Высокая значимость привела к появлению разнообразных инструментов вычисления МП, но оказалось, что особенности реализации методов существенно влияют на результаты, которые перестают быть идентичными. Встает вопрос, ...
Добавлено: 9 октября 2026 г.
Алескеров Ф. Т., Вайншток А. П., Делахова А. М. и др., Информационные процессы 2026 Т. 26 № 3 С. 895–913
Проблемы развития и эффективного управления территориальными образованиями являются приоритетными для всех государств, особенно в условиях цифровой трансформации государственного управления. За последнее десятилетие интеграция информационных технологий в муниципальное и региональное планирование существенно изменила подходы к стратегическому развитию, предоставлению услуг и взаимодействию с населением. В данной работе представлено описание функциональности человеко-машинной вебсистемы поддержки принятия решений, в которой ...
Добавлено: 9 октября 2026 г.
Степанянц В. Г., Andrey V. Fizulin, Chibirov A. и др., FUTURE TRANSPORTATION 2026 Vol. 6 No. 5 Article 225
Добавлено: 8 октября 2026 г.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Добавлено: 7 октября 2026 г.
Алескеров Ф. Т., Чайка Е. А., Дерендяев А. Б. и др., Procedia Computer Science 2026 No. 287 P. 590–595
Добавлено: 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 г.
Idrisov Ravshan Ravshanovich, , in: The Global Good. The Future of Culture, Creation, and Author.: M.: UNESCO Chair on Copyright, Neighbouring, Cultural and Information Rights (HSE University), 2026. P. 19–27.
Добавлено: 28 сентября 2026 г.
Панарина М. М., Законы России: опыт, анализ, практика 2025 № 10 С. 69–73
В условиях цифровой трансформации гражданско-правовых отношений и цифровизации гражданского оборота последовательно развиваются новые формы владения и управления активами с использованием технологий блокчейн и токенов. При приобретении токенов на недвижимость на специализированных площадках операторов информационных систем («Атомайз», СберБанк, «А-токен») от девелоперов правообладателю такого токена предлагают приобрести «цифровой квадратный метр», «электронный сертификат», «аналог ценной бумаги», «часть квартиры». ...
Добавлено: 6 октября 2025 г.
Невзаимозаменяемые токены (NFT) и токенизация в спорте: сравнительный анализ правового регулирования
Хусаинов Г. Э., Евразийский юридический журнал 2025 № 9 (208) С. 167–171
В настоящей статье проводится комплексный анализ правовых аспектов применения технологий распределённого реестра (блокчейн) и токенизации в сфере физической культуры и спорта. Исследуются ключевые направления внедрения данных технологий, включая эмиссию токенизированных активов, выпуск невзаимозаменяемых токенов (NFT), создание систем лояльности на основе фан-токенов, а также противодействие обороту контрафактной продукции. Центральное место в работе занимает сравнительно-правовой анализ регуляторных ...
Добавлено: 2 октября 2025 г.
Цифровые финансовые активы как объекты имущественных отношений: актуальные вопросы теории и практики
Полежаев О. А., Новоселова Л. А., Власть Закона 2021 С. 75–91
В статье рассмотрены вопросы регулирования отношений, возникающих в сфере цифровых финансовых активов. Авторами освещены основные теоретические и практические недостатки введенного правового регулирования отношений, связанных с оборотом таких активов. Согласно авторской позиции, отечественный законодатель сформировал несколько моделей цифровизации прав, формирующих содержание ценных бумаг, характеризующихся непоследовательностью и противоречивостью. Не разработана последовательная система законодательного регулирования отношений, возникающих в ...
Добавлено: 1 октября 2025 г.
Арутюнов Г. А., Авдошин С. М., Труды Института системного программирования РАН 2024 Т. 36 № 4 С. 69–80
Несмотря на то, что программирование – это творческий процесс, достаточно много времени уходит на решение рутинных задач. Как и в других индустриях в сфере информационных технологий стремятся автоматизировать рутинные задачи. Во многих случаях применяются нейронные сети. Программирование не является исключением: Github заверяют, что уже около 30% кода написано при помощи Copilot. Этот инструмент основан на ...
Добавлено: 1 ноября 2024 г.
Салибекян С. М., Информационные технологии 2024 Т. 30 № 5 С. 261–268
Статья посвящена описанию методики и инструментальных средств для трансляции языков программирования высокого уровня в абстрактное синтаксическое дерево. Особенностью методики является то, что она
основывается на объектно-атрибутной (ОА) архитектуре вычислительной системы, относящейся к классу
dataflow. Синтезированное транслятором синтаксическое дерево представляет собой фрейм-подобную динамическую структуру. Методика трансляции включает в себя формат и алгоритм синтеза синтаксического
дерева, способ описания алгоритма трансляции, ...
Добавлено: 21 мая 2024 г.