Цели. Цель работы – разработка и обоснование методологии синтеза высокопроизводительных и одновременно верифицированных реализаций криптосистем на эллиптических кривых.

   Ключевой задачей является обеспечение не только математической корректности, но и инженерной безопасности кода, что достигается путем интеграции машинно-проверяемых доказательств с автоматической инспекцией.

   Методы. Работа опирается на формальную верификацию в интерактивной среде Coq¹ (ребрендинг с марта 2025 г.) с применением тактик ring² и nsatz³ для автоматизации алгебраических доказательств, а также на разработанные одним из авторов методы синтеза на основе свертки. Для анализа безопасности на низком уровне используются статический анализ диапазонов и дедуктивная верификация на платформе Frama-C⁴. Эффективность полученных решений оценивается путем сравнительного анализа арифметической сложности и времени выполнения.

   Результаты. Предложен и реализован подход, при котором исполняемый код на языке C создается вместе с формальным доказательством его соответствия простой математической спецификации, что гарантирует отсутствие алгоритмических ошибок. Несмотря на строгость формальных методов, достигнутая производительность приближается к лучшим ручным реализациям. Ключевым достижением является разработка двухуровневой архитектуры верифицированной арифметики конечных полей, которая позволяет многократно переиспользовать доказательства для различных кривых и параметров. В рамках исследования впервые синтезирована и формально верифицирована явная формула умножения для кривой Curve25519⁵ в 10-лимбовом представлении с весами 2^⌈25.5i⌉, которая полностью идентична классической высокооптимизированной реализации Бернштейна – Швабе.

   Выводы. Построен и успешно апробирован сквозной конвейер Coq → Frama-C, обеспечивающий сквозную гарантию корректности: от математической спецификации эллиптических кривых до оптимизированного кода на C, проверенного на отсутствие переполнений, выходов за границы массивов и непостоянство времени. Итоговая производительность синтезированного кода составляет не более 7 % потерь по сравнению с лучшими ручными реализациями на целевой архитектуре, что доказывает практическую применимость предложенной методологии.

   Цели. Интеграция машинного обучения (machine learning, ML) в экологический мониторинг создает новый спектр киберугроз. Стандарты безопасности искусственного интеллекта (NIST¹, OWASP²) носят общий характер и слабо учитывают специфику природоохранного контроля, в частности зависимость систем экологического мониторинга от данных временных рядов и высокий естественный сенсорный шум.

   Цель работы – разработка специализированной классификации атак на ML-модели и профилирование количественных рисков для автоматизированных систем контроля промышленных выбросов.

   Методы. Выполнен аналитический обзор более 25 научных публикаций по проблемам состязательного машинного обучения и защиты промышленного интернета вещей (Internet of Things, IoT). Отбор источников проводился в базах IEEE Xplore³, ACM Digital Library⁴, Scopus⁵ и arXiv6 по ключевым словам «adversarial ML»⁷, «data poisoning»⁸, «evasion attacks»⁹, «IoT security»¹⁰, «environmental monitoring»¹¹ с приоритетом публикаций 2019–2025 гг. Применены методы структурно-функционального анализа жизненного цикла ML-систем. Проведен синтез доступных экспериментальных данных об уязвимостях нейронных сетей и ансамблевых алгоритмов для формирования количественных оценок успешности воздействия и уровня деградации моделей.

   Результаты. Предложена трехуровневая классификация угроз (отравление данных, атаки уклонения, инверсия моделей), дополненная матрицей уязвимостей по осям «данные – модель – платформа». Показано, что подмена менее 5 % данных в обучающей выборке приводит к скрытому падению точности глубоких нейронных сетей (deep neural network, DNN) на 85 процентных пунктов, а наиболее мощные атаки уклонения достигают успешности 97–99 % против одиночных DNN. Идентифицирована критическая угроза составных атак, комбинирующих дрейф данных IoT с архитектурными слабостями алгоритмов для манипуляции результатами прогнозирования.

   Выводы. Безопасное применение предиктивной аналитики требует обязательного перехода к проактивной архитектуре защиты. Для нейтрализации угроз необходимо использование робастных ансамблевых моделей, регулярного состязательного обучения (adversarial training) и жесткой валидации входящих потоков данных. Определены приоритетные направления дальнейших исследований, центральным элементом которых является разработка эталонных экологических датасетов и метрик киберустойчивости искусственного интеллекта.

   Цели. Основной целью исследования является экспериментальная верификация предложенного подхода к адаптивному анализу угроз информационной безопасности на объектах критической информационной инфраструктуры с использованием цифрового двойника автоматизированной системы управления технологическими процессами (АСУ ТП) энергообъекта.

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

   Результаты. Экспериментально подтверждена работоспособность предложенного подхода: использование цифрового двойника обеспечивает качество обнаружения угроз, сопоставимое с прямым дообучением на реальном оборудовании, при существенно более высоком уровне защищенности. На основе анализа смоделированных атак в цифровом двойнике сформулированы и верифицированы две защитные меры на уровне прикладной логики АСУ ТП: корреляционное правило в SCADA-системе² для проверки логической согласованности телеметрии и адаптивный пороговый контроль, учитывающий текущий режим работы энергообъекта. Их внедрение позволило повысить точность обнаружения при сохранении полноты и дополнительно усилить защищенность системы. Проведенная серия из ста независимых экспериментов подтвердила статистическую значимость полученных результатов. Разработанные защитные меры продемонстрировали устойчивость к различным режимам функционирования энергообъекта.

   Выводы. Предложенный подход позволяет осуществлять адаптивный анализ угроз информационной безопасности без прямого взаимодействия с реальным оборудованием, что соответствует требованиям функциональной безопасности и нормативным ограничениям, действующим в отношении объектов критической информационной инфраструктуры.

   Цели. В результате действия высоких температур и высоких давлений фуллерен претерпевает серию фазовых превращений, в результате которых получаются фазы и структуры с высокими физическими и механическими свойствами. Известно, что на превращения фуллерена С₆₀ в различные полимеризованные фазы существенно влияют легирующие атомы и молекулы. В то же время такие исследования превращений фуллеренов в разориентированный графит почти отсутствует.

   Цель работы – краткий обзор исследований превращений фуллеренов в разориентированный графит, выполненных коллективом исследователей из РТУ МИРЭА, Курчатовского института и Института физики высоких давлений Российской академии наук, в которых принимал участие автор настоящего обзора.

   Методы. Исследовались превращения кристаллических и аморфных фуллеренов С₆₀ и С₇₀ при давлении 8 ГПа в диапазоне температур 500–1100 °С. Спекание образцов из порошков фуллеренов и легирующих элементов проводилось в камере высокого давления, а все измерения структуры и свойств – при комнатной температуре. Использовались дифракция нейтронов и рентгеновских лучей, рамановская спектроскопия, просвечивающая электронная микроскопия, измерение твердости и микротвердости.

   Результаты. Показано, что влияние легирующих элементов на фазовые превращения фуллеренов в разориентированный графит при высоком давлении определяется двумя факторами: химическим взаимодействием (образованием карбидов) и размерным фактором (разностью атомных радиусов легирующего элемента и углерода). Показано, что карбидообразующие металлы с большим размерным эффектом (Fe, Al, V, Cr) существенно улучшают устойчивость кристаллических фуллеренов (повышают на сотни градусов температуру перехода). Металлы, не образующие карбидов (Ni, Ag), не оказывают такого влияния. Карбидообразующие неметаллы B и Si, чьи атомные радиусы близки к атомному радиусу углерода, тоже не сильно влияют на это превращение. Аморфизация фуллерена ускоряет процесс превращения.

   Выводы. Показано, что влияние легирующих элементов на превращение фуллеренов в разориентированный графит определяется как их химическим взаимодействием с углеродом (образование карбидов), так и разностью атомных радиусов легирующего элемента и углерода (размерный фактор). При совпадении этих двух факторов легирующие элементы оказывают существенное влияние на устойчивость фуллерена и повышают температуру его превращения в разориентированный графит на сотни градусов.

   Цели. Целью работы является разработка технологического процесса прецизионной лазерной резки хрупких материалов: стекла, полупроводниковых материалов и оптических материалов.

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

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

   Выводы. В результате проведенных исследований разработана новая технология ЛИОМ, позволяющая выполнять высокоэффективное лазерное сверление микроотверстий диаметром от 30 мкм, формирование отверстий произвольной формы и резов по криволинейным контурам как в хрупких оптически прозрачных материалах, так и в оптически непрозрачных материалах с высоким качеством кромки, гарантированной повторяемостью и высокой производительностью процесса резки.

   Цели. Дисперсные (в частности порошковые) материалы, обладающие магнитоактивными свойствами, находят применение в решении самых разных прикладных и научных задач. Однако для изучения их магнитных
