Кафедра информатики

математико-механического факультета СПбГУ

Новости

О кафедре

Преподаватели

Публикации

История кафедры

Для обучающихся

Контакты

Обучающимся

Темы курсовых и выпускных квалификационных работ, предлагаемые студентам кафедры

  • Руководитель: Ампилова Наталья Борисовна
    • Моделирование диффузионных процессов: ССА (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.
    • Алгоритмы минимизации языкового процессора. Реализация атрибутов.

Требования к оформлению и критерии оценивания ВКР: Смотреть