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