Институт системного программирования им. В.П. Иванникова РАН


Мелехова Анна Леонидовна

Управление физической памятью виртуальной машины

Диссертация защищена

Искомая степень: Кандидат технических наук.

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

Дата размещения: 2015-11-03.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Предполагаемая дата защиты: 2016-01-28.

Официальный оппонент: Гергель Виктор Павлович, доктор технических наук (05.13.12).

Место работы, должность: директор Института Информационных технологий, математики и механики Федерального государственного автономного образовательного учреждения высшего образования «Нижегородский государственный университет им. Н.И. Лобачевского», директор Научно-исследовательского института прикладной математики и кибернетики, руководитель Приволжского научно-образовательного Центра суперкомпьютерных технологий

Основные публикации за последние 5 лет:

  1. Гергель В.П., Мееров И.Б., Сысоев А.В., Русаков А.В., Одинцов И.О., Самофалов В.В. Программа профессиональной сертификации по параллельному программированию // Вестник Нижегородского Государственного университета. № 4. Нижний Новгород: Изд-во ННГУ, 2012 г. – C. 41-44
  2. Гергель В.П., Баркалов К.А. Создание системы подготовки высококвалифицированных кадров в области суперкомпьютерных технологий в Приволжском федеральном округе // Школа будущего, №3, 2012. – С. 132–135
  3. Гергель В.П., Кротов Н.В. Опыт Нижегородского университета по подготовке и переподготовке профильных специалистов в сфере информационных технологий // Школа Будущего, №3, 2012. – С. 92-97
  4. Воеводин В.В., Гергель В.П., Соколинский Л.Б., Демкин В.П., Попова Н.Н., Бухановский А.В. Развитие системы суперкомпьютерного образования в России: текущие результаты и перспективы // Вестник Нижегородского Государственного университета. № 4. Нижний Новгород: Изд-во ННГУ, 2012 г. – C. 268 – 274
  5. Лабутина А.А., Гергель В.П. ПАРАЛАБ – среда для проведения вычислительных экспериментов для изучения и исследования параллельных методов решения сложных вычислительных задач // Вестник Нижегородского государственного университета. № 3(2). Нижний Новгород: Изд-во ННГУ, 2011 г. – С. 249-257
  6. А. А. Сиднев, В. П. Гергель, Автоматический выбор наиболее эффективных реализаций алгоритмов, Выч. мет. программирование, 15:4 (2014),  579–592

Отзыв оппонента: Скачать

Официальный оппонент: Ицыксон Владимир Михайлович, кандидат технических наук (05.13.13).

Место работы, должность: и.о. зав. кафедрой "Компьютерные системы и программные технологии" Института Компьютерных Наук и Технологий Санкт-Петербургского Политехнического университета Петра Великого

Основные публикации за последние 5 лет:

  1. M.Kh. Akhin, M.A. Belyaev, V.M. Itsykson. Software defect detection by combining bounded model checking and approximations of functions / Automatic Control and Computer Sciences, December 2014, Volume 48, Issue 7, pp 389-397
  2. Ахин М.Х., Колтон С.Л., Ицыксон В.М. Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей. Моделирование и анализ информационных систем. 2014. Т. 21. № 6. С. 7-17.
  3. Akhin M. K., Belyaev M. A., Itsykson V. M. Software defect detection by combining bounded model checking and approximations of functions //Automatic Control and Computer Sciences. – 2014. – Т. 48. – №. 7. – С. 389-397.
  4. Петров М.А., Гагарский К.А., Беляев М.А., Ицыксон В.М. Использование метода ограниченной проверки моделей для генерации тестов. Моделирование и анализ информационных систем. 2014. Т. 21. № 6. С. 83-93.
  5. М. Belyaev, М. Akhin, V. Itsykson. Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration // Humanities and Science University Journal. #8, 2014 pp. 154-168.
  6. Andrianova A. A., Itsykson V. M. Source code and partial specifications analysis for automated generation of unit tests //Sistemy i Sredstva Informatiki [Systems and Means of Informatics]. – 2014. – Т. 24. – №. 2. – С. 99-113.
  7. M. Akhin, V. M. Itsykson Tree slicing: Finding intertwined and gapped clones in one simple step / Automatic Control and Computer Sciences, December 2013, Volume 47, Issue 7, pp 427-432
  8. Glukhikh M. I., Itsykson V. M., Tsesko V. A. Using dependencies to improve precision of code analysis //Automatic Control and Computer Sciences. – 2012. – Т. 46. – №. 7. – С. 338-344.
  9. Ицыксон В. М., Зозуля А. В. Автоматизированная трансформация программ при миграции на новые библиотеки //Программная инженерия. – 2012. – Т. 6. – С. 8-14.

