Filters
total: 38881
-
Catalog
- Publications 16119 available results
- Journals 150 available results
- Conferences 29 available results
- People 325 available results
- Inventions 16 available results
- Projects 102 available results
- Laboratories 5 available results
- Research Teams 38 available results
- Research Equipment 1 available results
- e-Learning Courses 1141 available results
- Events 51 available results
- Open Research Data 20904 available results
displaying 1000 best results Help
Search results for: METODY%20FORMALNE
-
Zastosowanie metody elementów skończonych w procesie topnienia medium
PublicationW artykule przedstawiono wyniki analizy numerycznej procesu topnienia materiału w dwóch modelach cieplnych. Założono, że w rozpatrywanych układach transport ciepła zachodzi wyłącznie mechanizmem przewodzenia. Obliczenia zrealizowano z wykorzystaniem metody entalpowej za pomocą programu ANSYS Fluent. Sprawdzono bilans energetyczny rozwiązania i wykazano prawność otrzymanych wyników.
-
Wybrane metody zastosowania inteligencji rozproszonej w projektowaniu architektonicznym
PublicationWraz z rozwojem oraz popularyzacją narzędzi komputacyjnych wykorzystywanych w praktyce architektonicznej, projektanci opierają swoją pracę o algorytmy wcześniej odległe od swojej dziedziny. Specyfika projektowania architektonicznego, w której często możliwe jest wiele różnorodnych rozwiązań spełniających określone warunki, lub ocena efektu jest czysto subiektywna, a natomiast zdefiniowanie algorytmu opisującego problem niezwykle...
-
Wizyjne metody pomiarowe w diagnostyce górnej sieci trakcyjnej
PublicationMonografia zawiera analizę wykorzystania – na potrzeby diagnostyki i monitoringu górnej sieci trakcyjnej – wizyjnych metod pomiarowych, a w szczególności metody autorskiej opartej na użyciu kamery obrazowej i analizie obrazu, pozwalających na pomiar położenia obiektu fizycznego w przestrzeni dwuwymiarowej. Opracowana metoda łączy wysoką funkcjonalność, dużą rozdzielczość pomiarową oraz bardzo niski poziom niepewności pomiaru z...
-
Metody testowania wibracyjnego elementów wynoszonych w przestrzeń kosmiczną
PublicationW trakcie wynoszenia ładunku w rakiecie, poddawany jest on wielu obciążeniom, których efektem są m.in. jego drgania. Zanim element zostanie dopuszczony do wylotu, przeprowadzona musi zostać analiza obliczeniowa oraz ładunek musi zostać poddany testom zgodnie z normami. W pracy przedstawiono wstępne obliczenia metodą elementów skończonych, które wykazują, że obciążenia podczas testów są większe niż podczas lotu, co może otwierać...
-
Metody alokacji sterowań w układach dynamicznego pozycjonowania statku
PublicationUkłady kontroli alokacji sterowań stanowią ważną część systemów dynamicznego pozycjonowania DP (ang. Dynamic Positioning)na statku. Określają one sygnały sterujące nastawami pędników, na podstawie uogólnionego wektora sił wzdłużnej, poprzecznej i momentu skręcającego, uzyskiwanych z prawa sterowania. W artykule przedstawiono wybrane algorytmy kontroli alokacji sterowań, optymalizujące prace tych urządzeń oraz omówiono wpływ zastosowanych...
-
Nowe metody przetwarzania sygnałów w wybranych zagadnieniach wibroakustyki
PublicationMonografia Nowe Metody Przetwarzania Sygnałów w Wybranych Zagadnieniach Wibroakustyki będąca piętnastym Tomem z serii Monografie Katedry Automatyzacji Procesów AGH w Krakowie poświęcona jest zagadnieniom związanym z zastosowaniem i wykorzystaniem metod przetwarzania sygnałów wibroakustycznych w wybranych problemach technicznych i medycznych. W pierwszym rozdziale niniejszej monografii przedstawiono zagadnienia dotyczące metod przetwarzania...
-
Zakłócenia w układach cyfrowych. Mechanizmy i metody pomiaru
PublicationPrzedstawiono mechanizmy powstawania i sposoby pomiaru podatności układów cyfrowych na zakłócenia. Zaprezentowano metodę pomiaru dynamicznej odporności na zakłócenia układów cyfrowych z zastosowaniem wzorcowego sygnału szumowego z możliwością ograniczania szerokości pasma stymulującego sygnału szumowego. Opisano opracowane modele symulacyjne i przykładowe wyniki badań potwierdzające efektywność zaproponowanej metody.
-
Algorytmiczne metody redukcji poboru mocy w układach CMOS
PublicationW pracy przedstawiono wybrane możliwości zredukowania poboru mocy układów CMOS z wykorzystaniem dwóch algorytmów szeregowania zadań w procesie syntezy wysokiego poziomu układów cyfrowych. Zaprezentowano dwa opracowane algorytmy, a mianowicie MAREL i UNILO, dla których utworzono odpowiednie programy pozwalające uzyskać redukcję mocy projektowanych układów CMOS. Przeprowadzone badania testowe przy pomocy standardowych benchmarków...
-
Ocena technologii tulei rozprężnej z wykorzystaniem metody FMEA.
PublicationPrzedstawiono wykorzystanie metody FMEA (Failure Mode and Effect Analysis) do analizy procesu technologicznego tulei rozprężnej jako elementu roboczego docieraka do obróbki maszynowo-ręcznej otworów walcowych. W ocenie technologii uwzględniono symulowaną zmienność liczb priorytetowych, występowania, znaczenia i wykrywalności.
-
Metody opisu treści obrazów dla potrzeb systemów wyszukiwania.
PublicationPrzedstawiono metody opisu i wyszukiwania obrazów na podstawie ich treści. Zaproponowano schemat ekstrakcji regionów oraz generacji ich opisów z zastosowaniem kodów długości serii. W opracowanym systemie zaprojektowano i zaimplementowano możliwość definiowania zapytań do baz danych uwzględniając:właściwości i parametry regionu (deskryptory intensywności, tekstury, i kształtu) oraz relacji przestrzennych pomiędzy regionami.
-
Metody odzysku ciepła w systemach klimatyzacyjnych i wentylacyjnych.
PublicationPrzedstawiono przegląd metod oraz urządzeń do odzysku ciepła stosowanych w systemach wentylacyjnych i klimatyzacyjnych. Opisano zasadę działąnia tych urządzeń oraz możliwości ich zastosowania w zależności od warunków technicznych. Zaprezentowano przykłady systemów kombinowanych, w których zastosowano kilka współpracujących ze sobą, różnego typu, urządzeń do odzysku ciepła.
-
Bezpieczeństwo komputerów w sieci. Część 2: Metody obrony.
PublicationOmówiono praktyczne sposoby zwiększania pewności pracy i bezpieczeństwa serwerów i komputerów osobistych, zasady bezpiecznej ich eksploatacji oraz metody obrony przd najczęściej spotykanymi zagrożeniami. Przedstawiono podstawowe zagadnienia z zakresu firmowej polityki bezpieczeństwea. Zaproponowano minimalny zestaw narzęzi i metod ochrony dla sieci firmowej.
-
Nowoczesne metody planowania rozwoju systemu dystrybucji energii elektrycznej.
PublicationW referacie omówiono dwie metody planowania rozwoju systemu dystrybucji energii elektrycznej: programowanie całkowito-liczbowe i programowanie ewolucyjne. Wskazano na szereg innych metod, które w szczególnych sytuacjach także prowadzą do właściwego rozwiązania problemu planowania. Zwrócono uwagę na szczególną efektywność programowania ewolucyjnego. Przedstawiono czynniki sprawiające, że problem planowania rozwoju poprzez planowanie...
-
Układy automatyki statku oraz metody wspomagania ich projektowania
PublicationPrzedstawiono zagadnienia związane z układami automatyki statku, w szczególności układami automatyki podsystemu elektroenergetycznego. Scharakteryzowano proces projektowania układów automatyki systemu energetycznego statku i zasygnalizowano problemy związane z wykorzystaniem metod sztucznej inteligencji do wspomagania tego procesu.
-
Modyfikacje algorytmu metody relaksacyjnej w optymalizacji schematów próbkowania
PublicationW pracy przedstawiono metodę relaksacyjną stosowaną z powodzeniem przy wyznaczaniu optymalnych schematów próbkowania. Zaproponowano modyfikacje tej metody polegające na lokalnym ograniczaniu przedziału przeszukiwania optimum w kierunku oraz na wprowadzeniu kroku o zmiennej długości. Porównano skuteczność nowych algorytmów dla dwóch modeli kompartmentowych. Jako podstawę do oceny wybrano szybkość działania i odporność na zatrzymanie...
-
Metody generowania sąsiedztwa w metaheurystycznych metodach harmonogramowania projektów
PublicationNiniejszy rozdział dotyczy obszaru optymalizacji harmonogramu projektu z wykorzystaniem metod zaliczanych do matahurystyk. Punktem wspólnym wiekszosci tychże metod jest konieczność wygenerowania ''nowego'' rozwiązania lub zbioru rozwiązań w kolejnych iteracjach. W rodziale przedstawiono metody generowania ''nowych'' rozwiazn dla potrzeb metaheurystyk oraz metody generowania ''nowych'' rozwiązań dla reprezentacji permutacyjnej,...
-
Metody pomiaru wsporników belek żelbetowych obciążonych siłą ukośną
PublicationArtykuł przedstawia technikę i sposób pomiaru poszukiwanych wielkości podczas badań w skali naturalnej żelbetowych wsporników belek. Badania mają na celu określenie wpływu dodatkowej siły poziomej, działającej poza obciążeniem pionowym, na nośność, wytężenie i morfologię zarysowania.
-
Możliwości logiki metody kreowania przestrzeni jako definicja architektury
PublicationPolemika przedstawiająca rozumienie architektury jako procesu projektownia jako materialno-racjonalną metodę stawiającą architekta na równi z rzemieślnikiem.Przedstawiana -omawiana ''metoda pięciu struktur jest jedną z wielu praktycznych metod projektowania.
-
Metody i standardy pozycjonowania terminali w systemach komórkowych
PublicationW artykule przedstawiono problem wyznaczania położenia terminala ruchomego w systemach komórkowych. Przedstawiono wybrane metody oraz na podstawie systemu GSM i UMTS przedstawiono obowiązujące standardy lokalizowania terminala ruchomego w sieciach komórkowych.
-
Metodo. International Studies in Phenomenology and Philosophy
Journals -
Determining diffusible hydrogen amounts using the mercury method. Welding International
PublicationW artykule przedstawiono szczegółową charakterystykę procedury oznaczania ilości wodoru dyfundującego metodą rtęciową na tle innych metod badawczych i aktualnego stanu wiedzy dotyczącego rozpatrywanego zagadnienia. Omówiono klasyfikację wodoru występującego w złączu spawanym oraz metody oznaczania ilości wodoru dyfundującego w stopiwie ze zwróceniem szczególnej uwagi na metodę rtęciową jako metodę podstawową. Zestawiono zależności...
-
Oznaczanie ilości wodoru dyfundującego metodą rtęciową
PublicationW artykule przedstawiono szczegółową charakterystykę procedury oznaczania ilości wodoru dyfundującego metodą rtęciową na tle innych metod badawczych i aktualnego stanu wiedzy dotyczącego rozpatrywanego zagadnienia. Omówiono klasyfikację wodoru występującego w złączu spawanym oraz metody oznaczania ilości wodoru dyfundującego w stopiwie ze zwróceniem szczególnej uwagi na metodę rtęciową jako metodę podstawową. Zestawiono zależności...
-
Behavior Research Methods
Journals -
Research Synthesis Methods
Journals -
Communication Methods and Measures
Journals -
Survey Research Methods
Journals -
Devices and Methods of Measurements
Journals -
Quantitative Methods for Psychology
Journals -
Mathematical Methods of Statistics
Journals -
Metodos de informacion
Journals -
Methods Data Analyses
Journals -
Methods and Applications of Analysis
Journals -
Methods in Cell Biology
Journals -
JOURNAL OF MEMORY AND LANGUAGE
Journals -
Journal of Econometric Methods
Journals -
Computational and Mathematical Methods
Journals -
Biology Methods and Protocols
Journals -
JOURNAL OF MICROBIOLOGICAL METHODS
Journals -
NEUROBIOLOGY OF LEARNING AND MEMORY
Journals -
LIMNOLOGY AND OCEANOGRAPHY-METHODS
Journals -
Cell Reports Methods
Journals -
OPTIMIZATION METHODS & SOFTWARE
Journals -
Organizational Research Methods
Journals -
SOCIOLOGICAL THEORY AND METHODS
Journals -
Statistical Methods and Applications
Journals -
TOXICOLOGY MECHANISMS AND METHODS
Journals -
SOCIOLOGICAL METHODS & RESEARCH
Journals -
Preconditioners with Low Memory Requirements for Higher-Order Finite-Element Method Applied to Solving Maxwell’s Equations on Multicore CPUs and GPUs
PublicationThis paper discusses two fast implementations of the conjugate gradient iterative method using a hierarchical multilevel preconditioner to solve the complex-valued, sparse systems obtained using the higher order finite-element method applied to the solution of the time-harmonic Maxwell equations. In the first implementation, denoted PCG-V, a classical V-cycle is applied and the system of equations on the lowest level is solved...
-
Chapter 6 : Non-intrusive measurement techniques in bubble dynamics investigation
PublicationPrzedstawiono wyniki badań dynamiki pęcherzyków parowych i gazowych przy użyciu nieinwazyjnych metod optycznych i akustycznych.
-
"Shadow" method application within endoscopic examinations of marine engines
PublicationThe paper deals with diagnostic issues concerning endoscopic examinations of the working spaces within marine diesel and gas turbine engines. In the beginning, the endoscopy apparatus being on the laboratory equipment of the Department of Ship Power Plants of Gdansk University of Technology in Poland has been characterized. The endoscopy considerations have been focused on theoretical bases of a digital image processing and especially...