CC BY
19
Лавров Святослав Сергеевич
НАУЧНАЯ АВТОБИОГРАФИЯ 1
Ее можно начать, пожалуй, с факта -читать я умел уже с того времени, с какого себя помню - лет с трех-четырех. И этим умением я активно пользовался - из прочитанного в дошкольные годы помню не столько «Мойдодыра», сколько различные научно-познавательные книжки, например: «Наши друзья и враги-невидимки» (о микробах), «Физика в играх» Доната и даже «Рассказ о великом плане» М. Ильина (изложение основ политэкономии, естественно, с обличением капитализма и восхвалением социализма, но, вот беда, - первое запомнилось ярче).
Я. Перельман и Жюль Берн были моими любимыми авторами, но уже несколько позже - во время учебы в младших классах.
Кстати - об этой учебе. Б первый же день моего пребывания в школе учительница устроила мне проверку знаний по письму и арифметике. И хотя я от волнения начисто забыл, как пишется заглавная буква «М» (вероятно, из-за простоты решения), на следующий день я уже ходил во второй класс. Еще годом позже семья вернулась из Донбасса в Ленинград, и на мою долю выпала новая проверка. И здесь не без казуса -год Октябрьской революции я назвал верно, а про то, когда была Февральская, сказал: «Не помню, - кажется в 1918». Не знаю, что было бы, ошибись я в первом случае, а так я был определен в 4-й класс, сэкономив для себя два года учебы. Это обошлось мне недешево - я был «домашним» ребенком, да и физическим развитием не отличался, так что в школе (класса до 8-го) чувствовал себя, мягко говоря, неуютно. Но худа без добра не бывает - выпавшие мне испытания закалили мой характер, научили «держать удары».
Б школе я последовательно прошел через увлечения биологией, физикой, химией
(но значительно меньшее), математикой (это уже навсегда) и девочками (без комментариев).
Продолжая тему - когда в начале-середине 50-х в стране появились первые ЭБМ, с таким же детским увлечением я влез в программирование. И не в том дело, что это увлечение подогревалось профессиональными интересами (об этом - позже). Это занятие затрагивало какие-то глубинные струны моей души, отвечало складу всей моей личности. И если в математике я всего лишь любитель, то в программировании уверенно считаю себя профессионалом.
Б старших классах я занимался в математическом кружке (совместное детище матмеха ЛГУ и Дворца пионеров). Не скажу, что эти занятия проходили для меня без затруднений, но вызывали большой интерес и приносили много эмоций.
Эмоции - у «технаря»? Почему-то творческой интеллигенцией у нас принято называть ее художественно-артистические слои, не включая в нее ученых, конструкторов и т. д. Обижаться смешно, а критиковать сложившиеся термины - глупо. Но наивно думать, что в науке, в проектировании можно сделать что-нибудь стоящее без творчества, без фантазии, на голой, как говорится, технике.
Подлинные находки и здесь требуют озарения, напряженной работы подсознания, интуиции - знания, не облеченного в точные формулировки. Радость обретения, горечь разочарования (гораздо чаще), предчувствия, захватывающие дух, присущи математику или конструктору сельскохозяйственных машин ничуть не в меньшей степени, чем композитору или поэту. Ну, а без владения техникой своего дела не прожить ни ученому, ни художнику, если это действительно Ученый или Художник.
1 Печатается с небольшими сокращениями. Отрывки из научной автобиографии были опубликованы в журнале «Компьютерные инструменты в образовании», № 2, 2001 г.
В 1939 году - в год окончания школы -я быт среди победителей, как тогда говорили, Ленинградской математической олимпиады.
Тем не менее, при выборе факультета (вуз - Ленинградский университет - не вызывал у меня сомнений) я заколебался -идти ли на матмех или на физфак. Возможно, не без влияния моего друга по кружку С.А. Каплана, впоследствии видного радиофизика, трагически погибшего при неясных обстоятельствах в конце 70-х. А может быть, я уже тогда почувствовал, что чистая математика - занятие не для меня.
Все же математика (или самостоятельность) победила.
Я рано лишился отца - в 1937 году (к счастью, если это выражение здесь уместно, он умер в этом трагическом году своей смертью), жили мы с мамой трудно, но, несмотря на все тяготы жизни, два студенческих года были для меня интеллектуальным праздником.
Правда, я далеко не одинаково относился к математическим дисциплинам. Скажем, алгебра (лектор - Д.К. Фаддеев, семинары - И.С. Соминский) вызывала у меня живейший интерес, если не восторг, а анализ оставлял довольно равнодушным. Хотя я и отдавал должное лекторскому мастерству Г.М. Фихтенгольца, но уже со второго семестра его разжевывание (как мне казалось) элементарных вопросов начало мне надоедать.
И в том и в другом курсе уделялось заметное внимание вычислительным вопросам (численному решению уравнений, вычислению элементарных функций и пр.). Не знаю, было ли это независимой (или совместной) инициативой этих двух лекторов, следованием традиции петербургской математической школы доводить исследование до числа или установкой свыше на «приближение университетского образования к жизни». Но эти разделы курса находили живейший отклик в моей душе. А установка «имела место». Как ее следствие, нам стали читать нетрадиционный для матмеха курс начертательной геометрии (в довольно любопытной трактовке), а на отделении механики - сопромат.
Выигранные мной за счет школьной учебы два года университета до начала Отечественной войны сыграли в моей последующей жизни если не решающую, то исключительно большую роль. Прежде всего, я успел получить основы систематического математического образования в наиболее благоприятных для этого возрасте и среде.
Далее - когда началась война, я, как и все студенты-мужчины, пошел в ленинградское народное ополчение. Не стану кривить душой и говорить о своих высоких патриотических чувствах, хотя и не был их лишен. Но неделей раньше - неделей позже мне все равно предстоял призыв в армию. Артиллерийский полк, куда мы все попали, задержался формированием. А в это время к нам подоспели вербовщики из созданной за несколько месяцев до этого Ленинградской военной воздушной академии. Почти все мы согласились пойти туда учиться и были приняты. Трижды продлевался срок нашего обучения - от трех месяцев до шести, затем до года, а в результате мы были выпущены в 1944 году с дипломом военного инженера-механика, с сумбурным, но достаточно полным инженерным образованием, в звании старшего техника-лейтенанта. Я попал по распределению техником звена в истребительный авиационный полк.
Почти через год после конца войны -новая вербовка. Некий подполковник Королев в сопровождении майора в авиационной форме предложил мне работу по изучению совершенно новой техники, на что я, долго не раздумывая, согласился. Техника эта оказалась немецкой ракетой Фау-2, действительно производившей впечатление по тем временам.
В итоге всего в начале 1947 года я был демобилизован из армии и принят на работу сразу на должность начальника группы баллистики в подмосковное КБ в отдел Главного конструктора Сергея Павловича Королева (того самого «подполковника»). Приобретенные мною знания и опыт, среди которых я без колебаний ставлю на первое место свой двухлетний университетский багаж, позволили мне без особых проблем включиться в предложенную работу.
Лавров С.С.
Баллистика - это тот узел, куда стягиваются практически все характеристики «изделия» (ракеты или, впоследствии, космического аппарата) - весовые, энергетические, многочисленные параметры системы управления - и где должны быть надежно определены его тактико-технические данные: дальность полета (параметры орбиты), «полезный» груз, рассеивание у цели. Делается это на всех этапах разработки -от согласования с военным заказчиком технического задания, по ходу эскизного и рабочего проектирования до подготовки и проведения летных испытаний (запусков космических аппаратов).
Не в силу каких-либо личных качеств, а благодаря этой особой роли баллистики я был участником разнообразных совещаний, где собирались вообще-то люди на несколько ступенек выше меня по должности. Совещания проходили и у Главного конструктора, и на полигоне (где я отвечал за подготовку полетного задания на каждый пуск), и в иных инстанциях. Там обсуждались и принимались, обычно в условиях острого столкновения интересов (военных и промышленности, КБ и министерств, Главных конструкторов изделия в целом и отдельных систем), важнейшие решения.
Никогда за все эти годы ни я, ни руководимая мной служба не подводили КБ ни по глубине и качеству исполнения, ни по срокам.
Ежегодно в группе (а затем - в секторе) баллистики выпускалось 2-3 технических отчета, относившихся к разряду технической документации по тому или иному изделию. Такой отчет обычно именовался либо разделом эскизного проекта, либо материалами к летным испытаниям. Б КБ с самого начала установилась традиция готовить эскизный проект настолько фундаментально, что на стадии рабочего проектирования уже не требовалось обновлять проектную документацию и выпускалась лишь конструкторская.
Кроме того, практически каждый год я выпускал научно-методический отчет по тому или иному разделу своей специальности. Правда, по установленному порядку он
назывался тоже техническим отчетом и нес, кроме моей подписи, также подпись заместителя начальника отдела, самого начальника, заместителя главного конструктора и утверждающую подпись главного конструктора. Но, за редкими исключениями, это был плод моего и только моего труда. Объем такого отчета был 50-100 машинописных страниц. Часто обстоятельства требовали включения научно-методических материалов и в техническую документацию, но в упорядоченном виде они появлялись все-таки в этих отчетах.
Назову (не в хронологическом порядке) их тематику: механика тел переменной массы, уравнения движения ракеты, проектные баллистические расчеты (быстрые, но грубые оценки дальности полета), точные расчеты траектории, то же касательно рассеивания параметров траектории и координат точки падения, назначение гарантийных запасов топлива (остающихся в баках к моменту выключения двигателя при номинальных характеристиках ракеты и ее систем, но расходуемых в большей или меньшей степени при неблагоприятном сочетании этих характеристик), выбор формы траектории выведения ракеты (на участке работы двигателя). Иногда приходилось вторгаться и не совсем в свою область - заниматься точной теорией работы того или иного прибора или даже системы управления (как правило - управления дальностью).
Бсе эти материалы выпускались в небольшом числе экземпляров и несли на себе достаточно высокий гриф секретности, даже если базировались только на общеизвестных методах математики и механики. По тем временам это считалось естественным и неизбежным хотя бы потому, что никто из нас не имел права ни в каком виде разглашать место и род своей работы.
Естественно, что, хотя бы для себя, накопленные материалы собирались, еще раз обрабатывались и объединялись в некоторое подобие книги, без особых перспектив ее издания. Но по прошествии лет такая книга вышла. Б 1956 году ее издала Артиллерийская академия в качестве учебника для своих слушателей под грифом «Секретно».
И только еще через десять лет, когда во всю летали не только спутники, но и межпланетные аппараты, книгу «Баллистика управляемых ракет дальнего действия» (авторы -Р.Ф. Аппазов, С.С. Лавров и В.П. Мишин, хотя вся она была по несколько раз переписана моей рукой) удалось издать открытым тиражом в издательстве «Наука».
Год 1960 быт ознаменован тремя событиями. В мире - было опубликовано «Сообщение об алгоритмическом языке Алгол 60», в стране - была выпущена первая заводская серия из четырех вычислительных машин М-20, одна из которых попала к нам в ОКБ, во мне - созрело решение посвятить себя впредь уже не баллистике (появилось немало весьма опытных и самостоятельных моих учеников, на которых можно было положиться), а программированию.
Мне было ясно, что массовое программирование не может вестись только силами программистов-профессионалов, а ими пока что с неизбежностью становились все, кому требовалось использовать ЭВМ. Эти люди были вынуждены осваивать машинный язык, приемы программирования и работы на ЭВМ. Не годится для этой цели и язык, ориентированный на машину, но не на массового пользователя, - типа языка ассемблера. Впрочем, для собственных нужд язык такого типа у меня уже сложился и постоянно применялся (с ручным переводом на машинный язык) еще в 50-х годах на БЭСМ - машине, худо-бедно но неизменно служившей нам тогда для всех баллистических расчетов. Впоследствии он был переделан под М-20 и много позже опубликован под названием «Соглашения о записи программ в символических обозначениях» в моей книге «Введение в программирование». <...>
Не вдохновлял меня и Фортран, возникший из языка чуть более высокого уровня и до сих пор несущий на себе печать этого происхождения. Но Алгол 60 при всех его слабостях воспринимался мной как язык качественно иного уровня, и мне захотелось испытать свои силы в работе над транслятором с этого языка. Две группы - одна в ВЦ СОАН под руководством А.П. Ершова, другая в ИПМ АН, возглавлявшаяся М.Р. Шура-
Бурой и Э.З. Любимским, уже объявили о своем намерении заняться подобной работой. Той и другой я предложил услуги свои и уже образовавшейся у нас группы программирования. Та и другая это предложение отвергли. Тогда я решился.
К осени 1960 года у меня сложился проект собственного транслятора (программирующей программы, как тогда говорили) и я доложил его в серии докладов на семинаре нашей группы. Вместе мы решили ис-пытаты свои силы на реализации этого проекта. Сам я в написании программ транслятора не участвовал, но постоянно следил за ходом дела и помогал в трудных случаях приниматы необходимые решения.<...> Первая версия транслятора заработала весной 1962 года - даже раныше, чем трансляторы, создававшиеся другими группами в академических институтах.
Из отличий входного языка транслятора от стандартного Алгола 60 стоит упомянуты запрет на исполызование рекурсивных процедур и функций, фактических параметров-выражений при вызове по имени, переменных с индексами в качестве параметров циклов и собственных (own) массивов. Если первое ограничение заметно обедняет язык, то осталыные оказалисы в русле последующих тенденций развития языков программирования и не должны особенно досаждаты массовому полызователю.
В 1963 году состояние работ по автоматизации программирования (так тогда именоваласы разработка трансляторов) об-суждалосы на заседании Президиума АН СССР. Докладчиками были М.Р. Шура-Бура и я. Резулытаты наших работ получили достаточно высокую оценку в выступлении Президента Академии М.В. Келдыша и в решении Президиума.
Если быты точным, то желание напи-саты транслятор с языка высокого уровня появилосы у меня еще до 1960 года под влиянием публикации в 1958 году «Сообщения об алгоритмическом языке Алгол». Язык этот (его еще называли Алгол 58) быт прямым предшественником Алгола 60 и уже содержал важнейшие из его конструкций, но не был столы хорошо продуман концеп-
туально. В отечественной литературе наиболее полной работой по технике трансляции была книга А.П. Ершова «Программирующая программа для быстродействующей электронной вычислительной машины», которую я внимательно изучил и нашел в ней много интересного и полезного, особенно по технике реализации, но и кое-что малоприемлемое - прежде всего входной язык и способ его описания, основанный на схемах А.А. Ляпунова.
Я решил поближе познакомиться с А.П. Ершовым, благо он работал еще в Москве, в том же здании Института точной механики и вычислительной техники, куда я и мои коллеги регулярно ездили работать на БЭСМ. Андрей Петрович встретил меня очень доброжелательно и обстоятельно рассказал о своих взглядах на программирование вообще и на трансляцию в частности. Среди основных проблем трансляции он назвал задачу экономии памяти. Естественно, любой из программистов, работавших тогда на машинах с оперативной памятью в несколько килобайт, решал для себя эту задачу. Несколько переоценив свой опыт, я заявил, что, кажется, знаю общий метод ее решения. «Напишите», - заинтересованно сказал Ершов.
И я за несколько недель написал статью «Об экономии памяти в замкнутых операторных схемах» (Журнал вычислительной математики и математической физики, 1961), убедившись попутно, что решение, которым я располагаю, - далеко не общее. Это была моя первая открытая публикация, к тому же в академическом журнале, и написал я ее в соответствии с довольно наивным представлением о стиле подобных публикаций, хотя и лапидарном, но громоздком, в силу своей математизированности (формальные определения, леммы, теоремы).
Статья содержала ряд понятий, ставших впоследствии достаточно широко распространенными (не всегда под тем же именем): операторная схема, связь операторов по управлению и по используемым и/или вырабатываемым переменным, переменная как аналог ячейки памяти, маршрут переменной, область действия обозначения. Была
показана эквивалентность задач экономии памяти и раскраски графа (графа несовместимости областей действия).
Содержание статьи достаточно внятно можно было бы изложить на одной журнальной странице, отказавшись от выбранного стиля. А если совсем коротко, то так: экономия памяти - то же самое, что экономия числа обозначений (переменных) в программе. Обозначение становится занятым, как только оно дается новому значению, и продолжает быть занятым в каждой из ветвей программы, пока это значение еще может потребоваться. Дерево последовательно исполняемых операторов - от первого присваивания (корень) до последнего на каждой из ветвей использования (листья) -это область действия обозначения. Области несовместимы, если они пересекаются хотя бы по одному оператору. Б исходной программе могут содержаться некоторые совмещения обозначений, от них следует избавиться, прежде чем начать искать оптимальное совмещение обозначений, совпадающее с раскраской графа несовместимости областей действия минимальным числом красок. Задача имеет переборный характер и поэтому для больших программ не имеет приемлемого по времени решения. Надо пользоваться эвристическими приемами.
Б нашем трансляторе не делалось попыток улучшить использование переменных по сравнению с исходной программой на Алголе. Такое расхождение теории с практикой в жизни встречается не столь уж редко. Я отнюдь не противник теории и знаю множество примеров вполне практичных теоретических решений программистских проблем. Б книге «С.С. Лавров, Л.И. Гончарова. Хранение информации в памяти ЭБМ. М.: Наука, 1971» авторы попытались собрать как раз такие практически полезные элементы программистской теории.
Но нельзя заранее ставить крест и на непрактичных в данный момент теориях. Б частности, эвристические приемы, упомянутые в связи с задачей экономии памяти, должны как-то оцениваться. Критерием или точкой отсчета здесь и может служить общая теория экономии памяти. Фантастичес-
ки быстрое развитие возможностей вычислительной техники иногда делает приемлемым теоретическое решение, до какого-то времени бывшее непригодным для практического применения. Например, во время нашей упомянутой выше беседы А.П. Ершов охарактеризовал линейные (с линейной зависимостью времени исполнения от характерного параметра N алгоритмы решения отдельных задач трансляции как хорошие, с трудоемкостью N * 1п N - как неплохие, а квадратичные - как предельно допустимые. Думаю, что теперь их место занимают алгоритмы с кубичной сложностью.
Уже в начале 60-х стало ясно (и мне в том числе), что Алгол вполне приемлем для программирования вычислительных задач, но универсальным языком без большой натяжки называться не может. <...> В это же время стали плодиться «языки» подготовки информации для станков с программным управлением. По своему уровню они были существенно ниже Алгола. Вчетвером1 мы начали думать над ситуацией.
Итогом явилась статья «Аппарат геометрических описаний для автоматизации конструкторских работ» (1963 г.). На примере одной предметной области - описания формы геометрических тел, - еще далекой от общей задачи автоматизации проектирования, но с оглядкой на нее, мы показали необходимость специфических для этой области типов данных и описали такие типы и соответствующий им набор операций. Однако следующий шаг - включение определений любых новых типов данных в универсальные языки программирования еще не был сделан, и позже это сделали другие. Делался вывод, что для реализации операций над данными новых типов следует использовать языки обработки символьной информации (ЯОСИ). Это - прообраз тезиса о том, что автоматический синтез программ по спецификациям задач должен быть основан на конструктивном доказательстве теоремы существования решения задачи (именно для проведения этого доказательства и нужны ЯОСИ). Этот тезис был впоследствии использован многими авторами, в том
числе и в инициированных мной работах по синтезу программ и системе СПОРА. <... >
Уволившись в 1966 году из ОКБ скончавшегося в начале года С.П. Королева, я погрузился в сферу ЯОСИ.
Первым шагом была работа над языком Снобол-А (препринт ВЦ АН СССР, 1968) и его реализацией на БЭСМ-6 (совместно с Л.И. Гончаровой (Станевичене)). Работа успеха не имела не столько из-за недостатков реализации (отражавших недостатки доступных ЭВМ), сколько из-за непопулярности и слабости языка Снобол.
Существенно более успешной была реализация языка Лисп на БЭСМ-6 (совместно с Г.С. Силагадзе). Удалось создать неплохие интерпретатор и компилятор Лиспа. В книге тех же авторов «Язык Лисп и его реализация» (М.: Наука, 1978) описана более совершенная реализация.
От работ по Алголу берет начало серия работ по синтаксическому анализу (совместно с Г.М. Заикиной (алгоритм, использованный в трансляторе с Алгола 60), Л.И. Стане-вичене, М.В. Дмитриевой и А. Ордяном). Результаты этих работ способствовали, главным образом, удовлетворению собственного любопытства, так как тема была уже в основном исчерпана в программистской среде. <... >
А.П. Ершов привлек меня к участию в Рабочей группе WG2.1 ИФИП по Алголу. Это было великолепной школой. Однако мои попытки изложить свое понимание путей развития универсального алгоритмического языка и повлиять на работу над Алголом особого успеха не имели. В рабочих материалах группы зафиксирован мой важный (или важный для меня) тезис о необходимости включения (интеграции) средств взаимодействия с операционной средой в языки программирования. Сейчас этот тезис общепринят, особенно в системах программирования для персональных компьютеров. По ходу работы в группе у меня сложилось убеждение в бесперспективности Алгола 68, если не полной, то в сравнении с ролью, сыгранной Алголом 60.
В той же обстановке (работа в группе WG2.1) родился язык АБВ как альтернати-
1 Вместе с В.А. Степановым, Г.С. Бегунковым и И.Е. Педановским.
ва Алголу 68 и как шаг в основном русле моих раздумий. (С.С. Лавров и др. Расширяемый алгоритмический язык АБВ. - В кн.: Обработка символьной информации, в. 3 -М.: Вычислительный центр АН СССР, 1976; E.H. Капустина и др. Схема расширений и основные принципы реализации аппарата процедур языка «Паскаль» в языке АБВ. -В кн.: Обработка символьной информации, в. 4 - М.: Вычислительный центр АН СССР, 1978). Появление все новых языков, ориентированных на конкретное применение, рассматривалось как неизбежность, подтверждаемая всей программистской практикой тех лет. А всякая установившаяся практика нуждается в инструментальной поддержке. В этом качестве и был предложен язык АБВ. Был описан механизм последовательного расширения базового языка (то есть самого АБВ) до языка, в котором заинтересован пользователь. Это - прототип технологий программирования, ставших весьма популярными за последние 10-15 лет.
В языке АБВ, среди прочего, тип данных определялся как (ссылка на) действие, порождающее новые объекты этого типа. Именно в этот момент закладываются все возможности дальнейшего развития этого объекта, его использования и взаимодействия с другими объектами. Считаю и сейчас, что это действие - единственная операция, которую следует связывать с типом данных. Нецелесообразно привязывать иные операции, использующие или вырабатывающие значения нескольких типов лишь к одному из них. Тем более, что в математике уже укоренилось понятие сигнатуры - полной совокупности типов и операций. Ради проверки основных идей была построена компактная и эффективная модель реализации части Б (базы) языка АБВ на Лиспе.
Многим планам моей научно-литературной деятельности не суждено было осуществиться. Так, упомянутые выше мои книги с Л.И. Гончаровой и с Г.С. Силагадзе имели надзаголовок «Автоматическая обработка данных». Предполагалось, что это будет серия (или библиотечка) книг, охватывающая все то, что мне представлялось важным в программистской деятельности. Ради одной из следующих книг серии -
«Язык «Паскаль» и его реализация» я занялся написанием транслятора с «Паскаля» для машины 0дра-1204 (машина маленькая, но в Ленинградском университете, где я тогда работал, она была доступна почти как персональная для десятка сменяющих друг друга пользователей; на ней же были перед этим проверены многие алгоритмы из книги по Лиспу). Транслятор (и, кажется, неплохой) был написан, а книга - увы, нет.
Бместо нее появилась брошюра «Основные понятия и конструкции языков программирования» - М.: «Финансы и статистика», 1982 - глава также ненаписанной второй части «Бведения в программирование». <...>
Последний этап моей научной деятельности почти полностью связан с работой над системой СПОРА. Начался он в 1977 году и продолжался до тех пор, пока обстоятельства (главным образом, здоровье) не заставили меня отказаться от руководства молодыми сотрудниками. Хотя формально были созданы, по крайней мере, две версии системы, среди них не было той, которая меня бы удовлетворяла. Хуже того, ни одна версия не была испытана в условиях, близких к тем, в которых она должна была работать.
Система СПОРА была задумана как средство построения формальных моделей прикладных (предметных) областей и автоматизации создания программ решения задач в этих областях на основе их спецификаций в модели. Я предполагал начать работу над системой с переноса на БЭСМ-6 системы ПРИЗ, разработанной для сходных целей Э.Х. Тыугу. Убежден, что если бы это предложение было принято, то создалась бы хорошая база для последующего развития системы, и ее судьба оказалась бы совсем иной (может быть, вполне благополучной). <... >
Б качестве элемента системы СПОРА предполагалось использовать программу автоматического доказательства/опровержения теорем в исчислении предикатов. Над этой программой я работал сам. Но, увлекшись универсальной программой доказательства теорем, я вовремя не переключился на выделение из исчисления предикатов такого фрагмента, который охва-
тывал бы только нужды эффективного доказательства теорем существования для синтеза программ. Возможно, что такой фрагмент найти и не удалось бы, но попытаться следовало. Исходным материалом для предъявления требований к такому фрагменту должны были послужить модели двух предметных областей: элементарной геометрии (задачи на построение) и элементарного программирования (типичные задачи на программирование, предлагаемые первокурсникам). Эти модели были построены (с участием Е. Несветаевой и Т. Шошкиной), могут быть еще усовершенствованы, но их опыт еще требует более глубокого осмысления.
Обзор «Использование вычислительной техники, программирование и искусственный интеллект (перспективы развития)» - «Микропроцессорные средства и системы», № 3, 1984 - отражает достаточно субъективную позицию автора по перечисленным в заголовке проблемам. Сформулированы предпосылки появления баз знаний в качестве основы нового поколения систем программирования (совместной работы человека с ЭВМ).
База знаний определена как совокупное представление понятийного, фактуаль-ного (предметного) и процедурного знания и системы их взаимодействия. «Задача, -говорится в статье, - может быть решена машиной только в том случае, если ... для нее написана формальная спецификация. Последняя должна опираться на некоторую базу знаний. Модель предметной области описывает общую обстановку, в которой возникла задача, а спецификация - содержание задачи». Традиционные системы программирования не содержат необходимых для этого средств. Затронут также человеческий аспект проблемы. Выдвинут ряд предложений для Государственной программы развития вычислительной техники и средств взаимодействия человека с этой техникой. <... >
В статье «Представление и использование знаний в автоматизированных системах» - «Микропроцессорные средства и системы», N 3, 1986 - существенно дополнены положения предыдущего обзора. Подчеркнута роль метазнания (воплощения опыта работы с моделью предметной областью)
как основы развития базы знаний.
Назову еще несколько работ, опубликованных в это время.
Статья «Кому и для чего нужна персональная ЭВМ» - первая (почти восторженная) реакция на появление персональных компьютеров - содержала, в частности, предложения по составу программного обеспечения для пользователя - научного работника.
Статью «Методология программирования» - В кн. «Семиотика и информатика», в. 23 - М: ВИНИТИ, 1984 - трудно изложить кратко, так как она сама достаточно конспективна. Построена она на базе энциклопедического определения методологии как «учения о структуре, логической организации, методах и средствах деятельности», методологии науки - как «учения о принципах построения, формах и способах научного познания».
Статья «О знаниях и языке машины и человека» - В кн. «Семиотика и информатика», в. 24 - М: ВИНИТИ, 1985 - анализирует понятие «искусственного интеллекта» ЭВМ, его принципиального отличия от «естественного» интеллекта человека, описывает слабые и некоторые сильные стороны этого понятия, обосновывает правомерность его употребления. Оспаривается точка зрения, что естественный язык, пусть даже соответствующим образом ограниченный, может служить наилучшим средством общения человека с ЭВМ. Статья заканчивается резюме: «Естественный интеллект породил себе на помощь множество искусственных языков, не следует предполагать, что искусственный интеллект возродит естественный язык».
Статья «Формализация, лингвистика, логика» - В кн. «Семиотика и информатика», в. 27 - М: ВИНИТИ, 1986 - описывает свойства естественного языка как модели внешнего мира, его сильные и слабые стороны в этом качестве. Охарактеризованы те средства (язык математики, компьютеры и их языки, графические и им подобные языки), которые человек привлекает для преодоления слабостей естественного языка. Проведено сравнение лингвистических и логических моделей. Показано, что построение любой модели не только объясняет
Лавров С.С.
моделируемое явление человеку, но и (тем самым) изменяет, а иногда и «убивает» это явление. Такое может произойти, в частности, просто при попытке пронумеровать элементы бесконечного множества, исходя из нашего представления о его составе (диагональный метод в теории множеств). А в жизни закон, направленный на пресечение преступлений той или иной категории, обычно всего лишь меняет методы, применяемые преступниками, на новые - «легальные» с позиций этого закона. <...>
Большим везением для меня стала случайная необходимость выступить официальным оппонентом по докторской диссертации А.Т. Байковой, посвященной восстановлению изображений в радиоинтерфомет-рии. Я совершенно не был знаком с физической стороной проблемы, но обладал достаточным объемом математических знаний, чтобы разобраться с ней, а главное - заинтересоваться ею. Думается, что мне и здесь удалось получить некоторые существенные результаты теоретического характера, а главное, - найти возможность для массового вычислительного эксперимента, позволившего как подтвердить с уверенностью многие результаты А.Т. Байковой, так и обнаружить некоторые новые явления. Бсе это описано в «Сообщениях ИПА РАН, № 106 - К обоснованию методов восстановления изображений на основе выпуклых критериев качества» и в отчете о моей работе по этой теме за 1997 г. Но ряд исследований по этой проблеме еще хотелось бы провести.
БИОГРАФИЧЕСКИЕ СВЕДЕНИЯ
Родился в 1923 г. в Петрограде (имя города в то время).
Отец - Лавров Сергей Флегонтович (1873-1937гг.) - инженер, военный инженер флота, в мирное время работал главным энергетиком на ряде заводов нашего города, на протяжении двух лет (1930-1932) -
на Украине, в Донбассе.
Мать - Лаврова (ур. Боинова) Татьяна Бладимировна (1892-1972). После окончания Бестужевских женских курсов недолго работала классной дамой, на моей памяти - библиотекарем.
Окончил среднюю школу в 1939 г. в Ленинграде, два курса матмеха ЛГУ к 1941 г., Ленинградскую военную воздушную академию (специальность - военный инженер-механик) в 1944 г., мехмат МГУ (специальность - математика, с правом преподавания математики в средней школе) в 1954 г., заочно.
Получил ученую степень доктора технических наук по совокупности научных трудов без защиты диссертации в 1959 г., звание профессора (по специальности «механика») - в 1963 г.
Избран чл.-корр. АН СССР в 1966 г. по специальности «автоматическое управление».
Работа: техник авиазвена (1944-1946 гг.), нач. службы бригады особого назначения (зародыш ракетных войск, 1946-1947 гг.), от нач. группы до нач. отдела ОКБ-1 МОМ (последнее наименование КБ, возглавлявшегося С.П. Королевым, 1947-1966 гг.), зав. отделом математического обеспечения ЭБМ Бычислительного центра АН СССР (19661971 гг.), профессор, зав. кафедрой математического обеспечения матмеха ЛГУ (19711977 гг.), директор ИТА АН СССР (19771987 гг.), советник при дирекции ИПА РАН (1978 по наст. вр.).
По совместительству (и на общественных началах в период, когда совместительство не поощрялось) - профессор (до 1963 -и.о.), зав. кафедрой мехмата и ФБМиК МГУ (1959-1971 гг.).
Член КПСС с 1950 по 1990 г. (чем не горжусь, но и не стыжусь, так как другой формы активного участия в общественной жизни коллективов, где я работал, в те годы не существовало).
Март 1998 г.
Лавров Святослав Сергеевич, доктор технических наук. профессор.
© Наши авторы, 2003. ОигагШюгз, 2003.
