Пол С. Ван
Пол С. Ван | |
---|---|
Рожденный | 1944 (возраст 79–80 лет) |
Национальность | Китайско-американский |
Род занятий | Ученый-компьютерщик, консультант, исследователь, автор и академик |
Награды | Премия губернатора Огайо за предпринимательство факультета университета, Совет искусств Огайо |
Академическое образование | |
Образование | степень бакалавра доктор философии степень |
Альма-матер | Начальная школа Тайбэйского женского педагогического университета Средняя школа Тайваньского педагогического университета Тайваньский национальный университет Чжунсина (факультет прикладной математики, факультет прикладной математики, Национальный университет Чжунсин) Массачусетский технологический институт |
Диссертация | Оценка определенных интегралов с помощью символических манипуляций (1971) |
Академическая работа | |
Учреждения | Массачусетский технологический институт , IBM Исследовательский центр Томаса Дж. Уотсона , Кентский государственный университет , Лаборатории HP , Национальные лаборатории Сандии |
Пол С. Ван — китайско-американский ученый-компьютерщик, исследователь, автор, консультант и академик. Он является почетным профессором компьютерных наук Кентского государственного университета . [1]
Опыт Ванга заключается в автоматизации математических вычислений. Он провел более сорока исследовательских проектов. Его исследования в основном сосредоточены на символических и алгебраических вычислениях (SAC), автоматической генерации кода, математических вычислениях, доступных через Интернет (IAMC), полиномиальном факторинге и алгоритмах GCD, обеспечивающих технологии и предоставление классных комнат математического образования через Интернет (WME), а также параллельных и распределенных САК. Он также является автором нескольких книг по информатике, в том числе «Освоение современного Linux» , «От вычислений к вычислительному мышлению» , [2] «Введение в веб-дизайн и программирование» , «Освоение Linux» , «Введение в веб-дизайн и программирование» , « Стандартный C++ с объектно-ориентированным программированием» . [3]
Ван также пишет статьи для своего блога о вычислительном мышлении (КТ). [4]
Ранняя жизнь и образование
[ редактировать ]Ван родился в Сиане, Китай, в 1944 году. Он окончил Тайваньский национальный университет Чжунсин в 1967 году, а затем иммигрировал в Соединенные Штаты, получив стипендию для обучения в Массачусетском технологическом институте . В 1971 году он получил степень доктора компьютерных наук в Массачусетском технологическом институте. [1] Его докторская диссертация, которой руководил Джоэл Мозес , озаглавлена «Оценка определенных интегралов с помощью символических манипуляций». [5]
Карьера
[ редактировать ]После получения докторской степени он стал преподавателем Массачусетского технологического института (1971–1977). Ван поступил в Кентский государственный университет в 1977 году и начал внедрять предмет «компьютер» (компьютерные науки) на факультете математических наук. В 1981 году он занял должность профессора компьютерных наук, а затем с 1986 по 2011 год занимал должность директора Института вычислительной математики. В 2012 году он вышел на пенсию и стал почетным профессором Кентского государственного университета. [1]
В 1980-х годах он основал компанию sofpower, консалтинговую компанию в области информационных технологий. В 2001 году он основал webtong.com. Он преподавал веб-дизайн и программирование более десяти лет. За это время он опубликовал два учебника под названием «Введение в веб-дизайн и программирование» и «Динамическое веб-программирование» и «HTML5» в 2003 и 2012 годах. В 2015 году он опубликовал книгу «От вычислений к вычислительному мышлению» . [2]
С 2017 года Ван пишет статьи в собственном блоге «Вычислительное мышление» (КТ). [4]
Исследовать
[ редактировать ]Будучи молодым аспирантом, Ван присоединился к Project MAC, исследовательской лаборатории, которая привела к созданию MIT LCS (Лаборатории компьютерных наук), которая позже стала CSAIL в MIT. [6] Ван начал работать над автоматизацией математических вычислений в рамках проекта Macsyma . Его исследования в первую очередь сосредоточены на символических и алгебраических вычислениях (SAC, также известных как компьютерная алгебра ), математических вычислениях, доступных в Интернете (IAMC), полиномиальном факторинге и алгоритмах GCD, технологиях, позволяющих проводить обучение математике через Интернет (WME), автоматическом кодировании. генерации, а также параллельных и распределенных SAC.
Полиномиальная факторизация
[ редактировать ]Ван известен своими работами по факторизации полиномов . Он разработал и опубликовал математические теории и новые алгоритмы НОД и факторизации одномерных и многомерных многочленов над целыми числами и алгебраическими расширениями. Эти алгоритмы были реализованы в Macsyma , а затем и в системах символьных манипуляций MAXIMA . Набор алгоритмов в совокупности образует полную систему, которая на практике решает проблему полиномиальной факторизации. [7] [8]
Главный прорыв в алгоритмах полиномиального факторинга Ванга заключается в p-адическом подъеме ( лемма Гензеля ). А именно, сначала свести факторизацию многомерного полинома к соответствующей одномерной задаче факторизации. Проблема с одной переменной в дальнейшем сводится к задаче mod-p . Коэффициенты mod-p затем повышаются до решения для целых чисел, которое затем может быть поднято для восстановления многомерных коэффициентов, одногодополнительную переменную за раз. Эта идея и другие оригинальные методы, такие как определение ведущих коэффициентов, в совокупности делают алгоритмы полиномиального факторинга Ванга мощными и практичными.
Внедрение алгоритмов Ванга положило конец отсутствию эффективных методов полиномиального факторинга. Набор алгоритмов, реализованный в MAXIMA , в целом остается лучшим из имеющихся.
Объектно-ориентированное программирование
[ редактировать ]В 1999 году Ван написал книгу, в которой обсудил основные и расширенные процедуры программирования на Java. Он представил многопоточность, объектно-ориентированное программирование (ООП), графические пользовательские интерфейсы, программирование, управляемое событиями, и работу в сети. Он предложил приложения для разработки Java-апплетов и программ. [9] Он изучал важность C++ с точки зрения объединения реальных приложений и решения основных концепций объектно-ориентированного программирования. Далее он исследовал атрибуты C++ в организованной, простой и краткой форме. [10]
В своей работе над HTML5 Ван изучал язык разметки HTML5 и DOM, структурирование веб-документов и форм, а также важные API-интерфейсы JavaScript, связанные с HTML5. Он исследовал XML и PHP/MySQL, а также предложил шаблоны страниц, вход пользователя в систему, доступ к базе данных, управление сеансами и обработку форм. [11]
Вычислительное мышление
[ редактировать ]Работая над вычислительным мышлением (КТ), Ван предложил несколько инструментов для понимания и использования КТ, а также объяснил концепции и методы КТ. Его учебник «От вычислений к вычислительному мышлению» содержит игры и повседневные примеры в качестве предварительных тем для обсуждения и развития связи между моделями абстрактного мышления и ситуациями из реальной жизни. [12] китайская версия учебника «От вычислений к вычислительному мышлению» Для высшего образования в Китае опубликована .
Ван начал вести блог CT в 2017 году, публикуя регулярные публикации на множество интересных и полезных тем, способствующих развитию вычислительного мышления ипредоставить примеры применения компьютерной томографии во многих областях, включая повседневную жизнь. [13]
Разработка сайта
[ редактировать ]В своих исследованиях в области разработки веб-сайтов он изучил дизайн и технологические аспекты разработки веб-сайтов, включая художественный дизайн, информационную архитектуру, информатику, визуальную коммуникацию и программирование. Он также изучал искусство и технологию разработки веб-сайтов и уделял особое внимание процедурам разработки этого предмета. [14] Его подходы основаны на стандартных веб-протоколах и технологиях, включая HTML5, CSS3, Javascript, DOM, PHP, MySQL, Apache, MathML, SVG, XML, AJAX и HTTPS. Его работа также включает в себя IAMC (доступные через Интернет математические вычисления) и WME (математическое образование через Интернет), чтобы перенести математику в эпоху цифровых технологий.
Операционные системы
[ редактировать ]В своей книге, опубликованной в 1988 году, он представил операционную систему Berkeley Unix . [15] Он также сосредоточился на Linux и исследовал различные концепции, программирование и использование Linux, а также практические примеры. Он предоставил пользовательские интерфейсы, сценарии Bash Shell, команды и фильтры, системные вызовы ядра, файловую систему, а также использование сети и Интернета. [16]
Награды и почести
[ редактировать ]- 2001 - Премия губернатора Огайо за предпринимательство факультета университета, Совет искусств Огайо
Библиография
[ редактировать ]- Стандартный C++ с объектно-ориентированным программированием (1994) ISBN 9780534196448
- Освоение Linux, введение в веб-дизайн и программирование (2003) ISBN 978-0534395285
- Введение в веб-дизайн и программирование (2011 г.) ISBN 9780534395285
- От вычислений к вычислительному мышлению (2017) ISBN 9781482217667
- Освоение современного Linux (2018) ISBN 9781351211284
- Стать вычислительным мыслителем: успех в эпоху цифровых технологий (2024 г.) ISBN 9781032568980
Ссылки
[ редактировать ]- ^ Jump up to: а б с «Пол С. Ван» .
- ^ Jump up to: а б «От вычислений к вычислительному мышлению» .
- ^ «Стандартный C++ с объектно-ориентированным программированием» .
- ^ Jump up to: а б «Повседневное вычислительное мышление может спасти жизни» (PDF) .
- ^ «Оценка определенных интегралов с помощью символических манипуляций» (PDF) .
- ^ «МИТ ЦСАИЛ» .
- ^ Ван, Пол С. (1978). «Улучшенный алгоритм многомерного полиномиального факторинга» . Математика вычислений . 32 (144): 1215–1231. дои : 10.1090/S0025-5718-1978-0568284-3 . JSTOR 2006346 .
- ^ «Параллельные полиномиальные операции над SMP: обзор» (PDF) .
- ^ Ван, Пол С. (1999). Java с объектно-ориентированным программированием и приложениями для Всемирной паутины . ISBN 9780534952068 .
- ^ Ван, Пол С. (1994). C++ с объектно-ориентированным программированием . ISBN 9780534196448 .
- ^ Ван, Пол С. (21 ноября 2012 г.). Динамическое веб-программирование и HTML5 . ISBN 9781000755749 .
- ^ Ван, Пол С. (20 июля 2017 г.). От вычислений к вычислительному мышлению . ISBN 9781482217667 .
- ^ Ван, Пол С. (2017). «Блог о вычислительном мышлении» .
- ^ Ван, Пол С.; Катила, Санда (2004). Введение в веб-дизайн и программирование, 1-е издание . ISBN 0534395287 .
- ^ Ван, Пол С. (1988). Введение в Berkeley Unix . ISBN 0534088627 .
- ^ Ван, Пол С. (14 июня 2018 г.). Освоение современного Linux . ISBN 9781351211291 .