Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 17, № 3 (2010) Рекуррентные последовательности над почтикольцами Аннотация  PDF (Rus)  похожие документы
А. В. Сбоев
"... Periods and statistics of linear recurrence sequences over near-rings generated by endomorphisms ..."
 
Том 21, № 2 (2014) Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Иванов
"... Consider a linear recurrent sequence of vectors {⃗ ..."
 
Том 24, № 6 (2017) К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Нина Владимировна Евтушенко, Игорь Борисович Бурдонов, Александр Сергеевич Косачев
"... sequences for finite input/output automata. Corresponding sequences can be effectively used for the current ..."
 
Том 19, № 2 (2012) Шары в пространствах последовательностей Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... We introduce a new metric on a space of right-sided infinite sequences drawn from a finite ..."
 
Том 14, № 2 (2007) О числе запретов, задающих периодическую последовательность Аннотация  PDF (Rus)  похожие документы
Г. Р. Челноков
"... We consider sequences W of the period и over an alphabet consisting of l letters. It is required ..."
 
Том 27, № 4 (2020) Синтез установочных последовательностей для автоматов с временными ограничениями Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко
"... homing sequences (HS) are used for the identification of a current FSM state, and this fact is widely ..."
 
Том 30, № 3 (2023) Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) Аннотация  похожие документы
Дмитрий Александрович Кондратьев
"... for solving these problems in the case of loops over data sequences. These loops are referred to as finite ..."
 
Том 20, № 1 (2013) Несмещенная оценка энтропии для бинарных потоков Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... A new class of metrics on a space of right-sided infinite sequences drawn from a binary alphabet ..."
 
Том 24, № 5 (2017) Импульсно-рефрактерный режим в кольцевой цепи синаптически связанных осцилляторов нейронного типа Аннотация  PDF (Rus)  похожие документы
Маргарита Михайловна Преображенская
"... In the paper, a mathematical model of a neural network with an even number of ring synaptic ..."
 
Том 18, № 3 (2011) О двух конечномерных аппроксимациях периодической краевой задачи Аннотация  PDF (Rus)  похожие документы
Николай Андреевич Демьянков
"... 's method and the method of polygonal lines. The original problem is mapped to the sequence of its ..."
 
Том 23, № 6 (2016) Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... of the specification machine. Thus, a distinguishing sequence is derived for two Finite State Machines modeling two ..."
 
Том 30, № 2 (2023) Алгоритмы асимптотического и численного построения колебательных режимов в простейшем кольце генераторов с несимметричной нелинейностью Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александровна Марушкина
"... A system of three ring-connected generators with asymmetric nonlinearity and special nonlinear ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... The algorithm of pattern mining from sequences of system calls is described. Patterns are used ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... The standard language of message sequence charts MSC is intended to describe scenarios of object ..."
 
Том 20, № 5 (2013) Об одной задаче оптимального управления для нелинейного псевдогиперболического уравнения Аннотация  PDF (Rus)  похожие документы
Турсун Камалдинович Юлдашев
"... -boundary value problem. Further, it is proved that the control sequence is a minimizing sequence ..."
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
"... . These automata systems are useful for initial specification of telecommunication systems such as ring protocols ..."
 
Том 20, № 2 (2013) Алгоритм эффективного оценивания энтропии Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... on the space Ω = AN of right-sided infinite sequences drawn from a finite alphabet A. The new metric has ..."
 
Том 23, № 6 (2016) О минимизации конечных автоматов-преобразователей над полугруппами Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Г. Г. Темербекова
"... performs a sequence of actions and displays the current result. Such programs usually arise ..."
 
Том 21, № 4 (2014) О нецелочисленных гранях метрического многогранника Аннотация  PDF (Rus)  похожие документы
Владимир Александрович Бондаренко, Андрей Валерьевич Николаев
"... The integrality recognition problem is considered on the sequence Mn,k of the nested Boolean ..."
 
Том 20, № 6 (2013) Комплексы подслов и ниль-движения Гекке Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Горский
"... of the subword complex corresponding to (Q, ρ) from the one corresponding to (δ(Q), ρ), for any sequence ..."
 
