Szczegóły obiektu: Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych

Instytucja dostarczająca:Zielonogórska Biblioteka Cyfrowa

Opis

Title:
Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych
Creator:
Łabiak, Grzegorz
Description:
promotor: prof. zw. dr hab. inż. Marian Adamski, Uniwersytet Zielonogórski,Instytut Informatyki i Elektroniki;
recenzenci: prof. dr hab. inż. Tadeusz Łuba,Politechnika Warszawska,Instytut Telekomunikacji,prof. dr hab. inż. Bolesław Czesław Pochopień, Politechnika Śląska,Instytut Informatyki;
jednostka prowadząca przewód: Politechnika WarszawskaWydział Elektroniki i Technik Informacyjnych;
miejsce pracy autora rozprawy: Uniwersytet Zielonogórski,Wydział Elektrotechniki, Informatyki i Telekomunikacji,Instytut Informatyki i Elektroniki
Object availability:
Dostęp otwarty
Rights:
Biblioteka Uniwersytetu Zielonogórskiego
Date:
2005
Type:
rozprawa doktorska;
książka
Language:
polski;
pol
Format:
application/pdf;
text/html
Publisher:
Zielona Góra: Oficyna Uniwersytetu Zielonogórskiego
Subject:
sieci Petriego;
binarne diagramy decyzyjne;
układy programowalne;
układy FPGA;
język UML;
układy cyfrowe;
modelowanie;
systemy reaktywne;
język SpecCharts;
programowa maszyna stanów;
notacja graficzna;
diagramy statechart;
stany proste;
stany złożone;
zdarzenia;
tranzycje proste;
tranzycje złożone;
atrybut historii;
stany synchronizujące;
determinizm;
system Cosma;
systemy CAD;
HiCoS;
język SSF;
rozprawa doktorska;
nauki techniczne;
informatyka;
informatyka (KBN);
podstawy teoretyczne informatyki (PKT)
Data provider:
Zielonogórska Biblioteka Cyfrowa

Podobne obiekty

Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych

Twórca:Łabiak, Grzegorz

Data:2005

Rodzaj zawartości:teksty

Programowy model interpretowanej sieci Petriego dla potrzeb projektowania mikrosystemów cyfrowych

Twórca:Andrzejewski, Grzegorz

Data:2003

Rodzaj zawartości:teksty

Symboliczna analiza układów sterowania binarnego z wykorzystaniem wybranych metod analizy sieci Petriego

Twórca:Węgrzyn, Agnieszka

Data:2003

Rodzaj zawartości:teksty

Metody analizy systemów oparte na czasowych rozszerzeniach drzew niezdatności

Twórca:Kowalski, Marcin

Data:2013.12.31 | 2013

Rodzaj zawartości:teksty

Fault-tolerant implementation of linear algebra algorithms with field programmable gate arrays ( FPGA's) based on low switching noise current-mode gates : dissertation manuscript

Twórca:Maslennikowa, Natalia

Data:2000.12.31 | 2000

Rodzaj zawartości:teksty

Równoległa i potokowa realizacja wybranych algorytmów algebry liniowej w układach reprogramowalnych : rozprawa doktorska

Twórca:Ratuszniak, Piotr

Data:2011.12.31 | 2011

Rodzaj zawartości:teksty

Jednostki operacyjne zbudowane w oparciu o bramki prądowe dla jednoukładowych systemów VLSI : rozprawa doktorska

Twórca:Berezowski, Robert

Data:2007.12.31 | 2007

Rodzaj zawartości:teksty

Sprzętowa implementacja rozmytych sieci Petriego jako układów sterowania

Twórca:Hajduk, Zbigniew

Data:2006

Rodzaj zawartości:teksty

Federacja Bibliotek Cyfrowych

Szczegóły obiektu: Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych

Opis

Podobne obiekty