Беатрис Уорсли - Beatrice Worsley

Беатрис Уорсли
Родившийся(1921-10-18)18 октября 1921 г.
Querétaro, Мексика
Умер8 мая 1972 года(1972-05-08) (в возрасте 50 лет)
Ватерлоо, Онтарио, Канада
Место отдыхаКладбище Маунт-Плезант, Торонто, Канада
НациональностьКанадский
Альма-матер
ИзвестенПервая докторская степень в области вычислительной техники, первая программа запущена на EDSAC
Научная карьера
ПоляИнформатика
ТезисПоследовательное программирование для реальных и идеализированных цифровых вычислительных машин  (представлен в 1952 г., награжден в 1954 г.)
ДокторантДуглас Хартри, Алан Тьюринг[1]

Беатрис "Трикси" Хелен Уорсли (18 октября 1921 - 8 мая 1972) была первой женщиной-компьютерщиком в Канаде. Она получила ее Кандидат наук. степень от Кембриджский университет с Алан Тьюринг и Дуглас Хартри как советники,[1] первый доктор философии, присужденный в том, что сегодня было бы известно как Информатика. Она написала первую программу для запуска EDSAC, соавтор первого компилятора для Торонто Ферранти Марк 1, написал множество работ по информатике и преподавал компьютеры и инженерное дело в Королевский университет и Университет Торонто за более чем 20 лет до ее безвременной кончины в возрасте 50 лет.[2]

Ранние годы

Беатрис родилась 18 октября 1921 года в семье Джоэла и Беатрис Мари (урожденная Тринкер). Джоэл родился в 1887 году в семье рабочего в г. Эштон-Андер-Лайн, Манчестер. Бабушка и дедушка Беатрис Мари основали текстильную фабрику в Ся, Мексика, в 1850-х, а в 1908 году Джоэл и Беатрис Мари переехали работать на завод. Завод был разрушен повстанцами примерно в 1917 году, и Джоэл устроился на работу в Эль Сальто с заводами CIMSA группы Rio Grande, поднявшись до должности генерального директора.[3]

Беатрис Мари родила сына в 1920 году, Чарльза Роберта, а в следующем году - Беатрис Хелен. Эти двое обучались на дому по соображениям безопасности, мало общаясь со своими соседями. В 1929 году Джоэл перевез семью в Торонто чтобы обеспечить лучшее образование для своих детей. Чарльз вошел Колледж Верхней Канады, а Беатрис начала учиться в государственной школе Брауна, но перешла в Школа епископа Страчана в 1935 г.[3]

Епископ Страчан предложил две дорожки, а Беатрис записалась на более сложные подготовительные курсы к университету. Она преуспела до такой степени, что директор заявила, что она была одной из лучших учениц школы. Она закончила учебу в 1939 году с наградами по математике и естественным наукам, а за высшую общую оценку получила Премию генерал-губернатора.[4]

Бакалавриат исследования

Уорсли выиграл стипендию Бернсайда в области науки от Тринити-колледж, часть Университета Торонто, и начала учиться в сентябре 1939 года. Ее высокие оценки принесли ей первую стипендию Александра Т. Фултона в области науки.[5]

На второй год она перешла на математико-физический факультет, по прикладной, а не теоретической программе. На третьем курсе Уорсли выиграла стипендию Джеймса Скотта по математике и физике. В 1944 г. окончил математику и физику со степенью Бакалавр искусств, она имела честь получать высшую оценку в каждом классе каждый год.[5]

Военная служба

Сразу после выпуска Уорсли записался в Женская королевская военно-морская служба Канады, более известные как «Крапивники». После базового обучения в HMCS Конестога[а] в Галте (ныне известный как Кембридж, Онтарио ), она была приписана к Военно-морской научно-исследовательский центр (NRE) в Галифакс. Сначала ей было поручено изучить оборону гавани, затем размагничивание, и наведение торпеды.[5]

