Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Васильев Станислав Николаевич

В базах данных Math-Net.Ru
Публикаций: 30
Научных статей: 20

Статистика просмотров:
Эта страница:4866
Страницы публикаций:7474
Полные тексты:2599
Списки литературы:420
Васильев Станислав Николаевич
академик РАН
профессор
доктор физико-математических наук
E-mail:
Ключевые слова: процессы управления, логико-динамические системы, искусственный интеллект, Дифференциальные уравнения, программное обеспечение, автоматизация, математические модели устойчивого развития.

Основные темы научной работы

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

Научная биография:

Председатель и член организационных и программных комитетов ряда научных конференций, в частности, председатель и сопредседатель Оргкомитетов соответственно:
International Workshop of IFAC (International Federation of Automatic Control) on Modelling and Analysis of Logic Controlled Dynamic Systems (2003),
VIII Четаевской конференции "Аналитическая механика, устойчивость и управление движением" (2002);
Председатель Научно-координационного совета по управлению и информатике ИНЦ СО РАН (с 1991);
Член Объединенного ученого совета по математике и информатике СО РАН (с 1988), зам. председателя и член его бюро (с 2002);
Со-организатор Учебно-научного комплекса ИГУ-ИДСТУ СО РАН по Федеральной целевой программе "Интеграция" (с 1991);
Руководитель разработки и развития Информационно-вычислительной сети Иркутского научного центра СО РАН (с 1991);
Заведующий кафедрами теории систем (1991–1996) и прикладной математики ИГУ с 1996 г. (в 2002 г. переименована в кафедру проблем управления и информатики ИГУ) и информационных технологий управления Бурятского госуниверситета (БГУ);
Научный руководитель Бурятского центра информатизации Байкальского региона (учредители БГУ и Бурятский научный центр СО РАН, с 2001);
Научный руководитель и консультант 14 кандидатов и соответственно 7 докторов наук.

Член редколлегии журнала "Вычислительные технологии" (с 2002);
Член редколлегии журнала "Аэрокосмическое приборостроение" (с 2002);
Член редколлегии Международного журнала "Nonlinear Studies" (США, с 2001);
Член редколлегии Международного журнала "Hybrid Systems" (США, с 2000);
Член редколлегии журнала "Известия РАН. Теория и системы управления" (с 1999);
Гл. редактор журнала "Оптимизация, управление, интеллект" (с 1999);
Член редколлегии "Сибирского журнала вычислительной математики" (с 1998);
Член редколлегии "Сибирского журнала прикладной и индустриальной математики" (с 1998);
Член редколлегии Международного журнала "Computer Research" (Греция, с 1998);
Член редколлегии журнала "Математика" РАЕН (с 1994);
Член Международного научного совета журнала "Интеллектуальные системы" (с 1999);
Член Научного совета по супервычислениям РАН (с 1998) и СО РАН (с 1999);
Член Академии навигации и управления движением (с 2000);
Член Национального комитета ИФАК (IFAC) по автоматическому управлению (с 1998);
Член Международной федерации нелинейных аналитиков (с 1992);
Член AMS (США), американского компьютерного общества (ACM) и др. научных обществ.

