Wszystkie pola: based specification

Skocz do pozycji: 1.

Tytuł:: Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: logic controller
dual specification
hierarchical Petri net
UML
state machine diagram; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Applying term rewriting to partial algebra theory
Autorzy:: Dojer, N.
Data publikacji:: 2004
Słowa kluczowe:: partial algebras
term rewriting
based specification
embeddability problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
Autorzy:: Wojnakowski, Marcin
Wiśniewski, Remigiusz
Bazydło, Grzegorz
Popławski, Mateusz
Data publikacji:: 2021
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: safeness
control part
cyber physical system
Petri net
state machine cover
place invariant
bezpieczeństwo baz danych
część kontrolna
system cyberfizyczny
sieć Petriego
maszyna stanów
niezmiennik miejsca; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2012
Słowa kluczowe:: logic controller
dual specification
hierarchical Petri net
UML
state machine diagram; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
Autorzy:: Wojnakowski, Marcin
Wiśniewski, Remigiusz
Bazydło, Grzegorz
Popławski, Mateusz
Data publikacji:: 2021
Słowa kluczowe:: safeness
control part
cyber physical system
Petri net
state machine cover
place invariant
bezpieczeństwo baz danych
część kontrolna
system cyberfizyczny
sieć Petriego
maszyna stanów
niezmiennik miejsca; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Metody scenariuszowe specyfikacji wymagań użytkowników-analiza porównawcza
Autorzy:: Marcinkiewicz, J.
Data publikacji:: 2009
Słowa kluczowe:: specyfikacja wymagań użytkowników
techniki scenariuszowe
metody scenariuszowe; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: ARINC specification 653 based real-time software engineering
Autorzy:: Samolej, Sławomir
Data publikacji:: 2011
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: ARINC specification 653 based real-time software engineering
Autorzy:: Samolej, S.
Data publikacji:: 2011
Słowa kluczowe:: steps of a real-time
application creation
ARINC specification 653; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: System rekomendacji doboru wag kryteriów oparty na ich charakterystyce probabilistycznej
System Supporting the Decision Criteria Weights Specification Based on Their Probabilistic Characteristics
Autorzy:: Brzostowski, Jakub
Roszkowska, Ewa
Data publikacji:: 2014
Wydawca:: Uniwersytet Ekonomiczny w Katowicach
Tematy:: Badania operacyjne
Negocjacje
Szacowanie prawdopodobieństwa
Negotiations
Operations research
Probability estimation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: System rekomendacji doboru wag kryteriów oparty na ich charakterystyce probabilistycznej
System Supporting the Decision Criteria Weights Specification Based on Their Probabilistic Characteristics
Autorzy:: Jakub Brzostowski
Ewa Roszkowska
Tematy:: Badania operacyjne
Negocjacje
Szacowanie prawdopodobieństwa
Negotiations
Operations research
Probability estimation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Specification of energy-based criterion of elastic limit states for cellular materials
Autorzy:: Kordzikowski, P.
Współwytwórcy:: Politechnika Krakowska im. Tadeusza Kościuszki. Wydział Inżynierii Lądowej. Instytut Mechaniki Budowli
Pęcherski, Ryszard Bolesław
Janus-Michalska, M.
Data publikacji:: 2005
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Ionospheric specification and forecasting based on observations from European ionosondes participating in DIAS project
Współwytwórcy:: Cander, Ljiljana R.
Stanisławska, Iwona
Belehaki, Anna
Zolesi, Bruno
Hatzopoulos, Michael
Juren, Christer
Dialetis, Dimitris
Bremer, Jürgen
Data publikacji:: 2007
Tematy:: Jonosfera - badanie - Europa; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Ionospheric specification and forecasting based on observations from European ionosondes participating in DIAS project
Autorzy:: Belehaki, A.
Cander, L.
Zolesi, B.
Bremer, J.
Juren, C.
Stanisławska, I.
Dialetis, D.
Hatzopoulos, M.
Data publikacji:: 2007
Słowa kluczowe:: ionospheric specification
ionospheric forecasting
HF communications
digisondes
ionosondes
DIAS project; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Specification of energy-based criterion of elastic limit states for cellular materials
Autorzy:: Kordzikowski, P.
Janus-Michalska, M.
Pęcherski, R. B.
Data publikacji:: 2005
Słowa kluczowe:: materiały komórkowe
sprężyste stany graniczne
cellular materials
elastic limit states; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Charakterystyka architektury systemu wspomagania decyzji z bazą wiedzy
Autorzy:: Kapusta, A.
Data publikacji:: 2006
Słowa kluczowe:: wspomaganie decyzji
system wspomagania decyzji
SWD
system ekspertowy
baza wiedzy
decision support system
DSS
expert system
knowledge base; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Multiple criteria analysis of discrete alternatives with a simple preference specification: pairwise-outperformance-based approaches
Raport Badawczy = Research Report ; RB/26/2014
Autorzy:: Granat, Janusz
Makowski, Marek
Ogryczak, Włodzimierz
Data publikacji:: 2014
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Słowa kluczowe:: Analiza wielokryterialna
Decision analysis
Multicriteria analysis
Analiza decyzji
Operations research
Badania operacyjne; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Multiple criteria analysis of discrete alternatives with a simple preference specification: pairwise outperformance based approaches
Raport Badawczy = Research Report ; RB/59/2012
Autorzy:: Granat, Janusz
Makowski, Marek
Ogryczak, Włodzimierz
Data publikacji:: 2012
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Słowa kluczowe:: Analiza wielokryterialna
Multiple criteria analysis
Decision analysis
Analiza decyzji
Or w energii
Or in energy; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Porównanie wybranych właściwości technologii oferowanych przez Java EE i Spring Framework na przykładzie aplikacji internetowej do planowania dnia
Comparision of selected properties of technologies offered by Java EE specification and Spring Framework based of day planning web application
Autorzy:: Wójcik, Sergiusz
Słowa kluczowe:: Java, Java Enterprise Edition, Spring Framework, Spring Boot, Wstrzykiwanie Zależności, Odwrócenie sterowania, Ziarna, Java Persistance API, Serwisy internetowe REST.
Java, Java Enterprise Edition, Spring Framework, Spring Boot, Dependency Injection, Inversion of Control, Beans, Java Persistance API, Web services REST.; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: The specification of data needed for fault location in medium voltage distribution networks based on triangulation principle
Data publikacji:: 2011
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: An Outline of a Method of Evaluating the Design Solutions
Autorzy:: Łachwa, A.
Data publikacji:: 2015
Słowa kluczowe:: hierarchical hypergraph
graph-based data structure
building design
design knowledge
CAD
design specification
automated compliance checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: The Software Cost Estimation Method Based on Fuzzy Ontology
Autorzy:: Przemysław Plecka
Krzysztof Bzdyra
Data publikacji:: 2014-12-01
Tematy:: ERP
software cost estimation
metrics
fuzzy ontology
implementation
specification of requirements; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: The specification of data needed for fault location in medium voltage distribution networks based on triangulation principle
Autorzy:: Hoger, ◾Marek
Współwytwórcy:: Kanikula, Lukas
Rafajdus, Pavol
Bracinik, Peter
Data publikacji:: 2011
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Energy-Based Yield Criteria for Orthotropic Materials, Exhibiting Strength-Differential Effect. Specification for Sheets Under Plane Stress State
Autorzy:: Szeptyński, P.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: anisotropy
yield condition
plasticity
metal sheets; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Lag lenght specification in the Engle-Granger cointegration test : a modified Koyck mean lag approach based on partial correlation
Autorzy:: Agunloye, Oluokun Kasali
Współwytwórcy:: Arnab, Raghunath
Shangodoyin, D. K.
Data publikacji:: 2014
Tematy:: Szeregi czasowe
Ekonometria; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Broadband Radio Access Networks (BRAN) : Hiperlan Type 2 : conformance testing for the packet based convergence layer. Part 1, Common part. Sub-part 3, Abstract Test Suite (ATS) specification
Współwytwórcy:: Polski Komitet Normalizacyjny
Data publikacji:: cop. 2005
Wydawca:: Warszawa : Polski Komitet Normalizacyjny, cop. 2005
Tematy:: Transmisja danych - urządzenia - normalizacja
Telekomunikacja - normalizacja; Pokaż więcej
Dostawca treści:: Academica

Inne

na półce

Szczegóły

Informacja

Wyszukujesz frazę "based specification" wg kryterium: Wszystkie pola