Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 2 (2014) Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС Аннотация  PDF (Rus)  похожие документы
Ю. Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К. Н. Чыонг Ван
"... applied for Nuclear Power Plants (NPP). These methodologies are i) dynamic probabilistic safety assessment ..."
 
Том 30, № 5 (2018) Онтологический репозиторий для CFD-расчетов Аннотация  PDF (Rus)  похожие документы
В. А. Зенкин
"... information about the CFD-calculations performed. The software is a set of scripts written in bash and python ..."
 
Том 29, № 1 (2017) Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
В. Г. Мельникова, О. С. Коцур, Г. А. Щеглов
"... CFD toolbox OpenFOAM in the field of simulation of hydraulic units’ dynamics using Finite Volume ..."
 
Том 31, № 6 (2019) Анализ полного сопротивления корпуса судна на различных скоростях хода Аннотация  PDF (Rus)  похожие документы
Кирилл Дмитриевич Овчинников
 
Том 30, № 5 (2018) Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки Аннотация  PDF (Rus)  похожие документы
О. С. Сороковикова, Д. В. Дзама, Д. Г. Асфандияров
"... areas employ a CFD approach in order to calculate turbulent characteristics of flow around buildings ..."
 
Том 30, № 5 (2018) Численное моделирование качки судна с шахтным устройством на встречном волнении Аннотация  PDF (Rus)  похожие документы
К. Д. Овчинников
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... An approach to testing artificial neural networks is described. The model of neural network ..."
 
Том 32, № 4 (2020) Использование аппарата свёрточных нейронных сетей для стегоанализа цифровых изображений Аннотация  PDF (Rus)  похожие документы
Александр Александрович ПОЛУНИН, Элина Андреевна ЯНДАШЕВСКАЯ
"... with the application of convolutional neural networks to solve this problem. It is assumed that the probability ..."
 
Том 31, № 1 (2019) Методы идентификации человека по походке в видео Аннотация  PDF (Rus)  похожие документы
Анна Ильинична Соколова, Антон Сергеевич Конушин
 
Том 31, № 2 (2019) Теоретический подход к поиску глобального экстремума при обучении нейронных сетей Аннотация  PDF (Rus)  похожие документы
Николай Анатольевич Вершков, Виктор Андреевич Кучуков, Наталья Николаевна Кучукова
"... The article deals with the search for the global extremum in the training of artificial neural ..."
 
Том 32, № 4 (2020) Диагностика гипертрофий левых отделов сердца с помощью глубокой нейронной сети Аннотация  PDF (Rus)  похожие документы
Павел Константинович АНДРЕЕВ, Владислав Валерьевич АНАНЬЕВ, Владимир Алексеевич МАКАРОВ, Евгений Андреевич КАРПУЛЕВИЧ, Денис Юрьевич ТУРДАКОВ
"... This paper presents the results of the application of a convolutional neural network to diagnose ..."
 
Том 28, № 2 (2016) Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей Аннотация  похожие документы
Д. Д. Кожевников, Н. В. Красилич
"... and environment for modelling hardware memristor-based neural networks. An extensive review of the domain has been ..."
 
Том 30, № 4 (2018) Способы сегментации медицинских изображений Аннотация  похожие документы
С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова
"... segmentation problems such as eye bony orbit and brain tumor segmentation based on convolutional neural ..."
 
Том 30, № 5 (2018) Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах Аннотация  PDF (Rus)  похожие документы
И. С. Алимова, Е. В. Тутубалина
"... This paper presents our experimental work on neural network models for entity-level adverse drug ..."
 
Том 31, № 5 (2019) DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей Аннотация  PDF (Rus)  похожие документы
Ахмед Хан
"... -oriented systems is carried out using the adaptive method using a neural network. At the initial stage ..."
 
Том 29, № 6 (2017) Поиск недостающих вызовов библиотечных функций с использованием машинного обучения Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
 
Том 31, № 2 (2019) Гибридная модель для эффективного обнаружения аномалий в кратковременных последовательностях кривых блеска GWAC и аналогичных наборах данных Аннотация  PDF (Rus)  похожие документы
Инь Сан, Зиджун Жао, Сяобин Ма, Чжихуэй Ду
"... Average) with LSTM (Long-Short Time Memory) and GRU (Gated Recurrent Unit) recurrent neural networks (RNN ..."
 
Том 29, № 6 (2017) Эталонные тесты безопасности нулевых ссылок при инициализации объекта Аннотация  похожие документы
А. В. Когтенков
"... . Then it discusses expected results for a selected set of tools performing null safety checks for Eiffel, Java ..."
 
Том 29, № 4 (2017) Narrabat - прототип сервиса для пересказа новостей в формате стихотворений Аннотация  похожие документы
И. И. Долгалева, И. А. Горшков, Р. Э. Яворский
"... (including neural networks) and template-base method. The last method gave us the best performance, while ..."
 
