• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Justification of the exact asymptotics of the fundamental solution for a degenerate parabolic equation with a small parameter

Danilov V., Rakhel M.

ZAMM Zeitschrift für Angewandte Mathematik und Mechanik. 2024. Vol. 104. No. 3.

Глава в книге
How Can Narrative Game Design Methods Improve Educational Experience?

Olga Maksimenkova, Lebedev S.

In bk.: Towards a Hybrid, Flexible and Socially Engaged Higher Education. Proceedings of the 26th International Conference on Interactive Collaborative Learning (ICL2023), Volume 3. Vol. 901: Lecture Notes in Networks and Systems, vol 901. Springer, 2024. P. 464-473.

Научный семинар Департамента программной инженерии в 2014-2015 учебном году

19 мая 2015 года

Валерий Владимирович Шилов,
к.т.н., профессор департамента программной инженерии, академический руководитель образовательной программы «Программная инженерия»

О компьютерах и о себе

В докладе будет рассказано об основных проектах, в которых участвовал  докладчик. Среди них -  участие в разработке  и испытаниях сложных систем вооружения,  в проектах создания отечественных суперкомпьютеров “Эльбрус” и оптической супер-ВС. Будут охарактеризованы некоторые научные результаты докладчика в области архитектуры высокопараллельных вычислительных систем, а также в других областях его научных интересов. В целом же в выступлении автор попытается подвести некий (промежуточный!)  итог своей научной и педагогической работы в начале ее нового этапа, связанного с Высшей школой экономики.

Время: 16:40
Место: Кочновский проезд,  д. 3, ауд. 402.
Язык семинара: русский


22 апреля 2015 года

В рамках научного семинара департамента программной инженерии состоятся доклады:

Выступят:

  1. Родригес Залепинос Рамон Антонио, тема «Программная инженерия в научной и преподавательской деятельности»;
  2. Гасанов Эльмир Вагидович, тема «Использование свободного программного обеспечения в обучении веб-программированию»;
  3. Гасанова Сабина Эльмировна, тема «Использование свободного программного обеспечения в курсе компьютерной графики».

Если вам необходимо заказать пропуск, сообщите, пожалуйста, об этом, Ахметсафиной Р.З.

Время: 10.30
Адрес: Кочновский пр-д.,  д.3, ауд. 400
Язык семинара: русский


15 апреля 2015 года

В рамках научного семинара департамента программной инженерии состоятся доклады:

  1. Егоров Виктор Серафимович, тема «Информатика, компьютерные науки и компьютерная грамотность»
  2. Шапкин Павел Александрович, тема «Механизмы теории типов для интеграции данных и процессов»
  3. Максименкова Ольга Вениаминовна, тема «Опыт применения открытых наборов данных в курсе "Программирование"»

 

Если вам необходимо заказать пропуск, сообщите, пожалуйста, об этом, Ахметсафиной Р.З.

Время: 15:00
Адрес: Кочновский пр-д.,  д.3, ауд. 400
Язык семинара: русский


8 апреля 2015 года

«Многомерное хранение журналов событий для извлечения и анализа процессов»: 
доклад представит к.т.н., доцент департамента программной инженерии Брейман Александр Давидович

«Корпоративные программно-аппаратные комплексы как системы систем»: 

доклад представит к.т.н., доцент департамента программной инженерии Зыков Сергей Викторович

Время: 15:00
Адрес: Кочновский пр., д.3, аудитория 400
Язык семинара: русский


19 марта 2015 года


Ефим Михайлович Гринкруг,
к.т.н., профессор департамента программной инженерии 

Динамическая композиция компонент

В докладе обсуждается подход к композиции составных программных компонент из уже существующих – в динамике, без генерации кода. Новые динамические возможности композиции обеспечиваются благодаря расширению понятия типа (компонента) и поддержке реализации этого расширения с помощью программной надстройки компонентной медели JavaBeans и соответствующего набора базовых компонент.  Компорзиция нового компонента осуществляется путем построения составного объекта-прототипа, который затем может быть преобразован в динамике в новый инстанциируемый тип (компонент). Такой подход иллюстрирует взаимоотношения между двумя подходами, имеющимися в компонентно-ориентированном программировании: prototype-based и class-based. Предлагаемая компонентная модель может использоваться при реализации определяемых пользователем типов в декларативных языках для описания event-driven приложений (в частности, в 3D-моделировании, при программировании моделей эволюции и в других прикладных областях).

 
Время: 16:40
Адрес: Кочновский пр., д.3, лекционный зал Лейбниц (ауд. 402)
Язык семинара: русский
 

