Марк Берджесс (специалист по информатике) - Mark Burgess (computer scientist)
Марк Берджесс (родился 19 февраля 1966 г.) - независимый исследователь и писатель, в прошлом профессор Осло университетский колледж в Норвегии и создатель CFEngine программное обеспечение и компания,[1] кто известен своей работой в области компьютерных наук в области политик управление конфигурацией.
ранняя жизнь и образование
Берджесс родился в Maghull в Соединенном Королевстве английским родителям. Он вырос в Bloxham, небольшая деревня в Оксфордшир в возрасте от 5 до 18 лет, посещая начальную школу Bloxham, среднюю школу Warriner и Банбери старшая школа. Он учился астрофизика в (тогдашней) школе физики при Университет Ньюкасл-апон-Тайн, где он позже переключился на чистую физику, а затем на теоретическую физику для получения степени бакалавра. Он остался, чтобы получить степень доктора философии по теоретической физике в Ньюкасле, в области Спонтанное нарушение симметрии в неабелевых калибровочных теориях,[2] за что он получил Приз Runcorn.[3]
Берджесс стажировался в докторантуре Университет Осло в Норвегии, где позже он стал первым профессором, получившим титул в области сетевого и системного администрирования.[3] В университете Осло он заинтересовался поведением компьютеров как динамических систем и начал применять идеи физики для описания поведения компьютеров.[3]
Бёрджесс, пожалуй, наиболее известен как автор популярных управление конфигурацией пакет программного обеспечения CFEngine,[1] но также внес важный вклад в теорию автоматизации и управления на основе политик, включая идею сходимость операторов и теория обещаний.
Вклад в информатику
Берджесс внес вклад в теоретическую и эмпирическую информатику, в основном в области поведения вычислительной инфраструктуры и услуг.[4] В начале 1990-х Бёрджесс утверждал, что программные модели компьютерных программ не могут описывать наблюдаемое поведение в макроскопическом масштабе, и что вместо этого можно использовать статистическую физику, уподобляя искусственные системы квази-естественному явлению.[5] По мере роста интереса к роли информации в физике, Берджесс утверждал, что информатику и физику можно связать, используя концепции теория обещаний, через понятие семантическое пространство-время, описание функциональных аспектов пространства-времени в нескольких масштабах, которое предлагает альтернативу Робин Милнер теория биграфы.
Конфигурация
В 1993 году компания Burgess представила программное обеспечение 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]
Идеи теории графов
Еще одна повторяющаяся тема работ Берджесса - теория графов. Работая с исследователями поисковых систем Джеффри Канрайтом и Кнутом Энгё Монсеном, Берджесс разработал алгоритм ранжирования страниц, похожий на PageRank средства приема собственных значений в ориентированных графах.[25] Эта работа также встретила сопротивление со стороны американского журнального истеблишмента и была отложена до окончательной публикации.[26] Вместе со аспирантом Кирром Бегнумом он исследовал родственную технику Анализ главных компонентов для анализа корреляций в аномалиях машинного обучения, описанных выше.[27] Графы как модель безопасности установили еще одну связь с физикой через идею перколяции или критичности пути.[28]
Управление знаниями
С 2007 года Берджесс обратил свое внимание на вопросы представления знаний и управления знаниями, часто используя теорию обещаний в качестве модели агентства.[нужна цитата ]
Публикации
Берджесс - автор ряда книг.
- Страничное программирование ПЗУ для BBC Micro, (Dabs Press - никогда не печаталось), 1985.
- C, Dabs Press 1988
- AmigaDOS, Dabs Press 1989 г.
- C, (Третье издание) Dabs Press 1992
- Учебник C (четвертое издание), Фонд свободного программного обеспечения, 2000 г.
- Принципы сетевого и системного администрирования, J. Wiley & Sons. 2000 г.
- Избранные статьи по сетевому и системному администрированию, J. Wiley & Sons. 2001 (редактор, с Э. Андерсоном и А. Коучем).
- Краткое введение в операционные системы, официально не опубликовано (доступно в Интернете), 2001 г.
- Классические ковариантные поля, Cambridge University Press, 2002 г.
- Принципы сетевого и системного администрирования (Второе издание), J. Wiley & Sons. 2003 г.
- Аналитическое сетевое и системное администрирование (человеко-компьютерное управление), J. Wiley & Sons. (2004)
- Справочник по сетевому и системному администрированию, Elsevier 2007, (редактор с Яном Бергстра)
- В поисках достоверности: наука о нашей информационной инфраструктуре, XtAxis Press, 2013 г.
- Теория обещаний: принципы и применение, XtAxis Press, 2014 г.
- Думая обещаниями, О'Рейли, 2015 г.
- Умное пространство-время: как информация бросает вызов нашим представлениям о пространстве, времени и процессе, Независимое издание, 2019
внешняя ссылка
Рекомендации
- ^ а б Шустер, Вернер (9 июля 2016 г.). "Марк Берджесс о компьютерной иммунологии и управлении конфигурациями". InfoQ (Опрос). Получено 26 августа 2016.
- ^ Берджесс, Марк (3 марта 1991 г.). Радиационно-индуцированные члены Черна-Саймонса на торе (PDF) (Тезис). Университет Осло. ISSN 0332-5571. Получено 26 августа 2016 - через МАГАТЭ.
- ^ а б c Портела, Ирен Мария (30 сентября 2013 г.). Организационные, правовые и технологические аспекты администрирования информационных систем. IGI Global. п. 14. ISBN 978-1-4666-4527-1.
- ^ М. Берджесс, сайт
- ^ М. Берджесс, В поисках определенности, XtAxis Press, 2013 г.
- ^ Компьютерная иммунология Конференция USENIX LISA, 1998 г.
- ^ Нормальность системы измерения Транзакции ACM по вычислительным системам 20, стр.125-160
- ^ М. Берджесс, Двумерные временные ряды для обнаружения и регулирования аномалий в адаптивных системах, в материалах 13-го Международного семинара IFIP / IEEE по распределенным системам, операциям и управлению (DSOM 2002)
- ^ М. Берджесс, Двумерные временные ряды для обнаружения и регулирования аномалий в адаптивных системах, в материалах 13-го Международного семинара IFIP / IEEE по распределенным системам, операциям и управлению (DSOM 2002). "Технологии управления для электронной коммерции и приложений электронного бизнеса" Springer 2002
- ^ М. Берджесс, Тепловое неравновесное фазовое пространство для сетевых компьютеров, Phys. Ред. E (2000) 62: 1738
- ^ М. Берджесс, Кинематика распределенных вычислений, Int. J. Mod Phys. C12 759–789 (2001)
- ^ Михаэль Хттерманн (24 октября 2012 г.). DevOps для разработчиков. Апресс. п. 156. ISBN 978-1-4302-4570-4.
- ^ М. Берджесс, Теоретическое системное администрирование, USENIX LISA Материалы конференции 2000 г.
- ^ Берджесс, Марк (2003). «К теории системного администрирования». Наука компьютерного программирования. 49 (1–3): 1–46. arXiv:cs / 0003075. Дои:10.1016 / j.scico.2003.08.001.
- ^ Берджесс, Марк (2007). «Анализ рисков резервного копирования диска или обслуживания репозитория». Наука компьютерного программирования. 64 (3): 312–331. Дои:10.1016 / j.scico.2006.06.003.
- ^ Марк Берджесс, Аналитическое сетевое и системное администрирование: управление человеко-компьютерными системами, J. Wiley and Sons, 2004 г.
- ^ а б J.A. Бергстра и М. Берджесс, Теория обещаний: принципы и применение, XtAxis press, 2014 г.
- ^ а б М. Берджесс, Подход к пониманию политики, основанный на автономии и добровольном сотрудничестве, Lecture Notes in Computer Science Volume 3775, 2005, pp 97–108.
- ^ Думая обещаниями, О'Рейли, 2015
- ^ Теория обещаний: действительно ли вы доверяете сети в выполнении обещаний?
- ^ Почему вам нужно знать о теории обещаний
- ^ Оптимизация инфраструктуры Cisco, ориентированной на приложения
- ^ Стремление заставить код работать так, как биология только что сделала большой шаг (Wired, 2016)
- ^ Семантическое пространство-время: формализация семантики пространства и времени для познания и измерения (путь к представлению знаний)
- ^ Анализ топологической важности собственных векторов ориентированных графов (2007)
- ^ Дж. Бьелланд, М. Берджесс, Дж. Канрайт и К. Энгё-Монсен, Функции важности для ориентированных графов, 2004 г., Журнал интеллектуального анализа данных и обнаружения знаний как «Извлечение топологической важности из собственных векторов ориентированных графов» 2010; 20:98–151
- ^ Begnum, K .; Берджесс, М. (2005). «Основные компоненты и рейтинг важности распределенных аномалий». Машинное обучение. 58 (2–3): 217–230. Дои:10.1007 / s10994-005-5827-4.
- ^ Берджесс, М .; Кэнрайт, Г. (2004). «Графическая модель компьютерной безопасности (от контроля доступа до социальной инженерии)». Международный журнал информационной безопасности. 3 (2): 70–85. Дои:10.1007 / s10207-004-0044-х.