Поиск


Сортировать по:     
 
Выпуск Название
 
Том 20, № 2 (2013) Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов Аннотация  PDF (Rus)  похожие документы
Вильгельм Александрович Битнер, Никита Владимирович Заборовский
"... tool for building a linearized control flow graph. The analysis of LLVM compiler procedural ..."
 
Том 21, № 6 (2014) Программный комплекс для анализа и визуализации графов Аннотация  PDF (Rus)  похожие документы
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский
"... This paper describes the software for graph storage, analysis and visualization. The article ..."
 
Том 19, № 4 (2012) Конструктивная классификация графов Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Иорданский
"... The classes of graphs closed regarding the set-theoretical operations of union and intersection ..."
 
Том 19, № 2 (2012) Потоки в обобщенных сетях со связанными дугами Аннотация  PDF (Rus)  похожие документы
Владимир Александрович Скороходов
"... ноября 2011 года Ключевые слова: граф, алгоритмы на графах, достижимость, нестандартная достижимость ..."
 
Том 17, № 1 (2010) Визуализация динамических графов для анализа сложных сетей Аннотация  PDF (Rus)  похожие документы
С. Н. Пупырев, А. В. Тихонов
"... The work describes a technique for dynamic graph visualization that helps us to analyze complex ..."
 
Том 24, № 6 (2017) Задача о кратчайшем пути в кратном графе Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... In the article, the definition of an undirected multiple graph of any natural multiplicity k > 1 ..."
 
Том 25, № 4 (2018) Остовное дерево в делимом кратном графе Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... In this paper, we study undirected multiple graphs of any natural multiplicity k > 1 ..."
 
Том 19, № 6 (2012) Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ Аннотация  PDF (Rus)  похожие документы
Анатолий Игоревич Антонов, Владимир Александрович Бондаренко
"... We provide an effective description of graphs of polyhedra for GRAPH PARTITIONING and COMPLETE ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... We plan to create a method of clustering a social network graph. For testing the method ..."
 
Том 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 ..."
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
"... предлагается проводить имитационное моделирование и построение графа достижимости для NP-сетей путем перевода ..."
 
Том 18, № 1 (2011) Стратегия выполнения операций копирования и удаления в дереве объектов Аннотация  PDF (Rus)  похожие документы
А. В. Майоров
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
 
Том 24, № 2 (2017) Полиэдральные характеристики задач о сбалансированном и несбалансированном двудольных подграфах Аннотация  PDF (Rus)  похожие документы
Владимир Александрович Бондаренко, Андрей Валерьевич Николаев, Джамболет Азаматович Шовгенов
"...  in a bipartite graph. In the first problem we consider a balanced biclique with the same number of vertices ..."
 
Том 20, № 2 (2013) Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей Аннотация  PDF (Rus)  похожие документы
Анна Шмилевна Непомнящая
"... tree of a directed weighted graph after deleting an edge. To this end, we provide the data structure ..."
 
Том 23, № 6 (2016) Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик Аннотация  PDF (Rus)  похожие документы
О. Б. Кушнаренко, Ж.-Ф. Вебер
"... is the establishment of correctness results proving component-based systems reconfigurations using graph grammars. New ..."
 
Том 25, № 6 (2018) Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов Аннотация  PDF (Rus)  похожие документы
Анна Алексеевна Каленкова, Данил Александрович Колесников
"... Finding graph-edit distance (graph similarity) is an important task in many computer science areas ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... codes, their graph representations (the program dependence graph) before and after optimization ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... . It is based on combining several recent results in BMC, namely, the use of LLVM as a baseline for model ..."
 
Том 22, № 4 (2015) Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях Аннотация  PDF (Rus)  похожие документы
В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов
"... bounds on the clique numbers of these graphs. These values characterize the time complexity in a broad ..."
 
Том 21, № 4 (2014) Устойчивость в задаче поиска минимального разреза в графе Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Козлов
"... .174.1 Устойчивость в задаче поиска минимального разреза в графе Козлов И.В.1 Московский физико-технический институт ..."
 
Том 18, № 4 (2011) Статический анализ с использованием систем типов и эффектов на основе LLVM Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Беляев, Вадим Александрович Цесько
"... programs. The tool uses LLVM bitcode files as input, thus extending the set of analyzed languages to those ..."
 
Том 25, № 1 (2018) Особенности локальной динамики модели оптико-электронного осциллятора с запаздыванием Аннотация  PDF (Rus)  похожие документы
Елена Викторовна Григорьева, Сергей Александрович Кащенко, Дмитрий Владимирович Глазков
"... . The characteristic equation of the linearized problem has an asymptotically large number of roots with close to zero ..."
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
"... and their properties. The LLVM infrastructure helps greatly in writing the C-light program analyzer and translator ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... CRDA-net is proposed, based on the new concept of the RDA propagation graph. An algorithm is described ..."
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... for directed and undirected graphs. However, for undirected graphs its operation can be accelerated ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... each node is a program data-flow graph, whose edges are marked with formulas in a specification language ..."
 
