Wszystkie pola: models' verification

Skocz do pozycji: 1.

Tytuł:: O weryfikowaniu poprawności matematycznych procesów w oparciu o dane empiryczne
Verification of mathematical models of the processes on the basis of experimental data
Autorzy:: Kornacki, A.
Wesołowska-Janczarek, M.
Data publikacji:: 2008
Wydawca:: Instytut Technologiczno-Przyrodniczy
Tematy:: model matematyczny
proces
weryfikacja
dane empiryczne
mathematical model
process
models' verification
experimental data; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Robot sterujący SR60 jako narzędzie weryfikacji modeli symulacyjnych kierowalności pojazdów
Robot SR60 as a tool for verification simulation model vehicles steering
Autorzy:: Kupicz, W.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: pojazdy
kierowalność
metody badań
weryfikacja modeli symulacyjnych
vehicles
steerability
research methods
simulation models verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Speaker Model Clustering to Construct Background Models for Speaker Verification
Autorzy:: Dişken, G.
Tüfekci, Z.
Çevik, U.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: Gaussian mixture models
k-means
imposter models
speaker clustering
speaker verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Experimental verification of carbonation models used for estimation of reinforced concrete structures durability
Autorzy:: Stańczak, D.
Kuziak, J.
Woyciechowski, P.
Czarnecki, L.
Data publikacji:: 2020
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: concrete
reinforced concrete
concrete carbonation
modelling
self-terminating carbonation model
durability
cover thickness; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Verification of analytical models of the S-N curve within limited fatigue life
Autorzy:: Strzelecki, P.
Sempruch, J.
Data publikacji:: 2016
Wydawca:: Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:: fatigue design
S-N curve
high-cycle fatigue
accelerated method; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Verification of models of gas bubble break-up causedby eddies generated by a self-aspirating disk impeller
Autorzy:: Stelmach, Jacek
Musowski, Radosław
Data publikacji:: 2020
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:: self-aspirating disk impeller
bubble break-up
population balance model
samozasysający wirnik tarczowy
rozpad bańki
model równowagi populacji; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Verification of drift models of rhodamine spill, life-raft and dummy-man during experiment POLRODEX97
Autorzy:: Gajewski, J.
Gajewski, L.
Stachowiak, A.
Data publikacji:: 1999
Wydawca:: Instytut Morski w Gdańsku
Tematy:: POLRODEX
HIROMB model
rhodamine spill; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Eksperymentalna weryfikacja wybranych modeli obliczeniowych balistyki końcowej
Experimental verification of calculation models related to final ballistics
Autorzy:: Flis, L.
Sperski, M.
Data publikacji:: 2011
Wydawca:: Akademia Marynarki Wojennej. Wydział Dowodzenia i Operacji Morskich
Tematy:: balistyka
pancerze
metody analityczne
symulacja komputerowa
eksperyment
ballistics
armor
analytical methods
computer simulation
experiment; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
Deduction-based Formal Verification of Business Models using Temporal Logic
Autorzy:: Klimek, R.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: modele biznesowe
BPMN
SOA
wzorce projektowe
logika temporalna
wnioskowanie dedukcyjne
metoda tablic semantycznych
generowanie specyfikacji
business models
workflow design patterns
temporal logic
deductive reasoning
semantic tableaux method
generating specifications; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Weryfikacja modeli heterogenicznego zarodkowania ziaren pierwotnych w stopie Al-5Cu
Verification of Models of Heterogeneous Nucleation of Primary Grains in Al-5Cu Alloy
Autorzy:: Górny, M.
Sikora, G.
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: zarodkowanie heterogeniczne
modele zarodkowania
gęstość ziaren pierwotnych
przechłodzenie ciekłego stopu
rozkład statystyczny
heterogeneous nucleation
nucleation models
density of the original grain
supercooling a molten
statistical distribution; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "models' verification" wg kryterium: Wszystkie pola