Василий Грязнов

Василий Грязнов (полное имя — Василий Фёдорович Грязнов; 19 февраля 1928, деревня Степаново, Рязанская губерния — 10 января 2008, Москва) — советский и российский учёный в области прикладной математики и вычислительной техники, один из основоположников теории автоматизированного проектирования (САПР) в СССР. Лауреат Государственной премии СССР (1978) и премии Совета Министров СССР (1980). Доктор технических наук (1968), профессор (1970). Заслуженный деятель науки и техники РСФСР (1988).

Биография

Ранние годы и образование

Василий Грязнов родился 19 февраля 1928 года в деревне Степаново (ныне — Рыбновский район Рязанской области) в крестьянской семье. В 1946 году поступил на механико-математический факультет Московского государственного университета имени М. В. Ломоносова (МГУ), который окончил в 1951 году по специальности «механика». Среди его преподавателей были выдающиеся математики, в том числе А. Н. Колмогоров и П. С. Александров.

Научная и инженерная деятельность

После окончания МГУ Грязнов был направлен на работу в Научно-исследовательский институт счётного машиностроения (НИИСчётмаш), где занимался разработкой специализированных вычислительных машин для военно-промышленного комплекса. В 1950-е годы участвовал в создании первых советских цифровых вычислительных машин серии «Стрела» и «Урал».

В 1963 году перешёл в Институт точной механики и вычислительной техники имени С. А. Лебедева (ИТМиВТ) АН СССР, где возглавил лабораторию систем автоматизированного проектирования. В 1968 году защитил докторскую диссертацию на тему «Методы и алгоритмы автоматизации проектирования цифровых вычислительных машин».

В 1975 году по инициативе Грязнова в ИТМиВТ был создан отдел теории и методов САПР, который он возглавлял до выхода на пенсию в 1998 году. Под его руководством разработана одна из первых в СССР отечественных систем автоматизированного проектирования — «САПР-ЭВМ», предназначенная для проектирования цифровых устройств и вычислительных систем.

Педагогическая работа

С 1960 года Грязнов вёл преподавательскую деятельность в Московском физико-техническом институте (МФТИ), где читал курсы по теории алгоритмов, автоматизации проектирования и вычислительной математике. В 1970 году ему было присвоено звание профессора. Подготовил 15 кандидатов и 3 докторов наук.

Научные достижения

Теория автоматизированного проектирования

Основные труды Грязнова посвящены математическим основам автоматизации проектирования цифровых устройств. Он ввёл понятие «логической модели проектирования» и разработал методы формального синтеза цифровых схем, основанные на булевой алгебре и теории графов. В 1970-е годы предложил алгоритмы автоматической трассировки печатных плат, которые легли в основу системы «САПР-ЭВМ».

Разработка программного обеспечения

Грязнов руководил созданием первого в СССР комплекса программ для автоматизированного проектирования интегральных схем (БИС). В 1980-е годы под его руководством была разработана система «Практика», предназначенная для автоматизации конструкторского проектирования радиоэлектронной аппаратуры. Система внедрена на ряде предприятий Министерства электронной промышленности СССР.

Публикации

Грязнов — автор более 200 научных работ, в том числе 5 монографий. Наиболее известные книги:

• «Автоматизация проектирования цифровых устройств» (1972)
• «Математические основы САПР» (1978)
• «Системы автоматизированного проектирования в радиоэлектронике» (1985, в соавторстве)

Награды и звания

• Государственная премия СССР (1978) — за цикл работ по созданию методов и средств автоматизированного проектирования вычислительной техники
• Премия Совета Министров СССР (1980) — за внедрение системы «САПР-ЭВМ» в промышленность
• Орден «Знак Почёта» (1971)
• Орден Трудового Красного Знамени (1981)
• Заслуженный деятель науки и техники РСФСР (1988)

Вклад в развитие вычислительной техники

Грязнов считается одним из пионеров автоматизации проектирования в СССР. Его работы заложили основы для создания отечественных САПР, которые использовались при разработке вычислительных машин серии «Эльбрус», «БЭСМ-6» и бортовых компьютеров для космической программы. В 1990-е годы участвовал в конверсионных проектах, адаптируя военные разработки для гражданской промышленности.

Память

В 2010 году в здании ИТМиВТ имени С. А. Лебедева была установлена мемориальная доска в честь В. Ф. Грязнова. Его имя присвоено одной из лабораторий института. В 2018 году в Рыбновском районе Рязанской области открыт памятный знак на родине учёного.

Основные публикации

1. Грязнов В. Ф. Автоматизация проектирования цифровых устройств. — М.: Наука, 1972. — 240 с.
2. Грязнов В. Ф. Математические основы САПР. — М.: Советское радио, 1978. — 320 с.
3. Грязнов В. Ф., Кузнецов В. И. Системы автоматизированного проектирования в радиоэлектронике. — М.: Радио и связь, 1985. — 280 с.
4. Грязнов В. Ф. Алгоритмы автоматической трассировки печатных плат // Вопросы радиоэлектроники. — 1976. — № 4. — С. 12–18.