Диссертационный совет Д

Диссертационный совет Д 212.232.51
по защитам докторских диссертаций
в Санкт-Петербургском государственном университете

198504 Санкт-Петербург, Старый Петергоф, Университетский пр. 28,
математико-механический факультет СПбГУ

ЗАЩИЩЕННЫЕ ДИССЕРТАЦИИ

2001 год

? 4/X

- Кропачева Наталия Юрьевна
МЕТОДОЛОГИЯ МОДЕЛИРОВАНИЯ СИСТЕМ И ПРОГРАММНЫЕ КОМПЛЕКСЫ ОБУЧЕНИЯ
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальностям
05.13.18 - математическое моделирование, численные методы и комплексы программ
13.00.02 - теория и методика обучения и воспитания (математика)

? 1/XI

- Ярославский Владимир Валерьевич
РАЗРАБОТКА И РЕАЛИЗАЦИЯ JAVA-КОМПЛЕКСА С ЭЛЕМЕНТАМИ ТРИЗ ДЛЯ ТВОРЧЕСКОГО НАВИГАЦИОННОГО ПОИСКА В СЕТИ
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальностям
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

2002 год

? 14/II

- Лукичева Татьяна Николаевна
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ПОВЕДЕНИЯ E- И F-ОБЛАСТЕЙ ВЫСОКОШИРОТНОЙ ИОНОСФЕРЫ
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальности
05.13.18 - математическое моделирование, численные методы и комплексы программ.

? 18/IV

- Саиф Абдель-Рахман Эйд
ЧИСЛЕННЫЕ МЕТОДЫ ИЗУЧЕНИЯ ОШИБОК В НЕКОТОРЫХ СТАТИСТИЧЕСКИХ ЗАДАЧАХ
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальности
05.13.18 - математическое моделирование, численные методы и комплексы программ

? 6/VI- Ли Хе Ран

