Раздел: | Маркетинг |
Слайдов: | 25 |
Слов: | 566 |
Символов: | 4823 |
Просмотров: | 28 |
Скачиваний: | 0 |
Загрузка: | онлайн |
Размер: | 7.05 MB |
Тип: | ppt / pptx для PowerPoint/Impress |
Теги: | #язык, #алгоритм, #анализ, #решен, #текст, #программ, #кафедр, #таблиц, #метод, #систем |
Здесь вы можете просмотреть и скачать доклад по теме «Кафедра алгоритмических языков», размещенный в категории «Маркетинг», который поможет вам успешно провести свое мероприятие или подготовиться к занятию.
Факультет ВМК МГУ имени М. В. Ломоносова Кафедра алгоритмических языков
Кафедра алгоритмических языков Кафедра была создана в 1970 году одновременно с основанием самого факультета. Основатель и первый заведующий кафедрой – один из пионеров практической космонавтики и программирования в нашей стране Лауреат Ленинской премии член-корреспондент РАН Святослав Сергеевич Лавров. (1923-2004). В честь Святослава Сергеевича названа малая планета (№ 2354, Lavrov), открытая в 1978 году.
Заведующие кафедрой алгоритмических языков
Автоматический синтаксический анализ Предложена новая модель описания синтаксиса русского языка, реализована экспериментальная версия эвристического синтаксического анализатора, разработаны методы разрешения омонимии с помощью компьютерных словарей сочетаемости.
Работа с текстами на японском языке Создана экспериментальная система для автоматизации работы с текстами на японском языке: лингвистического анализа, получения справочной информации и т. д.
Анализ текстов по шаблонам Разработан комплекс программ анализа текстов по лексико-синтаксическим шаблонам, который включает средства построения приложений по автоматической обработке текста на русском языке, а также среду пользователя для анализа текстов по шаблонам ; комплекс опробован для решения прикладных задач, в том числе – терминологического анализа научно-технических текстов.
Служба тематических толковых словарей Создан и поддерживается общенациональный веб-ресурс «Служба тематических толковых словарей Glossary Commander» (неоднократно занимавший первое место по посещаемости среди научных сайтов (данные рейтинга Rambler Top 100).
Алгоритмы символьных вычислений Разрабатываются алгоритмы решения в символьном виде задач компьютерной алгебры: алгоритмы преобразования полиномиальных матриц; алгоритмы преобразования линейных дифференциальных и разностных систем; алгоритмы построения решений линейных дифференциальных и разностных систем. Ведется работа по модернизации существующих алгоритмов компьютерной алгебры. Разрабатываемые алгоритмы доступны в виде процедур для популярной системы компьютерной алгебры Maple.
Основные темы исследований Разработан новый метод описания формальных языков (L-графы), с его помощью решен ряд прикладных задач. Предложены новые методы синтеза программ (синтез по формальным спецификациям и на основе онтологии прецедентов); реализованы системы синтеза программ. Разработана методика, позволяющая интегрировать вычислительные модели различных языков программирования в среду C++. Созданы объектно-ориенти-рованные библиотеки, представляющие вычислительные модели языков Lisp, Scheme, Refal, Prolog и Planner.
Основные темы исследований Создан улучшенный алгоритм решения переборных задач методом ретроградного анализа, позволяющий в несколько раз ускорить классический алгоритм. Главное же, алгоритм эффективно распараллеливается для решения задач на суперкомпьютерах, что еще не удавалось никому в мире. С помощью алгоритма на суперкомпьютере Ломоносов было выполнено полное решение задачи игры в шахматы для 7 и менее фигур. Таблицы, названные «таблицами Ломоносова», объемом более 100 ТБ (в сжатом виде) позволяют сразу же получать оптимальное решение для игры в шахматы при 3-7 фигурах на доске. На основании таблиц зарубежные авторы (John Nunn, Guy Haworth) в 2013 г. году провели и опубликовали (в журнале Chess Endgame News) несколько исследований по шахматной эндшпильной теории. Международной федерацией заочных шахмат (ICCF) принято решение, начиная с 2014 года, прекращать игру и присуждать результаты партий по таблицам Ломоносова, если партия достигла эндшпиля, в котором известен результат по таблицам.
НИР: шахматная информатика Начальная позиция мата за 549 ходов (решение найдено по «таблицам Ломоносова»)
Магистерские программы кафедры Программа, по которой ведется обучение с 2008 года «Прикладные Интернет-технологии» Дисциплины специализации: -- Веб-ресурсы -- Язык гипертекстовой разметки HTML -- Веб-дизайн -- Интернет-приложения -- Протоколы Интернет -- Менеджмент Интернет-проектов -- Управление проектами (доп. главы) -- Веб-сервисы -- Технологии конструирования Интернет-приложений -- Защита информации в сети Интернет -- Веб-серверы -- Алгоритмическая поддержка Интернет-технологий
Магистерские программы кафедры Программа, обучение по которой началось в 2015 году: «Интеллектуальные системы» Дисциплины специализации: -- Параллельные вычисления -- Прикладной многомерный статистический анализ -- Методы интеллектуального анализа данных -- Парадигмы программирования -- Модели представления знаний и онтологии -- Математические методы анализа текста (на англ. языке) -- Прикладные задачи компьютерной лингвистики -- Программные системы управления проектами -- Интеллектуальный интерфейс
Спецкурсы в поддержку спецсеминаров Спецкурсы в поддержку спецсеминаров
Спасибо за внимание!
Похожие презентации по маркетингу