Veitch, Edward

Edward Veitch ( 8.  syyskuuta 1924 – 23. joulukuuta 2013) oli amerikkalainen kybernetiikkatutkija .

Hän valmistui Harvardin yliopistosta vuonna 1946 fysiikan tutkinnolla , minkä jälkeen hän suoritti siellä fysiikan ja soveltavan fysiikan tutkinnot vuonna 1948 ja 1949. Vuoden 1952 teoksessaan "A Chart Method for Simplifying Truth Functions" [2] Veitch kuvasi graafisen menetelmän logiikkapiirien optimoimiseksi , jota vuotta myöhemmin (1953) parannettiin Maurice Carnotin [3] teoksessa ja joka tunnetaan nykyään nimellä menetelmä Boolen funktioiden minimoimiseksi käyttämällä Karnaugh - karttoja .

Elämäkerta

Edward Veitch varttui pienessä Dumontin kaupungissa New Jerseyssä . Vuonna 1942 hän tuli Harvardin yliopistoon . Ensimmäisen vuoden puolivälissä hänet kutsuttiin aktiiviseen asepalvelukseen, jossa hän opiskeli fysiikkaa ja insinööriä erityisohjelmassa, minkä jälkeen hänet värvättiin työskentelemään Manhattan Projectissa Los Alamosissa, New Mexicossa, jossa hän toimi elektroniikka-asentaja. Sodan jälkeen Veitch palasi Harvardiin ja suoritti kandidaatin tutkinnon fysiikassa vuonna 1946, jota seurasi maisterin tutkinto fysiikassa ja soveltavassa fysiikassa vuonna 1948 ja 1949. Hän opiskeli Howard Aikenin johdolla , joka loi Mark I :n, Amerikan ensimmäisen ohjelmoitavan tietokoneen .

Vuodesta 1949 lähtien Veitch työskenteli Burroughs Corporationissa , ryhmässä, joka kehitti joitain varhaisimmista elektronisista tietokonejärjestelmistä, sekä kaupallisista että sotilaallisista, ja sai useita patentteja [4] [5] [6] [7] . Näihin projekteihin sisältyivät E101-tietokone ja SAGE - tutkaverkkokäsittelyjärjestelmä . Tänä aikana hän julkaisi artikkelin menetelmästä digitaalisten piirien optimoimiseksi [2] , joka tunnetaan nykyään Veitch-kaaviomenetelmänä. Veitch johti tietojenkäsittelyjärjestelmien tutkimusta ja kehitystä RCA :n Computer Divisionissa ja myöhemmin Pennsylvania Research Associatesissa (Philadelphia) [8] [9] [10] [11] [12] [13] [14] [15] . RCA : n ohjus- ja pintatutkaosastolla hän kehitti tietokonejärjestelmiä laivaston Aegis - ohjuspuolustusjärjestelmää varten .

Hän oli naimisissa Natalien (Ford) kanssa ja jätti jälkeensä 2 lasta: tytär Laurel ja poika Andrew.

Veitchin kommentit

Kaavioidensa kehityksestä ja niiden tulkinnasta Veitch kirjoitti seuraavaa.

• Ongelmana on esittää n muuttujan Boolen funktio siten, että ihmissilmä näkee helposti kuinka se yksinkertaistetaan.
• Neljän muuttujan funktiolla on kuusitoista syöteyhdistelmää ja vastaavasti kaaviossa on kuusitoista ruutua, jotka on täytettävä vastaavan funktion totuustaulukon avulla.
• Suurin ero Veitchin ja Karnaughin versioiden välillä on se, että Veitchin kaaviot edustavat tietoja totuustaulukossa käytetyssä binäärisekvenssissä, kun taas Karnaughin kaaviot vaihtavat kolmannen ja neljännen rivin sekä kolmannen ja neljännen sarakkeen.
• Tietokoneyhteisö on valinnut Karnot-lähestymistavan. Veitch teki tämän päätöksen huolimatta siitä, että vuoden 1952 alussa, ennen esittelyään, hän halusi noudattaa samaa lähestymistapaa, mutta päätti olla tekemättä. Muutama vuosi myöhemmin kuvaus Carnot-kartoista ilmestyi oppikirjoihin, ja joissakin niistä niitä kutsuttiin Veitch-kaavioiksi.