Том 26, № 3 (2019) Об автоматическом анализе практической стойкости обфусцирующих преобразований Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов
"... as the control flow graph, symbolic execution time and degree of coverage for symbolic execution. The control ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... functional parallel language Pifagor. In this language the program could be represented as a data flow graph ..."
 
Том 19, № 6 (2012) Наследcтвенные свойства модульных сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... Hereditary graph properties are those that can be inherited from the graph to all its subgraphs ..."
 
Том 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 ..."
 
Том 21, № 2 (2014) О поддержке рекурсивно-параллельного программирования в .NET Framework Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... in a non-oriented graph and the results of testing the considered components. ..."
 
Том 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 ..."
 
Том 22, № 2 (2015) О существовании ABA-факторизаций у спорадических групп ранга 3 Аннотация  PDF (Rus)  похожие документы
Лев Сергеевич Казарин, Илья Андреевич Рассадин, Денис Николаевич Сахаров
"... is widely used in the study of graphs, geometries and varieties. The goal of this article is to find triple ..."
 
Том 20, № 4 (2013) Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов
"... consisting of three thousand terms and a set of semantic fields is reviewed in this paper. Rdf-graph ..."
 
Том 24, № 4 (2017) Уточнение свойств центроида дерева Аннотация  PDF (Rus)  похожие документы
Юрий Анатольевич Белов, Сергей Иванович Вовчок
"... was attracted by the popular problem of (binary) partition of a graph. The solution is known only by brute force ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... assignment (SSA [8]) form. This is a widely used code model (e.g., used by GCC [14] and LLVM [13 ..."
 
Том 20, № 2 (2013) Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты Аннотация  PDF (Rus)  похожие документы
Антон Юрьевич Бернштейн, Николай Вячеславович Шилов
"... problem in Graph Theory, to the convex hull problem in Combinatorial Geometry, or to the path-planning ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... represented as loosely connected directed acyclic graphs. A synchronous algorithm for executing such workflows ..."
 
Том 23, № 6 (2016) Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки Аннотация  PDF (Rus)  похожие документы
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов
"... , precision and recall of hierarchical and synonym relations, and characteristics of the thesaurus graph ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... в данной работе, — проект Borealis [1], осно- ванный на инфраструктуре компиляторов LLVM и SMT ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... -graphs of computation grids. In particular, we consider the computation of parity of the active processes ..."
 
Том 24, № 6 (2017) К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Нина Владимировна Евтушенко, Игорь Борисович Бурдонов, Александр Сергеевич Косачев
"... действиям; кроме того, в соответствующем графе переходов отсутствуют циклы по выходным символам. Для ..."
 
