Сортировать по:
| Выпуск | Название | |
| Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) похожие документы |
| Ю. А. Белов | ||
| "... , that every finite group is isomorphic for a group of automorphisms of a certain Kripke model. ..." | ||
| Том 14, № 1 (2007) | Автоморфизмы систем переходов | Аннотация PDF (Rus) похожие документы |
| Ю. А. Белов | ||
| "... A automorphism of transitions system is an isomorphism of a system oneself. In the article ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... with an abstract scheduler as Kripke models. This formalization provides terms sufficient to specialize ..." | ||
| Том 18, № 1 (2011) | О тензорных квадратах неприводимых представлений конечных почти простых групп. I. | Аннотация PDF (Rus) похожие документы |
| С. В. Поляков | ||
| Том 18, № 2 (2011) | О тензорных квадратах неприводимых представлений конечных почти простых групп. II | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Поляков | ||
| Том 25, № 3 (2018) | Об алгоритме расщепления носителя для индуцированных кодов | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Алексей Николаевич Шигаев | ||
| "... for key attacks is examined. In particular, a model is considered when the automorphism group is trivial ..." | ||
| Том 21, № 4 (2014) | Об аппроксимируемости корневыми классами HNN-расширений групп | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Туманова | ||
| "... (we denote by AutG(H) the group of all automorphisms of H which are the restrictions on this subgroup ..." | ||
| Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов, В. А. Соколов | ||
| "... This article presents a model of automaton program that satisfies synchronous model requirements ..." | ||
| Том 14, № 3 (2007) | О вербальной модели диссертационной работы | Аннотация похожие документы |
| Ю. Г. Гущин | ||
| Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| "... to the problem of reproducibility and formalization of the microtask crowdsourcing process. A computational model ..." | ||
| Том 31, № 2 (2024) | Математические свойства агентной модели вымирания — реколонизации для популяционной генетики | Аннотация PDF (Rus) похожие документы |
| Никита Владимирович Гаянов | ||
| "... The individual-based model describes the dynamics of genetic diversity of a population scattered ..." | ||
| Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
| И. В. Коннов, В. А. Захаров | ||
| "... by exploring an extended state space. In this paper we show that the technique is applicable to LTL model ..." | ||
| Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
| "... and security. Abstract models for SDN can tackle these challenges. This paper addresses to confidentiality ..." | ||
| Том 25, № 6 (2018) | Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов | Аннотация PDF (Rus) похожие документы |
| Анна Алексеевна Каленкова, Данил Александрович Колесников | ||
| "... techniques, it became important to adapt and apply existing graph analysis methods to examine process models ..." | ||
| Том 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 ..." | ||
| Том 14, № 4 (2007) | Формальная модель семантики художественного текста (на материале русских пословиц) | Аннотация PDF (Rus) похожие документы |
| А. C. Малкова, В. И. Январев | ||
| "... In the article the formal model of proverb semantics is suggested. The proverb statement ..." | ||
| Том 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, № 3 (2017) | Математическая модель эксперимента Николсона | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин | ||
| "... Considered is a mathematical model of insects population dynamics, and an attempt is made ..." | ||
| Том 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 ..." | ||
| Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
| "... The considered model is used in manual development of application specifications and is based ..." | ||
| Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
| И. В. Шошмина | ||
| "... We consider a problem of integrating a formal method of verification (model checking ..." | ||
| Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
| Владислав Игоревич Январев | ||
| "... System for the model proposed; the focus is to provide software portability and backward compatibility ..." | ||
| Том 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) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... evaluate the usability of the model checking method for the analysis of program correctness with respect ..." | ||
| Том 17, № 4 (2010) | Проверка моделей распределенных систем с помощью аффинного представления данных | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина | ||
| "... A new data structure is suggested for symbolic model checking of distributed systems defined ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... The article considers the specifics of a model oriented approach to software development based ..." | ||
| Том 24, № 1 (2017) | Перераспределение, производство и неравенство | Аннотация похожие документы |
| Алексей Владимирович Захаров, Владимир Евгеньевич Захаров | ||
| "... We use an infinite-dimensional Lotka–Volterra model to analyze production, accumulation ..." | ||
| Том 21, № 4 (2014) | Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Андрей Эрикович Молчанов | ||
| "... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
| Том 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 ..." | ||
| Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
| Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
| "... To verify real-time properties of UML statecharts one may apply a UPPAAL, toolbox for model ..." | ||
| Том 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 ..." | ||
| Том 20, № 6 (2013) | Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
| "... type is a mathematical model of a neuron and a separate pulse containing one function without delay ..." | ||
| Том 20, № 5 (2013) | Релаксационные колебания в моделях многовидовых сообществ | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко | ||
| "... Some families of mathematical models of biological populations are considered. Invariant ratios ..." | ||
| Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
| Том 14, № 2 (2007) | Устойчивость одной модели нейрона на основе уравнения с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Ю. В. Богомолов | ||
| Том 14, № 4 (2007) | Исследование модифицированной модели сальтаторного проведения возбуждения | Аннотация PDF (Rus) похожие документы |
| В. В. Майоров, С. Е. Ануфриенко | ||
| "... In the article it is considered the Nerve Impulse Saltatore Conduction model in which the Impulse ..." | ||
| Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
| Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
| "... . In particular, this is important when using models in the form of partial differential equations systems ..." | ||
| Том 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 ..." | ||
| Том 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, № 2 (2017) | Релаксационные циклы в модели синаптически взаимодействующих осцилляторов | Аннотация PDF (Rus) похожие документы |
| Маргарита Михайловна Преображенская | ||
| "... In this paper the mathematical model of a neural network with a ring synaptic interaction elements ..." | ||
| Том 24, № 4 (2017) | Исследование одной марковской модели угроз безопасности компьютерных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... In this work, a model for computer system security threats formulated in terms of Markov processes ..." | ||
| Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
| "... to the original system model. However, to the IS support it is very important to have the latest model ..." | ||
| Том 25, № 1 (2018) | Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Горюнов | ||
| "... in such a reaction can be interpreted by a “predator – prey” model phenomenologically similar to it. Thereby, we ..." | ||
| Том 25, № 2 (2018) | Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов | ||
| "... . In this article, ways to improve the efficiency of heat supply systems are considered. A mathematical model ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... used as formal models for them. The behavior of transducers is represented by binary relations ..." | ||
| Том 29, № 3 (2022) | Исследование моделей топологических отношений пространственных объектов | Аннотация PDF (Rus) похожие документы |
| Владислав Геннадьевич Горшков, Дмитрий Михайлович Мурин, Ольга Павловна Якимова | ||
| "... models of describing topological relationships of spatial objects: the nine intersections model ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... standard. We use the Cadence SMV for symbolic model checking. Program properties are written in the linear ..." | ||
| Том 21, № 4 (2014) | Исследование примитивных схем программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко | ||
| "... The paper considers algebraic program models with procedures designed to analyze program semantic ..." | ||
| Том 23, № 2 (2016) | Построение хранилища данных с динамической структурой | Аннотация PDF (Rus) похожие документы |
| Ю. Н. Артамонов | ||
| "... . The contradiction between data presentation in the real subject domain and the model of data presentation ..." | ||
| Том 23, № 2 (2016) | О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики | Аннотация PDF (Rus) похожие документы |
| Т. В. Прохорова | ||
| "... is isomorphic to a variety V (we call π : X → C an arithmetic model of a variety V ). M. Artin conjectured ..." | ||
| Том 23, № 4 (2016) | Резервное копирование с хранением в базе данных | Аннотация PDF (Rus) похожие документы |
| С. М. Таранин | ||
| "... and a model of the copied directory. The presence of such a model allows to find changes of the copied ..." | ||
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... their deadlines. The authors propose a stopwatch automata-based general model of RT MCS operation. A model ..." | ||
| Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
| "... to the local operational semantics of separate process instances in the interleaving model. We specialize ..." | ||
| Том 17, № 4 (2010) | Безопасное тестирование симуляции систем с отказами и разрушением | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| Том 22, № 2 (2015) | Эффективность доступа к данным в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Дмитрий Владимирович Антонов, В. С. Рублев | ||
| "... of subject domain is entered by means of an object and dynamic data model (OD-model), and DIM DBMS ..." | ||
| Том 19, № 4 (2012) | Контекстно-свободная грамматика одной ритмической модели русского стиха | Аннотация PDF (Rus) похожие документы |
| Владимир Николаевич Бойков | ||
| "... A formal model of the Russian verse based on the accentual segmentation of its structure ..." | ||
| Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
| "... in recent years in the context of bounded model checking to do function summarization which allows one ..." | ||
| Том 21, № 5 (2014) | Применение метода квазинормальных форм к математической модели отдельного нейрона | Аннотация PDF (Rus) похожие документы |
| Маргарита Михайловна Преображенская | ||
| "... We consider a scalar nonlinear differential-difference equation with two delays, which models ..." | ||
| Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... Bounded model checking (BMC) of C/C++ programs is a matter of scientific enquiry that attracts ..." | ||
| Том 20, № 5 (2013) | Статистические характеристики управляемых систем, возникающие в различных моделях естествознания | Аннотация PDF (Rus) похожие документы |
| Яна Юрьевна Ларина, Людмила Ивановна Родина | ||
| "... characteristics arising in various models of biology, chemistry, economy. ..." | ||
| Том 20, № 4 (2013) | Проектирование и разработка имитационной модели мультиклиентского кластера баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... on the relational model and it proposes the concept of database cluster designed for applications with a multi ..." | ||
| Том 20, № 2 (2013) | Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц | Аннотация PDF (Rus) похожие документы |
| Иван Вадимович Губочкин | ||
| "... The article considers the problem of estimating autoregressive model parameters of elementary ..." | ||
| Том 14, № 2 (2007) | Модель сальтаторного проведения возбуждения по разветвляющемуся нервному волокну | Аннотация PDF (Rus) похожие документы |
| С. Е. Ануфриенко, А. С. Мац | ||
| "... We propose a model which demonstrates the process of nerve impulse conduction through the forked ..." | ||
| Том 26, № 3 (2019) | Динамическая модель развития пиринговой файлообменной сети | Аннотация PDF (Rus) похожие документы |
| Александра Игоревна Кононова, Лариса Геннадьевна Гагарина | ||
| "... In this work, the model of development of the P2P file exchange network organized by a torrent ..." | ||
| Том 16, № 3 (2009) | Исправления и дополнения к статье «Поправка к периоду решения уравнения, моделирующего динамику мембранного потенциала | Аннотация PDF (Rus) похожие документы |
| О. А. Дунаева, М. Л. Мячин | ||
| "... For Period Of Oscillation In The Model Of Spiking Neuron", in which a new first-order estimation ..." | ||
| 1 - 75 из 272 результатов | 1 2 3 4 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
