100 лет Давиду Матвеевичу Гробману

100 лет Давиду Матвеевичу Гробману

Давид Матвеевич Гробман (1922-2007)

В ноябре 2022 исполняется 100 лет со дня рождения Давида Матвеевича Гробмана (1922-2007) – российского и советского учёного, математика, представителя первого поколения отечественных программистов, одного из основателей отечественной школы синтеза и анализа контрольных и диагностических тестов дискретных устройств, логико-функционального моделирования цифровых схем.

Родился Давид Матвеевич 16 ноября 1922 года в Москве в семье советских служащих. В мае 1941 был призван в Красную Армию. Участник Великой Отечественной войны с первых ее дней, был несколько раз ранен, имеет боевые награды. День Победы встретил в 1945 г. в Румынии.

После демобилизации в 1945 году поступил на учебу в МГУ им. М.В. Ломоносова на механико-математический факультет и окончил его в 1950 г. По завершении учебы в течение семи лет (1951—1957) на преподавательской работе. В 1953 поступил в заочную аспирантуру механико-математического факультета МГУ. По окончании аспирантуры защитил кандидатскую диссертацию и получил степень кандидата физико-математических наук, а в 1966 году защитил докторскую диссертацию и получил степень доктора физико-математических наук.

Основное направление научных работ Д.М. Гробмана в математике – методы решения дифференциальных уравнений. В этой области по свидетельству руководителя семинара по качественной теории дифференциальных уравнений при МГУ известного математика профессора В.В. Немыцкого Д.М. Гробман добился выдающихся результатов [1]. Сформулированная и доказанная Д.М. Гробманом теорема, в дальнейшем, называемая теоремой Гробмана-Хартмана [2,3], является классической и представляет собой существенный вклад в развитие качественной теории дифференциальных уравнений и её приложений к анализу устойчивости динамических систем.

В 1957 году Д.М. Гробман перешёл на работу в ИНЭУМ в теоретический отдел на должность старшего научного сотрудника и руководителя группы, занимающейся теорией построения вычислительных и управляющих машин. Д.М. Гробман также участвовал в разработке прикладного программного обеспечения одной из первых отечественных ЭВМ М-2. Кроме того он принимал самое активное участие в разработке архитектуры ЭВМ М-5, в определении системы её команд. Под его руководством была разработана методика программирования на этой машине и выполнены работы по автоматизации программирования и логического контроля работы М5.

В конце 1950-х и начале 1960-х годов XX века в ИНЭУМ Д.М. Гробманом были также выполнены серьезные работы по вычислительной математике. Полученные результаты нашли свое применение в эконометрике и энергетике. В частности, Д.М. Гробман предложил принципиально новый метод определения экономичных режимов энергетических систем, который позволил решать данную задачу без обычных искусственно вводимых упрощений.

В это же время по инициативе И.С. Брука в ИНЭУМ был организован отдел диагностического контроля. Руководить отделом И.С. Брук предложил Давиду Матвеевичу. И.С. Брук и Д.М. Гробман определили основные направления работ отдела: разработка методов, алгоритмов и программ синтеза и анализа контрольно-диагностических тестов цифровых систем и их верификации, а также разработка программно-аппаратных комплексов автоматического внешнего контроля средств вычислительной техники и выработка рекомендаций по проектированию контролепригодных схем и устройств. Для решения поставленных целей Давид Матвеевич сумел привлечь в отдел способных молодых людей, поставить перед ними научные и технические задачи и осуществлял неформальное руководство их работой.

Д.М. Гробманом и его сотрудниками были разработаны и обоснованы математические методы и алгоритмы моделирования, контроля и диагностики цифровых устройств, и на их базе сформулированы основные принципы создания автоматизированных программных систем верификации, синтеза и анализа контрольно-диагностических тестов цифровых схем. В соответствии с этими принципами под руководством Давида Матвеевича и его непосредственном участии в ИНЭУМ, начиная с 1959 года и до середины восьмидесятых годов, было создано пять программных автоматизированных систем моделирования, синтеза и анализа тестов с использованием ЭВМ М-2, БЭСМ-4, М-4030 (с адаптацией программ для ЕС ЭВМ). Каждая новая система существенно отличалась от предыдущих, а ее технические характеристики всегда отвечали современных требованиям.

Разработанные в ИНЭУМ автоматизированные системы моделирования синтеза и анализа тестов использовались в Институте при отладке блоков элементов ЭВМ М-5, ЭВМ серии АСВТ-М, различных моделей СМ ЭВМ. Кроме ИНЭУМ данные системы использовались в НПО «Агат», НИИ Счетмаш, НПО «Импульс», МАЗ «Дзержинец», на заводе САМ и в некоторых других организациях.

