?
Программный комплекс анализа структурного сходства систем с учетом расположения фрагментов
Программные продукты и системы. 2010. № 4. С. 25-25.
Кохов В. А., Незнанов А. А.
Рассмотрены оригинальные программные средства, реализующие построение и анализ системы моделей струк-турной сложности и сходства, основанных на характеризации расположения фрагментов в топологии структур. Данные средства реализованы в виде подсистемы АСНИ «Graph Model Workshop» и нашли применение при исследовании отношений эквивалентности и толерантности на графовых моделях систем.
Приоритетные направления:
компьютерно-математическое
Язык:
русский
Кохов В. А., Ткаченко С. В., Программные продукты и системы 2010 № 4 С. 22-22
Рассматривается комплекс оригинальных программных средств «Полигон для исследования алгоритмов струк-турной информатики», предназначенный для экспериментального определения вычислительной сложности про-граммных реализаций алгоритмов решения задач на графовых моделях систем. Перечислены классы решаемых задач и средства, входящие в состав комплекса. Проиллюстрирован метод исследования эффективности, основанный на выделении уровней сложности графовых моделей. ...
Добавлено: 14 октября 2012 г.
Рассмотрены текущая реализация и перспективы развития оригинального программного средства G-IPS Ultimate, предназначенного для имитационного моделирования (в том числе систем реального времени). Модель системы задается с помощью набора решающих графов специального вида, которые позволяют строить нечеткие модели систем. ...
Добавлено: 21 сентября 2012 г.
М. : МАКС Пресс, 2015
В сборнике представлены труды девятой международной конференции «Дискретные модели в теории управляющих систем», проводимой Московским государственным университетом имени М. В. Ломоносова и посвященной 90-летию со дня рождения члена-корреспондента РАН Сергея Всеволодовича Яблонского. Тематика конференции включает направления: дискретные функциональные системы, свойства дискретных функций, синтез и сложность управляющих систем, надежность, контроль и диагностика управляющих систем, автоматы, теория ...
Добавлено: 28 марта 2015 г.
Алескеров Ф. Т., Субочев А. Н., Journal of Global Optimization 2013 Vol. 56 No. 2 P. 737-756
Различные функции коллективного выбора, основанные на правиле большинства и удовлетворяющие условию Кондорсе (турнирные решения), такие как ядро, слабый и сильный максимальные циклы, версии непокрытого и минимального слабоустойчивого множеств, незахваченное и незапертое множества, классы k-устойчивых альтернатив и k-устойчивых множеств, рассматриваются в общем случае, когда допускается наличие пар, принадлежащих отношению равенства голосов. Цель работы – построить единообразное ...
Добавлено: 25 октября 2012 г.
Лазарев А. А., Гафаров Е. Р., М. : Физический факультет МГУ, 2011
В данном учебном пособии приводятся базовые сведения о специальном разделе дискретной математики - Теории расписаний. Описаны этапы становления теории, свойства и классификации задач теории расписаний, методы их решения. На примерах классических задач представлены приемы доказательства их трудоемкости и алгоритмы решения. Учебное пособие основано на курсе лекций, читаемых в МФТИ, МГУ и ВШЭ, и предназначено для ...
Добавлено: 10 декабря 2012 г.
Лазарев А. А., Мусатова Е. Г., Кварацхелия А. Г. и др., М. : Физический факультет МГУ, 2012
Данное учебное пособие посвящено задачам теории расписаний, возникающим на транспорте. Представлены основы теории расписаний, а также способы построения моделей и методы решения задач управления транспортными системами. Изложенный материал предназначен для студентов и преподавателей вузов математических специальностей, специалистов в области управления и практиков, занимающихся решением задач планирования грузовых перевозок. ...
Добавлено: 10 декабря 2012 г.
М. : Изд-во механико-математического факультета МГУ, 2016
Сборник содержит материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О.Б. Лупанова, проходившего на механико-математическом факультете МГУ имени М. В. Ломоносова с 20 по 25 июня 2016 г. при поддержке Российского фонда фундаментальных исследований (проект 16–01–20345). Для студентов, аспирантов и научных работников в области дискретной математики и математической кибернетики. ...
Добавлено: 29 августа 2016 г.
М. : Институт прикладной математики им. М.В. Келдыша РАН, 2011
Сборник содержит материалы VIII молодежной научной школы по дискретной математике и ее приложениям, проходившей в Москве с 24 по 29 октября 2011 г. при поддержке Российского фонда фундаментальных исследований (проект 11-01-06838). Для студентов, аспирантов и научных работников в области дискетной математики и математической кибернетики. ...
Добавлено: 4 октября 2012 г.
Коротаев А. В., Kazankov A. A., Cross - Cultural Research 2003 Vol. 37 No. 1 P. 28-60
Among the negative predictors of sexual freedom, cultural complexity has been always mentioned as most important. However, regression analysis revealed the existence of a reverse trend within the interval between 11 and 22 points of Murdock's cumulative scale of cultural complexity. This suggests that it is senseless to try to find a general set of ...
Добавлено: 8 марта 2013 г.
Бекларян А. Л., Белоусов Ф. А., Зароднюк Т. С. и др., Современные технологии. Системный анализ. Моделирование 2016 Т. 49 № 1 С. 19-26
Рассматривается класс нелинейных функционально-дифференциальных уравнений, включающий уравнения с отклоняющимся аргументом различных видов - с запаздыванием и опережением, а также сочетающих оба данных элемента. Предлагаемая технология исследования краевых задач основана на методе Ритца и сплайн-коллокационных подходах. Для решения задач рассматриваемого класса траектории системы дискретизуются на сетке с постоянным шагом и формулируется обобщенный функционал невязки, включающий как ...
Добавлено: 25 мая 2016 г.
Старичкова Ю. В., Незнанов А. А., Бизнес-информатика 2011 № 3 С. 36-44
Описывается оригинальный программный комплекс для генерации бесконечных и конечных семейств связных транзитивных графов степени 4, полностью покрывающих все известные графы до 30 вершин. Отличительной особенностью разработки является многокритериальная каталогизация семейств на основе характеристик симметрии, структурной сложности и визуализации симметричных диаграмм. Комплекс расширяет функциональные возможности АСНИ «Graph Model Workshop» и позволяет решать задачи, требующие синтеза транзитивных ...
Добавлено: 11 сентября 2012 г.
Лапинова С. А., Аникина А. И., Ошарин А. М., Вестник Санкт-Петербургского университета. Серия 5. Экономика 2020 Т. 36 № 3 С. 421-446
Анализ торгового сотрудничества между государствами и выявление наиболее значимых участников рынка имеет большое значение, как в теоретическом, так и в практическом плане. Мировое торговое сообщество образует сеть межгосударственных связей, определяемых торговыми контрактами в различных отраслях. Экспортно-импортные торговые потоки являются одним из ключевых индикаторов уровня сотрудничества между странами и состояния мировой экономики. Высокая интенсивность таких контактов ...
Добавлено: 31 октября 2019 г.
М. : МАКС Пресс, 2017
Сборник содержит доклады XVIII международной конференции «Проблемы теоретической кибернетики» (Пенза, 19–23 июня 2017 г.), организованной при поддержке Российского фонда фундаментальных исследований (проект № 17-01-20217-г). Тематика конференции включает следующие направления: синтез и сложность управляющих систем, надежность, контроль и диагностика управляющих систем, автоматы, языки и программирование, теория графов, комбинаторика, теория кодирования, теория распознавания образов, математическое программирование и ...
Добавлено: 21 сентября 2017 г.
Малышев Д. С., Дискретный анализ и исследование операций 2012 Т. 19 № 1 С. 74-96
Описаны все наследственные классы графов, определяемые не более чем тремя запрещенными порожденными подграфами (обструкциями), для которых задача о реберном списковом ранжировании полиномиально разрешима. В основе алгоритма распознавания сложностного статуса лежит установление принадлежности обструкций некоторым специальным ("критическим") классам графов. Частью множества таких специальных классов являются минимальные по включению наследственные случаи NP-полноты рассматриваемой задачи. Все классы данного ...
Добавлено: 11 сентября 2012 г.
Малышев Д. С., Дискретный анализ и исследование операций 2012 Т. 19 № 4 С. 66-72
Рассматривается конструктивный подход к формированию новых случаев эффективной разрешимости задачи о независимом множестве в семействе наследственных частей множества графов Free({P5,C5}). Именно, доказывается, что если эта задача полиномиально разрешима в классе Free({P5,C5,G}), то для любого графа H, который может быть индуктивно получен из G применением к текущему графу сложения с K1 или умножения на K1, эта ...
Добавлено: 31 августа 2012 г.
Незнанов А. А., Кохов В. А., Труды Московского физико-технического института 2009 Т. 1 № 2 С. 77-83
Рассматривается один из универсальных методов повышения эффективности решения переборных задач структурного анализа — метод точного учёта симметрии структур, обладающих нетривиальной группой автоморфизмов. Анализируется связь между строением стационарных подгрупп группы автоморфизмов, накладными расходами на учёт симметрии и общей эффективностью решения задачи. В качестве примера рассматривается задача поиска максимального общего фрагмента пары графов. Приводятся наиболее интересные семейства ...
Добавлено: 26 октября 2014 г.
Старичкова Ю. В., Незнанов А. А., Вестник Тамбовского университета. Серия: Естественные и технические науки 2012 Т. 17 № 2 С. 532-547
Рассматривается задача классификации семейств связных транзитивных графов степени 4 (ТГС4) на основе характеристик симметрии (строения группы автоморфизмов) и информации обо всех ТГС4 с числом вершин до 30. Предлагается один из вариантов классификации и конкретные бесконечные и конечные семейства, покрывающие все ТГС4 до 30 вершин, с возможностью расширения состава семейств с ростом числа вершин ТГС4. Построен ...
Добавлено: 11 сентября 2012 г.
М. : МАКС Пресс, 2018
В сборнике представлены труды десятой международной конференции "Дискретные модели в теории управляющих систем" (Москва и Подмосковье, 23-25 мая 2018 г.). Тематика конференции включает следующие направления: дискретные функциональные системы, свойства дискретных функций, синтез и сложность управляющих систем, надежность, контроль и диагностика управляющих систем, автоматы, теория графов, комбинаторика, теория кодирования, математические методы защиты информации, теория распознавания образов, ...
Добавлено: 27 августа 2018 г.
Малышев Д. С., Дискретный анализ и исследование операций 2012 Т. 19 № 3 С. 58-64
В работе предлагается алгоритм, который определяет число независимости n-вершинного графа из класса Free({P5,C5, Kp}) за время O(np+O(1)). ...
Добавлено: 6 июня 2012 г.
Старичкова Ю. В., Научно-техническая информация. Серия 2: Информационные процессы и системы 2013 № 2
Рассмотрены некоторые математические модели структурной сложности орграфов в эффективно обрабатываемых базисах. Показана значимость разработанных автором алгоритмов и программных средств эффективного анализа сложности орграфов, использующих информацию о расположении ориентированных цепных фрагментов. Данные средства используются при выявлении знаний из текстовых коллекций. ...
Добавлено: 26 марта 2013 г.
Bliznets Ivan, Cygan M., Komosa P. и др., ACM Transactions on Computation Theory 2018 Vol. 10 No. 2 P. 1-32
Добавлено: 30 октября 2018 г.
Красноярск : ИВМ СО РАН, 2013
Труды Пятой Международной конференции «Системный анализ и информационные технологии» САИТ-2013 (19–25 сентября 2013 г., г.Красноярск, Россия): ...
Добавлено: 18 ноября 2013 г.
Востриков А. В., Борисов Н. И., Абрамешин А. Е., Качество. Инновации. Образование 2013 № 8 (99) С. 61-65
В работе проведено исследование численной устойчивости разработанной авторами ранее редуцированной схемы численного интегрирования системы линейных обыкновенных дифференциальных уравнений. Полученное условие численной устойчивости редукционной схемы доказывает возможность использования данной схемы на практике. Работоспособность редуцированной схемы была протестирована на реальной задаче электродинамики, решенной предварительно известными численными методами. Предложенная нами и традиционные и вычислительные схемы дали одинаковый результат ...
Добавлено: 9 сентября 2013 г.
Сироткин Д. В., Малышев Д. С., Дискретная математика 2017 Т. 29 № 3 С. 114-125
Задача о независимом множестве для заданного обыкновенного графа состоит в вычислении размера наибольшего множества его попарно несмежных вершин. Предлагается новый способ редукции графов. С его помощью получено новое доказательство NP-полноты задачи о независимом множестве в классе планарных графов и доказана NP-полнота данной задачи в классе плоских графов, имеющих только треугольные внутренние грани, с максимальной степенью ...
Добавлено: 7 сентября 2017 г.