RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Смелянский Руслан Леонидович

В базах данных Math-Net.Ru
Публикаций: 5
Научных статей: 5

Статистика просмотров:
Эта страница:1614
Страницы публикаций:500
Полные тексты:187
Списки литературы:55
член-корреспондент РАН
профессор
доктор физико-математических наук (1990)

Основные темы научной работы

Архитектура мультипроцессорных вычислительных систем, формальные модели параллельных вычислений, методы и средства спецификации и верификации поведения программ, моделирование, анализ функционирования, синтез и адаптация мультипроцессорных вычислительных систем, системы реального времени.

Научная биография:

Окончил среднюю школу № 70 г. Москвы (1968). В 1968–1970 гг. находился на действительной военной службе. После демобилизации был принят на работу в Главный Вычислительный Центр Госплана СССР, где трудился в 1970–1972 гг. в должностях от техника до старшего инженера. В 1972 г. поступил на факультет вычислительной математики и кибернетики МГУ, который окончил с отличием по кафедре автоматизации систем вычислительных комплексов (1977). В 1977–1980 гг. обучался в аспирантуре факультета ВМиК. Кандидат физико-математических наук (1980), тема диссертации: "Многоаспектная фильтрация программ" (научный руководитель Л. Н. Королев). Доктор физико-математических наук (1990), тема диссертации: "Анализ производительности многопроцессорных систем на основе инварианта поведения программ". Ученое звание — профессор (1992). Заслуженный деятель науки Российской Федерации (2002). Действительный член РАЕН (2001), член международных профессиональных ассоциаций Computer Society, ACM (с 1994).

Работает в МГУ с 1980 г. в должностях ассистента (1980–1987), доцента (1987–1991), профессора (с 1991) кафедры АСВК факультета вычислительной математики и кибернетики.

Подготовил 12 кандидатов наук. Автор более 140 научных работ.

   
Основные публикации:
  • Модель функционирования распределенных вычислительных систем // Вестн. Моск. ун-та, сер. 15: Вычисл. матем. и киберн., 1990, № 3, c. 3–21.
  • Об инварианте поведения программ // Вестн. Моск. ун-та, сер. 15: Вычисл. матем. и киберн., 1990, № 4, c. 54–60.
  • DYANA: An Evironment for Embedded System Design and Analysis // Proc. of 5-th International Conference TACAS'99, Amsterdam, Netherlands, March 22–28, 1999, Springer (LNCS v. 1579), pp. 390–404 (соавт. Bakhmurov A., Kapitonova A.).
  • Метод и средства оценки времени выполнения оптимизированных программ // Программирование, 1999, № 5, c. 52–61 (соавт. Балашов В. В. и др.).

http://www.mathnet.ru/rus/person27558
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
2019
1. Р. Л. Смелянский, “Иерархические периферийные вычисления”, Модел. и анализ информ. систем, 26:1 (2019),  146–169  mathnet
2. С. О. Беззубцев, В. В. Васин, Д. Ю. Волканов, Ш. Р. Жайлауова, В. А. Мирошник, Ю. А. Скобцова, Р. Л. Смелянский, “Об одном подходе к построению сетевого процессорного устройства”, Модел. и анализ информ. систем, 26:1 (2019),  39–62  mathnet
3. В. А. Антоненко, Р. Л. Смелянский, А. В. Плакунов, П. А. Михеев, “Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции”, Модел. и анализ информ. систем, 26:1 (2019),  7–22  mathnet
2013
4. В. Ю. Королев, Р. Л. Смелянский, Т. Р. Смелянский, А. В. Шалимов, “Статистическая проверка неисполняемости фрагментов кода последовательной программы”, Информ. и её примен., 7:2 (2013),  50–54  mathnet
5. В. А. Захаров, Р. Л. Смелянский, Е. В. Чемерицкий, “Формальная модель и задачи верификации программно-конфигурируемых сетей”, Модел. и анализ информ. систем, 20:6 (2013),  36–51  mathnet

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019