Институт системного программирования им. В.П. Иванникова РАН


Что искать

Искать в:

Публикации
Труды ИСП РАН
Везде

Публикации за 2017 год

  1. Е.М. Лаврищева «Научные основы программ и технологии программирования систем» Доклад Е.М. Лаврищевой в Центральном доме учёных РАН 15.03.2017.
  2. Дробышевский М.Д., Коршунов А.В., Турдаков Д.Ю. Обучение и масштабирование сетей на основе вложения графа Proceedings of ECML PKDD 2017
  3. Лаврищева Е.М. Развитие теории программ и систем в СССР. История и современные теории программ и систем. Сборник SORUCOM-2017.- Развитие ВТ в России и в странах бывшего СССР. История и перспективы. 3-5 октября 2017.-с.162-176.
  4. E.M. Lavrischeva, I.B. Petrov. Ways of Development of Computer Technologies to Perspective Nano. Preceeding of Future Technologies Conference (FTC) 2017, 29-30 November 2017. Vancouver, Canada, рр.539-548.
  5. Лаврищева Е.М. Научные основы программной инженерии (Понятия, Парадигмы, Технологии, СASE-средства). Theoretical and Applied Aspects of Program Systems Development» (TAAPSD’2017), 4-8 дек. 2017. - с. 201-214.
  6. Е.М. Лаврищева, В.С. Мутилин, А.Г. Рыжов. Аспекты моделирования вариабельных программных и операционных систем. Научный сервис в сети Интернет: труды XIX Всероссийской научной конференции (18-23 сентября 2017 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2017. — С. 327-340.
  7. Лаврищева Е.М. Фундаментальные основы программной инженерии. Сборник научных трудов 5-международной конференции «Актуальные проблемы системной и программной инженерии». - Сборник трудов АПСПИ-2017, 14-16 октября 2017. - с.163-177.
  8. Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин. Подходы к представлению научных знаний в Интернет науке. Сб. XIX Всероссийский научной конференции «Научный сервис в сети Интернет», Новороссийск, 18-23 сентября 2017.-с.310-326.
  9. Лаврищева Е.М., Рыжов А.Г. Применение теории общих типов данных стандарта ISO/IEC 12207 GDT к Big Data. «Актуальные проблемы в современной науке и пути их решения», 27 декабря 2016.
  10. П. А. Пархоменко, А. А. Григорьев, Н. А. Астраханцев. Обзор и экспериментальное сравнение методов кластеризации текстов Труды ИСП РАН, том 29, вып. 2, 2017 г., стр. 161-200.
  11. Н.Ф. Димитриева Численное решение задачи обтекания клина потоком стратифицированной жидкости с использованием OpenFOAM Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 7-20.
  12. М.Д. Калугин, И.Е. Евдокимов Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 21-38.
  13. П.С. Лукашин, С.В. Стрижак, Г.А. Щеглов Тестирование возможностей открытого кода BEM++ по решению задач акустики Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 39-52.
  14. В.Г. Мельникова, О.С. Коцур, Г.А. Щеглов Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 53-70.
  15. В.В. Пузикова Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 71-84.
  16. Д.И. Романова Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 85-100.
  17. А.Н. Нуриев, А.И. Юнусова, О.Н.Зайцева Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 101-118.
  18. М.К. Ермаков, А.Ю. Герасимов, Д.О. Куц, А.А. Новиков Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 119-134.
  19. С.П. Вартанов, М.К. Ермаков, А.Ю. Герасимов Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 135-148.
  20. С.П. Вартанов, А.Ю. Герасимов, М.К. Ермаков, Д.О. Куц, А.А. Новиков Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 149-166.
  21. А.Д. Татарников Обзор методов и средств генерации тестовых программ для микропроцессоров Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 167-194.
  22. М.У. Мандрыкин, В.С. Мутилин Обзор подходов к моделированию памяти в инструментах статической верификации Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 195-230.
  23. Р.С. Самарев Обзор состояния области потоковой обработки данных Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 231-260.
  24. И.Б. Бурдонов, А.С. Косачев Размер памяти для хранения упорядоченного корневого графа Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 7-26.
  25. И.Б. Бурдонов, А.С. Косачев Общий подход к решению задач на графах коллективом автоматов Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 27-76.
  26. Е.М. Новиков Развитие ядра операционной системы Linux Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 77-96.
  27. Е.М. Новиков Возможности статической верификации монолитного ядра операционных систем Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 97-116.
  28. С.Д. Кузнецов Управление данными: 25 лет прогнозов Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 117-160.
  29. П.А. Пархоменко, А.А. Григорьев, Н.А. Астраханцев Обзор и экспериментальное сравнение методов кластеризации текстов Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 161-200.
  30. К.Е. Лейтон-Павез, Х.М. Редондо, А.М. Тарквис-Альфонсо, Х.К. Джил-Мартин, Дж.Д. Теллез-Альварез Фрактальный анализ растущих городов и его связь с распределением центров здоровья Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 201-214.
  31. Х.М. Редондо, Дж.Д. Теллес-Альварес, Х.М. Санчез Турбулентная конвекция термоэлектричеством в охладительно-нагревательном устройстве Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 215-230.
  32. А.С. Аничкин, В.А. Семенов Математическая формализация задач проектного планирования в расширенной постановке Труды Института системного программирования РАН. Том 29, выпуск 2, 2017 г. Стр. 231-256.
  33. П.Н. Девянин О проблеме представления формальной модели политики безопасности операционных систем Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 7-16.
  34. А. В. Козачок, Е. В. Кочетков Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 17-30.
  35. В.А. Падарян О представлении результатов обратной инженерии бинарного кода Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 31-42.
  36. А.В. Хорошилов, И.В. Щепетков ADV_SPM — Формальные модели политики безопасности на практике Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 43-56.
  37. А.П. Меркулов, С.А. Поляков, А.А. Белеванцев Анализ программ на языке Java в инструменте Svace Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 57-74.
  38. А.Ю. Герасимов Обзор подходов к улучшению качества результатов статического анализа программ Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 75-98.
  39. М.В. Беляев, Н.В. Шимчик, В.Н. Игнатьев, А.А. Белеванцев Сравнительный анализ двух подходов к статическому анализу помеченных данных Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 99-116.
  40. А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, Е. Ф. Евстропов Обзор задач и методов их решения в области классификации сетевого трафика Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 117-150.
  41. В.О. Мордань Комбинация методов статической верификации композиции требований Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 151-170.
  42. Ю.А. Солоделов, Н.К. Горелиц Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 171-178.
  43. Е. Ю. Шарыгин,  Р. А. Бучацкий Обзор методов динамической компиляции запросов Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 179-224.
  44. Н.Н. Кузюрин О задаче приближенного нахождения максимальной двудольной клики Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 225-232.
  45. А. Сотников, Н. Шабалдина, М. Громов Эксперименты по построению параллельной композиции временных автоматов Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 233-246.
  46. А.С. Аничкин, В.А. Семенов Объектно-ориентированный каркас для программной реализации приложений теории расписаний Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 247-296.
  47. Н.Ю. Вьюгинов, В.С. Фондаратов Автоматизированная генерация типовых контрактов для языка Ruby Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 7-20.
  48. Р.А. Нестеров, И.А. Ломазова Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 21-38.
  49. А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль Контрактный метод спецификации реактивных требований Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 39-54.
  50. Д.Р. Башкирова, Ш. Йошидзава, Р.Х. Латыпов, Х. Йокота Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 55-72.
  51. А.В. Корнилова, Я.А. Кириленко, Н.И. Забелина Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 73-86.
  52. А.Р. Гималетдинова, К.Ю. Дегтярев Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 87-106.
  53. М.К. Горденко, С.М. Авдошин Смешанная задача китайского почтальона Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 107-122.
  54. С.М. Авдошин, Е.Н. Береснева Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 123-138.
  55. A.C. Твардовский, Н.В. Евтушенко, М.Л. Громов Минимизация автоматов с таймаутами и временными ограничениями Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 139-154.
  56. К.В. Давыдова, C.A. Шершаков Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 155-174.
  57. Л.В. Дворянский, В.Е. Михайлов Инструмент для анализа поведения вполне структурированных систем переходов Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 175-190.
  58. А. Карнов, С. Зеленов Cтохастические методы анализа комплексных программно-аппаратных систем Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 191-202.
  59. А.Р. Волков, М.У. Мандрыкин Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 203-216
  60. С.В. Козин, В.С. Мутилин Статическая верификация конфигураций ядра Linux Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 217-230.
  61. В.С. Буренков Методика параметризованной верификации протоколов когерентности памяти Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 231-246
  62. М.М. Чупилко, А.С. Камкин, М.С. Лебедев, С.А. Смолов Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 247-256.
  63. М.В. Петроченков, Р.Е. Муштаков, И.А. Стотланд Верификация контроллеров 10 гигабитного Ethernet Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 257-268.
  64. О. Москалева, А. Громова Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 269-282.
  65. К.A. Маллачиев, Н.В. Пакулин, А.В. Хорошилов, Д.В. Буздалов Использование модульного подхода во встраиваемых операционных системах Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 283-294.
  66. А.Н. Емеленко, К.А. Маллачиев, Н.В. Пакулин Отладчик для операционной системы реального времени: проблемы мультиплатформенности Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 295-302.
  67. Л.Д. Кантеев, Ю.О. Костюков, Д.В. Луцив, Д.В. Кознов, М.Н. Смирнов Обнаружение неточно повторяющегося текста в документации программного обеспечения Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 303-314.
  68. С.И. Сметанин Программа для мониторинга общественных настроений в России на основе сообщений из Twitter Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 315-324.
  69. И.И. Долгалева, И.А. Горшков, Р.Э. Яворский Narrabat — прототип сервиса для пересказа новостей в формате стихотворений Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 325-336.
  70. Барабанов А.В., Лавров А.И., Марков А.С., Полотнянщиков И.А., Цирлов В.Л. Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 7-18.
  71. Семенкович С.А., Колеконова О.И., Дегтярев К.Ю. Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 19-38.
  72. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 39-60.
  73. Матросова А.Ю., Останин С.А., Николаева Е.А. Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 61-74.
  74. Никифоров В.В., Баранов С.Н. Техника плоских схем для тестирования встроенных операционных систем Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 75-92.
  75. Лаврищева Е.М., Мутилин В.С., Рыжов А.Г. Проектирование моделей вариабельности для программных, операционных систем и их семейств Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 93-110.
  76. Герасимов А.Ю., Круглов Л.В., Ермаков М.К., Вартанов С.П. Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 111-134.
  77. Козачок А.В. Логика первого порядка для задания требований к безопасному программному коду Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 135-148.
  78. Подкопаев А.В., Лахав О., Вафеядис В. Обещающая компиляция в ARMv8.3 Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 149-164.
  79. Легалов А.И., Васильев В.С., Матковский И.В., Ушакова М.С. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 165-184.
  80. Казаков К.А., Семенов В.А. Объектно-ориентированная среда для разработки приложений планирования движения Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 185-238.
  81. Аничкин А.С., Морозов С.В., Семенов В.А., Тарлапан О.А. Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 239-256.
  82. Зеленов С.В., Зеленова С.А. Моделирование программно-аппаратных систем и анализ их безопасности Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 257-282.
  83. Бурдонов И., Косачев А., Сортов А. Распределённые алгоритмы на корневых неориентированных графах Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 283-310.
  84. Семакин А.Н. Программное обеспечение для создания адаптивных сеток Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 311-328.
  85. Цынаева А.А., Разоренов С.Е., Белая В.В. Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 329-344.
  86. Козачок А.В., Кочетков Е.В. Подход к реализации системы верифицированного исполнения программного кода Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 7-24.
  87. Захаров И.С., Новиков Е.М. Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 25-48.
  88. Ефремов Д.В, Мандрыкин М.У. Формальная верификация библиотечных функций ядра Linux Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 49-76.
  89. Ефимов В.Ю., Беззубиков А.А., Богомолов Д.А., Горемыкин, О.В., Падарян В.А. Автоматизация разработки моделей устройств и вычислительных машин для QEMU Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 77-104.
  90. Михайлов А.А., Хмельнов А.Е. Декомпиляция объектных файлов DCUIL Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 105-116.
  91. Якимов И.А., Кузнецов А.С. Поиск недостающих вызовов библиотечных функций с использованием машинного обучения Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 117-134.
  92. Когтенков А.В. Эталонные тесты безопасности нулевых ссылок при инициализации объекта Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 135-150.
  93. Федотов А.Н., Каушан В.В., Гайсарян С.С., Курмангалеев Ш.Ф. Построение предикатов безопасности для некоторых типов программных дефектов Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 151-162.
  94. Нурмухаметов А.Р., Жаботинский Е.А., Курмангалеев Ш.Ф., Гайсарян С.С., Вишняков А.В. Мелкогранулярная рандомизация адресного пространства программы при запуске Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 163-182.
  95. Зеленова С.А., Зеленов С.В. Критерий существования бесконфликтного расписания для системы строго периодических задач Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 183-202.
  96. Аксенова Е.Л., Швецова В.В, Борисенко О.Д., Богомолов И.В. Реализация сервиса для замены Keystone в качестве центрального сервиса идентификации облачной платформы Openstack Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 203-212.
  97. Кузюрин Н.Н., Лазарев Д.О. Исследование максимального размера плотного подграфа случайного графа Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 213-220.
  98. Лазарев Д.О., Кузюрин Н.Н. Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 221-228.
  99. Грушин Д.А., Кузюрин Н.Н. Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 229-244.
  100. Никитин М.Н. Моделирование смешанной конвекции над горизонтальной пластиной Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 245-252.
  101. Лукашин П.С., Мельникова В.Г., Стрижак С.В., Щеглов Г.А. Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 253-270.
  102. Котеров В.Н., Кривцов В.М., Зубов В.И. Программный пакет для расчета аэродинамических характеристик летательных аппаратов Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 271-288.
  103. Теллез-Альварез Дж., Гомез М., Руссо Б. Технология обработки изображений для гидравлических приложений Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 289-298.
  104. Ряховский А.И., Шмидт А.А., Антонов В.И. Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 299-310.
  105. Санчес-Кордеро Э., Гомез М., Блейд Э. Трехмерный численный анализ прорыва плотины с использованием OpenFOAM Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 311-320.
  106. Авдеев Е.В., Волкова К.А., Овчинников В.А. Моделирование смазочной системы главной передачи Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 321-330.

Вернуться к списку всех публикаций