-
2015
Марков, Александр Владимирович
При анализе сетей Петри, разработчик может столкнуться с трудностью, заключающейся в существенном количестве состояний проектируемой системы. Несмотря на простоту структуры некоторых сетей Петри, их пространство состояний может достигать значительных размеров, что приводит к одной из главных проблем при анализе автоматов и графов - "взрыву
-
2015
Калинников, Иван Сергеевич
Теоретическая значимость работы заключается, во-первых, в исследовании вычислительной сложности решения различных задач построения к. м., во-вторых, в разработке нового алгоритма построения приближенной к. м. методами теории поиска в метрических пространствах
-
2015
Теплов, Алексей Михайлович
Современные научные и индустриальные приложения и пакеты прикладных программ используют очень большие объемы данных, для обработки которых зачастую необходимы колоссальные объемы вычислений. Решать эти задачи часто приходится в близком к реальному времени темпе, что дополнительно повышает требования к производительности вычислительных систем. Это
-
2015
Зейн Али Нажи
В настоящее время реализовано множество методов повышающих эффективность Интернет-поиска, релевантность данных запросам и предпочтениям пользователей. Применяемые методы в основном базируются на классификации Интернет-пользователей (ИП) и Интернет-ресурсов (ИР
-
2015
Чемерицкий, Евгений Викторович
В данной работе рассматривается задача исследования методов анализа конфигураций и управления поведением программно-конфигурируемых сетей (ПКС) - нового класса компьютерных сетей, ключевыми особенностями которого являются строгое разделение контура передачи данных и кошура управления логикой передачи, а так же управление коммутационным
-
2015
Коршунов, Антон Викторович
Онлайновые социальные сети (Facebook, вКонтакте, LiveJournal и другие) являются одним из наиболее популярных типов Интернет-сервисов1. Социальные графы пользователей таких сервисов обладают модульной структурой, которая во многом определяется склонностью пользователей объединяться в сообщества
-
2015
Кокшенёв, Владимир Владимирович
Изучение и математическое моделирование процедур управлении потоком и перегрузкой па транспортном уровне позволяют оцепить основные операционные показатели транспортного соединения, проанализировать зависимость пропускной способности от характеристик тракта передачи данных и протокольных параметров, произвести оптимизацию настроек сетевых
-
2015
Рожков, Максим Владимирович
Практическая значимость работы заключается: в создании программного комплекса, позволяющего строить и исследовать большие графовые модели выполнения программ после возникновения CFE для анализа средних задержек обнаружения CFE ещё на этапе проектирования средств обнаружения CFE на вычислительной системе общего назначения с 2-4 Гб оперативной
-
2015
Пилеич, Артем Васильевич
К такому классу вычислительных сетей можно отнести глобальную систему прогнозирования природных и техногенных катастроф «МАКСМ», космическую систему наблюдения и картографирования «СМОТР», системы оперативного гидрологического наблюдения, развернутую систему наблюдения и контроля за климатическими и экологическими изменениями поверхности мирового
-
2015
Фам Зуй Тхай
За последние годы технология смарт-карт значительно усовершенствовалась, как на аппаратном, так и на программном уровнях. Более мощные микропроцессоры и новые программные технологии (например, интерпретация прикладного кода и динамическая загрузка приложения) сделали реальностью мультиприкладные смарт-карты
-
2015
Сорокин, Алексей Борисович
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Московский государственный технический университет имени Н.Э. Баумана
-
2015
Мин Тхет Тин
Существует классическое определение реляционных таблиц (РТ). Но оно не удовлетворяет реальным требованиям к РТ. Поэтому введено понятие и соответствующая расширенная модель реляционных таблиц — РТР. Ее основное отличие от РТ в том, что она отражает свойства ИТВР которые не допустимы в РТ
-
2015
Антонов, Вячеслав Викторович
Наличие в электронном виде огромных объемов информации, ускоряющаяся динамика ее увеличения и рост зависимости всех сфер деятельности человека от аналитических программных систем, делают актуальными и значимыми исследования в данной области
-
2015
Шошмина, Ирина Владимировна
Программные системы логического управления относятся к классу реагирующих систем (reactive systems). Ошибки в них выражаются в нарушении желаемых последовательностей управляющих событий. Формальный метод верификации — метод проверки модели (model checking) — позволяет выявить подобные ошибки. Однако при применении метода проверки модели на
-
2015
Шумский, Леонид Дмитриевич
В настоящей работе рассматриваются вопросы разработки и реализации программного обеспечения (ПО), решающего задачи интеграции корпоративных информационных систем (КИС) и приложений, а также методы и подходы, лежащие в основе такого ПО
-
2015
Королев, Юрий Ильич
Объектом исследования являются сложные ДС, для мониторинга и управления которыми используются ДИС типа ИСППР РВ. Такие системы представляют собой совокупность взаимодействующих компонентов, каждый из которых в любой момент времени находится в некотором состоянии
-
2015
Федулов, Ярослав Александрович
Отзывы в двух экземплярах, заверенные печатью организации, просим направлять по адресу: 111250, Москва, Красноказарменная ул., д. 14, Ученый совет ФГБОУ ВПО «НИУ «МЭИ
-
2015
Рябинин, Константин Валентинович
Достоверность полученных результатов подтверждается теоретической обоснованностью применяемых в исследовании научных методов, а также проверкой предложенных методов и средств путём создания на их основе адаптивной системы научной визуализации и тестированием этой системы при решении реальных прикладных задач из различных научных областей
-
2015
Семерникова, Евгения Евгеньевна
Применение прикладных интегральных схем (ASIC - Application Specific Integrated Circuit) позволяет эффективно реализовывать алгоритмы, использующие произвольную разрядность операндов. Заказные микросхемы являются максимально оптимизированными по структуре, площади кристалла и быстродействию для решения определенной задачи. В отличие от
-
2015
Гурьянов, Максим Анатольевич
В настоящее время многочисленные специалисты разных стран ведут постоянные работы по улучшению, как разрешающей способности РСА, так и методов обработки РЛИ для их представления оператору на дисплее компьютера. В России ведущей организацией в данной сфере является концерн «Вега», который проводит разработку специализированного оборудования и
