кандидат технических наук (1971)
доктор технических наук (1991)
доцент (1976)
профессор (1993)
заслуженный профессор Санкт-Петербургского государственного политехнического университета (2006)
Членство в профессиональных обществах
член Американского Математического общества (с 1975 г.)
член Association for Computing Machinery (ACM)
член IEEE Computer Society
член программных комитетов нескольких продолжающихся международных конференций, в частности, ИММОД, CoLoS, SEEMAS, РаСТ и других
член редколлегий журналов "Моделирование и анализ информационных систем", "Научно-технические ведомости СПбГПУ", "Bulletin of the Novosibirsk computing center"
член двух специализированных советов по защите докторских диссертаций
эксперт Российского фонда фундаментальных исследований (2012 г.)
федеральных эксперт научно-технической сферы (ГУ РИНКЦЭ при министерстве промышленности, науки и технологий РФ, свидетельство № 11313707.281)
член Правления Национального общества имитационного моделирования
член Научно-Методического Совета по информатике Министерства образования и науки РФ. Секция фундаментальных основ информатики
Другие заслуги
премия Правительства Санкт-Петербурга за выдающиеся достижения в области высшего и среднего профессионального образования в номинации "Научные достижения повышению качества подготовки специалистов и кадров высшей квалификации" (2011)
премия СПбГПУ за лучшие учебные и научные издания (за монографию "Model Checking. Верификация параллельных и распределенных программных систем") (2011)
диплом фирмы Интел за научный проект "Верификация взаимодействующих временных автоматов" (2001)
инструктор альпинизма (1964)
кандидат в мастера спорта по альпинизму(1969)
Поделитесь своими знаниями, ответьте на вопрос:
Вычислите: 101(в 8-ричной системе счисления)-1в(в 16-ричной сс) 1)32(в десятой сс) 2)111 111(в двоичной) 3)66(в 16-ричной) 4)46(в 8-ричной)
101=1*8^0+0*8^1+1*8^2=1*1+0+64=(65) в десятичной
1в=в*16^0+1*16^1=12*1+1*16=12+16=28 в десятичной
65-28=37
38 в десятичной , но такого ответа нет, значит надо перевести 37 в двоичную систему. для этого 38 делим на 2 пока делится
38/2=19 остаток0
19/2=9 остаток 1, уже видно что двоичный второй ответ не подходит, там нет нуля.
попробуем переведем в восьмеричную, для этого делим 38 на 8.
38/8=4 остаток 6, получается 46 в 8 сс. ответ 4