Сортировать по:
Выпуск | Название | |
Том 21, № 6 (2014) | Поведенческая идентификация программ | Аннотация PDF (Rus) похожие документы |
Максим Викторович Баклановский, Артур Рафаэльевич Ханов | ||
"... точностью 85%. Поведенческая идентификация потоков программ используется для аномального обнаружения ..." | ||
Том 21, № 6 (2014) | Подход к автоматизации отладки поведенческих сценариев | Аннотация PDF (Rus) похожие документы |
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко | ||
"... поведенческих сценариев приложения: полуавтоматический и автоматический. Первый дает возможность пользователю ..." | ||
Том 23, № 6 (2016) | Формализм и языковые инструменты для описания семантики программных библиотек | Аннотация PDF (Rus) похожие документы |
В. М. Ицыксон | ||
Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
"... верификации. Обсуждаются способы ограничения поведенческих характеристик модели при условии сохранения ..." | ||
Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
М. А. Беляев, В. М. Ицыксон | ||
"... Существующие средства и методы статического анализа и верификации кода на языке С используют ..." | ||
Том 22, № 6 (2015) | Анализ системных исполнений с помощью Process Mining | Аннотация PDF (Rus) похожие документы |
С. А. Шершаков, В. А. Рубин | ||
"... журналов событий. Тем не менее, “интеллектуальный” анализ таких журналов событий является крайне полезным ..." | ||
Том 19, № 4 (2012) | Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть | Аннотация PDF (Rus) похожие документы |
Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый | ||
Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
"... : секретными и открытыми. Статический анализ безопасности информационных потоков программ идентифицирует ..." | ||
Том 20, № 6 (2013) | О бутстрэпе для диаграмм и ландшафтов персистентности | Аннотация PDF (Rus) похожие документы |
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман | ||
Том 20, № 5 (2013) | Локальная динамика лазера с быстро осциллирующими параметрами | Аннотация PDF (Rus) похожие документы |
Елена Викторовна Григорьева, Сергей Александрович Кащенко | ||
Том 24, № 6 (2017) | Прототип статического тайп-чекера для языка программирования Jolie | Аннотация похожие документы |
Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков | ||
"... , а также процесс статического анализа программы. Статья публикуется в авторской редакции. ..." | ||
Том 18, № 4 (2011) | Использование зависимостей для повышения точности статического анализа программ | Аннотация PDF (Rus) похожие документы |
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько | ||
"... Статья посвящена разработке методов анализа зависимостей с целью повышения точности статического ..." | ||
Том 30, № 1 (2023) | Разметка корпусов текстов по тональности и наличию иронии в рамках проекта гражданской науки | Аннотация PDF (Rus) похожие документы |
Илья Вячеславович Парамонов, Анатолий Юрьевич Полетаев | ||
"... , основанная на анализе распределений и показателей согласия оценок, выставленных разными разметчиками. Для ..." | ||
Том 21, № 6 (2014) | Программный комплекс для анализа и визуализации графов | Аннотация PDF (Rus) похожие документы |
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский | ||
"... В данной работе представлено описание программного комплекса для хранения, анализа и визуализации ..." | ||
Том 21, № 5 (2014) | Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов | Аннотация PDF (Rus) похожие документы |
Сергей Андреевич Шершаков | ||
"... Извлечение процессов (process mining) — это новое направление в области моделирования и анализа ..." | ||
Том 26, № 3 (2019) | Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков | Аннотация PDF (Rus) похожие документы |
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов | ||
"... Анализ функциональной эквивалентности перевода, основанный на достижении ритмической ..." | ||
Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
Томас Баар, Хорст Шульте | ||
Том 17, № 1 (2010) | Визуализация динамических графов для анализа сложных сетей | Аннотация PDF (Rus) похожие документы |
С. Н. Пупырев, А. В. Тихонов | ||
"... наши методы визуализации упрощают анализ реальных данных и помогают при решении задач, связанных с ..." | ||
Том 17, № 2 (2010) | Метод оценки частоты выполнения фрагментов кода последовательной программы | Аннотация PDF (Rus) похожие документы |
А. В. Шалимов | ||
Том 20, № 2 (2013) | Построение модели для извлечения оценочной лексики в различных предметных областях | Аннотация PDF (Rus) похожие документы |
Наталья Валентиновна Лукашевич, Илья Игоревич Четвёркин | ||
Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
"... уникальных путей исполнения, что может быть особенно ценно в методах статического анализа кода алгоритмов с ..." | ||
Том 19, № 4 (2012) | О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения | Аннотация PDF (Rus) похожие документы |
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов | ||
"... Исследуется стойкость кодового зашумления к статистическому анализу многократно перехваченных ..." | ||
Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
"... Одной из самых сложных проблем при статическом анализе программ является анализ вызовов функций ..." | ||
Том 21, № 6 (2014) | Инструментальная поддержка встроенных языков в интегрированных средах разработки | Аннотация PDF (Rus) похожие документы |
Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун | ||
"... анализа динамически формируемых выражений. ..." | ||
Том 21, № 4 (2014) | Синтез моделей процессов по журналам событий с шумом | Аннотация PDF (Rus) похожие документы |
Алексей Александрович Мицюк, Иван Сергеевич Шугуров | ||
"... из основных задач извлечения процессов – синтез (извлечение) модели процесса на основании анализа ..." | ||
Том 28, № 1 (2021) | Алгоритм корректировки уровней полезных сигналов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
"... дефектоскопии. Актуальной задачей является автоматический анализ больших массивов данных (дефектограмм), которые ..." | ||
Том 18, № 4 (2011) | Статический анализ с использованием систем типов и эффектов на основе LLVM | Аннотация PDF (Rus) похожие документы |
Михаил Анатольевич Беляев, Вадим Александрович Цесько | ||
"... Описано разрабатываемое средство статического анализа программного обеспечения. Основной идеей ..." | ||
Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
"... моделях на языке SystemC на основе статического анализа. Разработаны алгоритмы, обеспечивающие анализ ..." | ||
Том 18, № 1 (2011) | Релаксационные циклы обобщённого уравнения импульсного нейрона | Аннотация PDF (Rus) похожие документы |
И. В. Парамонов | ||
Том 18, № 2 (2011) | Принципы построения слоистых нейронных сетей на основе импульсных нейронов | Аннотация PDF (Rus) похожие документы |
Ольга Александровна Дунаева | ||
Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
"... правило, записываются всеми современным ИС. Эта информация может использоваться для анализа реального ..." | ||
Том 24, № 4 (2017) | Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов | Аннотация PDF (Rus) похожие документы |
Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов | ||
"... В данной работе исследуются вопросы построения автоматизированной обучающей системы “Анализ ..." | ||
Том 24, № 6 (2017) | Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
"... магнитных и вихретоковых дефектоскопов. Сигнал считается полезным (и подлежит дальнейшему анализу), если ..." | ||
Том 25, № 4 (2018) | Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
"... вихретоковой дефектоскопии. Актуальной задачей по-прежнему остается автоматический анализ больших массивов ..." | ||
Том 25, № 6 (2018) | Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
"... вихретоковой дефектоскопии. Актуальной задачей является автоматический анализ больших массивов данных ..." | ||
Том 27, № 3 (2020) | Применение свёрточных нейронных сетей для распознавания длинных конструктивных элементов рельсов на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
"... дефектоскопии. Актуальной задачей является автоматический анализ больших массивов данных (дефектограмм), которые ..." | ||
Том 27, № 3 (2020) | Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19-21 веков | Аннотация PDF (Rus) похожие документы |
Ксения Владимировна Лагутина, Алла Михайловна Манахова | ||
"... стиля прозаического текста, и анализу стилистических изменений русской и британской прозы 19-21 веков ..." | ||
Том 30, № 4 (2023) | Алгоритм определения тональности предложений публицистического стиля на русском языке на основе семантических правил | Аннотация PDF (Rus) похожие документы |
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
"... анализа ошибок алгоритма. ..." | ||
Том 29, № 4 (2022) | Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды | Аннотация PDF (Rus) похожие документы |
Никита Денисович Шаимов, Ирина Александровна Ломазова, Алексей Александрович Мицюк, Илья Юрьевич Самоненко | ||
"... ошибки в данных, свидетельствующие о некорректной работе системы. В результате анализа выявлены точки ..." | ||
Том 29, № 4 (2022) | Поиск упоминаний экологических практик в социальных сетях с помощью методов классификации текстов | Аннотация PDF (Rus) похожие документы |
Анна Валерьевна Глазкова, Ольга Владимировна Захарова, Антон Викторович Захаров, Наталья Николаевна Москвина, Тимур Русланович Еникеев, Арсений Николаевич Ходырев, Всеволод Константинович Боровинский, Ирина Николаевна Пупышева | ||
Том 29, № 2 (2022) | Нейросетевая классификация русскоязычных предложений по тональности на четыре класса | Аннотация PDF (Rus) похожие документы |
Максим Алексеевич Костерин, Илья Вячеславович Парамонов | ||
"... выраженной эмоциональной окраской. Анализ ошибок показал, что на «смежные» классы тональности (положительный ..." | ||
Том 29, № 2 (2022) | Рекурсивный алгоритм определения тональности предложений на русском языке | Аннотация PDF (Rus) похожие документы |
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов | ||
Том 28, № 2 (2021) | Оценка степени опасности дефектов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
"... дефектоскопии. Актуальной задачей является автоматический анализ больших массивов данных (дефектограмм), которые ..." | ||
Том 30, № 2 (2023) | Алгоритмы асимптотического и численного построения колебательных режимов в простейшем кольце генераторов с несимметричной нелинейностью | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
Том 24, № 6 (2017) | К критериям оценки безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
Александр Валентинович Когтенков | ||
"... ; статический анализ; эталонные тесты безопасности нулевых ссылок ..." | ||
Том 25, № 6 (2018) | Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов | Аннотация PDF (Rus) похожие документы |
Анна Алексеевна Каленкова, Данил Александрович Колесников | ||
"... ) является важной задачей в различных областях компьютерных наук, таких как анализ изображений, машинное ..." | ||
Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
"... , предложенный метод применим для анализа вычислительных систем реальной размерности, а также позволяет достичь ..." | ||
Том 27, № 2 (2020) | “VTMine for Visio”: инструмент графического моделирования в области Process Mining | Аннотация PDF (Rus) похожие документы |
Сергей Андреевич Шершаков | ||
"... «Извлечение и анализ моделей процессов» (Process Mining). Практическое применение методов и практик Process ..." | ||
Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
Том 28, № 2 (2021) | Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра | Аннотация PDF (Rus) похожие документы |
Елена Александровна Туманова | ||
1 - 51 из 51 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)