Сортировать по:
| Выпуск | Название | |
| Том 31, № 3 (2019) | «Жизнь» в тензорах: реализация клеточных автоматов на видеокартах | Аннотация похожие документы |
| Наталья Андревна Шаляпина, Максим Леонидович Громов | ||
| "... This paper presents an approach to the description of cellular automata using tensors ..." | ||
| Том 36, № 5 (2024) | Использование клеточного автомата для оценки влияния городской планировки на социоэкономические показатели при распространении эпидемий | Аннотация PDF (Rus) похожие документы |
| Степан Алексеевич ЕЛИСТРАТОВ | ||
| "... . The spread was simulated via a stochastic cellular automata approach, with the main indicators being ..." | ||
| Том 26, № 2 (2014) | Обход неизвестного графа коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Graph learning by automata is a basic task in many applications. Among these applications ..." | ||
| Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... graph of links. The nodes correspond to automata of the components and arcs correspond to simplex ..." | ||
| Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... with finite automata with multiple entries and exits. The communication between automata is described ..." | ||
| Том 28, № 1 (2016) | Система автоматов: композиция по графу связей | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... are described with finite automata with multiple entries and exits. The communication between automata ..." | ||
| Том 26, № 6 (2014) | Построение прямого и обратного остовов автоматами на графе | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... В работе представлен алгоритм параллельного исследования графа. Автомат на графе является аналогом ..." | ||
| Том 27, № 1 (2015) | Обход неизвестного графа коллективом автоматов. Недетерминированный случай | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Graph learning with automata is a basic task in many applications. Among such applications ..." | ||
| Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ | ||
| "... вопроса – восстановления реализованного в программе протокольного автомата, а краеугольным камнем является ..." | ||
| Том 27, № 2 (2015) | Конечные автоматы в теории алгебраических схем программ | Аннотация PDF (Rus) похожие документы |
| Р. И. Подловченко | ||
| "... on the approach to the equivalence checking problem for finite state automata. The aim of this paper is to reveal ..." | ||
| Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... We propose a general method to solve graph problems by a set of automata (computational agents ..." | ||
| Том 26, № 6 (2014) | Параллельные вычисления автоматами на прямом и обратном остовах графа | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев, Виктор Кулямин | ||
| "... by automata distributed on the graph vertices. The key idea of the algorithm is to use a structural ..." | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| "... основе древовидных автоматов. Эффективность предложенного подхода иллюстрируется на примере протокола TCP ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| Том 37, № 1 (2025) | Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов | Аннотация PDF (Rus) похожие документы |
| Валерий Николаевич ИГНАТЬЕВ | ||
| "... . For most known types of errors, a formalization is proposed that is based on finite automata over trees ..." | ||
| Том 26, № 6 (2014) | Решение автоматных уравнений для временных автоматов относительно параллельной композиции | Аннотация PDF (Rus) похожие документы |
| О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли | ||
| "... уравнения для классических конечных автоматов, обобщаются на случай автоматов с таймаутами. Задача синтеза ..." | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... components of a system. The combination of Colored Petri Nets (CPNs) and Automata Theory has proved ..." | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| Том 27, № 2 (2015) | Параллельные вычисления на динамически меняющемся графе | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... at the vertices of a directed strongly connected graph is considered. Computation is performed by automata ..." | ||
| Том 27, № 1 (2015) | Мониторинг динамически меняющегося графа | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... . Предлагается алгоритм работы автоматов, который обеспечивает сбор полной информации о графе в каждой вершине ..." | ||
| Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
| В. В. Подымов, В. А. Захаров | ||
| "... of finite automata; this is another key step in building the decision procedure. In Section 8 we show ..." | ||
| Том 29, № 3 (2017) | Эксперименты по построению параллельной композиции временных автоматов | Аннотация похожие документы |
| А. П. Сотников, Н. В. Шабалдина, М. Л. Громов | ||
| "... : the first one for converting TFSMs into automata (this tool is integrated into BALM-II), the second one ..." | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... and automata models. As for flow graphs or dependency graphs, the methods of program slices extraction ..." | ||
| Том 35, № 3 (2023) | Выявление REDoS cитуаций в регулярных выражениях структуры «домино» | Аннотация похожие документы |
| Антонина Николаевна НЕПЕЙВОДА, Юлия Андреевна БЕЛИКОВА, Кирилл Константинович ШЕВЧЕНКО, Михаил Романович ТЕРЮХА, Данила Павлович КНЯЗИХИН, Александр Дмитриевич ДЕЛЬМАН, Анна Сергеевна ТЕРЕНТЬЕВА | ||
| "... of the transformation monoids of Glushkov automata orbits. Our experiments demonstrate that our implementation ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров | ||
| "... Finite state transducers extend the finite state automata to model functions on strings or lists ..." | ||
| Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) похожие документы |
| Александр Валерьянович Самонов | ||
| "... , FUML, OCL structures and mechanisms, the Petri nets mathematical apparatus, time automata and time ..." | ||
| Том 27, № 6 (2015) | Проверяющие эксперименты с ненаблюдаемым древовидными автоматами | Аннотация PDF (Rus) похожие документы |
| Н. Г. Кушик | ||
| "... автоматов. Вводится соответствующая модель неисправности, в которой автоматы-реализации перечисляются явно ..." | ||
| Том 32, № 2 (2020) | О минимизации инициальных автоматов с таймаутами | Аннотация похожие документы |
| Александр Сергеевич ТВАРДОВСКИЙ, Нина Владимировна ЕВТУШЕНКО | ||
| "... дискретных систем, и минимизация конечных автоматов является известной проблемой оптимизации, которая ..." | ||
| Том 33, № 6 (2021) | Возникновение контрастных структур для галактического магнитного поля: теоретические оценки и моделирование на видеокартах | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович МИХАЙЛОВ, Татьяна Тимуровна ХАСАЕВА, Игорь Олегович ТЕПЛЯКОВ | ||
| "... дальнейшем подтверждаются и уточняются в ходе компьютерного моделирования на видеокартах. Показано, что ..." | ||
| Том 26, № 6 (2014) | К минимизации автоматов с таймаутами | Аннотация PDF (Rus) похожие документы |
| Александр Твардовский | ||
| "... В данной статье предлагается алгоритм минимизации конечного полностью определенного автомата с ..." | ||
| Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| Том 26, № 6 (2014) | Локализация неисправной компоненты в композиции расширенных автоматов | Аннотация PDF (Rus) похожие документы |
| Светлана Прокопенко | ||
| "... решаем эту проблему для бинарной сети из расширенных автоматов. Для каждой из компонент строится ..." | ||
| Том 28, № 2 (2016) | Способ статической оценки времени работы компонентов AADL-моделей | Аннотация похожие документы |
| А. М. Троицкий, Д. В. Буздалов | ||
| "... with specialized extended finite automata. In the paper peculiarities of used behaviour model (specialized finite ..." | ||
| Том 29, № 4 (2017) | Минимизация автоматов с таймаутами и временными ограничениями | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов | ||
| "... Конечные автоматы широко используются для анализа и синтеза управляющих систем. При описании систем ..." | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... реагирующих систем мы используем конечные автоматы-преобразователи, работающие над полугруппами. Для описания ..." | ||
| Том 34, № 5 (2022) | Библиотека для разработки компиляторов | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ | ||
| "... of the work, the generation of parsers using LR(1)-automata was studied and implemented, two auxiliary ..." | ||
| Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, В. В. Подымов | ||
| "... of programs can be solved following the same approach that is used for minimization of finite state automata ..." | ||
| Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко | ||
| "... Конечные автоматы широко используются при построении проверяющих тестов для управляющих систем с ..." | ||
| 1 - 39 из 71 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
