Сортировать по:
Выпуск | Название | |
Том 26, № 2 (2014) | Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС | Аннотация PDF (Rus) похожие документы |
Ю. Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К. Н. Чыонг Ван | ||
Том 22 (2012) | О построении аппроксимирующих функций характеристик малого числа систем | Аннотация PDF (Rus) похожие документы |
Я. А. Хетагуров | ||
"... построения общих математических моделей (ММ), использующих одинаковые характеристики систем, частей ..." | ||
Том 21 (2011) | Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели | Аннотация PDF (Rus) похожие документы |
Андрей Белеванцев, Алексей Кравец, Александр Монаков | ||
"... генерации используется инфраструктура GRAPHITE компилятора GCC, использующая полиэдральную модель для ..." | ||
Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
А. В. Хорошилов, И. В. Щепетков | ||
Том 29, № 3 (2017) | О проблеме представления формальной модели политики безопасности операционных систем | Аннотация PDF (Rus) похожие документы |
П. Н. Девянин | ||
"... «Формальная модель политики безопасности», в том числе по определению языка, глубины и детализации ..." | ||
Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
К. А. Маллачиев, А. В. Хорошилов | ||
"... между разработчиками в ходе совместной разработки. Мы используем формальные модели для описания ..." | ||
Том 32, № 6 (2020) | Верификация соответствия между разноуровневыми моделями функциональных требований | Аннотация PDF (Rus) похожие документы |
Алексей Владимирович ХОРОШИЛОВ | ||
"... В статье предлагаются методы доказательства соответствия между разноуровневыми моделями ..." | ||
Том 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) похожие документы |
А. Э. Молчанов | ||
"... В статье рассматриваются алгебраические модели программ с процедурами. Для специфического класса ..." | ||
Том 33, № 4 (2021) | Многослойный подход к поиску изоморфных подграфов в HP-графах | Аннотация похожие документы |
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
"... правило, основаны на графовых моделях, однако графовые формализмы, используемые для представления моделей ..." | ||
Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
"... вариабельность кода техники анализа с итеративным уточнением модели поведения системы на основе контрпримеров. ..." | ||
Том 34, № 6 (2022) | Математическое моделирование процесса течения газа в проточной части турбомолекулярного вакуумного насоса с использованием модели взаимодействия газа с поверхностью Черчиньяни-Лампис | Аннотация PDF (Rus) похожие документы |
Ульяна Саидовна ГОРДЕЕВА, Феликс Маратович ШАРИПОВ | ||
"... с использованием модели Черчиньяни-Лампис (ЧЛ), которая использовалась в качестве новых граничных ..." | ||
Том 28, № 3 (2016) | К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов | Аннотация PDF (Rus) похожие документы |
А. Д. Ермаков, Н. В. Евтушенко | ||
Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация похожие документы |
К. В. Давыдова, С. А. Шершаков | ||
"... последовательности UML - графические модели, подходящие для представления взаимодействий в гетерогенных компонентных ..." | ||
Том 28, № 2 (2016) | Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей | Аннотация похожие документы |
Д. Д. Кожевников, Н. В. Красилич | ||
"... мемристоров, а также несколько математических моделей мемристоров из металло-диоксидной группы. Одна из таких ..." | ||
Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
С. Л. Лесовой | ||
"... Модельно-ориентированный подход к разработке позволяет построить архитектурную модель существующей ..." | ||
Том 34, № 4 (2022) | Алгоритм поиска специалистов с уникальными навыками на основе цифрового следа | Аннотация PDF (Rus) похожие документы |
Александр Сергеевич ЛЕОНОВ, Андрей Александрович ЛАПТЕВ, Анастасия Александровна ЛАУШКИНА, Михаил Витальевич СИНЬКО, Олег Олегович БАСОВ | ||
Том 34, № 5 (2022) | Контекстное разрешение омонимии на основе центроидно-контекстной модели | Аннотация PDF (Rus) похожие документы |
Александр Алексеевич ХОРОШИЛОВ, Юрий Викторович НИКИТИН, Анна Владимировна КАН, Яна Дмитриевна КОЗЛОВСКАЯ, Екатерина Андреевна ЕВДОКИМОВА | ||
"... модели (ЦКМ). Предлагаемый метод выявления случаев омонимии в корпусе текстов и ее разрешения с помощью ..." | ||
Том 33, № 2 (2021) | Разработка Web-приложений с учетом элементов качества данных – DQAWA | Аннотация PDF (Rus) похожие документы |
Сезар Артуро ГУЕРРА-ГАРСИЯ, Гектор Херардо ПЕРЕС-ГОНСАЛЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Рейес ХУАРЕС-РАМИРЕС | ||
"... данных. Основываясь на достижениях области Web-проектирования под управлением моделей, данная работа ..." | ||
Том 33, № 3 (2021) | Генерация сетей Петри с помощью структурных трансформаций, сохраняющих поведенческие свойства | Аннотация похожие документы |
Роман Александрович НЕСТЕРОВ, Семен Юрьевич САВЕЛЬЕВ | ||
"... алгоритмов, на вход которым подаются модели поведения процессов в виде сетей Петри. ..." | ||
Том 33, № 3 (2021) | Применение языковых моделей в задаче извлечения оценочных отношений | Аннотация PDF (Rus) похожие документы |
Николай Леонидович РУСНАЧЕНКО | ||
"... такого алгоритма коллекция получила название RuAttitudes2017. Для проведения экспериментов с моделями ..." | ||
Том 26, № 3 (2014) | Современное состояние исследований в области обфускации программ: определения стойкости обфускации | Аннотация PDF (Rus) похожие документы |
Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров | ||
Том 27, № 3 (2015) | Эффективное взаимодействие с СУБД DIM | Аннотация PDF (Rus) похожие документы |
Д. В. Антонов, В. С. Рублев | ||
"... и истории. Вводится описание предметной области при помощи объектно-динамической модели данных (OD ..." | ||
Том 27, № 5 (2015) | Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин | ||
"... достоверность вердикта верификации. В данной работе описывается метод верификации с моделями памяти на основе ..." | ||
Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
Е. В. Корныхин, А. В. Хорошилов | ||
"... архитектурные модели, в основе которого лежит переиспользование возможностей языка программирования Python ..." | ||
Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) похожие документы |
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
Том 32, № 3 (2020) | Определение аккаунтов злоумышленников в социальной сети ВКонтакте при помощи методов машинного обучения | Аннотация похожие документы |
Денис Игоревич САМОХВАЛОВ | ||
"... , сгенерированных из пользовательских данных, была обучена модель классификации при помощи библиотеки CatBoost ..." | ||
31 - 60 из 149 результатов | << < 1 2 3 4 5 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)