Temat: logic tree - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "logic tree" wg kryterium: Temat

Wyświetlanie 1-10 z 31

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Analiza wielowartościowości zmiennych logicznych sterujących zmianą wartości arytmetycznych parametrów konstrukcyjnych l/lub eksploatacyjnych dla układów maszynowych z wykorzystaniem zmodyfikowanych drzew logicznych
Autorzy:: Koziarska, A.
Partyka, M.
Data publikacji:: 2006
Słowa kluczowe:: dyskretna optymalizacja
drzewo logiczne
układ maszynowy
discrete optimization
logic tree
machine system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Zastosowanie decyzyjnych drzew logicznych i grafów zależności w analizie automatycznych skrzynek przekładniowych
Application of decision logic trees and dependence graphs in analysis of automatic transmission gearboxes
Autorzy:: Deptuła, A.
Zawiślak, S.
Partyka, M. A.
Data publikacji:: 2017
Wydawca:: Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:: automatyczna skrzynia biegów
drzewa logiczne
modelowanie grafami
automatic gearbox
logic tree
graph modeling; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Zastosowanie decyzyjnych drzew logicznych i grafów zależności w analizie automatycznych skrzynek przekładniowych
Autorzy:: Deptuła, A.
Zawiślak, S.
Partyka, M. A.
Data publikacji:: 2017
Słowa kluczowe:: automatyczna skrzynia biegów
drzewo logiczne
modelowanie grafami
automatic gearbox
logic tree
graph modeling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Porównanie metody zmodyfikowanych drzew logicznych z analizą wariancji w klasyfikacji parametrów konstrukcyjnych/eksploatacyjnych układu maszynowego
Autorzy:: Koziarska, A.
Data publikacji:: 2006
Słowa kluczowe:: drzewo logiczne
pompa wirowo-śmigłowa
funkcja boolowska
logic tree
whirl-flow pump
Boolean function; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Model Checking for Graded CTL
Autorzy:: Ferrante, A.
Napoli, M.
Parente, M.
Data publikacji:: 2009
Słowa kluczowe:: model checking
Computational Tree Logic
Graded Modalities; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics
Autorzy:: Knapik, M.
Penczek, W.
Szreter, M.
Półrola, A.
Data publikacji:: 2010
Słowa kluczowe:: Computation Tree Logic (CTL)
bounded model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking
Autorzy:: Penczek, W.
Lomuscio, A.
Data publikacji:: 2003
Słowa kluczowe:: Computation Tree Logic Knowledge (CTLK)
modal logic
multi-agent systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Improving the Translation from ECTL to SAT
Autorzy:: Zbrzezny, A.
Data publikacji:: 2008
Słowa kluczowe:: ECTL
Existential Computation Tree Logic ECTL
bounded model checking
translation to SAT; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Comparing SAT- and SMT- based bounded model checking for Ectl properties
Autorzy:: Zbrzezny, A. M.
Data publikacji:: 2017
Słowa kluczowe:: logika drzewa obliczeniowego
system sterowania
metoda ograniczonego modelowania
computational tree logic
control system
limited modelling method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Comparing SAT- and SMT- based bounded model checking for Ectl properties
Autorzy:: Zbrzezny, A. M.
Data publikacji:: 2017
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: logika drzewa obliczeniowego
system sterowania
metoda ograniczonego modelowania
computational tree logic
control system
limited modelling method; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 31

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies