Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 1 (2016) Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт
"... МГД управление сверхзвуковым потоком является важной проблемой в современных аэрокосмических ..."
 
Том 30, № 2 (2018) Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом Аннотация  PDF (Rus)  похожие документы
Е. В. Смирнова, И. К. Марчевский, В. О. Бондарчук
"... вязкой несжимаемой жидкости в методе конечных элементов с частицами PFEM-2. Осесимметричная модель ..."
 
Том 30, № 4 (2018) Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Аннотация  похожие документы
Х. С. Карраскель, А. Моралес, М. Е. Виллаполь
"... систем полезно сочетать разные методы анализа. В частности, это позволяет применять тот формализм и ту ..."
 
Том 28, № 1 (2016) Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Аннотация  PDF (Rus)  похожие документы
К. С. Кузьмина, И. К. Марчевский
"... ускорения вычислений в методе вихревых элементов - алгоритм типа Барнса - Хата. Метод основан на построении ..."
 
Том 29, № 1 (2017) Тестирование возможностей открытого кода BEM++ по решению задач акустики Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов
"... тестовых задач рассеяния акустической волны на сфере методом граничных элементов показывает, что открытый ..."
 
Том 22 (2012) Комбинированный (статический и динамический) анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... Рассматриваются проблемы анализа программы в бинарном коде для распознавания алгоритмов ..."
 
Том 31, № 6 (2019) Влияние численной диссипации на расчетную точность метода моделирования крупных вихрей с пристенным моделированием Аннотация  похожие документы
Тимофей Дмитриевич Муха
"... метода моделирования крупных вихрей с пристенным моделированием. С этой целью в свободном программном ..."
 
Том 30, № 4 (2018) К синтезу адаптивных различающих последовательностей для конечных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко
"... , использовать методы синтеза тестов для недетерминированных автоматов; последнее в большинстве случаев повышает ..."
 
Том 29, № 3 (2017) Эксперименты по построению параллельной композиции временных автоматов Аннотация  похожие документы
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов
"... В данной работе мы продолжаем наши исследования параллельной композиции временных конечных ..."
 
Том 30, № 1 (2018) Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата Аннотация  похожие документы
Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез
"... Задача идентификации состояний в конечном автомате была и остается актуальной, поскольку ..."
 
Том 30, № 3 (2018) К проверке строго детерминированного поведения временных конечных автоматов Аннотация  похожие документы
Е. М. Винарский, В. А. Захаров
"... Конечные автоматы широко применяются в качестве математических моделей при решении многочисленных ..."
 
Том 26, № 6 (2014) К минимизации автоматов с таймаутами Аннотация  PDF (Rus)  похожие документы
Александр Твардовский
"... В данной статье предлагается алгоритм минимизации конечного полностью определенного автомата с ..."
 
Том 19 (2010) Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, О. В. Сидяка
"... Обсуждаются вопросы универсальности и эффективности методов локального распространения значений и ..."
 
Том 28, № 3 (2016) К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... полностью определенного детерминированного конечного автомата. Тем не менее, для недетерминированных ..."
 
Том 30, № 1 (2018) О возможностях автоматного описания параллельной композиции временных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, А. В. Лапутенко
"... . В работе показывается, что в общем случае, в отличие от случая классических конечных автоматов ..."
 
Том 26, № 6 (2014) Локализация неисправной компоненты в композиции расширенных автоматов Аннотация  PDF (Rus)  похожие документы
Светлана Прокопенко
"... Проблема локализации неисправной компоненты в автоматной сети хорошо известна, и в данной работе мы ..."
 
Том 27, № 6 (2015) Проверяющие эксперименты с ненаблюдаемым древовидными автоматами Аннотация  PDF (Rus)  похожие документы
Н. Г. Кушик
"... В работе исследуются особенности синтеза безусловных проверяющих экспериментов для ненаблюдаемых ..."
 
Том 30, № 6 (2018) Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 Аннотация  PDF (Rus)  похожие документы
А. М. Водовозов, Д. С. Полетаев
"... алгоритмов мультимедиа и цифровой обработки при решении задач восстановления сигналов в процессе фильтрации ..."
 
Том 19 (2010) Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма Аннотация  PDF (Rus)  похожие документы
С. А. Мартишин, М. В. Храпченко
"... Исследуется задача упаковки прямоугольников в полубесконечную полосу. Известно, что эта задача ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... В статье дается обзор существующих методов извлечения моделей из описаний цифровой аппаратуры ..."
 