свойств по-прежнему актуальной остается задача выверенной настройки устройства-магнитометра (обычно пондеромоторного типа), прежде всего, идентификации исполнительной зоны, предназначенной для дислокации изучаемого образца.

   Цель работы – посредством разработанного измерителя магнитной силы установить, остается ли неизменным местоположение в магнитометре его исполнительной зоны с использованием в качестве феррозонда разных проб дисперсного материала.

   Методы. Для прямых измерений магнитной силы применялся разработанный метод – посредством принудительного перемещения (между полюсами-полусферами магнитометра) шарообразного феррозонда в виде порошковой среды.

   Результаты. В магнитометре с полюсами диаметром 184 мм, расположенными на расстоянии 28 мм друг от друга, посредством разработанного измерителя магнитной силы проведены серии экспериментов (при разных значениях намагничивающей силы) с использованием четырех типов порошков (на основе железа и никеля) в качестве феррозондов. Установлены координатные характеристики (по виду – экстремальные) этой силы, что позволило идентифицировать исполнительную зону магнитометра в его «щелевой» области между полюсами. Проведена серия аналогичных экспериментов с использованием порошка дефектоскопии и порошка, состоящего из феррочастиц-примесей чая. Выполнен анализ полученных экспериментальных данных.

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

   Цели. Обоснование целесообразности и концептуализация агентно-ориентированного подхода к построению распределенных интеллектуальных систем, функционирующих в условиях неполноты исходных данных, высокой стохастичности и нестационарности внешней среды. Разработка формальных моделей агентов и методов их кооперации. Построение децентрализованной архитектуры, обеспечивающей адаптивность, масштабируемость и отказоустойчивость. Проектирование и реализация подсистемы распределенного хранения и обработки знаний.

   Методы. Решение поставленных задач потребовало интеграции методов агентного моделирования, аппарата теории автоматов, марковских процессов принятия решений, нечеткой логики, искусственных нейронных сетей, алгоритмов многоагентного обучения с подкреплением, а также процедур экспертного оценивания, обеспечивающих верификацию и практическую адаптацию разработанных теоретических положений.

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

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

   Цели. Статья посвящена применению математического моделирования в процессе разработки сложных узлов и деталей в машиностроении. Подчеркивается значимость прогнозирования поведения узлов в процессе эксплуатации и корпусных деталей в процессе обработки на этапах проектирования.

   Особое внимание уделяется трудностям, возникающим вследствие многофакторности, неопределенности и нелинейности исследуемых объектов, а также высоким требованиям к надежности создаваемых изделий.

   Цели настоящей работы: анализ роли математического моделирования при разработке сложных объектов (узлов и деталей); оценка преимуществ, предоставляемых современными методами компьютерного расчета инженерных решений; разработка вариационного подхода для оценки жесткости узлов и устойчивости деталей при их обработке.

   Методы. Рассматриваются основные методы математического моделирования, применяемые на разных стадиях разработки. Среди используемых подходов предложено обратить особое внимание на конечно-элементный анализ, позволяющий детально исследовать механические напряжения конструкционных элементов при изготовлении и обработке сложных деталей. Для анализа особенностей формирования математических моделей сложных узлов использованы аналитические методики. Метод параметрической идентификации позволяет определить механические характеристики сложных деталей.

   Результаты. Обосновывается необходимость интеграции компьютерных технологий и экспериментальных исследований для повышения эффективности процессов проектирования и изготовления продукции машиностроения. Описаны основные этапы и подходы к созданию математических моделей сложных объектов, приведены