Vuonna 1999 Veitch löysi Wikipedia-artikkelin Karnot-kartoista. Hän luki sen ja luettuaan uudelleen vuoden 1952 paperinsa, hän tajusi, että se ei kuvaillut minimointimenetelmää. Hän uskoo nyt, että hänen artikkelinsa lukijat olettivat, että hän teki minimoinnin katsomalla sarake- ja rivitunnisteita, ja Karnaugh-karttoja käyttäneet minimoivat ryhmät sääntöjen mukaisesti ja käyttivät sitten tunnisteita vain ryhmien tunnistamiseen.

Veitch uskoo myös, että muutokset, jotka hän teki kaavioihinsa juuri ennen niiden esittämistä, vaikeuttivat hänen vähimmäisryhmähaun sääntöjen soveltamista.

Veitchin alkuperäiset kaaviot

Tiedetään, että funktiot voidaan esittää pisteinä n-ulotteisen kuution kulmissa. Kaksi vierekkäistä kulmaa, kuten kaksi oikeaa yläkulmaa, voidaan määrittää oikeaksi yläkulmaksi, ja kuution etupinnan neljä kulmaa voidaan määrittää etukulmaksi. Neljän, viiden tai kuuden muuttujan ongelmasta tulee vieläkin monimutkaisempi.

Kuinka piirtää moniulotteinen kuutio tasaiselle kaaviolle, jotta nämä suhteet ovat helposti nähtävissä?

• Kolmelle ulottuvuudelle Veitch piirsi joukon 2 x 2 neliötä kuution yläosaan ja toisen kuution alaosaan, jolloin kahden neliösarjan väliin jäi pieni rako. Ylimmässä 2x2-sarjassa minimoitu ryhmä oli vaaka- tai pystysuora solupari tai kaikki neljä solua. Ylä- ja alajoukon välinen suhde esitettiin yksi-yhteen-suhteena kunkin ylimmän joukon neliön ja alemman joukon vastaavan solun välillä. Samanlainen sääntö pätee neljän muuttujan tapauksessa, jotka joskus kuvataan kuutiona, toisen kuution sisällä, jossa kaikki vastaavat kulmat on yhdistetty.
• Veitch-kaaviot neljälle muuttujalle piirrettäisiin sitten neljänä 2x2-kokoisena neliönä, joiden välissä on vähän tilaa. Siten vasemman yläkulman vaakapari voidaan yhdistää vastaavaan vasemman alakulman tai ylhäällä oikean joukon pariin tai mahdollisesti kaikkiin neljään joukkoon soluryhmän muodostamiseksi.
• Viiden tai kuuden muuttujan kohdalla pätee sama sääntö. Viiden muuttujan kaavio koostuu kahdesta kaaviosta neljälle muuttujalle, jotka sijaitsevat vierekkäin ja niiden välillä on suuri väli. Kahden kaavion päällekkäisyys neljälle muuttujalle löytyy soluista, jotka täsmäävät, kun yksi kartta on asetettu toisen päälle.

Viimeisellä hetkellä ennen esitystä Veitch poisti 2x2 soluryhmien välisen aukon. Tämä oli huono päätös, koska se vaikeutti funktion yleisen rakenteen ymmärtämistä sekä minimointisääntöjen soveltamista. Myöhemmin ratkaistessaan Sudoku -pulmia Veitch tajusi, että raot tai paksut viivat neliöryhmien välillä voisi olla erittäin hyödyllistä, varsinkin jos näkösi oli yhtä huono kuin Veitchin vanhuudellaan. [16]

