Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 14, № 2 (2007) О числе запретов, задающих периодическую последовательность Аннотация  PDF (Rus)  похожие документы
Г. Р. Челноков
"... to determine unambiguously the sequence W picking out words which are not subwords of the sequence. For n G N ..."
 
Том 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 ..."
 
Том 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 {⃗ ..."
 
Том 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 ..."
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... computations. In this extension the temporal operators are parameterized by sets of words (languages) which ..."
 
Том 28, № 3 (2021) Векторизация текстов на основе word-embedding моделей с использованием кластеризации Аннотация  PDF (Rus)  похожие документы
Виталий Иванович Юферев, Николай Алексеевич Разин
"... by vectors of fixed length using word-embedding models makes sense in cases where the vectorized texts ..."
 
Том 20, № 6 (2013) Комплексы подслов и ниль-движения Гекке Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Горский
"... , ρ), where Q is a word in the alphabet of simple reflections, ρ is a group element. We describe ..."
 
Том 25, № 6 (2018) Векторное представление слов с семантическими отношениями: экспериментальные наблюдения Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов
"... The ability to identify semantic relations between words has made a word2vec model widely used ..."
 
Том 27, № 4 (2020) О задаче верификации моделей программ для одного расширения логики CTL* Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... sequences of pairs of events of the request-response type, and, therefore, finite transducers are most often ..."
 
Том 20, № 2 (2013) Построение модели для извлечения оценочной лексики в различных предметных областях Аннотация  PDF (Rus)  похожие документы
Наталья Валентиновна Лукашевич, Илья Игоревич Четвёркин
"... In this paper we consider a new approach for domain-specific opinion word extraction in the Russian ..."
 
Том 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 ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... The algorithm of pattern mining from sequences of system calls is described. Patterns are used ..."
 
Том 28, № 4 (2021) Алгоритм оценивания частоты сигнала на выходе канала с управляемым информационным потоком в условиях фазового шума Аннотация  PDF (Rus)  похожие документы
Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Илья Викторович Лукьянов
"... signal based on the iterative calculation of the autocorrelation sequence (ACS). In \cite{Volkov ..."
 
Том 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 ..."
 
Том 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 ..."
 
Том 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 ..."
 
Том 19, № 3 (2012) Устойчивость простейших периодических решений в уравнении Стюарта–Ландау с большим запаздыванием Аннотация  PDF (Rus)  похожие документы
Александра Андреевна Кащенко
"... плоскости параметров, задающих главную часть решения. ..."
 
Том 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, № 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 ..."
 
Том 27, № 1 (2020) Современные методы детектирования и классификации токсичных комментариев с использованием нейронных сетей Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов
"... to teach computers to “understand” a text written by humans. It is a non-trivial task even if the word ..."
 
Том 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 ..."
 
Том 29, № 3 (2022) Классификация статей из средств массовой информации по категориям и релевантности предметной области Аннотация  PDF (Rus)  похожие документы
Владислав Дмитриевич Ларионов, Илья Вячеславович Парамонов
"... , Logistic Regression, K-Neighbors, Random Forest, in combination of different embedding types: Word2Vec ..."
 
Том 24, № 6 (2017) Семантические средства обеспечения безопасности в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый
"... отдельных устройств, представляет собой программу, автоматически задающую конфигурацию сети. Это управляющее ..."
 
Том 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, № 3 (2014) Устойчивость непрерывных волн для модели FDML лазера Аннотация  PDF (Rus)  похожие документы
Александра Андреевна Кащенко
"... найдено условие существования непрерывных волн: параметры, задающие ” главную часть“ решения, должны ..."
 
Том 23, № 5 (2016) Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо Аннотация  PDF (Rus)  похожие документы
А. А. Мельникова, Р. Л. Аргун
"... нелинейной системы и определена формула, задающая локализацию внутренних переходных слоев. Для оценки ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"...  верификации моделей и абстракции. Абстрактная репрезентативная модель семейства систем зависит от задающей их ..."
 
Том 26, № 4 (2019) Операционная семантика аннотированных Reflex программ Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... абстрагироваться от конкретных портов ввода/вывода. Определены типы аннотаций, задающие ограничения на значения ..."
 
Том 21, № 4 (2014) Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... с запретами (tabu search). ..."
 
Том 17, № 1 (2010) Визуализация динамических графов для анализа сложных сетей Аннотация  PDF (Rus)  похожие документы
С. Н. Пупырев, А. В. Тихонов
"... networks. Our method builds layouts for a sequence of graphs, while preserving the mental map. We show how ..."
 
Том 31, № 3 (2024) Методы определения неявно упоминаемых аспектов в публицистических предложениях на русском языке Аннотация  PDF (Rus)  похожие документы
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Егор Михайлович Колупаев
"... reaching 0.77, were obtained using the bag-of-words model and the naive Bayesian classifier. Other methods ..."
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
"... computer [2] instruction sequence. ..."
 
Том 14, № 4 (2007) Об одном из методов научного творчества Аннотация  PDF (Rus)  похожие документы
Ю. Г. Гущин
"... , as well as the creation of words as a scientific method for the preparation of the author's abstract ..."
 
Том 28, № 3 (2021) Сравнение стилистических характеристик для верификации авторов художественных текстов Аннотация  похожие документы
Ксения Владимировна Лагутина
"... The article compares character-level, word-level, and rhythm features for the authorship ..."
 
Том 31, № 2 (2024) Ключевые слова, морфемные разборы и синтаксические деревья в задаче оценки сложности текста Аннотация  PDF (Rus)  похожие документы
Дмитрий Алексеевич Морозов, Иван Андреевич Смаль, Тимур Александрович Гарипов, Анна Валерьевна Глазкова
"... or the average number of syllables per word. With the development of natural language processing algorithms ..."
 
Том 20, № 6 (2013) Построение оценки энтропии для специальной метрики и произвольной функции Аннотация  PDF (Rus)  похожие документы
Нина Евгеньевна Тимофеева
"... сначала выбирается метрика на пространстве последовательностей. Эта метрика строится по матрице, которую ..."
 
Том 29, № 4 (2022) Поиск упоминаний экологических практик в социальных сетях с помощью методов классификации текстов Аннотация  PDF (Rus)  похожие документы
Анна Валерьевна Глазкова, Ольга Владимировна Захарова, Антон Викторович Захаров, Наталья Николаевна Москвина, Тимур Русланович Еникеев, Арсений Николаевич Ходырев, Всеволод Константинович Боровинский, Ирина Николаевна Пупышева
"... . The approach includes the following steps: detecting the most frequent words for each practice type; automatic ..."
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... were subjected to anything more than testing. In other words, our ultimate goal is a verification ..."
 
Том 17, № 2 (2010) О языках автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... and complementation. We prove that an empty language problem and a word recognition problem are decidable ..."
 
Том 27, № 3 (2020) Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19-21 веков Аннотация  PDF (Rus)  похожие документы
Ксения Владимировна Лагутина, Алла Михайловна Манахова
"... -21st centuries. Stylometric features include the low-level features based on the words and symbols ..."
 
Том 28, № 3 (2021) Анализ влияния стилометрических характеристик разного уровня на верификацию авторов художественных произведений Аннотация  PDF (Rus)  похожие документы
Алла Михайловна Манахова, Надежда Станиславовна Лагутина
"... . The research was carried out for both low-level stylometric characteristics based on words and symbols ..."
 
Том 26, № 3 (2019) NP-полнота и один полиномиальный подкласс задачи о двухшаговой раскраске графа Аннотация  PDF (Rus)  похожие документы
Наталья Сергеевна Медведева, Александр Валерьевич Смирнов
"... to be coloured independently from others. If vertices are examined in a sequence, colouring time is polynomial ..."
 
Том 21, № 3 (2014) Счётная аддитивность распространения оператора дифференцирования Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... < x1 < · · · < xi < · · · < 1, then f ∈ Yp¹ [0; 1]). In other words, it is the sign when the equality ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... is designed for establishing “is-a” relations between the concepts provided with the corresponding word pairs ..."
 
