Академик Васильев Станислав Николаевич

Станислав Николаевич Васильев родился 5 июля 1946 года в семье рабочего-шахтёра в городе Чистяково Сталинской области (ныне г. Торез Донецкой области) УССР, с 2022 года — в составе Российской Федерации.

В 1970 году окончил с отличием радиотехнический факультет Казанского авиационного института им. академика А.Н. Туполева; далее там же в 1970–1975 гг.: инженер, ассистент, старший инженер, аспирант кафедры кибернетики, возглавлявшейся его научным руководителем д.ф.-м.н. (позднее академиком) В.М. Матросовым.

В 1975 году по приглашению академика Г.И. Марчука (тогда зам. председателя Президиума СО АН СССР и директора Вычислительного центра в Новосибирске) В.М. Матросов переехал в Иркутск с планами организации в Восточно-Сибирском филиале СО АН СССР (позднее Иркутского научного центра РАН — ИНЦ) нового института — Вычислительного центра. В.М. Матросов пригласил своих учеников, в том числе С.Н. Васильева, в организуемый им в Иркутске поначалу Отдел теории систем и кибернетики (ОТСиК) при Сибирском энергетическом институте СО АН СССР (СЭИ). В 1976 году С.Н. Васильев, защитив диссертацию на соискание учёной степени к.ф.-м.н. по специальности «Математическая кибернетика», возглавил в ОТСиК лабораторию математической теории систем. В 1980 году на базе ОТСиК был организован Иркутский ВЦ СО АН СССР (ИрВЦ), где С.Н. Васильев работал зав. лабораторией математической теории систем, зав. отделом математической кибернетики, с 1989 года — зам. директора по научной работе. В 1989 году защитил диссертацию на соискание учёной степени д.ф.-м.н. по специальности «системный анализ и теория автоматического управления». В 1991–2006 гг. — директор ИрВЦ (в 1997 году ИрВЦ был реорганизован в Институт динамики систем и теории управления СО РАН, ныне имени В.М. Матросова — ИДСТУ). Будучи председателем Научного совета по информатике при Президиуме ИНЦ СО РАН и научным руководителем Бурятского центра информатизации, способствовал созданию сетевой инфраструктуры электронной почты и Интернета в Байкальском регионе.

В 2006 году С.Н. Васильев, в связи с избранием его директором Института проблем управления имени В.А. Трапезникова РАН (ИПУ), переехал в Москву; в 2006–2017 гг. — директор, а ныне — главный научный сотрудник Лаборатории № 38 «Управления по неполным данным» Института.

Член-корреспондент РАН с 1997 года, академик РАН с 2006 года — Отделение энергетики, механики, машиностроения и процессов управления.

Академик С.Н. Васильев — выдающийся учёный, специалист в области математической кибернетики, системного анализа, теории управления и искусственного интеллекта. Направления его исследований: математическая теория систем, логические методы представления и обработки знаний, логико-динамические системы и интеллектное управление, автоматизация исследований и проектирования, многокритериальное принятие решений и управление развитием региональных и других систем. Основные труды посвящены разработке методов нелинейного анализа и искусственного интеллекта с приложениями к системам разной природы.

Научные разработки С.Н. Васильева, объединяющие фундаментальную математику с прикладными задачами анализа динамики и интеллектуализации управления сложными системами, получили признание как в России, так и далеко за её пределами. Разработанные им и его учениками методы легли в основу оригинальных программных продуктов.

