Teoria obwodów przełączających
Teoria obwodów przełączających to matematyczne badanie właściwości sieci wyidealizowanych przełączników. Takie sieci mogą być logiką ściśle kombinacyjną , w której ich stan wyjściowy jest tylko funkcją obecnego stanu ich wejść; lub może również zawierać elementy sekwencyjne , gdzie stan obecny zależy od stanu obecnego i stanów przeszłych; w tym sensie mówi się, że obwody sekwencyjne obejmują „pamięć” przeszłych stanów. Ważną klasą układów sekwencyjnych są maszyny stanowe . Teoria obwodów przełączających ma zastosowanie do projektowania systemów telefonicznych, komputerów i podobnych systemów. Teoria obwodów przełączających dostarczyła matematycznych podstaw i narzędzi do systemów cyfrowych w prawie wszystkich obszarach współczesnej technologii.
W liście z 1886 roku Charles Sanders Peirce opisał, w jaki sposób logiczne operacje mogą być przeprowadzane przez elektryczne obwody przełączające. W latach 1880–1881 wykazał, że same bramki NOR (lub alternatywnie same bramki NAND ) mogą być użyte do odtworzenia funkcji wszystkich innych bramek logicznych , ale praca ta pozostała niepublikowana do 1933 r. Pierwszy opublikowany dowód był autorstwa Henry'ego M. Sheffera w 1913, więc operacja logiczna NAND jest czasami nazywana uderzeniem Sheffera ; czasami nazywa się logiczne NOR Strzała Peirce'a . W związku z tym bramki te są czasami nazywane uniwersalnymi bramkami logicznymi .
W 1898 roku Martin Boda opisał teorię przełączania dla systemów bloków sygnalizacyjnych .
Ostatecznie lampy próżniowe zastąpiły przekaźniki operacji logicznych. Modyfikacja zaworu Fleminga dokonana przez Lee De Foresta w 1907 roku może służyć jako bramka logiczna. Ludwig Wittgenstein przedstawił wersję 16-rzędowej tabeli prawdy jako propozycję 5.101 Tractatus Logico-Philosophicus (1921). Walther Bothe , wynalazca obwodu koincydencji , otrzymał w 1954 roku część Nagrody Nobla w dziedzinie fizyki za pierwszą nowoczesną elektroniczną bramkę AND w 1924 roku. Konrad Zuse zaprojektował i zbudował elektromechaniczne bramki logiczne dla swojego komputera Z1 (od 1935 do 1938).
W latach 1934-1936 inżynier NEC Akira Nakashima , Claude Shannon i Victor Shestakov opublikowali serię artykułów pokazujących, że dwuwartościowa algebra Boole'a , którą odkryli niezależnie, może opisać działanie obwodów przełączających.
Uważa się, że idealne przełączniki mają tylko dwa wykluczające się stany, na przykład otwarty lub zamknięty. W niektórych analizach można uznać, że stan przełącznika nie ma wpływu na wydajność systemu i jest określany jako stan „nie obchodzi”. W złożonych sieciach konieczne jest również uwzględnienie skończonego czasu przełączania przełączników fizycznych; tam, gdzie dwie lub więcej różnych ścieżek w sieci może wpływać na sygnał wyjściowy, opóźnienia te mogą skutkować „zagrożeniem logicznym” lub „ stanem wyścigu ”, w którym stan wyjściowy zmienia się z powodu różnych czasów propagacji w sieci.
Zobacz też
- Przełączanie obwodów
- Przełączanie wiadomości
- Przełączanie pakietów
- Szybkie przełączanie pakietów
- Podsystem przełączania sieci
- System przełączania 5ESS
- Elektroniczny system przełączania numer jeden
- Obwód boolowski
- Element C
- Złożoność obwodu
- Minimalizacja obwodu
- Mapa Karnaugha
- Projekt logiczny
- Bramka logiczna
- Logika w informatyce
- Nieblokujący przełącznik minimalnego zakresu
- Programowalny sterownik logiczny - oprogramowanie komputerowe naśladuje obwody przekaźnikowe do zastosowań przemysłowych
- Algorytm Quine'a-McCluskeya
- Przekaźnik – wczesny rodzaj urządzenia logicznego
- Lemat o przełączaniu
- Funkcja unate
Dalsza lektura
- Keister, William; Ritchie, Alistair E.; Washburn, Seth H. (1951). Projektowanie obwodów przełączających . Seria Bell Telephone Laboratories (1 wyd.). D. Van Nostrand Company, Inc. 147 . Zarchiwizowane od oryginału w dniu 2020-05-09 . Źródło 2020-05-09 . [8] (2+xx+556+2 strony)
- Caldwell, Samuel Hawks (1958-12-01) [luty 1958]. Napisane w Watertown, Massachusetts, USA. Obwody przełączające i projektowanie logiczne . 5. druk wrzesień 1963 (wyd. 1). Nowy Jork, USA: John Wiley & Sons Inc. ISBN 0-47112969-0 . LCCN 58-7896 . (XVIII+686 stron)
- Perkowski, Marek A.; Grygiel, Stanisław (1995-11-20). „6. Historyczny przegląd badań nad rozkładem”. Przegląd literatury na temat rozkładu funkcji (PDF) . Wersja IV. Functional Decomposition Group, Wydział Elektrotechniki, Portland University, Portland, Oregon, USA. CiteSeerX 10.1.1.64.1129 . Zarchiwizowane (PDF) od oryginału w dniu 2021-03-28 . Źródło 2021-03-28 . (188 stron)
- Stanković, Radomir S. [w języku niemieckim] ; Sasao, Tsutomu; Astola, Jaakko Tapio [po fińsku] (sierpień 2001). „Publikacje z pierwszych dwudziestu lat teorii przełączania i projektowania logiki” (PDF) . Seria Tampere International Center for Signal Processing (TICSP). Tampere University of Technology / TTKK, Monistamo, Finlandia. ISSN 1456-2774 . S2CID 62319288 . #14. Zarchiwizowane od oryginału (PDF) w dniu 09.08.2017 . Źródło 2021-03-28 . (4+60 stron)
- Stanković, Radomir S. [w języku niemieckim] ; Astola, Jaakko Tapio [po fińsku] (2011). Napisane w Nisz, Serbia i Tampere, Finlandia. Od logiki boolowskiej do przełączania obwodów i automatów: w kierunku nowoczesnej technologii informacyjnej . Badania nad inteligencją obliczeniową . Tom. 335 (1 wyd.). Berlin i Heidelberg, Niemcy: Springer-Verlag . doi : 10.1007/978-3-642-11682-7 . ISBN 978-3-642-11681-0 . ISSN 1860-949X . LCCN 2011921126 . Pobrane 2022-10-25 . (XVIII+212 stron)