Temat: Petri nets - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Środowisko do szybkiego prototypowania systemów do diagnostyki w czasie rzeczywistym
Rapid prototyping enivironment for diagnosis real time systems
Autorzy:: Rubin, G.
Omieljanowicz, M.
Data publikacji:: 2006
Wydawca:: Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:: szybkie prototypowanie
sieci Petriego
FPGA
rapid prototyping
Petri nets; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Sprzętowo-programowa realizacja rozmytej interpretowanej sieci Petriego
Hardware-software realization of Fuzzy Interpreted Petri Net
Autorzy:: Gniewek, L.
Hajduk, Z.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: modelowanie
sieci Petriego
układy FPGA
modelling
fuzzy Petri nets
FPGA; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Sprzętowa implementacja rozmytego systemu ekspertowego
Hardware implementation of a fuzzy expert system
Autorzy:: Dec, G.
Hajduk, Z.
Data publikacji:: 2005
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: systemy ekspertowe
sterowanie rozmyte
rozmyte sieci Petriego
FPGA
expert system
fuzzy control
fuzzy Petri nets; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Object classification methods for application in FPGA based vehicle video detector
Metody klasyfikacji obiektów dla zastosowania w wideo-detektorze pojazdów opartym na FPGA
Autorzy:: Pamuła, W.
Data publikacji:: 2009
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: sieci Petriego
modelowanie przetwarzania
wideodetekcja
wideorejestrator
FPGA
przetwarzanie obrazów
Petri nets
video detection
video recorder
pattern recognition; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Dual synthesis of Petri net based application specific logic controllers with increased safety
Autorzy:: Tkacz, J.
Bukowiec, A.
Adamski, M.
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: critical safety
FPGAs
logic controllers
logic synthesis
Petri nets
verification
bezpieczeństwo krytyczne
FPGA
sterowniki logiczne
synteza logiczna
sieci Petriego
weryfikacja; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Optymalizacja realizacji układowej hierarchicznych sieci Petriego
The implementation optimization of the hierarchical Petri nets
Autorzy:: Stasiak, A.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
Validation and verification methods of the digital microsystem functional specification
Autorzy:: Stasiak, A.
Skowroński, Z.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja