Форумы ЛВК

Бычков Иван

Задачи и алгоритмы построения многостадийных расписаний. Задача построения многостадийных расписаний заключается в следующем: задано N требований, которые должны быть обслужены последовательно M приборами. Каждое требование обслуживается сначала прибором 1, затем прибором 2 и т.д., наконец прибором М ...

Бычков Иван

Тема: «Алгоритмы построения расписания обменов в кольце с арбитражем по протоколу отображения FC-AE-1553 для смешенного потока работ с мягкими и жесткими директивными интервалами». Расш ...

Бычков Иван

...

Бычков Иван

= ...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

Т ...

Бычков Иван

Т ...

Бычков Иван

Тема: Исследование влияния функционирования BGP на функционирование наблюдаемого сегмента сети Расшифровка темы: Протокол BGP используется для установки правил маршрутизации между автономными системами (АС) сети Интернет. Основны ...

Бычков Иван

Т ...

Бычков Иван

Т ...

Бычков Иван

Тема работы : Инструментальное средство автоматизации построения моделей нормального поведения приложений Расшифровка темы : Основная решаемая задача - адаптация системы статического анализа исходных текстов Unravel к задаче автоматизации выделения состояний приложения, соответствующих участков исхо ...

Бычков Иван

Тема работы : Инструментальная система имитации компьютерных атак Расшифровка темы : Продолжение работы 4 курса по созданию инструментария для имитации вредоносного трафика с использованием реал ...

Бычков Иван

...

Бычков Иван

Тема: Реализация долговременного хранения объектов JavaScript, для которых существуют серверные методы CRUD Актуальность: На сегодня распространено использование модели взаимодействия, в которой сервер предоставляет доступ к данным объектов в формате XML или JSON, а клиентский код на JavaScript обра ...

Бычков Иван

Тема работы Разметка программ контрольными точками для контроля поведения приложений в подсистеме безопасности ядра Linux Расшифровка темы : Продолжение работы 3 курса по расстановке меток в программах не изменяющим control flow способом, с целью контроля изменения состояния приложений со стороны яд ...

Бычков Иван

Тема работы : Контроль нормального поведения приложений в подсистеме безопасности ядра Linux Расшифровка темы : Разработка и реализация подсистемы контроля поведения приложений по автоматным моделям на языке Aura в рамках подсистемы GRSecurity/SELinux ядра Linux. Постановка задачи : Разработать и ре ...

Бычков Иван

Тема работы : Система визуализации комплексных атак и состояния защищаемой сети Расшифровка темы : Продолжение работы по разработке схемы визуализации комплексных атак для СОА REDSecure. В нынешнем году предполагается довести созданный прототип до продуктива и провести эксперименты. Актуальность : С ...

Бычков Иван

Тема : Обнаружение сетевых червей на основе анализа встречаемости вредоносного кода в сетевом трафике. Расшифровка темы : Продолжение работы 3 курса. При обнаружении какого-то "нового", ранее не встречавшегося участка, начинаем следить за частотой его встречаем ...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

Алгоритмы планирования обменов для вычислительных систем реального времени, построенные на основе алгоритмов решения японских кроссвордов. Данная работа является продолжением работы выполненной студентом на 3-м и 4-м курсах. Рассматриваются вычислительные системы реального времени со средой обмена, п ...

Бычков Иван

Тема работы Адаптация средства kernel-based checkpoint/restart к работе с графическими се ...

Бычков Иван

Тема работы Повышение эффективности протокола VNC путём специальной обработки типичных последовательностей запросов X протокола О чём это Подавляющее большинство приложений в среде unix/x11 работают c X протоколом не непосредственно, а через высокоуровневые библиотеки типа Qt или Gtk. Эти библиотеки ...

Бычков Иван

Тема работы Статический анализ типов в языке Питон, на уровне байт-кода. Цель работы В данной работе делается попытка создания анализатора байт-кода для языка Python с целью обнаружения уязвимостей web-приложений. Но: студент в прошлом году с задачей толком не справился, а сделал самый минимум и то ...

Бычков Иван

