Аннотация: В настоящее время ряд подпроцессов процесса управления требованиями практически полностью не автоматизированы. Это в основном связано с тем, что подавляющее большинство нормативных документов (законы, стандарты, технические условия и др.) представлены в обычном текстовом формате и непосредственно не воспринимаются техническими устройствами вычислительной техники. Современные достижения в области информационных технологий, особенно таких как создание машинопонимаемого содержания, воспринимаемого ЭВМ без участия человека, позволяют непосредственно переходить к автоматизации процессов управления требованиями в полном объеме, т.е. непосредственного включения требований различных нормативных документов в общий контур планирования, разработки, производства и эксплуатации различных образцов продукции от отдельных образцов до сложных распределенных систем. В статье предлагается вариант эталонной структуры автоматизированной системы управления требованиями, т.е. общей структуры, на основании которой можно принимать конкретные решения.

Аннотация: В статье рассмотрены предпосылки и факторы, определяющие актуальность нормативного регулирования в области ИИ. Представлен анализ понятийного аппарата и основных положений принятого Федерального закона о поддержке развития технологий искусственного интеллекта в РФ с учетом накопленного опыта в области разработки и использования систем искусственного интеллекта. Рассмотрены проблемы технической реализуемости положений закона и достаточности соответствующего нормативно-методического обеспечения. Сформулированы предложения по развитию технического регулирования при реализации положений закона.

Аннотация: Предложен алгоритм построения уравнения регрессии для обработки результатов мониторинга птиц на исследуемой территории в виде многомерного многочлена методом наименьших квадратов. На алгоритмическом языке Python разработана интерактивная программа Birds_MLS, обеспечивающая расчёт коэффициентов уравнения с использованием библиотек NumPy, Pandas, SciPy, Matplotlib, PyQt6. Программа содержит полный цикл вычислений, начиная от введения исходных данных, построения регрессионной модели, и заканчивая проверкой её достоверности и визуализации результатов. Достоверность предлагаемой модели проводится с помощью индекса детерминации R^2 и критерия Фишера F. Величина критериев адекватности определяется путём сравнения известной зависимости функции u(x,y) от двух координат с результатами расчётов, которые получены с помощью уравнения регрессии v(x,y). Тестирующие эксперименты подтвердили адекватность предлагаемого алгоритма при изучении зависимости численности от нескольких переменных в многофакторных задачах.

Аннотация: В статье рассмотрено современное состояние нормативного правового и нормативно-технического регулирования интеллектуальных транспортных систем в Российской Федерации. Исследование выполнено в логике четырех взаимосвязанных блоков – существующее положение в регулировании, влияние стандартизации на развитие ИТС, перспективы развития стандартизации и практико-ориентированная модель ее совершенствования. Показано, что нормативно-правовые акты формируют стратегическую рамку цифровой трансформации транспортной отрасли, безопасности дорожного движения, научно технологического развития, экспериментальных правовых режимов и внедрения высокоавтоматизированного транспорта. Документы по стандартизации, в свою очередь, переводят эти цели в прикладные требования к архитектуре, подсистемам, интеграционным платформам, данным, испытаниям и эксплуатации ИТС. Обосновано, что ключевая проблема текущего этапа состоит не в отсутствии нормативной базы как таковой, а в недостаточной связанности стандартов с жизненным циклом локальных проектов, практикой закупок, оценкой эффективности и технологическим развитием. Предложена практико ориентированная модель совершенствования стандартизации ИТС, основанная на матрице применимости стандартов, типовой архитектуре, верификации требований, испытаниях, эксплуатационном мониторинге и обратной связи для актуализации программы стандартизации.

