Москва

82495

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Вероятностная интерпретация задачи дистилляции

ISBN/ISSN: 

0005-2310

DOI: 

10.31857/S0005231022010093

Наименование источника: 

  • Автоматика и телемеханика

Обозначение и номер тома: 

№ 1

Город: 

  • Москва

Издательство: 

  • ФГБУ "Издательство "Наука" (Москва)

Год издания: 

2022

Страницы: 

150-168
Аннотация
Статья посвящена методам понижения сложности аппроксимирующих моделей. Предлагается вероятностное обоснование методов дистилляции и привилегированного обучения. Приведены общие выводы для произвольной параметрической функции с наперед заданной структурой. Показано теоретическое обоснование для частных случаев: линейной и логистической регрессии. Проводится анализ рассмотренных моделей в вычислительном эксперименте на синтетических выборках и реальных данных. В качестве реальных данных рассматриваются выборки FashionMNIST и Twitter Sentiment Analysis.

Библиографическая ссылка: 

Грабовой А.В., Стрижов В.В. Вероятностная интерпретация задачи дистилляции // Автоматика и телемеханика. 2022. № 1. С. 150-168.

82492

Автор(ы): 

Автор(ов): 

5

Параметры публикации

Тип публикации: 

Доклад

Название: 

Варианты ассистированного поиска информации в технической документации с применением искусственного интеллекта

Электронная публикация: 

Да

ISBN/ISSN: 

978-5-91450-283-3

Наименование конференции: 

  • 18-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD'2025, Москва)

Наименование источника: 

  • Труды 18-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2025, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2025

Страницы: 

916-920
Аннотация
В работе приведены результаты анализа и экспериментального тестирования различных вариантов организации ассистированного поиска информации в технической документации на примере библиотеки документов по АСУ ТП АЭС. Проведена экспертная оценка эффективности поиска с применением облачных больших языковых моделей (БЯМ), в том числе с использованием специальных поисковых надстроек, локальных дистиллированных БЯМ (с различными вариантами встраивания библиотеки документов), классическими поисковыми системами, а также ручным контекстным поиском. Рассматриваются вопросы безопасности применения искусственного интеллекта на АЭС.

Библиографическая ссылка: 

Жарко Е.Ф., Промыслов В.Г., Семенков К.В., Степанов В.Н., Шумов А.С. Варианты ассистированного поиска информации в технической документации с применением искусственного интеллекта / Труды 18-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2025, Москва). М.: ИПУ РАН, 2025. С. 916-920.

82491

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Оценка качества программного обеспечения для АЭС: актуальные проблемы и перспективы совершенствования

Электронная публикация: 

Да

ISBN/ISSN: 

978-5-91450-283-3

Наименование конференции: 

  • 18-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD'2025, Москва)

Наименование источника: 

  • Труды 18-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2025, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2025

Страницы: 

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

Библиографическая ссылка: 

Жарко Е.Ф. Оценка качества программного обеспечения для АЭС: актуальные проблемы и перспективы совершенствования / Труды 18-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2025, Москва). М.: ИПУ РАН, 2025. С. 905-915.

82490

Автор(ы): 

Автор(ов): 

7

Параметры публикации

Тип публикации: 

Пленарный доклад

Название: 

Программное обеспечение систем верхнего уровня АСУТП АЭС: защита и управление конфигурацией

Электронная публикация: 

Да

ISBN/ISSN: 

978-5-91450-283-3

Наименование конференции: 

  • 18-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD'2025, Москва)

Наименование источника: 

  • Труды 18-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2025, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2025

Страницы: 

65-73
Аннотация
Рассмотрена задача внесения изменений в прикладное программное обеспечение систем верхнего блочного уровня АСУТП АЭС. Приведены краткие сведения о прикладном программном обеспечении, раскрыты основные идеи методики внесения изменений, представлена характеристика системы подготовки данных для автоматизированного внесения изменений.

