Preview

Моделирование и анализ информационных систем

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 19, № 5 (2012) Моделирование счетчиковых машин двухголовочными автоматами Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... A method of modeling the Minsky counter machine behaviour by a two-head finite automaton ..."
 
Том 17, № 1 (2010) О множестве достижимости автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... Properties of automaton counter machines are investigated. We prove that reachability sets ..."
 
Том 18, № 4 (2011) Построение приближений бисимуляции в односчетчиковых сетях Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... One-counter nets are finite-state machines operating on a variable (counter) which ranges over ..."
 
Том 22, № 2 (2015) МП-автоматы с независимыми счётчиками Аннотация  PDF (Rus)  похожие документы
Михаил Иосифович Дехтярь, Борис Николаевич Карлов
"... PDA equipped with a finite number of counters. The independence of counters means that their state has ..."
 
Том 16, № 3 (2009) О множестве достижимости автоматных трехсчетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... In this paper we prove the existence of automaton 3-counter machines which have non-semilinear ..."
 
Том 20, № 2 (2013) Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... -counter nondeterministic finite automata without zero-testing) with at least one positive cycle ..."
 
Том 15, № 1 (2008) О разрешимости проблем ограниченности для счетчиковых машин Минского Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... In the paper the decidability of boundedness problems for counter Minsky machines is investigated ..."
 
Том 27, № 3 (2020) Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров
"... Finite transducers, two-tape automata, and biautomata are related computational models descended ..."
 
Том 28, № 1 (2021) LTL-спецификация счётчиковых машин Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин
"... , for the specification of the behavior of which the LTL logic will be applied, Minsky counter machines are considered ..."
 
Том 17, № 2 (2010) О языках автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... Some properties of formal languages (ACML) of automaton counter machines are investigated. We show ..."
 
Том 23, № 6 (2016) О минимизации конечных автоматов-преобразователей над полугруппами Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Г. Г. Темербекова
"... Finite state transducers over semigroups are regarded as a formal model of sequential reactive ..."
 
Том 26, № 1 (2019) Алгоритм минимизации количества правил маршрутизации в ПКС Аннотация  PDF (Rus)  похожие документы
Иван Сергеевич Петров
"... of data-plane from control-plane. It implements a new way of analyzing network statistics through counters ..."
 
Том 24, № 4 (2017) Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко
"... constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation ..."
 
Том 29, № 1 (2022) LTL-спецификация ограниченных счётчиковых машин Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин
"... Minsky counter machines that are considered as program systems of which we need to get the specification ..."
 
Том 23, № 6 (2016) Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional ..."
 
Том 27, № 4 (2020) Синтез установочных последовательностей для автоматов с временными ограничениями Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко
"... State identification is the well-known problem in the theory of Finite State Machines (FSM) where ..."
 
Том 23, № 6 (2016) Построение каскадной параллельной композиции временных автоматов с использованием BALM-II Аннотация  PDF (Rus)  похожие документы
М. Л. Громов, Н. В. Шабалдина
"... In this paper, we consider the problem of deriving a cascade parallel composition of timed finite ..."
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
"... Uniform systems of communicating extended finite automata are considered in the paper ..."
 
Том 27, № 4 (2020) О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени Аннотация  PDF (Rus)  похожие документы
Евгений Максимович Винарский, Владимир Анатольевич Захаров
"... finite state machines (TFSMs). However, in most works where this class of real-time automata is studied ..."
 
Том 30, № 4 (2023) LTL-спецификация для разработки и верификации управляющих программ Аннотация  PDF (Rus)  похожие документы
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин
"... modern verification tool for finite and infinite systems — nuXmv. It is proposed to describe the behavior ..."
 
Том 27, № 4 (2020) О задаче верификации моделей программ для одного расширения логики CTL* Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... sequences of pairs of events of the request-response type, and, therefore, finite transducers are most often ..."
 
Том 24, № 4 (2017) О задаче минимизации последовательных программ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова
"... schemata supplied with logical-thermal equivalence and finite state deterministic transducers operating ..."
 
Том 22, № 4 (2015) О выразительности подхода к построению ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
"... . It is proved, that in accordance with this approach for any Minsky counter machine can be built an LTL ..."
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... systems behaviour is a finite state transducer which operates over an input alphabet of control signals ..."
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация  PDF (Rus)  похожие документы
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
"... использовать диаграммы состояний UML с семантикой, определяемой иерархическими автоматами. Для верификации СРВ ..."
 
Том 21, № 4 (2014) Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях Аннотация  PDF (Rus)  похожие документы
Алексей Абрамович Короткин, Александр Андреевич Максимов
"... предлагается архитектура двумерного клеточного автомата с диффузионным взаимодействием клеток. Доказана ..."
 
Том 25, № 5 (2018) Представление универсальных гиперграфических автоматов автономными выходными сигналами Аннотация  похожие документы
Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов
"... Гиперграфическими автоматами называются автоматы, у которых множества состояний и выходных символов ..."
 