Аннотация: В настоящий момент технология роботизированной автоматизация процессов (Robotic Process Automation, RPA), позволяющая создавать и использовать «программных роботов» для выполнения рутинных, повторяющихся задач в интерфейсах обычных компьютерных программ в цифровых системах вместо человека является одной из наиболее востребованной технологией автоматизации рабочих процессов в бизнесе и на производстве. Получение методов оценки эффективности работы подобных систем видится крайне актуальной задачей, поскольку скорость и эффективность работы системы робототизированной автоматизации процессов, при обработке и выполнении заложенных программами заданий, влияет как на производительность всей информационной системы в целом, так и на капитальные расходы при планировании этих систем, а в дальнейшем и на операционные затраты при эксплуатации. Качество использования технологии роботизированной автоматизации процессов зависит не только от эффективного написанного программного кода, но и от внешних факторов, таких как влияние сетевой IT инфраструктуры, оборудования пакетной сети, длины линий связи, используемых для решения функциональных задач. В статье рассмотрены методы оценки прохождения трафика систем роботизированной автоматизации процесса в общем мультиплексированном потоке данных через узлы пакетной коммутации. Рассчитаны оценки влияния битовой скорости передачи мультиплексированного потока на сервис RPA. Показаны возможности применения метода геометрической вероятности для оценки временных характеристик прохождения реального битового трафика через узлы пакетной коммутации. Также, описаны вопросы влияния задержек, появляющиеся на стыках сетей с различными NTP серверами. Проанализированы причины появления задержек и предложен метод их оценки.

Аннотация: Актуальность работы обусловлена необходимостью развития профессиональных навыков разработчиков программного обеспечения (ПО) в области практической реализации матричных преобразований, лежащих в основе современных алгоритмов интеллектуального анализа данных и машинного обучения, а также навыков в области тестирования ПО для раннего выявления дефектов и ошибок в нём в соответствии рекомендациям, закреплённым в ГОСТ Р 56920–2024 и ГОСТ Р 56939–2024. Целью работы является автоматизация порождения задач на тему программной реализации и тестирования матричных преобразований с поддержкой автоматической проверки их программных решений. Научная новизна предлагаемого метода заключается в совместном использовании: системы переписывания термов с ограничениями, учитывающими специфику матричных преобразований; мутационного анализа на основе заранее заготовленных модифицированных программ для оценки качества реализованных учащимися тестирующих функций; интерпретации деревьев выражений с полной и пониженной точностью матричных операций для генерации кроссплатформенных наборов тестов. Использование предложенного метода в учебном процессе позволило освободить преподавателей от необходимости проверки 12269 программ, присланных студентами за семестр. Применение мутационного анализа как отдельного этапа автоматической проверки программ обеспечило повышение устойчивости задач к их решению большими языковыми моделями с методом zero-shot до 80% и повысило число отклонённых программ на 33,5% от общего числа проверенных программ по сравнению с алгоритмом автоматической проверки без мутационного анализа. В результате работы учащихся над повышением качества тестирующих функций в отклонённых программах среднее число выполнений оператора assert в принятых программах увеличилось в 2,24 раза. При этом время генерации индивидуальных задач для более 1400 учащихся с 5 тестами для автоматической проверки и 3 модифицированными программами для мутационного анализа, выполненной при помощи программного средства, реализованного на языке Python, не превышает нескольких минут, а время проверки и мутационного анализа одной программы в «песочнице», реализованной в виде Docker-контейнера с изоляцией, составляет в среднем 8,4 секунды. Полученные результаты могут использоваться в рамках учебных дисциплин с большим числом студентов, в массовых онлайн-курсах, при проведении соревнований по программированию.

