Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25, № 4 (2018) О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый
"... . In this work, we offer some approaches to ”Useful Proof-of-work for blockchainsproblem, namely, consider some ..."
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
"... Proof-of-work for blockchainsproblem. We suggest some alternative ways for searching useful tasks ..."
 
Том 19, № 5 (2012) Современные открытые проблемы в дискретной и вычислительной геометрии Аннотация  PDF (Rus)  похожие документы
Герберт Эдельсбруннер, Александр Иванов, Роман Карасев
"... We have selected problems that may not yet be well known, but have the potential to push ..."
 
Том 19, № 6 (2012) О некоторых задачах локализации в триангуляциях Делоне Аннотация  PDF (Rus)  похожие документы
Наталья Федоровна Дышкант
"... We study some problems of nodes localization in a Delaunay triangulation and problem-solving ..."
 
Том 23, № 2 (2016) Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем Аннотация  PDF (Rus)  похожие документы
Д. Ю. Волканов
"... In the paper we consider a method for a reliability allocation problem (RAP) of distributed ..."
 
Том 18, № 4 (2011) Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... Problem in its basic, so-called 0-1 variant. To find its exact solution, algorithms belonging ..."
 
Том 27, № 1 (2020) Параллельный алгоритм решения задачи об изоморфизме графов Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... In this paper, we offer an efficient parallel algorithm for solving the Graph Isomorphism Problem ..."
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация  PDF (Rus)  похожие документы
Андрей Валентинович Климов
"... An algorithm for solving the coverability problem for monotonic counter systems is presented ..."
 
Том 22, № 2 (2015) Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей Аннотация  PDF (Rus)  похожие документы
Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов
"... For the routing problem of tool permutations under the thermal cutting of parts from sheet material ..."
 
Том 29, № 1 (2022) Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... The paper proposes a parallel algorithm for solving the Graph-Subgraph Isomorphism Problem ..."
 
Том 24, № 6 (2017) Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Макаров
"... Dependent Riccati Equation (SDRE). At the second stage, the problem of fullorder observer construction ..."
 
Том 32, № 2 (2025) Алгоритм шаблонизации для динамической задачи упаковки в контейнеры с группами размещения Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бражников, Артём Александрович Панин, Алексей Владленович Ратушный
"... We consider an NP-hard problem of dynamically distributing virtual machines to servers ..."
 
Том 26, № 4 (2019) Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Горюнов
"... as for boundary value problems, it is not possible to prove the well-known Oseledets theorem which allows us ..."
 
Том 18, № 2 (2011) Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) Аннотация  PDF (Rus)  похожие документы
Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов
"... We continue our study of multiagent algorithms for a problem that we call the Mars Robot Puzzle ..."
 
Том 27, № 4 (2020) О задаче верификации моделей программ для одного расширения логики CTL* Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... the decidability of the model checking problem. For the logics mentioned above, we have developed algorithms ..."
 
Том 28, № 2 (2021) Выделение условий разрешимости NP-полных задач для класса предфрактальных графов Аннотация  PDF (Rus)  похожие документы
Александр Васильевич Тимошенко, Расул Ахматович Кочкаров, Азрет Ахматович Кочкаров
"... by their multi-element nature and the dynamics of connections between its elements. A number of discrete problems ..."
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация  PDF (Rus)  похожие документы
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
"... method in problems of consequent visiting of megapolises. The realization is complicated by precedence ..."
 
Том 20, № 2 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. II Аннотация  PDF (Rus)  похожие документы
Мария Валентиновна Бутузова
"... Suppose we are given a bisingular initial boundary-value problem for a system of parabolic ..."
 
Том 20, № 1 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. I Аннотация  PDF (Rus)  похожие документы
Мария Валентиновна Бутузова
"... Given a bisingular parabolic problem for a system of linear parabolic equations, we construct ..."
 
Том 23, № 1 (2016) A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Максименко
"... problems: maximum cut, Boolean quadratic programming, quadratic linear ordering, quadratic assignment, set ..."
 