Том 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 ..."
 
Том 22, № 2 (2015) МП-автоматы с независимыми счётчиками Аннотация  PDF (Rus)  похожие документы
Михаил Иосифович Дехтярь, Борис Николаевич Карлов
"... . They express both projective and non-projective dependencies between the words of a sentence. PDAC is a usual ..."
 
Том 23, № 2 (2016) О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики Аннотация  PDF (Rus)  похожие документы
Т. В. Прохорова
"... words, V is a smooth projective simply connected surface over a field k and the canonical class ..."
 
Том 24, № 2 (2017) О гипотезах Тэйта для дивизоров на расслоенном многообразии и его общем схемном слое в случае конечной характеристики Аннотация  PDF (Rus)  похожие документы
Татьяна Вячеславовна Прохорова
"... ))]^{Gal( k^{sep}/k)} ) (()in other words, if the Tate conjecture for divisors on (V) holds ..."
 
Том 24, № 6 (2017) Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Иван Андреевич Щитов, Илья Вячеславович Парамонов
"... , the thesaurus is used to compute the features of words from texts and to classify texts by the algorithm SVM ..."
 
Том 27, № 1 (2020) Исследование свойств АГ-кодов как кодов для защиты от копирования Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Денис Владимирович Загуменнов
"... the encrypted data and gives each authorized user unique key and identifying word from selected error-correcting ..."
 
Том 30, № 3 (2023) Классификация текстов по уровням CEFR с использованием методов машинного обучения и языковой модели BERT Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Анастасия Михайловна Бредерман, Наталья Николаевна Касаткина
"... numerical features of the character, word, sentence structure levels. The classification of the obtained ..."
 
Том 30, № 1 (2023) Задачи в области распознавания именованных сущностей: технологии и инструменты Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Андрей Михайлович Васильев, Даниил Дмитриевич Зафиевский
"... The task of named entity recognition (NER) is to identify and classify words and phrases denoting ..."
 
Том 32, № 1 (2025) Обзор моделей автоматической оценки сходства ответа учащегося с эталонным ответом Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина
"... models based on various stylometric features, both simple ones like a bag of words and n-grams ..."
 
1 - 75 из 75 результатов

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

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