На первом этапе своей научной карьеры С.Н. Васильев, начав с разработки системы автоматического наведения телескопа с Луны в геометрический центр Земли переменной фазы, перешёл на тематику разработки методов редукции (упрощения) моделей, позволяющих анализировать поведение сложных систем, что нашло отражение в его работах по преобразованию моделей динамических систем и позволяет управлять как механическими объектами, так и эколого-экономическими системами регионов. Совместно с В.М. Матросовым он разработал метод сравнения в математической теории систем и внёс существенный вклад в качественную теорию динамических систем для анализа устойчивости, управляемости, оптимальности и других свойств нелинейных систем, включая логико-динамические и гибридные системы, которые сочетают непрерывную динамику с дискретными событиями или логическими условиями. Им с учениками разработаны алгоритмы машинного вывода теорем о динамических свойствах систем, что позволило автоматизировать этот процесс и получить на ЭВМ сотни новых теорем. Эти результаты были изложены в монографиях (в соавторстве) «Метод сравнения в математической теории систем» (1980), «Алгоритмы вывода теорем метода векторных функций Ляпунова» (1981) и цикле его статей в журнале «Дифференциальные уравнения» (I-IV, 1981-82).

Основные научные результаты С.Н. Васильева связаны с исследованием устойчивости, управляемости, оптимальности и других динамических свойств нелинейных, логико-динамических и других математических моделей систем, а также с проблемами обеспечения автономности систем автоматического управления в условиях неопределённости и возмущений. Им разработаны методы редукции в анализе систем, развивающие метод сравнения. Созданы конструктивные логики и методы автоматизации поиска выводов и порождения гипотез с приложениями в задачах интеллектуального управления. Разработаны методы многокритериального принятия решений с приложениями к задачам проектирования, регионального развития и другим.

С.Н. Васильевым развиты строгие и регулярные методы математической теории систем для редукции сложности исследуемых моделей, в т. ч. при наличии неопределённостей и возмущений, с приложениями к непрерывным динамическим системам, автоматным сетям, асинхронным переключательным схемам. Им впервые аппарат вектор-функций Ляпунова был применён в задачах управляемости и оптимальности нелинейных систем, в том числе при фазовых ограничениях, а также импульсных и структурных возмущениях. Разработана теория модельных аналогий, применимая к качественному анализу разнообразных математических моделей систем.

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

Им разработаны методы представления и обработки знаний в проблематике интеллектуализации автоматических и антропоцентрических систем управления и в проблематике анализа переносимости свойств математических моделей при тех или иных преобразованиях, в том числе для сведения анализа исходной модели к анализу более простой.

С.Н. Васильевым созданы средства автоматизации логического вывода в первопорядковых и некоторых других исчислениях, а также средства алгоритмизации синтеза текстов теорем о переносимости свойств связанных математических моделей. В основе разработанных методов представления и обработки знаний лежат типово-кванторные (формальные или частично-формализованные) языки, обладающие свойством так называемой подстановочности формул. Эти методы применены в задачах динамики систем и интеллектуализации систем управления с нелинейными и логико-динамическими моделями при возможном наличии неопределённостей и возмущений, в задачах динамики автоматных сетей и асинхронных переключательных схем, в задачах управления многорежимными формациями (группировками) движущихся объектов, управления скрытностью и/или поиском объекта в конфликтной среде.

Начиная с 1990-х гг., С.Н. Васильев активно развивает логические методы и методы искусственного интеллекта для задач управления. Его подход основан на формализации знаний и автоматизации логического вывода, что привело к созданию нового направления — интеллектного управления динамическими системами. Одним из значимых результатов стало создание системы автоматического доказательства теорем, которая используется для обработки динамических знаний и управления. Этому направлению посвящена монография «Интеллектное управление динамическими системами» (2000, в соавторстве).

Важной частью деятельности С.Н. Васильева является применение теоретических разработок для решения реальных задач. Наиболее яркий пример — комплексное моделирование и анализ для обеспечения устойчивого развития Байкальского региона.

С.Н. Васильев неоднократно приглашался в ведущие зарубежные исследовательские центры и университеты для чтения лекций и работы в совместных научных проектах. На протяжении многих лет руководил рядом научных тем, в т. ч. международными грантами, ведущей научной школой по устойчивости и управлению в гетерогенных моделях динамических и интеллектных систем. Многократно приглашался с пленарными докладами на авторитетные российские и международные конференции, являлся председателем программных комитетов и организатором ряда таких конференций.