ГЕНЕРИРОВАНИЕ СТОЛБЦОВ В СИМПЛЕКС-МЕТОДЕ (ВОПРОСЫ ПРОГРАММНОЙ РЕАЛИЗАЦИИ
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальности
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

? 10/X

- Терехов Андрей Андреевич
ЯЗЫКОВЫЕ ПРЕОБРАЗОВАНИЯ В ЗАДАЧАХ РЕИНЖИНИРИНГА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальности
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

? 21/XI

- Чурилов Александр Николаевич
ИССЛЕДОВАНИЕ МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ НЕЛИНЕЙНЫХ СИСТЕМ УПРАВЛЕНИЯ
Диссертация на соискание ученой степени доктора физико-математических наук по специальностям
05.13.18 - Математическое моделировние, численные методы и комплексы программ и
01.01.09 - Дискретная математика и математическая кибернетика

? 28/XI

- Эрлих Леонид Анатольевич
ТЕХНОЛОГИЯ РЕИНЖИНИРИНГА И КОМПОНЕНТИЗАЦИИ УСТАРЕВШИХ ПРОГРАГММЫХ КОМПЛЕКСОВ
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальности
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

? 19/XII

- Кучкова Ирина Николаевна
ЧИСЛЕННОЕ РЕШЕНИЕ СИНГУЛЯРНЫХ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ МЕТОДОМ МОНТЕ-КАРЛО В ЗАДАЧАХ МЕХАНИКИ
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальности
05.13.18 - математическое моделирование, численные методы и комплексы программ

? 19/XII

- Смирнова Елена Сергеевна
РАЗРАБОТКА И РЕАЛИЗАЦИЯ АЛГОРИТМА ОБРАБОТКИ НЕЧЕТКИХ ДАННЫХ В МНОГОУРОВНЕВЫХ ЛОГИКАХ
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальности
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

? 19/XII

- Абакаров Абдулхалик Ширванович
ПРОГРАММНЫЕ КОМПЛЕКСЫ ОПТИМИЗАЦИИ И СИНТЕЗ СИСТЕМ СО СТРУКТУРНЫМ УПРАВЛЕНИЕМ
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальности
05.13.18 - математическое моделирование, численные методы и комплексы программ

? 19/XII

- Пепелышев Андрей Николаевич
ИССЛЕДОВАНИЕ ОПТИМАЛЬНЫХ ПЛАНОВ ЭКСПЕРИМЕНТА НА ОСНОВЕ ФУНКЦИОНАЛЬНОГО ПОДХОДА
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальности
05.13.18 - математическое моделирование, численные методы и комплексы программ

2003 год

? 23/X

- Тайбин Борис Залманович
НЕЛИНЕЙНЫЕ МЕТОДЫ ОБРАБОТКИ ДАННЫХ
Диссертацияна соискание ученой степени доктора физико-математических наук по специальности
05.13.18 - математическое моделировние, численные методы и комплексы программ

2004 год

? 15/IV

- Барашев Дмитрий Валерьевич
ОПТИМИЗАЦИЯ ВЫПОЛНЕНИЯ ЗАПРОСОВ В РАСПРЕДЕЛЕННЫХ НЕОДНОРОДНЫХ СИСТЕМАХ
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальности
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

? 10/VI

- Вяткина Кира Вадимовна (см. автореферат)
ПОЛИНОМИАЛЬНЫЕ АЛГОРИТМЫ ДЛЯ РЕШЕНИЯ КОМБИНАТОРНЫХ ЗАДАЧ РАЗМЕЩЕНИЙ ПРЯМОУГОЛЬНИКОВ
Диссертация на соискание ученой степени кандидата физ.-мат. наук по специальности
05.13.17 - теоретические основы информатики

? 23/XII
- Прокофьева Евгения Юрьевна
МОДИФИКАЦИЯ И РЕАЛИЗАЦИЯ FOTL-МЕТОДА КОМПЬЮТЕРНОЙ ВЕРИФИКАЦИИ АЛГОРИТМОВ, ИСПОЛЬЗУЮЩИХ ЛИНЕЙНОЕ ВРЕМЯ
Диссертация на соискание ученой степени кандидата физико-математических наук по специальности
05.13.17 - теоретические основы информатики

- Булычев Дмитрий Юрьевич
ПРОТОТИПИРОВАНИЕ ВСТРОЕННЫХ СИСТЕМ НА ОСНОВЕ ОПИСАНИЯ МАКРОАРХИТЕКТУРЫ
Диссертация на соискание ученой степени кандидата физико-математических наук по специальности
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

- Кукс Сергей Владимирович (см. автореферат)
ЭВОЛЮЦИЯ СХЕМ СЛАБОСТРУКТУРИРОВАННЫХ ДАННЫХ
Диссертация на соискание ученой степени кандидата физико-математических наук по специальности
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

- Прозорова Эвелина Владимировна
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ПРОЦЕССОВ АЭРОГИДРОДИНАМИКИ С БОЛЬШИМИ ГРАДИЕНТАМИ
Диссертация на соискание ученой степени доктора физико-математических наук по специальности
05.13.18 - математическое моделировние, численные методы и комплексы программ.

2005 год
? 28/IV

- Губин Максим Вадимович (см. автореферат)
МОДЕЛИ И МЕТОДЫ ПРЕДСТАВЛЕНИЯ ТЕКСТОВОГО ДОКУМЕНТА В СИСТЕМАХ ИНФОРМАЦИОННОГО ПОИСКА
Диссертация на соискание ученой степени кандидата физико-математических наук по специальности
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

? 29/IX

- Иванов Александр Николаевич (см. автореферат)
АВТОМАТИЗИРОВАННАЯ ГЕНЕРАЦИЯ ИНФОРМАЦИОННЫХ СИСТЕМ, ОРИЕНТИРОВАННЫХ НА ДАННЫЕ
Диссертация на соискание ученой степени кандидата физико-математических наук по специальности
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

? 27/X
- Горшкова Екатерина Александровна (см. автореферат)
АНАЛИЗ И РАЗРАБОТКА МЕТОДОВ И СРЕДСТВ МОДЕЛИРОВАНИЯ ИНТЕРНЕТ- ПРИЛОЖЕНИЙ
Диссертация на соискание ученой степени кандидата физико-математических наук по специальности
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

- Сысоев Сергей Сергеевич (см. автореферат)
РАНДОМИЗИРОВАННЫЕ АЛГОРИТМЫ СТОХАСТИЧЕСКОЙ ОПТИМИЗАЦИИ И ИХ ПРИМЕНЕНИЕ ДЛЯ ПОВЫШЕНИЯ
ЭФФЕКТИВНОСТИ РАБОТЫ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ И СЕТЕЙ
Диссертация на соискание ученой степени кандидата физико-математических наук по специальности
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

2006 год

? 16/III
- Дарвиш Ашраф Абд ЭльФаттах Мустафа (см. автореферат)

РАСШИРЕНИЕ ПРЕДИКАТНЫХ ФОРМУЛ ЛИНЕЙНЫМИ НЕРАВЕНСТВАМИ И СПИСКАМИ ДЛЯ СПЕЦИФИКАЦИИ ПРОГРАММ
Диссертация на соискание ученой степени кандидата физико-математических наук по специальности
05.13.17 - теоретические основы информатики

? 27/IV

- Мосиенко Максимом Алексеевичем см. (автореферат)

АВТОМАТИЗИРОВАННЫЙ ПЕРЕВОД УСТАРЕВШИХ ПРИЛОЖЕНИЙ НА НОВЫЕ ЯЗЫКИ И ПЛАТФОРМЫ

Диссертация на соискание ученой степени кандидата физико-математических наук по специальности
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

- Шапоренков Дмитрий Александрович (см. автореферат)

ЭФФЕКТИВНЫЕ МЕТОДЫ ИНДЕКСИРОВАНИЯ ДАННЫХ И ВЫПОЛНЕНИЯ ЗАПРОСОВ

В СИСТЕМАХ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ В ОСНОВНОЙ ПАМЯТИ

? 25/V

- Кутарба Анна Юрьевна (см. автореферат)

ПОСТРОЕНИЕ СЕМАНТИЧЕСКОГО СЛОВАРЯ ДЛЯ ОБРАБОТКИ АНГЛОЯЗЫЧНЫХ ТЕКСТОВ

- Шихиев Фуад Шукурович (см. автореферат)

ФОРМАЛИЗАЦИЯ И СЕТЕВАЯ ФОРМУЛИРОВКА ЗАДАЧИ СИНТАКСИЧЕСКОГО АНАЛИЗА

(Модели и алгоритмы),

? 28/IX

- Лукичёв Александр Сергеевич (см. автореферат)

РЕАЛИЗАЦИЯ АТРИБУТНЫХ ГРАММАТИК В ТЕХНОЛОГИИ “SYNTAX”

Диссертация на соискание ученой степени кандидата физико-математических наук по специальностям
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей и

05.13.17 - теоретические основы информатики.

- Мозговой Максим Владимирович (см. автореферат)

МАШИННЫЙ СЕМАНТИЧЕСКИЙ АНАЛИЗ РУССКОГО ЯЗЫКА И ЕГО ПРИМЕНЕНИЯ

? 26/X

- Соколов Андрей Владимирови (см. автореферат)

МАТЕМАТИЧЕСКИЕ МОДЕЛИ И АЛГОРИТМЫ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ ДИНАМИЧЕСКИМИ СТРУКТУРАМИ ДАННЫХ

Диссертация на соискание ученой степени доктора физико-математических наук по специальностям
05.13.17 - теоретические основы информатики и

05.13.18 -. математическое моделировние, численные методы и комплексы программ

? 30/XI

- Полухин Александр Леонидович (см. автореферат)

МЕТОДЫ ДОСТУПА К ХРОНОЛОГИЧЕСКИМ ДАННЫМ

В РЕЛЯЦОННЫХ СИСТЕМАХ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ

? 21/XII

- Александров Фёдор Игоревич (см. автореферат)

РАЗРАБОТКА ПРОГРАММНОГО КОМПЛЕКСА АВТОМАТИЧЕСКОГО ВЫДЕЛЕНИЯ И ПРОГНОЗА АДДИТИВНЫХ КОМПОНЕНТ ВРЕМЕННЫХ РЯДОВ В РАМКАХ ПОДХОДА "ГУСЕНИЦА"-SSA

Диссертация на соискание ученой степени кандидата физико-математических наук по специальности 05.13.18 – Математическое моделирование, численные методы и комплексы программ

- Тимофеев Василий Алексеевич (см. автореферат)

МОДЕЛИРОВАНИЕ МИНИМАЛЬНЫХ СПЛАЙНОВ В ЗАДАЧАХ ЭРМИТА-БИРКГОФА

2007 год

? 26/IV

- Герасимов Александр Сергеевич (см. автореферат)

РАЗРАБОТКА И РЕАЛИЗАНИЯ АЛГОРИТМА ПОИСКА ВЫВОДА В

РАСШИРЕНИИ БЕСКОНЕЧНОЗНАЧНОЙ ПРЕДИКАТОЙ ЛОГИКИ ЛУКАСЕВИЧА

- Соколов Владимир Владимирович (см. автореферат)

COBMECTHOE ИCПOЛЬЗOBAHИE MSC II SDL МОДЕЛЕЙ ПРИ

РA3PAБOTKE COБЫTИЙHO-OPИEHTИPOBAHHЫX CИCTEM

? 31/V

- Наганов Михаил Владимирович (см. автореферат)

АВТОМАТИЗИРОВАННАЯ ГЕНЕРАЦИЯ КОДА

ДЛЯ ИНТЕГРАЦИИ СИСТЕМ УПРАВЛЕНИЯ ТЕЛЕКОММУНИКАЦИЯМИ

Диссертация на соискание ученой степени кандидата физико-математических наук по специальности

05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

- Демина Анна Фёдоровна ( см. автореферат)
МОДЕЛИРОВАНИЕ ГЛАДКИХ НЕПОЛИНОМИАЛЬНЫХ СПЛАЙНОВ

Диссертация на соискание ученой степени кандидата физико-математических наук по специальности

05.13.18 – математическое моделирование, численные методы и комплексы программ

- Лифшиц Юрий Михайлович (см. автореферат)

АЛГОРИТМЫ И АНАЛИЗ ТРУДОЕМКОСТИ ОБРАБОТКИ СЖАТЫХ ТЕКСТОВ

Диссертация на соискание ученой степени кандидата физико-математических наук по специальности

05.13.17 – теоретические основы информатики

- Симановский Андрей Александрович (см. автореферат)

СОГЛАСОВАННЫЕ ЭВАЛЮЦИОННЫЕ ТРАНСФОРМАЦИИ

ВЗАИМОЗАВИСИМЫХ СЛАБОСТРУКТУРИРОВАННЫХ И

РЕЛЯЦИОННЫХ СХЕМ

Диссертация на соискание ученой степени кандидата физико-математических наук по специальности

05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

? 25/X

- Бугайченко Дмитрий Юрьевич (см. автореферат)

РАЗРАБОТКА И РЕАЛИЗАЦИЯ МЕТОДОВ ФОРМАЛЬНО-ЛОГИЧЕСКОЙ СПЕЦИФИКАЦИИ

САМОНАСТРАИВАЮЩИХСЯ МУЛЬТИАГЕНТНЫХ СИСТЕМ С ВРЕМЕННЫМИ ОГРАНИЧЕНИЯМИ

Диссертация на соискание ученой степени кандидата физико-математических наук по специальности

05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

- Морозова Елена Юрьевна (см. автореферат)

ГЛОБАЛЬНАЯ МИНИМИЗАЦИЯ КВАЗИВОГНУТЫХ ФУНКЦИЙ НА ВЫПУКЛЫХ МНОЖЕСТВАХ

Диссертация на соискание ученой степени кандидата физико-математических наук по специальности

05.13.18 – Математическое моделирование, численные методы и комплексы программ

- Шпилёв Пётр Валерьевич (см. автореферат)
АНАЛИТИЧЕСКИЕ МЕТОДЫ ПОСТРОЕНИЯ ОПТИМАЛЬНЫХ ПЛАНОВ ЭКСПЕРИМЕНТА
Диссертация на соискание ученой степени кандидата физико-математических наук по специальности

05.13.18 – Математическое моделирование, численные методы и комплексы программ

? 8/XI

- Макаров Антон Александрович (см. автореферат)
НЕКОТОРЫЕ СПЛАЙН-ВЭЙВЛЕТНЫЕ РАЗЛОЖЕНИЯ НА НЕРАВНОМЕРНОЙ СЕТКЕ

Диссертация на соискание учёной степени кандидата физико-математических наук по специальности

05.13.18 – Математическое моделирование, численные методы и комплексы программ

? 27/XI

- Васильев Павел Константинович (см. автореферат)

РАЗРАБОТКА И РЕАЛИЗАЦИЯ СИСТЕМЫ ИНТЕРПРЕТАЦИИ СПЕЦИФИКАЦИЙ

НА ЯЗЫКЕ ASM С ВРЕМЕНЕМ И ПРОВЕРКИ СВОЙСТВ ТРАСС ИХ ВЫПОЛНЕНИЯ

Диссертация на соискание учёной степени кандидата физико-математических наук по специальности

05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

? 18/XII

- Князева Марина Геннадьевна (автореферат)
ИЗУЧЕНИЕ, МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И

КОМПЬЮТЕРНАЯ ВИЗУАЛИЗАЦИЯ ГИПЕРБОЛИЧЕСКИХ ОБЪЕКТОВ

Диссертация на соискание учёной степени кандидата физико-математических наук по специальности

05.13.18 – Математическое моделирование, численные методы и комплексы программ

- Старосельский Юрий Михайлович (автореферат)
ИССЛЕДОВАНИЕ ОПТИМАЛЬНЫХ ПЛАНОВ ЭКСПЕРИМЕНТА

ДЛЯ НЕЛИНЕЙНЫХ ПО ПАРАМЕТРАМ РЕГРЕССИОННЫХ МОДЕЛЕЙ

Диссертация на соискание учёной степени кандидата физико-математических наук по специальности

05.13.18 – Математическое моделирование, численные методы и комплексы программ

На страницу диссертационного совета

Последнее обновление 18.12.2007