Отзыв оппонента: Скачать

Ведущая организация: Федеральное государственное учреждение “Федеральный исследовательский центр “Информатики и управления” Российской академии наук”

Контактные данные: 119333, Москва, ул. Вавилова, д.44, к.2, +7 499 135-62-60, ipiran@ipiran.ru, http://www.ipiran.ru/

Основные публикации за последние 5 лет:

  1. Vorontsov K. V., Potapenko A. A. Tutorial on Probabilistic Topic Modeling: Additive Regularization for Stochastic Matrix Factorization // AIST'2014, Analysis of Images, Social networks and Texts. — Springer International Publishing Switzerland, 2014. Communications in Computer and Information Science (CCIS). Vol. 436. pp. 29–46.
  2. Целых В. Р., Воронцов К. В. Критерии согласия для разреженных дискретных распределений и их применение в тематическом моделировании // Машинное обучение и анализ данных. 2012. T. 1, № 4. C. 437-447.
  3. Соколов Е. А., Воронцов К. В. Минимизация вероятности переобучения для композиций линейных классификаторов низкой размерности // Интеллектуализация обработки информации (ИОИ-2012): Докл. — Москва: Торус Пресс, 2012. С. 82–85.
  4. Воронцов К.В., Лисица А.В., Ивахненко А.А., Инякин А.С., Синцова В.В. Системы тестирования алгоритмов машинного обучения: MLcomp, TunedIt и Полигон // Интеллектуализация обработки информации (ИОИ-2010): Докл. Москва: МАКС Пресс, 2010. С. 157–60.
  5. Motrenko A., Strijov V., Weber G.-W. Bayesian sample size estimation for logistic regression // Journal of Computational and Applied Mathematics, 2014, 255 : 743-752
  6. Katrutsa A.M., Strijov V.V. Multicollinearity: Performance Analysis of Feature Selection Algorithms // Conference of the International Federation of Operational Research Societies, 2014 : 138
  7. Strijov V.V., Kuznetsov M.P.K., Motrenko A.P. Structure learning and forecasting model generation // Conference of the International Federation of Operational Research Societies, 2014 : 101
  8. Стрижов В.В. Порождение и выбор моделей в задачах регрессии и классификации. Вычислительный центр РАН, 2014
  9. Зайцев А.А., Стрижов В.В., Токмакова А.А. Оценка гиперпараметров регрессионных моделей методом максимального правдоподобия // Информационные технологии, 2013, 2 : 11-15
  10. Стрижов В.В. Функция ошибки в задачах восстановления регрессии // Заводская лаборатория. Диагностика материалов, 2013, 79(5) : 65-73

Отзыв ведущей организации: Скачать

Решение диссертационного совета по результатам защиты диссертации: Принято решение о присуждении степени.

Присутствовало 18 из 20 членов диссертационного совета: Иванников В.П., Томилин А.Н., Зеленов С.В., Аветисян А.И., Бобков С.Г., Бурдонов И.Б., Жданов А.А., Захаров В.Н., Карпов Л.Е., Крюков В.А., Кузюрин Н.Н., Лаврищева Е.М., Машечкин И.В., Петренко А.К., Позин Б.А., Семенов В.А., Серебряков В.А., Шнитман В.З.

Заключение диссертационного совета: Скачать