Сортировать по:
| Выпуск | Название | |
| Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
| Юрий Анатольевич Белов | ||
| "... The question is considered - which graphs are isomorphic to the reachability graphs of Petri nets ..." | ||
| Том 19, № 2 (2012) | Потоки в обобщенных сетях со связанными дугами | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Скороходов | ||
| "... Приведены основные формулировки и определения для обобщенных сетей со связанными дугами. Показано ..." | ||
| Том 19, № 5 (2012) | Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools | Аннотация PDF (Rus) похожие документы |
| Леонид Владимирович Дворянский, Ирина Александровна Ломазова | ||
| "... предлагается проводить имитационное моделирование и построение графа достижимости для NP-сетей путем перевода ..." | ||
| Том 24, № 6 (2017) | Задача о кратчайшем пути в кратном графе | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... for a pair of reachability sets. It is shown, that we can check the connectedness of some multiple graph ..." | ||
| Том 30, № 1 (2023) | Оптимизированный алгоритм поиска кратчайшего пути в кратном графе | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... In this paper, we study undirected multiple graphs of any natural multiplicity $k>1 ..." | ||
| Том 29, № 4 (2022) | Полиномиальный алгоритм поиска кратчайшего пути в делимом кратном графе | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... In this paper, we study undirected multiple graphs of any natural multiplicity к > 1 ..." | ||
| Том 30, № 3 (2023) | Алгоритмы для задач об эйлеровом цикле и эйлеровой цепи в кратном графе | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... In this paper, we study undirected multiple graphs of any natural multiplicity $k>1 ..." | ||
| Том 31, № 3 (2024) | Некоторые полиномиальные подклассы задачи об эйлеровом маршруте в кратном графе | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... of the multiple graph, and each quasi-vertex is determined by $k$ indices of the ordinary edges reachability sets ..." | ||
| Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... . It is shown that in a positive circuit an infinite part of a reachability set is an arithmetic progression ..." | ||
| Том 17, № 1 (2010) | О множестве достижимости автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| "... Properties of automaton counter machines are investigated. We prove that reachability sets ..." | ||
| Том 21, № 6 (2014) | Программный комплекс для анализа и визуализации графов | Аннотация PDF (Rus) похожие документы |
| Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский | ||
| "... This paper describes the software for graph storage, analysis and visualization. The article ..." | ||
| Том 16, № 3 (2009) | О множестве достижимости автоматных трехсчетчиковых машин | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| "... reachability sets. ..." | ||
| Том 17, № 1 (2010) | Визуализация динамических графов для анализа сложных сетей | Аннотация PDF (Rus) похожие документы |
| С. Н. Пупырев, А. В. Тихонов | ||
| "... The work describes a technique for dynamic graph visualization that helps us to analyze complex ..." | ||
| Том 23, № 6 (2016) | Генерация графа социальной сети с использованием Apache Spark | Аннотация PDF (Rus) похожие документы |
| Ю. А. Белов, С. И. Вовчок | ||
| "... We plan to create a method of clustering a social network graph. For testing the method ..." | ||
| Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... In this paper, we offer an efficient parallel algorithm for solving the Graph Isomorphism Problem ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... . Then the paper presents how to formalize (i.e. specify) a reachability puzzle in semantic, syntactic and logic ..." | ||
| Том 28, № 2 (2021) | Выделение условий разрешимости NP-полных задач для класса предфрактальных графов | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич Тимошенко, Расул Ахматович Кочкаров, Азрет Ахматович Кочкаров | ||
| "... on the construction of optimal substructures of network systems described in the form of various classes of graphs ..." | ||
| Том 19, № 4 (2012) | Конструктивная классификация графов | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Иорданский | ||
| "... The classes of graphs closed regarding the set-theoretical operations of union and intersection ..." | ||
| Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... The paper proposes a parallel algorithm for solving the Graph-Subgraph Isomorphism Problem ..." | ||
| Том 30, № 4 (2023) | Алгоритм предсказания связей в саморегулирующейся сети с адаптивной топологией на базе теории графов и машинного обучения | Аннотация PDF (Rus) похожие документы |
| Евгений Юрьевич Павленко | ||
| "... The paper presents a graph model of the functioning of a network with adaptive topology, where ..." | ||
| Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
| Андрей Валентинович Климов | ||
| Том 26, № 4 (2019) | Направляемый свойством поиск реляционных инвариантов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Мордвинов | ||
| "... Property Directed Reachability (PDR) is an efficient and scalable approach to solving systems ..." | ||
| Том 29, № 3 (2022) | Двухшаговая раскраска графов решетки различных типов | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... In this article, we consider the NP-hard problem of the two-step colouring of a graph ..." | ||
| Том 25, № 4 (2018) | Остовное дерево в делимом кратном графе | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... In this paper, we study undirected multiple graphs of any natural multiplicity k > 1 ..." | ||
| Том 26, № 3 (2019) | NP-полнота и один полиномиальный подкласс задачи о двухшаговой раскраске графа | Аннотация PDF (Rus) похожие документы |
| Наталья Сергеевна Медведева, Александр Валерьевич Смирнов | ||
| "... In this paper, we study the two-step colouring problem for an undirected connected graph ..." | ||
| Том 19, № 6 (2012) | Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ | Аннотация PDF (Rus) похожие документы |
| Анатолий Игоревич Антонов, Владимир Александрович Бондаренко | ||
| "... We provide an effective description of graphs of polyhedra for GRAPH PARTITIONING and COMPLETE ..." | ||
| Том 30, № 2 (2023) | Графы сигнальных переходов для схем асинхронного тракта данных | Аннотация похожие документы |
| Александр Кушнеров, Сергей Быстров | ||
| "... The paper proposes a method for constructing signal transition graphs (STGs), which are directly ..." | ||
| Том 31, № 1 (2024) | NP-полнота задачи об эйлеровом маршруте в кратном графе | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... In this paper, we study undirected multiple graphs of any natural multiplicity $k>1 ..." | ||
| Том 30, № 3 (2023) | Применение алгоритма поиска внешней медианы графа в задачах определения надежности технических систем | Аннотация PDF (Rus) похожие документы |
| Юрий Андреевич Плакса, Светлана Алексеевна Курочкина, Наталия Александровна Прусова | ||
| "... is considered. This problem was solved using the minisum algorithm of graph theory. The dependence of the system ..." | ||
| Том 19, № 6 (2012) | Наследcтвенные свойства модульных сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... Hereditary graph properties are those that can be inherited from the graph to all its subgraphs ..." | ||
| Том 21, № 5 (2014) | Характеристики сложности: кликовое число графа многогранника и число прямоугольного покрытия | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Максименко | ||
| "... In the 1980s V.A. Bondarenko found that the clique number of the graph of a polytope in many cases ..." | ||
| Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... CRDA-net is proposed, based on the new concept of the RDA propagation graph. An algorithm is described ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... flow graph which is supposed to be architecture-independent and applicable to the description of any ..." | ||
| Том 20, № 5 (2013) | Замкнутые локально минимальные сети на поверхностях выпуклых многогранников | Аннотация PDF (Rus) похожие документы |
| Наталия Павловна Стрелкова | ||
| "... of a graph provided that all edges are geodesic arcs and at each vertex exactly three adges meet at angles ..." | ||
| Том 28, № 3 (2021) | Исправление к статье: В. В. Васильчиков, «Параллельный алгоритм решения задачи об изоморфизме графов», Моделирование и анализ информационных систем, Том 27, №1, с. 86–94, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-1-86-94 | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... In the article by V. V. Vasilchikov “Parallel Algorithm for Solving the Graph Isomorphism Problem ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... for developing or optimizing algorithms of Petri nets compositions and decompositions, building the reachability ..." | ||
| Том 28, № 1 (2021) | NP-полнота задачи о минимальном остовном дереве в кратном графе кратности k ≥ 3 | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... In this paper, we study undirected multiple graphs of any natural multiplicity k > 1 ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| Том 18, № 1 (2011) | Стратегия выполнения операций копирования и удаления в дереве объектов | Аннотация PDF (Rus) похожие документы |
| А. В. Майоров | ||
| Том 23, № 6 (2016) | Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик | Аннотация PDF (Rus) похожие документы |
| О. Б. Кушнаренко, Ж.-Ф. Вебер | ||
| "... is the establishment of correctness results proving component-based systems reconfigurations using graph grammars. New ..." | ||
| Том 24, № 2 (2017) | Полиэдральные характеристики задач о сбалансированном и несбалансированном двудольных подграфах | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Бондаренко, Андрей Валерьевич Николаев, Джамболет Азаматович Шовгенов | ||
| "... in a bipartite graph. In the first problem we consider a balanced biclique with the same number of vertices ..." | ||
| Том 29, № 3 (2022) | На пути к нейросетевой маршрутизации с верифицированными границами эффективности | Аннотация PDF (Rus) похожие документы |
| Игорь Петрович Бужинский, Анатолий Абрамович Шалыто | ||
| "... of DNN output reachability problems, which can be solved with existing tools. Our experiments indicate ..." | ||
| Том 20, № 2 (2013) | Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей | Аннотация PDF (Rus) похожие документы |
| Анна Шмилевна Непомнящая | ||
| "... tree of a directed weighted graph after deleting an edge. To this end, we provide the data structure ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... codes, their graph representations (the program dependence graph) before and after optimization ..." | ||
| Том 25, № 6 (2018) | Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов | Аннотация PDF (Rus) похожие документы |
| Анна Алексеевна Каленкова, Данил Александрович Колесников | ||
| "... Finding graph-edit distance (graph similarity) is an important task in many computer science areas ..." | ||
| Том 22, № 4 (2015) | Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях | Аннотация PDF (Rus) похожие документы |
| В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов | ||
| "... bounds on the clique numbers of these graphs. These values characterize the time complexity in a broad ..." | ||
| Том 22, № 4 (2015) | Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов | Аннотация PDF (Rus) похожие документы |
| В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин | ||
| "... of the routing system is the node reachability coefficient — the function depending on several basic and additional ..." | ||
| Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков | ||
| "... for directed and undirected graphs. However, for undirected graphs its operation can be accelerated ..." | ||
| Том 27, № 2 (2020) | Метод совместной кластеризации в графовом и корреляционном пространствах | Аннотация PDF (Rus) похожие документы |
| Анастасия Наильевна Гайнуллина, Анатолий Абрамович Шалыто, Алексей Александрович Сергушичев | ||
| "... , an iterative method is proposed at takes as the input graph G and matrix X, in which the rows correspond ..." | ||
| Том 28, № 1 (2021) | Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич Коростиль, Андрей Валерьевич Николаев | ||
| "... We consider a Hamiltonian decomposition problem of partitioning a regular graph into edge-disjoint ..." | ||
| Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... in a non-oriented graph and the results of testing the considered components. ..." | ||
| Том 15, № 1 (2008) | Хореография сервисов в семантической сервис-ориентированной архитектуре | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Кашалкин, В. А. Курчидис | ||
| "... использует модель семантического реестра, представленную в виде сети Петри, и анализирует дерево достижимости ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... as the control flow graph, symbolic execution time and degree of coverage for symbolic execution. The control ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... each node is a program data-flow graph, whose edges are marked with formulas in a specification language ..." | ||
| Том 27, № 1 (2020) | Алгоритм ветвей и границ для задачи коммивояжера не является алгоритмом прямого типа | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Максименко | ||
| "... of a direct type algorithm is determined using the graph of solutions of a combinatorial optimization problem ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... functional parallel language Pifagor. In this language the program could be represented as a data flow graph ..." | ||
| Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... of graphs, as well as the results obtained during the experiment. ..." | ||
| Том 21, № 4 (2014) | Устойчивость в задаче поиска минимального разреза в графе | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Козлов | ||
| Том 29, № 2 (2022) | Степени перечислимости ограниченных множеств | Аннотация PDF (Rus) похожие документы |
| Борис Яковлевич Солон | ||
| "... if it contains a graph of some total function. In a number of works by the author and a group of mathematicians ..." | ||
| Том 20, № 3 (2013) | Самоорганизация, сети, будущее | Аннотация PDF (Rus) похожие документы |
| Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина | ||
| "... . Обсуждалось использование сетей в контексте национальной обороны, экономики, управления массовым сознанием ..." | ||
| Том 14, № 4 (2007) | Сети активных ресурсов | Аннотация PDF (Rus) похожие документы |
| В. А. Башкин | ||
| "... Вводится формализм моделей распределенных систем, названный сетями активных ресурсов. Формализм ..." | ||
| Том 18, № 2 (2011) | Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) | Аннотация PDF (Rus) похожие документы |
| Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов | ||
| "... . This problem could be considered as a special case of a graph-theoretic problem (Discrete Mathematics ..." | ||
| Том 21, № 6 (2014) | PolarDB – система создания специализированных NoSQL баз данных и СУБД | Аннотация PDF (Rus) похожие документы |
| Александр Гурьевич Марчук | ||
| "... . Experiments were provided with the implementation of RDF graphs, relational tables, name tables, object ..." | ||
| Том 20, № 6 (2013) | Построение оценки энтропии для специальной метрики и произвольной функции | Аннотация PDF (Rus) похожие документы |
| Нина Евгеньевна Тимофеева | ||
| "... as an edge coloring of a complete graph with loops. A generalization consists in that instead of using ..." | ||
| Том 20, № 4 (2013) | Программно-конфигурируемые сети как этап эволюции сетевых технологий | Аннотация PDF (Rus) похожие документы |
| Артем Александрович Красотин, Игорь Вадимович Алексеев | ||
| "... Рассматривается понятие программно-конфигурируемой сети. Вначале даётся короткая историческая ..." | ||
| Том 20, № 2 (2013) | Группы гомологий сети Петри конвейера | Аннотация PDF (Rus) похожие документы |
| Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина | ||
| "... Сеть Петри называется элементарной, если каждое ее место может содержать не более одной фишки. В ..." | ||
| Том 21, № 3 (2014) | Об устойчивости состояния равновесия одной модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Викторович Богомолов | ||
| "... Рассматривается одна математическая модель нейронной сети на основе трёх нейронов-сумматоров Мак ..." | ||
| Том 22, № 4 (2015) | Задача о наибольшем кратном потоке в делимой сети и ее частные случаи | Аннотация PDF (Rus) похожие документы |
| А. В. Смирнов | ||
| "... В статье рассматривается задача о наибольшем кратном потоке в сети произвольной натуральной ..." | ||
| Том 23, № 5 (2016) | Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов | Аннотация PDF (Rus) похожие документы |
| Е. В. Коновалов | ||
| "... Статья посвящена анализу сетей, состоящих из обобщенных нейронных элементов. В первой части статьи ..." | ||
| Том 21, № 6 (2014) | О некоторых задачах реконфигурирования программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий | ||
| "... Разработка алгоритмов реконфигурирования сетей является важным направлением развития программного ..." | ||
| Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... Односчетчиковые сети представляют собой конечные автоматы с дополнительным целочисленным ..." | ||
| Том 26, № 1 (2019) | «Общие критерии» и безопасность программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич Петухов, Павел Львович Пилюгин | ||
| Том 26, № 2 (2019) | Пороговый анализ деградации запросов внутри вычислительной сети | Аннотация похожие документы |
| Василий Павлович Кирнос | ||
| "... сетей. Представлена типовая структура сети прикладного уровня модели OSI на примере приложения СБИС3 ..." | ||
| Том 26, № 3 (2019) | Динамическая модель развития пиринговой файлообменной сети | Аннотация PDF (Rus) похожие документы |
| Александра Игоревна Кононова, Лариса Геннадьевна Гагарина | ||
| "... В данной работе рассматривается модель развития пиринговой файлообменной сети, организуемой одним ..." | ||
| Том 26, № 3 (2019) | Новый подход к моделированию генных сетей | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... Статья посвящена математическому моделированию искусственных генных сетей. Рассматривается ..." | ||
| 1 - 75 из 173 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
