Filtry
wszystkich: 38880
-
Katalog
- Publikacje 16119 wyników po odfiltrowaniu
- Czasopisma 150 wyników po odfiltrowaniu
- Konferencje 29 wyników po odfiltrowaniu
- Osoby 325 wyników po odfiltrowaniu
- Wynalazki 16 wyników po odfiltrowaniu
- Projekty 102 wyników po odfiltrowaniu
- Laboratoria 5 wyników po odfiltrowaniu
- Zespoły Badawcze 38 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 1140 wyników po odfiltrowaniu
- Wydarzenia 51 wyników po odfiltrowaniu
- Dane Badawcze 20904 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: METODY%20FORMALNE
-
Wzmacnianie i uszczelnianie gruntu metodą mieszania in situ (Soil Mixing).
PublikacjaAktualny stan rozwoju różnych metod mieszania gruntu, łącznie z charakterystyką używanych maszyn i stosowanego wykonawstwa oraz podsumowaniem doświadczeń. Główne obszary zastosowania oraz podejście projektowe. Aplikacje związane z posadowieniem obiektów drogowych i budowlanych oraz uszczelnianiem gruntu Wybrane przykłady realizacji.
-
Metoda ELPAR Łączenia ontologii oparta na ich kartograficznej reprezentacji
PublikacjaJednym z głównych problemów związanych z integracją wiedzy z różnych źródeł jest opracowanie metody integracji ontologii. Źródła wiedzy są opisane różnymi ontologiami, zazwyczaj tworzonymi niezależnie od siebie. Integracja wiedzy z tych źródeł wymaga zdefiniowania jednej ontologii nadrzędnej "rozumiejącej" wszystkie terminy pojawiające się w ontologiach opisujących źródła. W artykule zostały przedstawione podstawy metody ELPAR...
-
Identyfikacja parametrów maszyny synchronicznej z magnesami trwałymi metodą częstotliwościową
Publikacja -
Nowa metoda lokalizowania terminala ruchomego w systemie WCDMA/FDD
PublikacjaW referacie zaprezentowano nową metodę lokalizowania terminala ruchomego w systemie WCDMA/FDD (Wideband Code Division Multiple Access / Frequency Division Duplex). Metoda ta umożliwia estymację położenia geograficznego terminala ruchomego MS (Mobile Station) bez znajomości różnic czasowych w synchronizacji RTD (Relative Time Difference) poszczególnych stacji bazowych BS (Base Station), biorących udział w tym procesie. Do eliminacji...
-
Metoda diagnozowania korozji metali na podstawie pomiarów szumów elektrochemicznych
PublikacjaPrzedstawiono metodę diagnozowania korozji metali przy wykorzystaniu wyników obserwacji fluktuacji prądu i napięcia (szumów elektrochemicznych), powodowanych reakcjami chemicznymi występującymi na powierzchni metali. Przedstawiono sposób pomiaru szumów elektrochemicznych za pomocą przygotowanych systemów pomiarowych. Podano wybrane metody analizy obserwowanych szumów, stosowane do oceny szybkości oraz rodzaju procesów korozji.
-
Metoda 5S jako narzędzie modelowania procesów na stanowisku pracy.
PublikacjaOmówiono metodę 5S, która pozwala na analizowanie i modelowanie procesów zachodzących na stanowisku pracy. Przedstawiono istotę, zasady wdrożenia i korzyści wypływające z zastosowania tej metody.
-
Planowanie rozmieszczenia strażników w galeriach sztuki metodą kolorowania grafów
PublikacjaW niniejszym rozdziale zaprezentujemy podejście chromatyczne do wyznaczenialiczby straży w galeriach dowolnego kształtu bez dziur oraz w galeriach or-togonalnych z dziurami, a także bez dziur. Rozważane tu problemy są NP-trud-ne pod względem złożoności obliczeniowej.
-
Zmodyfikowana metoda prognozowania rezultatów nadzorowania drgań narzędzie-przedmiot obrabiany.
PublikacjaW pracy przedstawiono zmodyfikowaną metodę prognozowania rezultatów nadzorowania drgań narzędzie-przedmiot obrabiany za pomocą sterowanej programowo prędkości obrotowej wrzeciona. Istotą modyfikacji jest uwzględnienie w modelu złożoności geometrycznej narzędzia oraz efektu rozproszenia energii procesu skrawania. Podano opis dynamiki skrawania niestacjonarnego modelu obliczeniowego, oraz sposobu nadzorowania. Zamieszczono przykład...
-
Modelowanie metodą elementów skończonych odchyłek dopuszczalnych w połączeniach śrubowych
PublikacjaW pracy przedstawiono model MES typowego połączenia teowego na śruby. Występujące w rzeczywistości luzy pomiędzy powierzchniami łączonych elementów a także trzonem śruby a powierzchnią otworu zamodelowano wykorzystując elementy typu GAP. Przeanalizowano szereg przypadków występowania luzów w połączeniach na śruby zgrubne i na śruby pasowane. Szczegółowy opis modelu oraz wyniki przeprowadzonych analiz w formie wykresów znajdują...
-
Badania warunków spawania pod wodą metodą lokalnej komory suchej
PublikacjaZastosowanie do spawania pod wodą metody lokalnej komory suchej stanowi alternatywę dla mających znacznie większe znaczenie praktyczne metod spawania w warunkach mokrych. Zwiększenie zakresu stosowania procesów spawalniczych przy miejscowym odizolowaniu obszaru spawania od wody uwarunkowane jest opracowywaniem nowych rozwiązań konstrukcyjnych, ale także poszerzaniem stanu wiedzy o przebiegu procesu m.in. poznaniem warunków panujących...
-
Niekonwencjonalna metoda wymiany podsypki w metrze w Sao Paulo
PublikacjaNieprzestrzeganie podziemnego zarysu skrajni budowli przy projektowaniu i budowie linii kolejowej powoduje liczne niedogodności podczas późniejszej eksploatacji linii. Poważną konsekwencją są utrudnienia przy zmechanizowanym oczyszczaniu podsypki lub jej wymianie. Problem można częściowo rozwiązać stosując niekonwencjonalne metody wymiany podsypki. A artykule przedstawiono sposób zastosowany na linii metra 3 Vermelha w Sao Paulo...
-
METODA WYZNACZANIA ZŁOŻONOŚCI PODPRZESTRZENI STANÓW PLANSZOWYCH GIER LOGICZNYCH LOGICZNYCH
PublikacjaJedna z metod rozwiązywania gier jest analiza wsteczna. Jej skuteczność jest ograniczona wielkością przestrzeni stanów gry, która stanowi rozwiązywany problem. Pierwszego takiego oszacowania dokonał Claude E. Shannon odnośnie gry szachy w połowie minionego stulecia. Ważnym elementem jest podział takiej przestrzeni na mniejsze części, które mogą być rozwiązywane niezależnie lub z wykorzystaniem stosunkowo niewielkiej ilości informacji z...
-
Zmodyfikowana metoda monopulsowa w wielowiązkowych filtrach przestrzennych sonarów pasywnycj
PublikacjaZwiększenie dokładności określania namiaru celu można uzyskać w sonarach stosując metodę monopulsową. W konwencjonalnych sonarach polega ona na wyrównywaniu sygnałów w dwóch sąsiednich wiązkach poprzez obrót anteny. W cyfrowych sonarach wielowiązkowych obrót anteny można zastąpić obliczeniami, które przedstawiono w referacie. Opracowaną metodę poprawy dokładności namiaru pokazano na przykładzie szerokopasmowego sonaru wielowiązkowego...
-
KO-FERMENTACJA METANOWA JAKO ALTERNATYWNA METODA ZAGOSPODAROWANIA ZANIECZYSZCZONEJ BIOMASY
PublikacjaJedną z przyczyn ograniczonego stosowania fitoremediacji jest powstawanie zanieczyszczonej biomasy, dla której wciąż nie opracowano odpowiedniej technologii zagospodarowania lub unieszkodliwiania. W pracy przedstawiono sposób redukcji objętości biomasy, powstającej w wyniku fitoremediacji, metodą fermentacji metanowej. Głównym zagadnieniem jest intensyfikacja produkcji biogazu w procesie ko-fermentacji dwóch lub większej liczby...
-
Analiza parametrów płukania sieci wodociągowej metodą ukierunkowanego przepływu wody
PublikacjaEksperymenty prowadzone przez wiele lat podczas płukania sieci wodociągowej metodą jednokierunkowego przepływu wody umożliwiają weryfikację interakcji między jakością wypłukiwania nagromadzonych zanieczyszczeń oraz parametrami przepływu, liczbą cykli wymiany wody, a także zasięgiem płukania. Usuwanie zanieczyszczeń na początku przebiega zgodnie z szybko rosnącą krzywą, a następnie według funkcji malejącej. Taki przebieg jest spowodowany...
-
Metoda pirolizy aerozolowej - przygotowanie warstw antykorozyjnych na stali nierdzewnej
PublikacjaW pracy sprawdzony została możliwość wykorzystania metody pirolizy aerozolowej do wytwarzania warstw ochronnych na podłożu ze stali 316L. Jako warstwy ochronne zastosowano materiał tlenku cyrkonu stabilizowanego itrem.
-
Niekonwencjonalna metoda korekty siły w wieszaku drogowego wiaduktu łukowego
PublikacjaArtykuł dotyczy wiaduktu łukowego zlokalizowanego w Słupsku w ciągu nowo budowanej łącznicy DK 6 i DK 21. Jako wieszaki na obiekcie zastosowano typowy system sworzniowy bez możliwości naciągania (nie ma mufy i nakrętek). Odpowiednie siły w cięgnach miały pojawić się w sposób naturalny po zwolnieniu przęsła z podpór montażowych. Jak się okazało, jeden z wieszaków został pozbawiony naciągu. W artykule przedstawiono sposób identyfikacji...
-
Weryfikacja obliczeń numerycznych czteroprzęsłowego ciągłego wiaduktu kablobetonowego metodą analityczną
PublikacjaW artykule poddano analizie obliczeniowej czteroprzęsłowy wiadukt kablobetonowy zaprojektowany w schemacie statycznym belki ciągłej, zrealizowany przed kilku laty nad autostradą A1. Porównano wyniki obwiedni naprężeń normalnych w przekroju betonowym dźwigara, zarówno rozciągających jak i ściskających, uzyskanych przy pomocy obliczeń analitycznych oraz numerycznych. Do obliczeń komputerowych wykorzystano dwa modele: belkowy oraz...
-
Diagnostyka ultradźwiękowa mostowej belki prefabrykowanej typu T metodą młoteczkową
PublikacjaZastosowanie prefabrykacji w budowie obiektów mostowych pozwala optymalizować zużycie energii i materiałów i tym samym redukować koszty budowanego obiektu. Prefabrykowane belki sprężone mogą występować jako elementy kablobetonowe wykonywane bezpośrednio na placu budowy lub powstawać w zakładzie prefabrykacji jako elementy strunobetonowe. Elementy prefabrykowane wytwarzane w warunkach przemysłowych muszą spełniać wymagania wysokiej trwałości,...
-
Modelowanie matematyczne w procesie oczyszczania ścieków metodą osadu czynnego
PublikacjaModelowanie matematyczne w procesie oczyszczania ścieków metodą osadu czynnego dla możliwości zwiększenia efektywności w branży WOD-KAN
-
Metoda lokalizowania sensorów IoT przy użyciu mobilnej stacji bazowej
PublikacjaW artykule opisano innowacyjną metodę lokalizowania obiektów dla potrzeb Internetu rzeczy (IoT). Przedstawiono matematyczną analizę metody. Opisano również wyniki kompleksowych badań symulacyjnych efektywności pracy zaproponowanej metody dla wybranych parametrów radiowej sieci sensorowej.
-
Bitumen Aging—Laboratory Simulation Methods Used in Practice and Selected Directions of Research on New Methods
PublikacjaChanges in the properties of bitumen binders that occur as a result of aging have a huge impact on the durability of products produced from them. In particular, asphalt pavements, which constitute the most common use of petroleum bitumen, are susceptible to damage resulting from the increasing stiffness of the bitumen during its life cycle. Increased stiffness of asphalt pavements reduces the pavement resistance to low-temperature...
-
Geoscientific Instrumentation Methods and Data Systems
Czasopisma -
International Journal of Research & Method in Education
Czasopisma -
Journal of Computational Methods in Sciences and Engineering
Czasopisma -
Journal of Logical and Algebraic Methods in Programming
Czasopisma -
Sequential Analysis-Design Methods and Applications
Czasopisma -
Journal of Modern Applied Statistical Methods
Czasopisma -
Computer Assisted Methods in Engineering and Science
Czasopisma -
Journal of Applied Research in Memory and Cognition
Czasopisma -
Methods in molecular biology (Clifton, N.J.)
Czasopisma -
INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING
Czasopisma -
Journal of Nationalism Memory and Language Politics
Czasopisma -
Molecular Therapy-Methods & Clinical Development
Czasopisma -
Tissue Engineering Part C-Methods
Czasopisma -
Electronic Journal on Business Research Methods
Czasopisma -
Modern Journal of Language Teaching Methods
Czasopisma -
INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN FLUIDS
Czasopisma -
INTERNATIONAL JOURNAL OF METHODS IN PSYCHIATRIC RESEARCH
Czasopisma -
NUMERICAL METHODS FOR PARTIAL DIFFERENTIAL EQUATIONS
Czasopisma -
Palgrave Studies in Education Research Methods
Czasopisma -
U.S. Geological Survey Techniques and Methods
Czasopisma -
JOURNAL OF RAPID METHODS AND AUTOMATION IN MICROBIOLOGY
Czasopisma -
JOURNAL OF AUTOMATED METHODS & MANAGEMENT IN CHEMISTRY
Czasopisma -
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS
Czasopisma -
Advances in Methods and Practices in Psychological Science
Czasopisma -
Analytical Methods in Environmental Chemistry Journal
Czasopisma -
Numerical Mathematics-Theory Methods and Applications
Czasopisma -
METHODS AND FINDINGS IN EXPERIMENTAL AND CLINICAL PHARMACOLOGY
Czasopisma -
Journal of Applied Computer Science Methods
Czasopisma