Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 1 (2016) Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн Аннотация  PDF (Rus)  похожие документы
М. Провидухина, И. Сибгатуллин
"... Проведено прямое численное моделирование распространения внутренних волн и образования волновых ..."
 
Том 26, № 5 (2014) Прямое численное моделирование аттракторов внутренних волн стратифицированной жидкости в трапециедальной области с колеблющейся вертикальной стенкой Аннотация  PDF (Rus)  похожие документы
К. Брузе, Т. Доксуа, Е. Ерманюк, С. Жубо, М. Крапошин, И. Сибгатуллин
"... , что общий вид аттрактора хорошо воспроизводится как методом спектральных элементов, так и методом ..."
 
Том 31, № 6 (2019) Исследование влияния регулярных магнитных полей на течения во внешних кольцах галактик Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Михайлов, Ильяс Наилевич Сибгатуллин
"... действии дифференциального вращение и альфа-эффекта. В случае галактик, как правило, используется планарное ..."
 
Том 32, № 6 (2020) Моделирование аккумуляции кинетической энергии внутренних волн в областях с большим отношением горизонтального и вертикального масштабов Аннотация  PDF (Rus)  похожие документы
Степан Алексеевич ЕЛИСТРАТОВ, Кирилл Александрович ВАТУТИН, Ильяс Наилевич СИБГАТУЛЛИН, Евгений Валерьевич ЕРМАНЮК, Евгений Александрович МИХАЙЛОВ
"... исследовались для двумерных областей с сопоставимыми масштабами по вертикали и горизонтали. При увеличении ..."
 
Том 28, № 2 (2016) Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем Аннотация  PDF (Rus)  похожие документы
И. И. Чукляев
"... информационно-управляющих систем, а также способ построения этой модели. Предлагаемая модель и способ построения ..."
 
Том 29, № 4 (2017) Narrabat - прототип сервиса для пересказа новостей в формате стихотворений Аннотация  похожие документы
И. И. Долгалева, И. А. Горшков, Р. Э. Яворский
"... способа изложения новостей и делающие акцент на креативности предоставляемого контента. Яркими примерами ..."
 
Том 28, № 4 (2016) Некоторые задачи на графовых базах данных Аннотация  PDF (Rus)  похожие документы
Р. И. Гуральник
"... Одним из наиболее популярных и актуальных подвидов нереляционных баз данных являются графовые базы ..."
 
Том 28, № 5 (2016) Предисловие Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян
"... исследований и разработок в ИСП РАН - технологии анализа, моделирования и трансформации программ. Все эти ..."
 
Том 30, № 3 (2018) Статический анализ для поиска переполнения буфера: актуальные направления развития Аннотация  похожие документы
И. А. Дудина
"... и эксплуатируемых уязвимостей. Среди прочих подходов к устранению подобных дефектов активное ..."
 
Том 28, № 6 (2016) Предисловие Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян
"... , моделирования и трансформации программ, технологии распределенных систем, анализу текстов на естественных языках ..."
 
Том 29, № 4 (2017) Программа для мониторинга общественных настроений в России на основе сообщений из Twitter Аннотация  похожие документы
С. И. Сметанин
"... , который дополнительно содержит информацию о координатах и времени публикации. Эти данные могут быть ..."
 
Том 29, № 1 (2017) Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM Аннотация  PDF (Rus)  похожие документы
Д. И. Романова
"... решателе InterFoam, который и был использован в работе. Использовалась K - ε модель турбулентности. В ..."
 
Том 28, № 5 (2016) Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
И. А. Дудина
"... анализа на базе символьного исполнения с объединением состояний, который является чувствительным к путям и ..."
 
Том 30, № 1 (2018) Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша Аннотация  PDF (Rus)  похожие документы
Е. И. Гусев
"... (Oracle RAC) и проводится его сравнение с другими известными способами в контексте сравнения архитектур ..."
 
Том 30, № 2 (2018) Алгоритм удаления невидимых поверхностей на основе программных проверок видимости Аннотация  PDF (Rus)  похожие документы
В. И. Гонахчян
"... интерактивных методов удаления невидимых поверхностей, обладающих пространственной и временной когерентностью ..."
 
Том 27, № 3 (2015) Эффективное использование ресурсов распределенной платформы облачных вычислений для обеспечения качества мультимедийных услуг Аннотация  PDF (Rus)  похожие документы
И. П. Болодурина, Д. И. Парфёнов
"... основные особенности обслуживания потоков с учетом топологий системы, сетевых сервисов и существующих ..."
 
Том 27, № 6 (2015) Инструментация и оптимизация выполнения транзакционных секций многопоточных программ Аннотация  PDF (Rus)  похожие документы
И. И. Кулагин, М. Г. Курносов
 
Том 29, № 6 (2017) Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт, В. И. Антонов
"... Статья описывает разработку и тестирование модификации решателя для гиперзвукового реагирующего ..."
 
Том 28, № 6 (2016) Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов Аннотация  PDF (Rus)  похожие документы
И. С. Алимова, В. Д. Соловьев, И. З. Батыршин
"... мерами: Алгоритмом Динамической Трансформации и Евклидовым расстоянием для задачи классификации. Кроме ..."
 
Том 27, № 6 (2015) Модель проблемно-ориентированной облачной вычислительной среды Аннотация  PDF (Rus)  похожие документы
Г. И. Радченко
"... методов численного исследования физических, биологических, социальных и др. явлений могут быть ..."
 
Том 20 (2011) Использование префиксного дерева для хранения и поиска строк во внешней памяти Аннотация  PDF (Rus)  похожие документы
И. С. Таранов
"... Поиск среди больших объёмов текстовых данных, хотя и изучается в computer science давно, не теряет ..."
 
Том 27, № 5 (2015) Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов
"... дефектов в программах на языке C#. Производится формализация дефекта разыменования нулевого указателя и ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... может принимать несколько сообщений по входным дугам (не более одного по каждой дуге) и посылать ..."
 
Том 28, № 1 (2016) Система автоматов: композиция по графу связей Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена проблеме моделирования и композиции составных систем. Компоненты системы ..."
 
Том 28, № 1 (2016) Система автоматов: условия детерминизма и тестирование Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..."
 
Том 28, № 1 (2016) Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт
"... исследованиях. На основе центральных разностных схем Балбаса и Тадмора был разработан OpenFOAM-солвер, способный ..."
 
Том 28, № 1 (2016) Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Аннотация  PDF (Rus)  похожие документы
К. С. Кузьмина, И. К. Марчевский
"... конвективных и диффузионных скоростей всех вихревых элементов. Рассматривается один из эффективных способов ..."
 
Том 28, № 3 (2016) Генерация динамических ключей и подписей с зависимостью от времени Аннотация  похожие документы
А. С. Кирьянцев, И. А. Стефанова
"... В статье рассмотрена проблема сохранности переписки при передаче и пути решения этой проблемы ..."
 
Том 28, № 3 (2016) Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram Аннотация  похожие документы
Д. И. Самохвалов, Л. В. Дворянский
"... , осуществлять имитационное моделирование, верифицировать и анализировать их свойства на формальном и строгом ..."
 
Том 28, № 3 (2016) Применение MapReduce для проверки соответствия моделей процессов и логов событий Аннотация  похожие документы
И. С. Шугуров, А. А. Мицюк
"... методы исследования и улучшения бизнес-процессов. Спецификой методов process mining является то, что они ..."
 
1 - 30 из 131 результатов 1 2 3 4 5 > >> 

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

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