Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 1 (2019) Эффективный алгоритм разрешения коллизий в правилах политики безопасности Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов, Валерий Анатольевич Соколов
"... A firewall is the main classic tool for monitoring and managing the network traffic on a local ..."
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
"... for the Floodlight software defined network (SDN) controller. This application filters rules, which are added ..."
 
Том 26, № 1 (2019) Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе Аннотация  PDF (Rus)  похожие документы
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин
"... recommended to reduce the size of the firewall security rule list using the Kohonen network, as this tool ..."
 
Том 26, № 1 (2019) Алгоритм минимизации количества правил маршрутизации в ПКС Аннотация  PDF (Rus)  похожие документы
Иван Сергеевич Петров
"... for sets of rules installed in the network. The experimental results show that this algorithm reduces ..."
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
"... The designing of network update algorithms is urgent for the development of SDN control software ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... Software-defined networking (SDN) is an approach to building computer networks that separate ..."
 
Том 29, № 3 (2022) Тестирование зависимостей и правил вывода в базах данных Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
"... The process of testing dependencies and inference rules can be used in two ways. First, testing ..."
 
Том 31, № 4 (2024) Методы определения тональности по отношению к аспектам социально-экономического развития в предложениях на русском языке Аннотация  PDF (Rus)  похожие документы
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук
"... explicitly mentioned or implied. The authors investigated possibilities of using neural network classifiers ..."
 
Том 27, № 3 (2020) Обобщение правил вывода для зависимостей соединения в базах данных Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
"... In this paper a generalisation of the inference rules of the join dependencies that are used ..."
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация  PDF (Rus)  похожие документы
В. И. Шелехов
"... of the rules of program correctness for statements of the predicate programming P language. The paper presents ..."
 
Том 30, № 4 (2023) Алгоритм определения тональности предложений публицистического стиля на русском языке на основе семантических правил Аннотация  PDF (Rus)  похожие документы
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук
"... rules to sentence parts represented as constituency trees. Most of the rules were proposed ..."
 
Том 23, № 4 (2016) Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... is a union of   linked arcs, which are adjusted with each other. The network constructing rules are described ..."
 
Том 29, № 2 (2022) Рекурсивный алгоритм определения тональности предложений на русском языке Аннотация  PDF (Rus)  похожие документы
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов
"... introduces a rule-based sentiment detection algorithm for Russian sentences. The algorithm is based ..."
 
Том 27, № 4 (2020) Правило «одной пятой» с возвратами для настройки размера популяции в генетическом алгоритме (1 + (λ,λ)) Аннотация  PDF (Rus)  похожие документы
Антон Олегович Басин, Максим Викторович Буздалов, Анатолий Абрамович Шалыто
"... . In particular, this is the case with the “one-fifth rule” on problems with weak fitness-distance correlation. We ..."
 
Том 22, № 4 (2015) Задача о наибольшем кратном потоке в делимой сети и ее частные случаи Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"...  constructing rules are described. The definitions of a divisible network and some associated subjects are stated ..."
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
"... reachability coefficient. The rules of building and refreshing the routing tables by the network nodes ..."
 
Том 28, № 3 (2021) Простой алгоритм отыскания неотрицательного базисного решения системы линейных алгебраических уравнений Аннотация  PDF (Rus)  похожие документы
Глеб Дмитриевич Степанов
"... to some rules, a resolving element is selected, and then a Gaussian elimination step is performed ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... on internal representation of the network topology. Notably, firewall and routing modules are examples ..."
 
Том 28, № 4 (2021) Решение задач линейного программирования приведением к виду с очевидным ответом Аннотация  PDF (Rus)  похожие документы
Глеб Дмитриевич Степанов
 
Том 20, № 2 (2013) Некоторые классы разрешимости задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... should be less than 2 and the element with three zero indices should be produced with standard rules ..."
 
Том 21, № 4 (2014) Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... should be less than 2 and the element with three zero indices should be produced with standard rules ..."
 
Том 31, № 4 (2024) Устранение неоднозначностей в расширенных регулярных выражениях с обратными ссылками посредством применения правил переписывания Аннотация  похожие документы
Дарья Наильевна Исмагилова, Антонина Николаевна Непейвода
"... as a semiring satisfying certain theorems of Kleene algebra. Using these theorems as term rewriting rules, we ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... The authors of the article focus on the concept of a software defined network. In the beginning ..."
 
Том 20, № 3 (2013) Самоорганизация, сети, будущее Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина
"... problems of self-organization and a paradigm of network structures. The use of networks in the context ..."
 
Том 26, № 1 (2019) Об одном подходе к построению сетевого процессорного устройства Аннотация  PDF (Rus)  похожие документы
Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский
"... The paper proposes the architecture and basic requirements for a network processor for OpenFlow ..."
 
