Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 4 (2020) Алгоритмы для BDI-агентов, основанные на знаниях Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Наталья Олеговна Гаранина
"... Multiagent algorithm is a knowledge-based distributed algorithm that solves some problems by means ..."
 
Том 18, № 2 (2011) Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) Аннотация  PDF (Rus)  похожие документы
Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов
"... We continue our study of multiagent algorithms for a problem that we call the Mars Robot Puzzle ..."
 
Том 20, № 2 (2013) Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты Аннотация  PDF (Rus)  похожие документы
Антон Юрьевич Бернштейн, Николай Вячеславович Шилов
"... suggested by E.W. Dijkstra. We present a multiagent anonymous and scalable algorithm (protocol) solving ..."
 
Том 17, № 4 (2010) О сложности верификации недетерминированных вероятностных мультиагентных систем Аннотация  PDF (Rus)  похожие документы
М. К. Валиев, М. И. Дехтярь
"... агентов. Состояниями агентов в таких системах являются вероятностные базы данных (фактов), а их действия ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... CRDA-net is proposed, based on the new concept of the RDA propagation graph. An algorithm is described ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... The paper presents an approach to formal verification of multi-agent data analysis algorithms ..."
 
Том 20, № 4 (2013) Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 Аннотация  PDF (Rus)  похожие документы
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов
"... The paper presents an agent substitution algorithm for a dataflow network implemented on the Smart ..."
 
Том 20, № 2 (2013) Алгоритм эффективного оценивания энтропии Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... смещение. Описан алгоритм для выбора таких параметров. Статья публикуется в авторской редакции. ..."
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... . The classic Little algorithm belonging to the category of ”branch and bound methods” can solve it both ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... formulas. We show the use of this method for verification of some properties of a multiagent system ..."
 
Том 16, № 4 (2009) Новые алгоритмы лексической оптимизации запросов Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, Н. А. Мендкович
"... New algorithms for query modifications are proposed. These algorithms involve the lexical ..."
 
Том 20, № 6 (2013) Общие знания в хорошо структурированных системах с абсолютной памятью Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... in well-structured multiagent systems with perfect recall. In this paper we show that a perfect recall ..."
 
Том 23, № 4 (2016) Сравнение алгоритмов удвоения размера изображения Аннотация  PDF (Rus)  похожие документы
С. Е. Ваганов, С. И. Хашин
"... by interpolation methods were not considered. The description of the doubling interpolation upscale algorithms ..."
 
Том 24, № 4 (2017) Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов
"... complexity of algorithms” course. This system should provide students with means to familiarize themselves ..."
 
Том 21, № 4 (2014) Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... of rounding-off. Heuristic algorithms for this problem are suggested in the article: layering algorithm being ..."
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
"... algorithm is replaced by the algorithm of selecting the task instance from the existing database with public ..."
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... In this paper, we offer an efficient parallel algorithm for solving the NP-complete Knapsack ..."
 
Том 20, № 2 (2013) Технологии и алгоритмы для создания дополненной реальности Аннотация  PDF (Rus)  похожие документы
Иван Александрович Благовещенский, Николай Андреевич Демьянков
"... objects in it, algorithms of the Computer Vision are used. The authors give a short description ..."
 
Том 22, № 4 (2015) Алгоритмы для мажоритарного декодирования групповых кодов Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
"... We consider a problem of constructive description and justification of the algorithms necessary ..."
 
Том 25, № 3 (2018) Об алгоритме расщепления носителя для индуцированных кодов Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов, Алексей Николаевич Шигаев
"... . This suggests a potentially high resistance of the McEliece-type cryptosystem on the code Flq ⊗ C. The algorithm ..."
 
Том 27, № 1 (2020) Алгоритм ветвей и границ для задачи коммивояжера не является алгоритмом прямого типа Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Максименко
"... In this paper, we consider the notion of a direct type algorithm introduced by V. A. Bondarenko ..."
 
Том 16, № 4 (2009) Оценки оператора Кордобы - Фернандеса в пространствах Марцинкевича Аннотация  PDF (Rus)  похожие документы
Е. И. Бережной, Д. С. Гладких
"... In the A. Cordoba and P. Fernandez research of the divergence of greedy algorithms in Lebesgue ..."
 
Том 14, № 3 (2007) Экономный алгоритм нахождения средних минимальных расстояний Аннотация  PDF (Rus)  похожие документы
Н.Е. Тимофеева
"... Let £o,..., £n be strings drawn from some finite alphabet. In this paper we describe an algorithm ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... represented as loosely connected directed acyclic graphs. A synchronous algorithm for executing such workflows ..."
 
Том 27, № 1 (2020) Параллельный алгоритм решения задачи об изоморфизме графов Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... In this paper, we offer an efficient parallel algorithm for solving the Graph Isomorphism Problem ..."
 
Том 16, № 4 (2009) Метод автоматического построения алгоритмов распознавания участков фазовых траекторий Аннотация  PDF (Rus)  похожие документы
Д. С. Коваленко
"... . The algorithm described here is based on the idea of applying an algebraic approach to the labeling ..."
 
