Дэвид Беван (математик) - David Bevan (mathematician)

Дэвид Беван
Родился (1961-11-16) 16 ноября 1961 г. (59 лет)
Whitehaven, Англия
НациональностьБританский
Альма-матерКоролевский колледж, Оксфорд
Лондонская школа богословия
Открытый университет
Научная карьера
ПоляМатематика
Информатика
УчрежденияКомпания General Electric
Летний институт лингвистики
Питни Боуз
Открытый университет
Стратклайдский университет
ДокторантРоберт Бриньялл.[1]
Интернет сайтwww.strath.ac.Великобритания/штат сотрудников/ bevandaviddr

Дэвид Беван английский математик, компьютерный ученый и разработчик программного обеспечения. Он известен теоремой Бевана, которая дает асимптотическое перечисление сеточных классов перестановок.[2][3] и за его работу над перечисление класса перестановок избегая шаблона 1324.[3][4]Он также известен разработкой взвешенный подсчет ссылок, подход к компьютеру управление памятью который подходит для использования в распределенные системы.[5][6]

Работа и исследования

Беван преподает в комбинаторика в отделе Математика и статистика на Стратклайдский университет.[7][8][9]Имеет ученые степени по математике и информатике Оксфордский университет и степень в области теологии от Лондонская школа богословия.[10] Он получил докторскую степень по математике в Открытый университет в 2015 г .; его диссертация, О росте классов перестановокРуководил Робертом Бриньяллом.[1]

В 1987 году научным сотрудником в GEC с Исследовательский центр Херста на Уэмбли он разработал подход к компьютерной управление памятью, называется взвешенный подсчет ссылок, который подходит для использования в распределенные системы.[5][6]В 1990-е годы, работая в Летний институт лингвистики в Папуа - Новая Гвинея, он разработал компьютерную программу, названную FindPhone, который широко использовался полевыми лингвистами для анализа фонетических данных с целью понимания фонология из языки меньшинств.[11][12][13]Работая на Питни Боуз, он внес большой вклад в развитие FreeType библиотека визуализации текста.[14]

Математические исследования Бевана касались областей перечислительная комбинаторика, особенно в отношении классы перестановок.[3] Он установил, что скорость роста монотонной сетки класса перестановок равна квадрату спектральный радиус родственного двудольный граф.[2][3]Он также определил границы скорости роста класса перестановок, избегающих паттерна 1324.[3][4]В разделах "Благодарности" своих журнальных статей он часто включает латинскую фразуSoli Deo Gloria.[15][16][17]

Избранные публикации

  • Беван, Д. И. (1987). «Распределенная сборка мусора с использованием подсчета ссылок». PARLE Параллельные архитектуры и языки в Европе, Том II: Параллельные языки. Springer. С. 176–187.
  • Беван, Дэвид (1995). FindPhone: Фонологический анализ для полевого лингвиста. Летний институт лингвистики.
  • Беван, Дэвид (2015). «Темпы роста классов перестановочной сетки, обходов графов и спектрального радиуса» (PDF). Пер. Амер. Математика. Soc. 367 (8): 5863–5889. Дои:10.1090 / s0002-9947-2015-06280-1.
  • Беван, Дэвид (2015). "Перестановки в обход 1324 и закономерности в путях Лукасевича" (PDF). J. London Math. Soc. 92 (1): 105–122. Дои:10.1112 / jlms / jdv020.

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

  1. ^ а б Дэвид Беван на Проект "Математическая генеалогия"
  2. ^ а б Альберт, Майкл; Ваттер, Винсент (2016). «Элементарное доказательство теоремы Бевана о росте сеточных классов перестановок». arXiv:1608.06967 [math.CO ].
  3. ^ а б c d е Ваттер, Винсент (2015). «Классы перестановок». В Боне, Миклош (ред.). Справочник по перечислительной комбинаторике. CRC Press.
  4. ^ а б Эгге, Эрик С. (2015). «Отказ от Бога: гипотеза Стэнли-Уилфа, пределы Стэнли-Уилфа и два поколения комбинаторики». В Кеннеди, Стивен Ф. (ред.). Век прогрессивной математики. Математическая ассоциация Америки.
  5. ^ а б Пленфосе, Дэвид; Шапиро, Марк (1995). «Обзор методов распределенной сборки мусора». Управление памятью: международный семинар IWMM 95, Кинросс, Великобритания, 27-29 сентября 1995 г.. Springer. С. 211–249.
  6. ^ а б Джонс, Ричард; Линс, Рафаэль (1996). Сборка мусора: алгоритмы автоматического управления динамической памятью. Вайли.
  7. ^ Персонал | Стратклайдский университет
  8. ^ Д-р Дэвид Беван | Стратклайдский университет
  9. ^ Группа комбинаторики Стратклайда
  10. ^ Биографические данные из Веб-страница Открытого университета доктора Дэвида Бевана
  11. ^ Джонстон, Э. Клей (1995). «Компьютерное программное обеспечение для полевых лингвистических работ». Cahiers des Sciences Humaines. 31 (7): 103–129.
  12. ^ Antworth, Evan L .; Валентин, Дж. Рэндольф (1998). «Программное обеспечение для полевой лингвистики». В Лоулере, Джон; Аристар Драй, Хелен (ред.). Использование компьютеров в лингвистике: практическое руководство. Рутледж.
  13. ^ Хант, Джеффри (2008). «Сравнение средств фонологии». Форум SIL по языковым полевым работам. 2008-009.
  14. ^ Авторы и разработчики FreeType
  15. ^ Беван, Дэвид (2014). «Темпы роста геометрических сеточных классов перестановок». Электрон. J. Combin. 13 (1). Бумага 4.51, 17 стр. arXiv:1306.4246. Bibcode:2013arXiv1306.4246B.
  16. ^ Беван, Дэвид (2015). "Перестановки в обход 1324 и закономерности в путях Лукасевича" (PDF). J. London Math. Soc. 92 (1): 105–122. Дои:10.1112 / jlms / jdv020.
  17. ^ Беван, Дэвид (2017). «Интервалы темпов роста перестановочного класса». Комбинаторика.

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