Search
Filters
total: 38735
-
Catalog
- Publications 16069 available results
- Journals 150 available results
- Conferences 29 available results
- People 321 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 1056 available results
- Events 47 available results
- Open Research Data 20901 available results
displaying 1000 best results Help
Search results for: METODY%20FORMALNE
-
Modele i metody kolorowania grafów. Część II
PublicationNiniejszy artykuł jest drugą częścią 2-odcinkowego cyklu przeglądowego na temat modeli i metod kolorowania grafów. Przedstawiono w nim najważniejsze, z punktu widzenia zastosowań, modele kolorowania grafów. W szczególności pokazano różne kryteria i ograniczenia modyfikujące kolorowanie klasyczne. Ponieważ kolorowanie we wszystkich tych odmianach i wariantach jest NP-trudne, podano oszacowania na liczbę chromatyczną (indeks chromatyczny)...
-
Metody poprawy izolacyjności akustycznej warstwowych przegród budowlanych
PublicationZastosowanie lekkich paneli warstwowych przy budowie hal przemysłowychzwiązane jest z ich dobrymi cechami wytrzymałościowymi, cieplnymi, niskim ciężarem i krótkim czasem montażu.W niniejszym artykule skupiono się na metodach poprawy właściwości akustycznych paneli kompozytowych CSIP. Opisano wyniki badań doświadczalnych i numerycznych oraz sposoby modyfikacji paneli. W analizie wykorzystano model numeryczny metody elementów skończonych...
-
Metody metagenomiczne w badaniu mikrobiomu jelitowego człowieka
PublicationMikroorganizmy zamieszkujące ciało człowieka to nie tylko komensale i groźne patogeny, ale także organizmy symbiotyczne pełniące kluczową rolę w zachowaniu homeostazy gospodarza. Badania metagenomiczne wykorzystujące techniki sekwen-cjonowania nowej generacji i metody bioinformatyczne pozwalają na dogłębne po-znanie mikrobiomu ludzkiego i poszukiwanie jego związku ze stanem zdrowia czło-wieka. Celem pracy jest omówienie różnych...
-
Innowacyjne metody obróbki powierzchni płaskich na docierarkach
PublicationPrzedstawiono charakterystykę innowacyjnej technologii obróbki powierzchni płaskich i płasko-równoległych na docierarkach jedno- i dwutarczowych. Zamieszczono studium przypadku obejmującego obróbkę elementów ceramicznych i wykonanych z węglików spiekanych, analizując jakość szlifowanych powierzchni i czasochłonność operacji oraz koszty obróbki elementów płaskich w układzie dwutarczowym.
-
METODY KONTROLI OLEJOW SMAROWYCH EMITOWANYCH DO ŚRODOWISKA
PublicationEmitowane do środowiska oleje smarowe wykorzystywane w otwartych układach tnących, głowicach harwesterów, powinny zawierać wyłącznie biodegradowalne składniki. Składniki środków smarowych produkowanych z ropy naftowej wykazują negatywne oddziaływanie na środowisko i zdrowie, dlatego ich stosowanie w otwartych układach tnących powinno być zabronione, a użycie karane.
-
Niekonwencjonalne metody odzysku ciepła odpadowego na statkach
PublicationW artykule opisano kilka metod odzysku ciepła odpadowego, które nie znalazły jeszcze szerokiego zastosowania na statkach. Obecnie, powszechnie wykorzystuje się ciepło spalin do wytwarzania pary wodnej grzewczej, a ciepło wody chłodzącej cylindry silników głównych - do wytwarzania wody słodkiej w wyparownikach podciśnieniowych. Znacznie rzadziej, para wodna lub spaliny służą do napędu turbogeneratorów. Metody te są jednak wykorzystywane...
-
Hybrydowe modele i metody modelowania układów mechanicznych
PublicationW monografii przedstawiono metody modelowania układów mechanicznych umożliwiające uzyskanie odpowiednio dokładnych modeli niskiego rzędu. Jedną z nich jest dyskretno-ciągła metoda pryzm (DCMP). Łączy ona zalety metod modelowania układów ciągłych o parametrach rozłożonych i dyskretyzowanych przestrzennie o parametrach skupionych. Jej opis matematyczny wyprowadzono posługując się metodami sztywnych elementów skończonych i transmitancji...
-
Localization of ferromagnetic objects via magnetometric method near equator
PublicationIstnieje wiele metod wykrywania ukrytych w ziemi obiektów. Metody te można podzielić na pasywne i aktywne. Do metod pasywnych należy metoda magnetometryczna. Obiekt ferromagnetyczny zaburza w swoim otoczeniu równomierność pola magnetycznego. Korzystając z metody magnetometrycznej można to zaburzenie zmierzyć i wykryć obiekt. W pracy przedstawiono nową metodę lokalizacji obiektów ferromagnetycznych metodą magnetometryczną znajdujących...
-
Novel approaches to wideband speech coding
PublicationDwie metoda kodowania szerokopasmowego mowy zostały zaprezentowane. W pierwszej metodzie wykorzystano algorytm kompresji i ekspansji czasowej sygnału mowy, pozwalający na kodowanie szerokopasmowe sygnału mowy z wykorzystaniem ustandaryzowanych kodeków. Metoda ta jest przewidziana do zastosowania w adaptacyjnych algorytmach kodowania mowy. Drugie z proponowanych rozwiazan dotyczy nowej metody estymacji obwiedni widma sygnalu mowy...
-
Modern approaches to file system integrity checking
PublicationOne of the means to detect intruder's activity is totrace all unauthorized changes in a file system.Programs which fulfill this functionality are called fileintegrity checkers. This paper concerns modernapproach to file system integrity checking. It reviewsarchitecture of popular systems that are widely used inproduction environment as well as scientific projects,which not only detect intruders but also take actions tostop their...
-
New methods of underwater ship noise classification
PublicationDetekcja, klasyfikacj, identyfikacja i rozpoznanie cech hałasu generowanego przez statki jest bardzo istotna z punku widzenia naukowego i obronnego. Włożono wiele wysiłku w rozwój technologii sonarów pasywnych, która umożliwia zastosowanie hałasów podwodnych do celów praktycznych. Przedstawiono wyniki badań, które ukazują możliwości wykorzystania sieci neuronowej do klasyfikacji źródeł generowanych przez układy mechaniczne, odpowiadających...
-
Messmethoden zur beurteilung der qualität von VoIP-verbindungen
PublicationPraca jest poświęcona tematyce QoS (Quality of Service) w sieciach IP. Na początku pracy opisano i porównano standaryzowane metody oceny jakości połączeń telefonicznych, tzn. MOS, PAMS, PSQM, PESQ, 3SQM, E-Modell. Następnie przedstawiono nowy efektywny system pomiarowy TraceView®:VoIP. Przy jego użyciu jest możliwy objektywny pomiar jakości usługi VoIP (Voice over IP) w sieciach IP. System ten umożliwia również dokonanie w...
-
Geotechnika metod bezwykopowych
PublicationOmówiono geotechniczne aspekty bezwykopowych metod budowy kanałów i rurociągów podziemnych oraz ich renowacji. Scharakteryzowano rodzaje przebić, przecisków, przewiertów i mikrotunelowania oraz stosowanych sposobów napraw i renowacji. Zamieszczono wzory i schematy do obliczeń oddziaływania pionowego na strop i spąg oraz oddziaływania poziomego gruntu otaczającego. Przeanalizowano zagadnienie tarcia między gruntem oraz obudową i...
-
Zastosowanie metod biometrycznych
PublicationW pracy przedstawiono opis różnych technik identyfikacji na podstawie obrazów. Omówiono własności biometrycznych systemów identyfikacji, sposoby zwiększania ich skuteczności i kierunki dalszego rozwoju.
-
Karol Flisikowski dr inż.
PeopleKarol Flisikowski works as Associate Professor at the Department of Statistics and Econometrics, Faculty of Management and Economics, Gdansk University of Technology. He is responsible for teaching descriptive and mathematical statistics (in Polish and English), as well as scientific research in the field of social statistics. He has been a participant in many national and international conferences, where he has presented the results...
-
Integracyjna metoda konstruowania aplikacji
PublicationZaproponowano metodę wytwarzania oprogramowania IMAC, która może stanowić pewien przełom w inżynierii oprogramowania na miarę jaką stanowiło wprowadzenie języków obiektowych zwłaszcza dla aplikacji rozproszonych do zastosowań biznesowych. W metodzie tej proponuje się ścisłe powiązanie analizy, projektu i implementacji w jednym, spójnym środowisku graficznym i stosowanie wspólnego języka modelowania i implementacji IML. Głównym...
-
Metoda rewitalizacji osiedli socjalnych.
PublicationPraca zawiera autorską metodę rewitalizacji ''głębokiej'', obejmującej zarówno konserwację krajobrazu miejskiego jak i ramy ekonomiczne i organizacyjne dla rozwoju zabudowy mieszkaniowej. Metoda ta wypracowana została specjalnie na potrzeby zasobów osiedli socjalnych okresu dwudziestolecia międzywojennego.
-
A fair distribution scheme for joint fingerprinting and decryption methods= Sprawiedliwy schemat dystrybucji dla metod łącznego osadzania odcisku palca oraz deszyfracji
PublicationThe paper addresses the fairness of the security provided by digital fingerprinting methods. It was noted that the digital fingerprinting techniques are designed primarily to protect service providers against the actions of malicious users, while honest users remain vulnerable to acts of malicious providers. The paper describes the customer's rights problem and the unbinding problem, which also apply to joint fingerprinting and...
-
Zdzisław Kowalczuk prof. dr hab. inż.
PeopleZdzislaw Kowalczuk received his M.Sc. degree in 1978 and Ph.D. degree in 1986, both in Automatic Control from Technical University of Gdańsk (TUG), Gdańsk, Poland. In 1993 he received his D.Sc. degree (Dr Habilitus) in Automatic Control from Silesian Technical University, Gliwice, Poland, and the title of Professor from the President of Poland in 2003. Since 1978 he has been with Faculty of Electronics, Telecommunications and Informatics...
-
Wpływ metody syntezy na właściwości wybranych przewodników jonowych
PublicationPublikacja przedstawia wyniki pomiarów przewodników jonowych syntezowanych różnymi metodami.
-
Wybrane metody szeregowania danych w sieci IEEE 802.16e
PublicationW pracy omówiono wybrane metody szeregowania danych stosowane w sieciach opartych na standardzie IEEE 802.16e (WiMAX Mobile) oraz wskazano ich mankamenty. Przedstawiono również najważniejsze mechanizmy odpowiedzialne za zarządzanie jakością usług oraz przydział zasobów poszczególnym terminalom. Znaczną uwagę skierowano na przyszłościowe kierunki badań w tym zakresie.
-
Metody strukturalnej analizy ontologii opartych na logice opisowej
PublicationW rozprawie przedstawiono opracowaną przez autora metodę wewnętrznej reprezentacji ontologii opartych na logice opisowej: kartografię wiedzy. Metoda ta służy przede wszystkim zwiększeniu efektywności wnioskowania dla baz wiedzy zawierających dużą liczbę asercji. W pracy przedstawiono formalizm opracowanej metody oraz towarzyszące jej algorytmy. Kartografię wiedzy wykorzystano w ramach projektu PIPS (6. Program Ramowy UE), a testy...
-
Metody opisu ontologii: Inżynieria ontologii i jej zastosowania
PublicationPrzedstawiono rozwój języków opisu technologii i wskazano mozliwości ich zastosowania w różnych dziedzinach, a zwłaszcza do integracji i automatycznego uruchamiania usług sieciowych.
-
Zastosowanie metody różnic skończonych do symulacji czujników elektrokatalitycznych
PublicationW pracy przedstawiono nowe podejście do symulacji charakterystyk woltamperometrycznych czujnika elektrokatalitycznego w oparciu o ogólne prawa i równania opisujące zjawiska elektrochemiczne. Opracowano w tym celu odpowiednie oprogramowanie wykorzystujące metodę różnic skończonych. Wyniki symulacji porównano z wynikami pomiarów oraz symulacji uzyskanymi za pomocą stosowanych wcześniej narzędzi.
-
Metody ograniczania prądów zwarciowych w sieciach niskiego napięcia
PublicationPrezentuje się własności istniejących ograniczników prądu oraz nowego hybrydowego bezstykowego ogranicznika prądów zwarciowych, powstałego przez zastąpienia układu stykowego specjalnym bezpiecznikiem krótkotopikowym. Przedstawia się możliwość zastosowania go do ograniczania skutków łuku awaryjnego w rozdzielnicach nn oraz poprawy jakości energii elektrycznej przez eliminację zapadów napięcia w wyniku bardzo szybkiego wyłączania...
-
Filozofia Kaizen. Rozwój międzynarodowego przedsiębiorstwa według japońskiej metody
PublicationTematem niniejszej pracy stała się japońska koncepcja Kaizen, jej analiza na podstawie wybranych przykładów z badań własnych. Celem pracy było przywołanie filozofii pod kątem teoretycznym, ale również praktycznym opierając się na przytoczeniu kilku przykładów. Praca naukowa w swojej treści obejmuje analizę oraz znalezienie odpowiedzi na kilka kluczowych pytań: Czym jest koncepcja Kaizen? Co oznacza japońska filozofia pracy "...
-
Rozdział 10.2 Metody oznaczania właściwości przeciwutleniających próbek żywności
PublicationWystępowanie większości chorób cywilizacyjnych może być rezultatem stresu oksydacyjnego prowadzącego do różnorodnych zmian w ludzkim organizmie, wywołanych działaniem tzw. reaktywnych form tlenu. Z tego też powodu pojawiło się olbrzymie zapotrzebowanie na szybkie testy umożliwiające pomiar całkowitej zawartości przeciwutleniaczy czy też ogólnej siły przeciwutleniającej produktów żywnościowych a w szczególności świeżych warzyw...
-
Nowoczesne metody usuwania barwników syntetycznych ze ścieków przemysłowych
Publication -
Błąd metody oszacowania skuteczności systemu ochrony fizycznej obiektu
Publication -
Jak kłamać mapą? – kartogram, czyli metody podziału klasowego
Publication -
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.
-
Pomiar jakości usług edukacyjnych z wykorzystaniem metody Kano
PublicationJakość jest istotnym czynnikiem w działalności każdej organizacji, również placówek edukacyjnych. Powinna być objęta systematycznym pomiarem, mającym na celu ustalenie stopnia satysfakcji z oferowanych prduktów. Istnieje wiele metod pomiaru jakości usług. Artykuł przedstawia próbę identyfikacji cech jakości usług edukacyjnych z uwzgledneiem metody Kano. W wyniku uwzgledniono wpływ poszczególnych cech na rozmiar całkowitej satysfakcji...
-
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.
-
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.
-
Akceleracja metody elementów skończonych przy użyciu procesora graficznego
PublicationArtykuł przedstawia rezultaty akceleracji obliczeń metody elementów skończonych z użyciem procesora graficznego. Dzięki zastosowaniu masowo zrównoleglonych obliczeń na procesorze graficznym dwóch najbardziej kosztownych obliczeniowo etapów generacji macierzy współczynników i rozwiązywania układu równań przy użyciu metody gradientów sprzężonych z wielopoziomowym prekondycjonerem o schemacie V udało się pięciokrotnie skrócić czas...
-
Metody Śledzenia Obiektów W Rozproszonych Systemach Monitoringu Wideo
PublicationSystemy monitoringu wideo stały się powszechną częścią zarówno przestrzeni publicznej jak również miejsc o ograniczonym dostępie. Nadzór obszaru o dużej powierzchni wymaga rozmieszczenia wielu kamer. Skuteczna analiza przez człowieka dużej liczby obrazów wideo jest praktycznie niemożliwa. Dlatego rozwijane są metody służące do automatycznego przetwarzania wideo ukierunkowanego na analizę kontekstową. W przypadku niepokrywających...
-
Analiza wrażliwości tarczy z wykorzystaniem metody elementów skończonych
PublicationW pracy przedstawiono przykład zastosowania analizy wrażliwości tarczy modelowanej przy pomocy metody elementów skończonych. Podstawy teoretyczne oraz przykład numeryczny dotyczą wpływu różnicowania grubości całej tarczy oraz jej obszarów – jako zmiennej pro-jektowej – na przemieszczenie wybranego punktu – jako zmiennej stanu.
-
Metody alokacji pędników w układach dynamicznego pozycjonowania statkiem
PublicationUkłady kontroli alokacji pędników 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 pędników, optymalizujące prace tych urządzeń oraz omówiono wpływ zastosowanych...