26 февраля 2015 года


Виктор Кулямин,
сотрудник ИСП РАН, к.ф-м.н., доцент кафедры системного программирования ВМК МГУ 

Некоторые вопросы верификации программного обеспечения

Доклад посвящен двум связанным с разработкой качественных тестов для операционных систем проектам, ведущимся в ИСП РАН: созданию тестов для математических библиотек на основе чисел с плавающей точкой и конфигурационному тестированию операционной системы на базе комбинаторных методов.
Идея построения тестов для математических функций достаточно проста — использовать в качестве тестовых значений аргумента выявляющие характерные особенности функции и те, для которых корректное вычисление функции несколько сложнее, чем в среднем. Значения второго типа связаны с так называемой дилеммой составителя таблиц. Результаты выполнения полученных таким образом тестов вскрывают существенно больше ошибок и неточностей в библиотеках, чем традиционные методы тестирования.

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

Время:  16:40
Адрес: Кочновский пр., д.3, лекционный зал Лейбниц (ауд. 402)
Язык семинара: русский


12 февраля 2015 года

Ольга Вениаминовна Максименкова,
старший преподаватель департамента программной инженерии

Математические основы моделей педагогического тестирования в исторической перспективе

Педагогические измерения - сравнительно молодое направление исследований. Его появление связывают с именем известного психолога Стивенса, который в 1946 опубликовал работу, посвящённую уточнению понятия измерений для социальных наук.

Во второй половине XX века математические модели и теории педагогических измерений появлялись, совершенствовались и развивались.

  • — Какими были корни педагогических измерений?
  • — Как связаны между собой их математические модели?
  • — Имеет ли место вытеснение моделями друг друга или они существуют независимо друг от друга?
Во время доклада мы постараемся ответить на эти вопросы.  

Время: 16;40
Адрес: Кочновский пр., д.3, лекционный зал Лейбниц (ауд. 402)
Язык семинара: русский



5 декабря 2014 года


Assaf Schuster

Computer Science, Technion, Haifa, Israel

RaaS and Ginseng: The Resource as a Service Cloud


Cloud providers, such as Amazon EC2, would like to have satisfied clients. Who wouldn't? However, in order to maximize their marginal profit, they have to fit the clients on as few machines as possible.

One way providers can maximize clients' satisfaction while making best use of the resources is by renting precious physical memory to those clients who value it the most. But real-world cloud clients are selfish; they will only tell their providers the truth about how much they value memory when it is in the clients' best interest to do so. How, then, can cloud providers allocate memory efficiently to those (selfish) clients?

We present Ginseng, the first market-driven cloud system that solves this problem, allocating memory efficiently precisely to those selfish cloud clients who value it the most. Ginseng, built using the KVM hypervisor and libvirt, achieves a 6.2x--15.8x improvement (83%--100% of the optimum) in aggregate client satisfaction.

Время:
16:00 - 17:00

Dzmitry Kliazovich
Research Assistant, Organization & International Development, University of Luxembourg

Energy efficient Cloud Computing


Время:
 17:00 - 18:00
Адрес: Кочновский пр., д.3, лекционный зал Декарт (ауд. 317)
Язык семинара: английский

 


20 ноября 2014 года

Катерина Михайловна Лаврищева
доктор физико-математических наук, профессор, сотрудник Института системного программирования РАН

Базовые дисциплины компьютерных наук

В рамках научного семинара департамента программной инженерии состоялся доклад  "Базовые дисциплины компьютерных наук". Была рассмотрена сущность дисциплин Computer Sciences  - Computer Engineering, Systems  Engineering, Software Engineering, а также  подходы к обучению этим дисциплинам в России, США, Европе.

 
Время: 15:10
Адрес: Кочновский пр., д.3, лекционный зал Лейбниц (ауд. 402)
Язык семинара: русский