Тема Настраиваемая среда выполнения дискретно-событийных имитационных моделей (СВ ДСИМ) с блочной архитектурой Формулировка проблемы Работа проходит в общем направлении создания среды выполнения дискретно-событийных имитационных моделей с расширяемой архитектурой. В 2008 году был выполнен обзор ряда ...

Бычков Иван

Тема работы : Распараллеливание вычисления регулярных выражений PCRE с помощью GPU. Расшифровка темы : Предполагается разработать модификацию библиотеки libpcre, которая будет использовать GPU для вычисления регулярных выражений с помощью CUDA. Есть соответствующая статья 2009 года, частично решающа ...

Бычков Иван

Тема работы Статический анализ языка JavaScript. Актуальность Язык JavaScript активно используется в современных web-приложениях, на нем основана популярная технология AJAX. Кроме того, язык активно используется в мультимедиа. Большая часть уязвимостей web-приложений и браузеров связана с возможност ...

Бычков Иван

Т ...

Бычков Иван

Тема: реализация моделей обработки трафика, порожденного активностью ВПО в модели глобальной сети. В системе моделирования есть необходимые компоненты для задания трафика, компонентов сети, ВПО, необходимо добавить модель сбоев в работе атакуемых ресурсов (сервисов/серверов) сети. Необходимо: 1 семес ...

Бычков Иван

Тема работы : Оценка наихудшего времени выполнения линейных участков программ на языке AURA Постановка задачи : Разработать и реализовать средство оценки наихудшего времени выполнения программ (WCET) на языке AURA в составе компилятора языка. При этом необходимо статически (на этапе компиляции) оцен ...

Бычков Иван

Тема работы: Исследование методов оценки WCET программ, выполнение которых зависит от внешнего источника событий с заданным распределением во времени. Актуальность: Оценка WCET является неотъемлемой фазой проектирования систем реального времени. В тоже время этой фазой часто пренебрегают используя да ...

Бычков Иван

Тема работы : Распараллеливание вычисления регулярных выражений PCRE с помощью GPU. Расшифровка темы : Предполагается разработать модификацию библиотеки libpcre, которая будет использовать GPU для вычисления регулярных выражений с помощью CUDA. Есть соответствующая статья 2009 года, частично решающа ...

Бычков Иван

...

Бычков Иван

Постановка практически идентична прошлогодней, изменилась лишь расшифровка (часть которой сделана) и план работы. Тема работы Исследование текстуально-контекстного подхода к средам разработки программ Актуальность Среды разработки программ (IDE) в силу ориентации на профессиональных пользователей пре ...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

Постановка задачи, за исключением плана работ, идентична 3-му курсу. Тема работы Разработка средства управ ...

Бычков Иван

П ...

Бычков Иван

Тема: Cравн ...

Бычков Иван

Постановка задачи на 4 курс Тема работы. ...

Бычков Иван

Тема работы Разработка библиотеки распознавания событий Работа является вспомогательной для работы Н. Близнюка: https://lvk.cs.msu.ru/forum/viewtopic.php?t=396 Контекст работы см. там же. Цель работы Разработать и реализовать независимую библиотеку, обеспе ...

Бычков Иван

Тема работы Разработка средства распознавания шаблонов в трассах событий Работа является продолжением работы прошлого года и продолжением дипломной работы О. Козлова. Актуальность см. здесь: https://lvk.cs.msu.ru/forum/viewtopic.php?t=273 https://lvk.cs.msu.ru/forum/viewtopic.php?t=157 Цель работы н ...

Бычков Иван

Тема: Сравнение статических анализаторов безопасности веб-приложений Расшифровка (для внутреннего пользования): В настоящее время существует много статических анализаторов Java, как свободно распространяемых, так и коммерческих. Некоторые из них являются анализаторами общего назначения, некоторые – ...

Бычков Иван

Тема работы Разработка схемы совместной работы алгоритмов планирования вычислений и обменов в ВС РВ Расшифровка темы Рассматриваются однородные многопроцессорные вычислительные системы реального времени. В качестве примера рассматриваются системы, работающие в соответствии со стандартом ARINC-653, с ...

Бычков Иван

Тема Динамическая проверка свойств поведения вычислительных систем . Формулировки проблемы В прошлом году был разработан подход к динамической проверке свойств темпоральной логики LTL в СОА RedSecure. Идея подхода заключается в том, что формула LTL транслируется в альтернирующий автомат (АА), по кот ...

