Сортировать по:
| Выпуск | Название | |
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... implies that any model run can be used for schedulability analysis. This fact is crucial for the approach ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... This paper uses the model checking method for an exact schedulability test of real-time systems ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... $-$LTL$ and introduced a model checking algorithm for $Reg$-$LTL$, $Reg$-$CTL$, and $Reg$-$CTL ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... used as formal models for them. The behavior of transducers is represented by binary relations ..." | ||
| Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Г. Г. Темербекова | ||
| "... Finite state transducers over semigroups are regarded as a formal model of sequential reactive ..." | ||
| Том 14, № 3 (2007) | Задача о пачечном воздействии на обобщенный нейронный автомат | Аннотация PDF (Rus) похожие документы |
| Е. В. Коновалов | ||
| "... A new model of the neuron cell - the generalized automatic neuron (GAN) is considered. This model ..." | ||
| Том 14, № 2 (2007) | Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов | Аннотация PDF (Rus) похожие документы |
| Е. В. Коновалов | ||
| "... A new model of the neuron cell - the generalized automatic neuron (GAN) - is considered. This model ..." | ||
| Том 21, № 3 (2014) | Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны | Аннотация PDF (Rus) похожие документы |
| Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин | ||
| "... and non-intersection of input impacts for each neuron. In the first chapter, we describe the model ..." | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| "... and justified in [4]. The ASV tool uses CPN Tools [10] for analysis of the net models and Petri Net Verifier [12 ..." | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... Finite transducers, two-tape automata, and biautomata are related computational models descended ..." | ||
| Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
| "... To verify real-time properties of UML statecharts one may apply a UPPAAL, toolbox for model ..." | ||
| Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
| И. В. Коннов, В. А. Захаров | ||
| "... by exploring an extended state space. In this paper we show that the technique is applicable to LTL model ..." | ||
| Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... , the airplane loses height and can - eventually - crash. In this paper, we provide an executable model written ..." | ||
| Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
| "... First-order program schemata is one of the simplest models of sequential imperative programs ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... computations are taken into account by real-time models of computation which include, in particular, realtime ..." | ||
| Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
| Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
| "... . In particular, this is important when using models in the form of partial differential equations systems ..." | ||
| Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... основе формальных моделей. Однако полнота тестов, построенных по расширенному автомату на основе покрытия ..." | ||
| Том 24, № 4 (2017) | Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко | ||
| "... methods to timed models. In this paper, we propose a method for deriving conformance tests ..." | ||
| Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
| Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
| "... The paper consider a mathematical model of a concurrent system, the special case of which ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... language of the SPIN model checker. Following these semantic rules, our Xtext-based translator outputs ..." | ||
| Том 27, № 4 (2020) | Синтез установочных последовательностей для автоматов с временными ограничениями | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| "... Идентификация состояний является хорошо известной задачей теории конечных автоматов, и ..." | ||
| Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина, Е. А. Сидорова | ||
| "... specify networks of parallel compositions of the processes. The method is based on model checking ..." | ||
| Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... One of the most simple models of computation which is suitable for representation of reactive ..." | ||
| Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов, В. А. Соколов | ||
| "... This article presents a model of automaton program that satisfies synchronous model requirements ..." | ||
| Том 24, № 3 (2017) | Математическая модель эксперимента Николсона | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин | ||
| "... Considered is a mathematical model of insects population dynamics, and an attempt is made ..." | ||
| Том 14, № 3 (2007) | О вербальной модели диссертационной работы | Аннотация похожие документы |
| Ю. Г. Гущин | ||
| Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
| "... and security. Abstract models for SDN can tackle these challenges. This paper addresses to confidentiality ..." | ||
| Том 31, № 2 (2024) | Математические свойства агентной модели вымирания — реколонизации для популяционной генетики | Аннотация PDF (Rus) похожие документы |
| Никита Владимирович Гаянов | ||
| "... The individual-based model describes the dynamics of genetic diversity of a population scattered ..." | ||
| Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) похожие документы |
| Ю. А. Белов | ||
| "... Kripke factor-model concept is investigated. It is shown, that every factor-model is representexl ..." | ||
| Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| "... to the problem of reproducibility and formalization of the microtask crowdsourcing process. A computational model ..." | ||
| Том 19, № 5 (2012) | О теории алгебраических моделей программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... Symbolic model checking is based on a compact representation of sets of states and transition ..." | ||
| Том 17, № 2 (2010) | Мультистабильность в модели лазера с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко | ||
| "... A dynamical model of laser generation based on monomode balance equations with delay is studied ..." | ||
| Том 20, № 2 (2013) | Единая модель для геоклассификации веб-сайтов | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Волков | ||
| "... the traditional approaches, which generally involve training a separate classification model for each class ..." | ||
| Том 24, № 1 (2017) | Перераспределение, производство и неравенство | Аннотация похожие документы |
| Алексей Владимирович Захаров, Владимир Евгеньевич Захаров | ||
| "... We use an infinite-dimensional Lotka–Volterra model to analyze production, accumulation ..." | ||
| Том 19, № 5 (2012) | Моделирование счетчиковых машин двухголовочными автоматами | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Проводится моделирование работы счетчиковых машин Минского с помощью двухголовочных автоматов. ..." | ||
| Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
| Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
| "... Магазинные автоматы с независимыми счётчиками (МПНС) объединяют возможности МП-автоматов и сетей ..." | ||
| Том 25, № 6 (2018) | Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов | Аннотация PDF (Rus) похожие документы |
| Анна Алексеевна Каленкова, Данил Александрович Колесников | ||
| "... techniques, it became important to adapt and apply existing graph analysis methods to examine process models ..." | ||
| Том 21, № 4 (2014) | Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Андрей Эрикович Молчанов | ||
| "... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
| Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
| Том 20, № 5 (2013) | Релаксационные колебания в моделях многовидовых сообществ | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко | ||
| "... Some families of mathematical models of biological populations are considered. Invariant ratios ..." | ||
| Том 14, № 4 (2007) | Исследование модифицированной модели сальтаторного проведения возбуждения | Аннотация PDF (Rus) похожие документы |
| В. В. Майоров, С. Е. Ануфриенко | ||
| "... In the article it is considered the Nerve Impulse Saltatore Conduction model in which the Impulse ..." | ||
| Том 17, № 3 (2010) | Язык объектных запросов динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| В. С. Рублев | ||
| "... should allow us to describe a simple data query of this model. ..." | ||
| Том 18, № 1 (2011) | Динамические свойства одной модели пассивного захвата мод | Аннотация PDF (Rus) похожие документы |
| И. С. Кащенко | ||
| "... We study the local dynamics of a model for the passive mode locking in semiconductor lasers ..." | ||
| Том 24, № 2 (2017) | Релаксационные циклы в модели синаптически взаимодействующих осцилляторов | Аннотация PDF (Rus) похожие документы |
| Маргарита Михайловна Преображенская | ||
| "... In this paper the mathematical model of a neural network with a ring synaptic interaction elements ..." | ||
| Том 29, № 3 (2022) | Исследование моделей топологических отношений пространственных объектов | Аннотация PDF (Rus) похожие документы |
| Владислав Геннадьевич Горшков, Дмитрий Михайлович Мурин, Ольга Павловна Якимова | ||
| "... models of describing topological relationships of spatial objects: the nine intersections model ..." | ||
| Том 14, № 4 (2007) | Формальная модель семантики художественного текста (на материале русских пословиц) | Аннотация PDF (Rus) похожие документы |
| А. C. Малкова, В. И. Январев | ||
| "... In the article the formal model of proverb semantics is suggested. The proverb statement ..." | ||
| Том 29, № 4 (2022) | Модель текста для автоматической оценки делового письма на заданную тему | Аннотация PDF (Rus) похожие документы |
| Даниил Дмитриевич Зафиевский, Надежда Станиславовна Лагутина, Оксана Андреевна Мельникова, Анатолий Юрьевич Полетаев | ||
| "... This study is aimed at building an automated model for business writing assessment, based on 14 ..." | ||
| Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
| "... of the model checking method to find the optimal tuning parameters by the method of counterexamples. In our ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... The article considers the specifics of a model oriented approach to software development based ..." | ||
| Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
| "... to the local operational semantics of separate process instances in the interleaving model. We specialize ..." | ||
| Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
| "... The considered model is used in manual development of application specifications and is based ..." | ||
| Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
| Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
| "... In the article an approach to constructing in terms of Petri nets a function model as a program ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... необходимыми в процессе программирования новых алгоритмов анализа моделей программ, в частности, они могут ..." | ||
| Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
| Владислав Игоревич Январев | ||
| "... System for the model proposed; the focus is to provide software portability and backward compatibility ..." | ||
| Том 17, № 4 (2010) | Проверка моделей распределенных систем с помощью аффинного представления данных | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина | ||
| "... A new data structure is suggested for symbolic model checking of distributed systems defined ..." | ||
| Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
| И. В. Шошмина | ||
| "... We consider a problem of integrating a formal method of verification (model checking ..." | ||
| Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
| "... in the form of a protocol known as OpenFlow. In this paper we describe an abstract formal model of SDN ..." | ||
| Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
| "... to the original system model. However, to the IS support it is very important to have the latest model ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... evaluate the usability of the model checking method for the analysis of program correctness with respect ..." | ||
| Том 21, № 4 (2014) | Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях | Аннотация PDF (Rus) похожие документы |
| Алексей Абрамович Короткин, Александр Андреевич Максимов | ||
| "... предлагается архитектура двумерного клеточного автомата с диффузионным взаимодействием клеток. Доказана ..." | ||
| Том 25, № 5 (2018) | Представление универсальных гиперграфических автоматов автономными выходными сигналами | Аннотация похожие документы |
| Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов | ||
| "... Гиперграфическими автоматами называются автоматы, у которых множества состояний и выходных символов ..." | ||
| Том 26, № 3 (2019) | Динамическая модель развития пиринговой файлообменной сети | Аннотация PDF (Rus) похожие документы |
| Александра Игоревна Кононова, Лариса Геннадьевна Гагарина | ||
| "... In this work, the model of development of the P2P file exchange network organized by a torrent ..." | ||
| Том 15, № 1 (2008) | Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор | Аннотация PDF (Rus) похожие документы |
| Е. В. Коршунова, А. Н. Куликов | ||
| "... model proposed by Paul Samuelson which is an extension of the works of John Keynes. The suggested ..." | ||
| Том 24, № 2 (2017) | Построение высокоуровневой модели процесса по журналу событий | Аннотация похожие документы |
| Антонина Константиновна Бегичева, Ирина Александровна Ломазова | ||
| "... process model from a low-level event log, i.e. automatic synthesis of process models based ..." | ||
| Том 21, № 4 (2014) | Синтез моделей процессов по журналам событий с шумом | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Иван Сергеевич Шугуров | ||
| "... Process mining is a new emerging discipline related to process management, formal process models ..." | ||
| Том 21, № 3 (2014) | Об устойчивости состояния равновесия одной модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Викторович Богомолов | ||
| "... In the paper, a neural network model based on three McCulloch–Pitts adder neurons is considered ..." | ||
| Том 20, № 6 (2013) | Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
| "... type is a mathematical model of a neuron and a separate pulse containing one function without delay ..." | ||
| Том 14, № 2 (2007) | Устойчивость одной модели нейрона на основе уравнения с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Ю. В. Богомолов | ||
| Том 20, № 2 (2013) | Построение модели для извлечения оценочной лексики в различных предметных областях | Аннотация PDF (Rus) похожие документы |
| Наталья Валентиновна Лукашевич, Илья Игоревич Четвёркин | ||
| "... words in a particular domain. The extraction model was trained in the movie domain and then applied ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... models of concurrency and methods of distributed system verification. The paper presents an individual ..." | ||
| Том 23, № 4 (2016) | Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы | Аннотация PDF (Rus) похожие документы |
| А. В. Смирнов | ||
| Том 23, № 5 (2016) | Взаимодействие двух волн в модели Ферми – Паста – Улама | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин, С. А. Кащенко, А. О. Толбей | ||
| Том 24, № 4 (2017) | Исследование одной марковской модели угроз безопасности компьютерных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... In this work, a model for computer system security threats formulated in terms of Markov processes ..." | ||
| Том 25, № 1 (2018) | Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Горюнов | ||
| "... in such a reaction can be interpreted by a “predator – prey” model phenomenologically similar to it. Thereby, we ..." | ||
| 1 - 75 из 289 результатов | 1 2 3 4 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