Когда Вторая Мировая Война В конце концов, Уорсли был единственным Реном в NRE, который решил остаться на службе. В сентябре 1945 г. ее повысили до лейтенант и приступили к новому исследовательскому проекту по коррозии корпуса. В течение следующего года она провела 150 дней в море, многие из них на NRE. Тральщик типа Бангор, HMCS Quinte, установив рекорд для Ренса, который стоит и по сей день.[6] По большей части это произошло во время ужасных условий канадской атлантической зимы, что принесло ей уважение экипажа, выполнявшего то, что она сама называла «мужской работой». Официально демобилизовали в августе 1946 года.[7]

Аспирант MIT

Сразу после ухода из Ренов Уорсли был принят в Массачусетский технологический институт один год магистерская программа по математике и физике. Среди ее занятий был курс физики твердого тела, который вел Ласло Тиса, а также курс по усилителям обратной связи и сервомеханизмам - области, в которой Массачусетский технологический институт был мировым лидером.[6]

Ее диссертация по Математический обзор вычислительных устройств с приложением по анализу погрешностей дифференциальных анализаторов был завершен под руководством Генри Уоллман, член знаменитого Радиационная лаборатория Массачусетского технологического института. Документ охватывал практически все существовавшие тогда вычислительные машины. Среди множества обсуждаемых машин были Гарвард Марк I и Mark II, несколько механических и электромеханических вычислительных машин IBM, релейные цифровые компьютеры Bell Labs, ENIAC, EDVAC, то Машина IAS, Вихрь I и II, и EDSAC. Приложение охватывало ряд дифференциальный анализатор системы и исследовали их источники ошибок. Это остается одним из наиболее подробных отчетов о ранних вычислениях.[6]

Вычислительный центр в Торонто

После написания диссертации Уорсли вернулась в Канаду и сказала своей семье, что будущее за компьютерами. К сожалению, в то время в Канаде не было компьютерной индустрии, и она устроилась на работу в Национальный исследовательский совет Канады (NRC), где она работала в отделе аэродинамики.[8]

В течение этого периода Университет Торонто планировал открыть вычислительный факультет, как исследовательский центр в университете, так и бюро обслуживания, аренда машин для коммерческих и государственных пользователей. В сентябре 1947 года NRC предоставила первые средства на покупку двух IBM. перфокарты механические калькуляторы и два помощника для их запуска. Уорсли услышал об усилиях и подал заявку на эту должность, проработав в NRC всего несколько месяцев. В новый отдел она пришла в январе 1948 года.[9]

Одной из первых ее работ в Центре был контракт с Атомная энергия Канады (AECL) для обеспечения вычислительной поддержки вместе с консультантом по персоналу Келли Готлиб и Дж. Перхэм Стэнли, еще один помощник, нанятый одновременно с Уорсли.[9] Летом 1948 года она построила дифференциальный анализатор из Meccano части, подобные описанной Хартри и Артуром Портером в 1935 году. Сохранилось мало информации об этом анализаторе; Вторая модель, или, возможно, реконструкция оригинала, была построена студентами в 1951 году.[10]

Кембридж

Когда анализатор был готов, Уорсли и Стэнли были отправлены в Великобританию, чтобы узнать, что они могут узнать о конструкции EDSAC, которая в то время строилась в Кембриджском университете. Кембриджская математическая лаборатория. Они приехали и обнаружили, что машина почти завершена, и помогли, где могли, ввести ее в эксплуатацию для первого пробного запуска 6 мая 1949 года. Первой программой, успешно запущенной на машине, была программа, которую Уорсли помог написать для вычисления квадратов.[9][11] и позже она собрала эту и ряд подобных программ в одну из самых ранних статей по этой теме, E.D.S.A.C. Демонстрация.[12]

В следующем месяце в Кембридже была проведена встреча на тему вычислительных машин, и Уорсли подготовил отчет о программе, которая производила квадраты, и новый отчет, который составлял таблицы простые числа. Отчет включал образец вывода, а также описание кода и того, как он запускался на машине.[13] Это было напечатано в трудах конференции, а спустя годы было подхвачено Брайан Рэнделл за его знаменитую книгу 1973 года, Истоки цифровых компьютеров. Это сделало Уорсли широко известным в компьютерной сфере спустя долгое время после событий.[14]

