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

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

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

Работа и исследования [ править ]

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

В 1987 годе в качестве научного сотрудника в ГЭЦ «s Research Center Херсты в Wembley, он разработал подход к компьютерному управлению памятью , которая называется взвешенным подсчетом ссылок , который подходит для использования в распределенных системах . [5] [6] В 1990 - х годах, во время работы в летнем лингвистическом институте в Папуа - Новой Гвинее , он разработал компьютерную программу, которая называется FindPhone , который широко используется в полевых лингвистах для анализа фонетических данных для того , чтобы понять фонологию из языки меньшинств . [11] [12] [13]Работая в Pitney Bowes , он внес большой вклад в разработку библиотеки визуализации текста 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. DOI : 10.1090 / s0002-9947-2015-06280-1 .
  • Беван, Дэвид (2015). «Перестановки, избегающие 1324 и паттерны в путях Лукасевича» (PDF) . J. London Math. Soc . 92 (1): 105–122. DOI : 10,1112 / jlms / jdv020 .

Ссылки [ править ]

  1. ^ а б Дэвид Беван в проекте « Математическая генеалогия»
  2. ^ а б Альберт, Майкл ; Ваттер, Винсент (2019). «Элементарное доказательство теоремы Бевана о росте сеточных классов перестановок». Proc. Edinb. Математика. Soc. (2) . 62 (4): 975–984. arXiv : 1608.06967 . DOI : 10.1017 / S0013091519000026 .
  3. ^ а б в г е Ваттер, Винсент (2015). «Классы перестановок». В Боне, Миклош (ред.). Справочник по перечислительной комбинаторике . CRC Press.
  4. ^ а б Эгге, Эрик С. (2015). «Отказ от Бога: гипотеза Стэнли-Уилфа, пределы Стэнли-Уилфа и два поколения комбинаторики». В Кеннеди, Стивен Ф. (ред.). Век прогрессивной математики . Математическая ассоциация Америки.
  5. ^ a b Пленфосе, Дэвид; Шапиро, Марк (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, Эван 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. DOI : 10,1112 / jlms / jdv020 .
  17. ^ Беван, Дэвид (2017). «Интервалы темпов роста перестановочного класса». Combinatorica .

Внешние ссылки [ править ]

  • Страница Дэвида Бевана в Стратклайдском университете