Informacja

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ę "models' verification" wg kryterium: Wszystkie pola


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ł
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ł
Tytuł:
Rozwój pęknięć zmęczeniowych w próbkach z karbem przy zginaniu z uwzględnieniem wpływu naprężeń średnich.
Autorzy:
Gasiak, G.
Rozumek, D.
Data publikacji:
2001
Słowa kluczowe:
pęknięcie zmęczeniowe
próbka z karbem
zginanie
naprężenia średnie
trwałość zmęczeniowa
weryfikacja modeli obliczeń trwałości zmęczeniowej
fatigue crack propagation
notched specimens
bending
mean stress
fatigue life
estimation models verification
Pokaż więcej
Dostawca treści:
BazTech
Artykuł
Tytuł:
Doświadczalna weryfikacja teoretycznego modelu procesu formowania się strumienia kumulacyjnego
Autorzy:
Cudziło, S.
Mroczkowski, M.
Świerczyński, R.
Jach, K.
Sarzyński, A.
Trębiński, R.
Data publikacji:
2000
Słowa kluczowe:
kumulacja
ładunki kumulacyjne
strumień kumulacyjny
modelowanie komputerowe
weryfikacja eksperymentalna modelu
cumulation
shaped charge
shaped charge jet
computer modelling
experimental verification of models
Pokaż więcej
Dostawca treści:
BazTech
Artykuł
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ł
Tytuł:
Comparative analysis of ring spinning for both classic and compact yarns. Part II: Verification of models created
Autorzy:
Józkowicz, I.
Drobina, R.
Lewandowski, S.
Data publikacji:
2010
Słowa kluczowe:
ring classic yarn
compact yarn
percentage of noils
twist coefficient
spinning plan
total experiment
double classification
multiple regression
przędza obrączkowa klasyczna
przędza kompaktowa
procent wyczesów
współczynnik skrętu
przędzenie
regresja wielokrotna
Pokaż więcej
Dostawca treści:
BazTech
Artykuł
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ł
Tytuł:
Probabilistyczne modele rozkładów dochodów - weryfikacja empiryczna
Probability models of income distribution - empirical verification
Modeles probabilistes des distributions des revenus verification empirique
Autorzy:
Kosny M.
Dostawca treści:
AGRO
Artykuł
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ł
Tytuł:
Assessment of possible utilisation of results of geodetic monitoring of displacements of structures and their surroundings for the needs of verification of digital models
Autorzy:
Zaczek-Peplinska, Janina
Współwytwórcy:
Popielski, Paweł
Data publikacji:
2009
Dostawca treści:
Academica
Artykuł
Tytuł:
Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
Autorzy:
Klimek, R.
Data publikacji:
2011
Słowa kluczowe:
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:
BazTech
Artykuł
Tytuł:
Weryfikacja modeli heterogenicznego zarodkowania ziaren pierwotnych w stopie Al-5Cu
Autorzy:
Górny, M.
Sikora, G.
Data publikacji:
2014
Słowa kluczowe:
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:
BazTech
Artykuł
Tytuł:
Sposób wykorzystania matematycznych modeli do przygotowania i weryfikacji automatycznie sterowanego manewru omijania ruchomych przeszkód
Making Use of Mathematical Models for Preparation and Verification of Automatically Controlled, Manoeuvres Carried Out to Avoid Moving Obstacles
Autorzy:
Graffstein, Jerzy
Data publikacji:
2023
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
unikanie kolizji
dynamika lotu
automatyczne sterowanie lotem
komputerowa symulacja lotu
collision avoidance
flight dynamics
automatic flight control
computer flight simulation
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja eksperymentalna wirtualnych modeli maszyn rolniczych na przykładzie konstrukcji wozu asenizacyjnego
Experimental verification of virtual models of agricultural machines on the example of slurry tanker construction
Autorzy:
Kromulski, J.
Pawłowski, T.
Szczepaniak, J.
Mac, J.
Grzechowiak, R.
Data publikacji:
2005
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Maszyn Rolniczych
Tematy:
maszyna rolnicza
wóz asenizacyjny
konstrukcja
model wirtualny
naprężenie dynamiczne
weryfikacja
eksperyment
agricultural machine
slurry tanker
construction
virtual model
dynamic stresses
experiment
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł

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