Затем Уорсли начал ее кандидат наук в Newnham College. Во время работы в лаборатории она посещала курсы по квантовая физика с Поль Дирак, Джон Леннард-Джонс и Николас Кеммер, теория чисел с Альберт Ингхэм, и, пожалуй, самое главное, численный анализ с Дуглас Хартри. Она начала писать диссертацию под руководством Хартри, который по совпадению также руководил другой канадской женщиной, Шарлотта Фишер.[14]

В разгар этой работы по неизвестным причинам Уорсли вернулся в Торонто.[15] и продолжила диссертацию под руководством профессора математики Университета штата Вашингтон Байрона Гриффита. Вскоре после этого в июле 1951 года она была вновь принята на работу в вычислительный центр. Хартри одобрила диссертацию, а Уорсли получила докторскую степень в 1952 году.[14]

Ее бумага, Последовательное программирование для реальных и идеализированных цифровых вычислительных машин, считается первой докторской диссертацией, написанной о современных компьютерах.[14] Он включал в себя ряд дискуссий о численных расчетах на Машины Тьюринга а также примеры из реальной жизни, особенно EDSAC. Затем он перешел к описанию методов распознавания, какие машинные инструкции требуются, а какие могут быть выполнены с помощью комбинаций других инструкций. И Тьюринг, и Клод Шеннон обсуждал идеализированные версии этой концепции, но вклад Уорсли заключался в демонстрации наиболее эффективного способа сделать это, а не единого обобщенного решения, как в случае Шеннона.[16]

FERUT и перекодирование

Летом 1948 года Вычислительный центр обратился в NRC с планами создания копии цифрового компьютера на базе реле Mark 6 от Bell Labs. Получив предварительное согласие, они подошли к Северный Электрик чтобы получить чертежи для дизайна, и им сказали, что будет взиматься лицензионный сбор в размере 25000 долларов (что эквивалентно 282627 долларов в 2018 году). Они вернулись в NRC в марте 1949 года за дополнительными 50 000 долларов на лицензию и расходы на строительство, но NRC мудро посоветовал им отказаться от этих планов и вместо этого создать электронную версию.[17]

Вместе университет и NRC запланировали амбициозную программу по созданию первоклассного компьютера, который будет использоваться NRC, Совет оборонных исследований и промышленность. Строительство, известное как UTEC, началось в 1951 году, но вскоре возникли серьезные проблемы из-за ненадежности их оборудования. Трубка Вильямса системы памяти. Лишь в конце того же года система наконец стала достаточно надежной для использования. На этом этапе Центр обратился в NCR за финансированием для завершения системы с параллельным математическим блоком.[18]

AECL все больше разочаровывалась в отсутствии пригодной для использования машины, и когда они услышали, что NRC предложили продолжить разработку UTEC, они предположили, что средства лучше потратить на покупку полной машины. Беннетт Льюис из AECL знал, что Ферранти построил полный Ферранти Марк 1 машина для аналогов AECL в Великобритании, Управление по атомной энергии Соединенного Королевства, только чтобы остаться в руках, когда новое правительство отменило финансирование. Это было доступно всего за 30 000 долларов (что эквивалентно 290 000 долларов в 2018 году), примерно столько же, сколько требуется для первого раунда финансирования для расширенной UTEC.[19]

Машина была куплена в начале 1952 года и прибыла в начале 1952 года, до того, как Уорсли вернулся в Центр. Она знала о прибытии машины и окрестила ее FERUT в честь «Электронный компьютер Ферранти в университете Торонто». К лету машина была введена в строй, обеспечив UofT одним из самых мощных компьютеров в мире.[19]

Осенью 1953 года Уорсли и Паттерсон Хьюм начали разработку нового компьютерный язык для машины, известной как Transcode.[20] Это было похоже на Автокодирование разрабатывается Алик Гленни на Манчестерский университет для той же машины, но воспользовались преимуществами нескольких примечаний к дизайну Mark I, чтобы создать более быстрый и в некоторой степени более простой в использовании язык. Одним из основных преимуществ было преобразование десятичных чисел в двоичные и обратно, что позволило программистам вводить числа в десятичной форме.[21]

