заслуженный профессор Санкт-Петербургского государственного политехнического университета (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)
Yuliya1693
08.02.2022
Самое принципиальное отличие: это тип носителя. Во флешках - это микросхема памяти или набор из таких микросхем, а обычный жесткий диск (не гибридный и не SSD) - это набор дисковых пластин со специальной поверхностью, восприимчивой к магнитному полю. А так данные разбиваются на биты или группы битов и хранятся в специальных ячейках носителя, а контроллер носителя определяет работу диска при поступлении команды, например, на чтение или на запись. Если нужно ответить более развернуто - смотрим в спецальных справочниках и энциклопедиях.
rodsher7740
08.02.2022
Var a,b,c,angA,angB,angC,cs: real; s: string; begin write('длины сторон через пробел: '); readln(a,b,c); if (a+b>c) and(a+c>b) and (c+b>a) then begin cs:=(sqr(a)+sqr(b)-sqr(c))/(2*a*b); angC:=360*ArcCos(cs)/(2*pi); writeln('угол С = ',angC:4:2); cs:=(sqr(a)+sqr(c)-sqr(b))/(2*a*c); angB:=360*ArcCos(cs)/(2*pi); writeln('угол B = ',angB:4:2); angA:=180-angB-angC; writeln('угол A = ',angA:4:2); if (angA<90) and (angB<90) and (angC<90) then s:='треугольник остроугольный'; if (angA>90) or (angB>90) or (angC>90) then s:='треугольник тупоугольный'; if (sqr(a)+sqr(b)=sqr(c)) or (sqr(a)+sqr(c)=sqr(b)) or (sqr(b)+sqr(c)=sqr(a)) then s:='треугольник прямоугольный'; writeln(s); end else writeln('треугольник составить нельзя'); end.
кандидат технических наук (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)