Том 26, № 3 (2019) Новый подход к моделированию генных сетей Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... The article is devoted to the mathematical modeling of artificial genetic networks ..."
 
Том 31, № 2 (2024) Детекция БПЛА при помощи нейронных сетей Аннотация  PDF (Rus)  похожие документы
Мария Дмитриевна Аверина, Ольга Александровна Леванова, Дарья Грушевская, Кирилл Александрович Кухарев, Дмитрий Михайлович Мурин, Максим Александрович Калинин
"... on deep neural networks show the best results in detecting UAVs on video. This article presents a study ..."
 
Том 21, № 3 (2014) Об устойчивости состояния равновесия одной модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Викторович Богомолов
"... In the paper, a neural network model based on three McCulloch–Pitts adder neurons is considered ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... We plan to create a method of clustering a social network graph. For testing the method ..."
 
Том 20, № 1 (2013) Изгибания равносторонних многоугольников с сохранением индекса Аннотация  PDF (Rus)  похожие документы
Екатерина Сергеевна Запутряева
"... A carpenter’s rule problem is considered for the case of a self-intersecting planar polygon ..."
 
Том 18, № 1 (2011) Стратегия выполнения операций копирования и удаления в дереве объектов Аннотация  PDF (Rus)  похожие документы
А. В. Майоров
"... The paper discusses some general rules for organizing database objects into hierarchical structures ..."
 
Том 23, № 5 (2016) Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... The article is devoted to the analysis of neural networks consisting of generalized neural elements ..."
 
Том 29, № 4 (2022) Замечания о графах достижимости сетей Петри Аннотация  PDF (Rus)  похожие документы
Юрий Анатольевич Белов
"... . Reachability graphs, or sets of achievable states, represent sets of all possible different network states ..."
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
А. Н. Носков, И. А. Манов
"... , basing on the current requirements on the quality of service. The software configuration of a network ..."
 
Том 24, № 6 (2017) Семантические средства обеспечения безопасности в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый
"... Software-defined networking is a promising technology for constructing communication networks ..."
 
Том 20, № 5 (2013) Замкнутые локально минимальные сети на поверхностях выпуклых многогранников Аннотация  PDF (Rus)  похожие документы
Наталия Павловна Стрелкова
"... Closed locally minimal networks can be viewed as “branching” closed geodesics. We study ..."
 
Том 26, № 1 (2019) «Общие критерии» и безопасность программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич Петухов, Павел Львович Пилюгин
"... . The specifics of SDN (software defined network) security solutions is largely driven by fundamental ..."
 
Том 26, № 2 (2019) Пороговый анализ деградации запросов внутри вычислительной сети Аннотация  похожие документы
Василий Павлович Кирнос
"... In this paper, the existing approaches to the assessment of computer networks performance ..."
 
Том 17, № 1 (2010) Визуализация динамических графов для анализа сложных сетей Аннотация  PDF (Rus)  похожие документы
С. Н. Пупырев, А. В. Тихонов
"... networks. Our method builds layouts for a sequence of graphs, while preserving the mental map. We show how ..."
 
Том 25, № 2 (2018) Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях Аннотация  похожие документы
Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский
"... Software Defined Networking (SDN) is a promising paradigm for network management ..."
 
Том 27, № 2 (2020) Метод совместной кластеризации в графовом и корреляционном пространствах Аннотация  PDF (Rus)  похожие документы
Анастасия Наильевна Гайнуллина, Анатолий Абрамович Шалыто, Алексей Александрович Сергушичев
"... Network algorithms are often used to analyze and interpret the biological data. One of the widely ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... the number of inference rules of axiomatic semantics during its development. At the second stage ..."
 
Том 17, № 3 (2010) Верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
"... . An example which illustrates the use of inference rules of the semantics is considered. ..."
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
"... cause leaks. Semantic rules of such an analysis which was proposed in [6] assign security types ..."
 
Том 28, № 1 (2021) Онлайн тестирование динамических реконфигураций по отношению к политикам адаптации Аннотация  PDF (Rus)  похожие документы
Фредерик Дадо, Жан-Филипп Гро, Ольга Борисовна Кушнаренко
"... is designed as a set of rules that indicate, for a given set of configurations, which reconfiguration ..."
 
Том 26, № 2 (2019) На пути к SD-WAN решению Аннотация  похожие документы
Станислав Валентинович Корсаков, Валерий Анатольевич Соколов
"... to build manageable mesh overlay network on top of a complete or partially non-manageable underlay network ..."
 
Том 26, № 3 (2019) Динамическая модель развития пиринговой файлообменной сети Аннотация  PDF (Rus)  похожие документы
Александра Игоревна Кононова, Лариса Геннадьевна Гагарина
"... In this work, the model of development of the P2P file exchange network organized by a torrent ..."
 