Свою научную деятельность академик С.Н. Васильев всегда совмещал с педагогической. Подготовил более 20 кандидатов и докторов наук. В иркутский период он работал по совместительству профессором и заведующим кафедрами Иркутского и Бурятского госуниверситетов, а переехав в Москву — заведующим (2007–2009) и профессором (2009–2015) кафедры Московского физико-технического института. В 2009 году С.Н. Васильев основал кафедру физико-математических методов управления физического факультета Московского государственного университета им. М.В. Ломоносова, которой руководил до 2019 года.

С.Н. Васильев — автор более 450 научных публикаций. Специалистам известны его труды, написанные индивидуально или в соавторстве: «Новая парадигма развития России / Абалкин Л. И., Аксёнов В. В., Алтухов Ю. П., Баранов В. В., Батурин В. А., Бурносов С. В., Васильев С. Н., Вальтух К. К., Ващекин Н. П., Величенко В. В., Венедиктов Д. Д., Верхозина И. О., Воробьёв В. В., Воропай Н. И., Гирусов Э. В., Голицын Г. С., Гуляев Ю. В., Данилина Е. В., Демянко Ю. Г., Дружинин И. П. и др. Комплексные исследования проблем устойчивого развития / под ред. В. А. Коптюга, В. М. Матросова, В. К. Левашова, 460 с., «Геоинформационная система управления территорией», «Импликация свойств связанных систем: метод получения условий импликации и примеры применения», «Устойчивость многорежимных формаций», «Анализ динамики гибридных систем с помощью общих функций Ляпунова и множественных гомоморфизмов», «Формализация знаний и управление на основе позитивно-образованных языков», «Метод редукции и качественный анализ динамических систем, I, II», «Расширение потенциала управления с помощью новых средств представления и обработки знаний», «Метод синтеза условий выводимости хорновских и некоторых других формул», «Об исчислениях типово-кванторных формул», «Метод абдуктивного вывода в задачах объяснения наблюдаемого» и др.

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

Деятельность С.Н. Васильева в прошлом и настоящем: член бюро Отделения энергетики, машиностроения, механики и процессов управления РАН, председатель Научного совета по теории и процессам управления, зам. председателя Научного совета при Президиуме РАН по методологии искусственного интеллекта и когнитивных исследований, председатель Научного совета РАН по теории управляемых процессов и автоматизации, член Экспертной комиссии РАН по присуждению Золотой медали РАН им. С.П. Королёва, член бюро Комиссии Президиума РАН по совершенствованию структуры научных организаций, находящихся в ведении Федерального агентства научных организаций, член Совета РАН по исследованиям в области обороны, член Научно-издательского совета РАН, зам. председателя Комиссии РАН по мониторингу и оценке результатов деятельности государственных научных организаций и образовательных организаций высшего образования Российской Федерации, член Комиссии Президиума РАН по формированию перечня программ фундаментальных исследований РАН, член Совета РАН по инновационным проблемам транспорта и логистики, заместитель председателя Российского национального комитета по автоматическому управлению, председатель диссертационных советов при ИДСТУ (1991–2006), член Экспертного совета ВАК (2005–2015), председатель диссертационных советов при ИПУ (2007–2015).

Награждён орденом Почёта, орденом Дружбы, медалью «За трудовое отличие».

Лауреат Государственной премии Союза Советских Социалистических Республик в области науки и техники — за цикл работ «Разработка метода векторных функций Ляпунова для анализа устойчивости и других динамических свойств нелинейных систем», лауреат премии Правительства Российской Федерации в области образования (2010), лауреат премии Правительства Российской Федерации в области науки и техники (2012).

Отмечен юбилейной медалью «300 лет Российской академии наук», медалью имени академика С.П. Королёва Федерации космонавтики России, медалью РАН и ВМФ «За заслуги в обеспечении защиты кораблей» и др.

Удостоен премии Губернатора Иркутской области по науке и технике — за цикл внедрённых научно-прикладных разработок «Система математических и информационных технологий поддержки принятия управленческих решений в сфере деятельности органов государственной власти и местного самоуправления Иркутской области».