Том 26, № 3 (2014) Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами Аннотация  PDF (Rus)  похожие документы
В. В. Подымов, В. А. Захаров
"... В статье исследована задача проверки эквивалентности последовательных программ, некоторые операторы ..."
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... числе сети интернета и GRID на основе формальных моделей. Модель системы или сети, в конечном счёте ..."
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
"... Модели процессов и графы широко используются для моделирования и визуализации процессов в ..."
 
Том 30, № 3 (2018) О верификации конечных автоматов-преобразователей над полугруппами Аннотация  похожие документы
А. Р. Гнатенко, В. А. Захаров
"... . В статье исследуются задача верификации программ такого вида. В качестве формальных моделей для ..."
 
Том 27, № 2 (2015) Конечные автоматы в теории алгебраических схем программ Аннотация  PDF (Rus)  похожие документы
Р. И. Подловченко
"... результата восходит к разрешимости проблемы эквивалентности конечных автоматов. Задача статьи состоит в ..."
 
Том 31, № 4 (2019) Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций Аннотация  похожие документы
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко
"... Конечно автоматные методы широко используются при синтезе проверяющих тестов с гарантированной ..."
 
Том 28, № 4 (2016) Генерация функциональных тестов для HDL-описаний на основе проверки моделей Аннотация  похожие документы
М. С. Лебедев, С. А. Смолов
"... Разработка методов автоматической генерации тестов составляет перспективное направление в области ..."
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
"... помощью специальных средств. В статье предлагается модификация метода для преодоления указанного ..."
 
Том 26, № 6 (2014) Расширенные конечные автоматы с таймаутами для оценки удовлетворенности пользователя ОТТ сервисом Аннотация  PDF (Rus)  похожие документы
Д. Ривера, Н. Кушик, К. Фьюензалида, А. Кавалли, Н. Евтушенко
"... оценка качества предоставляемого сервиса. Большинство методов оценки качества сервиса конечным ..."
 
Том 27, № 3 (2015) Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Аннотация  PDF (Rus)  похожие документы
И. . Мельниченко, А. . Камкин, С. . Смолов
"... цифровых устройств. В отличие от обычных конечных автоматов, в EFSM-моделях управляющие сигналы и данные ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... функциональных и интерфейсных элементов в объектно-компонентном методе (ОКМ), выделение функциональных элементов ..."
 
Том 29, № 2 (2017) Турбулентная конвекция термоэлектричеством в охладительно-нагревательном устройстве Аннотация  похожие документы
Х. М. Редондо, Дж. Д. Теллес-Альварес, Х. М. Санчес
"... Локальная диффузия и топологическая структура завихрения и поля скоростей измерены в переходном ..."
 
Том 29, № 4 (2017) Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ Аннотация  похожие документы
Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота
"... существующими ныне методами, такими как Быстрое Преобразование Фурье или оконное преобразование. В данной статье ..."
 
Том 30, № 2 (2018) Обзор расширяемого протокола аутентификации и его методов Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... предоставляющего эффективный механизм встраивания в него различных методов аутентификации, а также обзор собственно ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... эту проблему путём доказательства корректности сгенерированного машинного кода методами дедуктивной ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
"... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..."
 
Том 31, № 3 (2019) Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Аннотация  похожие документы
Павел Андреевич Путро
"... неизбежным поступком в силу отсутствия полноценных систем формальной верификации машинного кода. Стоит также ..."
 
Том 29, № 6 (2017) Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... В 2012 году М. А. Трушников предложил принципиально новый онлайновый алгоритм упаковки ..."
 
Том 28, № 1 (2016) Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Аннотация  PDF (Rus)  похожие документы
В. А. Платонов, А. В. Монаков
"... Методы подпространства Крылова, такие как метод сопряжённых градиентов и стабилизированный метод ..."
 
Том 29, № 1 (2017) Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... модельные задачи, в частности, моделирование течения Пуазейля. Полученная модификация метода LS-STAG ..."
 
Том 30, № 2 (2018) Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Аннотация  PDF (Rus)  похожие документы
А. Н. Авдеева, В. В. Пузикова
"... метод декомпозиции области. В каждой подобласти задача на каждом шаге по времени расщепляется на ..."
 
Том 30, № 1 (2018) Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES Аннотация  PDF (Rus)  похожие документы
И. К. Марчевский, В. В. Пузикова
"... невязок). В работе представлены оценки трудоемкости выполнения одной итерации рассматриваемых методов ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... testing), которые выполнялись в ИСП РАН c 1994-го года и по настоящее время. Развитие теории конформности ..."
 
Том 26, № 3 (2014) Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Платонов
"... параллельная GPU-версия метода предобуславливания AINV и проведен ряд специфичных GPU-оптимизаций, в основном ..."
 
1 - 44 из 96 результатов 1 2 3 > >> 

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

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