Том 23, № 2 (2016) Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем Аннотация  PDF (Rus)  похожие документы
Д. Ю. Волканов
"... of the method is ensured. The applied method is an evolutionary algorithm with an adaptive logic control ..."
 
Том 19, № 2 (2012) Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL Аннотация  PDF (Rus)  похожие документы
Павел Валерьевич Лебедев
"... In this article a polynomial algorithm is described of verification of dynamic properties ..."
 
Том 20, № 4 (2013) Алгоритм (n, t)-пороговой доверенной цифровой подписи с Арбитром Аннотация  PDF (Rus)  похожие документы
Евгений Алексеевич Толюпа
"... Предложен алгоритм (n, t)-пороговой доверенной цифровой подписи с Арбитром, позволяющий доверителю ..."
 
Том 26, № 1 (2019) Эффективный алгоритм разрешения коллизий в правилах политики безопасности Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов, Валерий Анатольевич Соколов
"... , the authors present a new efficient algorithm for detecting and resolving collisions in firewall rules ..."
 
Том 19, № 2 (2012) Потоки в обобщенных сетях со связанными дугами Аннотация  PDF (Rus)  похожие документы
Владимир Александрович Скороходов
"... . The estimations of the maximum flow in a generalized net with bound arcs are proposed. And the algorithm ..."
 
Том 20, № 2 (2013) Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов Аннотация  PDF (Rus)  похожие документы
Вильгельм Александрович Битнер, Никита Владимирович Заборовский
"... analysis of algorithms for race condition search. Optimizing compiler CLANG&LLVM is used as a technical ..."
 
Том 22, № 4 (2015) Задача о наибольшем кратном потоке в делимой сети и ее частные случаи Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... be solved in a polynomial time. If k ≥ 3, the problem is NP-complete. The algorithms for each polynomial ..."
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
"... -works of mobile objects). The emphasis is on the questions of getting effective routing algorithms ..."
 
Том 25, № 4 (2018) О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый
 
Том 26, № 1 (2019) Алгоритм минимизации количества правил маршрутизации в ПКС Аннотация  PDF (Rus)  похожие документы
Иван Сергеевич Петров
"... for other applications. So we need algorithms to minimize the number of such rules. In this paper, we ..."
 
Том 26, № 4 (2019) Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Горюнов
"... We consider the computational implementation of the algorithm for Lyapunov exponents spectrum ..."
 
Том 21, № 4 (2014) Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях Аннотация  PDF (Rus)  похожие документы
Алексей Абрамович Короткин, Александр Андреевич Максимов
 
Том 20, № 2 (2013) Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей Аннотация  PDF (Rus)  похожие документы
Анна Шмилевна Непомнящая
"... The paper proposes an efficient associative algorithm for dynamic update of the shortest paths ..."
 
Том 20, № 2 (2013) Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц Аннотация  PDF (Rus)  похожие документы
Иван Вадимович Губочкин
"... speech units such as phonemes. It is suggested an iterative algorithm based on the Newton numerical ..."
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация  PDF (Rus)  похожие документы
Андрей Валентинович Климов
"... An algorithm for solving the coverability problem for monotonic counter systems is presented ..."
 
Том 25, № 6 (2018) Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов Аннотация  PDF (Rus)  похожие документы
Анна Алексеевна Каленкова, Данил Александрович Колесников
"... genetic algorithm applied to find distances between process models discovered from event logs ..."
 
Том 18, № 2 (2011) Разбиение железнодорожного состава на отдельные вагоны Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Малков, Геннадий Павлович Штерн, Иван Александрович Михайлов
"... the train motion. An algorithm for solving the problem is proposed. An experiment is conducted using 16 ..."
 
Том 21, № 4 (2014) Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона Аннотация  PDF (Rus)  похожие документы
Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов
"... that contain images of an area of the skin. In this paper the authors review the existing algorithms for heart ..."
 
Том 17, № 2 (2010) Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения Аннотация  PDF (Rus)  похожие документы
В. С. Рублев, А. В. Смирнов
"... balancing and the algorithm for this problem are suggested. Also, the comparative characteristic of two ..."
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация  PDF (Rus)  похожие документы
М. Г. Доррер
"... Предлагается алгоритм, позволяющий однозначно преобразовывать событийную модель бизнес-процесса в ..."
 
Том 23, № 4 (2016) Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... 5. The algorithm of finding the maximum flow, which meets the solvability conditions for the integer ..."
 
Том 20, № 2 (2013) Некоторые классы разрешимости задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... to a problem of finding the maximum flow in a multiple network and an algorithm for the corresponding flow ..."
 
Том 26, № 1 (2019) Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе Аннотация  PDF (Rus)  похожие документы
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин
"... analysis of the traditional means of rule formation, the neural network approach, and the genetic algorithm ..."
 
Том 25, № 4 (2018) Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин
"... the conditions of significant volumes of incoming information, fast and efficient algorithms of data analysis ..."
 
Том 27, № 2 (2020) Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ Аннотация  PDF (Rus)  похожие документы
Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина
"... The paper presents an algorithm for the worst case response time (WCRT) estimation ..."
 