Бычков Иван

Тема работы Разработка средства поддержки AIGLX в сервере сеанса тонких клиентов AIGLX — accelerated indirect GLX — средство, обеспечивающее работу приложений с аппаратно ускоренно ...

Бычков Иван

Тема работы Разработка и реализация модифицированной подсистемы байес-анализа в системе SpamAssassin. SpamAssassin - наиболее распространённая open-source система фильтрации спама. Байес-анализ — метод статистического анализа содержимого почтовых сообщени ...

Бычков Иван

Тема работы cvslvk? cvslvk - система сборки используемая в ЛВК. Актуальность Система cvslvk была разработана 10 лет назад. С тех пор изменились требования, предъявляемые к cvslvk, сменились варианты ее использования, появились новые инструменты. В итоге cvslvk - это довольно большая система, содержащ ...

Бычков Иван

Тема: Система хранения трасс выполнения имитационных моделей в компактном виде (продолжение работы 3-4 курса) Общая цель - создать систему хранения трасс в сжатом виде, с возможностью вып ...

Бычков Иван

1) «Были изучены и описаны методики сравнения статических анализаторов и сканеров безопасности».

Описаны где?

2) В чем научная составляющая дипломной работы?

3) Какие готовые решения вы собираетесь использовать в вашей среде и какая часть разработки принадлежит вам?

Бычков Иван

1) «Было выяснено, что задача построения расписания/генерирования тестовых исходных данных для системы реального времени на коммутаторе принципиально отличается от аналогичной задачи для шины». В чем состоит принципиальное отличие? 2) Генератор исходных данных реализован? Замечания к работе высылаю п ...

Бычков Иван

1) Результаты работы за семестр.
«Написана формальная постановка задачи»

формальная постановка задачи — это результат?
Где можно с ней ознакомиться?

Бычков Иван

У вас есть какой-нибудь отчуждаемый результат?

Бычков Иван

1) «Предложена схема работы для приложений, использующих трехмерную графику, на тонких клиентах». Где с ней можно ознакомиться? 2) Что означают слова «Начато практическое знакомство с системами»? 3) «Написано пошаговое руководство по установке и настройке VMGL». См. п. 1. 4) «Дальнейший план работы • ...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

Тема : Создание параллельного ядра анализа системы обнаружения атак Расшифровка темы : Продолжение работы 4-го курса в общем направлении повышения производительности ядра анализа и базы сценариев REDSecure. В проектах на базе СОА REDSecure используется специализированный domain-specific язык для опи ...

Бычков Иван

Постановка неформальная Тема: Система автоматического управления автомобилем в условиях дорожного движения. Расшифровка темы: Завершение работы 4 курса и доведение её до дипломной. На 4 курсе были разработаны и формально описаны 1) способ представления дороги и ограничений на движения автомобиля 2) а ...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

Крупные вехи по ходу работы студента: 3 курс (сделано) - изучение методов сжатия, реализация сжатия без потерь применительно к трассам стенда полунатурного моделирования. 4 курс - разработка и реализация методов доступа к сжатой трассе без ее полной распаковки. 5 курс - разработка и реализация подсис ...

Бычков Иван

b]Тема работы[/b] Исследование текстуально-контекстного подхода к средам разработки программ Актуальность Среды разработки программ (IDE) в силу ориентации на профессиональных пользователей предоставляют очень широкий набор возможностей. Этот набор ...

Бычков Иван

Тема Анализ последствий реализации угроз ИБ в сетях (Составная часть в проекте Гибридной модели глобальной сети (ГМГС)) Цели Исследование методов оценки угроз и ущерба от угроз ИБ Разработка методов оценки ущерба в глобальной сети при помощи ГМГС Задачи 1 Изучить проблематику массовых воздействий в ...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

Тема работы Разработка графической оболочки для системы контроля версий Subversion. Расшифровка темы Необходимо создать средство, делающее максим ...

Бычков Иван

Тема работы Процессорозависимые оптимизации для процессора NM6403. Актуальность Процессоры обработки сигналов имеют ря ...

Бычков Иван

...

Бычков Иван

