Filters
total: 38882
-
Catalog
- Publications 16120 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
-
Metody wnioskowania kontekstowego z danych zapisanych w zewnętrznych źródłach
PublicationW poprzednich pracach autorów został przedstawiony system wnioskowania z danych zapisanych w zewnętrznych źródłach - KL (Knowledge Layer). Metody SED (Semantic Enrichment of Data) i RED (Reasoning over External Data) zastosowane w tym systemie umożliwiają wzbogacenie danych o semantykę oraz wnioskowanie z tych danych analogicznie jak z ontologicznego opisu świata. Dane zapisane w źródłach zewnętrznych są wzbogacone o terminologię...
-
Metody pomiarowe stosowane na platformach powietrznych w badaniach geologicznych
PublicationW pracy przedstawiono metody pomiarowe stosowane w pomiarach geologicznych z zastosowaniem platform powietrznych, takich jak samoloty, śmigłowce i bezpilotowe pojazdy (UVA). W wykrywaniu różnego rodzaju złóż bogactw mineralnych stosowana jest metoda magnetometryczna, elektromagnetyczna oraz grawimetryczna.
-
Poszukiwanie metody określania sił podłużnych w szynach toru bezstykowego
PublicationArtykuł przedstawia w zarysie przegląd wybranych prac badawczych nad znalezieniem metody określania sił podłużnych w szynach toru bezstykowego, przeprowadzonych na przestrzeni ostatnich kilkudziesięciu lat. Rozległość tych badań jest imponująca, jednak efekty wciąż nie są do końca zadowalające. Jak dotąd nie opracowano bowiem metody bezpośredniego pomiaru sił podłużnych, dostosowanej w pełni do warunków praktyki utrzymaniowej.
-
Metody ustalania cen produktów na rynku usług w Polsce
Publication -
Nowoczesne metody informatyczne w sprawnym wspomaganiu zarządzania przedsiębiorstw bankowych
PublicationW pracy omówiono możliwości zwiększanie konkurencyjności przedsiębiorstwa za pomocą wprowadzenia zaawansowanych usług sieciowych. Scharakteryzowano znaczenie systemów eksperckich, które w formie botów umożliwiają znaczącą poprawę szeregu aspektów komunikacji. Awatary można zamieszczać w witrynach przedsiębiorstw internetowych, co pośrednio zwiększa obroty firmy. Natomiast za pomocą algorytmu ewolucyjnego możliwe jest skrócenie...
-
Wybrane metody optymalizacji podatkowej w sektorze MSP w Polsce
PublicationZ każdą działalnością gospodarczą związane jest rozliczanie i płacenie podatków zarówno bezpośrednich jak i pośrednich. Jak podaje serwis dla księgowych infor.pl Polscy przedsiębiorcy nie zawsze są świadomi, że pomimo, iż podatki są obowiązkową daniną na rzecz państwa, można legalnie zmniejszyć ich należną kwotę poprzez wykorzystanie narzędzi dostępnych w polskim prawie podatkowym. Narzędzia te popularnie nazywa się optymalizacjami...
-
Metody analizy nośności słupów żelbetowych z uwzględnieniem pełzania betonu
PublicationZgodnie z Eurokodem 2 nośność smukłych słupów żelbetowych można obliczać stosując uproszczone metody uwzględniania efektów II rzędu. W obliczeniach tych słupów istotną rolę odgrywa pełzanie, którego wpływ jest najmniej rozpoznany. W pracy zaproponowano dwa modele numeryczne uwzględniania wpływu pełzania. W pierwszym wpływ pełzania uwzględniono przez modyfikację charakterystyki materiałowej betonu, w drugim zastosowano prawo pełzania...
-
Analiza porównawcza metody TDOA i ATDOA w systemie WAM
PublicationW artykule przedstawiono nową metodę estymacji położenia obiektów w radiowych sieciach sensorowych, w których węzły pracują asynchronicznie względem siebie. Opisano zasadę działania metody, zaprezentowano przykładowe zastosowanie tej metody w przestrzeni 3D wraz z przyjętym modelem symulacyjnym i wynikami badań. Istotną część artykułu stanowi analiza porównawcza efektywności pracy zaproponowanej metody z metodą synchroniczną dla...
-
Diagnostyka żelbetowej kładki dla pieszych z zastosowaniem metody georadarowej
PublicationMetoda georadarowa, jako jedna z technik nieniszczących, znalazła szerokie zastosowanie w diagnostyce obiektów budowlanych. Z powodzeniem wykorzystuje się ją do oceny stanu technicznego konstrukcji żelbetowych określając rozkład i liczbę prętów zbrojeniowych, a także możliwe uszkodzenia. W pracy przedstawiono badania doświadczalne przeprowadzone na żelbetowej kładce dla pieszych z wykorzystaniem metody georadarowej. W celu poprawnej...
-
Przepustowość istniejącego układu kanalizacyjnego a metody wyznaczania natężeń deszczy miarodajnych
PublicationAnalizy przepustowości układu kanalizacji pracującego w układzie mieszanym - częściowo ogólnospławnym częściowo mieszanym. Problem identyfikacji przewodów. Analizy przepustowości w aspekcie wymagań PN-EN752 oraz wytycznej A118. Wykorzystane wzory empiryczne Błaszczyka, Bogdanowicz-Stachy i Suligowskiego. Problem zjawisk ekstremalnych. Zmiany w zagospodarowaniu przestrzeni, ich wpływ na parametry zlewni. Szczególny problem przepustowości...
-
Stanowisko do weryfikacji nowej metody pomiaru rezystancji pętli zwarciowej
PublicationW artykule przedstawiono budowę i zasadę działania stanowiska laboratoryjnego, które umożliwia weryfikację eksperymentalną nowej metody pomiaru rezystancji pętli zwarciowej. Metoda ta charakteryzuje się tym, że nie następuje wyzwalanie wyłączników różnicowoprądowych, mimo wykorzystania stosunkowo dużej wartości prądu pomiarowego. Weryfikacja metody na stanowisku laboratoryjnym jest podstawą do skonstruowania prototypowego miernika...
-
Zastosowanie metody galwanostatycznej do wyznaczania błędu fazy elektrod woltamperometrycznych
PublicationW pracy przeanalizowano właściwości metrologiczne elektrod woltamperometrycznych w dziedzinie częstotliwości. Wykazano, że w przypadku, gdy reakcja elektrochemiczna kontrolowana jest procesem transportu jonów, elektroda woltamperometryczna zachowuje się tak jak przetwornik pomiarowy I rzędu. Jej właściwości metrologiczne opisane są przez czułość, częstotliwość graniczną, błąd amplitudy i błąd fazy. Przeprowadzona analiza pokazała,...
-
Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA
PublicationCelem niniejszej rozprawy oraz stypendium odbytego w ramach projektu było opracowanie numerycznie efektywnego rozwiązania algorytmicznego i sprzętowego, które umożliwia przyspieszenie analizy problemów elektromagnetycznych metodą elementów skończonych (MES) z funkcjami bazowymi wysokiego rzędu. Metoda elementów skończonych w dziedzinie częstotliwości stanowi wydajne i uniwersalne narzędzie analizy układów mikrofalowych (rys....
-
Współczesne metody zapewniania jakości oprogramowania. Od klasyki do zwinności
PublicationKsiążka opisuje problematykę jakości w kontekście metod wytwarzania oprogramowania. Składa się z 22 rozdziałów podzielonych na 6 części: Znaczenie jakości oprogramowania, Podstawowe pojęcia i problemy jakości, Jakość w ujęciu klasycznym, Pomiary jakości, Dokumentacja i normy jakości procesu, Jakość w podejściu zwinnym. Zebrany materiał pokazuje ewolucję podejścia do jakości w klasycznych metodykach wytwarzania (od modelu kaskadowego...
-
Wybrane metody badania poziomu metylacji DNA w komórkach eukariotycznych
PublicationMetylacja regionów promotorowych jest jednym z głównych mechanizmów regulacji transkrypcji genów u eukariota. W komórkach ssaczych metylacja DNA zachodzi głównie na reszcie cytozyny występującej w dinukleotydach CpG i jest katalizowana przez metylotransferazy DNA (DNMT1, DNMT3A i DNMT3B) (Turek Plewa, Jagodziński 2005). Mapowanie 5 metylocytozyny w DNA genomowym jest jednym z narzędzi do badania wpływu metylacji na tkankowo-specyficzną...
-
METODY DOSKONALENIA SYSTEMU ZARZĄDZANIA ŚRODOWISKOWGO ISO14001 W PRZEDSIĘBIORSTWACH PRODUKCYJNYCH
PublicationOpracowanie ma na celu przedstawienie problematyki doskonalenia zarządzania środowiskowego w przedsiębiorstwach produkcyjnych. W opracowaniu przedstawiono główne wymagania w obszarze doskonalenia systemu zarządzania środowiskowego zgodnego z wymaganiami ISO14001. Zaprezentowano wybrane metody oraz mechanizmy doskonalenia systemów zarządzania środowiskowego ISO14001 stosowane w praktyce. Dokonano prezentacji autorskiej metody doskonalenia...
-
Metody wzmacniania krótkich wsporników słupa w świetle badań eksperymentalnych
PublicationW artykule podano metody wzmacniania wsporników słupów, których skuteczność została zweryfikowana badaniami eksperymentalnymi. Niezależnie od zastosowanej metody efektywność wzmocnienia wspornika jest głównie uzależniona od smukłości ścinania wspornika, ilości zbrojenia wewnętrznego i jego wytężenia przed wzmocnieniem.
-
Analiza systemu zasilania trolejbusów z wykorzystaniem metody Monte Carlo
PublicationW rozprawie przedstawiono model symulacyjny układu zasilania sieci trolejbusowej oparty na metodzie Monte Carlo. Przeprowadzono eksperymentalną weryfikację opracowanej metody obliczeniowej. Zaprezentowano przykładowe zastosowanie modelu symulacyjnego. Opracowana metoda może być wykorzystana dla celów analizy układów zasilania trakcji trolejbusowej i tramwajowej.
-
Nowoczesne metody termografii w systemie monitorowania stanu sieci przesyłowych
PublicationW artykule przedstawiono obecnie stosowane metody inspekcji termowizyjnej, skupiając się na prewencyjnej diagnostyce stanu sieci przesyłowej. Badanie termowizyjne ma różne wymiary wpływu na efektywność energetyczną. Z jednej strony wykorzystuje się ją do inspekcji szczelności termoizolacji budynków, wpływając na świadomość, że „najtańsza energia to ta zaoszczędzona”, z drugiej strony jest narzędziem dla operatorów sieci dystrybucyjnych...
-
Metody oceny jakości łączy bezprzewodowych wykorzystywanych w systemie netBaltic
PublicationPrzedstawiono metodę oceny jakości łączy, opracowaną w ramach projektu netBaltic, która powstała w wyniku analizy danych zgromadzonych podczas wielu kampanii pomiarowych na wodach Morza Bałtyckiego oraz badań i testów prowadzonych w środowisku laboratoryjnym. Przedstawiono definicję parametru LQI (Link Quality Indicator) oraz sposób jego wyznaczania dla sieci komórkowych 3G i LTE oraz dla łączy bezprzewodowych WiFi. Zaprezentowano...
-
Charakterystyka odcieków powstających w aspekcie wyboru metody ich oczyszcania
PublicationArtykuł obejmuje analizę odcieków generowanych w zakładach utylizacji odpadów w aspekcie ich ilości i jakości oraz możliwości oczyszczania/zagospodarowania, ze szczególnym zwróceniem uwagi na metody biologiczne, najbardziej przyjaznej środowisku. Ponad trzyletnie badania prowadzono na dwóch obiektach zlokalizowanych w woj. pomorskim, gdzie pobierano próbki ścieków technologicznych, powstających podczas sortownia oraz kompostownia odpadów...
-
Zastosowanie metody sztucznych baz w analizie docierania powierzchni płaskich
PublicationPrzedstawiono wyniki badań zużycia pierścieni prowadzących w układzie kinematycznym standardowej docierarki jednotarczowej. Do analiz wykorzystano metodę sztucznych baz Vickersa.
-
Metody budowania strategicznej karty wyników na przykładzie Wirtualnej Polski.
PublicationJedną z metod przełożenia strategii na cele operacyjne firmy oraz kontroli jej wykonania jest ''strategiczna karta wyników'' ( ang. Balanced Scorecard,skrót: BSC), w której odpowiednio dobrane mierniki pozwalają na mierzenie wykonania strategii w perspektywie nie tylko finansowej, ale także: klienta,procesów wewnętrznych oraz nauki i rozwoju. Celem artykułu jest zaprezentowanie sposobu, w jaki prowadzono prace nad zbudowaniem...
-
Zastosowanie metody QFD do doskonalenia jakości użytkowej serwisów WWW
PublicationW artykule przedstawiono zastosowanie metody QFD do doskonalenia jakości użytkowej serwisów WWW o charakterze handlowym. W omawianym podejściu zostają zidentyfikowane wymagania klienta-użytkownika oraz czynniki techniczne, które budują sukces serwisu WWW oraz związanego z nim przedsięwzięcia gospodarczego. Następnie w macierzy domu jakości zostaje wydzielony ''rdzeń'' serwisu, zawierający najważniejsze dla klienta funkcje, oraz...
-
Metody oceny wyników usprawniania działalności operacyjnej (przykład zasto-sowań)
PublicationArtykuł omawia warunki, jakie należy spełniać przy doborze miar i procesie dokonywania pomiaru efektów usprawniania działalności operacyjnej. Prezentuje metody oceny wyników działalności operacyjnej, wśród których znaczące miejsce ma zdolność produkcyjna, produktywność, przepustowość i skuteczność. Wskazuje również na potrzebę powiązania miar z celami całego przedsiębiorstwa.
-
Zastosowanie metody AHP do oceny zagrożeń na stanowiskach pracy.
PublicationW artykule przedstawiono podstawy wielokryterialnej metody wspomagania decyzji AHP (ang. Analytic Hierarchy Process) oraz jej zastosowanie do oceny zagrożeń na stanowiskach pracy.
-
Wspomaganie projektowania automatyki siłowni statku przy zastosowaniu metody CBR.
PublicationW referacie zaprezentowano metodologię CBR (wnioskowania na podstawie przypadków), zastosowano w systemie ekspertowym wspomagania projektowania automatyki okrętowej na podstawie informacji o statkach zbudowanych oraz modelu dziedzinowego.
-
Metody badań skłonności stali do pęknięć zimnych przy spawaniu
PublicationW artykule przedstawiono charakterystykę pęknięć zimnych oraz metody badania skłonności do ich powstawania, które podzielono na analityczne i eksperymentalne. Zaprezentowano również zakres stosowania metod analitycznych i porównanie metod eksperymentalnych.
-
Statystyczno-ekonometryczne metody analizy czynnikowej zdolności do przetrwania przedsiębiorstw.
PublicationW rozdziale zostały omówione podstawowe definicje z zakresu upadłości i przetrwania przedsiębiorstw. Ponadto przedstawiono klasyfikacje upadłości oraz statystyczno - ekonometryczne metody analizy czynnikowej zdolności do przetrwania przedsiębiorstw.W pierwszej części rozdziału omówiono podstawowe pojęcia dotyczące zagadnień bankructwa, upadłości i likwidacji przedsiębiorstw. W drugiej częsci rozdziału przedstawiono podstawy teoretyczne...
-
Metody udostępniania materiałów multimedialnych w sieciach LAN i WAN.
PublicationW referacie przedstawiono możliwości wzbogacania treści edukacyjnych dzięki wykorzystaniu technik multimedialnych. Uzupełnienie materiału edukacyjnego w postaci plików audio oraz wideo daje zupełnie nową jakość . Opisano jak stworzyć taki materiał, jaki jest potrzebny do realizacji oraz jak bardzo czasochłonny jest ten proces. Wnioski i spostrzeżenia zostały przedstawione na podstawie praktycznej realizacji wykładu dot. Systemu...
-
Metody udostępniania materiałów multimedialnych w sieciach LAN I WAN.
PublicationWraz z rozpowszechnianiem usług szerokopasmowych zmniejsza się ograniczenie co do objętości oferowanych materiałów edukacyjnych udostępnianych w sieciach LAN i WAN. W referacie przedstawiono możliwości wzbogacenia treści edukacyjnych dzięki wykorzystaniu technik multimedialnych. Uzupełnienie materiału edukacyjnego w postaci plików audio i wideo daje zupełnie nową jakość. Opisano jak stworzyć taki materiał, jaki sprzęt jest potrzebny...
-
Implementacja zmodyfikowanej metody biliniowej 2D w elektronicznym systemie wbudowanym
PublicationPrzedstawiono implementację zmodyfikowanej metody biliniowej 2D diagnostyki sieci analogowych we wbudowanych mikrosystemach mieszanych sygnałowo sterowanych mikrokontrolerami. Metoda cechuje się prostym algorytmem diagnostycznym, który z powodzeniem można zaimplementować w 8-bitowych, powszechnie stosowanych mikrokontrolerach z interfejsem SPI, oraz nie wymaga nadmiernej rozbudowy mikrosystemu o część testującą (BIST). Zaletą metody...
-
Zastosowanie metody analizy obrazu w określaniu odporności kawitacyjnej materiałów
PublicationPrzedstawiono optyczną metodę określania właściwości kawitacyjnych materiału oraz charakterystyki kawitacyjnej stanowiska przy zastosowaniu komputerowej analizy obrazu erodowanej powierzchni uzyskanego w mikroskopie świetlnym.
-
Nowe bezinwazyjne metody pomiarowe zmian porowatości w materiałach sypkich
PublicationArtykuł omawia dwie metody stosowane mechanice ośrodków sypkich do pomiaru zmian porowatości podczas przepływów silosowych: tomografie pojemnościowa oraz metodę optoelektroniczną PIV. Pomiary wykonano dla różnych silosów, początkowych zagęszczeń oraz szorstkości ścian silosów.
-
Analiza porównawcza metod predykcji chwili zgodności fazowejw automatycznym synchronizatorze prądnic = Comparison of the methods of prediction time phase coincidence in automatic synchronizer of power generators
PublicationW artykule porównano dokładność wybranych metod realizacji warunku fazowego podczas synchronizacji obiektów elektroenergetycznych. Do porównania wybrano trzy metody: liniową, wielomianową oraz metodę adaptacyjnej synchronizacji prądnic z ekstrapolacją funkcją wymierną. Badania przeprowadzono dla różnych warunków pracy. Przyjęto stałą różnicę częstotliwości napięć synchronizowanych obiektów, różnicę częstotliwości zmieniającą się...
-
Przegląd metod oznaczania pozostałości pestycydów i polichlorowanych bifenyli w próbkach żywności = Methods of determination of residues of pesticides and polychlorinated biphenyls in food samples - a review
PublicationOznaczanie pozostałości pestycydów i analitów z grupy polichlorowanych bifenyli w próbkach żywności wymaga zastosowania specyficznych technik w zakresie przygotowania próbki do analizy, jak i samych technik analizy instrumentalnej, pozwalających na uzyskanie bardzo niskiej granicy oznaczalności. Problemem związanym ze stosowaniem związków z grupy pestycydów i polichlorowanych bifenyli jest konieczność kontroli ich pozostałości...
-
Journal of Analytical Methods in Chemistry
Journals -
MATHEMATICAL METHODS IN THE APPLIED SCIENCES
Journals -
Robert Janczewski dr hab. inż.
People -
New methods for assessment and stimulation of non-communicative patients employing advanced multimodal HCI . Nowe metody oceny i stymulacji pacjentów niekomunikatywnych z wykorzystaniem zaawansowanych interfejsów multimodalnych człowiek-komputer
PublicationIn most cases of patients with locomotor system damage it is possible to find a solution to the medical problems originating from the injury. However, it is much more difficult to prevent cognitive and emotional impairments. Therefore, we believe that the technological support of therapists working with such patients on an everyday basis may be essential. We have acquired experience in designing and providing diagnostic and therapeutic...
-
"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...
-
Efficient methods for radio location service in cellular communication networks
PublicationW artykule przedstawiono dwie oryginalne metody lokalizowania terminala ruchomego w sieciach komórkowych trzeciej generacji. Metody te podczas estymacji położenia terminala nie wymagają znajomości różnicy czasów w synchronizacji poszczególnych stacji bazowych, przez co są tanie w implementacji. Przedstawiono wyniki badań symulacyjnych zaproponowanych metod.
-
Extending GQM by Argument Structures
PublicationEffective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how the well known Goal-Question-Metric (GQM) method of systematic metrics derivation from measurement goals can be extended by applying argument structures. The proposed approach is called Goal-Argument-Metric (GAM). The general ideas of GQM and GAM are...
-
New methods for location service in the WCDMA system
PublicationOpracowano dwie nowe metody lokalizowana terminala ruchomego w sieciach komórkowych opartych o szerokopasmowy interfejs radiowy WCDMA. Przedstawiono szczegółowy ich opis działania. Zaprezentowano model symulacyjny oraz wyniki badań symulacyjnych przydatności opracowanych metod dla potrzeb europejskiego systemu bezpieczeństwa E112.
-
Chemometric methods for determination of mechanisms of action of anticancer compounds
PublicationW 1990 amerykański Narodowy Instytut Raka (NCI) wprowadził szeroki test przesiewowy in vitro mający na celu poszukiwanie nowych związków przeciwnowotworowych. Test został wdrożony po przebadaniu 171 standardowych związków przeciwnowotworowych. Przedmiotem niniejszej pracy jest próba stworzenia reguł klasyfikacji związków standardowych ze względu na ich mechanizm działania przeciwnowotworowego na podstawie wyników z testu NCI. Potwierdzono...
-
Jerzy Wtorek prof. dr hab. inż.
PeopleJerzy Wtorek received the M.Sc., the Ph.D. and the D.Sc. degrees in electronics from Gdańsk University of Technology, Gdańsk, Poland, in 1976, 1986, and 2004, respectively. He has been with Electronics, Telecommunication and Informatics Faculty, Gdańsk University of Technology since 1977. He is currently an Associate Professor at Biomedical Engineering Department. His research interests include the developing of noninvasive methods...
-
Karolina Lademann mgr
PeopleCurriculum vitae
-
Michał Lech dr inż.
PeopleMichał Lech was born in Gdynia in 1983. In 2007 he graduated from the faculty of Electronics, Telecommunications and Informatics of Gdansk University of Technology. In June 2013, he received his Ph.D. degree. The subject of the dissertation was: “A Method and Algorithms for Controlling the Sound Mixing Processes by Hand Gestures Recognized Using Computer Vision”. The main focus of the thesis was the bias of audio perception caused...
-
Webquest w nauczaniu. Dlaczego warto stosować tę metodę?
EventsWebquest to metoda pracy projektowej zorientowanej na badanie w oparciu o instrukcję umieszczoną na stronie internetowej i dobór wiarygodnych źródeł informacji. Jak wykorzystać tę metodę w przedmiotach akademickich?
-
Jak efektywnie pracować ze studentami metodą case study
Events„Dydaktyczne Piątki” w CNE: „Jak efektywnie pracować ze studentami metodą case study”