Алекс Яковлев ⇐ Васина Википедия

[wiki_en]

* Искусственная нейронная сеть|Нейронные сети
* Сеть на чипе|Сети на чипе
* Микропроцессоры
*Ленинградский электротехнический институт
* Университет Ньюкасла-апон-Тайн
* Литературные лаборатории
* Графики перехода сигналов или STG (унифицированные и символические)
* Причинно-логические сети (компактное моделирование сильной и слабой причинности)
* Place Chart Nets (компактное моделирование асинхронности и прерываний)
* Workcraft, набор инструментов для проектирования и анализа асинхронных схем

* Премия Малларда (2016 г.)
* ДФБКС (2014)
* Лекция Пинкертона (2010 г.)
* Премия тысячелетия в области технологий (2010 г.)
* Медаль Фарадея (2007 г.)
* Премия Королевского общества Вольфсона за заслуги в области исследований (2004 г.)

'''Александр Владимирович Яковлев'''
==Образование==
В 1973 году Яковлев окончил среднюю школу №38 Советского Ленинграда. Это была и остается (2024 г.) одна из известных школ с упором на математику и физику. Его оценки были 75% «отлично» и 25% «хорошо». Затем он сдал вступительные экзамены на факультет вычислительной техники Ленинградского электротехнического института (ныне Санкт-Петербургский электротехнический университет). Бакалавриат инженеров в Советском Союзе длился 5 с половиной лет, поэтому ученую степень (с отличием) Яковлев получил в 1979 году. Студенты затем прошли ряд «практик», на кафедре, а на 5-м курсе , на каком-то заводе. Кроме того, студенты должны были сдать государственный экзамен и выполнить дипломный проект. Таким образом, получение такой степени Diplom-Ingenieur приравнивается к обучению в магистратуре. Дипломная работа Яковлева «Проектирование программного обеспечения для микропроцессорного логического управления» выполнена под руководством профессора Юрия Сидорова. На пятом курсе он стал победителем Вселенинградской олимпиады по информатике, был делегатом съезда победителей олимпиад, проходившего в Москве в 1979 году.
В 1979 году Яковлев сдал на кафедре «Математическое обеспечение ЭВМ» ЛЭТИ вступительные экзамены в «Аспирантуру», эквивалент учебы в аспирантуре. Среди этих экзаменов был один по выбранной теме исследования, но сначала нужно было найти консультанта. Яковлев очень хотел попасть в группу профессора Варшавского. Однако это было непросто, сначала нужно было показать свои навыки одному из участников группы. Этим членом был доцент Леонид Розенблюм, который на долгие годы стал наставником Яковлева. В 1982 году Яковлев защитил кандидатскую диссертацию [http://async.org.uk/ay-thesis «Проектирование и реализация асинхронных протоколов связи в системных интерфейсах»]. Защита диссертации в СССР означала получение степени «кандидат технических наук» и автоматически давала надбавку к зарплате. По этой причине каждому аспиранту приходилось защищаться перед оппонентами, назначенными Государственной комиссией ВАК. В 2006 году, будучи профессором Университета Ньюкасла (Великобритания), Яковлев защитил докторскую диссертацию. дипломная работа [http://www.staff.ncl.ac.uk/alex.ykovlev ... thesis.pdf «Теория и практика использования моделей параллелизма в аппаратном проектировании»] на основе сборника трудов.

==Карьера и исследования==
В 1982 году Яковлев стал доцентом кафедры «Математическое обеспечение вычислительной техники» ЛЭТИ. В 1984-85 годах находился в отпуске из ЛЭТИ на постдокторантуру в вычислительной лаборатории Университета Ньюкасл-апон-Тайн. По возвращении продолжал работать на той же должности до 1987 года. В 1988 году был повышен до должности доцента и заместителя заведующего той же кафедрой и проработал там до 1990 года. В октябре 1990 года эмигрировал из СССР и начал работать старшим преподавателем на кафедре компьютерных исследований Университета Гламоргана (ныне Университет Южного Уэльса). В 1991 году он получил должность лектора кафедры вычислительной техники Университета Ньюкасл-апон-Тайн и проработал на этой должности до 1997 года.

в августе 2002 года перешёл с факультета вычислительной техники, а до августа 2017 года перешёл в Школу электротехники и электроники. Инженерный факультет Университета Ньюкасла
Яковлев сформировал Лабораторию асинхронных систем в Ньюкасле, в которую входят пятнадцать членов (преподаватели, RA и PhD) и имеет тесные связи с промышленностью (Intel, BAe Dynamics, Theyseus Logic, Cogency Technology, Acorn Networks, Atmel, Dialog Semiconductor и другие компании). . Он внес вклад в формирование нескольких британских и международных академических партнерств при поддержке EPSRC, Британской Колумбии, грантов Леверхалма и ACiD-WG ЕС. Его «команда Petrify» была наиболее продуктивной и поддерживалась Intel, совместными проектами EPSRC с Бристольским университетом и Королевским колледжем Лондона, дядей Bae Dynamics. Яковлев участвовал в формировании группы асинхронных разработчиков в корпорации Intel, которая выполняла работу над асинхронным декодером инструкций RAPPID (1996-99). Позже он сформировал консорциум ЕС (GENESIS) для разработки общих методов и алгоритмов синтеза распределенных, параллельных и асинхронных систем.
Яковлев был председателем и сопредседателем нескольких симпозиумов ASYNC, а также организовал ряд семинаров и конференций по сетям Петри. Он был соучредителем и председателем руководящего комитета конференции ACSD (Применение параллелизма к проектированию систем) с 2001 по 2018 год. Он также входил в состав руководящего комитета PATMOS и был его генеральным председателем в 2012 году. Вместе с профессором Стивом Фербером он соучредитель и руководитель британского форума Async с 1997 по 2012 год. Он читал приглашенные лекции по использованию сетей Петри в проектировании аппаратного обеспечения и асинхронном проектировании в ряде университетов и компаний по всему миру (например, Хельсинкский ТУ, ТУ Дании, IMEC Левен, Манчестерский университет, Университет Бирмингема, Университет Бристоля, Университет Аугсбурга, BTU Cottbus, Исследовательские лаборатории HP, Acorn Networks, Dialog, Analog Devices, Nordic Semiconductor).

В период с 1982 по 2006 год, то есть между докторской и докторской диссертацией, исследовательская работа Яковлева была сосредоточена на доказательстве преимуществ методов асинхронного проектирования при построении СБИС-систем. В частности, он продемонстрировал решающую роль формальных моделей параллелизма, таких как сети Петри, в разработке асинхронных систем, которые являются надежными (свободными от опасностей) и эффективными (с точки зрения скорости, энергопотребления и размера). Эти 24 года исследований привели к значительным результатам, которые разделены на следующие четыре основные категории:

Формальные модели асинхронного поведения:
(1) В 1980-е годы на основе сетей Петри совместно с Л. Розенблюмом Яковлев разработал модель Signal Transition Graphs или STG (независимо аналогичная модель была предложена Т.А. Чу в Массачусетском технологическом институте). Эта модель нашла широкое применение и привела к дальнейшим исследованиям многих исследователей и разработчиков асинхронных систем по всему миру. Более того, большое сообщество разработчиков асинхронных систем за рубежом (например, разработчики первого асинхронного микропроцессора Amulet и дизайнеры Intel) использовали STG для синтеза и анализа своих схем.
(2) Исходная модель STG была определена как для несинхронизированных, так и для синхронизированных случаев, что позволяло не только разрабатывать схемы с неограниченными задержками (пессимистические, независимые от скорости, случай), но также и схемы с временными ограничениями (позволяющими оптимизировать скорость и площадь при цена более оптимистичного подхода к задержкам). Последний аспект также привел к множеству исследований в асинхронном сообществе, включая концепции «ленивых» систем переходов и относительного времени, которые активно использовались в Intel.
(3) С 1990 по 1995 год Яковлев разработал концепцию причинности в асинхронном поведении оборудования; в частности, он исследовал ИЛИ-причинность, парадигму параллелизма, реализованную в новом расширении сети Петри под названием «Каузальные логические сети». Первоначальная «двоичная версия» модели STG также была распространена на многозначные или символические STG.

Синтез асинхронных цепей:
(4) В период с 1990 по 1997 год Яковлев разработал методологию синтеза асинхронных схем управления, основанную на сетях Петри. Методика имеет два этапа. На первом этапе, «Абстрактный синтез», используются размеченные сети Петри и их композиция. Второй этап, Логический синтез, использует уточнение сетей, полученных методом абстрактного синтеза, в графы перехода сигналов (СТГ) и синтез безопасных логических схем из СТГ. В частности, Яковлев внес вклад в разработку набора новых методов и алгоритмов, поддерживающих эту методологию:
* методы синтеза скоростно-независимых схем непосредственно из СТГ, минуя полное исследование пространства состояний, с использованием классов блокировки (связности) (первоначально предложенных в диссертации Яковлева). диссертацию) и использование разверток сети Петри и приближенных булевых накрытий;
* метод синтеза безопасных сетей Петри с считыванием дуг из переходных систем и метод решения задачи кодирования состояний в синтезе на основе STG, оба основаны на теории областей в переходных системах;
* метод безопасной реализации скоростно-независимых схем с использованием условий монотонного покрытия;
* метод декомпозиции и технологического отображения скоростно-независимых схем с использованием булевой факторизации и бинарных отношений;
* методы оптимизации асинхронных схем (по факторам скорости и площади) и построения локально независимых от скорости (или с ограниченными задержками) и глобально нечувствительных к задержкам схем с использованием различных методов преобразования STG (при соответствующих критериях эквивалентности), сокращения и расширения параллелизма, квитирования расширение. Основные алгоритмы этой методологии были реализованы в программных средствах либо при его непосредственном участии (Petrify), либо под его руководством (ПНИФ, ПУНТ)