Katso myös

• Carnot kartta

Linkit

Veitch, Edward W. Todistus loogisten elementtien äärettömistä verkoista ilman palautetta. FOCS 1965, 1965, s. 162-167.

Muistiinpanot

1. ↑ http://www.legacy.com/obituaries/mainlinemedianews/obituary.aspx?pid=168929444
2. ↑ 1 2 Veitch, Edward W. Kaaviomenetelmä totuusfunktioiden yksinkertaistamiseksi, ACM:n vuoden 1952 vuosikokouksen tapahtumat, ACM:n vuosikonferenssi/vuosikokous "Pittsburgh", ACM, NY, 1952, pp. 127-133.
3. ↑ Maurice Karnaugh , marraskuu 1953, The Map Method for Synthesis of Combinational Logic Circuits, AIEE:n teknisten toimintojen komitea esitettäväksi AIEE:n kesäyleiskokouksessa, Atlantic City, NJ, 15.-19. kesäkuuta 1953, s. 593-599.
4. ↑ US-patentti 3 050 717
5. ↑ US-patentti 3 053 449
6. ↑ US-patentti 3 144 549
7. ↑ US-patentti 3 161 765
8. ↑ Veitch, Edward W. Pennsylvania Research Associates Inc Philadelphia. Itsekorjausteoriatutkimus. Neljännesvuosittain - Puolustustekninen tietokeskus, joulukuu 1966. - 90 s.
9. ↑ Veitch, Edward W. Pennsylvania Research Associates Inc Philadelphia. Itsekorjausteoriatutkimus. Neljännesvuosittain ei. 2, loka-joulukuu 66 - Defence Technical Information Center, toukokuu 1967. - 45 s.
10. ↑ Veitch, Edward W. Pennsylvania Research Associates Inc Philadelphia. Itsekorjausteoriatutkimus. Neljännesvuosittain ei. 3, 1. tammikuuta-31. maaliskuuta 67. - Puolustustekninen tietokeskus, heinäkuu 1967. - 41 s.
11. ↑ Veitch, Edward W. Pennsylvania Research Associates Inc Philadelphia. Itsekorjausteoriatutkimus. Neljännesvuosittain ei. 4, 1. huhtikuuta-30. kesäkuuta 67. - Puolustustekninen tietokeskus, toukokuu 1968. - 47 s.
12. ↑ Veitch, Edward W. Pennsylvania Research Associates Inc Philadelphia. Itsekorjausteoriatutkimus. Neljännesvuosittain ei. 5, 1. heinäkuuta-30. syyskuuta 67. - Puolustustekninen tietokeskus, toukokuu 1968. - 32 s.
13. ↑ Veitch, Edward W., Roberts, David C. Pennsylvania Research Associates Inc Philadelphia. Itsekorjausteoriatutkimus. Neljännesvuosittain ei. 6, 1. lokakuuta - 31. joulukuuta 67. - Puolustustekninen tietokeskus, toukokuu 1968. - 46 s.
14. ↑ Veitch, Edward W., Roberts, David C. Pennsylvania Research Associates Inc Philadelphia. Itsekorjausteoriatutkimus. Neljännesvuosittain ei. 7, 1. tammikuuta-31. maaliskuuta 68. - Puolustustekninen tietokeskus, syyskuu 1968. - 34 s.
15. ↑ Veitch, Edward W. Pennsylvania Research Associates Inc Philadelphia. Itsekorjausteoriatutkimus. viimeinen tekninen edustaja 1. heinäkuuta 67.-31. maaliskuuta 69. - Puolustustekninen tietokeskus, kesäkuu 1969. - 109 s.
16. ↑ Edward Westbrook Veitch , Main Line Media News (6. tammikuuta 2014). Arkistoitu alkuperäisestä 22. joulukuuta 2015. Haettu 8. maaliskuuta 2015.