Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 3 (2017) Эксперименты по построению параллельной композиции временных автоматов Аннотация  похожие документы
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов
"... преобразовать временной конечный автомат в полуавтомат (данный инструмент встроен в BALM-II), второй позволяет ..."
 
Том 30, № 3 (2018) К проверке строго детерминированного поведения временных конечных автоматов Аннотация  похожие документы
Е. М. Винарский, В. А. Захаров
"... . Для описания поведения систем реального времени модель конечного автомата может быть расширена ..."
 
Том 31, № 4 (2019) Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций Аннотация  похожие документы
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко
"... зависит от времени, классическая модель конечного автомата расширяется введением временных переменных ..."
 
Том 30, № 1 (2018) О возможностях автоматного описания параллельной композиции временных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, А. В. Лапутенко
"... , поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вводится ..."
 
Том 27, № 6 (2015) Проверяющие эксперименты с ненаблюдаемым древовидными автоматами Аннотация  PDF (Rus)  похожие документы
Н. Г. Кушик
"... автоматов. Вводится соответствующая модель неисправности, в которой автоматы-реализации перечисляются явно ..."
 
Том 32, № 2 (2020) О минимизации инициальных автоматов с таймаутами Аннотация  похожие документы
Александр Сергеевич ТВАРДОВСКИЙ, Нина Владимировна ЕВТУШЕНКО
"... дискретных систем, и минимизация конечных автоматов является известной проблемой оптимизации, которая ..."
 
Том 26, № 6 (2014) Локализация неисправной компоненты в композиции расширенных автоматов Аннотация  PDF (Rus)  похожие документы
Светлана Прокопенко
"... конечный автомат, поведение которого совпадает с поведением исходного расширенного автомата на всех ..."
 
Том 30, № 4 (2018) К синтезу адаптивных различающих последовательностей для конечных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко
"... Конечные автоматы широко используются при построении проверяющих тестов для управляющих систем с ..."
 
Том 30, № 1 (2018) Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата Аннотация  похожие документы
Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез
"... Задача идентификации состояний в конечном автомате была и остается актуальной, поскольку ..."
 
Том 26, № 6 (2014) К минимизации автоматов с таймаутами Аннотация  PDF (Rus)  похожие документы
Александр Твардовский
"... В данной статье предлагается алгоритм минимизации конечного полностью определенного автомата с ..."
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..."
 
Том 29, № 4 (2017) Минимизация автоматов с таймаутами и временными ограничениями Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов
"... , поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вводится ..."
 
Том 28, № 3 (2016) К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... полностью определенного детерминированного конечного автомата. Тем не менее, для недетерминированных ..."
 
Том 30, № 3 (2018) О верификации конечных автоматов-преобразователей над полугруппами Аннотация  похожие документы
А. Р. Гнатенко, В. А. Захаров
"... реагирующих систем мы используем конечные автоматы-преобразователи, работающие над полугруппами. Для описания ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... рассматриваются методы построения программных срезов, конечных автоматов и расширенных конечных автоматов. ..."
 
Том 26, № 3 (2014) Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами Аннотация  PDF (Rus)  похожие документы
В. В. Подымов, В. А. Захаров
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
"... автоматами и системами взаимодействующих конечных автоматов. Кроме этого программа позволяет выполнять ..."
 
Том 30, № 4 (2018) Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Аннотация  похожие документы
Х. С. Карраскель, А. Моралес, М. Е. Виллаполь
"... сетей Петри (CPN, Coloured Petri Nets) и конечных автоматов представляет собой успешную формальную ..."
 
Том 27, № 2 (2015) Конечные автоматы в теории алгебраических схем программ Аннотация  PDF (Rus)  похожие документы
Р. И. Подловченко
"... результата восходит к разрешимости проблемы эквивалентности конечных автоматов. Задача статьи состоит в ..."
 
Том 26, № 6 (2014) Решение автоматных уравнений для временных автоматов относительно параллельной композиции Аннотация  PDF (Rus)  похожие документы
О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли
"... уравнения для классических конечных автоматов, обобщаются на случай автоматов с таймаутами. Задача синтеза ..."
 
Том 28, № 4 (2016) Генерация функциональных тестов для HDL-описаний на основе проверки моделей Аннотация  похожие документы
М. С. Лебедев, С. А. Смолов
"... (High-Level Decision Diagrams, HLDD) и расширенные конечные автоматы (Extended Finite-State Machines ..."
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
"... множество LTL-формул, определяющих условия достижимости переходов расширенного конечного автомата ..."
 
Том 26, № 6 (2014) Расширенные конечные автоматы с таймаутами для оценки удовлетворенности пользователя ОТТ сервисом Аннотация  PDF (Rus)  похожие документы
Д. Ривера, Н. Кушик, К. Фьюензалида, А. Кавалли, Н. Евтушенко
"... оценка качества предоставляемого сервиса. Большинство методов оценки качества сервиса конечным ..."
 
Том 31, № 5 (2019) Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» Аннотация  PDF (Rus)  похожие документы
Александр Валерьянович Самонов
"... автоматов и временных логик. Для валидации и верификации комплекса требований и проектных решений ..."
 
Том 27, № 3 (2015) Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Аннотация  PDF (Rus)  похожие документы
И. . Мельниченко, А. . Камкин, С. . Смолов
"... . Расширенные конечные автоматы (extended finite state machines, EFSM) - удобный формализм для моделирования ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
 
Том 28, № 1 (2016) Система автоматов: композиция по графу связей Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... моделируются конечными автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом ..."
 
Том 31, № 3 (2019) «Жизнь» в тензорах: реализация клеточных автоматов на видеокартах Аннотация  похожие документы
Наталья Андревна Шаляпина, Максим Леонидович Громов
"... В данной статье представлен подход к описанию клеточных автоматов с использованием тензоров. Такой ..."
 
Том 26, № 6 (2014) Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции Аннотация  PDF (Rus)  похожие документы
Антон Ермаков
"... недетерминированного конечного полностью определенного автомата относительно редукции. ..."
 
Том 26, № 6 (2014) Параллельные вычисления автоматами на прямом и обратном остовах графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев, Виктор Кулямин
"... значений, находящихся в вершинах графа. Вычисления выполняются автоматами, размещенными в вершинах графа и ..."
 
Том 28, № 1 (2016) Система автоматов: условия детерминизма и тестирование Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными ..."
 
Том 29, № 6 (2017) Подход к реализации системы верифицированного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... которых основывается на атрибуте времени совершения операции. В завершении статьи приведено краткое ..."
 
Том 27, № 2 (2015) Параллельные вычисления на динамически меняющемся графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... , записанных в вершинах ориентированного сильно-связного графа. Вычисление выполняется автоматами, находящимися ..."
 
Том 27, № 1 (2015) Обход неизвестного графа коллективом автоматов. Недетерминированный случай Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..."
 
Том 27, № 1 (2015) Мониторинг динамически меняющегося графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... динамически меняющегося графа: его дуги могут исчезать, появляться или менять свои конечные вершины ..."
 
Том 29, № 5 (2017) Логика первого порядка для задания требований к безопасному программному коду Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
 
Том 27, № 2 (2015) Моделирование и анализ поведения последовательных реагирующих программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров
"... Автоматы-преобразователи с конечным числом состояний над полугруппами могут служить простой моделью ..."
 
Том 30, № 6 (2018) Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 Аннотация  PDF (Rus)  похожие документы
А. М. Водовозов, Д. С. Полетаев
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... за счет горизонтального масштабирования системы оптимизации времени связывания. Во втором случае ..."
 
1 - 40 из 66 результатов 1 2 > >> 

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

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