|
ВАСИЛЬЕВ Станислав Николаевич [Информатика] |
| Родился: 05.07.1946 Избран: 25.01.1994 (из член-корреспондентов) |
| д.ф.-м.н., лауреат Государственной премии СССР, академик Межрегиональной академии нелинейных наук, директор Иркутского ВЦ СО РАН |
| Род. 5 VII. 1946 г. в г. Чистякове (Донецкой обл.). Окончил Казанский авиационный институт (1970). Д. ф.-м. н. Профессор. Член-корр. РАН (1997). Академик РАЕН (информатика; 25.1.1994). Академик Межрегиональной академии нелинейных наук (1995). Ассистент, затем аспирант Казанского авиационного института (1970 - 1975). Младший научный сотрудник (1975), заместитель заведующего лабораторией (1976), заведующий лабораторией (1978) Сибирского энергетического института. Заведующий лабораторией (1980), заведующий отделом (1986), заместитель директора (1989), директор (1991) Иркутского вычислительного центра СО АН СССР. Автор метода наведения на центр планеты в неполной фазе (1969), метода сравнения в математической теории систем, не зависящих от специфики аксиом исследуемой модели (1974 - 1976), метода векторных функций Ляпунова в задачах управляемости нелинейных систем, (1986 - 1993), метода решения первопорядковых логических уравнений (1990), метода качественного анализа динамики асинхронных переключательных схем с инерционностью, описываемых системой интегро-операторных уравнений (1994). Им исследованы достаточные условия сохранения свойств алгебраических систем и обобщенных структур при морфизмах (1974), средства математического моделирования для анализа проблемы устойчивого развития Байкальского региона (1996). Провел исчисление типово-кванторных формул и метод автоматизации логического вывода при ресурсных ограничениях для решения задач искусственного интеллекта (1986 - 1997). Член Президиума Иркутского научного центра СО РАН (1991). Председатель Научного совета по информатике при Президиуме Иркутского научного центра СО РАН (1991). Член Международного комитета по устойчивости IMACS (1991). Член Объединенного ученого совета по математике и информатике при Президиуме СО РАН (1991). Член Международного компьютерного общества АСМ (1992). Председатель Научного совета международной лаборатории "Математические методы и компьютерные технологии интеллектного управления" (1997). Председатель секции информатики, связи и управления Научно-координационного совета при губернаторе Иркутской области. Премия СО РАН в области фундаментальных исследований (1990). Медаль им. С. П. Королева Федерации космонавтики РФ (1994). Заслуженный ветеран СО РАН (1996). Государственная премия (1984). Лит.: Метод сравнения в математической теории систем. Новосибирск: Наука, 1980. * К управляемости нелинейных систем при фазовых органических и постоянно действующих возмущениях // Известия АН СССР. Техническая кибернетика. 1993. № 1. * Machine Synthesis of mathematical theorems // Logic programming. 1990. № 9. |