Проверка асинхронной схемы:
В период с 1994 по 1998 год Яковлев внес вклад в разработку автоматических методов проверки асинхронных схем, основанных на методах частичного порядка, таких как (временное) развертывание сети Петри. Его аспиранты и коллеги разработали новые методы и алгоритмы развертки сетей Петри, чтобы повысить эффективность подхода анализа частичного порядка для fc-ограниченных сетей Петри и сетей Петри с дугами чтения, используя методы, основанные на (FIFO или LIFO) упорядочении токены в небезопасных местах, репрезентативные наборы переходов, слабая причинность и контекстуальные циклы. Эти методы были реализованы под его руководством в инструменте PUNT, а затем развиты в докторантуре при поддержке Applied Materials. Эти методы и инструменты были успешно использованы в ряде приложений, таких как проверка логики управления микропроцессорами Amulet и проверка согласованности четырехслотового асинхронного коммуникационного механизма Simpson (активно используемого BAe).

Проектирование асинхронных схем:
(6) Чтобы доказать на практике полезность формальных методов, приемов и средств, Яковлев сконструировал многочисленные схемы асинхронного управления. Например, контроллеры шины, асинхронный конвейерный интерфейс Token-Ring, различные арбитры, аналого-цифровые преобразователи, микроконвейерные схемы и процессоры (например, конвейер противотока Спроула) и проблемы промышленного дизайна ESPRIT ACID-WG.
(7) Другие методы, поддерживающие проектирование асинхронных схем, включают:
* принцип структурной маскировки неисправностей в асинхронных интерфейсах и методы самовосстановления в асинхронных системах;
* метод оценки энергопотребления в асинхронных схемах управления на основе Т-инвариантов сети Петри;
* метод анализа производительности асинхронных арбитров;
* метод использования VHDL при синтезе асинхронных схем;
* метод самопроверки и самовосстановления в самосинхронных системах;
* метод оценки времени выполнения в наихудшем случае для моделей ЦП с использованием цветных сетей.