Том 27, № 4 (2020) Правило «одной пятой» с возвратами для настройки размера популяции в генетическом алгоритме (1 + (λ,λ)) Аннотация  PDF (Rus)  похожие документы
Антон Олегович Басин, Максим Викторович Буздалов, Анатолий Абрамович Шалыто
"... Self-adjustment of parameters can significantly improve the performance of evolutionary algorithms ..."
 
Том 21, № 5 (2014) Характеристики сложности: кликовое число графа многогранника и число прямоугольного покрытия Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Максименко
"... . For an explanation of this phenomenon he proposed the theory of direct type algorithms. This theory asserts ..."
 
Том 27, № 3 (2020) Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров
"... is to develop a uniform technique for building polynomial-time equivalence checking algorithms for some classes ..."
 
Том 24, № 1 (2017) О комбинировании различных методов ускорения при итерационном решении уравнений с частными производными методом коллокаций и наименьших невязок Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... of the iteration process acceleration: the preconditioner, the multigrid algorithm, and the correction of the PDE ..."
 
Том 19, № 6 (2012) Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов Аннотация  PDF (Rus)  похожие документы
Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова
"... We present an algorithm for simplifying linear cartographic objects and results obtained ..."
 
Том 18, № 3 (2011) Оптимизация конъюнктов условий в составе запросов Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Кузнецов, Никита Андреевич Мендкович
"... A new algorithm for query optimization is proposed. This algorithm simplifies queries restriction ..."
 
Том 18, № 4 (2011) Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов
"... The Design and Analysis of Computer Algorithms is a must of Computer Curricula. It covers many ..."
 
Том 14, № 4 (2007) Об одном методе распознавания изображений Аннотация  PDF (Rus)  похожие документы
И. А. Михайлов
"... A new algorithm for the recognition of digits is proposed. The result of computer experiments ..."
 
Том 19, № 5 (2012) Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей Аннотация  PDF (Rus)  похожие документы
Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов
"... автоматической замены обрабатывающих агентов в dataflow-сетях, построенных на базе платформы Smart-M3 и ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... The algorithm of pattern mining from sequences of system calls is described. Patterns are used ..."
 
Том 21, № 4 (2014) Устойчивость в задаче поиска минимального разреза в графе Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Козлов
"... ] exact polynomial algorithms have been built for some NP-hard problems on cuts in the assumption ..."
 
Том 17, № 2 (2010) Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 Аннотация  PDF (Rus)  похожие документы
И. В. Алексеев, С. А. Меркулов, А. А. Сивов
"... The article secifies the ARTCP header format and describes the algorithm of the ARTCP connection ..."
 
Том 21, № 4 (2014) Синтез моделей процессов по журналам событий с шумом Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
"... logs. A wide range of algorithms for process model discovery, analysis, and enhancement is developed ..."
 
Том 18, № 4 (2011) Оптимизационные процедуры в аффинной проверке моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... checking and regular model checking. In this paper we suggest improved algorithms for an algebraic data ..."
 
Том 15, № 1 (2008) Хореография сервисов в семантической сервис-ориентированной архитектуре Аннотация  PDF (Rus)  похожие документы
Д. Ю. Кашалкин, В. А. Курчидис
"... problem in the semantic service-oriented architecture are introduse in the article. The decision algorithm ..."
 
Том 19, № 1 (2012) Моделирование систем автоматического управления на основе полиномов Вольтерра Аннотация  PDF (Rus)  похожие документы
Светлана Витальевна Солодуша
"... of the first kind of the second degree is considered. An algorithm of the numerical solution of one class ..."
 
Том 18, № 2 (2011) Организация выполнения объектных запросов в динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев
"... The problem of algorithm for organization of the object queries execution [1] for a new object DBMS ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"...  an algorithm for the graph distributed generation. We took into account basic properties such as power-law ..."
 
Том 18, № 4 (2011) Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... algorithm was constructed. The algorithm and its input string are encoded by nonnegative integer numbers ..."
 
Том 21, № 6 (2014) Программный комплекс для анализа и визуализации графов Аннотация  PDF (Rus)  похожие документы
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский
"... graphs is presented. The developed algorithm for finding communities and implemented algorithms ..."
 
Том 26, № 1 (2019) Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Василий Николаевич Пашков
"... and recovery. The proactive backup controller allocation algorithm which allows to minimize the time to repair ..."
 
Том 27, № 1 (2020) Современные методы детектирования и классификации токсичных комментариев с использованием нейронных сетей Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов
"... processing algorithms. Tens of millions of messages per day are published by users of a particular social ..."
 
Том 23, № 5 (2016) Численные методы решения задач Коши с контрастными структурами Аннотация  PDF (Rus)  похожие документы
А. А. Белов, Н. Н. Калиткин
"... the efficiency, we propose an automatic step selection algorithm based on curvature of the integral curve ..."
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
"... The designing of network update algorithms is urgent for the development of SDN control software ..."
 
1 - 75 из 181 результатов 1 2 3 > >> 

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

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