Том 29, № 2 (2017) Обзор и экспериментальное сравнение методов кластеризации текстов Аннотация  PDF (Rus)  похожие документы
П. А. Пархоменко, А. А. Григорьев, Н. А. Астраханцев
"... embedding and document embedding obtained by artificial neural networks (word2vec, paragraph2vec). ..."
 
Том 32, № 1 (2020) Разработка алгоритма распознавания движений человека методами компьютерного зрения в задаче нормирования рабочего времени Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич Штехин, Денис Константинович Карачев, Юстина Алексеевна Иванова
 
Том 31, № 3 (2019) Обзор языков для безопасного программирования смарт-контрактов Аннотация  похожие документы
Алексей Валерьевич Тюрин, Иван Владимирович Тюляндин, Владимир Мальцев, Яков Александрович Кириленко, Даниил Андреевич Березун
 
Том 32, № 3 (2020) Анализ загруженности трафика на главных улицах электронного города c применением индекса перегрузки и искусственной нейронной сети (на примере города Хамедан) Аннотация  PDF (Rus)  похожие документы
Мехди ШИРМОХАММАДИ, Мансур ЭСМАИЛПУР
"... vehicle speed and traffic congestion was predicted by neural network and the genetic algorithm ..."
 
Том 28, № 5 (2016) Автоматическое доказательство безопасности локальных пустых указателей Аннотация  похожие документы
А. В. Когтенков
"... to ensure absence of such exceptions? This work focuses on null safety for intra-procedural context where ..."
 
Том 30, № 6 (2018) Статическая верификация ошибок использования памяти в модулях ядра ОС Linux Аннотация  похожие документы
А. А. Васильев
 
Том 31, № 1 (2019) Управление требованиями к ответственным системам. Обзор решений Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Хорошилов, Наталья Кирилловна Горелиц, Денис Степанович Кильдишев
"... requirements become significantly important is the development of safety-critical systems which usage may cause ..."
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
"... safety-critical systems certifiable according to international and domestic standards and regulations ..."
 
Том 31, № 6 (2019) Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями Аннотация  PDF (Rus)  похожие документы
Антон Александрович Васильев, Вадим Сергеевич Мутилин
"... Safety-critical systems require additional effort to comply with specifications. One ..."
 
Том 26, № 1 (2014) Инструменты анализа и разработки эффективного кода для параллельных архитектур Аннотация  PDF (Rus)  похожие документы
Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич
"... for GPUs and its use for accelerating linear system solving in OpenFOAM CFD package. ..."
 
Том 29, № 4 (2017) Cтохастические методы анализа комплексных программно-аппаратных систем Аннотация  похожие документы
А. А. Карнов, С. В. Зеленов
 
Том 29, № 5 (2017) Моделирование программно-аппаратных систем и анализ их безопасности Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов, С. А. Зеленова
"... . The most important aspect here is the possibility to describe safety requirements in terms used in safety ..."
 
Том 30, № 3 (2018) Анализ методов оценки надежности оборудования и систем. Практика применения методов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов
"... out. The basic concepts of reliability and safety methods of such systems and situations leading ..."
 
Том 32, № 4 (2020) Методика выявления центров компетенций авиационной науки на основе публикационной и патентной активности Аннотация  PDF (Rus)  похожие документы
Виктор Геннадьевич БЕЛЕНКОВ, Владимир Игоревич БУДЗКО, Дмитрий Алексеевич ДЕВЯТКИН, Анна Владимировна КАН, Иван Сергеевич МИХАЙЛИН, Илья Владимирович СОЧЕНКОВ, Илья Александрович ТИХОМИРОВ, Василий Сергеевич ШАПКИН
 
Том 31, № 5 (2019) Методы оценки надежности программных и технических систем Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин
"... and safety of software and hardware systems in the processes of their life cycle, as well as collecting ..."
 
Том 28, № 3 (2016) Верификация и анализ вариабельных операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко
 
Том 20 (2011) Архитектура Linux Driver Verification Аннотация  PDF (Rus)  похожие документы
В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед
 
Том 29, № 1 (2017) Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM Аннотация  PDF (Rus)  похожие документы
Д. И. Романова
"... In this paper, a model of a snow avalanche was created with the help of open source CFD software ..."
 
Том 23 (2012) Верификация драйверов операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Д. Бейер, А. К. Петренко
"... , in particular, for functional, safety, and security verification. Linux driver software is industrial production ..."
 
Том 30, № 6 (2018) Автоматический поиск фрагментов, содержащих биографическую информацию, в тексте на естественном языке Аннотация  PDF (Rus)  похожие документы
А. В. Глазкова
"... , the author concluded that the use of neural network methods is promising and widespread for solving ..."
 
Том 22 (2012) Оптимизация расчётов в пакете OpenFOAM на GPU Аннотация  PDF (Rus)  похожие документы
А. В. Монаков
"... The paper presents preliminary research on improving performance of CFD simulations in OpenFOAM via ..."
 
1 - 40 из 57 результатов 1 2 > >> 

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

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