Том 20, № 6 (2013) Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли Аннотация  PDF (Rus)  похожие документы
Иджад Хакович Сабитов
"... We propose a new approach to the problem of calculations of volumes in the Lobachevsky space ..."
 
Том 21, № 3 (2014) Приближенное решение точечной подвижной задачи оптимального управления для нелинейного гиперболического уравнения Аннотация  PDF (Rus)  похожие документы
Турсун Камалдинович Юлдашев
"... In this article, we consider the approximate solution of an optimal control dot mobile problem ..."
 
Том 23, № 1 (2016) Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
"... in the Asymptotic Integration Problem for Functional Differential Equations with Oscillatory Decreasing Coefficients ..."
 
Том 20, № 3 (2013) Преобразования задач оптимального управления Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
"... The paper considers such transformations of variational and optimal control problems (by a change ..."
 
Том 21, № 4 (2014) Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... computational power. One of the most important problems about such a system is an effective distribution of data ..."
 
Том 23, № 5 (2016) Об отсутствии и разрушении решений в некоторых сингулярно возмущённых задачах со сменой устойчивости Аннотация  PDF (Rus)  похожие документы
М. А. Терентьев
"... We consider some singular perturbation problems in the case where a degenerate equation has ..."
 
Том 28, № 3 (2021) Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем Аннотация  PDF (Rus)  похожие документы
Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова
"... to the Kalman algorithm. For this, the solution of an auxiliary optimal control problem with a quadratic ..."
 
Том 20, № 1 (2013) Изгибания равносторонних многоугольников с сохранением индекса Аннотация  PDF (Rus)  похожие документы
Екатерина Сергеевна Запутряева
"... A carpenter’s rule problem is considered for the case of a self-intersecting planar polygon ..."
 
Том 23, № 3 (2016) Двухточечная краевая задача Капуто: существование, единствен- ность и регулярность решения Аннотация  похожие документы
М. Стайнс
"... A two-point boundary value problem on the interval [0, 1] is considered, where the highest-order ..."
 
Том 24, № 5 (2017) Устойчивость решений дискретных краевых задач для уравнения двумерной фильтрации Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... digital filtration is studied. The different statements of the initial value problem are analysed ..."
 
Том 25, № 2 (2018) О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов Аннотация  PDF (Rus)  похожие документы
Алевтина Борисовна Глонина, Василий Викторович Балашов
"... In this paper, we consider a schedulability analysis problem for real-time modular computer ..."
 
Том 14, № 3 (2007) NumGRID, система для решения больших задач численного моделирования Аннотация  PDF (Rus)  похожие документы
Н. В. Малышкин
"... numerical problems. Here one can find key ideas and objectives of NumGRID middleware, analysis of large ..."
 
Том 24, № 4 (2017) О задаче минимизации последовательных программ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова
"... intended for solving verification and optimization problems. We consider the decidable relation of logical ..."
 
Том 28, № 1 (2021) NP-полнота задачи о минимальном остовном дереве в кратном графе кратности k ≥ 3 Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... is not fixed. The problem of finding the spanning tree can be set for a multiple graph. Complete spanning trees ..."
 
Том 26, № 2 (2019) Пороговый анализ деградации запросов внутри вычислительной сети Аннотация  похожие документы
Василий Павлович Кирнос
"... to significantly reduce time for the analysis of potential problems in case of updates within the computer network ..."
 
Том 26, № 4 (2019) Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню Аннотация  похожие документы
Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес
"... of these tools and succeed with the proof. These approaches can be applied to similar problems, which ..."
 
Том 16, № 3 (2009) О спектральной задаче, возникающей в механике манипуляционных роботов Аннотация  PDF (Rus)  похожие документы
В. И. Войтицкий, М. Ю. Злобина, Е. П. Кубышкин
"... A spectral boundary problem of special type containing a spectral parameter in the boundary ..."
 
Том 18, № 3 (2011) О двух конечномерных аппроксимациях периодической краевой задачи Аннотация  PDF (Rus)  похожие документы
Николай Андреевич Демьянков
"... Two numerical methods for solving the periodic boundary value problem are considered: Galerkin ..."
 
Том 21, № 4 (2014) Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... The problem of integer balancing of a three-dimensional matrix with constraints of second type ..."
 
