Беатрис Уорсли
Беатрис Уорсли | |
---|---|
Рожденный | [а] Керетаро , Мексика | 18 октября 1921 г.
Умер | 8 мая 1972 г. Ватерлоо, Онтарио , Канада | ( 50 лет
Место отдыха | Кладбище Маунт-Плезант, Торонто , Канада |
Национальность | Канадский |
Альма-матер | |
Известный | Первая докторская степень в области вычислительной техники, первая программа, запущенная на EDSAC. |
Научная карьера | |
Поля | Информатика |
Диссертация | Последовательное программирование для реальных и идеализированных цифровых вычислительных машин (подано в 1952 г., награждено в 1954 г.) |
Докторантура |
Беатрис Хелен Уорсли (18 октября 1921 г.) [а] — 8 мая 1972) — канадский учёный-компьютерщик, первая женщина в стране, работавшая по этой профессии. Она получила докторскую степень. степень Кембриджского университета под руководством Мориса Уилкса в качестве консультанта, первый доктор философии. предоставлено в области того, что сегодня известно как информатика . Она написала первую программу, работающую на EDSAC , стала соавтором первого компилятора для Ferranti Mark 1 из Торонто , написала множество статей по информатике и более 20 лет преподавала компьютеры и инженерное дело в Королевском университете и Университете Торонто, прежде чем умерла в возраст 50 лет. [2]
Ранний период жизни
[ редактировать ]Беатрис родилась 18 октября 1921 года. [а] Джоэлу и Беатрис Мари ( урожденной Тринкер). Джоэл родился в 1887 году в семье рабочего в Эштон-Андер-Лайн , Манчестер . Бабушка и дедушка Беатрис Мари открыли текстильную фабрику в Ся, Мексика, в 1850-х годах, а в 1908 году Джоэл и Беатрис Мари переехали работать на фабрику. Завод был разрушен повстанцами примерно в 1917 году, и Джоэл устроился на работу в Эль-Сальто на заводы CIMSA группы Рио-Гранде, дослужившись до генерального директора. [3]
Беатрис Мари родила сына в 1920 году Чарльза Роберта, а в следующем году — Беатрис Элен. Эти двое обучались на дому из соображений безопасности и мало общались со своими соседями. В 1929 году Джоэл перевез семью в Торонто, чтобы обеспечить своим детям лучшее образование. Чарльз поступил в колледж Верхней Канады , а Беатрис поступила в государственную школу Брауна, но в 1935 году перешла в школу епископа Страчана . [3]
Епископ Страчан предложил два курса, и Беатрис записалась на более сложные курсы подготовки к университету. Она преуспела до такой степени, что директор заявил, что она одна из лучших учениц школы. Она закончила учебу в 1939 году с наградами по математике и естественным наукам, а за высшую общую оценку получила Премию генерал-губернатора. [4]
Бакалавриат
[ редактировать ]Уорсли выиграла стипендию Бернсайда в области науки в Тринити-колледже , входящем в состав Университета Торонто, и начала учебу в сентябре 1939 года. Ее высокие оценки принесли ей первую стипендию Александра Т. Фултона в области науки. [5]
На втором курсе она перешла на физико-математическое отделение, на прикладную программу, а не на теоретическую. На третьем курсе Уорсли выиграла стипендию Джеймса Скотта по математике и физике. Окончив в 1944 году факультет математики и физики со степенью бакалавра гуманитарных наук , она каждый год получала высшую оценку в каждом классе. [5]
Военная служба
[ редактировать ]Сразу после окончания учебы Уорсли записалась в Женскую королевскую военно-морскую службу Канады , более известную как «Крапивники». После базовой подготовки в HMCS Conestoga. [б] в Галте (сегодня известном как Кембридж, Онтарио ) она была направлена в Военно-морской научно-исследовательский институт (NRE) в Галифаксе . Сначала ей было поручено изучить оборону гавани, затем размагнитить и навести торпеды. [5]
Когда Вторая мировая война закончилась, Уорсли был единственным Реном в NRE, который решил остаться на службе. В сентябре 1945 года ей было присвоено звание лейтенанта , и она приступила к новому исследовательскому проекту по коррозии корпуса. В течение следующего года она провела 150 дней в море, многие из них на тральщике NRE класса «Бангор» , HMCS Quinte установив рекорд для Ренса, который стоит и по сей день. [6] Большая часть этого произошла во время ужасных условий канадской атлантической зимы, что принесло ей уважение экипажа, выполнявшего то, что она сама называла «мужской работой». Официально она была демобилизована в августе 1946 года. [7]
Аспирант Массачусетского технологического института
[ редактировать ]Сразу после ухода из Ренсов Уорсли был принят на Массачусетского технологического института годичную магистерскую программу по математике и физике. Среди ее занятий был курс по физике твердого тела, который вел Ласло Тиса , и курс по усилителям с обратной связью и сервомеханизмам — области, в которой Массачусетский технологический институт был мировым лидером. [6]
Ее диссертация « Математический обзор вычислительных устройств с приложением по анализу ошибок дифференциальных анализаторов» была завершена под руководством Генри Уоллмана , сотрудника знаменитой радиационной лаборатории Массачусетского технологического института . В статье освещались почти все существовавшие на тот момент вычислительные машины. Среди множества обсуждавшихся машин были Harvard Mark I и Mark II, несколько механических и электромеханических вычислительных машин IBM, релейные цифровые компьютеры Bell Labs, ENIAC , EDVAC , машина IAS , Whirlwind I и II и EDSAC . В приложении рассмотрен ряд систем дифференциальных анализаторов и рассмотрены источники их ошибок. Это остается одним из самых подробных отчетов о ранних компьютерах. [6]
Вычислительный центр в Торонто
[ редактировать ]Написав диссертацию, Уорсли вернулась в Канаду и рассказала своей семье, что будущее за компьютерами. К сожалению, в то время в Канаде не было компьютерной индустрии, и она устроилась на работу в Национальный исследовательский совет Канады (NRC), где работала в отделе аэродинамики. [8]
В этот период Университет Торонто планировал открыть вычислительный факультет как исследовательский центр в университете, так и сервисное бюро , продавая время, проведенное на машинах, коммерческим и государственным пользователям. В сентябре 1947 года NRC предоставил первые средства на приобретение двух механических калькуляторов IBM с перфокартами и двух помощников для их работы. Уорсли услышал об этой инициативе и подал заявку на эту должность, проработав в NRC всего несколько месяцев. Она присоединилась к новому отделу в январе 1948 года. [9]
Одной из ее первых работ в центре был контракт с компанией Atomic Energy of Canada (AECL) на предоставление вычислительной поддержки вместе с консультантом по персоналу Келли Готлиб и Дж. Перхэмом Стэнли, еще одним помощником, нанятым одновременно с Уорсли. [9] Летом 1948 года она построила дифференциальный анализатор из деталей Meccano , аналогичный тому, который описал Хартри и Артур Портер в 1935 году. Об этом анализаторе сохранилось мало информации; вторая модель или, возможно, реконструкция оригинала, была построена студентами в 1951 году. [10]
Кембридж
[ редактировать ]Когда анализатор был завершен, Уорсли и Стэнли были отправлены в Великобританию, чтобы узнать все, что они могли, о конструкции EDSAC, которая тогда строилась в Кембриджской математической лаборатории Кембриджского университета . Они прибыли и обнаружили, что машина почти завершена, и помогли, где могли, запустить ее для первого испытательного запуска 6 мая 1949 года. Первой программой, успешно запустившейся на машине, была программа для вычисления квадратов, которую помог написать Уорсли: [9] [11] и позже она собрала эту и ряд подобных программ в одну из самых ранних статей по этой теме, «Демонстрация EDSAC» . [12]
В следующем месяце в Кембридже состоялась встреча по теме вычислительных машин, и Уорсли подготовил доклад о программе, производившей квадраты, и новой программе, производившей таблицы простых чисел . Отчет включал пример вывода, а также описание кода и того, как он запускался на машине. [13] использовал его Это было напечатано в материалах конференции, а годы спустя Брайан Рэнделл для своей знаменитой книги 1973 года «Происхождение цифровых компьютеров» . Это сделало Уорсли широко известным в области вычислений спустя долгое время после событий. [14]
Затем Уорсли защитила докторскую диссертацию в Ньюнхэм-колледже . Работая в Лаборатории, она посещала курсы по квантовой физике у Пола Дирака , Джона Леннарда-Джонса и Николаса Кеммера , по теории чисел у Альберта Ингэма и, что, пожалуй, самое важное, по численному анализу у Дугласа Хартри . Свою диссертацию она начала писать под руководством Хартри, который по совпадению также руководил другой канадкой, Шарлоттой Фишер . [14]
В разгар этой работы по неизвестным причинам Уорсли вернулся в Торонто. [15] и продолжила работу над диссертацией под руководством профессора математики UofT Байрона Гриффита. Вскоре после этого в июле 1951 года она была вновь принята на работу в Вычислительный центр. Хартри одобрила диссертацию, и Уорсли получила докторскую степень в 1952 году. [14]
Ее статья « Последовательное программирование для реальных и идеализированных цифровых вычислительных машин » считается первой докторской диссертацией, написанной о современных компьютерах. [14] Он включал в себя ряд обсуждений численных расчетов на машинах Тьюринга , а также реальных примеров, в частности EDSAC. Затем были описаны методы распознавания того, какие машинные инструкции необходимы, а какие можно выполнить с помощью комбинаций других инструкций. И Тьюринг, и Клод Шеннон обсуждали идеализированные версии этой концепции, но вклад Уорсли состоял в том, чтобы продемонстрировать наиболее эффективный способ сделать это, а не одно обобщенное решение, как в случае Шеннона. [16]
РАНЕННЫЕ и перекодировать
[ редактировать ]Летом 1948 года Вычислительный центр обратился в NRC с планами создать копию релейного цифрового компьютера Mark 6 компании Bell Labs. Получив предварительное разрешение, они обратились в Northern Electric с просьбой получить чертежи проекта, и им сказали, что лицензионный сбор составит 25 000 долларов (что эквивалентно 332 839 долларам в 2023 году). Они вернулись в NRC в марте 1949 года, чтобы получить дополнительные 50 000 долларов на лицензию и расходы на строительство, но NRC мудро посоветовал им отказаться от этих планов и вместо этого создать электронную версию. [17]
Вместе университет и NRC запланировали амбициозную программу по созданию первоклассного компьютера, который будет использоваться NRC, Советом оборонных исследований и промышленностью. Строительство, известное как UTEC, началось в 1951 году, но быстро столкнулось с серьезными проблемами из-за ненадежности ламповых систем памяти Williams . Лишь в конце того же года система наконец стала достаточно надежной для использования. На этом этапе Центр обратился в NRC за финансированием для дополнения системы параллельным математическим блоком. [18]
AECL все больше разочаровывалась из-за отсутствия пригодной для использования машины, и когда они услышали, что к NRC обратились с просьбой продолжить разработку UTEC, они предположили, что средства лучше потратить на покупку готовой машины. Беннетт Льюис из AECL знал, что Ферранти построил полную машину Ferranti Mark 1 для британского аналога AECL, Управления по атомной энергии Соединенного Королевства , только для того, чтобы оставить ее у себя, когда новое правительство отменило финансирование. Это было доступно всего за 30 000 долларов США (что эквивалентно 341 522 долларам США в 2023 году), примерно столько же, сколько первый раунд финансирования, необходимый для расширенного UTEC. [19]
Машина была куплена в начале 1952 года и прибыла в начале 1952 года, прежде чем Уорсли вернулся в центр. Она знала о прибытии машины и окрестила ее FERUT, что означает «Электронный компьютер Ферранти в Университете Торонто». К лету машина заработала, предоставив UofT один из самых мощных компьютеров в мире. [19]
Осенью 1953 года Уорсли и Паттерсон Хьюм начали разработку нового компьютерного языка для машины, известного как Транскод. [20] Это было похоже на Autocode, разработанный Аликом Гленни из Манчестерского университета для той же машины, но в нем использовались преимущества нескольких конструктивных особенностей Mark I для создания более быстрого и несколько более простого в использовании языка. Одним из основных преимуществ было преобразование десятичных чисел в двоичные и обратно, что позволяло программистам вводить числа в десятичной форме. [21]
Королевский университет
[ редактировать ]Несмотря на впечатляющие достижения в Кембридже, ряд уважаемых работ и несколько новинок в отрасли, Уорсли неоднократно упускал возможность продвижения по службе в Университете Торонто. Лишь в 1960 году ее повысили из штатного сотрудника до доцента, и только в 1964 году ее повысили до доцента кафедры физики и информатики. По сравнению с другими членами первых дней существования Вычислительного центра, она получила гораздо меньше признания. [22]
В 1965 году Уорсли предложили работу в Королевском университете , где он запустил свой новый компьютерный центр на базе IBM 1620 . [с] В Queen's ее обязанности больше сводились к преподаванию, и к 1971 году это занимало большую часть ее времени. [24] В сентябре того же года, после 20 лет работы в этой области, она взяла творческий отпуск на факультете прикладного анализа и информатики Университета Ватерлоо . 8 мая 1972 года в Ватерлоо у Уорсли случился смертельный сердечный приступ. [23]
Награды
[ редактировать ]В 2014 году Уорсли был посмертно награжден Премией за выдающиеся достижения в области компьютерных наук Канадской ассоциацией компьютерных наук. [25]
Примечания
[ редактировать ]- ^ Jump up to: а б с На надгробии Уорсли указан год ее рождения 1922, а в официальном Регистро Гражданском в Мексике год ее рождения указан как 1921.
- ^ Базам ВМС Канады присвоены названия, напоминающие корабли.
- ^ 1620 был заменен IBM 360/40 в 1967 году. [23]
Ссылки
[ редактировать ]Цитаты
[ редактировать ]- ^ Боуэн, Джонатан П. (2019). «Влияние Алана Тьюринга: формальные методы и не только». В Боуэне, Джонатан П.; Лю, Чжимин ; Чжан, Зили (ред.). Инженерные надежные программные системы. СЭТСС 2018 (PDF) . Конспекты лекций по информатике . Том. 11430. Чам: Спрингер . стр. 202–235. дои : 10.1007/978-3-030-17601-3_5 . ISBN 978-3-030-17600-6 . S2CID 121295850 . Архивировано (PDF) из оригинала 9 октября 2022 года.
- ^ Кэмпбелл 2003 .
- ^ Jump up to: а б Кэмпбелл 2003 , с. 51.
- ^ Кэмпбелл 2003 , стр. 51–52.
- ^ Jump up to: а б с Кэмпбелл 2003 , с. 52.
- ^ Jump up to: а б с Кэмпбелл 2003 , с. 53.
- ^ Кэмпбелл 2003 , стр. 52–53.
- ^ Кэмпбелл 2003 , стр. 53–54.
- ^ Jump up to: а б с Кэмпбелл 2003 , с. 54.
- ^ Уильямс 1994 , с. 6.
- ^ Уильямс 1994 .
- ^ Рэнделл 1975 , стр. 395–401.
- ^ Уорсли, Беатрис (1973). «Демонстрация EDSAC». В Рэндалле, Брайан (ред.). Происхождение цифровых компьютеров. Избранные статьи . Спрингер-Верлаг. стр. 395–401.
- ^ Jump up to: а б с д Кэмпбелл 2003 , с. 55.
- ^ Кэмпбелл 2003 , с. 56.
- ^ Кэмпбелл 2003 , стр. 55–56.
- ^ Уильямс 1994 , с. 7.
- ^ Уильямс 1994 , стр. 8–9.
- ^ Jump up to: а б Уильямс 1994 , с. 10.
- ^ Кэмпбелл 2003 , с. 57.
- ^ Хьюм, Дж. Н. Паттерсон; Уорсли, Беатрис (1955). «Транскодер: Система автоматического кодирования для ФЕРУТ» . Журнал Ассоциации вычислительной техники . 2 (4): 243–252. дои : 10.1145/320809.320811 . S2CID 732416 .
- ^ Кэмпбелл 2003 , с. 59.
- ^ Jump up to: а б Кэмпбелл 2003 , с. 60.
- ^ Кэмпбелл 2003 , стр. 59–60.
- ^ «Награды за заслуги в области компьютерных наук – 2014» . Канадская ассоциация компьютерных наук .
Библиография
[ редактировать ]- Кэмпбелл, Скотт (октябрь – декабрь 2003 г.). «Беатрис Хелен Уорсли: канадская женщина-пионер компьютерных технологий» (PDF) . IEEE Анналы истории вычислений . 25 (4): 51–62. дои : 10.1109/MAHC.2003.1253890 . ISSN 1058-6180 . S2CID 13499528 .
- Смилли, Кейт (2002). «Беатрис (Трикси) Уорсли» . Компьютер и я – ретроспективный взгляд на некоторые компьютеры и языки . Архивировано из оригинала 5 марта 2016 года . Проверено 17 августа 2014 г.
- Рэнделл, Брайан , изд. (1975). Истоки цифровых компьютеров: избранные статьи (2-е изд.). Спрингер Верлаг. ISBN 978-0-387-07114-5 .
- Уильямс, Майкл (январь – февраль 1994 г.). «UTEC и Ферут: Вычислительный центр Университета Торонто». IEEE Анналы истории вычислений . 16 (2): 4–12. дои : 10.1109/85.279226 . ISSN 1058-6180 . S2CID 6578557 .
- Уставы и постановления Кембриджского университета 2007 г. Издательство Кембриджского университета. 2007. с. 806. ИСБН 978-0-521-70692-6 .
Архивная запись
[ редактировать ]Уорсли, Беатрис. «Фонды Беатрис Уорсли» (1951–1972) [Текстовая запись]. Фонды F01390 — Фонды Беатрис Уорсли . Кингстон, Онтарио, Канада: Архив Королевского университета, Королевский университет.
- Канадские ученые-компьютерщики
- Канадские женщины-компьютерщики
- 1972 смертей
- 1921 рождений
- Выпускники Ньюнхэм-колледжа, Кембридж
- Люди холодной войны
- Выпускники Университета Торонто
- Выпускники Школы наук Массачусетского технологического института
- Академический состав Университета Торонто
- Канадские женщины-учёные
- Мексиканские эмигранты в Канаде
- Мексиканские эмигранты в Англии
- Канадские эмигранты в Англии
- Смертность от ишемической болезни сердца
- Выпускники школы епископа Страчана