Том 25, № 4 (2018) Динамическая модель процессов информационных обменов в пиринговой сети Аннотация  PDF (Rus)  похожие документы
Александра Игоревна Кононова
"... In this work, a model of distribution of the file in P2P file-sharing network constructed ..."
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
"... be provided with an invariant whose construction is often a challenge. As a rule, the methods of invariant ..."
 
Том 30, № 3 (2023) Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) Аннотация  похожие документы
Дмитрий Александрович Кондратьев
"... in a general case. The second disadvantage is that the use of generalized inference rules from these logics ..."
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
"... in C-light programs. The method includes an inference rule for the iteration without invariants, which ..."
 
Том 19, № 5 (2012) TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
 
Том 20, № 4 (2013) Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 Аннотация  PDF (Rus)  похожие документы
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов
"... The paper presents an agent substitution algorithm for a dataflow network implemented on the Smart ..."
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация  PDF (Rus)  похожие документы
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
"... Modern onboard equipment complexes (OEC) utilize AFDX and FC-AE-ASM-RT switched networks ..."
 
Том 26, № 1 (2019) Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Василий Николаевич Пашков
"... The architecture of the high availability distributed control plane for SDN/OpenFlow networks ..."
 
Том 16, № 3 (2009) Задача целочисленного сбалансирования трехмерной матрицы и сетевая модель Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... . A problem of reducing this problem to the problem of finding a maximum flow in network is explored. ..."
 
Том 18, № 2 (2011) Принципы построения слоистых нейронных сетей на основе импульсных нейронов Аннотация  PDF (Rus)  похожие документы
Ольга Александровна Дунаева
"... In the article we describe principles of pulse implementation of multilayer neural networks using ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... Software-defined networks (SDN) are a novel paradigm of networking which became an enabler ..."
 
Том 24, № 5 (2017) Импульсно-рефрактерный режим в кольцевой цепи синаптически связанных осцилляторов нейронного типа Аннотация  PDF (Rus)  похожие документы
Маргарита Михайловна Преображенская
"... In the paper, a mathematical model of a neural network with an even number of ring synaptic ..."
 
Том 25, № 2 (2018) О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов Аннотация  PDF (Rus)  похожие документы
Алевтина Борисовна Глонина, Василий Викторович Балашов
"... instance for a given RT MCS configuration is a network of stopwatch automata (NSA) and it can be built ..."
 
Том 25, № 5 (2018) Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александровна Марушкина
 
Том 27, № 1 (2020) К вопросу об оценках распределения длин путей между узлами в глобальной сети Аннотация  PDF (Rus)  похожие документы
Александра Игоревна Кононова, Алексей Владиславович Городилов
"... The experiment aimed at finding a distribution of path lengths between nodes in the global network ..."
 
Том 27, № 1 (2020) Современные методы детектирования и классификации токсичных комментариев с использованием нейронных сетей Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов
"... network need to be analyzed in real time for moderation in order to prevent the spread of various illegal ..."
 
Том 29, № 2 (2022) Нейросетевая классификация русскоязычных предложений по тональности на четыре класса Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Костерин, Илья Вячеславович Парамонов
"... the problem, the following tools were applied: the attention-based LSTM neural network, the dual attention ..."
 
Том 31, № 1 (2024) Применение глубоких нейронных сетей для автоматического определения иронии в русскоязычных текстах Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Костерин, Илья Вячеславович Парамонов
"... to detect irony. The components of classifiers are neural networks such as BERT, RoBERTa, BiLSTM, CNN ..."
 
Том 19, № 1 (2012) Задача адаптации обобщенного нейронного элемента Аннотация  PDF (Rus)  похожие документы
Евгений Владиславович Коновалов
 
Том 24, № 4 (2017) О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
"... a choice between simplified and full-strength deduction rules depending on program objects ..."
 
Том 18, № 4 (2011) Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... over the string of symbols. The rules of the sequential, branching and cyclic processes encoding ..."
 
Том 28, № 4 (2021) На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев
"... by inference rule for Cloud-Sisal-kernel loops. The paper also presents our approach to the problem ..."
 
Том 31, № 1 (2024) Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев
"... semantics of poST providing rules for translation of poST language statements to Promela — the input ..."
 
Том 22, № 2 (2015) Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... or a country in a transport network having one or more different types of marine or ground transportation. We ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... by context-sensitive network grammar of a special kind. This grammar includes special non-terminal symbols ..."
 
Том 29, № 3 (2022) На пути к нейросетевой маршрутизации с верифицированными границами эффективности Аннотация  PDF (Rus)  похожие документы
Игорь Петрович Бужинский, Анатолий Абрамович Шалыто
"... When data-driven algorithms, especially the ones based on deep neural networks (DNNs), replace ..."
 
1 - 75 из 146 результатов 1 2 > >> 

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

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