Тема работы : Автоматизации разметки исполнимого кода программы контрольными точками для точного разделения пространства её состояний со стороны ядра ОС. Расшифровка темы : В работе рассматриваются формализованные механизмы контроля поведения программ, используемые в ОС Linux - SELinux и AppArmor. В ...

Бычков Иван

Тема работы Организация работы приложений, использующих 3d-графику, на рабочих местах на базе тонких клиентов. Замечание: у Александра большой опыт работы с 3d-графикой; тема была согласована с ним ещё весной. Актуальность В настоящее время 3d-графика в разном виде активно проникает на рабочий стол ...

Бычков Иван

Тема работы Анализ методов спецификации поведения вычислительных систем на основе расширений регулярных выражений. Актуальность В конце 80-х - начале 90-х было достаточно много статей на тему использования расширений регулярных выражений (РРВ) для спецификации и распознавания п ...

Бычков Иван

Тема работы Разработка средства автоматического тестирования графического интерфейса пользователя для Qt/X11. Расшифровка темы и актуальность В области тестирования ПО отдельно рассматривают задачу тестирования графического интерфейса пользователя (GUI). Это связано с тем, что в качестве входных дан ...

Бычков Иван

Тема работы Исследование методов энергосберегающего выполнения программ. Данная тема расчитана на 3 года. Актуальность Постоянное увеличение производительности ЭВМ (Закон Мура) несет с ...

Бычков Иван

Тема работы Разработка средств сохранения и восстановления группы работающих процессов в ОС Linux Актуальность Опыт эксплуатации нашей сети показал, что «долгоживущие» сеансы — ...

Бычков Иван

Тема: Исследование эффективности моделей оценки надёжности (reliability growth models) компонентов стенда полунатурного моделирования. Ра ...

Бычков Иван

Тема работы Статический анализ безопасности web-приложений, построенных с помощью скриптовых языков, на уровне байт-кода. Актуальность В курсовых работах Г. Климова уже исследовалась тематика анализа безопасности web-приложений, построенных с помощью скриптовых языков. Этот анализ проводился на уров ...

Бычков Иван

Алгоритмы построения расписания обменов в кольце с арбитражем. Разработано приложение к стандарту Fibre Channel, в котором предлагается реализация протокола верхнего уровня для отображения на Волоконный канал архитектуры MIL-STD-1553 (в дальнейшем, протокол отображения MIL-STD-1553). Для этого отобра ...

Бычков Иван

...

Бычков Иван

Тема работы. Исследование применимости нейросетевых алгоритмов для поиска разметок фазовых траекторий. Расшифровка темы. Ранее в лаборатории был разработан подход к построению алгоритмов распознавания аномальных режимов работы динамических систем. Идея подхода заключается в следующем: 1. На первом э ...

Бычков Иван

Тема: Верификация безопасности наблюдаемого поведения информационной системы Расшифровка темы: Речь идёт об исследовании применимости верификации в режиме выполнения (runtime verification) для обнаружения атак. Верификация в режиме выполнения программы -- это подход, при котором верификатор проверяе ...

Бычков Иван

Проблематика При разработке веб-приложений приходится решать ряд задач, связанных с их stateless-сущностью. В частности, создавать механизмы, которые позволят реализовать многопользовательский режим редактирования данных в (логические блокировки). На текущий момент IIS, многие сервера приложений J2E ...

Бычков Иван

Соруководитель - Александр Герасев Тема Модель внутренней сети автономной системы в системе ГМГС (Составная часть в проекте Гибридной модели глобальной сети (ГМГС)) Цели Разработка модели домена АС в системе ГМГС Разработка моделей генераторов и потребителей трафика в модели ГМГС Задачи 1 Исследовать ...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

= Постановка задачи для А. Барковского, 4 курс = == Тема работы == Разработка и исследование алгоритмов формирования рекомендаций по обеспечению совместимости требований к информационному обмену на основе схемы имитации отжига. == Контекст == Рассмотренная на 3 курсе формальная постановка задачи форм ...

Бычков Иван

Алгоритмы планирования обменов для вычислительных систем реального времени, построенных на основе коммутаторов FIBRE CHANNEL. Данная работа является продолжением работы выполненной студентом на 3-м курсе. Расшифровка темы полностью совпадает с прошлогодней. На 4-м курсе студент должен решить следующи ...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

