Сортировать по:
| Выпуск | Название | |
| Том 29, № 4 (2022) | Модель текста для автоматической оценки делового письма на заданную тему | Аннотация PDF (Rus) похожие документы |
| Даниил Дмитриевич Зафиевский, Надежда Станиславовна Лагутина, Оксана Андреевна Мельникова, Анатолий Юрьевич Полетаев | ||
| "... maps and UMAP results represent comparison between teachers’ and automated score reports. Results ..." | ||
| Том 31, № 2 (2024) | Автоматическое определение семантического сходства ответов учащихся с эталонным с помощью современных моделей | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Владислав Николаевич Копнин | ||
| "... the problem of classifying the proximity of student answers to the teacher’s standard answer. The neural ..." | ||
| Том 25, № 4 (2018) | Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов | ||
| "... комбинированный метод, генерирующий специализированный тезаурус полностью автоматически на основе корпуса текстов ..." | ||
| Том 30, № 4 (2023) | Генерация ключевых слов для русскоязычных научных текстов с помощью модели mT5 | Аннотация PDF (Rus) похожие документы |
| Анна Валерьевна Глазкова, Дмитрий Алексеевич Морозов, Марина Сергеевна Воробьева, Андрей Анатольевич Ступников | ||
| "... автоматического реферирования текстов. Дообучение mT5 осуществлялась на текстах аннотаций русскоязычных научных ..." | ||
| Том 30, № 3 (2023) | Классификация текстов по уровням CEFR с использованием методов машинного обучения и языковой модели BERT | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Анастасия Михайловна Бредерман, Наталья Николаевна Касаткина | ||
| "... В данной работе представлено исследование задачи автоматической классификации коротких связных ..." | ||
| Том 31, № 1 (2024) | Применение глубоких нейронных сетей для автоматического определения иронии в русскоязычных текстах | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Костерин, Илья Вячеславович Парамонов | ||
| "... В работе исследуются автоматические методы классификации русскоязычных предложений на два класса ..." | ||
| Том 29, № 3 (2022) | Классификация статей из средств массовой информации по категориям и релевантности предметной области | Аннотация PDF (Rus) похожие документы |
| Владислав Дмитриевич Ларионов, Илья Вячеславович Парамонов | ||
| "... предложены способы предобработки текстов для достижения более высокого качества классификации. В ходе ..." | ||
| Том 30, № 1 (2023) | Задачи в области распознавания именованных сущностей: технологии и инструменты | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Андрей Михайлович Васильев, Даниил Дмитриевич Зафиевский | ||
| "... корпуса текстов и его название, базовый метод решения задачи, оценку качества решения в виде стандартной ..." | ||
| Том 23, № 6 (2016) | Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки | Аннотация PDF (Rus) похожие документы |
| Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов | ||
| "... Работа посвящена анализу методов автоматической генерации специализированного тезауруса. Основной ..." | ||
| Том 31, № 2 (2024) | Ключевые слова, морфемные разборы и синтаксические деревья в задаче оценки сложности текста | Аннотация PDF (Rus) похожие документы |
| Дмитрий Алексеевич Морозов, Иван Андреевич Смаль, Тимур Александрович Гарипов, Анна Валерьевна Глазкова | ||
| "... . Способы формирования признакового описания при автоматической оценке сложности текста достаточно ..." | ||
| Том 29, № 4 (2022) | Поиск упоминаний экологических практик в социальных сетях с помощью методов классификации текстов | Аннотация PDF (Rus) похожие документы |
| Анна Валерьевна Глазкова, Ольга Владимировна Захарова, Антон Викторович Захаров, Наталья Николаевна Москвина, Тимур Русланович Еникеев, Арсений Николаевич Ходырев, Всеволод Константинович Боровинский, Ирина Николаевна Пупышева | ||
| "... практик; автоматический сбор текстов, включающих в себя найденные частотные слова; экспертная проверка и ..." | ||
| Том 30, № 1 (2023) | Разметка корпусов текстов по тональности и наличию иронии в рамках проекта гражданской науки | Аннотация PDF (Rus) похожие документы |
| Илья Вячеславович Парамонов, Анатолий Юрьевич Полетаев | ||
| "... отсутствию иронии. Разметку проводили волонтёры в рамках проекта «Готовим тексты алгоритмам» на портале «Люди ..." | ||
| Том 27, № 3 (2020) | Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19-21 веков | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина, Алла Михайловна Манахова | ||
| "... стиля прозаического текста, и анализу стилистических изменений русской и британской прозы 19-21 веков ..." | ||
| Том 24, № 6 (2017) | Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Иван Андреевич Щитов, Илья Вячеславович Парамонов | ||
| "... тезаурусных связей в задачах классификации текстов. Основой исследования является автоматически ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| Том 19, № 1 (2012) | Моделирование систем автоматического управления на основе полиномов Вольтерра | Аннотация PDF (Rus) похожие документы |
| Светлана Витальевна Солодуша | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| Том 16, № 4 (2009) | Метод автоматического построения алгоритмов распознавания участков фазовых траекторий | Аннотация PDF (Rus) похожие документы |
| Д. С. Коваленко | ||
| "... Рассматривается задача автоматического построения алгоритмов распознавания нештатного поведения ..." | ||
| Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
| А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
| "... связок языка. Рассматривается логическое исчисление JF и полные стратегии автоматического поиска выводов ..." | ||
| Том 20, № 2 (2013) | Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц | Аннотация PDF (Rus) похожие документы |
| Иван Вадимович Губочкин | ||
| Том 21, № 5 (2014) | Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич Шершаков | ||
| Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
| Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... исполнение, основанное на автоматическом распараллеливании циклов Cloud Sisal. Cloud-Sisal-kernel является ..." | ||
| Том 21, № 6 (2014) | Подход к автоматизации отладки поведенческих сценариев | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко | ||
| "... поведенческих сценариев приложения: полуавтоматический и автоматический. Первый дает возможность пользователю ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... В настоящее время автоматическая генерация тестов исследуется все более и более активно, поскольку ..." | ||
| Том 28, № 1 (2021) | Алгоритм корректировки уровней полезных сигналов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| "... дефектоскопии. Актуальной задачей является автоматический анализ больших массивов данных (дефектограмм), которые ..." | ||
| Том 26, № 4 (2019) | Методы специализации онтологии процессов, ориентированной на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин | ||
| "... , принадлежащих различным предметным областям, таким как системы автоматического управления, телекоммуникации ..." | ||
| Том 18, № 2 (2011) | Разбиение железнодорожного состава на отдельные вагоны | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Малков, Геннадий Павлович Штерн, Иван Александрович Михайлов | ||
| Том 24, № 6 (2017) | Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
| "... вихретоковой дефектоскопии. Статья посвящена задаче автоматического определения порогового уровня амплитуд ..." | ||
| Том 25, № 4 (2018) | Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
| "... вихретоковой дефектоскопии. Актуальной задачей по-прежнему остается автоматический анализ больших массивов ..." | ||
| Том 25, № 6 (2018) | Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| "... вихретоковой дефектоскопии. Актуальной задачей является автоматический анализ больших массивов данных ..." | ||
| Том 27, № 3 (2020) | Применение свёрточных нейронных сетей для распознавания длинных конструктивных элементов рельсов на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| "... дефектоскопии. Актуальной задачей является автоматический анализ больших массивов данных (дефектограмм), которые ..." | ||
| Том 28, № 2 (2021) | Оценка степени опасности дефектов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| "... дефектоскопии. Актуальной задачей является автоматический анализ больших массивов данных (дефектограмм), которые ..." | ||
| Том 14, № 4 (2007) | Формальная модель семантики художественного текста (на материале русских пословиц) | Аннотация PDF (Rus) похожие документы |
| А. C. Малкова, В. И. Январев | ||
| "... , заключенных в текстах русских пословиц. Модель включает четыре компонента: две оппозиции, связывающее их т ..." | ||
| Том 24, № 6 (2017) | Поэтология: задачи построения тезауруса и спецификации стихового текста | Аннотация PDF (Rus) похожие документы |
| Владимир Николаевич Бойков, Мария Сергеевна Каряева | ||
| "... тезауруса и спецификации текста стихотворного произведения в поэтологии. ..." | ||
| Том 28, № 3 (2021) | Классификация текстов по жанрам на основе ритмических характеристик | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина, Надежда Станиславовна Лагутина, Елена Игоревна Бойчук | ||
| "... Статья посвящена анализу ритма текстов различных жанров: художественных романов, рекламы, научных ..." | ||
| Том 28, № 3 (2021) | Векторизация текстов на основе word-embedding моделей с использованием кластеризации | Аннотация PDF (Rus) похожие документы |
| Виталий Иванович Юферев, Николай Алексеевич Разин | ||
| "... Известно, что в задачах обработки естественного языка представление текстов векторами ..." | ||
| Том 28, № 3 (2021) | Сравнение стилистических характеристик для верификации авторов художественных текстов | Аннотация похожие документы |
| Ксения Владимировна Лагутина | ||
| "... художественных текстов 19-21-го веков. Корпуса текстов содержат фрагменты романов, каждый фрагмент имеет размер ..." | ||
| Том 19, № 5 (2012) | Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей | Аннотация PDF (Rus) похожие документы |
| Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов | ||
| "... автоматической замены обрабатывающих агентов в dataflow-сетях, построенных на базе платформы Smart-M3 и ..." | ||
| Том 23, № 5 (2016) | Численные методы решения задач Коши с контрастными структурами | Аннотация PDF (Rus) похожие документы |
| А. А. Белов, Н. Н. Калиткин | ||
| "... автоматического выбора шага по кривизне интегральной кривой. Этот алгоритм не уступает стандартным алгоритмам по ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| "... управления, автоматическая модификация ограничений на поведение управляемой системы и реализация супервизора ..." | ||
| Том 26, № 3 (2019) | Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов | ||
| "... передачи ритмических характеристик текста. Для анализа ритмических средств в оригинальном тексте и переводе ..." | ||
| Том 29, № 4 (2022) | Классификация русскоязычных текстов по жанрам на основе современных эмбеддингов и ритма | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина | ||
| "... В статье исследуются современные векторные модели текстов для решения задачи классификации ..." | ||
| Том 28, № 3 (2021) | Анализ влияния стилометрических характеристик разного уровня на верификацию авторов художественных произведений | Аннотация PDF (Rus) похожие документы |
| Алла Михайловна Манахова, Надежда Станиславовна Лагутина | ||
| "... разного уровня на качество верификации авторства русских, английских и французских прозаических текстов ..." | ||
| Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
| "... системы извлечения информации из текстов на естественном языке). Мы описываем классы и домены онтологии ..." | ||
| Том 27, № 1 (2020) | Современные методы детектирования и классификации токсичных комментариев с использованием нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Сeргей Владимирович Моржов | ||
| "... достаточно быстро только автоматически. Возникает необходимость научить компьютер «понимать» текст ..." | ||
| Том 25, № 5 (2018) | О методах верификации и разработки программ развития сельскохозяйственных территорий | Аннотация PDF (Rus) похожие документы |
| Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов | ||
| "... эффекты выполнения содержательных действий, указанных в тексте программы развития. Верификация программы ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... представление текущих целей только в виде текста, что предполагает хорошую подготовку пользователя для ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... poST является многообещающим процессно-ориентированным расширением языка структурированного текста (ST ..." | ||
| Том 19, № 6 (2012) | Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов | Аннотация PDF (Rus) похожие документы |
| Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова | ||
| "... алгоритма является автоматическая сегментация – разбиение ломаной на участки с одинаковыми свойствами ..." | ||
| Том 14, № 4 (2007) | Верификация синхронно-автоматных программ | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов | ||
| "... -автоматных программ. Некоторые свойства проверяются автоматически. Есть возможность проверки пользовательских ..." | ||
| Том 16, № 3 (2009) | Работы Ю.С. Колесова по дифференциальным уравнениям | Аннотация PDF (Rus) похожие документы |
| В. Ш. Бурд | ||
| "... приложениям к математической экологии, радиофизике, автоматическому регулированию, механике. ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... корректности методом проверки модели относительно средства автоматической верификации Cadence SMV. Выявляются ..." | ||
| Том 19, № 6 (2012) | Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов | Аннотация PDF (Rus) похожие документы |
| Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров | ||
| "... программных проектов, который использует формальную модель системы, выполняет автоматически символьную ..." | ||
| Том 30, № 4 (2023) | Извлечение именованных сущностей из русскоязычных документов с различной выраженностью структуры | Аннотация PDF (Rus) похожие документы |
| Мария Дмитриевна Аверина, Ольга Александровна Леванова | ||
| "... текстов на основе модели CRF. Рассмотрены два набора данных: документы о рефинансировании с хорошей ..." | ||
| Том 26, № 4 (2019) | Направляемый свойством поиск реляционных инвариантов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Мордвинов | ||
| "... предикатного символа. Тем не менее на практике автоматический вывод таких решений не удаётся, т.к. инварианты ..." | ||
| Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... компилятора аннотированных вычислительных программ, использующего эффективные и достоверные автоматические SAT ..." | ||
| Том 30, № 4 (2023) | Моделирование влияния внешних воздействий на процесс автоматизированной посадки БпЛА-квадрокоптера на подвижную платформу с использованием технического зрения | Аннотация PDF (Rus) похожие документы |
| Артём Валерьевич Рябинов, Антон Игоревич Савельев, Дмитрий Андреевич Аникин | ||
| "... на исследование влияния внешних погодных условий на автоматическую посадку беспилотного летательного ..." | ||
| Том 31, № 3 (2024) | Синтез иерархических моделей процессов: подход на основе разбиения событий на множества | Аннотация похожие документы |
| Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров | ||
| "... процессов на основе автоматически генерируемых журналов событий. В настоящее время многие организации ..." | ||
| Том 21, № 6 (2014) | Инкрементальный подход к технологии создания тестов для индустриальных проектов | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский | ||
| "... заказчика с использованием формальных моделей, методов символьной верификации и автоматической генерации ..." | ||
| Том 20, № 6 (2013) | Автоматизация создания верифицированных тестовых сценариев на основе гидов | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский | ||
| "... автоматической и полуавтоматической генерации тестового набора с ис- пользованием формальной модели, созданной на ..." | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
| В. И. Шелехов | ||
| "... на язык спецификаций системы автоматического доказательства PVS. Доказательство на PVS оказалось на ..." | ||
| Том 19, № 5 (2012) | Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools | Аннотация PDF (Rus) похожие документы |
| Леонид Владимирович Дворянский, Ирина Александровна Ломазова | ||
| "... машины для исполнения и средства автоматического анализа ис- ходных NP-сетей. ..." | ||
| Том 21, № 6 (2014) | Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич Черненок, Валерий Александрович Непомнящий | ||
| "... автоматической верификации на основе SPIN. Работоспособность данного метода продемонстрирована на примере. ..." | ||
| Том 20, № 6 (2013) | Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков | Аннотация PDF (Rus) похожие документы |
| Ольга Александровна Дунаева, Дарья Борисовна Малкова, Михаил Леонидович Мячин, Херберт Эдельсбруннер | ||
| "... В работе описан прототип системы автоматической сегментации и аннотирования эндоскопических ..." | ||
| Том 24, № 4 (2017) | Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов | ||
| "... преобразования, а с другой стороны – упростить автоматический контроль корректности таких преобразований. Статья ..." | ||
| Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
| "... отдельных устройств, представляет собой программу, автоматически задающую конфигурацию сети. Это управляющее ..." | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| "... проведения автоматического доказательства в используемой системе ACL2 были разработаны и реализованы два ..." | ||
| Том 24, № 2 (2017) | Построение высокоуровневой модели процесса по журналу событий | Аннотация похожие документы |
| Антонина Константиновна Бегичева, Ирина Александровна Ломазова | ||
| "... высокоуровневой модели по низкоуровневому журналу событий, т.е. задача автоматического синтеза модели процесса на ..." | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| "... автоматического доказательства), или как захватывающую алгоритмическую головоломку либо задачу дизайна, анализа и ..." | ||
| Том 26, № 1 (2019) | Построение бортовых сетей реального времени на основе технологии ПКС | Аннотация PDF (Rus) похожие документы |
| Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова | ||
| "... сетевой технологии, обеспечивающей как передачу данных в реальном времени, так и автоматическое ..." | ||
| Том 26, № 1 (2019) | Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе | Аннотация PDF (Rus) похожие документы |
| Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин | ||
| "... подхода, а также генетического алгоритма. Для автоматического построения правил сетевой безопасности ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... -спецификации относительно программных свойств производится автоматически с помощью программного средства ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... помощью автоматического итерационного процесса может быть сгенерирована сеть Петри любого размера ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... . Основной акцент сделан на проектирование систем, автоматическую генерацию кода больших систем, верификацию ..." | ||
| 1 - 75 из 90 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
