Марк Берджесс (ученый-компьютерщик)
 | Эта статья может чрезмерно полагаться на источники, слишком тесно связанные с предметом , что потенциально препятствует тому, чтобы статья была проверяемой и нейтральной . ( январь 2023 г. ) |
Марк Берджесс (родился 19 февраля 1966 г.) — независимый исследователь и писатель, бывший профессор Университетского колледжа Осло в Норвегии и создатель программного обеспечения и компании CFEngine . [1] который известен работами в области информатики в области управления конфигурацией на основе политик .
Марк Берджесс | |
|---|---|
 | |
| Рожденный | 19.02.1966 Магхалл, Великобритания |
| Национальность | Британский |
| Гражданство | Великобритания, Норвегия |
| Альма-матер | Университет Ньюкасл-апон-Тайн |
| Известный | CFEngine, Теория обещаний |
| Награды | Премия Кейта Ранкорна по физике |
| Научная карьера | |
| Поля | Теоретическая физика, Теория обещаний, Информатика |
| Учреждения | Университет Осло, Метеорологический университет Осло, CFEngine, ChiTek-i |
| Диссертация | Калибровочный вакуум в многосвязном пространстве-времени (1990) |
| Веб-сайт | http://www.markburgess.org/ |
Ранняя жизнь и образование
[ редактировать ]Берджесс родился в Магалле в Соединенном Королевстве в семье англичан. Он вырос в Блоксхэме , небольшой деревне в Оксфордшире, в возрасте 5–18 лет, посещал начальную школу Блоксхэма, среднюю школу Уорринера и старшую школу Банбери . Он изучал астрофизику в (тогда) Школе физики Университета Ньюкасл-апон-Тайн , где позже переключился на чистую физику, а затем на теоретическую физику для получения степени бакалавра. Он остался, чтобы получить степень доктора философии по теоретической физике ( квантовая теория поля ) в Ньюкасле в области спонтанного нарушения симметрии в неабелевых калибровочных теориях . [2] за что он получил премию Кейта Ранкорна . [3]
В январе 1991 года Берджесс был приглашен в Норвегию на двухлетнюю постдокторскую стипендию Королевского общества профессором Финном Равндалом из Университета Осло и оставался там еще на два года при финансовой поддержке Норвежского исследовательского совета. [3] Во время учебы в Университете Осло он заинтересовался поведением компьютеров как динамических систем и начал применять идеи физики для описания поведения компьютеров. [3] Впоследствии он стал первым профессором со степенью сетевого и системного администрирования в том же университете. В 2023 году, в ответ на Брексит , Берджесс подал заявление и стал гражданином Норвегии после принятия двойного гражданства в Норвегии.
Бёрджесс, пожалуй, наиболее известен как автор популярного для управления конфигурациями пакета программного обеспечения CFEngine . [1] но также внес важный вклад в теорию автоматизации и управления на основе политик, включая идею конвергенции операторов и теорию обещаний .
Карьера
[ редактировать ]Берджесс внес вклад в теоретическую и эмпирическую информатику, главным образом в область поведения вычислительной инфраструктуры и сервисов. [4] В начале 1990-х годов Берджесс утверждал, что программные модели компьютерных программ не могут описывать наблюдаемое поведение в макроскопическом масштабе и что вместо этого можно использовать статистическую физику, уподобляя искусственные системы квазиестественному явлению. [5] С ростом интереса к роли информации в физике Берджесс утверждал, что информатика и физика могут быть объединены с помощью концепций теории обещаний через понятие семантического пространства-времени , описания функциональных аспектов пространства-времени в нескольких масштабах, которое предлагает альтернатива Робина Милнера теории биграфов .
Конфигурация
[ редактировать ]В 1993 году Берджесс представил программное обеспечение CFEngine, основанное на интуиции и практике, сосредоточив внимание на идее повторяемой «конвергенции» желаемого конечного состояния для управления конфигурацией системы. Термин «сходимость», используемый Бёрджесом, теперь часто неточно называют просто «идемпотентностью» , поскольку сходимость в его значении подразумевала как желаемое конечное состояние, так и идемпотентность оператора исправления ошибок в желаемом конечном состоянии. Переключив интерес с теоретической физики на информатику, Бёрджесс затем начал исследовать изначально сделанный выбор и решил найти научный метод для понимания такого выбора в вычислительных системах.
Компьютерная иммунология, обнаружение аномалий и машинное обучение
[ редактировать ]Следуя «манифесту» позиционного документа, указывающему на исследовательские задачи, необходимые для создания самовосстанавливающихся систем, [6] Берджесс взялся изучать компьютерные системы как ряд эмпирических явлений, применив подход, основанный на физике, чтобы сначала узнать о масштабах и закономерностях. Идея самовосстановления или самоподдерживающихся систем первоначально называлась компьютерной иммунологией, поскольку она была вдохновлена исследованием модели опасности иммунной системы человека. Эмпирические исследования были опубликованы в различных форматах в период с 1999 по 2003 год, кульминацией которых стал краткий журнальный обзор. [7] и более практичный метод автоматического машинного обучения поведенческих характеристик системы. [8] Это включало идею так называемого экспоненциального сглаживания (которое называлось средним геометрическим) для быстрого обучения, а также двумерную цилиндрическую модель времени. [9] который был основан на том результате, что сетевой трафик клиент-сервер должен был вести себя как квазипериодическая стохастическая функция (характеристика системы, приближающейся к равновесию). [10] [11]
Таким образом, идея равновесия или установившегося режима работы стала базовой, заменив произвольные пороговые значения, используемые в тогдашнем программном обеспечении для мониторинга. Программное обеспечение CFEngine стало экспериментальной платформой, использующей эти методы обнаружения аномалий состояния системы с 2002 года по настоящее время, и получило широкое распространение. [12]
Теоретические модели
[ редактировать ]Основываясь на этих фундаментальных эмпирических исследованиях, Бёрджесс предложил два типа теоретической модели для описания систем, которые он назвал типом 1 и типом 2. [13] Модели типа 1 представляли собой модели динамических характеристик, которые описывали машины как изменяющиеся явления. Тип 2 представлял собой семантические модели, касающиеся эффективности и влияния человеческих решений на поведение, называемые политикой или вычислением желаемого состояния. Позже он развил их дальше и связал их с работой Клода Шеннона по исправлению ошибок в статье, в которой обсуждается, как разделение временных шкал играет важную роль в информатике по аналогии с физикой. [14] С помощью Тронда Рейтана Бёрджесс показал, что на вопрос о том, когда лучше всего выполнять резервное копирование данных, можно ответить с научной точки зрения. [15]
Исследования, проведенные в период с 1998 по 2002 год, привели к созданию монографии «Аналитическая сеть и системное администрирование: управление человеко-компьютерными системами» . [16] Несмотря на то, что Бёрджесс достаточно подробно описывал некоторые аспекты систем, он выявил недостающую часть этой истории, а именно, как описать распределенное взаимодействие между компьютерами в сетях. Это побудило к более поздней работе, которая стала «Теорией обещаний». [17] предложено на конференции «Распределенные системы, операции и управление». конференция в Барселоне в 2005 году. [18]
Сообщество информатики неоднозначно отреагировало на гибридный характер работы над инфраструктурой, который, казалось, рассматривался как нечто среднее между традиционными вычислениями и физикой. Однако к настоящему времени он стал практически повсеместным, а его подходы и результаты широко используются. [ нужна ссылка ]
Теория обещаний
[ редактировать ]Теория обещаний была представлена как модель добровольного сотрудничества между агентами в 2004 году. [18] для понимания человеко-компьютерных систем со сложными взаимодействиями, а позже совместно с голландским ученым-компьютерщиком и другом Яном Бергстрой разработал книгу. [17] Интерес к теории обещаний в ИТ-индустрии возрос, и ее упоминают в нескольких продуктах. [19] [20] [21] [22] [23]
Семантическое пространство-время
[ редактировать ]В качестве применения теории обещаний, которая вступает в контакт с представлением знаний и искусственным рассуждением, Берджесс представил концепцию семантического пространства-времени , которая применяет семантику к теоретическим графовым моделям связанных регионов, от компьютерных сетей до умных городов. [24]
Семантическое пространство-время — это теоретическая основа для агентного моделирования пространства -времени , основанная на теории обещаний . Это актуально как модель информатики, так и физики. Семантическое пространство-время было представлено Марком Берджессом в серии статей: [25] [26] [27] как альтернатива описанию пространства и времени, первоначально для компьютерных наук, после того, как более ранние модели Милнера и других оказались недостаточными. [28] [29] Он пытается объединить количественные и качественные аспекты пространственно-временных процессов в единую модель. Берджесс называет это охватывающим как «динамику, так и семантику». [28]
В 2019 году Берджесс написал книгу под названием «Умное пространство-время», чтобы объяснить концепцию семантического пространства-времени, а также указать на «глубокие связи» с другими областями. [29] Комментаторы сравнили эту идею с другими теоретико-графовыми моделями пространства-времени, такими как квантовая графития и физический проект Вольфрама. [30]
В физике пространство-время — это чисто количественное описание метрических координат для отображения региона или объема; но в информационных науках пространство-время также может иметь семантику или «качественные» функциональные аспекты, которые также необходимо включать в описания явлений.
Идеи теории графов
[ редактировать ]Еще одной постоянной темой работ Берджесса была теория графов. Работая с исследователями поисковых систем Джеффри Кэнрайтом и Кнутом Энго Монсеном, Берджесс разработал алгоритм ранжирования страниц, аналогичный средствам устранения снижения собственных значений PageRank в ориентированных графах. [31] Эта работа также встретила сопротивление со стороны американского журнального истеблишмента и была отложена до окончательной публикации. [32] Вместе со аспирантом Кирром Бегнумом он исследовал связанную с ним технику анализа главных компонентов для анализа корреляций в аномалиях, полученных машинным обучением, описанных выше. [33] Графы как модель безопасности имели еще одну связь с физикой благодаря идее просачивания или критичности путей. [34]
Управление знаниями
[ редактировать ]С 2007 года Берджесс обратил свое внимание на вопросы представления знаний и управления знаниями, часто используя теорию обещаний в качестве агентской модели. [35] [36] [37]
Музыка и медиа
[ редактировать ]Берджесс - опытный гитарист и композитор различных музыкальных стилей, от оркестровой до джаза, рока и поп-музыки, он бесплатно публикует любительскую музыку и выпустил ряд альбомов на потоковых платформах. [38] Он также является художником-любителем и иногда цифровым художником. [39]
Во время пандемии 2020 года Берджесс снял серию из трех документальных фильмов с нулевым бюджетом под названием «Больше, быстрее, умнее», в которых он взял интервью у ряда светил отрасли о природе процессов в пространстве и времени, сетях и будущем технологий. Сериал был полностью написан, снят, озвучен и отредактирован Берджессом. Он также сочинил и исполнил музыку к сериалу. [40]
Избранные публикации
[ редактировать ]- Берджесс, Марк (2002). Классические ковариантные поля . Издательство Кембриджского университета. ISBN 9781009289863 .
- Берджесс, Марк (2003). Принципы сетевого и системного администрирования (второе изд.). Дж. Уайли и сыновья. ISBN 9788126504985 .
- Берджесс, Марк (2004). Аналитическое сетевое и системное администрирование: управление человеко-компьютерными сетями . Дж. Уайли и сыновья. ISBN 9781118604465 .
- Бергстра, Ян; Берджесс, Марк (2007). Справочник по сетевому и системному администрированию . Эльзевир. ISBN 9780080553580 .
- Берджесс, Марк (2013). В поисках уверенности: наука о нашей информационной инфраструктуре . XtAxis Пресс. ISBN 9781491923368 .
- Бергстра, Дж.А.; Берджесс, Марк (2014). Теория обещаний: принципы и приложения . XtAxis Пресс. ISBN 9781696578554 .
- Берджесс, Марк (2015). Мышление обещаниями: проектирование систем для сотрудничества Мышление обещаниями . О'Рейли. ISBN 9781491918494 .
Ссылки
[ редактировать ]- ^ Перейти обратно: а б Шустер, Вернер (9 июля 2016 г.). «Марк Берджесс о компьютерной иммунологии и управлении конфигурацией» . ИнфоQ (Интервью) . Проверено 26 августа 2016 г.
- ^ Берджесс, Марк (3 марта 1991 г.). Радиационно-индуцированные члены Черна-Саймонса на торе (PDF) (Диссертация). Университет Осло. ISSN 0332-5571 . Проверено 26 августа 2016 г. - через МАГАТЭ.
- ^ Перейти обратно: а б с Портела, Ирен Мария (30 сентября 2013 г.). Организационные, правовые и технологические аспекты администрирования информационных систем . IGI Global. п. 14. ISBN 978-1-4666-4527-1 .
- ^ М. Берджесс, веб-сайт
- ^ М. Берджесс, В поисках уверенности, XtAxis Press, 2013.
- ^ по компьютерной иммунологии , 1998 г. Конференция USENIX LISA
- ^ Измерение нормальности системы Транзакции ACM в вычислительных системах 20, стр.125-160
- ^ М. Берджесс, Двумерные временные ряды для обнаружения и регулирования аномалий в адаптивных системах, в материалах 13-го международного семинара IFIP/IEEE по распределенным системам, операциям и управлению (DSOM 2002).
- ^ М. Берджесс, Двумерные временные ряды для обнаружения аномалий и регулирования в адаптивных системах, в материалах 13-го международного семинара IFIP/IEEE по распределенным системам, операциям и управлению (DSOM 2002). «Технологии управления для приложений электронной коммерции и электронного бизнеса», Springer, 2002 г.
- ^ М. Берджесс, Тепловое неравновесное фазовое пространство для сетевых компьютеров, Phys. Ред. Е (2000) 62: 1738
- ^ М. Берджесс, Кинематика распределенных вычислений, Int. Дж. Мод Физ. С12 759–789 (2001)
- ^ Михаэль Хттерманн (24 октября 2012 г.). DevOps для разработчиков . Апресс. п. 156. ИСБН 978-1-4302-4570-4 .
- ^ М. Берджесс, Теоретическое системное администрирование , Материалы конференции USENIX LISA, 2000 г.
- ^ Берджесс, Марк (2003). «К теории системного администрирования». Наука компьютерного программирования . 49 (1–3): 1–46. arXiv : cs/0003075 . дои : 10.1016/j.scico.2003.08.001 . S2CID 15552892 .
- ^ Берджесс, Марк (2007). «Анализ рисков резервного копирования дисков или обслуживания репозитория» . Наука компьютерного программирования . 64 (3): 312–331. дои : 10.1016/j.scico.2006.06.003 .
- ^ Марк Берджесс, Аналитическая сеть и системное администрирование: управление человеко-компьютерными системами, J. Wiley and Sons, 2004
- ^ Перейти обратно: а б Дж. А. Бергстра и М. Берджесс, Теория обещаний: принципы и приложения, XtAxis press, 2014 г.
- ^ Перейти обратно: а б М. Берджесс, Подход к пониманию политики, основанный на автономии и добровольном сотрудничестве , Конспекты лекций по информатике, том 3775, 2005 г., стр. 97–108.
- ^ Думая обещаниями, О'Рейли, 2015 г.
- ^ Теория обещаний: можете ли вы действительно доверять сети, которая сдержит обещания?
- ^ Почему вам нужно знать о теории обещаний
- ^ OpFlex в вашей ориентированной на приложения инфраструктуре Cisco
- ^ Стремление заставить код работать так, как будто биология только что сделала большой шаг (Wired, 2016)
- ^ Семантическое пространство-время: формализация семантики пространства и времени для познания и измерения (путь к представлению знаний)
- ^ Берджесс, Марк (2014). «Пространство-время с семантикой I, Заметки по теории и формализму (2014)». arXiv : 1411.5563 [ cs.MA ].
- ^ Берджесс, Марк (2014). «Пространство-время с семантикой (II), Масштабирование агентства, семантики и аренды (2015)». arXiv : 1411.5563 [ cs.MA ].
- ^ Берджесс, Марк (2016). «Пространство-время с семантикой (III), Структура представления функциональных знаний и искусственное мышление (2016)». arXiv : 1608.02193 [ cs.AI ].
- ^ Перейти обратно: а б «Семантическое пространство-время – что это такое?» .
- ^ Перейти обратно: а б Берджесс, Марк (2019). Умное пространство-время . XtAxis Пресс. ISBN 978-1797773704 .
- ^ «Интервью об умном пространстве-времени с Марком Берджессом» .
- ^ Топологическая важность анализа собственных векторов ориентированных графов (2007)
- ^ Дж. Бьелланд, М. Берджесс, Г. Кэнрайт и К. Энгё-Монсен, Функции важности для ориентированных графов, 2004 г., Журнал интеллектуального анализа данных и открытия знаний как «Майнинг топологической важности на основе собственных векторов ориентированных графов», 2010 г.; 20:98–151
- ^ Бегнум, К.; Берджесс, М. (2005). «Основные компоненты и ранжирование значимости распределенных аномалий» . Машинное обучение . 58 (2–3): 217–230. дои : 10.1007/s10994-005-5827-4 .
- ^ Берджесс, М.; Канрайт, Г. (2004). «Графическая модель компьютерной безопасности (от контроля доступа до социальной инженерии)». Международный журнал информационной безопасности . 3 (2): 70–85. дои : 10.1007/s10207-004-0044-x . S2CID 25655981 .
- ^ Берджесс, Марк (1 августа 2017 г.). «Пространственно-временной подход к обобщенному когнитивному мышлению в многомасштабном обучении». arXiv : 1702.04638 .
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - ^ Берджесс, Марк (23 сентября 2020 г.). «Проверка количественной гипотезы пространства-времени с использованием искусственного понимания повествования (I): загрузка значения из эпизодического повествования, рассматриваемого как характерный ландшафт». arXiv : 2010.08126 .
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - ^ Берджесс, Марк (23 сентября 2020 г.). «Проверка количественной гипотезы пространства-времени с использованием искусственного повествовательного понимания (II): установление геометрии инвариантных концепций, тем и пространств имен». arXiv : 2010.08125 .
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - ^ "Музыкальная композиция на домашней странице Марка Берджесса" .
- ^ «Картины Марка Берджесса на домашней странице» .
- ^ «Больше и быстрее, но умнее ли это?» .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