Тема работы : Разработка системы поточной фильтрации вредоносного кода для высокоскоростных сетевых каналов. Расшифровка темы : Продолжение успешной работы 3-го курса, где научились с хорошей точностью обнаруживать шеллкод по частоте встречаемости инструкций в NOP-зонах. В этом году планируется заня ...

Бычков Иван

Тема работы : Средство имитации комплексных атак на основе Metasploit Framework. Расшифровка темы : Суть работы заключается в со ...

Бычков Иван

Тема работы : Система визуализации комплексных атак и состояния защищаемой сети. Расшифровка темы : Продолжение работы 3-го курса по разработке схемы визуализации комплексных атак для СОА REDSecure. Особенность задачи визуализации комплексных атак заключается в том, что если в случае простых атак мы ...

Бычков Иван

...

Бычков Иван

Тема Модель внешних сегментов сети в ГМГС. (Составная часть в проекте Гибридной модели глобальной сети (ГМГС)) Цели Исследование возможности построения модели глобальной сети на базе аналитических моделей. Разработка генераторов трафика для аналитических моделей в составе ГМГС Задачи 1 Провести обзо ...

Бычков Иван

Тема работы : Автоматизация построения поведенческих профилей приложений для SELinux и AppArmor с контролем внутреннего состояния приложения. Расшифровка темы : Од ...

Бычков Иван

Тема : Среда поддержки разработки сценариев на языке описания поведения R-lang. Расшифровка темы : Продолжение и завершение работы с IDE для языка REDSecure/MРВС (рабочее название R-lang). В рамках дипломной работы планируется существующую программу рефакторить и превратить в модуль для Eclipse. Для ...

Бычков Иван

Тема работы Разработка средств отображения видеопотока на рабочих местах, основанных на тонких клиентах Это продолжение работы, начатой на 4 курсе. Актуальность Средства отображения видеопотока в настоящее время широко используются при повседневной работе с к ...

Бычков Иван

Тема работы Разработка среды прогона для стенда полунатурного моделирования на базе realtime preemptive linux Актуальность Стенд полунатурного моделирования, разрабатываемый в ЛВК, на сегодняшний день использует среду прогона на основе системы rtms — набора модулей, загружаемых в ядро linux и сообща ...

Бычков Иван

Примечание: работа является продолжением темы с 4 курса. Тема работы Автоматический поиск научных статей в русскоязычном сегменте сети Интернет. Актуальность Работы над русскоязычной версией CiteSeer, проводившиеся в Лаборатории в последние годы показали, что созданная библиотека активно индексируетс ...

Бычков Иван

...

Бычков Иван

...

Бычков Иван

Примечание: Работа представляет собой продолжение работ 3-4 курса. В прошлом году студент пинал балду и толком ничего не сделал (см. отзывы рецензентов). В результате тему оставляем. Тема: Статический анализ безопасности web-приложений, созданных с помощью скриптовых языков. Актуальность: Одним из в ...

Бычков Иван

С ...

Бычков Иван

Тема работы: Разработка средства анализа результатов моделирования на основе методов нечеткого поиска Расшифровка темы: Работа посвящена изучению существующих методов нечёткого поиска для массивов данных и построению алгоритма, позволяющего решать следующие задачи: 1. Автоматическое сравнение двух ф ...

Бычков Иван

Примечание: Продолжение работы 3-4 курса. Тема работы Извлечение метаинформации и библиографических ссылок из текстов научных статей методами машинного обучения и построение графа научного цитирования. Актуальность В рамках работ на 3-4 курсе были экспериментально исследованы методы HMM, CRF, а такж ...

Бычков Иван

Тема работы : Алгоритмы планирования в ВС РВ, основанные на методе муравьиных колоний. Расшифровка темы : Работа является продолжением работы, выполненной на 3-м и 4-м курсах. В диплом войдут описание и исследование алгоритма построения статико-динамических расписаний (стандарт ARINC-653) и алгоритм ...

Бычков Иван

= Постановка задачи для П. Шестова, 5 курс = == Тема работы == А ...

Бычков Иван

...

Бычков Иван

...

Найдено 113 результатов