Temat: control diagrams - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Central Heating Control Charts for the Economic Use of Energy in Residential Buildings
Autorzy:: Bargłowski, Leszek
Adamski, Mariusz
Data publikacji:: 2024
Słowa kluczowe:: heating system
supply temperature
control diagrams
thermal power
heater
residential buildings
system grzewczy
temperatura zasilania
ogrzewanie
budynki mieszkalne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Sterowanie operacją złożonej obróbki z wykorzystaniem diagramu SADT
Autorzy:: Koreszkow, W.
Aleksiejewa, T.
Lachowicz, A.
Tocziło, W.
Data publikacji:: 2009
Słowa kluczowe:: obróbka złożona
sterowanie
diagramy SADT
combined processing
control
SADT-diagrams; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Transition orthogonality in statechart diagrams and inconsistencies in binary control system
Autorzy:: Łabiak, G.
Data publikacji:: 2010
Słowa kluczowe:: diagramy statechart
konflikt tranzycji
ortogonalność tranzycji
system sterowania binarnego
statechart diagrams
transition conflict
transition orthogonality
binary control system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: The Problems of Transition Predicates Construction in Hierarchical Concurrent Controllers
Autorzy:: Łabiak, G.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: binary control system
statechart diagrams
hierarchy;concurrency
conflicting transitions
Boolean predicates
computational complexity
compatibility classes
clique problem; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: The Problems of Transition Predicates Construction in Hierarchical Concurrent Controllers
Autorzy:: Łabiak, G.
Data publikacji:: 2012
Słowa kluczowe:: binary control system
statechart diagrams
hierarchy;concurrency
conflicting transitions
Boolean predicates
computational complexity
compatibility classes
clique problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
Mapping of hierarchical control interpreted Petri nets with macroplaces in UML activity diagrams
Autorzy:: Grobelny, M.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: UML
diagramy aktywności
interpretowane sieci Petriego sterowania
specyfikacja behawioralna
specyfikacja hierarchiczna
activity diagrams
control interpreted Petri nets
behavioural specification
hierarchical specification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Transformation of UML 2.x activity diagrams into control interpreted Petri nets in hardware behavioural modelling
Autorzy:: Grobelny, M.
Data publikacji:: 2011
Słowa kluczowe:: sieci Petriego
diagramy aktywności UML
transformacja
sterowanie
specyfikacja behawioralna sprzętu
Petri nets
UML activity diagrams
transformation
control process
hardware behavioural modelling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania
Autorzy:: Grobelny, M.
Grobelna, I.
Data publikacji:: 2011
Słowa kluczowe:: diagramy aktywności UML
sieci Petriego sterowania
modelowanie behawioralne
metody formalnej weryfikacji
UML activity diagrams
control Petri nets
behavioral modelling
formal verification methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Procesowe prezentowanie metod prowadzenia ruchu kolejowego
Autorzy:: Chyba, A.
Data publikacji:: 2012
Słowa kluczowe:: ruch kolejowy
posterunki ruchu
przyjmowanie i wyprawianie pociągów
schematy blokowe
railway traffic
operating control points
acceptance and routing trains
block diagrams; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
Autorzy:: Grobelny, M.
Data publikacji:: 2012
Słowa kluczowe:: UML
diagramy aktywności
interpretowane sieci Petriego sterowania
specyfikacja behawioralna
specyfikacja hierarchiczna
activity diagrams
control interpreted Petri nets
behavioural specification
hierarchical specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Procesowe prezentowanie metod prowadzenia ruchu kolejowego
Process presentation of train operation methods
Autorzy:: Chyba, A.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:: ruch kolejowy
posterunki ruchu
przyjmowanie i wyprawianie pociągów
schematy blokowe
railway traffic
operating control points
acceptance and routing trains
block diagrams; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Transformation of UML 2.x activity diagrams into control interpreted Petri nets in hardware behavioural modelling
Transformacja diagramów aktywności UML 2.x do interpretowanych sieci Petriego sterowania w specyfikacji behawioralnej sprzętu
Autorzy:: Grobelny, M.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
Tematy:: sieci Petriego
diagramy aktywności UML
transformacja
sterowanie
specyfikacja behawioralna sprzętu
Petri nets
UML activity diagrams
transformation
control process
hardware behavioural modelling; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania
Hierarchy problem in transformation of UML 2.x Activity Diagrams into Control Interpreted Petri Nets
Autorzy:: Grobelny, M.
Grobelna, I.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: diagramy aktywności UML
sieci Petriego sterowania
modelowanie behawioralne
metody formalnej weryfikacji
UML activity diagrams
control Petri nets
behavioral modelling
formal verification methods; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Bezpieczna platforma sprzętowa dla aplikacji opisanych w języku FBD
Safety execution framework for FB applications
Autorzy:: Śnieżek, M.
Data publikacji:: 2005
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: sterowanie bezpieczne
sterownik logiczny
PLC
język bloków funkcyjnych
formalna weryfikacja
safety related control
Safety Integrity Level 3
Function Block Diagrams
software verification
programmable logic controller; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Bezpieczna platforma sprzętowa dla aplikacji opisanych w języku FBD
Autorzy:: Śnieżek, M.
Data publikacji:: 2005
Słowa kluczowe:: sterowanie bezpieczne
sterownik logiczny
PLC
język bloków funkcyjnych
formalna weryfikacja
safety related control
Safety Integrity Level 3
Function Block Diagrams
software verification
programmable logic controller; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "control diagrams" wg kryterium: Temat