Сортировать по:
| Выпуск | Название | |
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... algorithm for checking the equivalence of states of deterministic finite automata is constructed; time ..." | ||
| Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Г. Г. Темербекова | ||
| "... of such programs can be reduced to minimization and equivalence checking problems for finite state transducers ..." | ||
| Том 25, № 5 (2018) | Представление универсальных гиперграфических автоматов автономными выходными сигналами | Аннотация похожие документы |
| Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов | ||
| "... planes, along with automata with state sets and output symbol sets divided into equivalence classes ..." | ||
| Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
| Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
| "... Push-down automata with independent counters (PDACs) combine the power of PDAs and Petri Nets ..." | ||
| Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
| "... -thermal equivalence of these schemata and the problem of their size minimization while preserving logical ..." | ||
| Том 21, № 3 (2014) | Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны | Аннотация PDF (Rus) похожие документы |
| Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин | ||
| "... equivalence of the impulse neurons and neural cellular automata of different kinds. ..." | ||
| Том 19, № 5 (2012) | Моделирование счетчиковых машин двухголовочными автоматами | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Проводится моделирование работы счетчиковых машин Минского с помощью двухголовочных автоматов. ..." | ||
| Том 21, № 4 (2014) | Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Андрей Эрикович Молчанов | ||
| "... on their models called program schemes. Procedural liberisation problem and equivalence problem are stated ..." | ||
| Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... on their models called program schemes. Liberisation and equivalence problems are stated for program models ..." | ||
| Том 23, № 5 (2016) | Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов | Аннотация PDF (Rus) похожие документы |
| Е. В. Коновалов | ||
| "... and neurons-detectors. In the second part of the article we prove the equivalence of the dynamics of the two ..." | ||
| Том 27, № 2 (2020) | Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами | Аннотация похожие документы |
| Владимир Анатольевич Башкин | ||
| "... (n, m)-equivalences approximating the largest τ-bisimulation of resources. ..." | ||
| Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... Расширенные автоматы активно используются при построении тестов для программного обеспечения на ..." | ||
| Том 17, № 2 (2010) | О языках автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| "... for automaton counter machines, but inclusion and equivalence problems are not decidable. We compare the class ..." | ||
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... their deadlines. The authors propose a stopwatch automata-based general model of RT MCS operation. A model ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... finite state machines (TFSMs). However, in most works where this class of real-time automata is studied ..." | ||
| Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... Конечные автоматы, задающие преобразования потоков входных сигналов в последовательности ..." | ||
| Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... Cellular resource driven automata nets (CRDA-nets) is a generalization of the concept of two-level ..." | ||
| Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
| "... statecharts is to invoke the formal model of Hierarchical Timed Automata. Since the model language of UPPAAL ..." | ||
| Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
| Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
| "... is an asynchronous system. Distributed asynchronous automata are introduced here. It is proved that Petri nets ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... of checking $Reg$-$LTL$ formulas to the emptiness problem for Buchi automata of relatively small size ..." | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| "... Uniform systems of communicating extended finite automata are considered in the paper ..." | ||
| Том 16, № 3 (2009) | О множестве достижимости автоматных трехсчетчиковых машин | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| Том 19, № 5 (2012) | О теории алгебраических моделей программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... along with a description of their implementation. The key point of the theory is the equivalence ..." | ||
| Том 24, № 2 (2017) | Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| Том 17, № 1 (2010) | О множестве достижимости автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| "... one (with a fixed-size static memory), or as a proof of the functional equivalence between recursive ..." | ||
| Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
| К. А. Васильева, Е. В. Кузьмин | ||
| "... are considered. The automata programming technology is effective enough in design and verification (the analysis ..." | ||
| Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... automata where the stack alphabet contains one symbol. We present a specific method of approximation ..." | ||
| Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... A class of infinite-state automata with a simple periodic behaviour and a convenient graphical ..." | ||
| Том 24, № 6 (2017) | К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов | Аннотация PDF (Rus) похожие документы |
| Наталья Геннадьевна Кушик, Нина Владимировна Евтушенко, Игорь Борисович Бурдонов, Александр Сергеевич Косачев | ||
| "... sequences for finite input/output automata. Corresponding sequences can be effectively used for the current ..." | ||
| Том 21, № 4 (2014) | Исследование примитивных схем программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко | ||
| "... properties based on program schemes. This leads to the problem of program scheme equivalence and the problem ..." | ||
| Том 24, № 4 (2017) | Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко | ||
| "... методов синтеза тестов с гарантированной полнотой на временные автоматы. В данной статье мы предлагаем ..." | ||
| Том 21, № 4 (2014) | Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях | Аннотация PDF (Rus) похожие документы |
| Алексей Абрамович Короткин, Александр Андреевич Максимов | ||
| "... предлагается архитектура двумерного клеточного автомата с диффузионным взаимодействием клеток. Доказана ..." | ||
| Том 26, № 3 (2019) | Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов | ||
| "... Analysis of the functional equivalence of an original text and its translation based ..." | ||
| Том 23, № 6 (2016) | Построение каскадной параллельной композиции временных автоматов с использованием BALM-II | Аннотация PDF (Rus) похожие документы |
| М. Л. Громов, Н. В. Шабалдина | ||
| "... автоматов. Построение такой композиции можно свести к поэтапному построению бинарной параллельной композиции ..." | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| "... . This method is based on the representation of equivalence class partitioning as logical equations. An original ..." | ||
| Том 14, № 2 (2007) | Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов | Аннотация PDF (Rus) похожие документы |
| Е. В. Коновалов | ||
| "... Рассматривается новая модель нейронного элемента - обобщенный нейронный автомат (ОНА). Эта модель ..." | ||
| Том 14, № 3 (2007) | Задача о пачечном воздействии на обобщенный нейронный автомат | Аннотация PDF (Rus) похожие документы |
| Е. В. Коновалов | ||
| "... Рассматривается новая модель нейронного элемента - обобщенный нейронный автомат (ОНА). Эта модель ..." | ||
| Том 27, № 4 (2020) | Синтез установочных последовательностей для автоматов с временными ограничениями | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| "... Идентификация состояний является хорошо известной задачей теории конечных автоматов, и ..." | ||
| Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
| Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
| "... of physicochemical processes. Cellular automata-based methods greatly simplify modeling procedures in many cases ..." | ||
| Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
| Томас Баар, Хорст Шульте | ||
| Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина, Е. А. Сидорова | ||
| "... system are specified by universal branching time logic ∀CTL with finite deterministic automata as atomic ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... -отклик, и поэтому в качестве математических моделей для них наиболее часто используются конечные автоматы ..." | ||
| Том 23, № 5 (2016) | Расслоенное произведение коммутативных алгебр: образующие и соотношения | Аннотация похожие документы |
| Н. В. Тимофеева | ||
| "... equivalence relation in algebraic geometry. If initial algebras are finite-dimensional vector spaces ..." | ||
| Том 24, № 2 (2017) | О гипотезах Тэйта для дивизоров на расслоенном многообразии и его общем схемном слое в случае конечной характеристики | Аннотация PDF (Rus) похожие документы |
| Татьяна Вячеславовна Прохорова | ||
| "... algebraic equivalence, and assume that the following conditions hold: (H^1(Votimesoverline k,mathcal O ..." | ||
| Том 25, № 5 (2018) | Полипрограммы и бисимуляция полипрограмм | Аннотация похожие документы |
| Сергей Александрович Гречаник | ||
| "... called merging by bisimulation, corresponding to proving equivalence of functions by induction ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... -specification is converted into an equivalent imperative LTL-specification. An equivalence theorem is proved ..." | ||
| Том 26, № 3 (2019) | Геометрические оценки при интерполяции на n-мерном шаре | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... that (|P|_{B_n}geqchi_n^{-1}left(frac{vol(B_n)}{vol(S)}right).) From this, we obtain the equivalence ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... the truth of program requirements during the transformation to a simpler proof of equivalence ..." | ||
| Том 25, № 3 (2018) | Oб оптимальной интерполяции линейными функциями на n-мерном кубе | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| "... . The equivalence (theta_nasymp sqrt{n}) takes place. For example, the appropriate, according to dimension (n ..." | ||
| Том 30, № 1 (2023) | О вычислительных конструкциях в функциональных пространствах | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... ) sequences $big{Theta_n[cdot]big}$ define on the equivalence classes the operator-projector $Theta ..." | ||
| Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
| И. В. Коннов, В. А. Захаров | ||
| "... распределённых программ. Задача проверки выполнимости формул ILTL сводится к задаче проверки пустоты автомата ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| "... of positively constructed formulas (PCF). We consider logical DESs in automata form, understood as generators ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... . Каждый процесс представляет собой конечный автомат. Эта парадигма предназначена для разработчиков ПЛК ..." | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| "... описывает поведение библиотек с помощью системы расширенных конечных автоматов (РКА). Процедура миграции ..." | ||
| 1 - 56 из 56 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