Том 19, № 1 (2012) Задача адаптации обобщенного нейронного элемента Аннотация  PDF (Rus)  похожие документы
Евгений Владиславович Коновалов
"... and the neuron-detector. The problem of adaptation of the generalized neural element is formulated and solved. ..."
 
Том 19, № 6 (2012) Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ Аннотация  PDF (Rus)  похожие документы
Анатолий Игоревич Антонов, Владимир Александрович Бондаренко
"... BIPARTITE SUBGRAPH problems. We establish the fact, that the clique number for each of this problems ..."
 
Том 22, № 5 (2015) Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии Аннотация  PDF (Rus)  похожие документы
А. М. Ковалева, Д. А. Куликов
"... We consider a periodic boundary-value problem for a nonlinear equation with the deviating spatial ..."
 
Том 22, № 5 (2015) Асимптотика собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... derivative. We study the problem of the asymptotic behavior of the eigenvalues of the first boundary value ..."
 
Том 23, № 1 (2016) Асимптотические разложения собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... problem on a small parameter at the highest derivative is studied. The main assumption ..."
 
Том 23, № 1 (2016) Асимптотические разложения собственных значений периодической и антипериодической краевых задач для сингулярно возмущенных дифференциальных уравнений второго порядка с точками поворота Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... of all eigenvalues of periodic and antiperiodic problems is studied. The main assumption ..."
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... The paper describes some ways to accelerate solving the NP-complete Traveling Salesman Problem ..."
 
Том 24, № 1 (2017) Асимптотические законы распределений собственных значений периодической и антипериодической краевых задач для дифференциальных уравнений второго порядка Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... and antiperiodic boundary-value problems for the second-order linear equation with periodic coefficients. It allows ..."
 
Том 21, № 5 (2014) Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов
"... An initial-boundary problem modelling the rotation of discrete-continuum mechanical system, which ..."
 
Том 19, № 4 (2012) Об одной нестационарной задаче маршрутизации с ограничениями Аннотация  PDF (Rus)  похожие документы
Александр Георгиевич Ченцов, Павел Александрович Ченцов
"... The extremal route problem of permutations under constraints in the form of preceding conditions ..."
 
Том 17, № 4 (2010) Пример верификации в проекте F@BOOL@, основанном на булевских решателях Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... of automatic validation of correctness conditions (instead of semi-automatic proof techniques). The key idea ..."
 
Том 24, № 2 (2017) Полиэдральные характеристики задач о сбалансированном и несбалансированном двудольных подграфах Аннотация  PDF (Rus)  похожие документы
Владимир Александрович Бондаренко, Андрей Валерьевич Николаев, Джамболет Азаматович Шовгенов
"... We study the polyhedral properties of three problems of constructing an optimal biclique ..."
 
Том 19, № 6 (2012) Новое доказательство формулы Эйлера Аннотация  PDF (Rus)  похожие документы
Михаил Иванович Штогрин
"... It is a new proof of the Euler formula for a convex polyhedron in R³. ..."
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
"... . A particular case of Network Update Problem is that of restoring seamlessly a given network configuration after ..."
 
Том 14, № 2 (2007) О релаксационном многограннике задачи «3-выполнимость» Аннотация  PDF (Rus)  похожие документы
Б. В. Урываев
"... The properties of a polytope associated with the 3-satisfiability problem are investigated ..."
 
Том 24, № 6 (2017) Задача о кратчайшем пути в кратном графе Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... path problem is stated. Then we suggest an algorithm of finding the shortest path in a multiple graph ..."
 
Том 16, № 4 (2009) Метод автоматического построения алгоритмов распознавания участков фазовых траекторий Аннотация  PDF (Rus)  похожие документы
Д. С. Коваленко
"... The problem of automated construction of recognizers of anomalies in the behavior of complicated ..."
 
Том 18, № 1 (2011) Резонанс собственных частот в задаче о флаттере пластинки в сверхзвуковом потоке газа Аннотация  PDF (Rus)  похожие документы
А. Н. Куликов, Г. В. Пилипенко
"... The paper deals with a linear formulation of the problem of plane vibrations in a supersonic gas ..."
 
