Новости О кафедре Преподаватели Публикации История кафедры Для обучающихся Контакты | Обучающимся
Темы курсовых и выпускных квалификационных работ, предлагаемые студентам кафедры
- Руководитель: Ампилова Наталья Борисовна
- Моделирование диффузионных процессов: ССА (Cluster Cluster Aggregation) модели.
- Фрактальные методы сегментации изображений.
- Алгоритмы построения стационарного потока на графе.
- Руководитель: Косовская Татьяна Матвеевна
- Разработка (и оценки их сложности) алгоритмов и программ для
эффективного решения различных задач искусственного интеллекта
средствами исчисления предикатов.
- Руководитель: Косовский Николай Кириллович
- Выявление NP-полных задач с подзадачами из класса P.
- Программирование задач искусственного интеллекта на языках Рефал и Пролог.
- Разработка и реализация эвристических алгоритмов, обучающих решению задач из некоторых разделов
теории множеств, математической логики и теории алгоритмов.
- Разработка и реализация нечётких алгоритмов с лингвистическими
переменными.
- Разработка и реализация алгоритмов, разрешающих бескванторные
элементарные теории арифметических сигнатур, содержащих только
тип integer, для IBM-совместимых компьютеров.
- Руководитель: Ловягин Никита Юрьевич
- Реализция WebDAV-файловой системы с индивидуальными правами доступа пользователей посредством PHP
Для каждой папки и файла должны регулироваться или наследоваться права на чтение, запись, удаление, изменение прав индивидуально для пользователей и групп.
К работе предъявляются высочайшие требования по качеству, документированию и безопасности кода.
- Создание драйвера FUSE файловой системы с индивидуальными правами доступа пользователей
Физически файлы должны располагаться в каталоге дисковой файловой системы с полным доступом для пользователя, запустившего драйвер FUSE.
Для каждой папки и файла должны регулироваться или наследоваться права на чтение, запись, удаление, изменение прав индивидуально для пользователей и групп, хранимые в специальном файле (встраиваемой базе данных).
Одно из применений работы — создание гибко конфигурируемых общих папок в *nix системах с многопользовательским доступом. К работе предъявляются высочайшие требования по качеству, документированию и безопасности кода.
- Реализация файловой системы с сохранением истоири изменения файлов и их атрибутов
Физически все версии файлов должны располагаться в каталоге дисковой файловой системы специальным образом. В отдельном файле (встраиваемой базе данных) хранится информация о истории изменения файлов и их атрибутов.
Работа с файловой системой должна осуществляться как посредством интерфейсной программы, так и с помощью драйвера FUSE, позволяющего осуществлять доступ на чтение-запись с сохранением версий и подключение на чтение состояния файловой системы на выбранный момент времени.
- Создание драйвера FUSE файловой системы сохранением файлов на диск в конвертированном виде
Физически конвертированные файлы должны располагаться в каталоге дисковой файловой системы, в отдельном файле (встроенной базе данных) хранится информация о фильтре конвертации и восттановления файла, а также правилах выбора фильтров, определяемых индивидуально для файла по его маске и размеру.
Одно из применений работы — хранение качественно сжатых аварийных копий данных в *nix системах.
- Создание удобного и универсального пакета форматирования таблиц в LaTeX
В настоящее время возможности создания и оформления таблиц в LaTeX реализованы
в различных пакетах (longtable, hhline, multicol, multirow и др.), иногда
конфликтующих между собой и не обеспечивающих полноценненного инструментария
по объединению и разделению ячеек, вертикального и горизонтального выравнивания
текста, обрамления ячеек и т.д.
В работе предлагается создание пакета, комплексно решающего указанные задачи,
и графического приложения наглядного генерирования кода таблицы
Дополнительно может решаться задача перевода в код данного пакета
электронных таблиц и таблиц WYSIWYG текстовых процессоров.
- Исследование алгебры чисел с плавающей точкой
Не секрет, что операции над вещественными числами в компьютерах
осуществляются приближенно, путем представления вещественных
чисел посредством чисел с плавающей точкой, представляющих собой
пару целых чисел (мантисса и порядок) фиксированной длины.
В работе предполагается аксиоматическое описание и математическое
изучение свойств чисел с плавающей точкой. Перспективная цель работы —
улучшение понимания ошибок вычислений, связанных с округлением и
потерей точности, и решение вопроса об их учете.
- Исследование возможности и кросс-платформенная реализация элементов одного
из следующих средств в
рамках имеющихся или новых свободных проектов с открытым исходным кодом:
- запуска Android-приложений на ПК;
- запуска Mac OS-приложений;
- запуска Windows Metro Style приложений;
- просмотра PPT/PPTX презентаций;
- компиляции WinAPI приложений.
- Руководитель: Ловягин Юрий Никитич
- Подходящие исчисления для некоторых многозначных логик.
- Формализация фрагментов естественного языка средствами исчисления предикатов.
- Моделирование основных аспектов математического анализа в рамках аксиоматического нестандартного анализа.
- Проблемы аксиоматизации теории множеств.
- Арифметика Прессбургера как основа "содержательной" математики.
- Компьютерное вычисление истинностных оценок.
- Программный комплекс для вёрстки, реферирования научных, диссертационных, курсовых работ, вкр, и сопроводительных документов.
- Элементарная геометрия в рамках аксиоматического нестандартного анализа.
- Конструктивная логика и конструктивная математика.
- Руководитель: Сафонов Владимир Олегович
- Разработка и реализация облачного сервиса для платформы Microsoft Azure для планирования повседневной учебной и научной деятельности студента.
- Разработка и реализация мобильного сервиса, взаимодействующего с ним мобильного приложения и облачной базы данных для платформы Microsoft Azure для учета расходов.
- Разработка и реализация интеллектуального облачного решения для платформы Microsoft Azure на основе ее встроенных средств машинного обучения.
- Реализация параметров-констант как расширения параметризованных типов языка Java на основе проекта OpenJDK.
- Реализация формальных спецификаций для языка Java в стиле контрактного проектирования по Мейеру на основе проекта OpenJDK.
- Разработка и реализация экспертной системы для выбора смартфона на основе системы Knowledge.NET.
- Разработка экспертной системы для выбора конфигурации компьютеров на основе системы Knowledge.NET.
- Разработка интеллектуальной информационной системы для поддержки жизненного цикла разработки программ на основе системы Knowledge.NET.
- Реализация языка Scala на основе инфраструктуры LLVM.
- Реализация функционального языка O’Caml для платформы .NET.
- Разработка учебного инструмента для визуализации процесса работы компилятора и всех фаз компиляции.
- Масштабирование веб-приложений.
- Реализация интерактивного мультимедийного Web-сайта о Санкт-Петербурге на основе технологии JavaFX.
- Реализация интерактивного мультимедийного Web-сайта о Санкт-Петербурге на основе технологии Microsoft Silverlight.
- Разработка и реализация расширения интегрированной среды Visual Studio для поддержки надежного и безопасного программирования на языке C# на основе шаблонов кода.
Примечания.
- Представлены темы по следующим актуальным направлениям: облачные вычисления, машинное обучение (machine learning), надежные и безопасные вычисления (trustworthy computing), Web-программирование, Java-технология, инженерия знаний, компиляторы.
- Академический доступ к облачной платформе Microsoft Azure осуществляется самими студентами на основе программы Microsoft DreamSpark и специального сайта http://studentazure.ru
- Сайт проекта Knowledge.NET — http://www.knowledge-net.ru
- Руководитель: Соловьев Игорь Павлович
- Алгоритмы анализа и классификации изображений.
- Компьютерное моделирование нейросетей.
- Обучение машин.
- Руководитель: Федорченко Людмила Николаевна
- Аппроксимация КС-языков регулярными множествами.
- Регуляризация контекстно-свободных грамматик в регулярной форме (КСР-грамматик) эквивалентными преобразованиями.
- Технология применения атрибутов и контекстно-зависимый анализ языков программирования.
- Реализация алгоритмов эквивалентных преобразований в системе SynGT (Syntax Graph Transformations) на платформе .NET.
- Алгоритмы минимизации языкового процессора. Реализация атрибутов.
Требования к оформлению и критерии оценивания ВКР: Смотреть |