Беатрис «Трикси» Хелен Уорсли (18 октября 1921 - 8 мая 1972) была первой женщиной-компьютерщиком в Канаде. Она получила докторскую степень. степень от Кембриджского университета с Алан Тьюринг и Дуглас Хартри в качестве советников, [1] первый кандидат получил в том, что будет сегодня известно как компьютерные науки . Она написала первую программу для EDSAC , соавтором первого компилятора для Ferranti Mark 1 в Торонто , написала множество статей по информатике и преподавала компьютеры и инженерное дело в Королевском университете и Университете Торонто.за более чем 20 лет до ее смерти в возрасте 50 лет. [2]
Беатрис Уорсли | |
---|---|
Родившийся | |
Умер | 8 мая 1972 г. Ватерлоо, Онтарио , Канада | (50 лет)
Место отдыха | Кладбище Маунт-Плезант, Торонто , Канада |
Национальность | Канадский |
Альма-матер | |
Известен | Первая докторская степень в области вычислений, первая программа, запущенная на EDSAC |
Научная карьера | |
Поля | Информатика |
Тезис | Последовательное программирование для реальных и идеализированных цифровых вычислительных машин (подано в 1952 г., награждено в 1954 г.) |
Докторант | Дуглас Хартри , Алан Тьюринг [1] |
Ранний период жизни
Беатрис родилась 18 октября 1921 года в семье Джоэла и Беатрис Мари (в девичестве Тринкер). Джоэл родился в 1887 году в семье рабочего в Эштон-Андер-Лайн , Манчестер . Бабушка и дедушка Беатрис Мари основали текстильную фабрику в Ся, Мексика , в 1850-х годах, а в 1908 году Джоэл и Беатрис Мари переехали работать на завод. Завод был разрушен повстанцами примерно в 1917 году, и Джоэл устроился на работу в Эль-Сальто на завод CIMSA группы Рио-Гранде, став генеральным директором. [3]
Беатрис Мари родила сына в 1920 году, Чарльза Роберта, а в следующем году - Беатрис Хелен. Эти двое обучались на дому по соображениям безопасности, мало общаясь со своими соседями. В 1929 году Джоэл переехал с семьей в Торонто, чтобы обеспечить детям лучшее образование. Чарльз поступил в колледж Верхней Канады , а Беатрис поступила в государственную школу Брауна, но в 1935 году перешла в школу епископа Страчана [3].
Епископ Страчан предложил две дорожки, а Беатрис записалась на более сложные подготовительные курсы к университету. Она преуспела до такой степени, что директор заявила, что она была одной из лучших учениц школы. Она закончила учебу в 1939 году с наградами по математике и естествознанию, а за высшую общую оценку получила Премию генерал-губернатора. [4]
Бакалавриат исследования
Уорсли выиграла стипендию Бернсайда в области науки Тринити-колледжа , входящего в состав Университета Торонто, и начала обучение в сентябре 1939 года. Ее высокие оценки принесли ей первую стипендию Александра Т. Фултона в области науки. [5]
На второй год она перешла на математико-физический факультет, причем не теоретический, а прикладной. На третьем курсе Уорсли выиграла стипендию Джеймса Скотта по математике и физике. Окончив в 1944 году по математике и физике со степенью бакалавра гуманитарных наук , она имела честь получать наивысшую оценку в каждом классе каждый год. [5]
Военная служба
Сразу после выпуска Уорсли поступила на службу в Королевскую канадскую военно-морскую службу женщин , более известную как «Крапивники». После базовой подготовки в HMCS Conestoga [a] в Галте (ныне известный как Кембридж, Онтарио ) она была направлена в Военно-морское исследовательское учреждение (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]
FERUT и транскодирование
Летом 1948 года Вычислительный центр обратился в NRC с планами создания копии цифрового компьютера на базе реле Mark 6 от Bell Labs. Получив предварительное разрешение, они обратились в Northern Electric за чертежами проекта, и им сказали, что будет взиматься лицензионный сбор в размере 25000 долларов (что эквивалентно 290 254 долларам в 2020 году). Они вернулись в NRC в марте 1949 года за дополнительными 50 000 долларов на лицензию и затраты на строительство, но NRC мудро посоветовал им отказаться от этих планов и вместо этого создать электронную версию. [17]
Вместе университет и NRC запланировали амбициозную программу по созданию первоклассного компьютера, который будет использоваться NRC, Советом по оборонным исследованиям и промышленностью. Производство, известное как UTEC, началось в 1951 году, но вскоре возникли серьезные проблемы из-за ненадежности их ламповых систем памяти Williams . Лишь в конце того же года система наконец стала достаточно надежной для использования. На этом этапе Центр обратился в NRC за финансированием для завершения системы с помощью параллельного математического блока. [18]
AECL все больше разочаровывалась в отсутствии пригодной для использования машины, и когда они услышали, что NRC предложили продолжить разработку UTEC, они предположили, что средства лучше потратить на покупку целой машины. Беннетт Льюис из AECL знал, что Ферранти построил полную машину Ferranti Mark 1 для коллеги AECL в Великобритании, Управления по атомной энергии Соединенного Королевства , только для того, чтобы оставить ее в руках, когда новое правительство отменило финансирование. Это было доступно всего за 30 000 долларов (что эквивалентно 297 826 долларам в 2020 году), примерно столько же, сколько требуется для первого раунда финансирования для расширенной UTEC. [19]
Машина была куплена в начале 1952 года и прибыла в начале 1952 года, до того, как Уорсли вернулся в центр. Она знала о прибытии машины и окрестила ее FERUT в честь «Электронный компьютер Ферранти в Университете Торонто». К лету машина была введена в эксплуатацию, обеспечив UofT одним из самых мощных компьютеров в мире. [19]
Осенью 1953 года Уорсли и Паттерсон Хьюм начали разработку нового компьютерного языка для машины, известного как Transcode. [20] Это было похоже на AutoCode разрабатывается Алик Гленни в Университете Манчестера на ту же машину, но воспользовалось несколько конструктивных нотами Mark I для получения более быстрого и несколько проще в использовании языка. Одним из основных преимуществ было преобразование десятичной системы в двоичную и обратно, что позволило программистам вводить числа в десятичной форме. [21]
Королевский университет
Несмотря на впечатляющую репутацию из Кембриджа, серию уважаемых статей и несколько первых в отрасли, Уорсли неоднократно пропускался для продвижения по службе в Университете Торонто. Только в 1960 году она была повышена от штатного сотрудника до доцента, и только в 1964 году она была повышена до доцента физики и информатики. По сравнению с другими участниками первых дней Вычислительного центра, она получила гораздо меньшее признание. [22]
В 1965 году Уорсли предложили работу в Королевском университете , где он запустил свой новый компьютерный центр на базе IBM 1620 . [b] В компании Queen ее обязанности были больше связаны с преподаванием, и к 1971 году она занимала большую часть ее времени. [24] В сентябре того же года, после 20 лет работы в этой области, она взяла творческий отпуск на факультет прикладного анализа и компьютеров. Наука в университете Ватерлоо . 8 мая 1972 года в Ватерлоо Уорсли умер от сердечного приступа. [23]
Награды
В 2014 году Уорсли был посмертно награжден Премией за выслугу в области компьютерных наук Канадской ассоциацией компьютерных наук. [25]
Заметки
- ^ Канадским военно-морским базам присвоены названия кораблей.
- ^ Модель 1620 была заменена IBM 360/40 в 1967 году. [23]
Рекомендации
Цитаты
- ^ a b Боуэн, Джонатан П. (2019). «Влияние Алана Тьюринга: формальные методы и не только». В Bowen, Jonathan P .; Лю, Чжиминг ; Чжан, Зили (ред.). Разработка надежных программных систем. SETSS 2018 . Конспект лекций по информатике . 11430 . Чам: Спрингер . С. 202–235. DOI : 10.1007 / 978-3-030-17601-3_5 . ISBN 978-3-030-17600-6.
- ^ Кэмпбелл 2003 .
- ^ а б Кэмпбелл 2003 , стр. 51.
- ↑ Кэмпбелл, 2003 , стр. 51–52.
- ^ а б в Кэмпбелл 2003 , стр. 52.
- ^ а б в Кэмпбелл 2003 , стр. 53.
- ↑ Кэмпбелл, 2003 , стр. 52–53.
- ↑ Кэмпбелл, 2003 , стр. 53–54.
- ^ а б в Кэмпбелл 2003 , стр. 54.
- Перейти ↑ Williams 1994 , p. 6.
- ^ Уильямс 1994 .
- ^ Рэнделл 1975 , стр. 395-401.
- ^ Уорсли, Беатрис (1973). «Демонстрация EDSAC». В Рэндалле, Брайане (ред.). Истоки цифровых компьютеров. Избранные статьи . Springer-Verlag. С. 395–401.
- ^ а б в г Кэмпбелл 2003 , стр. 55.
- ^ Кэмпбелл 2003 , стр. 56.
- ↑ Кэмпбелл, 2003 , стр. 55–56.
- Перейти ↑ Williams 1994 , p. 7.
- Перейти ↑ Williams 1994 , pp. 8–9.
- ^ а б Уильямс 1994 , стр. 10.
- ^ Кэмпбелл 2003 , стр. 57.
- ^ Хьюм, Дж. Н. Паттерсон; Уорсли, Беатрис (1955). «Транскодирование: Система автоматического кодирования для FERUT». Журнал Ассоциации вычислительной техники . 2 (4): 243–252. DOI : 10.1145 / 320809.320811 . S2CID 732416 .
- ^ Кэмпбелл 2003 , стр. 59.
- ^ а б Кэмпбелл 2003 , стр. 60.
- ↑ Кэмпбелл, 2003 , стр. 59–60.
- ^ «Награды за достижения в области компьютерных наук - 2014» . Канадская ассоциация компьютерных наук .
Библиография
- Кэмпбелл, Скотт (октябрь – декабрь 2003 г.). "Беатрис Хелен Уорсли: канадская женщина-пионер компьютеров" (PDF) . IEEE Annals of the History of Computing . 25 (4): 51–62. DOI : 10.1109 / MAHC.2003.1253890 . ISSN 1058-6180 . S2CID 13499528 .
- Смилли, Кейт (2002). «Беатрис (Трикси) Уорсли» . Компьютер и я - ретроспективный взгляд на некоторые компьютеры и языки .[ мертвая ссылка ]
- Рэнделл, Брайан , изд. (1975). Истоки цифровых компьютеров: избранные статьи (2-е изд.). Springer Verlag. ISBN 978-0-387-07114-5.
- Уильямс, Майкл (январь – февраль 1994 г.). «UTEC и Ферут: Вычислительный центр Университета Торонто». IEEE Annals of the History of Computing . 16 (2): 4–12. DOI : 10.1109 / 85.279226 . ISSN 1058-6180 . S2CID 6578557 .
- Уставы и Таинство Кембриджского университета 2007 . Издательство Кембриджского университета. 2007. с. 806. ISBN. 978-0-521-70692-6.
Архивная запись
Уорсли, Беатрис. "Фонды Беатрис Уорсли" (1951-1972) [Текстовая запись]. Фонд F01390 - Фонд Беатрис Уорсли . Кингстон, Онтарио, Канада: Архив Королевского университета, Королевский университет.