Synteza logiczna automatów stanów z zastosowaniem łącznego kodowania wielokrotnego
|
|
- Adam Marszałek
- 6 lat temu
- Przeglądów:
Transkrypt
1 KNWS Syneza logiczna auomaów sanów z zasosowaniem łącznego kodowania wielokonego Akadiusz Bukowiec Seszczenie: W aykule zosanie zedsawiona meoda synezy skończonych auomaów sanów z wyjściami yu ealy ego do suku ogamowalnych. eoda bazuje na wielokonym kodowaniu mikoinsukcji odzielonych na odzbioy w oaciu o akualny san. Dodakowo odzbioy e są łączone ze sobą w ay ak aby można je było zidenyfikować ozez wykozysanie nieełnego kodu. owadzi o do ealizacji układu cyfowego auomau z wykozysaniem sukuy dwuoziomowej, gdzie układ iewszego oziomu ealizuje funkcje kodowania. Zabieg aki umożliwia zmniejszenie liczby funkcji logicznych ealizowanych zez kombinacyjną część auomau. ikoinsukcje naomias są dekodowany w układzie dugiego oziomu na odsawie wielokonego kodu i części kodu akualnego. onieważ, wykozysywana jes ylko część kodu zabieg en owadzi do znacznego zmniejszenia ozmiau amięci wykozysywanej do jego imlemenacji. Słowa kluczowe: Skończony auoma sanów, FGA, Syneza logiczna 1. WROWADZENIE Skończone auomay sanów (ang. Finie Sae achine, FS), są wciąż jedną z najoulaniejszych meod ealizacji jednosek seujących [2, 5]. Naomias układy FGA są badzo częso sosowane do ealizacji układu logicznego akiego auomau [6]. Duże znaczenie, w ealizacji całego sysemu cyfowego, akiego układu owoduje, że oymalizacja wykozysywanych zasobów szęowych sanowi ważną oblemaykę. Jednym z ozwiązań ego oblemu jes syneza układu z wykozysaniem osadzonych bloków amięci [, 7, 9] oaz zasosowaniem suku wielooziomowych [1, ]. W efeacie zosał zedsawiony sosób wielokonego kodowania mikoinsukcji umożliwiający zmniejszenie liczby funkcji boolowskich ealizowanych zez układ kombinacyjny auomau, z wykozysaniem odowiedniego kodowania sanów oaz łączeniem odzbioów mikoinsukcji, co owadzi do zmniejszenia ozmiau amięci dekodea mikoinsukcji. Zabieg aki owadzi do zmniejszenia wymaganych zasobów szęowych ozebnych do imlemenacji całego układu w sukuach ogamowalnych oaz do zbalansowanego wykozysania elemenów óżnego yu, dosęnych w układach FGA [, 7]. 2. ODSTAW TEORETCZNE 2.1. SKOŃCZON AUTOAT STANÓW Skończony auoma sanów jes o szóska: S A, a1,,,, (1) gdzie: A = {a 1,, a } jes skończonym zbioem sanów wewnęznych auomau; a 1 jes sanem ocząkowym auomau; = {x 1,, x L } jes skończonym zbioem wejściowych zmiennych boolowskich - waunków logicznych; = {y 1,, y N } jes skończonym zbioem wyjściowych zmiennych boolowskich - mikooeacji; δ jes funkcją zejść auomau; ω jes funkcją wyjść auomau FORAT KISS2 Foma KISS2 zosał oacowany na Uniwesyecie Bekeley [8] i jes eksową eezenacją jednowymiaowej ablicy zejść-wyjść auomau [5]. Ois aki składa się z nagłówka i abeli (ys. 1). Nagłówek zawiea infomacje o liczbie wejść (.i), wyjść (.o), linii w abeli (.) i sanów (.s). ożna w nim zawzeć ównież ocjonalną infomację o sanie ocząkowym (.). a) a2 - / y1y2 a5 ~x2 / - a1 x2 / y1 x1 / y2 - / y3 ~x1 / y3 a - / y1y3 a3 - / y2y3 a6 b).i 2.o 3.s a1-0 a1 a a1 a a2 a a3 a a3 a a a a5 a a6 a 011 Rys. 1. zykładowy a) gaf sanów, i jego ois w b) fomacie KISS2
2 32 KNWS 2011 Tablica oisuje naomias zejścia auomau. Składa się ona z czeech kolumn: waunku zejścia h, sanu ocząkowego a m, sanu docelowego a s i mikoinsukcji h. Symbol - zy zmiennej wejściowej oznacza, że nie wchodzi ona do waunku zejścia, Waość 0 oznacza, że jej negacja wchodzi do waunku, a waość 1, że jej afimacja wchodzi do waunku. Waość 0 dla zmiennej wyjściowej oznacza, że nie wchodzi ona do wyażenia wyjściowego naomias waość 1, że wchodzi. Douszczalny jes ównież w ym zyadku symbol -, kóy oznacza, że dana zmienna może, ale nie musi, wejść do wyażenia wyjściowego (zw. waość don cae). Reezenacja a ze względu na swój osy zais jes badzo wygodna do zewazania zez sysemy komueowe ETOD SNTEZ STRUKTURA JEDNOOZIOOWA Układ logiczny skończonego auomau sanów z wyjściami yu ealy ego oisany jes sysemem funkcji Boolowskich:,,,, gdzie = {q 1,, q R } jes zbioem zmiennych wewnęznych użyych do kodowania sanów auomau a m A, gdzie R = log 2, = {D 1,, D R } jes zbioem funkcji wzbudzeń. Sysem (2) jes fomowany na odsawie ablicy sukualnej auomau [1, 2], kóa osiada kolumny: a m, K(a m ), a s, K(a s ), h, h, h, h, gdzie a m A jes akualnym sanem auomau; K(a m ) jes kodem ego sanu; a s A jes nasęnym sanem auomau; K(a s ) jes kodem sanu a s ; h jes koniunkcją afimacji lub negacji zmiennych ze zbiou wejściowych waunków logicznych wymuszając zejście a m, a s ; h jes mikoinsukcją fomowaną odczas zejęcia a m, a s ; h jes zbioem funkcji wzbudzeń, kóe są ówne 1 w celu zełączenia amięć auomau z kodu K(a m ) na kod K(a s ); h jes numeem linii h = 1,, H. Tablica a owsaje ozez zekszałcenie ablicy zejść-wyjść auomau w akcie ocesu synezy logicznej. Sysem (2) jes odsawą do ealizacji układu logicznego auomau z wykozysaniem jednooziomowej sukuy (ys. 2) [1, 2, 5]. W sukuze ej układ sanowi amięć auomau i jes zbudowany z zezuników yu D. Układ imlemenuje funkcje Boolowskie auomau i w sukuze FGA jes zbudowany z ablic LUT. Rys. 2. Układ logiczny auomau ealy ego Całkowia liczba funkcji Boolowskich ealizowanych zez układ kombinacyjny wynosi: (2) n R N. (3) STRUKTURA DWUOZIOOWA Z KODOWANIE AKSALN Jedną ze znanych meod zmniejszania liczby ealizowanych funkcji logicznych zez układ jes zasosowanie maksymalnego kodowania mikoinsukcji [1, 2]. Niech ablica zejść-wyjść auomau zawiea T óżnych mikoinsukcji,,, 1 T. Zakodujmy każdą aką mikoinsukcję binanym kodem K( ) na N 1 = log 2 T biach. Zmienne z,, Z z1 zn zosaną wykozysane do 1 eezenacji ego kodu. W akim zyadku układ logiczny auomau może zosać zealizowany z wykozysaniem dwuoziomowej sukuy (ys. 3) [1]. Z Rys. 3. Układ logiczny auomau ealy ego Układ ma dokładnie aką samą funkcję i budowę jak w sukuze. Układ imlemenuje sysem funkcji Boolowskich: Z, () czyli dekoduje mikooeacje. Układ en w sukuze FGA może zosać zaimlemenowany z wykozysaniem osadzonych bloków amięci. W syuacji akiej układ imlemenuje sysem: Z Z,,,, i liczba ealizowanych funkcji Boolowskich zosaje zmniejszona do: 1 (5) n R N. (6) Jednak waość a jes wciąż elaywnie duża i nie gwaanuje zmniejszenia liczby ablic LUT wymaganych do imlemenacji auomau w sukuze FGA STRUKTURA DWUOZIOOWA Z KODOWANIE WIELKROTN Dalsze zmniejszania liczby ealizowanych funkcji logicznych zez układ daje zasosowanie wielokonego kodowania mikoinsukcji [3, ]. Dokonajmy odziału a wedy zbiou na odzbioy aki, że a m i ylko wedy gdy mikoinsukcja jes wykonywana odczas zejścia ze sanu a m. Zakodujmy mikoinsukcje w każdym odzbioze niezależnie binanym kodem K m ( ) na N 2 = log 2 T 0 biach, gdzie T0 max a1,, a Zmienne,, 1 N. (7) zosaną wykozysane do eezenacji ego kodu. zy kodowaniu akim do jednoznacznego okeślenia mikoinsukcji 2 m
3 KNWS wymagane jes wykozysanie kodu wielokonego i kodu akualnego sanu: K K K a. (8) m m W akiej syuacji układ logiczny auomau może zosać zealizowany z wykozysaniem dwuoziomowej sukuy 0 (ys. ) []. Ψ Rys.. Układ logiczny auomau ealy ego 0 Układ ma dokładnie aką samą funkcję i budowę jak w ozednich sukuach. Układ imlemenuje sysem funkcji Boolowskich:,, (9) czyli dekoduje mikooeacje. Układ en w sukuze FGA może zosać zaimlemenowany z wykozysaniem osadzonych bloków amięci. W syuacji akiej układ imlemenuje sysem:,,,, (10) i liczba ealizowanych funkcji Boolowskich zosaje zmniejszona do: n R N. (11) 0 2 Niesey, mimo iż meoda a zmniejsza złożoność układu [], o może owodować nieefekywne wykozysanie bloków amięci. 3. ETODA SNTZE Z ŁĄCZN KODOWANIE WIELOKROTN Ideą ezenowanej w ym aykule meody jes ołączenie odzbioów mikoinsukcji, ak aby, mikoinsukcja mogła być jednoznacznie idenyfikowana z wykozysaniem ylko części kodu akualnego sanu. Rozwiązanie akie sowoduje dwukone zmniejszenie ozmiau amięci bez konieczności ealizowania większej liczby funkcji logicznych zez układ kombinacyjny IDEA ETOD odzbioy a m należy ak ołączyć w ay a a, ak aby ich liczby elemenów były log2 do siebie jak najbadziej zbliżone. Jeżeli 2 o 2 log 2 największych odzbioów ozosawiamy bez ay (łączymy w aę ze zbioem a ). ozosałe naomias łączymy usym - m m 1 1 w ay według zasady: największy z najmniejszym. Nasęnie zakodujmy sany, ak aby kody Ka m 1 i Ka m 2 óżniły się ylko na osanim bicie q R. odobnie jak ozednio, zakodujmy mikoinsukcje w każdej aze a m odzbioów niezależnie naualnym kodem dwójkowym K na N C = log 2 T C biach, gdzie T. (12) C max m,, 1 m3 eoda a może zosać zasosowana wedy gdy N C 0 N, (13) w zeciwnym azie nie zosanie zachowana syuacja uzymania bez zmian liczby funkcji Boolowskich ealizowanych zez układ. Zmienne,, 1 N zosaną wykozysane do eezenacji kodu C K. zy kodowaniu akim do jednoznacznego okeślenia mikoinsukcji wymagane jes wykozysanie kodu wielokonego i części kodu akualnego sanu: K Km 1 K am R. (1) W akiej syuacji układ logiczny auomau może zosać zealizowany z wykozysaniem dwuoziomowej sukuy J (ys. 5). Ψ [1..(R-1)] Rys. 5. Układ logiczny auomau ealy ego J Układ ma dokładnie aką samą funkcję i budowę jak w ozednich sukuach. Układ imlemenuje sysem funkcji Boolowskich:, 1.. R 1, (15) czyli dekoduje mikooeacje. Układ en w sukuze FGA może zosać zaimlemenowany z wykozysaniem osadzonych bloków amięci. Dzięki skóceniu słowa adesowego o 1 bi, ozmia ej amięci zosanie zmniejszony dwukonie w oównaniu z sukua 0. Układ, bez zmian, imlemenuje sysem (10) i liczba ealizowanych funkcji Boolowskich zosaje ównież bez zmian: 3.2. ETA SNTEZ C C n R N. (16) oces synezy blokowej i imlemenacji do układu FGA składa się z nasęujących eaów: 1. Uwozenie i odział zbiou mikoinsukcji. Ea en oiea się na odczyaniu z ablicy zejść-wyjść auomau wszyskich óżnych mikoinsukcji a nasęnie odzieleniu ich na odzbioów. Każdy odzbió zawiea ylko mikoinsukcje, kóe są ealizowane odczas zejścia z m-go sanu. 2. Łączenie odzbioów mikoinsukcji w ay. W eaie ym łączymy odzbioy w ay zgodnie z ideą oisaną w odozdziale 3.1.
4 3 KNWS Kodowanie mikoinsukcji. Zgodnie z idea meody zakodujmy mikoinsukcje w każdej aze odzbioów K. niezależnie binanym kodem. Kodowanie sanów. eoda a wymaga secyficznego zakodowania sanów, ak aby kody sanów a i a, na odsawie kóych zosały uwozone odzbioy ołączone w jedną aę, óżniły się ylko na osanim bicie q R. 5. Uwozenie ablicy zejść-wyjść auomau J. W eaie ym wozy się zekszałconą ablicę zejśćwyjść, kóa jes odsawą do uwozenia sysemu (10). Jes ona wozona z oyginalnej ablicy zejść-wyjść ozez zasąienie kolumny h kolumną Ψ h. Kolumna Ψ h zawiea zmienne ψ Ψ, kóe są ówne 1 w K. odowiednim kodzie 6. Uwozenie ablicy dekodea mikoinsukcji. Kok en o wadzi do owsania ablicy, kóa jes odsawą do uwozenia sysemu (15). Tablica a osiada kolumny K a 1.. R 1 K,, 0. m, 7. Uwozenie ównań boolowskich oisujących działanie układu. Kok en owadzi do uzyskania ównań boolowskich oisujących sysem (10). Twozone są na odsawie ablicy zejść-wyjść auomau J. 8. Imlemenacja auomau J w sukuze FGA. Układ kombinacyjny i ejes imlemenowane są z wykozysaniem ogamowalnych bloków logicznych CLB. układ z wykozysaniem ablic LUT a ejes z wykozysaniem zezuników yu D. Układ imlemenowany jes z wykozysaniem osadzonych bloków amięci, gdzie konkaenacja kodów K am 1.. R 1 Km 1 (eezenowana zez konkaenację zmiennych 1.. R1 ) jes adesem, a mikoinsukcja jes słowem zaisanym od ym adesem. onieważ osadzone bloki amięci w sukuach FGA są elemenami synchonicznymi należy zaewnić odowiednie akowanie sygnałem zegaowym [Buk09] ANALIZA RZKŁADU Rozważmy zasosowanie omówionej meody do synezy auomau S 1 [] oisanego w fomacie KISS2 (ys. 6)..i 3.o 5.s a1 11- a1 a a1 a a1 a a2 a a2 a a3 a a3 a a3 a a a a a a5 a a5 a a5 a Rys. 6. Auoma S 1 w fomacie KISS2 m 1 m 2 ożemy w nim wyóżnić = 5 sanów A = {a 1,, a 5 } oaz N = 5 mikooeacji = {y 1,, y 5 } wozących T = 7 mikoinsukcji,,,, 1 y1, 2 y1, y2, 3 y2, y2, y3,. 5 y3 y 6 7 y1 y5 W zyadku zasosowania sukuy do zakodowania mikoinsukcji należało by wykozysać N 1 = log 2 T = 3 biy. W akiej syuacji układ n R N 6 kombinacyjny ealizował by 1 funkcji boolowskich. Do ealizacji dekodea należało by zasosować amięć o 3 wejściach adesowych i 5-biowym słowie. Rozoczynając oces synezy do sukuy J należy dokonać odziału zbiou mikoinsukcji na odzbioy (ea 1). W naszym zyadku uzyskamy = 5 a,, a,, akich odzbioów: , a,, a,, a,, Nasęnie odzbioy e należy ołączyć w ay (ea 2). onieważ w naszym zyadku zachodzi waunek 2 log 2 o zy największe odzbioy łączymy w ay ze zbioem usym. Tak więc uzyskamy czey,,,,, nasęujące a: , 5 5 7,,,,, W kolejnym koku ozosaje zakodować mikoinsukcje binanym kodem K (ea 3). Dla zykładowego auomau S 1 kod en wymaga wykozysania N C = log 2 T C = 2 biów. Kodowanie naomias będzie wyglądało nasęująco: K K K, K, ,,, K, K. Do awidłowego dekodowania mikoinsukcji wymagane jes zasosowanie odowiedniego kodowania sanów (ea ). Dla naszego zykładu może ono wyglądać nasęująco: Ka, 101 K a, Ka, K a K a3 100, Tabela 1. Tablica zejść-wyjść auomau J a m K(a m ) a s K(a s ) h Ψ h h h a xx D 2 1 a x 1 2 ψ 2 D 1 2 a 101 x 2 ψ 1 D 1 D 3 3 a D 1 a 101 x 2 ψ 2 D 1 D D 1 6 a a 101 xx D 1 D 3 7 a xx 2 3 ψ 2 D 1 D 2 8 a 101 a x 3 ψ 1 D 1 D ψ 1 ψ 2 D 1 10 a x 1 ψ 1-11 a a xx 1 3 ψ 2 D 1 D 2 12 a 101 xx D 1 D 3 13
5 KNWS o wykonaniu ych czynności można uwozyć ablicę zejść-wyjść auomau J (ea 5). Dla auomau S 1 jes ona zedsawiona w abeli 1. Wymagane jes ównież uwozenie ablicy dekodea, kóa będzie oisywała zawaość amięci dekodea (ea 6). Tablica a dla auomau S 1 jes zedsawiona w abeli 2. K(a m )[1..2] Tabela 2. Tablica dekodea mikoinsukcji K 1 2 ψ 1 ψ 2 y 1 y 2 y 3 y y Na odsawie ablicy zejść-wyjść należy uwozyć ównania boolowskie oisujące sysem (10) (ea 7). Dla auomau S 1 będą o n.: D x1 1 3 x2, x x Na odsawie uzyskanych ównań oaz ablicy dekodea mikoinsukcji można dokonać imlemenacji auomau w sukuze FGA (ea 8). Dla owyższego zykładu można dokonać zesawienia kluczowych aameów układu logicznego auomau dla zedsawionych suku (ab. 3). Tabela 3. aamey auomau S 1 dla oszczególnych suku * 0 J n n n Z owyższego zesawienia widać, że zasosowanie oonowanego łącznego kodowanie wielokonego ( J ) zmniejsza liczbę ealizowanych funkcji boolowskich w oównaniu z meodą sandadowa () w akim samym soniu jak meoda bazowa z kodowaniem wielokonym ( 0 ). Naomias w oównaniu do meody bazowej dwukonie zmniejszeniu ulega ozmia amięci dekodea mikoinsukcji. * n liczba funkcji boolowskich ealizowana zez układ kombinacyjny n liczba zezuników D w ejesze n Rozmia amięci dekodea w biach 0. ODSUOWANIE W aykule zedsawiono meodę synezy blokowej auomaów sanów do suku FGA. Zasosowana oonowanego łącznego kodowanie wielokonego ozwala na uzymanie bez zmian liczby funkcji boolowskich ealizowanych ozez kombinacyjną część auomau i jednoczesne dwukone zmniejszenie ozmiau amięci dekodea, w oównaniu ze sukuą bazową. Zmniejszenie amięci jes gwaanowane zez dokonane zekszałcenia maemayczne i jes niezależne od algoymu seowania oisanego auomaem. Tak więc, oonowana meoda synezy blokowej, waz z dedykowaną dla niej sukua blokową auomau, ozwala na ównomiene i efekywne wykozysanie óżnoodnych zasobów szęowych układu FGA. LITERATURA [1] Adamski., Bakalov A., Achiecual and Sequenial Synhesis of Digial Devices. Zielona Góa: Univesiy of Zielona Góa ess, 2006 [2] Bakalov A., Tiaenko L., Logic Synhesis fo FSbased Conol Unis. Belin: Singe-Velag, [3] Bukowiec A., Bakalov A., Imlemenacja skończonych auomaów sanów do suku FGA z wielokonym kodowaniem sanów, zegląd Elekoechniczny, n 7, s , [] Bukowiec A., Synhesis of Finie Sae achines fo FGA Devices Based on Achiecual Decomosiion. Zielona Góa: Univesiy of Zielona Góa ess, [5] Łuba T., Syneza układów logicznych. Waszawa: OWW, [6] Łuba, T., Boowik, G., Kaśniewski, A., Synhesis of finie sae machines fo imlemenaion wih ogammable sucues, Eleconics and Telecommunicaions uaely, vol. 55, issue 2, s , [7] Rawski., Boowik G., Łuba T., Tomaszewicz., Falkowski B.J., Logic synhesis saegy fo FGAs wih embedded memoy blocks, zegląd Elekoechniczny, n 11a, s , [8] ang S., Logic Synhesis and Oimizaion Benchmaks Use Guide. v.3.0, Rao ech., NC: CNC, [9] Wiśniewski R., Bakalov A., ojekowanie seowników mikoogamowanych z wykozysaniem bloków amięci układów ogamowalnych, omiay Auomayka Konola, n. 8, s , d inż. Akadiusz Bukowiec Uniwesye Zielonogóski Wydział Elekoechniki, Infomayki i Telekomunikacji Insyu Infomayki i Elekoniki ul. Licealna Zielona Góa el.: a.bukowiec@iie.uz.zgoa.l
SYNTEZA AUTOMATÓW SKOŃCZONYCH Z WYKORZYSTANIEM METOD KODOWANIA WIELOKROTNEGO
II Konferencja Naukowa KNWS'05 "Informatyka- sztuka czy rzemios o" 15-18 czerwca 2005, Z otniki Luba skie SNTEZA AUTOMATÓW SKOŃCZONCH Z WKORZSTANIEM METOD KODOWANIA WIELOKROTNEGO Arkadiusz Bukowiec Instytut
Bardziej szczegółowoMETODA ZDYSKONTOWANYCH SALD WOLNYCH PRZEPŁYWÓW PIENIĘŻNYCH
METODA ZDYSONTOWANYCH SALD WOLNYCH PRZEPŁYWÓW PIENIĘŻNYCH W meodach dochodowych podsawową wielkością, kóa okeśla waość pzedsiębioswa są dochody jakie mogą być geneowane z powadzenia działalności gospodaczej
Bardziej szczegółowoBinarne Diagramy Decyzyjne
Sawne tablice logiczne Plan Binane diagamy decyzyjne Oganiczanie i kwantyfikacja Logika obliczeniowa Instytut Infomatyki Plan Sawne tablice logiczne Binane diagamy decyzyjne Plan wykładu 1 2 3 4 Plan wykładu
Bardziej szczegółowoĆWICZENIE 5. Badanie przekaźnikowych układów sterowania
ĆWICZENIE 5 Badanie zekaźnikowych układów steowania 5. Cel ćwiczenia Celem ćwiczenia jest badanie zekaźnikowych układów steowania obiektem całkującoinecyjnym. Ćwiczenie dotyczy zekaźników dwu- i tójołożeniowych
Bardziej szczegółowoLaboratorium Półprzewodniki, Dielektryki i Magnetyki Ćwiczenie nr 10 Pomiary czasu życia nośników w półprzewodnikach
Laboaoium Półpzewodniki, Dielekyki i Magneyki Ćwiczenie n 10 Pomiay czasu życia nośników w półpzewodnikach I. Zagadnienia do pzygoowania: 1. Pojęcia: nośniki mniejszościowe i większościowe, ównowagowe
Bardziej szczegółowoModelowanie i synteza układów sterowania z wykorzystaniem rozmytej interpretowanej sieci Petriego
Modelowanie i syneza układów serowania z wykorzysaniem rozmyej inerreowanej sieci Periego Lesław Gniewek Kaedra Informayki i Auomayki Poliechnika Rzeszowska Plan. Wrowadzenie. Formalne odsawy rozmyej inerreowanej
Bardziej szczegółowoUkłady sekwencyjne asynchroniczne Zadania projektowe
Układy sekwencyjne asynchroniczne Zadania projekowe Zadanie Zaprojekować układ dwusopniowej sygnalizacji opycznej informującej operaora procesu o przekroczeniu przez konrolowany paramer warości granicznej.
Bardziej szczegółowoBadanie funktorów logicznych TTL - ćwiczenie 1
adanie funkorów logicznych TTL - ćwiczenie 1 1. Cel ćwiczenia Zapoznanie się z podsawowymi srukurami funkorów logicznych realizowanych w echnice TTL (Transisor Transisor Logic), ich podsawowymi paramerami
Bardziej szczegółowoTemat: Weryfikacja nienaruszalności bezpieczeństwa SIL struktury sprzętowej realizującej funkcje bezpieczeństwa
1 Lab3: Bezpieczeńswo funkcjonalne i ochrona informacji Tema: Weryfikacja nienaruszalności bezpieczeńswa SIL srukury sprzęowej realizującej funkcje bezpieczeńswa Kryeria probabilisyczne bezpieczeńswa funkcjonalnego
Bardziej szczegółowoSYNTEZA JEDNOSTEK STERUJĄCYCH W STRUKTURACH PROGRAMOWALNYCH
SYNTEZA JEDNOSTEK STERUJĄCYCH W STRUKTURACH PROGRAMOWALNYCH II Konferencja Naukowa KNWS'05 "Informatyka- sztuka czy rzemios o" 15-18 czerwca 2005, Z otniki Luba skie Alexander A. Barkalov Instytut Informatyki
Bardziej szczegółowoUkłady asynchroniczne
Układy asynchroniczne Model układu asynchronicznego y x n UK y m układ kombinacyjny q k BP q k blok pamięci realizuje opóźnienia adeusz P x x t s tan stabilny s: δ(s,x) = s automacie asynchronicznym wszystkie
Bardziej szczegółowoZastosowanie algorytmu Euklidesa
Zatoowanie algoytmu Euklidea Pzelewanie wody Dyonujez dwoma czeakami o ojemnościach 4 i 6 litów, utym ojemnikiem o nieoganiczonej objętości i nieoganiczoną ilością wody Podaj oób naełnienia ojemnika 14
Bardziej szczegółowoMECHANIKA BUDOWLI 12
Olga Koacz, Kzysztof Kawczyk, Ada Łodygowski, Michał Płotkowiak, Agnieszka Świtek, Kzysztof Tye Konsultace naukowe: of. d hab. JERZY RAKOWSKI Poznań /3 MECHANIKA BUDOWLI. DRGANIA WYMUSZONE, NIETŁUMIONE
Bardziej szczegółowoLABORATORIUM PODSTAWY ELEKTRONIKI Badanie Bramki X-OR
LORTORIUM PODSTWY ELEKTRONIKI adanie ramki X-OR 1.1 Wsęp eoreyczny. ramka XOR ramka a realizuje funkcję logiczną zwaną po angielsku EXLUSIVE-OR (WYŁĄZNIE LU). Polska nazwa brzmi LO. Funkcję EX-OR zapisuje
Bardziej szczegółowoUkłady asynchroniczne
Układy asynchroniczne Model układu sekwencyjnego Model układu asynchronicznego (synchronicznego) y 1 x n UK y m układ kombinacyjny Z clock t 1 q 1 k B x s tan stabilny s: δ(s,x) = s x blok pamięci jest
Bardziej szczegółowoDyskretny proces Markowa
Procesy sochasyczne WYKŁAD 4 Dyskreny roces Markowa Rozarujemy roces sochasyczny X, w kórym aramer jes ciągły zwykle. Będziemy zakładać, że zbiór sanów jes co najwyżej rzeliczalny. Proces X, jes rocesem
Bardziej szczegółowoProblem kodowania w automatach
roblem kodowania w automatach Kodowanie stanów to przypisanie kolejnym stanom automatu odpowiednich kodów binarnych. Minimalna liczba bitów b potrzebna do zakodowania automatu, w którym liczność zbioru
Bardziej szczegółowoRozdział 4 Instrukcje sekwencyjne
Rozdział 4 Insrukcje sekwencyjne Lisa insrukcji sekwencyjnych FBs-PLC przedsawionych w niniejszym rozdziale znajduje się w rozdziale 3.. Zasady kodowania przy zasosowaniu ych insrukcji opisane są w rozdziale
Bardziej szczegółowoInstrukcja do ćwiczenia laboratoryjnego. Badanie liczników
Insrukcja do ćwiczenia laboraoryjnego Badanie liczników Opracował: mgr inż. Andrzej Biedka Wymagania, znajomość zagadnień: 3. 4. Budowa licznika cyfrowego. zielnik częsoliwości, różnice między licznikiem
Bardziej szczegółowoWykład nr 3 Techniki Mikroprocesorowe. dr inż. Artur Cichowski
Wykład nr 3 Techniki Mikroprocesorowe dr inż. Artur Cichowski Automat skończony jest przetwornikiem ciągu symboli wejściowych na ciąg symboli wyjściowych. Zbiory symboli wejściowych x X i wyjściowych y
Bardziej szczegółowoZASTOSOWANIE TEORII MASOWEJ OBSŁUGI DO MODELOWANIA SYSTEMÓW TRANSPORTOWYCH
Pior KISIELEWSKI, Łukasz SOBOTA ZASTOSOWANIE TEORII MASOWEJ OBSŁUGI DO MODELOWANIA SYSTEMÓW TRANSPORTOWYCH W arykule przedsawiono zasosowanie eorii masowej obsługi do analizy i modelowania wybranych sysemów
Bardziej szczegółowoTranzystor JFET i MOSFET zas. działania
Tranzystor JFET i MOSFET zas. działania brak kanału v GS =v t (cutoff ) kanał otwarty brak kanału kanał otwarty kanał zamknięty w.2, p. kanał zamknięty Co było na ostatnim wykładzie? Układy cyfrowe Najczęściej
Bardziej szczegółowoPrzejmowanie ciepła z powierzchni grzejnika płaszczyznowego
Przejmowanie cieła z owierzchni grzejnika łaszczyznowego Mgr inż. Tomasz Cholewa Sreszczenie: Zakład Jakości Powierza Zewnęrznego i Wewnęrznego Wydział Inżynierii Środowiska Poliechnika Lubelska.cholewa@wis.ol.lublin.l
Bardziej szczegółowoWskazówki projektowe do obliczania nośności i maksymalnego zanurzenia statku rybackiego na wstępnym etapie projektowania
CEPOWSKI omasz 1 Wskazówki projekowe do obliczania nośności i maksymalnego zanurzenia saku rybackiego na wsępnym eapie projekowania WSĘP Celem podjęych badań było opracowanie wskazówek projekowych do wyznaczania
Bardziej szczegółowoWAHADŁO OBERBECKA V 6 38a
Wahadło Obebecka V 6-38a WAHADŁO OBERBECKA V 6 38a Wahadło ma zasosowanie na lekcjach fizyki w klasie I i III liceum ogólnokszałcącego. Pzyząd sanowi byłę szywną uwozoną pzez uleję (1) i czey wkęcone w
Bardziej szczegółowoOSCYLATOR HARMONICZNY
OSCYLTOR HRMONICZNY Dgania swobone oscylaoa haonicznego negia oencjalna sęŝysości Dgania łuione oscylaoa haonicznego Dgania wyuszone oscylaoa haonicznego Rezonans aliuowy Rezonans ocy Doboć ukłau gającego
Bardziej szczegółowoPodstawy Automatyki. Wykład 9 - Podstawy matematyczne automatyki procesów dyskretnych. dr inż. Jakub Możaryn. Instytut Automatyki i Robotyki
Wykład 9 - Podstawy matematyczne automatyki procesów dyskretnych Instytut Automatyki i Robotyki Warszawa, 2015 Kody liczb całkowitych nieujemnych Kody liczbowe dzielimy na analityczne nieanalityczne (symboliczne)
Bardziej szczegółowo[ ] [ ] [ ] [ ] 1. Sygnały i systemy dyskretne (LTI, SLS) y[n] x[n] 1.1. Systemy LTI. liniowy system dyskretny
Cyfrowe rzewarzanie sygnałów --. Sygnały i sysemy dyskrene (LTI, SLS).. Sysemy LTI Pojęcie sysemy LTI oznacza liniowe sysemy niezmienne w czasie (ang. Linear Time - Invarian ). W lieraurze olskiej częściej
Bardziej szczegółowoPolitechnika Gdańska Wydział Elektrotechniki i Automatyki Katedra Inżynierii Systemów Sterowania
Politechnika Gdańska Wydział Elektotechniki i utomatyki Kateda Inżynieii Systemów Steowania KOMPUTEROWE SYSTEMY STEROWNI (sem. 6) Steowanie otymalizacyjne. Mateiały omocnicze Temin T8 Oacowanie: Tomasz
Bardziej szczegółowoNiezawodność elementu nienaprawialnego. nienaprawialnego. 1. Model niezawodnościowy elementu. 1. Model niezawodnościowy elementu
Niezawodność elemenu nienarawialnego. Model niezawodnościowy elemenu nienarawialnego. Niekóre rozkłady zmiennych losowych sosowane w oisie niezawodności elemenów 3. Funkcyjne i liczbowe charakerysyki niezawodności
Bardziej szczegółowoPODSTAWY PROGRAMOWANIA STEROWNIKÓW PLC
PODSTAWY PROGRAMOWANIA STEROWNIKÓW PLC SPIS TREŚCI WSTĘP JĘZYK SCHEMATÓW DRABINKOWYCH JĘZYK SCHEMATÓW BLOKÓW FUNKCYJNYCH JĘZYK INSTRUKCJI JĘZYK STRUKTURALNY SEKWENCYJNY SCHEMAT FUNKCYJNY PRZYKŁADY PROGRAMÓW
Bardziej szczegółowoRóżnice między urządzeniami we-wy
Sysem wejścia-wyjścia Tzy odzaje uządzeń wejścia-wyjścia: Uządzenia pamięci (dyski, aśmy) Uządzenia pzesyłania danych (kay sieciowe, modemy) Uządzenia komunikacji z człowiekiem (klawiauy, myszy, monioy)
Bardziej szczegółowoPROJEKT nr 1 Projekt spawanego węzła kratownicy. Sporządził: Andrzej Wölk
PROJEKT nr 1 Projek spawanego węzła kraownicy Sporządził: Andrzej Wölk Projek pojedynczego węzła spawnego kraownicy Siły: 1 = 10 3 = -10 Kąy: α = 5 o β = 75 o γ = 75 o Schema węzła kraownicy Dane: Grubość
Bardziej szczegółowoXLI OLIMPIADA FIZYCZNA ETAP I Zadanie doświadczalne
XLI OLIPIADA FIZYCZNA EAP I Zadanie doświadczalne ZADANIE D Pod działaniem sil zewnęznych ciała sale ulęgają odkszałceniom. Wyznacz zależność pomienia obszau syczniści szklanej soczewki z płyka szklana
Bardziej szczegółowo4.2. Obliczanie przewodów grzejnych metodą dopuszczalnego obciążenia powierzchniowego
4.. Obliczanie przewodów grzejnych meodą dopuszczalnego obciążenia powierzchniowego Meodą częściej sosowaną w prakyce projekowej niż poprzednia, jes meoda dopuszczalnego obciążenia powierzchniowego. W
Bardziej szczegółowoPROJEKTOWANIE UKŁADÓW MIKROPROGRAMOWANYCH Z WYKORZYSTANIEM WBUDOWANYCH BLOKÓW PAMIĘCI W MATRYCACH PROGRAMOWALNYCH
II Konferencja Naukowa KNWS'05 "Informatyka- sztuka czy rzemios o" 5-8 czerwca 005, Z otniki Luba skie PROJEKTOWANIE UKŁADÓW MIKROPROGRAMOWANYCH Z WYKORZYSTANIEM WBUDOWANYCH BLOKÓW PAMIĘCI W MATRYCACH
Bardziej szczegółowoDYNAMIKA KONSTRUKCJI
10. DYNAMIKA KONSTRUKCJI 1 10. 10. DYNAMIKA KONSTRUKCJI 10.1. Wprowadzenie Ogólne równanie dynamiki zapisujemy w posaci: M d C d Kd =P (10.1) Zapis powyższy oznacza, że równanie musi być spełnione w każdej
Bardziej szczegółowoUKŁADY MIKROPROGRAMOWALNE
UKŁAD MIKROPROGRAMOWALNE Układy sterujące mogą pracować samodzielnie, jednakże w przypadku bardziej złożonych układów (zwanych zespołami funkcjonalnymi) układ sterujący jest tylko jednym z układów drugim
Bardziej szczegółowoSławomir Kulesza. Projektowanie automatów asynchronicznych
Sławomir Kulesza Technika cyfrowa Projektowanie automatów asynchronicznych Wykład dla studentów III roku Informatyki Wersja 3.0, 03/01/2013 Automaty skończone Automat skończony (Finite State Machine FSM)
Bardziej szczegółowo2.1 Zagadnienie Cauchy ego dla równania jednorodnego. = f(x, t) dla x R, t > 0, (2.1)
Wykład 2 Sruna nieograniczona 2.1 Zagadnienie Cauchy ego dla równania jednorodnego Równanie gań sruny jednowymiarowej zapisać można w posaci 1 2 u c 2 2 u = f(x, ) dla x R, >, (2.1) 2 x2 gdzie u(x, ) oznacza
Bardziej szczegółowoćwiczenie 202 Temat: Układy kombinacyjne 1. Cel ćwiczenia
Opracował: dr inż. Jarosław Mierzwa KTER INFORMTKI TEHNIZNEJ Ćwiczenia laboratoryjne z Logiki Układów yfrowych ćwiczenie 202 Temat: Układy kombinacyjne 1. el ćwiczenia Ćwiczenie ma na celu praktyczne zapoznanie
Bardziej szczegółowoZarządzanie ryzykiem. Lista 3
Zaządzanie yzykiem Lisa 3 1. Oszacowano nasępujący ozkład pawdopodobieńswa dla sóp zwou z akcji A i B (Tabela 1). W chwili obecnej Akcja A ma waość ynkową 70, a akcja B 50 zł. Ile wynosi pięciopocenowa
Bardziej szczegółowoBramki logiczne Podstawowe składniki wszystkich układów logicznych
Układy logiczne Bramki logiczne A B A B AND NAND A B A B OR NOR A NOT A B A B XOR NXOR A NOT A B AND NAND A B OR NOR A B XOR NXOR Podstawowe składniki wszystkich układów logicznych 2 Podstawowe tożsamości
Bardziej szczegółowoPROGNOZOWANIE I SYMULACJE. mgr Żaneta Pruska. Ćwiczenia 2 Zadanie 1
PROGNOZOWANIE I SYMULACJE mgr Żanea Pruska Ćwiczenia 2 Zadanie 1 Firma Alfa jes jednym z głównych dosawców firmy Bea. Ilość produku X, wyrażona w ysiącach wyprodukowanych i dosarczonych szuk firmie Bea,
Bardziej szczegółowoPobieranie próby. Rozkład χ 2
Graficzne przedsawianie próby Hisogram Esymaory przykład Próby z rozkładów cząskowych Próby ze skończonej populacji Próby z rozkładu normalnego Rozkład χ Pobieranie próby. Rozkład χ Posać i własności Znaczenie
Bardziej szczegółowob) bc a Rys. 1. Tablice Karnaugha dla funkcji o: a) n=2, b) n=3 i c) n=4 zmiennych.
DODATEK: FUNKCJE LOGICZNE CD. 1 FUNKCJE LOGICZNE 1. Tablice Karnaugha Do reprezentacji funkcji boolowskiej n-zmiennych można wykorzystać tablicę prawdy o 2 n wierszach lub np. tablice Karnaugha. Tablica
Bardziej szczegółowoINSTYTUT CYBERNETYKI TECHNICZNEJ POLITECHNIKI WROCŁAWSKIEJ ZAKŁAD SZTUCZNEJ INTELIGENCJI I AUTOMATÓW
INSTYTUT YERNETYKI TEHNIZNEJ POLITEHNIKI WROŁWSKIEJ ZKŁD SZTUZNEJ INTELIGENJI I UTOMTÓW Ćwiczenia laboratoryjne z Logiki Układów yfrowych ćwiczenie 22 temat: UKŁDY KOMINYJNE. EL ĆWIZENI Ćwiczenie ma na
Bardziej szczegółowoDobór zmiennych objaśniających do liniowego modelu ekonometrycznego
Dobó zmiennych objaśniających do liniowego modelu ekonometycznego Wstępnym zadaniem pzy budowie modelu ekonometycznego jest okeślenie zmiennych objaśniających. Kyteium wybou powinna być meytoyczna znajomość
Bardziej szczegółowoPRÓBKOWANIE RÓWNOMIERNE
CPS 6/7 PRÓKOWANIE RÓWNOMIERNE Próbkowanie równomierne, Ujes rocesem konwersji sygnału analogowego (o czasie ciągłym) do osaci róbeku obieranych w równych odsęach czasu. Próbkowanie rzerowadza się orzez
Bardziej szczegółowoRównania różniczkowe. Lista nr 2. Literatura: N.M. Matwiejew, Metody całkowania równań różniczkowych zwyczajnych.
Równania różniczkowe. Lisa nr 2. Lieraura: N.M. Mawiejew, Meody całkowania równań różniczkowych zwyczajnych. W. Krysicki, L. Włodarski, Analiza Maemayczna w Zadaniach, część II 1. Znaleźć ogólną posać
Bardziej szczegółowoCałka nieoznaczona Andrzej Musielak Str 1. Całka nieoznaczona
Całka nieoznaczona Andrzej Musielak Sr Całka nieoznaczona Całkowanie o operacja odwrona do liczenia pochodnych, zn.: f()d = F () F () = f() Z definicji oraz z abeli pochodnych funkcji elemenarnych od razu
Bardziej szczegółowoPROCEDURA WYBORU PORTFELA AKCJI ZAPEWNIAJĄCA KONTROLĘ RYZYKA NIESYSTEMATYCZNEGO
B A D A I A O P E R A C Y J E I D E C Y Z J E 3 4 2004 omasz BRZĘCZEK* PROCEDURA WYBORU PORFELA AKCJI ZAPEWIAJĄCA KOROLĘ RYZYKA IESYSEMAYCZEGO Pzedsawiono poceduę wybou pofela akci zapewniaącą konolę yzyka
Bardziej szczegółowoWSTĘP. Budowa bramki NAND TTL, ch-ka przełączania, schemat wewnętrzny, działanie 2
WSTĘP O liczbie elementów użytych do budowy jakiegoś urządzenia elektronicznego, a więc i o możliwości obniżenia jego ceny, decyduje dzisiaj liczba zastosowanych w nim układów scalonych. Najstarszą rodziną
Bardziej szczegółowoxx + x = 1, to y = Jeśli x = 0, to y = 0 Przykładowy układ Funkcja przykładowego układu Metody poszukiwania testów Porównanie tabel prawdy
Testowanie układów kombinacyjnych Przykładowy układ Wykrywanie błędów: 1. Sklejenie z 0 2. Sklejenie z 1 Testem danego uszkodzenia nazywa się takie wzbudzenie funkcji (wektor wejściowy), które daje błędną
Bardziej szczegółowoFunkcja Boolowska a kombinacyjny blok funkcjonalny
SWB - Kombinacyjne bloki funkcjonalne - wykład 3 asz 1 Funkcja Boolowska a kombinacyjny blok funkcjonalny Kombinacyjny blok funkcjonalny w technice cyfrowej jest układem kombinacyjnym złożonym znwejściach
Bardziej szczegółowoPolitechnika Gdańska Wydział Elektrotechniki i Automatyki Katedra Inżynierii Systemów Sterowania. Podstawy Automatyki
Poliechnika Gdańska Wydział Elekroechniki i Auomayki Kaedra Inżynierii Sysemów Serowania Podsawy Auomayki Repeyorium z Podsaw auomayki Zadania do ćwiczeń ermin T15 Opracowanie: Kazimierz Duzinkiewicz,
Bardziej szczegółowoLista tematów na kolokwium z wykładu z Techniki Cyfrowej w roku ak. 2013/2014
Lista tematów na kolokwium z wykładu z Techniki Cyfrowej w roku ak. 2013/2014 Temat 1. Algebra Boole a i bramki 1). Podać przykład dowolnego prawa lub tożsamości, które jest spełnione w algebrze Boole
Bardziej szczegółowo1. SYNTEZA UKŁADÓW SEKWENCYJNYCH
DODATEK: SEKWENCJNE UKŁAD ASNCHRONICZNE CD.. SNTEZA UKŁADÓW SEKWENCJNCH Synteza to proces prowadzący od założeń definiujących sposób działania układu do jego projektu. odczas syntezy należy kolejno ustalić:
Bardziej szczegółowo0 + 0 = 0, = 1, = 1, = 0.
5 Kody liniowe Jak już wiemy, w celu przesłania zakodowanego tekstu dzielimy go na bloki i do każdego z bloków dodajemy tak zwane bity sprawdzające. Bity te są w ścisłej zależności z bitami informacyjnymi,
Bardziej szczegółowo( ) ( ) ( τ) ( t) = 0
Obliczanie wraŝliwości w dziedzinie czasu... 1 OBLICZANIE WRAśLIWOŚCI W DZIEDZINIE CZASU Meoda układu dołączonego do obliczenia wraŝliwości układu dynamicznego w dziedzinie czasu. Wyznaczane będą zmiany
Bardziej szczegółowoŁ Ą Ą Ń ć ź Ł Ł Ł Ś Ł ź Ź ć ź ć Ź ć Ź ć ć Ź ź ć ć Ó Ś Ę Ś Ś Ń ć ć ć ć Ś Ź Ź ć ć ć ć Ź ź Ę ć ć Ę ć ć ć ć Ź ć ć Ć ć Ę ź ź ć ź ć Ź Ę Ź ź ź Ę Ź Ę Ś Ą ć Ź ź ć ź ć Ę Ę ć Ę ć Ń Ś Ę Ó Ó ć Ó Ę Ź Ę Ę ź ć ć ć Ć
Bardziej szczegółowoInstrukcja do ćwiczenia laboratoryjnego. Badanie przerzutników
Insrukcja do ćwiczenia laboraoryjnego Badanie przerzuników Opracował: mgr inż. Andrzej Biedka Wymagania, znajomość zagadnień: 1. 2. Właściwości, ablice sanów, paramery sayczne przerzuników RS, D, T, JK.
Bardziej szczegółowodr inż. MARCIN MAŁACHOWSKI Instytut Technik Innowacyjnych EMAG
dr inż. MARCIN MAŁACHOWSKI Insyu Technik Innowacyjnych EMAG Wykorzysanie opycznej meody pomiaru sężenia pyłu do wspomagania oceny paramerów wpływających na możliwość zaisnienia wybuchu osiadłego pyłu węglowego
Bardziej szczegółowoTechnika Cyfrowa 1 wykład 12: sekwencyjne układy przełączające
Technika Cyfrowa 1 wykład 12: sekwencyjne układy przełączające Dr inż. Jacek Mazurkiewicz Katedra Informatyki Technicznej e-mail: Jacek.Mazurkiewicz@pwr.edu.pl Sekwencyjny układ przełączający układ przełączający
Bardziej szczegółowozmiana stanu pamięci następuje bezpośrednio (w dowolnej chwili czasu) pod wpływem zmiany stanu wejść,
Sekwencyjne układy cyfrowe Układ sekwencyjny to układ cyfrowy, w którym zależność między wartościami sygnałów wejściowych (tzw. stan wejść) i wyjściowych (tzw. stan wyjść) nie jest jednoznaczna. Stan wyjść
Bardziej szczegółowoWojewódzki Konkurs Matematyczny dla uczniów gimnazjów. Etap szkolny 5 listopada 2013 Czas 90 minut
Wojewódzki Konkurs Maemayczny dla uczniów gimnazjów. Eap szkolny 5 lisopada 2013 Czas 90 minu ZADANIA ZAMKNIĘTE Zadanie 1. (1 punk) Liczby A = 0, 99, B = 0, 99 2, C = 0, 99 3, D = 0, 99, E=0, 99 1 usawiono
Bardziej szczegółowoWYKORZYSTANIE TRÓJSEKTOROWEGO MODELU WZROSTU DO ANALIZY WPŁYWU OGRANICZENIA EMISJI GHG NA WYBÓR TECHNOLOGII PRODUKCJI.
Zeszyy Naukowe Wydziału nfomaycznych Technik Zaządzania Wyższej Szkoły nfomayki Sosowanej i Zaządzania Współczesne Poblemy Zaządzania N /2009 WYKORZYSTANE TRÓJSEKTOROWEGO ODELU WZROSTU DO ANALZY WPŁYWU
Bardziej szczegółowoEksploracja danych. KLASYFIKACJA I REGRESJA cz. 1. Wojciech Waloszek. Teresa Zawadzka.
Eksploracja danych KLASYFIKACJA I REGRESJA cz. 1 Wojciech Waloszek wowal@ei.pg.gda.pl Teresa Zawadzka egra@ei.pg.gda.pl Kaedra Inżyrii Oprogramowania Wydział Elekroniki, Telekomunikacji i Informayki Poliechnika
Bardziej szczegółowoRozdział 3. Majątek trwały
Rozdział 3. Mająek rwały Charakerysyka i odział rodzajowy środków rwałych Środki rwałe są rzeczowymi składnikami mająku rwałego o znacznej warości, rwale użykowanymi w jednosce gosodarczej, wykorzysywanymi
Bardziej szczegółowoŁ Ź Ź Ł Ź Ę Ś Ę Ę Ś Ą Ę Ś Ą Ć Ć ć Ę Ą Ł Ś ć ń ć Ł ć Ź ć Ę Ą Ą Ź ź ź ć ć ć ć ć ń ń ć ć ń Ó ź Ę Ą ć ć ć Ź ć Ź ć ć ń ń ć ń Ó ć Ą ń ć Ę Ą Ą ń ń ń ń ć ń ć ć Ź ć ń Ź ń ń Ć ń ń ń Ę Ą Ś Ą ń ć ń ć ź ń Ę Ś Ą Ąć
Bardziej szczegółowo2. Wprowadzenie. Obiekt
POLITECHNIKA WARSZAWSKA Insyu Elekroenergeyki, Zakład Elekrowni i Gospodarki Elekroenergeycznej Bezpieczeńswo elekroenergeyczne i niezawodność zasilania laoraorium opracował: prof. dr ha. inż. Józef Paska,
Bardziej szczegółowoMaria Dems. T. Koter, E. Jezierski, W. Paszek
Sany niesalone masyn synchonicnych Maia Dems. Koe, E. Jeieski, W. Pasek Zwacie aowe pąnicy synchonicnej San wacia salonego, wany akże waciem nomalnym lb pomiaowym yskje się pe wacie acisków wonika (j (sojana
Bardziej szczegółowoArchitektura komputerów ćwiczenia Bramki logiczne. Układy kombinacyjne. Kanoniczna postać dysjunkcyjna i koniunkcyjna.
Architektura komputerów ćwiczenia Zbiór zadań IV Bramki logiczne. Układy kombinacyjne. Kanoniczna postać dysjunkcyjna i koniunkcyjna. Wprowadzenie 1 1 fragmenty książki "Organizacja i architektura systemu
Bardziej szczegółowoPodstawy Informatyki: Kody. Korekcja błędów.
Podstawy Informatyki: Kody. Korekcja błędów. Adam Kolany Instytut Techniczny adamkolany@pm.katowice.pl Adam Kolany (PWSZ Nowy Sącz, IT) Podstawy Informatyki: Kody. Korekcja błędów. 11 stycznia 2012 1 /
Bardziej szczegółowoSWB - Projektowanie synchronicznych układów sekwencyjnych - wykład 5 asz 1. Układy kombinacyjne i sekwencyjne - przypomnienie
SWB - Projektowanie synchronicznych układów sekwencyjnych - wykład 5 asz 1 Układy kombinacyjne i sekwencyjne - przypomnienie SWB - Projektowanie synchronicznych układów sekwencyjnych - wykład 5 asz 2 Stan
Bardziej szczegółowo1.Wprowadzenie do projektowania układów sekwencyjnych synchronicznych
.Wprowadzenie do projektowania układów sekwencyjnych synchronicznych.. Przerzutniki synchroniczne Istota działania przerzutników synchronicznych polega na tym, że zmiana stanu wewnętrznego powinna nastąpić
Bardziej szczegółowo6.4. Model zdyskontowanych zysków Metoda skorygowanej wartości bieżącej (APV)
6.4. Model zdyskonowanych zysków Jeśli za mienik waości pzyjęy zosanie zysk neo, obliczenie waości wewnęznej odbywać się będzie ak samo, jak miało o miejsce w pzypadku modeli dywidendowych i cash flow.
Bardziej szczegółowoOchrona przeciwpożarowa
17 Wykonanie w wersji ogniochronnej łączników Schöck Isokorb dla połączeń żelbe/żelbe Każdy elemen Schöck Isokorb do łączenia żelbe/żelbe jes dosępny również w wersji ogniochronnej (oznaczenie np. Schöck
Bardziej szczegółowoArchitektura Systemów Komputerowych. Architektura potokowa Klasyfikacja architektur równoległych
Archiekura Sysemów Kompuerowych Archiekura pookowa Klasyfikacja archiekur równoległych 1 Archiekura pookowa Sekwencyjne wykonanie programu w mikroprocesorze o archiekurze von Neumanna Insr.1 Φ1 Insr.1
Bardziej szczegółowoAlgorytmy Równoległe i Rozproszone Część X - Algorytmy samostabilizujące.
Algorytmy Równoległe i Rozproszone Część X - Algorytmy samostabilizujące. Łukasz Kuszner pokój 209, WETI http://www.sphere.pl/ kuszner/ kuszner@sphere.pl Oficjalna strona wykładu http://www.sphere.pl/
Bardziej szczegółowoPOMIAR PRĘDKOŚCI OBROTOWEJ.
LABORAORIUM PODAW MEROLOGII M- Ćwiczenie n 3 POMIAR PRĘDKOŚCI OBROOWEJ. Pomiay pędkości ooowej mogą yć dokonywane óżnymi meodami. Klasyfikacja meod zależy od pzyjęego kyeium. Najliższa nauze zjawisk wykozysywanych
Bardziej szczegółowodr inż. Małgorzata Langer Architektura komputerów
Instukcja współfinansowana pzez Unię Euopejską w amach Euopejskiego Funduszu Społecznego w pojekcie Innowacyjna dydaktyka bez oganiczeń zintegowany ozwój Politechniki Łódzkiej zaządzanie Uczelnią, nowoczesna
Bardziej szczegółowoPodstawy Automatyki. Człowiek- najlepsza inwestycja. Projekt współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego
Podstawy Automatyki Człowiek- najlepsza inwestycja Projekt współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego Politechnika Warszawska Instytut Automatyki i Robotyki Dr inż.
Bardziej szczegółowoAnaliza i Zarządzanie Portfelem cz. 6 R = Ocena wyników zarządzania portfelem. Pomiar wyników zarządzania portfelem. Dr Katarzyna Kuziak
Ocena wyników zarządzania porelem Analiza i Zarządzanie Porelem cz. 6 Dr Kaarzyna Kuziak Eapy oceny wyników zarządzania porelem: - (porolio perormance measuremen) - Przypisanie wyników zarządzania porelem
Bardziej szczegółowoFOLIA OECONOMICA CRACOVIENSIA
POLSKA AKADEMIA NAUK ODDZIAŁ W KRAKOWIE KOMISJA NAUK EKONOM ICZNYCH I SAYSYKI KRAKOWSKA AKADEMIA IM. ANDRZEJA FRYCZA M O D RZEW SKIEG O FOLIA OECONOMICA CRACOVIENSIA Vol. LII WYDAWNICWO ODDZIAŁU POLSKIEJ
Bardziej szczegółowoPrzekaźniki czasowe ATI opóźnienie załączania Czas Napięcie sterowania Styki Numer katalogowy
W celu realizowania prosych układów opóźniających można wykorzysać przekaźniki czasowe dedykowane do poszczególnych aplikacji. Kompakowa obudowa - moduł 22,5 mm, monaż na szynie DIN, sygnalizacja sanu
Bardziej szczegółowoWSPÓŁCZYNNIK THETA OPCJI BARIEROWYCH
Ewa Dziawgo Uniwesye Mikołaja openika w ouniu Wyział auk Ekonomicznych i Zazązania aea Ekonomeii i aysyki ziawew@umk.pl WPÓŁCZYI EA OPCJI BARIEROWYC eszczenie: W aykule pzesawiono zaganienia związane z
Bardziej szczegółowoPodstawy działania układów cyfrowych...2 Systemy liczbowe...2 Kodowanie informacji...3 Informacja cyfrowa...4 Bramki logiczne...
Podstawy działania układów cyfrowych...2 Systemy liczbowe...2 Kodowanie informacji...3 Informacja cyfrowa...4 Bramki logiczne...4 Podział układów logicznych...6 Cyfrowe układy funkcjonalne...8 Rejestry...8
Bardziej szczegółowoGraf skierowany. Graf zależności dla struktur drzewiastych rozgrywających parametrycznie
Gaf skieowany Gaf skieowany definiuje się jako upoządkowaną paę zbioów. Piewszy z nich zawiea wiezchołki gafu, a dugi składa się z kawędzi gafu, czyli upoządkowanych pa wiezchołków. Ruch po gafie możliwy
Bardziej szczegółowoWykład nr 1 Techniki Mikroprocesorowe. dr inż. Artur Cichowski
Wykład nr 1 Techniki Mikroprocesorowe dr inż. Artur Cichowski ix jy i j {0,1} {0,1} Dla układów kombinacyjnych stan dowolnego wyjścia y i w danej chwili czasu zależy wyłącznie od aktualnej kombinacji stanów
Bardziej szczegółowoDr inż. Jan Chudzikiewicz Pokój 117/65 Tel Materiały:
Dr inż Jan Chudzikiewicz Pokój 7/65 Tel 683-77-67 E-mail: jchudzikiewicz@watedupl Materiały: http://wwwitawatedupl/~jchudzikiewicz/ Warunki zaliczenie: Otrzymanie pozytywnej oceny z kolokwium zaliczeniowego
Bardziej szczegółowoWielkość analogowa w danym przedziale swojej zmienności przyjmuje nieskończoną liczbę wartości.
TECHNOLOGE CYFOWE kłady elektroniczne. Podzespoły analogowe. Podzespoły cyfrowe Wielkość analogowa w danym przedziale swojej zmienności przyjmuje nieskończoną liczbę wartości. Wielkość cyfrowa w danym
Bardziej szczegółowoMetoda oceny b+ d6w zintegrowanych uk+ad6w kursowych
Pomiary Auomayka Roboyka, R. 19, Nr 2/2015, 31-36, D01: 10.14313/PAR 216/31 Meoda oceny b+ d6w zinegrowanych uk+ad6w owych Wiold Dqbrowski, Sanisaw Popowski Insyu Lonicwa, al Krakowska 110/114, 02-256
Bardziej szczegółowoLaboratorium przedmiotu Technika Cyfrowa
Laboratorium przedmiotu Technika Cyfrowa ćw.3 i 4: Asynchroniczne i synchroniczne automaty sekwencyjne 1. Implementacja asynchronicznych i synchronicznych maszyn stanu w języku VERILOG: Maszyny stanu w
Bardziej szczegółowoLABORATORIUM: Sterowanie rzeczywistym serwomechanizmem z modułem przemieszczenia liniowego Wprowadzenie
Utwozenie: PRz, 1, Żabińsi Tomasz Modyfiacja: PRz, 15, Michał Maiewicz LABORATORIUM: Steowanie zeczywistym sewomechanizmem z modułem zemieszczenia liniowego Wowadzenie Celem ćwiczenia jest identyfiacja
Bardziej szczegółowoWykład 4 Metoda Klasyczna część III
Teoria Obwodów Wykład 4 Meoda Klasyczna część III Prowadzący: dr inż. Tomasz Sikorski Insyu Podsaw Elekroechniki i Elekroechnologii Wydział Elekryczny Poliechnika Wrocławska D-, 5/8 el: (7) 3 6 fax: (7)
Bardziej szczegółowoProjektowanie systemów sterowania
Projekowanie sysemów serowania OCENA KOŃCOWA: F1 oena z laboraorium srawozdania/rzygoowanie z ćwizeń laboraoryjnyh F kolokwium isemne z kładu Oena końowa P,5*F1 +,5*F od warunkiem, że F1>3. i F>3. CELE
Bardziej szczegółowoZASTOSOWANIE TRANSWERSALI HIPERGRAFÓW DO MINIMALIZACJI ROZMIARU PAMIĘCI JEDNOSTEK STERUJĄCYCH
II Konferencja Naukowa KNWS'05 "Informatyka- sztuka czy rzemios o" 15-18 czerwca 2005, Z otniki Luba skie ZASTOSOWANIE TRANSWERSALI HIPERGRAFÓW DO MINIMALIZACJI ROZMIARU PAMIĘCI JEDNOSTEK STERUJĄCYCH Monika
Bardziej szczegółowoMETODA WYZNACZANIA FUNKCJI LEPKOSPRĘŻYSTOŚCI JEDNOKIERUNKOWYCH POLIMEROWYCH KOMPOZYTÓW WŁÓKNISTYCH
MODELOWANIE INŻYNIERSKIE ISSN 896-77X 39, s. 0-08, liwice 00 METODA WYZNACZANIA FUNKCJI LEPKOSPRĘŻYSTOŚCI JEDNOKIERUNKOWYCH POLIMEROWYCH KOMPOZYTÓW WŁÓKNISTYCH ANDRZEJ P. WILCZYŃSKI Insyu Mechaniki i Poligraii,
Bardziej szczegółowo