Королевский университет

Несмотря на впечатляющую репутацию из Кембриджа, серию уважаемых статей и несколько первых в отрасли, Уорсли неоднократно пропускался для продвижения по службе в Университете Торонто. Только в 1960 году она была повышена от штатного сотрудника до доцента, и только в 1964 году ее повысили до доцента физики и информатики. По сравнению с другими участниками первых дней Вычислительного центра, она получила гораздо меньшее признание.[22]

В 1965 году Уорсли предложили работу в Королевский университет, запустив свой новый компьютерный центр на базе IBM 1620.[b] В Queen's ее обязанности были больше связаны с обучением и к 1971 году заняли большую часть ее времени.[24] В сентябре того же года, после 20 лет работы в поле, она приняла творческий отпуск на кафедре прикладного анализа и информатики Университет Ватерлоо. 8 мая 1972 года в Ватерлоо Уорсли умер от сердечного приступа.[23]

Награды

В 2014 году Уорсли был посмертно награжден Канадской ассоциацией компьютерных наук Премией за выслугу в области компьютерных наук.[25]

Примечания

  1. ^ Базам ВМС Канады присвоены корабельные названия.
  2. ^ 1620 был заменен IBM 360/40 в 1967 г.[23]

Рекомендации

Цитаты

  1. ^ а б Боуэн, Джонатан П. (2019). «Влияние Алана Тьюринга: формальные методы и не только». В Bowen, Jonathan P .; Лю, Чжимин; Чжан, Зили (ред.). Разработка надежных программных систем. SETSS 2018. Конспект лекций по информатике. 11430. Чам: Springer. С. 202–235. Дои:10.1007/978-3-030-17601-3_5.
  2. ^ Кэмпбелл 2003.
  3. ^ а б Кэмпбелл 2003, п. 51.
  4. ^ Кэмпбелл 2003 С. 51–52.
  5. ^ а б c Кэмпбелл 2003, п. 52.
  6. ^ а б c Кэмпбелл 2003, п. 53.
  7. ^ Кэмпбелл 2003 С. 52–53.
  8. ^ Кэмпбелл 2003 С. 53–54.
  9. ^ а б c Кэмпбелл 2003, п. 54.
  10. ^ Уильямс 1994, п. 6.
  11. ^ Уильямс, Майкл (лето 1994). «UTEC и Ферут: вычислительный центр Университета Торонто». IEEE Annals of the History of Computing: 7. Дои:10.1109/85.279226.
  12. ^ Рэнделл 1975 С. 395–401.
  13. ^ Уорсли, Беатрис (1973). "Демонстрация E.D.S.A.C.". В Рэндалле, Брайане (ред.). Истоки цифровых компьютеров. Избранные статьи. Springer-Verlag. С. 395–401.
  14. ^ а б c d Кэмпбелл 2003, п. 55.
  15. ^ Кэмпбелл 2003, п. 56.
  16. ^ Кэмпбелл 2003 С. 55–56.
  17. ^ Уильямс 1994, п. 7.
  18. ^ Уильямс 1994, стр. 8–9.
  19. ^ а б Уильямс 1994, п. 10.
  20. ^ Кэмпбелл 2003, п. 57.
  21. ^ Хьюм, Дж. Паттерсон; Уорсли, Беатрис (1955). «Транскодирование: Система автоматического кодирования для FERUT». Журнал Ассоциации вычислительной техники: 243–252. Дои:10.1145/320809.320811.
  22. ^ Кэмпбелл 2003, п. 59.
  23. ^ а б Кэмпбелл 2003, п. 60.
  24. ^ Кэмпбелл 2003 С. 59–60.
  25. ^ «Награды за достижения в области компьютерных наук - 2014». Канадская ассоциация компьютерных наук.

Библиография

Архивная запись

Уорсли, Беатрис. "Фонды Беатрис Уорсли" (1951-1972) [Текстовая запись]. Fonds F01390 - Фонд Беатрис Уорсли. Кингстон, Онтарио, Канада: Архив Королевского университета, Королевский университет.