Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 2 (2017) Турбулентная конвекция термоэлектричеством в охладительно-нагревательном устройстве Аннотация  похожие документы
Х. М. Редондо, Дж. Д. Теллес-Альварес, Х. М. Санчес
"... открытого программного пакета DigiFlow и численного моделирования на базе уравнений Рейнольдса с k-e моделью ..."
 
Том 30, № 6 (2018) Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин, С. В. Стрижак
"... безразмерной горизонтальной скорости в двух различных сечениях со значениями, полученными в эксперименте ..."
 
Том 29, № 6 (2017) Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов
 
Том 31, № 6 (2019) Исследование влияния регулярных магнитных полей на течения во внешних кольцах галактик Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Михайлов, Ильяс Наилевич Сибгатуллин
 
Том 29, № 6 (2017) Программный пакет для расчета аэродинамических характеристик летательных аппаратов Аннотация  похожие документы
В. Н. Котеров, В. М. Кривцов, В. И. Зубов
"... двухпараметрической полуэмпирической модели турбулентности. Описана численная реализация программного пакета для ..."
 
Том 31, № 6 (2019) Влияние численной диссипации на расчетную точность метода моделирования крупных вихрей с пристенным моделированием Аннотация  похожие документы
Тимофей Дмитриевич Муха
"... крупномасштабных флуктуаций и существенной переоценке уровня кинетической энергии турбулентности во внутреннем слое ..."
 
Том 31, № 6 (2019) Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке Аннотация  PDF (Rus)  похожие документы
Константин Борисович Кошелев, Сергей Владимирович Стрижак
"... процесс при помощи сформулированной математической модели. Работа посвящена разработке новых решателей на ..."
 
Том 31, № 6 (2019) Численное изучение влияния начальных турбулентных параметров на переходный режим над плоским крылом Аннотация  похожие документы
Никита Владимирович Тряскин, Рами Али
"... таким образом, чтобы охватить весь диапазон допустимых значений. Влияние параметров турбулентности в ..."
 
Том 32, № 4 (2020) Разработка решателя iceFoam для моделирования процесса обледенения Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК
"... NACA 0012 с помощью метода URANS и и высокорейнольдсовой модели турбулентности Spalart-Allmaras ..."
 
Том 21 (2011) Экспериментальное исследование параллельного исполнения SQL запросов Аннотация  PDF (Rus)  похожие документы
К. К. Смирнов, Г. А. Чернышев
"... экспериментах мы варьируем количество потоков, размер буфера, характеристики тестовых данных для того, чтобы ..."
 
Том 31, № 6 (2019) Анализ полного сопротивления корпуса судна на различных скоростях хода Аннотация  PDF (Rus)  похожие документы
Кирилл Дмитриевич Овчинников
"... interDyMFoam и модель корпуса DTMB 5415. Для реализации предложенного метода корпус DTMB 5415 был разделен на ..."
 
Том 27, № 6 (2015) Проверяющие эксперименты с ненаблюдаемым древовидными автоматами Аннотация  PDF (Rus)  похожие документы
Н. Г. Кушик
"... В работе исследуются особенности синтеза безусловных проверяющих экспериментов для ненаблюдаемых ..."
 
Том 26, № 3 (2014) Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования Аннотация  PDF (Rus)  похожие документы
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов
"... сопровождения вычислительного эксперимента. Платформа Теметос предназначена для полномасштабного математического ..."
 
Том 26, № 4 (2014) Сортировать или нет: экспериментальное сравнение R-Tree и B+-Tree в транзакционной системе для упорядоченной выдачи Аннотация  PDF (Rus)  похожие документы
П. В. Федотовский, Г. А. Ерохин, К. Е. Чередник, К. К. Смирнов, Г. А. Чернышев
"... обеспечивается с помощью GiST) и провели с их помощью ряд экспериментов, результаты которых и представлены в ..."
 
Том 30, № 5 (2018) Численное моделирование качки судна с шахтным устройством на встречном волнении Аннотация  PDF (Rus)  похожие документы
К. Д. Овчинников
"... численного моделирования в программном комплексе OpenFOAM продольной качки модели DTMB 5415 на встречном ..."
 
Том 30, № 5 (2018) Формализация метамодели системы управления требованиями Аннотация  PDF (Rus)  похожие документы
Д. С. Кильдишев, А. В. Хорошилов
"... Requality. Базовая модель представляет собой дерево, каждой вершине которого сопоставлен набор именованных и ..."
 