Награды: Орден Почета (1999); Лауреат Почетной грамоты губернатора Иркутской области за большой вклад в ее развитие (1999); Медаль им. С. П. Королева Федерации космонавтики РФ (1994); Медаль "За трудовое отличие" (1988); Лауреат премии СО РАН в области фундаментальных исследований (1986); Лауреат государственной премии СССР в области науки и техники (1984).

   
Основные публикации:
  • Васильев С. Н., Догановский С. А., Эдемский В. М., К интеллектному управлению дуговыми сталеплавильными печами, Автоматизация в промышленности, № 3, с. 39–43, 2003.
  • Vassilyev S. N., Temporal Reasoning on the Basis of New Logic for Intelligent Control, Proc. of the IEEE Intern. Symposium on Intelligent Control, pp. 843–847, 2003.
  • Васильев С. Н., Теория и применение логико-управляемых систем, Труды 2-ой Международной конференции "Идентификация систем и задачи управления" (SICPRO'03), с. 23–52, 2003.
  • Васильев С. Н., Жерлов А. К., Теоретико-игровая семантика позитивно-образованных формул, Труды 8-й Национальной конференции по искусственному интеллекту (КИИ'2002), Коломна, т. 1, с. 51–59, 2002.
  • Vassilyev S. N., Logical Approach in Knowledge-Based Control, Proc. of 21st SGES Intern. Conference on Knowledge Based Systems and Applied Artificial Intelligence (ES-2001), Cambridge, pp. 259–272, 2001.
  • Васильев С. Н., К интеллектному управлению, В сб.: Нелинейная теория управления и ее приложения, Москва, Физматлит, с. 57–126, 2000.
  • Vassilyev S., Intelligent Control on the Basis of Proof Theory, J. "Stability and Control: Theory and Applications", vol. 3, No. 3, pp. 234–243, 2000.
  • Васильев С. Н., Логическая обработка информации в задачах управления, Труды Всероссийской научно-технической конференции "Теоретические и прикладные вопросы современных информационных технологий", Улан-Удэ, с. 160–167, 2001.
  • Vassilyev S. N., Cherkashin E. A., Zherlov A. K., A System for Automatic Theorem Proving, In: Proc. of Intern. Conf. on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications (ACIDCA), Tunisia, vol. IM, pp. L10–L18, 2000.

https://www.mathnet.ru/rus/person20176
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/209153

Публикации в базе данных Math-Net.Ru Цитирования
2021
1. С. Н. Васильев, “Исправление к статье: Абдуктивные рассуждения в задачах объяснения наблюдаемого”, Докл. РАН. Матем., информ., проц. упр., 496 (2021),  79  mathnet  zmath; S. N. Vassilyev, “Erratum to: Abductive reasoning in explanation problems of an observed effect”, Dokl. Math., 103:1 (2021), 67  scopus
2020
2. С. Н. Васильев, “Абдуктивные рассуждения в задачах объяснения наблюдаемого”, Докл. РАН. Матем., информ., проц. упр., 493 (2020),  90–94  mathnet  zmath  elib; S. N. Vassilyev, “Abductive reasoning in explanation problems of an observed effect”, Dokl. Math., 102:1 (2020), 337–341
2016
3. С. Н. Васильев, М. А. Локтев, А. В. Толок, Н. Б. Толок, С. А. Ульянов, “К планированию маршрутов в 3D-среде с многовариантной моделью”, Тр. СПИИРАН, 45 (2016),  5–25  mathnet  elib 5
2012
4. С. Н. Васильев, Ф. Т. Алескеров, А. А. Иванов, В. И. Якуба, “Механизмы принятия экономических решений для утилизации нефтяного попутного газа”, Пробл. управл., 2012, № 4,  18–25  mathnet
2011
5. С. Н. Васильев, А. А. Косов, “Анализ динамики гибридных систем с помощью общих функций Ляпунова и множественных гомоморфизмов”, Автомат. и телемех., 2011, № 6,  27–47  mathnet  mathscinet  zmath  elib; S. N. Vassilyev, A. A. Kosov, “Analysis of hybrid systems' dynamics using the common Lyapunov functions and multiple homomorphisms”, Autom. Remote Control, 72:6 (2011), 1163–1183  isi  scopus 42
6. С. Н. Васильев, Г. М. Пономарев, “Методы автоматизации логического вывода и их применение в управлении динамическими и интеллектуальными системами”, Тр. ИММ УрО РАН, 17:2 (2011),  35–52  mathnet  elib; S. N. Vassilyev, G. M. Ponomarev, “Automation methods for logical derivation and their application in the control of dynamic and intelligent systems”, Proc. Steklov Inst. Math. (Suppl.), 276, suppl. 1 (2012), S161–S179  isi  scopus 4
2009
7. С. Н. Васильев, Р. И. Козлов, С. А. Ульянов, “Анализ координатных и других преобразований моделей динамических систем методом редукции”, Тр. ИММ УрО РАН, 15:3 (2009),  38–55  mathnet  elib; S. N. Vassilyev, R. I. Kozlov, S. A. Ul'yanov, “Analysis of coordinate and other transformations of models of dynamical systems by the reduction method”, Proc. Steklov Inst. Math. (Suppl.), 268, suppl. 1 (2010), S264–S282  isi  scopus 13
2008
8. С. Н. Васильев, “Формализация знаний и управление на основе позитивно-образованных языков”, ИТиВС, 2008, № 1,  3–17  mathnet  elib
2004
9. С. Н. Васильев, “К теории редукции в качественном анализе и управлении динамическими системами”, Тр. ИММ УрО РАН, 10:2 (2004),  20–34  mathnet  mathscinet  zmath  elib; S. N. Vassilyev, “On reduction theory in qualitative analysis and control of dynamic systems”, Proc. Steklov Inst. Math. (Suppl.), 2004no. , suppl. 2, S193–S209 1
2002
10. С. Н. Васильев, “Достижимость и связность в автоматной сети с общим правилом переключения состояний”, Дифференц. уравнения, 38:11 (2002),  1533–1539  mathnet  mathscinet; S. N. Vassilyev, “Attainability and Connectedness in an Automata Network with a General State Switching Rule”, Differ. Equ., 38:11 (2002), 1628–1635
1998
11. С. Н. Васильев, Е. А. Черкашин, “Интеллектное управление телескопом”, Сиб. журн. индустр. матем., 1:2 (1998),  81–98  mathnet  zmath 3
1997
12. С. Н. Васильев, “Метод синтеза условий выводимости хорновских и некоторых других формул”, Сиб. матем. журн., 38:5 (1997),  1034–1046  mathnet  mathscinet  zmath; S. N. Vassilyev, “A method for the synthesis of deducibility conditions for Horn and some other formulas”, Siberian Math. J., 38:5 (1997), 896–906  isi 15
1996
13. С. Н. Васильев, П. К. Кузнецов, А. В. Лакеев, “К общей теории интегрооператорного уравнения динамики переключательных схем”, Докл. РАН, 348:4 (1996),  439–441  mathnet  mathscinet  zmath
1989
14. С. Н. Васильев, С. Г. Патрушев, “К автоматизации синтеза структуры СБИС”, Докл. АН СССР, 306:2 (1989),  301–304  mathnet  zmath
1986
15. С. Н. Васильев, “Метод векторных функций Ляпунова в задачах быстродействия”, Докл. АН СССР, 287:1 (1986),  29–32  mathnet  mathscinet  zmath
1985
16. С. Н. Васильев, В. М. Матросов, Е. А. Суменков, “Принцип сравнения в математической теории систем”, УМН, 40:4(244) (1985),  149–150  mathnet  mathscinet; S. N. Vassilyev, V. M. Matrosov, E. A. Sumenkov, “The comparison principle in mathematical systems theory”, Russian Math. Surveys, 40:4 (1985), 227–228  isi
1982
17. С. Н. Васильев, “Метод сравнения в анализе систем. IV”, Дифференц. уравнения, 18:6 (1982),  938–947  mathnet  mathscinet 6
18. С. Н. Васильев, “Метод сравнения в анализе систем. III”, Дифференц. уравнения, 18:2 (1982),  197–205  mathnet  mathscinet 5
1981
19. С. Н. Васильев, “Метод сравнения в анализе систем. II”, Дифференц. уравнения, 17:11 (1981),  1945–1954  mathnet  mathscinet 4
20. С. Н. Васильев, “Метод сравнения в анализе систем. I”, Дифференц. уравнения, 17:9 (1981),  1562–1573  mathnet  mathscinet 5

2024
21. А. С. Агапова, А. В. Арутюнов, С. Н. Васильев, А. А. Галяев, Д. А. Новиков, Е. Е. Онегин, Д. С. Румянцев, Н. Б. Филимонов, К. А. Царьков, “Михаил Михайлович Хрусталев (1938–2023)”, Автомат. и телемех., 2024, № 1,  124–126  mathnet
2023
22. Академик С. Н. Васильев, “15-я Международная конференция “Управление развитием крупномасштабных систем”. Вступительное слово”, Автомат. и телемех., 2023, № 12,  3–5  mathnet
2022
23. С. Н. Васильев, “Вступительное слово Программного комитета конференции «Управление развитием крупномасштабных систем»”, Автомат. и телемех., 2022, № 5,  3–6  mathnet; S. N. Vasil'ev, “Introduction address by the program committee of the conference “Management of the development of large-scale systems””, Autom. Remote Control, 83:5 (2022), 673–676
2018
24. С. Н. Васильев, “Управление развитием крупномасштабных систем. Современные проблемы”, Автомат. и телемех., 2018, № 10,  3–5  mathnet
2016
25. С. М. Абрамов, А. О. Блинов, С. Н. Васильев, И. С. Гусева, Е. В. Данилина, М. Г. Дмитриев, С. В. Знаменский, Г. Н. Константинов, Н. Э. Кульбака, Г. С. Осипов, Ю. С. Попков, И. В. Расина, Е. В. Рюмина, Г. В. Сидоренко, О. В. Фесько, М. М. Хрусталёв, А. М. Цирлин, “Памяти профессора Владимира Иосифовича Гурмана”, Программные системы: теория и приложения, 7:3 (2016),  109–132  mathnet
2014
26. С. Н. Васильев, Д. А. Новиков, “XII Всероссийское совещание по проблемам управления”, Автомат. и телемех., 2014, № 11,  160–166  mathnet
2013
27. С. Н. Васильев, “К 80-летию со дня рождения академика В. М. Матросова”, Автомат. и телемех., 2013, № 2,  139–151  mathnet
2011
28. С. Н. Васильев, Н. Н. Красовский, А. П. Курдюков, А. Б. Куржанский, Т. А. Летова, “Александр Михайлович Летов (1911–1974)”, Автомат. и телемех., 2011, № 11,  3–8  mathnet  mathscinet  zmath; S. N. Vassilyev, N. N. Krasovskii, A. P. Kurdyukov, A. B. Kurzhanskii, T. A. Letova, “Aleksandr Mikhailovich Letov (1911–1974)”, Autom. Remote Control, 72:11 (2011), 2221–2226  isi 1
29. С. Н. Васильев, М. Ш. Мисриханов, В. Н. Рябченко, “90 лет со дня рождения академика Александра Аркадьевича Красовского”, Автомат. и телемех., 2011, № 4,  181–183  mathnet  mathscinet  zmath; S. N. Vasilyev, M. Sh. Misrikhanov, V. N. Ryabchenko, “Ninetieth anniversary of academician Aleksandr Arkad'evich Krasovskii”, Autom. Remote Control, 72:4 (2011), 840–841  isi
1982
30. П. А. Кузьмин, В. В. Румянцев, Л. Ю. Анапольский, С. Н. Васильев, М. К. Набиуллин, “Владимир Мефодьевич Матросов (к 50-летию со дня рождения)”, Дифференц. уравнения, 18:11 (1982),  2008–2011  mathnet  mathscinet  zmath

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024