Препринт
On a weight system conjecturally related to sl2
The approaches based on applying of metamodeling and domain-specific languages are widely used in software engineering. There are many different tools for creating visual domain-specific modeling languages with a possibility of determining user’s graphical notations. However, these tools possess disadvantages. The article presents an approach to the development of language workbench that allows to eliminate some restrictions of existing DSM-platforms. The MetaLanguage system is designed for creation of visual dynamic adaptable domain-specific modeling languages and for models construction with these languages. It allows executing transformations of the created models in various textual and graphical notations. Basic metalanguage constructions of this system are described. The formal description of modeling languages metamodel used in MetaLanguage is given. The architecture of MetaLanguage toolkit is presented.
Учебное пособие предназначено для изучения информатики на базовом уровне в 9 классе общеобразовательных организаций. Учебное по собие содержит теоретический материал курса, вопросы и задания для закрепления знаний. В конце каждой главы в схематическом виде пред ставлена система основных понятий этой главы. Учебное пособие является частью завершённой предметной линии учебных пособий по информатике (базовый уровень) для 7–9 классов и основным компонентом учебно-методического комплекта, в который так же входят рабочая тетрадь и методическое пособие. Учебное пособие соответствует требованиям Федерального государственного образовательного стандарта основного общего образования.
С момента выхода первого издания на английском языке в 1997 году книга известного математика, профессора Гамбургского университета Рейнгарда Дистеля стала основным учебником по теории графов во многих университетах, выдержав к настоящему времени пять изданий, перевод последнего из которых предлагается читателю. Уникальность учебника в его глубине при относительно небольшом объёме: в книге найдутся задачи как доступные для студентов-первокурсников, так и способные заинтересовать аспирантов-математиков. В освещении же таких современных разделов теории графов, как теория миноров и теория бесконечных графов, книга по-прежнему не имеет равных в учебной литературе по теории графов.
This book constitutes the revised selected papers of the 43rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2017, held in Eindhoven, The Netherlands, in June 2017.
The 31 full papers presented in this volume were carefully reviewed and selected from 71 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic concepts can be applied in various areas of computer science. Another focus is on presenting recent results and on identifying and exploring promising directions of future research.
Настоящая книга представляет собой своеобразный расширенный учебник по математической статистике. Данный учебник не ограничен рамками учебного стандарта или вузовской программы --- он предназначен всем, кто интересуется математикой вообще и, в частности, хочет узнать, что такое современная математическая статистика, какие задачи и какими методами она решает, какие результаты в ней уже накоплены, какие проблемы в ней сегодня актуальны; наконец, каковы ее истоки, какой путь она прошла и какие ученые были ее творцами. По замыслу авторов, книга простым и доступным языком рассказывает о математической статистике и одновременно обучает ей. Вся теория объясняется и иллюстрируется на интересных и тщательно подобранных примерах. Книга может служить и задачником, так как содержит большой список упражнений для самостоятельного решения, а также справочным пособием по математической статистике, а в некоторых аспектах --- и по теории вероятностей.
Книга будет интересна преподавателям, аспирантам и студентам естественных и технических вузов, в которых изучается математическая статистика, научным работникам, использующим в своей деятельности методы математической статистики, а также самому широкому кругу любителей математики.
In this article we use the modular decomposition technique for exact solving the weighted maximum clique problem. Our algorithm takes the modular decomposition tree from the paper of Tedder et. al. and finds solution recursively. Also, we propose algorithms to construct graphs with modules. We show some interesting results, comparing our solution with Ostergards algorithm on DIMACS benchmarks and on generated graphs.
Изложены основные понятия и определения теории надежности, аналитические методы анализа надежности сложных восстанавливаемых и невосстанавливаемых систем при проектировании и эксплуатации. Изложенный теоретический материал иллюстрируется практическими примерами и задачами. Каждый самостоятельный теоретический раздел заканчивается методикой расчета показателей надежности соответствующих систем. Для лучшего понимания теоретических положений в пособие включены необходимые математические приложения.
Для преподавателей, студентов и аспирантов, инженерно-технических работников для изучения и расчетов показателей надежности сложных систем. Рекомендовано Министерством образования и науки РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям «Управление качеством», «Безопасность жизнедеятельности» и специальностям «Информационные системы и технологии», «Автоматизированные системы обработки информации и управления», «Прикладная математика», «Управление качеством».
В первой части пособия рассмотрены дополнительные вопросы теории вероятностей, необходимые для изучения математической статистики, и начальные сведения по математической статистике.
Во второй части пособия подробно изложены вопросы, связанные с решением одной из основных задач математической статистики - параметрической задачи. Приведено много примеров.
Рекомендуется всем студентам МИЭМа, изучающим математическую статистику.
В сборнике представлены тезисы докладов участников XVIII Международной студенческой конференции-школы-семинара «Новые информационные технологии», состоявшейся в мае 2010 года.
Сборник состоит из двух разделов. Первый раздел сборника включает пленарные доклады ведущих специалистов. Второй раздел содержит тезисы докладов студентов и аспирантов, учащихся техникумов и колледжей, участвовавших в работе школы-семинара.
В основе настоящего учебного пособия лежит специальный курс по выбору студента, прочитанный автором на механико - математическом факультете МГУ им. М.В. Ломоносова в 2010-2012 учебных годах. Пособие знакомит читателя с методом параметрикса и его дискретным аналогом, развитым в самое последнее время автором пособия и его коллегами-соавторами. Оно объединяет воедино материал, который ранее содержался только в ряде журнальных статей. Не стремясь к максимальной общности изложения, автор ставил целью продемонстрировать возможности метода при доказательстве локальных предельных теорем о сходимости марковских цепей к диффузионному процессу и при получении двусторонних оценок типа Аронсона для некоторых вырожденных диффузий.
В сборнике представлены тезисы докладов участников XIX Международной студенческой конференции-школы-семинара «Новые информационные технологии», состоявшейся в мае 2011 года.
Сборник состоит из двух разделов. Первый раздел сборника включает пленарные доклады ведущих специалистов. Второй раздел содержит тезисы докладов студентов и аспирантов, учащихся техникумов и колледжей, участвовавших в работе школы-семинара.