примеры успешного внедрения методов численного анализа и вычислительной механики при создании деталей. В ходе проведенных экспериментов установлено, что применяемые современные теории моделирования сложных объектов демонстрируют высокий уровень адекватности моделей.

   Выводы. Установлено, что метод параметрической идентификации позволяет рассмотреть критические нагрузки несущих элементов сложных узлов. Метод может применяться при проектировании высоконагруженных деталей, где необходимо обеспечить высокий уровень жесткости и устойчивости при обработке.

   Цели. Целью работы является совершенствование технологического процесса горячего пластического формоизменения изделий с глухими, узкими и глубокими полостями типа оправок прошивного стана, направленное на повышение стойкости инструмента и расширение технологических возможностей процесса.

   Методы. Цифровым моделированием в программе QForm¹, основанной на методе конечных элементов, исследован технологический процесс горячей штамповки оправки прошивного стана из трубной заготовки.

   Результаты. Разработанная технология предусматривает использование трубной заготовки с наружным диаметром 0.84–0.98 от максимального диаметра прошивной оправки и внутренним диаметром 0.80–1.0 от наибольшего диаметра полости. В технологическом процессе предусмотрены операции отрезки и нагрева исходной трубной заготовки, горячей штамповки наружного рабочего профиля и внутренней глухой полости поковки. Горячая штамповка производится на кривошипном прессе усилием. Цифровым моделированием выполнено исследование предложенного технологического процесса с целью выбора оптимальных параметров процесса, снижения действующих напряжений, температуры и износа инструмента и повышения его стойкости. Исследованы характер формоизменения трубной заготовки, макроструктура металла поковки, напряженно-деформированное состояние металла поковки и технологическое усилие по переходам штамповки. Цифровое моделирование технологического процесса показало, что при использовании трубной заготовки при получении горячей штамповкой изделий с глубокими полостями показатели износа инструмента от давления и сил трения снижаются в 3.1–4.5 раза.

   Выводы. Использование трубной заготовки при горячей штамповке поковок с глухими и узкими полостями позволяет уменьшить число переходов, снизить температуру и износ инструмента, повысить его стойкость. Полученные результаты свидетельствуют о перспективности использования предложенного технологического процесса горячей объемной штамповки для изготовления изделий с глубокими полостями из трубных заготовок.

   Цели. Проблема корректного определения целевого состояния бизнес-процессов является ключевой при проведении цифровой и бизнес-трансформации организаций, поскольку от этого зависит соответствие результатов стратегическим приоритетам компании. Существующая практика целеполагания, опирающаяся главным образом на экспертные оценки и требования стейкхолдеров, характеризуется методологическими ограничениями, такими как субъективность и недостаточная валидация выдвигаемых гипотез.

   Целями данной работы являются обоснование и разработка интегрированного подхода к формированию целевого состояния бизнес-процессов, сочетающего инструменты стратегического целеполагания и методы проверки для повышения обоснованности проектируемых изменений.

   Методы. В основе исследования лежит критический анализ существующих подходов к постановке целей в проектах трансформации. Для преодоления выявленных ограничений предлагается синтез двух методологических инструментов: применение системы Objectives and Key Results (OKR)1 для декомпозиции долгосрочных стратегических приоритетов в измеримые показатели целевого состояния процесса и использование инструментария A/B-тестирования для экспериментальной проверки гипотез о том, какие именно изменения ключевых результатов приводят к достижению стратегической цели.

   Результаты. Показано, что интеграция OKR и A/B-тестирования создает замкнутый контур управления изменениями. Система OKR обеспечивает «стратегическую навигацию», гарантируя, что целевое состояние не противоречит миссии компании. В свою очередь, A/B-тестирование добавляет эмпирическую основу для целеполагания, позволяя на основе данных, а не интуиции подтверждать или опровергать гипотезы о влиянии изменений в процессах на желаемые бизнес-результаты. Такой подход снижает риски реализации неэффективных проектных решений и повышает адаптивность процесса к изменениям внешней среды.

   Выводы. Предложенный подход устраняет разрыв между абстрактными стратегическими целями и операционными изменениями, обеспечивая методологическую строгость целеполагания через синтез планирования и экспериментальной проверки. Перспективы исследований связаны с масштабированием подхода на сложные архитектуры процессов и интерпретацией результатов A/B-тестов для корректировки OKR.

   Цели. Основной целью статьи является разработка системы философского рассуждения, позволяющей обосновать новые ценностные критерии для информационно-технологического общества, в котором статус субъекта (интегральная личность) «претерпевает изменения» в единстве созидания и разрушения, в процессуальных потоках иллюзий сопротивлением пассивного воздействия на объект.

   Задача состоит в том, чтобы определить онтологический статус информации и технологии не как инструменты познания и преобразования мира, а как среды обитания смыслов и идей.

   Исходя из этого, требуется выявить специфику субъекта познания в эпоху больших данных и искусственного интеллекта, чтобы обосновать категории Заботы и Безопасности, адаптированные к вызовам XXI века.

   Методы. Методологическим фундаментом выступает феноменологическая герменевтика, дополненная принципами неклассической эпистемологии В. А. Лекторского и конструктивистского реализма. В работе последовательно рассматривается феномен «цифрового паноптикума» и его влияние на структуры сознания через дескрипции категорий «прозрачность» и «исчезновение Другого» (Б.-Ч. Хан).

   Особое внимание уделяется этическим вызовам надзорного капитализма, который трансформирует человеческий опыт в поведенческое сырье.

   Опираясь на корпус исследованных текстов (Н. В. Мотрошилова и др.), обосновывается тезис о рисках «высокотехнологичного варварства» – такого состояния постиндустриального общества, при котором техническая рациональность вытесняет ценностное ядро цивилизации. В качестве нормативного ориентира предлагается реактуализация аристотелевского фронезиса (практическая мудрость) и бахтинской диалогичности (полифония) как инструментов сохранения автономии «информационного Dasein».

   Результаты. Относительно вызовов цифровой эпохи, авторы обращают внимание на то, что за фасадом «инфосферы» и «алгоритмов» скрываются все те же вечные вопросы, что волновали философов от Платона до Хайдеггера о форме technе – того самого «искусства» или «ремесла» как способа раскрытия потаенного, требующего от нас переосмысления природы Субъекта и Времени.

   Выводы. Главный вывод статьи заключается в необходимости онтологического обоснования цифровых прав и формировании новой «эпистемологии сопротивления» в противовес алгоритмическому детерминизму.