Библиографическая ссылка: 

Полетыкин А.Г., Байбулатов А.А., Акафьев К.В., Бывайков М.Е., Жарко Е.Ф., Промыслов В.Г., Семенков К.В. Программное обеспечение систем верхнего уровня АСУТП АЭС: защита и управление конфигурацией / Труды 18-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2025, Москва). М.: ИПУ РАН, 2025. С. 65-73.

82486

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Раскрытие Гессиана: ключ к плавной сходимости поверхности функции потерь

ISBN/ISSN: 

2686-9543

DOI: 

10.31857/S2686954324700383

Наименование источника: 

  • Доклады Российской академии наук. Математика, информатика, процессы управления

Обозначение и номер тома: 

Т. 520, № S2

Город: 

  • Москва

Издательство: 

  • ФГБУ "Издательство "Наука"

Год издания: 

2024

Страницы: 

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

Библиографическая ссылка: 

Киселев Н.С., Грабовой А.В. Раскрытие Гессиана: ключ к плавной сходимости поверхности функции потерь // Доклады Российской академии наук. Математика, информатика, процессы управления. 2024. Т. 520, № S2. С. 57-70.

Публикация имеет версию на другом языке или вышла в другом издании, например, в электронной (или онлайн) версии журнала: 

Да

Связь с публикацией: 

82483

Автор(ы): 

Автор(ов): 

3

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Stack more LLM’s: эффективное обнаружение машинно-сгенерированных текстов с помощью аппроксимации значений перплексии

ISBN/ISSN: 

2686-9543

DOI: 

10.31857/S2686954324700590

Наименование источника: 

  • Доклады Российской академии наук. Математика, информатика, процессы управления

Обозначение и номер тома: 

Т. 520, № S2

Город: 

  • Москва

Издательство: 

  • ФГБУ "Издательство "Наука"

Год издания: 

2024

Страницы: 

228-237
Аннотация
Развитие больших языковых моделей (LLM) в настоящее время вызывает большой интерес в научном сообществе, в то же время прогресс методов генерации текстов стимулирует рост и постоянное обновление подходов обнаружения машинно-сгенерированных фрагментов. В более ранних исследованиях было отмечено, что значения перплексии и логарифмической функции вероятности способны отразить меру разницы между искусственными и написанными человеком текстами. На основе этого наблюдения в данной работе вводится новый критерий, который позволяет делать вывод о принадлежности текстового фрагмента конкретной LLM. В текущем исследовании предлагается новый эффективный метод, который позволяет обнаруживать искусственно-сгенерированные фрагменты с помощью аппроксимации значения перплексии у LLM. Приближение основано на предварительно собранных статистических языковых моделях. Аппроксимация позволяет достичь высоких показателей производительности системы и качества, в том числе и для фрагментов, сгенерированных большими языковыми моделями, веса которых не были опубликованы. Большое количество предварительно собранных словарей статистик повышает способность к обобщению и позволяет охватывать текстовые последовательности, которые не встречались ранее. Описанный в работе подход легко обновлять, необходим лишь новый словарь статистик, основанный на текстах, сгенерированных желаемой языковой моделью. Представленный метод в среднем достигает 94% полноты обнаружения сгенерированных фрагментов среди текстов из различных LLM, а одна проверка совершается за миллисекунды, что превосходит современные подходы в тысячи раз.

Библиографическая ссылка: 

Грицай Г.М., Хабутдинов И.А., Грабовой А.В. Stack more LLM’s: эффективное обнаружение машинно-сгенерированных текстов с помощью аппроксимации значений перплексии // Доклады Российской академии наук. Математика, информатика, процессы управления. 2024. Т. 520, № S2. С. 228-237.

Публикация имеет версию на другом языке или вышла в другом издании, например, в электронной (или онлайн) версии журнала: 

Да

Связь с публикацией: 

82478

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Достаточный размер выборки: бутстрапирование правдоподобия

