Дэвид Беван (математик)
Дэвид Беван | |
---|---|
Рожденный | Уайтхейвен , Англия | 16 ноября 1961 г.
Национальность | Британский |
Альма-матер | Королевский колледж, Оксфорд Лондонская школа теологии Открытый университет |
Научная карьера | |
Поля | Математика Информатика |
Учреждения | Дженерал Электрик Компани Летний институт лингвистики Питни Боуз Открытый университет Университет Стратклайда |
Докторантура | Роберт Бригналл. [1] |
Веб-сайт | www |
Дэвид Беван — английский математик, ученый-компьютерщик и разработчик программного обеспечения. Он известен теоремой Бевана, которая дает асимптотическое перечисление сеточных классов перестановок. [2] [3] и за его работу по перечислению класса перестановок, избегающих шаблона 1324. [3] [4] Он также известен разработкой взвешенного подсчета ссылок — подхода к управлению компьютерной памятью , который подходит для использования в распределенных системах . [5] [6]
Работа и исследования
[ редактировать ]Беван — преподаватель комбинаторики на факультете математики и статистики в Университете Стратклайда . [7] [8] [9] Он имеет степени по математике и информатике Оксфордского университета и степень по теологии Лондонской школы теологии . [10] Он получил докторскую степень по математике в Открытом университете в 2015 году; его диссертация «О росте классов перестановок » была под руководством Роберта Бригналла. [1]
В 1987 году, будучи научным сотрудником GEC компании исследовательского центра Херста на Уэмбли, он разработал подход к управлению компьютерной памятью , называемый взвешенным подсчетом ссылок , который подходит для использования в распределенных системах . [5] [6] В 1990-х годах, работая в Летнем институте лингвистики в Папуа-Новой Гвинее , он разработал компьютерную программу под названием FindPhone , которая широко использовалась полевыми лингвистами для анализа фонетических данных с целью понимания фонологии языков меньшинств . [11] [12] [13] Работая в Pitney Bowes , он внес большой вклад в разработку библиотеки рендеринга текста FreeType . [14]
Математические исследования Бевана затронули области перечислительной комбинаторики , особенно в отношении классов перестановок . [3] Он установил, что скорость роста монотонного сеточного класса перестановок равна квадрату спектрального радиуса связанного с ним двудольного графа . [2] [3] Он также определил границы темпов ростакласс перестановок, избегающих шаблона 1324. [3] [4] В разделах «Благодарности» своих журнальных статей он часто включает латинскую фразу Соли Део Глория . [15] [16] [17]
Избранные публикации
[ редактировать ]- Беван, Д.И. (1987). «Распределенная сборка мусора с использованием подсчета ссылок». PARLE Параллельные архитектуры и языки в Европе, Том II: Параллельные языки . Спрингер. стр. 176–187.
- Беван, Дэвид (1995). FindPhone: Фонологический анализ для полевого лингвиста . Летний институт лингвистики.
- Беван, Дэвид (2015). «Темпы роста классов сетки перестановок, обходов по графам и спектрального радиуса» (PDF) . Пер. амер. Математика. Соц . 367 (8): 5863–5889. дои : 10.1090/s0002-9947-2015-06280-1 .
- Беван, Дэвид (2015). «Перестановки, избегающие 1324, и шаблоны в путях Лукасевича» (PDF) . Дж. Лондон Математика. Соц . 92 (1): 105–122. arXiv : 1406.2890 . дои : 10.1112/jlms/jdv020 . S2CID 9624777 .
Внешние ссылки
[ редактировать ]Ссылки
[ редактировать ]- ^ Jump up to: а б Дэвид Беван в проекте «Математическая генеалогия»
- ^ Jump up to: а б Альберт, Майкл ; Ваттер, Винсент (2019). «Элементарное доказательство теоремы Бевана о росте сеточных классов перестановок». Учеб. Эдинб. Математика. Соц. (2) . 62 (4): 975–984. arXiv : 1608.06967 . дои : 10.1017/S0013091519000026 . S2CID 119575823 .
- ^ Jump up to: а б с д и Ваттер, Винсент (2015). «Классы перестановок». В Боне, Миклош (ред.). Справочник по перечислительной комбинаторике . ЦРК Пресс.
- ^ Jump up to: а б Эгге, Эрик С. (2015). «Бросая вызов Богу: гипотеза Стэнли-Уилфа, пределы Стэнли-Уилфа и взрыв комбинаторики двух поколений». В Кеннеди, Стивен Ф. (ред.). Век развития математики . Математическая ассоциация Америки.
- ^ Jump up to: а б Пленфоссе, Дэвид; Шапиро, Марк (1995). «Обзор методов распределенной сборки мусора». Управление памятью: Международный семинар IWMM 95 Кинросс, Великобритания, 27-29 сентября 1995 г. Материалы . Спрингер. стр. 211–249.
- ^ Jump up to: а б Джонс, Ричард; Линс, Рафаэль (1996). Сбор мусора: алгоритмы автоматического динамического управления памятью . Уайли.
- ^ Сотрудники | Университет Стратклайда
- ^ Доктор Дэвид Беван | Университет Стратклайда
- ^ Группа комбинаторики Стратклайда
- ^ Биографические данные с веб-страницы Открытого университета доктора Дэвида Бевана.
- ^ Джонстон, Э. Клей (1995). «Компьютерное программное обеспечение для помощи в лингвистических полевых работах». Cahiers des Sciences Humanes . 31 (7): 103–129.
- ^ Антворт, Эван Л.; Валентин, Дж. Рэндольф (1998). «Программное обеспечение для ведения полевой лингвистики». В Лоулере, Джон; Аристар Драй, Хелен (ред.). Использование компьютеров в лингвистике: Практическое руководство . Рутледж.
- ^ Хант, Джеффри (2008). «Сравнение инструментов фонологии». Форум SIL для языковых полевых исследований . 2008–009.
- ^ Авторы и разработчики FreeType
- ^ Беван, Дэвид (2014). «Темпы роста классов геометрических сеток перестановок». Электрон. Дж. Комбин . 13 (1). Статья 4.51, 17 страниц. arXiv : 1306.4246 . Бибкод : 2013arXiv1306.4246B .
- ^ Беван, Дэвид (2015). «Перестановки, избегающие 1324, и шаблоны в путях Лукасевича» (PDF) . Дж. Лондон Математика. Соц . 92 (1): 105–122. arXiv : 1406.2890 . дои : 10.1112/jlms/jdv020 . S2CID 9624777 .
- ^ Беван, Дэвид (2017). «Интервалы роста классов перестановок». Комбинаторика .