Wszystkie pola: verification technique

Skocz do pozycji: 1.

Tytuł:: A Verification Technique for Multiple Soft Fault Diagnosis of Linear Analog Circuits
Autorzy:: Tadeusiewicz, M.
Ossowski, M.
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: analog circuits
fault diagnosis
linear circuits
multiple soft fault
verification technique; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A fault verification method for testing of analogue electronic circuits
Autorzy:: Tadeusiewicz, M.
Hałgas, S.
Data publikacji:: 2018
Słowa kluczowe:: analogue circuits
multiple-fault diagnosis
Powell's method
verification technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A Verification Technique for Multiple Soft Fault Diagnosis of Linear Analog Circuits
Autorzy:: Tadeusiewicz, M.
Ossowski, M.
Data publikacji:: 2018
Słowa kluczowe:: analog circuits
fault diagnosis
linear circuits
multiple soft fault
verification technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A fault verification method for testing of analogue electronic circuits
Autorzy:: Tadeusiewicz, M.
Hałgas, S.
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: analogue circuits
multiple-fault diagnosis
Powell's method
verification technique; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: The experimental verification of the unloading technique for the yield surface determination
Autorzy:: Trąmpczyński, W.
Data publikacji:: 1992
Wydawca:: Polish Scientific Publishers IFTR
Słowa kluczowe:: Mechanika stosowana - czasopisma [KABA]; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Theoretical analysis and practical verification of the WORP technique applied for the GPR investigation of a flood levee
Autorzy:: Gołębiowski, Tomisław
Data publikacji:: 2024
Słowa kluczowe:: GPR
wide-offset surveys
flood levee
metoda georadarowa
badania szeroko-offsetowe
wał przeciwpowodziowy; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Wykorzystanie topografii optycznej w nieinwazyjnych badaniach ukrwienia mózgu i jej wstępna weryfikacja techniką SPECT
Application of optical topography in non-invasive study of brain blood perfusion and its preliminary verification by SPECT technique
Autorzy:: Kacprzak, M.
Liebert, A.
Mączewska, J.
Fronczewska, K.
Sawosz, P.
Toczyłowska, B.
Królicki, L.
Maniewski, R.
Data publikacji:: 2010
Wydawca:: Politechnika Wrocławska. Wydział Podstawowych Problemów Techniki. Katedra Inżynierii Biomedycznej
Tematy:: optyka biomedyczna
tomografia optyczna
ukrwienie
SPECT
biomedical optics
optical tomography
perfusion; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Wykorzystanie topografii optycznej w nieinwazyjnych badaniach ukrwienia mózgu i jej wstępna weryfikacja techniką SPECT
Autorzy:: Kacprzak, M.
Liebert, A.
Mączewska, J.
Fronczewska, K.
Sawosz, P.
Toczyłowska, B.
Królicki, L.
Maniewski, R.
Data publikacji:: 2010
Słowa kluczowe:: optyka biomedyczna
tomografia optyczna
ukrwienie
SPECT
biomedical optics
optical tomography
perfusion; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Eksperymentalna weryfikacja metody wykonywania otworów strzałowych technologią wybuchową z zastosowaniem głowic kumulacyjnych w warunkach podziemnych
Experimental verification of shotholes preparation technique by shaped charge heads blasting for underground mining
Autorzy:: Magier, M.
Zielenkiewicz, M.
Hildebrandt, R.
Pytlik, M.
Sobala, J.
Szastok, M.
Burian, W.
Kulasa, J.
Juszczyk, B.
Janiszewski, J.
Lachmajer, J.
Data publikacji:: 2018
Wydawca:: Wojskowy Instytut Techniczny Uzbrojenia
Tematy:: ładunki kumulacyjne
otwory strzałowe
urabianie
shaped charges
blast holes
mining; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Eksperymentalna weryfikacja metody wykonywania otworów strzałowych technologią wybuchową z zastosowaniem głowic kumulacyjnych w warunkach podziemnych
Autorzy:: Magier, M.
Zielenkiewicz, M.
Hildebrandt, R.
Pytlik, M.
Sobala, J.
Szastok, M.
Burian, W.
Kulasa, J.
Juszczyk, B.
Janiszewski, J.
Lachmajer, J.
Data publikacji:: 2018
Słowa kluczowe:: ładunki kumulacyjne
otwory strzałowe
urabianie
shaped charges
blast holes
mining; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Eksperymentalna weryfikacja metody wykonywania otworów strzałowych technologią wybuchową z zastosowaniem głowic kumulacyjnych w warunkach podziemnych = Experimental verification of shotholes preparation technique by shaped charge heads blasting for underground mining
Współwytwórcy:: Hildebrandt, Robert Autor
Kulasa, Joanna Autor
Lachmajer, Jerzy Autor
Burian, Wojciech Autor
Janiszewski, Jacek (nauki techniczne) Autor
Główny Instytut Górnictwa
Wojskowy Instytut Techniczny Uzbrojenia
Juszczyk, Barbara Autor
Pytlik, Mateusz Autor
Zielenkiewicz, Mariusz. Autor
Instytut Metali Nieżelaznych (Gliwice)
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Magier, Mariusz Autor
Szastok, Michał Autor
Sobala, Jacek Autor
Data publikacji:: 2018
Tematy:: Otwory wiertnicze
Materiały wybuchowe; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Theoretical analysis and practical verification of the WORP technique applied for the GPR investigation of a flood levee
Analiza teoretyczna i praktyczna weryfikacja zastosowania techniki WORP do badania wału przeciwpowodziowego metodą GPR
Autorzy:: Gołębiowski, Tomisław
Data publikacji:: 2024
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: GPR
wide-offset surveys
flood levee
metoda georadarowa
badania szeroko-offsetowe
wał przeciwpowodziowy; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Inverse identification technique in loading forces detection formulation and verification study. Pt. 1
Autorzy:: Uhl, Tadeusz (1956- )
Data publikacji:: 2004
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Experimental verification of the method of identification based on a fixed-point technique
Autorzy:: Peterson, Wiesław
Data publikacji:: 2004
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Verification of geotechnical numerical simulations by model tests using PIV technique
Współwytwórcy:: Zadroga, Bohdan
Cudny, Marcin
Malesiński, Krzysztof
Załęski, Krzysztof
Data publikacji:: 2011
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Autorzy:: Grobelna, I.
Data publikacji:: 2009
Słowa kluczowe:: algorytmiczna maszyna stanów
ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Verification of geotechnical numerical simulations by model tests using PIV technique
Autorzy:: Zadroga, B.
Malesiński, K.
Cudny, M.
Załęski, K.
Data publikacji:: 2011
Słowa kluczowe:: symulacja numeryczna
technika PIV
fundamenty
stabilność
numerical simulation
PIV technique
foundations
stability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Verification of geotechnical numerical simulations by model tests using PIV technique. Pt. 2, Numerical simulations
Współwytwórcy:: Zadroga, Bohdan
Cudny, Marcin
Malesiński, Krzysztof
Załęski, Krzysztof
Data publikacji:: 2011
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Empirical verification of TQED - a new test design heuristic technique
Autorzy:: Roman, Adam
Hryszko, Jarosław
Mnich, Michał
Data publikacji:: 2023
Wydawca:: Springer
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Verifying Untimed Version of the WMF Protocol Using networks of Autamata
Autorzy:: Grondys, K.
Kurkowski, M.
Sowik, A.
Szczypior, I.
Data publikacji:: 2006
Słowa kluczowe:: protokoły uwierzytelniania kryptograficznego
weryfikacja
technika Model Checking
cryptograpic authentication protocols
verification
Model Checking technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Dosimetric verification of multi-tumor target cases treated with SRS HyperArc technique using EBT3 radiochromic films
Autorzy:: Juda, Aleksandra
Kukołowicz, Paweł
Data publikacji:: 2022
Słowa kluczowe:: dosimetric verification
multi-tumor target SRS
HyperArc
EBT3 Gafchromic film; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Formal verification of a state machine with use of temporal logic
Autorzy:: Grobelna, I.
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: algorytmiczne maszyny stanów ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Verification of the TSMP-assisted digisonde topside profiling technique
Współwytwórcy:: Mayer, Chris
Belehaki, Anna
Galkin, Ivan A.
Tsagouri, Ioanna
Jakowski, Norbert
Marinov, Pencho
Herekakis, Themistocles
Reinisch, Bodo
Kutiev, Ivan
Data publikacji:: 2010
Tematy:: Geofizyka; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Sprawdzenie metody przewidywania zawartości składników pasz techniką NIRS
Verification method predicting the content of feed ingredients using NIRS technique
Autorzy:: Walczynski S.
Korol W.
Tematy:: pasze
skladniki pokarmowe
zawartosc
przewidywanie
metoda NIRS; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Skin-effect in Conductor of Rectangular Cross-section - Approximate Solution
Autorzy:: Kosek, M.
Truhlar, M.
Richter, A.
Data publikacji:: 2012
Słowa kluczowe:: prąd wirowy
efekt naskórkowości
rozkład gęstości prądu
eddy current
2D skin-effect
massive conductor
iterative technique
magnetic field measurement
2D skin-effect verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "verification technique" wg kryterium: Wszystkie pola