Едвард Вейч (англ. Edward Westbrook Veitch; 8 вересня 1924 — 23 грудня 2013) — американський науковець. Закінчив Гарвардський університет у 1946 році за спеціальністю фізика, там же отримав науковий ступінь доктора філософії з фізики та прикладної фізики в 1948 та 1949 відповідно. У своїй праці 1952 р. «Метод діаграм для мінімізації логічних функцій» («A Chart Method for Simplifying Truth Functions»), Вейч описав графічну процедуру оптимізації логічних схем, яка через рік (1953) була покращена в роботі Моріса Карно та зараз відома як метод мінімізації булевих функцій за допомогою карт Карно.
Едвард Вейч | |
---|---|
Edward Westbrook Veitch | |
Народився | 8 вересня 1924 Інґлвуд, Берген, Нью-Джерсі, США |
Помер | 23 грудня 2013 (89 років) Одубон, Ловер-Провіденс Тауншип, Монтґомері, Пенсільванія, США[1] |
Країна | США |
Діяльність | математик, інформатик |
Alma mater | Гарвардський університет |
Галузь | Кібернетика |
Відомий завдяки: | діаграма Вейча |
Життєпис
У 1942 році вступив до Гарвардського університету. У середині першого курсу був призваний на дійсну військову службу, де за спеціальною програмою вивчав фізику та інженерну справу, після чого був долучений як технік-електронік до роботи над Мангеттенським проєктом в Лос-Аламосі, Нью-Мексико. Після війни, Вейч повернуся в Гарвард та в 1946 році отримав ступінь бакалавра в галузі фізики, а по тому ступінь магістра з фізики та прикладної фізики, в 1948 та 1949 роках відповідно. Був учнем Говарда Ейкена, творця Марк I, першого американського програмованого комп'ютера.
З 1949 року Вейч працював у [en], в групі розробки одних з найперших електронних комп'ютерних систем, як комерційних, так і військових та отримав ряд патентів. До цих проєктів відносився комп'ютер E101, та система мережевої обробки інформації, яка надходила від радарів SAGE. У цей час вчений опублікував статтю про метод оптимізації цифрових схем, який відомий зараз як метод діаграм Вейча. Вейч керував науковими дослідженнями та розробкою обчислювальних систем в комп'ютерному відділі RCA (Radio Corporation of America), а після у Pennsylvania Research Associates (Філадельфія).
Під час роботи у відділенні ракетних систем та наземних радарів (Missile and Surface Radar Division) компанії RCA він розроблював комп'ютерні системи для системи протиповітряної оборони військово-морських сил (Navy's Aegis Missile Defense System).
Був одружений та мав 2 дітей.
Оригінальні діаграми Вейча
Було відомо, що функцію можна було представити у вигляді точок в кутах n-мірного куба. Два суміжних кути, наприклад, два верхні праві кути можуть бути визначенні як верхні праві кути, а чотири кути на передній грані куба можуть бути визначені як передні кути. Для чотирьох, п'яти або шести змінних проблема стає більш складною.
Як відобразити багатовимірний куб на плоскій діаграмі, так щоб можна було легко побачити ці відношення?
- Для трьох вимірів, Вейч малював набір квадратів 2х2 для верхньої частини куба, та другий для нижньої частини куба с невеликим проміжком між двома наборами квадратів. У верхньому наборі 2х2 мінімізованою групою були горизонтальна або вертикальна пара клітинок або всі чотири клітинки. Зв'язок між верхньою та нижньою множиною був як зв'язок один-до-одного поміж кожним квадратом верхнього набору і відповідною коміркою нижньої множини. Аналогічне правило використовується для випадку чотирьох змінних, котрі інколи зображуються у вигляді куба, в середини другого куба в яких всі відповідні кути зв'язані.
- Діаграми Вейча для чотирьох змінних тоді будуть зображуватися як чотири набори 2х2 великого квадрату з невеликим простором поміж кожною парою наборів. Таким чином, горизонтальну пару в лівому верхньому наборі можливо об'єднати з відповідною парою в лівому нижньому наборі або верхньому правому наборі або, можливо, з усіма чотирма наборами, скласти групу з восьми клітинок.
- Для п'яти або шести змінних це правило також застосовується. Діаграма для п'яти змінних складається з двох діаграм для чотирьох змінних, розташованих поряд один з одним з великим простором поміж ними. Збіг між двома діаграмами для чотирьох змінних знаходиться для клітинок, котрі збігаються якщо одну карту накласти на іншу.
В останню хвилину перед презентацією Вейч видалив простір поміж групами клітинок 2x2. Це було погане рішення, тому що ускладнило розуміння загальної структури функції, а також застосування правил мінімізації. З часом, розв'язуючи головоломки судоку, Вейч зрозумів, що інтервал або товсті лінії поміж групами квадратів можуть бути дуже корисними, особливо якщо в тебе поганий зір, як це було у Вейча у похилому віці.
Коментарі Вейча
Пізніше Вейч писав про розробку своїх діаграм та їх інтерпретації так. Проблема у тому, як відобразити булеву функцію від n змінних так, щоб людське око змогло легко побачити, як її спростити.
- Функція чотирьох змінних має шістнадцять вхідних комбінацій та відповідно діаграма має шістнадцять квадратів, які повинні бути заповненими за допомогою таблиці істинності відповідної функції.
- Основна різниця між версіями Вейча і Карно є те, що діаграма Вейча зображує дані у двійковій послідовності, яку використали у таблиці істинності, тоді як в картах Карно міняються місцями третій та четвертий ряди та третій та четвертий стовпчики.
- комп'ютерна спільнота обрала підхід Карно. Вейч прийняв це рішення, незважаючи на те, що на початку 1952 року перед його презентацією він хотів вибрати той самий підхід, але не став цього робити. Через декілька років у підручниках з'явився опис карт Карно, та в деяких із них вони називалися діаграми Вейча.
Роки по тому (1999) Вейч знайшов у Вікіпедії статтю про карти Карно. Він прочитав її та, перечитавши свою роботу 1952 року, зрозумів, що в ній не було опису методу мінімізації. Тепер він зрозумів, що читачі його статті вважали, що він робив мінімізацію, дивлячись на значення стовпців та рядків, а ті, хто використовував карти Карно, мінімізували групи за правилами, а потім використовували мітки для ідентифікації груп.
Вейч також вважав, що зміни, які він зробив у своїх діаграмах безпосередньо перед його презентацією ускладнили виконання його правил пошуку мінімальних груп.
Див. також
Примітки
- http://www.legacy.com/obituaries/mainlinemedianews/obituary.aspx?pid=168929444
- Veitch, Edward W. A Chart Method for Simplifying Truth Functions, Transactions of the 1952 ACM Annual Meeting, ACM Annual Conference/Annual Meeting «Pittsburgh», ACM, NY, 1952, pp. 127—133.
- Maurice Karnaugh, November 1953, The Map Method for Synthesis of Combinational Logic Circuits, AIEE Committee on Technical Operations for presentation at the AIEE summer General Meeting, Atlantic City, N. J., June 15-19, 1953, pp. 593—599.
- U.S. Patent 3 050 717
- U.S. Patent 3 053 449
- U.S. Patent 3 144 549
- U.S. Patent 3 161 765
- Edward Westbrook Veitch. Main Line Media News. 6 січня 2014. Архів оригіналу за 22 грудня 2015. Процитовано 8 березня 2015.
Посилання
- Veitch, Edward W. A proof concerning infinite nets of logic elements without feedback. FOCS 1965, 1965, pp. 162—167. (англ.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Edvard Vejch angl Edward Westbrook Veitch 8 veresnya 1924 23 grudnya 2013 amerikanskij naukovec Zakinchiv Garvardskij universitet u 1946 roci za specialnistyu fizika tam zhe otrimav naukovij stupin doktora filosofiyi z fiziki ta prikladnoyi fiziki v 1948 ta 1949 vidpovidno U svoyij praci 1952 r Metod diagram dlya minimizaciyi logichnih funkcij A Chart Method for Simplifying Truth Functions 2 Vejch opisav grafichnu proceduru optimizaciyi logichnih shem yaka cherez rik 1953 bula pokrashena v roboti Morisa Karno 3 ta zaraz vidoma yak metod minimizaciyi bulevih funkcij za dopomogoyu kart Karno Edvard VejchEdward Westbrook VeitchNarodivsya8 veresnya 1924 1924 09 08 Inglvud Bergen Nyu Dzhersi SShAPomer23 grudnya 2013 2013 12 23 89 rokiv Odubon Lover Providens Taunship Montgomeri Pensilvaniya SShA 1 KrayinaSShADiyalnistmatematik informatikAlma materGarvardskij universitetGaluzKibernetikaVidomij zavdyaki diagrama Vejcha Zmist 1 Zhittyepis 1 1 Originalni diagrami Vejcha 1 2 Komentari Vejcha 2 Div takozh 3 Primitki 4 PosilannyaZhittyepisred U 1942 roci vstupiv do Garvardskogo universitetu U seredini pershogo kursu buv prizvanij na dijsnu vijskovu sluzhbu de za specialnoyu programoyu vivchav fiziku ta inzhenernu spravu pislya chogo buv doluchenij yak tehnik elektronik do roboti nad Mangettenskim proyektom v Los Alamosi Nyu Meksiko Pislya vijni Vejch povernusya v Garvard ta v 1946 roci otrimav stupin bakalavra v galuzi fiziki a po tomu stupin magistra z fiziki ta prikladnoyi fiziki v 1948 ta 1949 rokah vidpovidno Buv uchnem Govarda Ejkena tvorcya Mark I pershogo amerikanskogo programovanogo komp yutera Z 1949 roku Vejch pracyuvav u Burroughs Corporation en v grupi rozrobki odnih z najpershih elektronnih komp yuternih sistem yak komercijnih tak i vijskovih ta otrimav ryad patentiv 4 5 6 7 Do cih proyektiv vidnosivsya komp yuter E101 ta sistema merezhevoyi obrobki informaciyi yaka nadhodila vid radariv SAGE U cej chas vchenij opublikuvav stattyu pro metod optimizaciyi cifrovih shem 2 yakij vidomij zaraz yak metod diagram Vejcha Vejch keruvav naukovimi doslidzhennyami ta rozrobkoyu obchislyuvalnih sistem v komp yuternomu viddili RCA Radio Corporation of America a pislya u Pennsylvania Research Associates Filadelfiya Pid chas roboti u viddilenni raketnih sistem ta nazemnih radariv Missile and Surface Radar Division kompaniyi RCA vin rozroblyuvav komp yuterni sistemi dlya sistemi protipovitryanoyi oboroni vijskovo morskih sil Navy s Aegis Missile Defense System Buv odruzhenij ta mav 2 ditej Originalni diagrami Vejchared Bulo vidomo sho funkciyu mozhna bulo predstaviti u viglyadi tochok v kutah n mirnogo kuba Dva sumizhnih kuti napriklad dva verhni pravi kuti mozhut buti viznachenni yak verhni pravi kuti a chotiri kuti na perednij grani kuba mozhut buti viznacheni yak peredni kuti Dlya chotiroh p yati abo shesti zminnih problema staye bilsh skladnoyu Yak vidobraziti bagatovimirnij kub na ploskij diagrami tak shob mozhna bulo legko pobachiti ci vidnoshennya Dlya troh vimiriv Vejch malyuvav nabir kvadrativ 2h2 dlya verhnoyi chastini kuba ta drugij dlya nizhnoyi chastini kuba s nevelikim promizhkom mizh dvoma naborami kvadrativ U verhnomu nabori 2h2 minimizovanoyu grupoyu buli gorizontalna abo vertikalna para klitinok abo vsi chotiri klitinki Zv yazok mizh verhnoyu ta nizhnoyu mnozhinoyu buv yak zv yazok odin do odnogo pomizh kozhnim kvadratom verhnogo naboru i vidpovidnoyu komirkoyu nizhnoyi mnozhini Analogichne pravilo vikoristovuyetsya dlya vipadku chotiroh zminnih kotri inkoli zobrazhuyutsya u viglyadi kuba v seredini drugogo kuba v yakih vsi vidpovidni kuti zv yazani Diagrami Vejcha dlya chotiroh zminnih todi budut zobrazhuvatisya yak chotiri nabori 2h2 velikogo kvadratu z nevelikim prostorom pomizh kozhnoyu paroyu naboriv Takim chinom gorizontalnu paru v livomu verhnomu nabori mozhlivo ob yednati z vidpovidnoyu paroyu v livomu nizhnomu nabori abo verhnomu pravomu nabori abo mozhlivo z usima chotirma naborami sklasti grupu z vosmi klitinok Dlya p yati abo shesti zminnih ce pravilo takozh zastosovuyetsya Diagrama dlya p yati zminnih skladayetsya z dvoh diagram dlya chotiroh zminnih roztashovanih poryad odin z odnim z velikim prostorom pomizh nimi Zbig mizh dvoma diagramami dlya chotiroh zminnih znahoditsya dlya klitinok kotri zbigayutsya yaksho odnu kartu naklasti na inshu V ostannyu hvilinu pered prezentaciyeyu Vejch vidaliv prostir pomizh grupami klitinok 2x2 Ce bulo pogane rishennya tomu sho uskladnilo rozuminnya zagalnoyi strukturi funkciyi a takozh zastosuvannya pravil minimizaciyi Z chasom rozv yazuyuchi golovolomki sudoku Vejch zrozumiv sho interval abo tovsti liniyi pomizh grupami kvadrativ mozhut buti duzhe korisnimi osoblivo yaksho v tebe poganij zir yak ce bulo u Vejcha u pohilomu vici 8 Komentari Vejchared Piznishe Vejch pisav pro rozrobku svoyih diagram ta yih interpretaciyi tak Problema u tomu yak vidobraziti bulevu funkciyu vid n zminnih tak shob lyudske oko zmoglo legko pobachiti yak yiyi sprostiti Funkciya chotiroh zminnih maye shistnadcyat vhidnih kombinacij ta vidpovidno diagrama maye shistnadcyat kvadrativ yaki povinni buti zapovnenimi za dopomogoyu tablici istinnosti vidpovidnoyi funkciyi Osnovna riznicya mizh versiyami Vejcha i Karno ye te sho diagrama Vejcha zobrazhuye dani u dvijkovij poslidovnosti yaku vikoristali u tablici istinnosti todi yak v kartah Karno minyayutsya miscyami tretij ta chetvertij ryadi ta tretij ta chetvertij stovpchiki komp yuterna spilnota obrala pidhid Karno Vejch prijnyav ce rishennya nezvazhayuchi na te sho na pochatku 1952 roku pered jogo prezentaciyeyu vin hotiv vibrati toj samij pidhid ale ne stav cogo robiti Cherez dekilka rokiv u pidruchnikah z yavivsya opis kart Karno ta v deyakih iz nih voni nazivalisya diagrami Vejcha Roki po tomu 1999 Vejch znajshov u Vikipediyi stattyu pro karti Karno Vin prochitav yiyi ta perechitavshi svoyu robotu 1952 roku zrozumiv sho v nij ne bulo opisu metodu minimizaciyi Teper vin zrozumiv sho chitachi jogo statti vvazhali sho vin robiv minimizaciyu divlyachis na znachennya stovpciv ta ryadkiv a ti hto vikoristovuvav karti Karno minimizuvali grupi za pravilami a potim vikoristovuvali mitki dlya identifikaciyi grup Vejch takozh vvazhav sho zmini yaki vin zrobiv u svoyih diagramah bezposeredno pered jogo prezentaciyeyu uskladnili vikonannya jogo pravil poshuku minimalnih grup Div takozhred Karta KarnoPrimitkired http www legacy com obituaries mainlinemedianews obituary aspx pid 168929444 a b Veitch Edward W A Chart Method for Simplifying Truth Functions Transactions of the 1952 ACM Annual Meeting ACM Annual Conference Annual Meeting Pittsburgh ACM NY 1952 pp 127 133 Maurice Karnaugh November 1953 The Map Method for Synthesis of Combinational Logic Circuits AIEE Committee on Technical Operations for presentation at the AIEE summer General Meeting Atlantic City N J June 15 19 1953 pp 593 599 U S Patent 3 050 717 U S Patent 3 053 449 U S Patent 3 144 549 U S Patent 3 161 765 Edward Westbrook Veitch Main Line Media News 6 sichnya 2014 Arhiv originalu za 22 grudnya 2015 Procitovano 8 bereznya 2015 Posilannyared Veitch Edward W A proof concerning infinite nets of logic elements without feedback FOCS 1965 1965 pp 162 167 angl Otrimano z https uk wikipedia org w index php title Edvard Vejch amp oldid 36219905