Том 29, № 3 (2022) На пути к нейросетевой маршрутизации с верифицированными границами эффективности Аннотация  PDF (Rus)  похожие документы
Игорь Петрович Бужинский, Анатолий Абрамович Шалыто
"... for such environments is often limited. In this work, we consider the problem of formally verifying a neural controller ..."
 
Том 27, № 2 (2020) Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ Аннотация  PDF (Rus)  похожие документы
Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина
"... task. The paper provides the algorithm and the proof of its correctness. The second one is to find ..."
 
Том 30, № 1 (2023) Задачи в области распознавания именованных сущностей: технологии и инструменты Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Андрей Михайлович Васильев, Даниил Дмитриевич Зафиевский
"... discrepancy in the quality of NER and poses the problem of determining the conditions and limitations ..."
 
Том 28, № 4 (2021) О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... ^*$. The main issue which still remains unclear is the complexity of decision problems for these logics ..."
 
Том 17, № 1 (2010) Двухшаговый экстраградиентный метод для задачи управления ресурсами Аннотация  PDF (Rus)  похожие документы
А. В. Зыкина, Н. В. Меленьчук
"... In the article is proposed a doublestep extragradient method for solving nonintrinsic problems ..."
 
Том 17, № 3 (2010) Гиперплоскости универсальной экстремали некоторых задач оптимизации Аннотация  PDF (Rus)  похожие документы
Н. П. Федотова
"... . It simplifies the choice of criterion in some optimization problems. ..."
 
Том 23, № 3 (2016) Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток Аннотация  похожие документы
Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер
"... of such problems. It is based on a priori information about the moving front properties provided by the asymptotic ..."
 
Том 25, № 1 (2018) Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией Аннотация  PDF (Rus)  похожие документы
Николай Николаевич Нефедов, Егор Игоревич Никулин
"... In the paper, we study a singularly perturbed periodic in time problem for the parabolic reaction ..."
 
Том 24, № 1 (2017) Существование и устойчивость контрастных структур в многомерных задачах реакция-диффузия-адвекция в случае сбалансированной нелинейности Аннотация  PDF (Rus)  похожие документы
Марина Александровна Давыдова, Николай Николаевич Нефедов
"... In the present paper, we consider a multidimensional singularly perturbed problem for an elliptic ..."
 
Том 26, № 4 (2019) Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... and Hoare logic for the C-kernel as input. To solve the well-known problem of determining loop invariants ..."
 
Том 22, № 4 (2015) Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях Аннотация  PDF (Rus)  похожие документы
В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов
"... In this paper, we study polyhedral properties of two spanning tree problems with additional ..."
 
Том 23, № 3 (2016) Робастная оценка погрешности в сингулярно возмущённых задачах четвертого порядка Аннотация  похожие документы
С. Франц, Р. Х.-Г.
"... We consider two-dimensional singularly perturbed fourth order problems and estimate on properly ..."
 
Том 24, № 3 (2017) Решение вида движущегося фронта двумерной задачи реакция-диффузия Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Антипов, Владимир Тарасович Волков, Наталия Тимуровна Левашова, Николай Николаевич Нефедов
"...   initialboundary value problem  with a small diffusion coefficient. Problems  in such statements can be used ..."
 
Том 20, № 3 (2013) Об одной задаче для симплекса и куба в Rⁿ Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
 
Том 19, № 1 (2012) Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Ольга Анатольевна Хребтюгова
"... In this paper we define a generalized solution of an initial boundary value problem for a linear ..."
 
Том 21, № 3 (2014) Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности Аннотация  PDF (Rus)  похожие документы
Мирганд Шабозович Шабозов
"... The problem of minimizing the error of a cubature formula on the classes of functions given ..."
 
Том 22, № 1 (2015) Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления Аннотация  PDF (Rus)  похожие документы
Маргарита Александровна Калашникова
"... -time scale singular perturbed linear-quadratic optimal control problem with the help of the direct ..."
 
1 - 75 из 487 результатов 1 2 3 4 5 6 7 > >> 

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

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