В отделе под руководством ученика Давида Матвеевича к.т.н. Б.Г. Сергеева, начиная с конца 1950-х годов, успешно велись работы по созданию технических средств автоматического контроля средств вычислительной техники. В отделе был разработан и внедрён целый ряд программно-аппаратных комплексов функционального и параметрического контроля блоков элементов ЭВМ, удовлетворяющих самым современным требованиям. Давид Матвеевич принимал самое активное участие в разработке этих комплексов. Им были определены основные подходы к созданию программного обеспечения (ПО) данных комплексов. ПО включало подготовку входных и анализ выходных данных тестирования, организацию обмена информацией тестеров с управляющей ЭВМ, задание режимов контроля испытуемых блоков элементов, реализацию любого требуемого алгоритма синхронного или асинхронного обмена с объектом контроля в соответствии с его интерфейсом, организацию работы автоматических тестеров в многотерминальном режиме, автоматический поиск неисправностей с помощью диагностических словарей и программно-управляемого пробника.

В начале 1980-х годов в СССР начался бурный рост производства БИС и СБИС и их широкое применение в отечественных разработках. Существующие в то время программные системы моделирования на универсальных ЭВМ оказались неспособными удовлетворить как запросы разработчиков собственно СБИС, так и разработчиков устройств, содержащих БИС и СБИС. В первом случае это было обусловлено чрезвычайно большими затратами времени ЭВМ при моделировании, во втором – большими затратами времени при создании библиотек моделей СБИС.

Для ликвидации указанных недостатков по инициативе Б.Г. Сергеева в отделе впервые в отечественной практике были разработаны адаптер аппаратной библиотеки и многопроцессорный комплекс – ускоритель логического моделирования СБИС (УЛМ). Адаптер предназначался для моделирования дискретных устройств, содержащих СБИС, и основывался на применении наряду с чисто программными моделями физических образцов ИС, снабжённых программными оболочками, предназначенными для обмена данными с другими элементами модели устройства [4,5]. УЛМ обеспечивал ускорение процесса моделирования проектируемых СБИС по сравнению с программными системами моделирования на два-три порядка. Это достигалось благодаря аппаратной реализации алгоритма временного событийного многозначного моделирования, конвейерной обработке данных и многопроцессорной архитектуре [4,6,7].

Давид Матвеевич принимал активное участие в данных разработках. Особенно следует отметить его вклад в разработку ПО адаптера аппаратной библиотеки и в разработку и обоснование аппаратной реализации алгоритма временного многозначного событийного моделирования, используемого в УЛМ.

Д.М. Гробман обладал выдающимися педагогическими способностями. Он является одним из создателей отечественной школы моделирования, синтеза и анализа контрольно- диагностических тестов средств вычислительной техники. Под руководством Д.М. Гробмана 12 сотрудников и аспирантов защитили кандидатские диссертации по данной тематике. Его научное руководство всегда носило неформальный характер. Он участвовал в постановке научно-технических задач, скрупулёзно анализировал полученные его учениками результаты, часто подвергал работы своих учеников справедливой критике и при необходимости помогал им советом и делом. Надо сказать, что Давид Матвеевич был исключительно принципиальным руководителем. Он был требователен к своим ученикам и сотрудникам, не прощал им недобросовестности и поверхностного отношения к работе. Давид Матвеевич имел на это моральное право. Не было случая чтобы он сам сфальшивил в науке или поставил свою подпись под работами аспирантов и сотрудников даже если имел к этим работам прямое отношение.

Умер Давид Матвеевич 31 марта 2007 года. Память о нём навсегда сохранится в сердцах его близких, учеников и тех, кто работал с ним и лично его знал.

Литература

  1. В.В. Немыцкий. Обыкновенные дифференциальные уравнения. Математика в СССР за сорок лет. 1917-1957. Том первый. Обзорные статьи. Государственное издательство физико-математической литературы, –М.: –1959, с. 524—555.

  2. Д.М. Гробман. Гомеоморфизм систем дифференциальных уравнений, ДАН СССР 128 (1959), no. 5, с. 880–881.

  3. В.И. Арнольд, Ю С. Ильяшенко. Обыкновенные дифференциальные уравнения, Динамические системы – 1, Итоги науки и техники. Серия. Современные проблемы математики. Фундаментальные направления, 1, ВИНИТИ, –М.: –1985, c. 7–140.

  4. Б.М. Басок. ИНЭУМ: разработка программно-аппаратных средств диагностического контроля и верификации вычислительных систем. Труды V Международной конференции «Развитие вычислительной техники в России и странах бывшего СССР: История и перспективы», SoRuCom 2020, РИНЦ, –М: ВШЭ, с.49—54.

  5. Сергеев Б.Г., Басок Б.М. Использование адаптера аппаратной библиотеки БИС для моделирования сложных цифровых блоков. // Вопросы радиоэлектроники серия ЭВТ, –1990, вып. 17, с. 61 – 65.

  6. Сергеев Б.Г. Аппаратное ускорение моделирования СБИС // Микроэлектроника, т. 18, вып. 6, –1989, с. 554—560.

  7. Бродский М.А., Каплунов Е.А. Организация проектирования дискретных устройств в программно-техническом комплексе «Ускоритель» // Вопросы радиоэлектроники серия ЭВТ, –1990, вып. 17, с. 66 –67. 

Об авторе: кандидат технических наук, доцент МИРЭА – Российский технологический университет
basok@mirea.ru
Помещена в музей с разрешения автора 15 ноября 2022