Том 22, № 4 (2015) О конечных группах с большой степенью неприводимого характера Аннотация  PDF (Rus)  похожие документы
Л. С. Казарин, С. С. Поисеева
"... Let G be a finite nontrivial group with an irreducible complex character χ of degree d = χ(1 ..."
 
Том 21, № 2 (2014) Некоторые аппроксимационные свойства групп конечного ранга Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
"... . Seksenbaev proved that if G is a polycyclic group which is residually finite p-group for infinitely many ..."
 
Том 21, № 3 (2014) Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны Аннотация  PDF (Rus)  похожие документы
Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин
"... импульсных нейронов и нейронных клеточных автоматов различных типов (автогенераторов и детекторов) при ..."
 
Том 14, № 2 (2007) Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... Рассматривается новая модель нейронного элемента - обобщенный нейронный автомат (ОНА). Эта модель ..."
 
Том 14, № 3 (2007) Задача о пачечном воздействии на обобщенный нейронный автомат Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... Рассматривается новая модель нейронного элемента - обобщенный нейронный автомат (ОНА). Эта модель ..."
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация  PDF (Rus)  похожие документы
Андрей Валентинович Климов
"... An algorithm for solving the coverability problem for monotonic counter systems is presented ..."
 
Том 26, № 4 (2019) Анализ безопасности контроллеров продольного движения во время набора высоты Аннотация  похожие документы
Томас Баар, Хорст Шульте
 
Том 28, № 4 (2021) О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... выполнимости формул логики $Reg$-$LTL$ к проблеме пустоты автоматов Бюхи сравнительно небольшого размера и ..."
 
Том 22, № 2 (2015) Равномерность векторных расслоений конечного ранга на полных пересечениях конечной коразмерности в линейных инд-грассманианах Аннотация  PDF (Rus)  похожие документы
Светлана Михайловна Ермакова
"... -Grassmannian G = lim−→G(km, nm). By definition, X is an intersection of G with a finite number of ind ..."
 
Том 22, № 2 (2015) Аппроксимационные свойства нильпотентных групп Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
"... Let π be a set of primes. Recall that a group G is said to be a residually finite π-group ..."
 
Том 25, № 2 (2018) О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов Аннотация  PDF (Rus)  похожие документы
Алевтина Борисовна Глонина, Василий Викторович Балашов
"... временных автоматов с остановкой таймеров. По вычислению сети автоматов предлагается строить временную ..."
 
Том 21, № 2 (2014) Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Иванов
 
Том 18, № 3 (2011) О двух конечномерных аппроксимациях периодической краевой задачи Аннотация  PDF (Rus)  похожие документы
Николай Андреевич Демьянков
"... discretization - systems of equations in finite spaces. Conditions under which the existence of solutions ..."
 
Том 20, № 1 (2013) О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
"... to be virtual residuality by finite π–groups is obtained. ..."
 
Том 20, № 1 (2013) О финитной аппроксимируемости некоторых обобщенных свободных произведений разрешимых групп конечного ранга Аннотация  PDF (Rus)  похожие документы
Алексей Вячеславович Розов
"... Let G be a free product of residually finite virtually soluble groups A and B of finite rank ..."
 
Том 23, № 6 (2016) Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями Аннотация  PDF (Rus)  похожие документы
А. А. Кащенко
"... to be finite, piecewise continuous, and with a constant sign. In this paper, we prove the existence ..."
 
Том 27, № 3 (2020) О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... of these algebras, including the question of the existence of finite bases of identities in these algebras ..."
 
Том 14, № 1 (2007) Верификация автоматных программ с использованием LTL Аннотация  PDF (Rus)  похожие документы
К. А. Васильева, Е. В. Кузьмин
"... is an indisputable advantage of the automata technology. Moreover, the model has a finite set of states ..."
 
Том 20, № 2 (2013) Единая модель для геоклассификации веб-сайтов Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Волков
"... -сайтов с применением машинного обучения. Оценка качества демонстрирует преимущество нашего подхода "по ..."
 
Том 19, № 4 (2012) Обобщенные асинхронные системы Аннотация  PDF (Rus)  похожие документы
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов
"... асинхронная система. В ней введены дистрибутивные асинхронные автоматы. Доказано, что сети Петри и системы ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... клеточных автоматов и предназначен для моделирования мультиагентных систем с динамической пространственной ..."
 
Том 31, № 1 (2024) Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев
"... is a concurrent finite state machine inside. The paradigm is intended for PLC (programmable logic controllers ..."
 
Том 21, № 1 (2014) Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко, Валерий Евгеньевич Фролов
"... We study the dynamics of finite-difference approximation on spatial variables of a logistic ..."
 
Том 23, № 3 (2016) Оценки погрешности в сбалансированных нормах методов ко- нечных элементов на сетках Шишкина для задач реакции-диффузии Аннотация  PDF (Rus)  похожие документы
Р. Ханс-Гёрг
"... Error estimates of finite element methods for reaction-diffusion problems are often realized ..."
 