Аннотация: Регулярный сбор публикаций из открытых источников массовой информации осложнён неоднородностью их программных интерфейсов, изменчивостью разметки страниц и необходимостью подтверждать происхождение и неизменность накопленного корпуса. Цель работы – спроектировать и экспериментально проверить архитектуру приложения, в которой подключение источника не затрагивает программное ядро, полнота периодического опроса лент контролируется при переменной интенсивности публикаций, а состояние собранного корпуса допускает последующую проверку. Приложение построено из крупных функциональных модулей, взаимодействие которых организовано через брокер сообщений с устойчивой доставкой «не менее одного раза» (at-least-once). Для хранения оперативного состояния используется распределённый кэш. Описание источника учитывается по версиям и применяется при повторном разборе сохранённых ответов. Глубина периодического опроса ленты определяется перекрытием окон публикаций, а проверка состояния корпуса выполняется по дереву Меркла и подписанным контрольным точкам. Приложение сопоставлено со Scrapy при одинаковой степени параллелизма: для конфигураций с одним–восемью исполнителями отношение средних пропускных способностей находилось в пределах 1,70–2,00. После управляемого изменения структуры сохранённых HTML двух новостных ресурсов повторный разбор восстановил значения ранее извлекавшихся полей. Новых HTTP-запросов для этого не потребовалось. В каждом из трёх отказных эпизодов все документы были сохранены, устойчивые дубликаты отсутствовали. Для дерева из миллиона записей путь включения занимал в среднем 640 байт; его проверка выполнялась за 24,50 мкс. Эти результаты характеризуют испытанную реализацию в условиях одноузлового стенда.

Аннотация: В работе исследовано влияние уточняющих инструкций и семантической обратной связи на качество выравнивая программных моделей объектов стандартизации, сгенерированных большими языковыми моделями. Проблема состоит в том, что независимо сгенерированные модели могут быть синтаксически корректными и содержательно близкими, но плохо сопоставимыми из-за различий в именовании сущностей, ролей, состояний, связей и единиц измерения. В отличие от предварительной проверки на малом числе документов, настоящее исследование выполнено на корпусе из 32 документов, шести генераторных моделей и пяти независимых итераций для каждой комбинации документа, модели и сценария. Всего обработано 2880 моделей, для из которых образовано 14400 пар и выполнено 85400 операций операций выравнивания с использованием двух COMA-подобных методов: valentine и bdikit. В результате показано, что наличие общих инструкций по семантическому именованию и структурированию кода повышает относительное качество выравнивания на 46.2%, а семантическая обратная связь ухудшает результат, повышая качество лишь на 40.3% относительно контрольного. Данный результат важно учитывать при разработке инструментов генерации формальных моделей, статического анализа, межмодельного выравнивания и подготовки промежуточных представлений для анализа технических и нормативных документов.

Аннотация: Настоящая статья открывает цикл исследований, направленных на изучение вариантов конфигурации представлений конвейерного спецвычислителя с использованием аппаратных специализированных блоков. Целью исследования является расширение области применения предложенных ранее системных подходов, разработанных лабораторией специализированных вычислительных систем РТУ МИРЭА, для формирования логического и топологического представлений конвейерных спецвычислителей, использующих специализированные аппаратные блоки в составе программируемых логических интегральных схем (ПЛИС). В работе описывается актуальность разработки специализированных вычислительных устройств для задач, требующих минимального времени отклика и высокой производительности, рассмотрены основные понятия и принципы формирования логического и топологического представлений спецвычислителей, а также вопросы согласования различных вариантов представлений с учётом сохранения закладываемых характеристик. Представлены системные подходы, разработанные лабораторией специализированных вычислительных систем РТУ МИРЭА, для формирования представлений спецвычислителей с конвейерной архитектурой. Рассматривается вопрос применения предложенных подходов при проектировании конвейерных спецвычислителей с задействованием специализированных аппаратных блоков ПЛИС. Рассмотрены аппаратные блоки типа DSP (Digital Signal Processing), широко применяемые для реализации операций умножения с накоплением, алгоритмов цифровой обработки сигналов и нейросетевых вычислений. Проанализированы особенности блоков DSP48E1, а также специфика их размещения на ПЛИС AMD Artix-7, Kintex-7 и Virtex-7. Разработан автоматизированный стенд, обеспечивающий генерацию конфигурации спецвычислителя, формирование топологического представления и получение отчётных характеристик. Результаты экспериментальных исследований демонстрируют влияние глубины конвейеризации на достижимую тактовую частоту спецвычислителя, а также существенного расхождения критической задержки для разных вариантов представлений спецвычислителя. В заключении сделан вывод о проведении дальнейших исследований.