Исследование Яковлева финансировалось Исследовательским советом по инженерным и физическим наукам (EPSRC),http://gow.epsrc.ac.uk/NGBOViewPerson.a ... sonId=5628. Гранты, предоставленные Стиву Ферберу Исследовательский совет инженерных и физических наук Королевское общество и Европейский исследовательский совет (ERC).

===Награды и почести===
В 1985 году Яковлев стал пионером Futurebus (стандарт IEEE 896). В период с 1992 по 2004 год Яковлев был представителем «Ньюкасла» в Европейской рабочей группе по проектированию асинхронных схем (ACiD-WG). В 2021–2013 годах он был удостоен звания Dream Fellow EPSRC, где он стал пионером исследований в области энергомодулированных вычислений. В 2015 году он был избран членом Института инженерии и технологий (IET). В том же году он был зарегистрирован в качестве дипломированного инженера (CEng). Год спустя, в 2016 году, Яковлев был избран членом Института инженеров по электротехнике и электронике (IEEE), а в 2017 году — членом Королевской инженерной академии (REng).

===Научная генеалогия===
Генеалогия предполагает, что учёный оставит после себя хотя бы одного учёного сопоставимого масштаба. Такая цепочка может оказаться короткой или даже разорваться в силу различных обстоятельств. Наставник и близкий друг Яковлева Леонид (Лека) Розенблюм (1936-2019), к сожалению, не смог продолжить свою научную карьеру, как ему хотелось бы. Противоположное произошло с другим ученым предыдущего поколения, Вячеславом (Славой) Мараховским (1940-). Свою карьеру он продолжил в Японии, в Университете Айдзу-Вакамацу. Оба оказали большое влияние на Яковлева и находились в группе научного руководителя Яковлева Виктора Варшавского. Значительное влияние на исследовательские и лидерские качества Яковлева оказал его наставник из Ньюкасла профессор Дэвид Киннимент (1940-2012), который был широко признанным пионером исследований метастабильности и синхронизации и основателем исследовательской группы по проектированию микроэлектроники в Ньюкасле в 1979 году.
Приведенная ниже генеалогия показывает, что разница в возрасте между «самым молодым» и «самым старым» профессором в четырех поколениях составляла тогда всего 30 лет.
* Виктор Варшавский (1933-2005), профессор информатики в Ленинграде
* Михаил Цетлин (1924-1966), профессор математики и физики в Москве
*Израиль Гельфанд (1913-2009), профессор математики в Москве
* Андрей Колмогоров (1903-1987), профессор математики в Москве

1956 года рождения
Живые люди
Английские инженеры-электрики
Британские ученые-компьютерщики
Компьютерные дизайнеры
Люди, связанные с Инженерной школой Университета Ньюкасл-апон-Тайн
Члены Королевской инженерной академии
Члены ИЭПП
Члены IEEE
Выпускники Ленинградского электротехнического института
Преподаватели Университета Ньюкасл-апон-Тайн
История вычислений в Соединенном Королевстве
Ученые из Ньюкасл-апон-Тайн

Подробнее: https://en.wikipedia.org/wiki/Alex_Yakovlev