Том 24, № 2 (2017) О гипотезах Тэйта для дивизоров на расслоенном многообразии и его общем схемном слое в случае конечной характеристики Аннотация  PDF (Rus)  похожие документы
Татьяна Вячеславовна Прохорова
"... a finite field and the Tate conjecture for divisors on the generic scheme fibre under the condition ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... system are specified by universal branching time logic ∀CTL with finite deterministic automata as atomic ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... behaviour by using a system of extended finite state machines (EFSM). This paper outlines the metamodel ..."
 
Том 29, № 3 (2022) Формирование признаков машинного обучения на основе построения тропических функций Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Чуканов, Илья Станиславович Чуканов
"... машинного обучения и персистентной гомологии препятствуют топологические представления данных, метрики ..."
 
Том 23, № 3 (2016) МКЭ-анализ на адаптированных к слою сетках в задачах с точкой по- ворота, имеющих внутренний слой Аннотация  похожие документы
С. Бехер
"... in the ε-weighted energy norm for finite elements of higher order. Numerical experiments are used to compare ..."
 
Том 23, № 3 (2016) Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем Аннотация  PDF (Rus)  похожие документы
А. А. Быков
"... conditions for ITL transitioning through the special point within finite time are formulated. AM algorithm ..."
 
Том 23, № 5 (2016) Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред Аннотация  PDF (Rus)  похожие документы
Ж. О. Домбровская
 
Том 30, № 3 (2023) Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) Аннотация  похожие документы
Дмитрий Александрович Кондратьев
"... for solving these problems in the case of loops over data sequences. These loops are referred to as finite ..."
 
Том 25, № 5 (2018) О безопасности одно- и многоместных IFP-операторов Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Дудаков
"... by such queries. Hence the problem of the finite computability for such queries is undecidable. In our previous ..."
 
Том 30, № 4 (2023) Алгоритм предсказания связей в саморегулирующейся сети с адаптивной топологией на базе теории графов и машинного обучения Аннотация  PDF (Rus)  похожие документы
Евгений Юрьевич Павленко
 
Том 30, № 3 (2023) Классификация текстов по уровням CEFR с использованием методов машинного обучения и языковой модели BERT Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Анастасия Михайловна Бредерман, Наталья Николаевна Касаткина
"... . Классификация полученных векторов осуществлялась стандартными классификаторами машинного обучения. В статье ..."
 
Том 27, № 4 (2020) Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, № 3, с. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315 Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
 
Том 29, № 4 (2022) Поиск упоминаний экологических практик в социальных сетях с помощью методов классификации текстов Аннотация  PDF (Rus)  похожие документы
Анна Валерьевна Глазкова, Ольга Владимировна Захарова, Антон Викторович Захаров, Наталья Николаевна Москвина, Тимур Русланович Еникеев, Арсений Николаевич Ходырев, Всеволод Константинович Боровинский, Ирина Николаевна Пупышева
"... фильтрация собранных текстов. Проведено сравнение четырех моделей машинного обучения для поиска упоминаний ..."
 
Том 32, № 2 (2025) Алгоритм шаблонизации для динамической задачи упаковки в контейнеры с группами размещения Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бражников, Артём Александрович Панин, Алексей Владленович Ратушный
"... Рассматривается NP-трудная задача динамического распределения виртуальных машин по серверам с ..."
 
Том 14, № 1 (2007) Автоморфизмы систем переходов Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов
"... are showed, that every finite group may be embedded in a group of automorphisms of a certain transition ..."
 
Том 17, № 3 (2010) Рекуррентные последовательности над почтикольцами Аннотация  PDF (Rus)  похожие документы
А. В. Сбоев
"... of finite non-abelian extra-spexdal 2-groups are investigatexl. ..."
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... простую аксиоматизацию машинной арифметики в терминах вещественной арифметики (то есть арифметики поля ..."
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация  PDF (Rus)  похожие документы
И. В. Коннов, В. А. Захаров
"... распределённых программ. Задача проверки выполнимости формул ILTL сводится к задаче проверки пустоты автомата ..."
 
Том 14, № 4 (2007) Род и категория Люстерника - Шнирельмана прообразов Аннотация  PDF (Rus)  похожие документы
Р. Н. Карасёв
"... - Schnirelmann category is considered. For this function and a given map of the underlying space to a finite ..."
 
Том 22, № 2 (2015) Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый
"... as the most promising approach for traffic estimation, and they use Intel Performance Counter Monitor ..."
 
Том 24, № 4 (2017) О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар
"... . Measurements methodology using Intel Performance Counter Monitor by Intel is provided and equations that allow ..."
 
Том 14, № 3 (2007) Экономный алгоритм нахождения средних минимальных расстояний Аннотация  PDF (Rus)  похожие документы
Н.Е. Тимофеева
"... Let £o,..., £n be strings drawn from some finite alphabet. In this paper we describe an algorithm ..."
 
Том 17, № 3 (2010) Составные редукции моделей Крипке и автоморфизмы Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов
"... , that every finite group is isomorphic for a group of automorphisms of a certain Kripke model. ..."
 
Том 21, № 1 (2014) Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... Considered are so-called finite-dimensional flutter systems, i.e. systems of ordinary differential ..."
 
1 - 75 из 135 результатов 1 2 > >> 

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

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