Ван Дунмин (академик)
Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Ван Dongming ( китайский :王东明, родился в июле 1961 Аньхой , Китай ), научный директор (Directeur де Recherche) во французском Национальном центре научных исследований ( Национальный центр научных исследований , CNRS). [1] В 2001 году он был удостоен звания профессора кафедры Вен-цюнь Ву Китайского университета науки и технологий , [2] стипендиата Чанцзян Министерства образования Китая в 2005 году [3] и стипендиата Багуи из Гуанси-Чжуанского автономного района , Китай в 2014 году. [4] Он был избран членомAcademia Europaea в 2017 г. [5]

Ван работал над теорией алгоритмического исключения , геометрическими рассуждениями и управлением знаниями , а также над приложениями символьных вычислений к качественному анализу дифференциальных уравнений. В 1993 году он предложил метод исключения для треугольной декомпозиции полиномиальных систем [6], который был назван методом Ванга и по сравнению с другими тремя методами. [7] Позже он ввел понятия регулярных систем и простых систем [8] и разработал алгоритмы для регулярных и простых треугольных разложений. [9] [10] Он также разработал пакет под названием Epsilon, [11]который реализует его методы. [12] [13]

Ван популяризировал использование методов и инструментов компьютерной алгебры для символьного анализа устойчивости и бифуркации дифференциальных и биологических систем. Он построил класс кубических дифференциальных систем с шестью предельными циклами малой амплитуды [14] и заново открыл неполноту условий центра Куклеса 1944 г. [15], что стимулировало изучение системы Куклеса в сотнях работ. [16] С 2004 года он участвует в исследовательских проектах по управлению геометрическими знаниями и открытиям. Вместе с сотрудниками он разработал алгоритмический подход для автоматического открытия геометрических теорем по изображениям диаграмм. [17]

Ван занимал пост генерального председателя ISSAC 2007 и является основателем и главным редактором журнала «Математика в компьютерных науках» [18], а также исполнительным заместителем главного редактора журнала SCIENCE CHINA Information Sciences. [19]

В настоящее время он работает профессором в Университете Бейхан и Университете национальностей Гуанси , Китай, в отпуске (деташе) из CNRS.

использованная литература

  1. ^ "Команда ПОЛСИС" . Polsys.lip6.fr . Проверено 7 сентября 2017 .
  2. ^ "中国 科学 技术 大学 人力资源部" . Hr.ustc.edu.cn . Проверено 7 сентября 2017 .
  3. ^ "第六批 特聘 教授 名单 _ 长江 学者 名单 _ 数据 中心 _ 中国 学位 与 研究生 教育 信息 网" . Cdgdc.edu.cn. 2017-03-13 . Проверено 7 сентября 2017 .
  4. ^ "广西 日报 数字 报刊" . Gxrb.gxnews.com.cn . Проверено 7 сентября 2017 .
  5. ^ "Европейская академия: Ван Дунмин" . Ae-info.org . Проверено 7 сентября 2017 .
  6. ^ Ван, Дунмин (1993). «Метод исключения для полиномиальных систем» . Журнал символических вычислений . 16 (2): 83–114. DOI : 10.1006 / jsco.1993.1035 .
  7. ^ Обри, Филипп; Морено Маза, Марк (1999). «Треугольные множества для решения полиномиальных систем: сравнительная реализация четырех методов». Журнал символических вычислений . 28 (1): 125–154. DOI : 10.1006 / jsco.1999.0270 .
  8. ^ Делльер, Стефан. «Простые системы DMWang и динамическое конструктивное закрытие» . LACO - Отчет № 2000–16 . Проверено 4 сентября 2017 года .
  9. ^ Ван, Дунмин (1998). «Разложение полиномиальных систем на простые системы» . Журнал символических вычислений . 25 (3): 295–314. DOI : 10.1006 / jsco.1997.0177 .
  10. ^ Ван, Дунмин (2000). «Вычислительные треугольные системы и регулярные системы» . Журнал символических вычислений . 30 (2): 221–236. DOI : 10.1006 / jsco.1999.0355 .
  11. ^ "Эпсилон 0,618" . Wang.cc4cm.org . Проверено 7 сентября 2017 .
  12. ^ Ван Dongming (2001). Методы устранения . Вена, Нью-Йорк: Springer-Verlag.
  13. ^ Ван Dongming (2004). Практика устранения: программные инструменты и приложения . Лондон: Imperial College Press.
  14. ^ Ван, Дунмин (1990). «Класс кубических дифференциальных систем с 6-кратным фокусом» . Журнал дифференциальных уравнений . 87 (2): 305–315. Bibcode : 1990JDE .... 87..305D . DOI : 10.1016 / 0022-0396 (90) 90004-9 .
  15. ^ Цзинь, Сяофань; Ван, Дунмин (1990). «Об условиях куклеса для существования центра». Бюллетень Лондонского математического общества . 22 (1): 1–4. DOI : 10.1112 / БЛМ / 22.1.1 .
  16. ^ Кристофер, CJ; Ллойд, Н.Г. (1990). «О работе Цзинь и Ванга об условиях центра в некоторых кубических системах». Бюллетень Лондонского математического общества . 22 (1): 5–12. DOI : 10.1112 / БЛМ / 22.1.5 .
  17. ^ Чен, Сяоюй; Песня, Дэн; Ван, Дунмин (2015). «Автоматизированное построение геометрических теорем из изображений диаграмм». Анналы математики и искусственного интеллекта . 74 (3–4): 333–358. arXiv : 1406,1638 . DOI : 10.1007 / s10472-014-9433-7 .
  18. ^ «Математика в информатике - включая возможность публикации в открытом доступе» . Springer.com . Проверено 7 сентября 2017 .
  19. ^ "Наука Китая Информационные науки" . Springer.com . Проверено 7 сентября 2017 .

внешние ссылки

  • Ван Дунмин на проекте « Математическая генеалогия»
  • Личный сайт Ванга
Получено с https://en.wikipedia.org/w/index.php?title=Wang_Dongming_(academic)&oldid=1032066329 "
Contribute a better translation