Том 21 (2011) Обзор моделей данных объектно-ориентированных СУБД Аннотация  PDF (Rus)  похожие документы
А. М. Эльдарханов
"... и отсутствие единого стандарта как в области теории (исчисление объектов, концепции моделей данных ..."
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
"... Модели процессов и графы широко используются для моделирования и визуализации процессов в ..."
 
Том 29, № 6 (2017) Моделирование смешанной конвекции над горизонтальной пластиной Аннотация  похожие документы
М. Н. Никитин
"... четырех численных моделей на базе рейнольдсовых, вихревых и вязкостных моделей турбулентности. Основным ..."
 
Том 28, № 6 (2016) Моделирование семейств программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
 
Том 29, № 4 (2017) Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Аннотация  похожие документы
А. Р. Волков, М. У. Мандрыкин
"... текущей модели памяти заключается в том, что при встрече функции, возвращающей указатель на область памяти ..."
 
Том 29, № 5 (2017) Обещающая компиляция в ARMv8.3 Аннотация  PDF (Rus)  похожие документы
А. В. Подкопаев, О. Лахав, В. Вафеядис
"... этой проблемы является „обещающая“ модель памяти. Для того, чтобы некоторая модель могла быть ..."
 
Том 29, № 1 (2017) Обзор подходов к моделированию памяти в инструментах статической верификации Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... статической верификации. Обозначены основные проблемы, возникающие при разработке моделей памяти для языка Си ..."
 
Том 26, № 2 (2014) Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС Аннотация  PDF (Rus)  похожие документы
Ю. Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К. Н. Чыонг Ван
 
Том 29, № 3 (2017) ADV_SPM - Формальные модели политики безопасности на практике Аннотация  PDF (Rus)  похожие документы
А. В. Хорошилов, И. В. Щепетков
 
Том 29, № 3 (2017) О проблеме представления формальной модели политики безопасности операционных систем Аннотация  PDF (Rus)  похожие документы
П. Н. Девянин
"... «Формальная модель политики безопасности», в том числе по определению языка, глубины и детализации ..."
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... между разработчиками в ходе совместной разработки. Мы используем формальные модели для описания ..."
 
Том 22 (2012) О построении аппроксимирующих функций характеристик малого числа систем Аннотация  PDF (Rus)  похожие документы
Я. А. Хетагуров
"... построения общих математических моделей (ММ), использующих одинаковые характеристики систем, частей ..."
 
Том 21 (2011) Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели Аннотация  PDF (Rus)  похожие документы
Андрей Белеванцев, Алексей Кравец, Александр Монаков
"... генерации используется инфраструктура GRAPHITE компилятора GCC, использующая полиэдральную модель для ..."
 
Том 30, № 5 (2018) Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки Аннотация  PDF (Rus)  похожие документы
О. С. Сороковикова, Д. В. Дзама, Д. Г. Асфандияров
"... моделей в задачах вычислительной метеорологии. К таким задачам относится, в частности, задача обоснования ..."
 
Том 27, № 1 (2015) Объектные модели ODMG и SQL десять лет спустя: нет противоречий Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... .0 (объектная модель ODMG) и SQL:2003 (модель данных SQL) и убедительно (как мне тогда казалось) доказывал, что ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
 
Том 32, № 2 (2020) HP-граф как основа для разработки редактора визуальных моделей DSM-платформы Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... , включающие недостаточные выразительные возможности моделей, используемых для реализации редакторов визуальных ..."
 
Том 27, № 2 (2015) Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ Аннотация  PDF (Rus)  похожие документы
А. Э. Молчанов
"... В статье рассматриваются алгебраические модели программ с процедурами. Для специфического класса ..."
 
Том 28, № 3 (2016) Верификация и анализ вариабельных операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко
"... вариабельность кода техники анализа с итеративным уточнением модели поведения системы на основе контрпримеров. ..."
 
Том 28, № 3 (2016) К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
 
Том 28, № 3 (2016) Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... последовательности UML - графические модели, подходящие для представления взаимодействий в гетерогенных компонентных ..."
 
Том 28, № 2 (2016) Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей Аннотация  похожие документы
Д. Д. Кожевников, Н. В. Красилич
"... мемристоров, а также несколько математических моделей мемристоров из металло-диоксидной группы. Одна из таких ..."
 
Том 30, № 3 (2018) Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Аннотация  похожие документы
С. Л. Лесовой
"... Модельно-ориентированный подход к разработке позволяет построить архитектурную модель существующей ..."
 
Том 26, № 3 (2014) Современное состояние исследований в области обфускации программ: определения стойкости обфускации Аннотация  PDF (Rus)  похожие документы
Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров
 
1 - 40 из 116 результатов 1 2 3 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)