ISBN/ISSN: 

0044-4669

DOI: 

10.31857/S0044466925020094

Наименование источника: 

  • Журнал Вычислительной математики и математической физики

Обозначение и номер тома: 

т. 65, № 2

Город: 

  • Москва

Издательство: 

  • ФГБУ "Издательство "Наука"

Год издания: 

2025

Страницы: 

411-418
Аннотация
Определение подходящего размера выборки имеет решающее значение для построения эффективных моделей машинного обучения. Существующие методы часто либо не имеют строгого теоретического обоснования, либо привязаны к конкретным статистическим гипотезам о параметрах модели. В настоящей работе представляются два новых метода, основанных на значениях правдоподобия на бутстрапированных подвыборках. Демонстрируется корректность одного из этих методов на в модели линейной регрессии. Вычислительные эксперименты как с синтетическими, так и с реальными наборами данных показывают, что предложенные функции сходятся по мере увеличения размера выборки, что подчеркивает практическую полезность подхода. Библ. 13. Фиг. 4. Табл. 1.

Библиографическая ссылка: 

Киселев Н.С., Грабовой А.В. Достаточный размер выборки: бутстрапирование правдоподобия // Журнал Вычислительной математики и математической физики. 2025. т. 65, № 2. С. 411-418.

Публикация имеет версию на другом языке или вышла в другом издании, например, в электронной (или онлайн) версии журнала: 

Да

Связь с публикацией: 

82475

Автор(ы): 

Автор(ов): 

3

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

За чертой знакомых доменов: исследование обобщающей способности детекторов машинно сгенерированных изображений

ISBN/ISSN: 

2686-9543

DOI: 

10.7868/S2686954325070094

Наименование источника: 

  • Доклады Российской академии наук. Математика, информатика, процессы управления

Обозначение и номер тома: 

527 № S

Город: 

  • Москва

Издательство: 

  • ФГБУ "Издательство "Наука"

Год издания: 

2025

Страницы: 

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

Библиографическая ссылка: 

Варламова К.Д., Дорин Д.Д., Грабовой А.В. За чертой знакомых доменов: исследование обобщающей способности детекторов машинно сгенерированных изображений // Доклады Российской академии наук. Математика, информатика, процессы управления. 2025. 527 № S. С. 103-116.

82474

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

An Adaptive Generator of Reference Trajectories Satisfying UAV’s Dynamic Constraints

ISBN/ISSN: 

2782-2427

Наименование источника: 

  • Control Sciences

Обозначение и номер тома: 

№ 5

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2025

Страницы: 

88-97
Аннотация
In trajectory control problems for airplane-type unmanned aerial vehicles (UAVs), it is important to ensure the smoothness of reference trajectories. Feedback control design generally requires knowledge of their derivatives. If reference actions arrive as real-time signals from an autonomous source, the values of their derivatives must be reconstructed considering constraints on the UAV velocity and acceleration. For the combined smoothing and differentiation of reference actions, an autonomous dynamic generator with corrective actions in the form of bounded and smooth sigma functions with constant gains is developed. They are tuned universally under specified worst-case constraints, i.e., the maximum admissible absolute values of the UAV velocity and acceleration. In this case, a nonsmooth reference trajectory is tracked and smoothed by the output variables of the generator under specified design constraints, albeit with significant lower bounds for the tracking error. As shown, the approximation accuracy of a reference trajectory can be improved without violating the design constraints on those segments where the factual rate of change of the reference trajectory is less than the maximum admissible. The scientific novelty of this paper consists in the development of a reference trajectory generator with adaptively tuned gains without dynamic order expansion. Simulation results are presented to confirm the effectiveness of the algorithms developed.

Библиографическая ссылка: 

Кокунько Ю.Г. An Adaptive Generator of Reference Trajectories Satisfying UAV’s Dynamic Constraints // Control Sciences. 2025. № 5. С. 88-97.

Страницы