Том 23, № 6 (2016) Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик Аннотация  PDF (Rus)  похожие документы
О. Б. Кушнаренко, Ж.-Ф. Вебер
"... using sequences of reconfigurations and the alternative and the repetitive constructs, while preserving ..."
 
Том 27, № 2 (2020) Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами Аннотация  похожие документы
Владимир Анатольевич Башкин
"... . For a general class of Petri net with invisible transitions it is possible to construct a sequence of so-called ..."
 
Том 16, № 4 (2009) Хаотическая синхронизация каскадно-связанных систем фазовой автоподстройки частоты Аннотация  PDF (Rus)  похожие документы
А. В. Ходунин, Л. Н. Казаков
"... The chaotic phase synchronization of two cascaded one-ring and two-ring PLL systems ..."
 
Том 20, № 2 (2013) Группы гомологий сети Петри конвейера Аннотация  PDF (Rus)  похожие документы
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина
"... of this topological space. By induction on n, using the Addition Sequence for homology groups of semicubical sets ..."
 
Том 24, № 4 (2017) Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко
"... of the given TFSM; the test is derived against an FSM abstraction and contains timed input sequences. Shorter ..."
 
Том 27, № 4 (2020) О задаче верификации моделей программ для одного расширения логики CTL* Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... sequences of pairs of events of the request-response type, and, therefore, finite transducers are most often ..."
 
Том 27, № 1 (2020) Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... in the space (L_1) (hence, in the spaces (L_p,; 1le ple infty)), and on their basis - sequences ..."
 
Том 29, № 1 (2022) Инструменты численного моделирования и S-производные Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... , a sequence is built {Ʌₘⁿ [f]} piecewise constant functions subordinate to partitions segment [a; b] into m ..."
 
Том 22, № 6 (2015) Анализ системных исполнений с помощью Process Mining Аннотация  PDF (Rus)  похожие документы
С. А. Шершаков, В. А. Рубин
"... (service-oriented architecture) IS, these logs contain details about sequences of process and service calls ..."
 
Том 30, № 1 (2023) О вычислительных конструкциях в функциональных пространствах Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... Delta}_h^m(f, cdot)$ and $h^m$ the sequence is built $big{{bfLambda}_n^m[f]big}$ of piecewise ..."
 
Том 23, № 4 (2016) Резервное копирование с хранением в базе данных Аннотация  PDF (Rus)  похожие документы
С. М. Таранин
"... length. Each block is a sequence of bytes. The block length may be adaptive, i.e. it can vary depending ..."
 
Том 24, № 4 (2017) Исследование одной марковской модели угроз безопасности компьютерных систем Аннотация  PDF (Rus)  похожие документы
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
"... is investigated. In the framework of this model the functioning of the computer system is considered as a sequence ..."
 
Том 26, № 2 (2019) Существование несмещенной состоятельной оценки энтропии для специальной меры Бернулли Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... Let (Omega = A^N) - be a space of right-sided infinite sequences drawn from a finite alphabet ..."
 
Том 24, № 4 (2017) Разложение самоподобных функций в системе Фабера–Шаудера Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... Let (Omega = A^{N}) be a space of right-sided innite sequences drawn from a nite alphabet ..."
 
Том 24, № 5 (2017) Существование несмещенной оценки энтропии для специальной меры Бернулли Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... Let (Omega = A^{N})  be a space of right-sided infinite sequences drawn from a finite alphabet ..."
 
Том 24, № 5 (2017) Варианты метода коллокации и наименьших невязок для решения задач математической физики в выпуклых четырехугольных областях Аннотация  PDF (Rus)  похожие документы
Василий Алексеевич Беляев, Василий Павлович Шапеев
"... of the solution of various problems on a sequence of grids.   ..."
 
Том 30, № 4 (2023) Совместное упрощение пространственных объектов различного типа с сохранением топологических отношений Аннотация  PDF (Rus)  похожие документы
Ольга Павловна Якимова, Дмитрий Михайлович Мурин, Владислав Геннадьевич Горшков
"... a sequence of cells is formed, to which points of this object belong. If a cell contains points of only one ..."
 