Том 20, № 2 (2013) Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... диаграммы перехо- дов — взвешенного ориентированного графа с вершинами из Q и дугами из T (Рис. 1 ..."
 
Том 20, № 2 (2013) Построение модели для извлечения оценочной лексики в различных предметных областях Аннотация  PDF (Rus)  похожие документы
Наталья Валентиновна Лукашевич, Илья Игоревич Четвёркин
"... классификаторов [2], или подходы на основе графов [18]. Тем не менее, такие подходы плохо работают для предметных ..."
 
Том 21, № 6 (2014) Инструментальная поддержка встроенных языков в интегрированных средах разработки Аннотация  PDF (Rus)  похожие документы
Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун
"... помощью графа, где на дугах содержатся терминальные символы (токены), а вершины соответствуют случаям ..."
 
Том 19, № 5 (2012) Современные открытые проблемы в дискретной и вычислительной геометрии Аннотация  PDF (Rus)  похожие документы
Герберт Эдельсбруннер, Александр Иванов, Роман Карасев
"... .Tuzhilin. Steiner minimal trees. Let (X, ρ) be a metric space, V a finite subset of X, and G = (V,E) a graph ..."
 
Том 21, № 1 (2014) Применение принципа усреднения к логистическому уравнению с быстро осциллирующим запаздыванием Аннотация  PDF (Rus)  похожие документы
Надежда Дмитриевна Быкова, Елена Викторовна Григорьева
"... ≡ 1 урав- нения (1) при условии (2). Для этого выпишем уравнение (3), линеаризованное на этом ..."
 
Том 19, № 2 (2012) Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL Аннотация  PDF (Rus)  похожие документы
Павел Валерьевич Лебедев
"... вычисляет вероятность PM (LM (f)) за время, полиномиальное от размера графа переходов M и экспоненциальное ..."
 
Том 24, № 4 (2017) Исследование одной марковской модели угроз безопасности компьютерных систем Аннотация  PDF (Rus)  похожие документы
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
"... случае мы будем считать, что система переходит в состояние sn+1. Граф состояний системы приведен на рис ..."
 
Том 19, № 6 (2012) Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова Аннотация  PDF (Rus)  похожие документы
Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
"... polytopes and commensurate Delaunay tilings; • H. Nozaki, Oriented graphs and complex spherical codes ..."
 
Том 20, № 6 (2013) Международная конференция “Геометрия, топология и и приложения” Аннотация  PDF (Rus)  похожие документы
Алексей Гарбер, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
"... and Manifolds ; • Egon Schulte, Polyhedral Geometries and Graphs for Crystallographic Groups ; • Alexander ..."
 
Том 19, № 4 (2012) Первая ярославская летняя школа по дискретной и вычислительной геометрии Аннотация  PDF (Rus)  похожие документы
Николай Долбилин, Г. Эдельсбруннер, Александр Иванов, Олег Мусин
"... Polytopes, 3 lectures; • V. Bondarenko, Graphs of Polytopes and Polytopes of Problems, 3 lectures; • V ..."
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
"... возможного исправления модели показан на Рис. 2. Большая часть графи- ческой структуры исходной модели ..."
 
Том 24, № 2 (2017) Анализ типизированных зависимостей включения с неопределенными значениями Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин
"... интерпретация зависимостей включения в виде графа представлена в [10]. Хотя исследуются отличные от [8] условия ..."
 
Том 19, № 1 (2012) Асимптотика периодических решений автономных параболических уравнений с быстро осциллирующими коэффициентами и уравнений с большими коэффициентами диффузии Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко, Артем Сергеевич Полстьянов
"... ) решение v0(t, x) периода T0 > 0. Теорема 1. Предположим, что только один мультипликатор линеаризованной на ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... problem and reachability tree/graph. Boundedness problem and chec- king. Problem solving with aid of Petri ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... внутреннее представление, которое будем называть графом частичного порядка (H)MSC. Граф генерируется ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... be represented as a graph where the nodes are either hosts or switches, and the edges are links. The OpenFlow ..."
 
Том 20, № 6 (2013) Правильные полигональные комплексы высших рангов в E³ Аннотация  PDF (Rus)  похожие документы
Шульте Эйгон
"... -faces), satisfying the following properties. (a) The graph (V , E), the edge graph or net of K ..."
 
Том 23, № 4 (2016) Вероятностный анализ систем организации турниров Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин, Ал. А. Ахременков
"... П., Мун Дж.В., “О множестве согласованных дуг в турнире”, Теория графов, Мир, М., 1976, 160–162 ..."
 
Том 19, № 6 (2012) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... «Полиэдральные графы задач РАЗБИЕ- НИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ» приводится эф- фективное ..."
 
Том 23, № 5 (2016) Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо Аннотация  PDF (Rus)  похожие документы
А. А. Мельникова, Р. Л. Аргун
"... inequalities (4). The solid line shows a graph corresponding to the first inequality and the dotted line shows ..."
 
Том 21, № 3 (2014) Вычисление ляпуновской величины для логистического уравнения с быстро осциллирующим запаздыванием Аннотация  PDF (Rus)  похожие документы
Надежда Дмитриевна Быкова
"... состояния равновесия u0. Линеаризованное на u0 уравнение v˙ = − r 2 1∫ −1 v(t− T0 − as)ds 124 ..."
 
Том 23, № 1 (2016) A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Максименко
"... complexity. For example, if 𝑝 ≤𝐴 𝑞 then the graph of 𝑝 is a subgraph of 𝑞, moreover, the face lattice of ..."
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... полученных результатов в удобном для пользователя виде, прежде всего в виде графов. Целью данной работы ..."
 
Том 20, № 6 (2013) О бутстрэпе для диаграмм и ландшафтов персистентности Аннотация  PDF (Rus)  похожие документы
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман
"... − d z ∈ [d, b+d2 ] b− z z ∈ ( b+d2 , b] 0 otherwise. Notice that p is itself on the graph of tp(z ..."
 
Том 21, № 1 (2014) Локальная динамика логистического уравнения, содержащего запаздывание Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Алешин, Сергей Александрович Кащенко
"... условиях (5) и (6). Для линеаризованного на u0 уравнения (3) εv˙ = − 1 2 [v + v(t− 1) + µ(v − v(t− 1 ..."
 
Том 24, № 2 (2017) О бифуркациях при малых возмущениях в логистическом уравнении с запаздыванием Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... ) и соответственно начальные функции ϕ(s) предполагаются неотрицательными. 3. Линеаризованное в ..."
 
1 - 75 из 152 результатов 1 2 3 > >> 

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

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