Том 29, № 3 (2022) О построении самодополнительных кодов и их приложении в задаче сокрытия информации Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов, Федор Сергеевич Певнев, Маргарита Владимировна Ягубянц
"... , either coinciding with the found values of d(k, n) or differing by one. The paper proposes a sequence ..."
 
Том 31, № 1 (2024) Шаблоны требований в дедуктивной верификации poST-программ Аннотация  PDF (Rus)  похожие документы
Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина
"... -oriented program is defined as a sequence of processes. Each process is represented by a set of named ..."
 
Том 27, № 1 (2020) Об одном разбиении отрезка, применяемом для оценки энтропии Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... ). The sequence  (d= 1,2,1,0,1,2,1,0,1,0,1,2,1,0,1,2,1,dots) defines as follows. ( begin{array}{l}   d_1=1 ..."
 
Том 21, № 5 (2014) Аттрактор в кольцевой структуре обобщенных нейронных элементов автогенераторного типа Аннотация  PDF (Rus)  похожие документы
Евгений Владиславович Коновалов
"... -detector. In this structure cyclic sequential pulse generation elements of the ring are studied ..."
 
Том 20, № 5 (2013) Экстремальная динамика системы трех однонаправленно связанных сингулярно возмущенных уравнений из нейродинамики Аннотация  PDF (Rus)  похожие документы
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов
"... differential-difference equations with two delays that simulate the electrical activity of the ring neural ..."
 
Том 26, № 3 (2019) Новый подход к моделированию генных сетей Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... three elements unidirectionally coupled into a ring. More specifically, the first of them inhibits ..."
 
Том 22, № 3 (2015) АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов
"... , the models as a single neuron or neural networks are described. We study attractors of ring systems ..."
 
Том 17, № 1 (2010) Визуализация динамических графов для анализа сложных сетей Аннотация  PDF (Rus)  похожие документы
С. Н. Пупырев, А. В. Тихонов
"... networks. Our method builds layouts for a sequence of graphs, while preserving the mental map. We show how ..."
 
Том 24, № 2 (2017) Релаксационные циклы в модели синаптически взаимодействующих осцилляторов Аннотация  PDF (Rus)  похожие документы
Маргарита Михайловна Преображенская
"... In this paper the mathematical model of a neural network with a ring synaptic interaction elements ..."
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
"... computer [2] instruction sequence. ..."
 
Том 20, № 6 (2013) Построение оценки энтропии для специальной метрики и произвольной функции Аннотация  PDF (Rus)  похожие документы
Нина Евгеньевна Тимофеева
"... сначала выбирается метрика на пространстве последовательностей. Эта метрика строится по матрице, которую ..."
 
Том 26, № 3 (2019) NP-полнота и один полиномиальный подкласс задачи о двухшаговой раскраске графа Аннотация  PDF (Rus)  похожие документы
Наталья Сергеевна Медведева, Александр Валерьевич Смирнов
"... to be coloured independently from others. If vertices are examined in a sequence, colouring time is polynomial ..."
 
Том 28, № 4 (2021) Алгоритм оценивания частоты сигнала на выходе канала с управляемым информационным потоком в условиях фазового шума Аннотация  PDF (Rus)  похожие документы
Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Илья Викторович Лукьянов
"... signal based on the iterative calculation of the autocorrelation sequence (ACS). In \cite{Volkov ..."
 
Том 25, № 3 (2018) О гипотезах Ходжа, Тэйта и Мамфорда–Тэйта для расслоенных произведений семейств регулярных поверхностей с геометрическим родом 1 Аннотация  PDF (Rus)  похожие документы
Ольга Владимировна Орешкина (Никольская)
"... })neq b_2(X_{2s})- rank NS(X_{2s})); ((b)) the ring (End_{ Hg(X_{1s})} NS_ Q(X_{1s})^perp ..."
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... Конечные автоматы, задающие преобразования потоков входных сигналов в последовательности ..."
 
Том 28, № 4 (2021) О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки ..."
 
Том 27, № 4 (2020) О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени Аннотация  PDF (Rus)  похожие документы
Евгений Максимович Винарский, Владимир Анатольевич Захаров
"... is determined not only by the sequence of values of input signals, but also by the time of their arrival ..."
 
1 - 54 из 54 результатов

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

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