Filters
total: 7070
filtered: 5351
-
Catalog
- Publications 5351 available results
- People 371 available results
- Inventions 65 available results
- Projects 63 available results
- Laboratories 4 available results
- Research Teams 34 available results
- Research Equipment 2 available results
- e-Learning Courses 978 available results
- Events 19 available results
- Offers 1 available results
- Open Research Data 182 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: Michał Savonarola
-
Definiowanie wiarygodności w Sieci Semantycznej metodą ontologicznego opisu asercji
PublicationW rozdziale została zaprezentowana metoda definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania z wiedzy opisanej w kontekście wiarygodności. Przedstawiona w rozdziale metoda opisuje zasadę budowania opisu wiarygodności dla części asercjonalnej ontologii. Definiowanie wiarygodności metodą ontologicznego opisu asercji jest rozumiane jako przypisanie asercjom unarnym i binarnym zbioru cech i ich wartości. W rozdziale...
-
Wykorzystanie wymiennych kart pamięci Flash w mikroprocesorowych rejestratorach danych pomiarowych
PublicationW artykule przedstawiono możliwość wykorzystania kart pamięci Flash w mikroprocesorowych urządzeniach rejestracji danych pomiarowych. Dokonano przeglądu najpopularniejszych kart oraz omówiono ich właści-wości. Na przykładzie kart MMC i SD opisano sposób odczytu i zapisu danych przy wykorzystaniu interfejsu SPI. Rozważono różne struktury zapisu danych. W oparciu o wykonany prototyp rejestratora oszacowano zapotrzebowanie na zasoby...
-
Diagnostics of civil engineering structures with use of continuous fiber optic sensors based on Brillouin scattering
Publication -
Ocena zastosowania wybranych reguł wymiany narzędzi w systemie produkcyjnym
PublicationIn this paper, an integrated analytical and simulation modelling framework has been developed with the objective to explore total system planning and operational issues. It enables in particular structuring the alternative process flow in manufacturing systems and their extended investigation under different tool exchange rules with limited number of tool inventory. Simulation studies performed with the proposed rules in the environment...
-
Boiling crisis - danger or a must?
PublicationW artykule przedstawiono zjawisko kryzysu wrzenia w przepływie. W głównej mierze skupiono się na zjawisku dryout'u podczas przepływu pierścieniowego. W pracy przedstawiono teoretyczny model wysychania filmu cieczowego na ściance wraz z jego modyfikacją w oparciu o model dwurównaniowy zaprezentowany przez Sedlera i Mikielewicza (1981). Model ten opiera się na bilansie cieczy w rdzeniu przepływu i w filmie cieczowym, gdzie głównym...
-
Nowoczesne rozwiązania systemów chłodzenia w mleczarni na przykładzie wybranego obiektu. Część 1
PublicationW artykule zaprezentowano nowoczesne systemy chłodzenia stosowane w mleczarniach. W pierwszej części artykułu porównano własności fizyko-chemiczne syntetycznych czynników chłodniczych i wybrano najbardziej odpowiedni do przemysłowej instalacji chłodniczej w mleczarni. Następnie porównano ich własności cieplno-użytkowe z amoniakiem. Przedstawiono charakterystyki kilku istniejących rozwiązań systemów chłodzenia w wybranych mleczarniach...
-
Przydział narzędzi obróbkowych a efektywność szeregowania zadań produkcyjnych
PublicationThe paper addresses issues concerning the analysis of tool flow within a multi-machine machining cell, designated to small batch manufacturing a definite spectrum of prismatic parts. The approach utilises a method for job and tool allocation to work centres with limited number of machines and capacity of tool resources, based on the analysis of formalised relations: job - tool sets required. Selected allocation strategies are considered...
-
Nowoczesne rozwiązania systemów chłodzenia w mleczarni na przykładzie wybranego obiektu. Część 2
PublicationW artykule zaprezentowano nowoczesne systemy chłodzenia stosowane w mleczarniach. W drugiej części publikacji przedstawiona została charakterystyka istniejącej instalacji w wybranej mleczarni, a następnie omówiono dwa alternatywne rozwiązania systemu chłodzenia zaproponowane dla tego obiektu, oparte na wytypowanych wcześniej długoterminowych płynach roboczych. W końcowej części przedstawiono ocenę techniczno - ekonomiczną obu rozwiązań.
-
Two-dimensional diffusion wave model for numerical simulation of inundation - Upper Narew case study
PublicationPrzedstawiono zastosowanie uproszczonego modelu matematycznego przepływu wody ze swobodną powierzchnią, zwanego falą dyfuzyjną, do numerycznej symulacji zalewu powodziowego doliny rzeki. Równania modelu rozwiązano metodą objętości skończonych. Model w dwuwymiarowej wersji wykorzystano do odtworzenia przejścia fali powodziowej przez fragment doliny Górnej Narwi między miejscowościami Suraż i Łapy.
-
Representation of a built-up area in the numerical simulation of urban flash flooding
PublicationPrzedstawiono wyniki modelowania powodzi miejskiej przy pomocy dwuwymiarowych równań de Saint-Venanta. Równania rozwiązano metodą objętości skończonych. Zaprezentowano dwie techniki reprezentacji obszarów zabudowanych w numerycznej symulacji powodzi - bezpośrednie wykluczenie budynków z siatki numerycznej oraz zastąpienie grup budynków terenami o znacznie zwiększonej szortkości powierzchni. W celu oceny wykorzystanych metod wykonano...
-
Odporne na wpływ tolerancji, słownikowe metody diagnostyki uszkodzeń układów elektronicznych ze specjalizowanym klasyfikatorem neuronowym
PublicationW pracy przedstawiono nową klasę słownikowych metod diagnostyki uszkodzeń parametrycznych analogowych układów elektronicznych, ze specjalizowanym klasyfikatorem neuronowym, o zwiększonej odporności na tolerancje elementów układu. Wykorzystano koncepcję polegającą na konstrukcji sygnatur słownika uszkodzeń w postaci krzywych identyfikacyjnych i zastosowaniu klasyfikatorów neuronowych dobrze dopasowanych do tych sygnatur. W pierwszej...
-
Modeling and simulation of tool cycle in manufacturing cell
PublicationThe paper addresses issues concerning modeling and analysis of tool flow within a three-machine manufacturing cell used for small batch manufacturing of a definite spectrum of prismatic parts. The approach utilizes a method for job and tool allocation to work centers with limited number of machines and capacity of tool resources, based on the analysis of formalized relations: job - tool sets required. Selected tool flow control...
-
Automatic detection and correction of detuned singing system for use with query-by-humming applications
PublicationThe aim of the paper is to present an idea of using the automatic detection and correction of detuned singing as a subsystem in query-by-humming (QBH) applications. The common approach to searching for a requested song basing on the melody retrieved from hummed pattern usually employs the so-called Parsons code or melody contour. In such a case information about sound pitch is discarded. It was thought out that an additional module...
-
Silence/noise detection for speech and music signals
PublicationThis paper introduces a novel off-line algorithm for silence/noise detection in noisy signals. The main concept of the proposed algorithm is to provide noise patterns for further signals processing i.e. noise reduction for speech enhancement. The algorithm is based on frequency domain characteristics of signals. The examples of different types of noisy signals are presented.
-
Zastosowania ontologii: Tworzenie scenariuszy negocjacyjnych z wykorzystaniem języka WS-CDL
PublicationIstnieje mozliwość formalnego zapisu przebiegu różnego rodzaju przedsięwzięć. Jedną z mozliwości zapisu scenariusza przedsięwzięcia jest wykorzystanie języka WS-CDL. Zaprezentowano metodę tworzenia konkretnej choreografii przedsięwzięcia w tym języku. Zwrócono uwagę na taniec negocjacyjny, w tym definicje ról, związków oraz typów kanałów komunikacyjnych. Dodatkowo zaproponoano środowisko wykonania scenariuszy zapisanych w tym języku.
-
Automatic detection and correction of detuned singing system for use with query-by-humming applications
PublicationThe aim of the paper is to present an idea of using the automatic detection and correction of detuned singing as a subsystem in query-by-humming (QBH) applications. The common approach to searching for a requested song basing on the melody retrieved from hummed pattern usually employs the so-called Parsons code or melody contour. In such a case information about sound pitch is discarded. It was thought out that an additional module...
-
Wykorzystanie protokołu SNMP do zdalnego monitorowania i sterowania elementami instalacji KNX
PublicationW referacie zaproponowano rozwiązanie wykorzystujące do zdalnego monitorowania i sterowania elementów systemu KNX protokół SNMP. Przedstawiono opracowaną strukturę bazy danych informacji zarządzania (MIB) dostosowaną do potrzeb instalacji KNX oraz sposób reprezentacji obiektów komunikacyjnych modułów KNX. Zaprezentowano prototyp opracowanego modułu rozszerzenia do standardowego agenta SNMP systemu Windows umożliwiający zdalne zarządzanie...
-
Finite Element model updating on experimental modal parameters
Publication -
Dydaktyczne stanowisko laboratoryjne do zdalnego zarządzania elementami instalacji elektrycznej budynku
PublicationW artykule przedstawiono metody zdalnego monitorowania i sterowania urządzeniami instalacji elektrycznej standardu KNX. W szczególności zwrócono uwagę na możliwości wykorzystania programu ETS, biblioteki Falcon, serwera OPC wraz z oprogramowaniem typu SCADA oraz sterownika umożliwiającego zdalne zarządzanie instalacją za pomocą przeglądarki internetowej z dowolnego komputera podłączonego do sieci Internet. Przedstawiono elementy...
-
Metody reprezentacji i przetwarzania wiedzy w warunkach niepewności w ontologiach opartych na logice opisowej
PublicationW rozprawie przeanalizowano różne istniejące podejścia do problemu zaufania do ontologii, a zwłaszcza te dotyczące wiarygodności źródeł i informacji w nich zawartych. Omówione rozwiązania stosują podejście numeryczne do problemu zaufania, które przysparza jednak mnóstwa problemów związanych z modelowaniem procesu przetwarzania zapytań, jak również z samą interpretacją uzyskanych wyników.W pracy zaprezentowano model systemu zarządzania...
-
Badania defektów w złączach adhezyjnych al/kompozyt węglowy z użyciem mikroskopii ultradźwiękowej
PublicationJednym z istotnych czynników decydujących o jakości złączy klejonych jest brak dużych pęcherzy i 'debondingów' w warstwie kleju. W celu wykrycia tych defektów można wykorzystać różne metody. Jedną z nich, przedstawioną w tej pracy do badań złączy adhezyjnych aluminium/kompozyt grafit/żywica epoksydowa, była mikroskopia ultradźwiękowa. Przeprowadzono próby ze sztucznymi wadami w złączu w celu oceny możliwości tej metody nie stosowanej...
-
Modelowanie scenariuszy negocjacyjnych w celu zwiększenia skuteczności realizacji przedsięwzięć zespołowych
PublicationNegocjacje są istotną częścią wielu przedsięwzięć ludzkich, również tych, które odbywają się w Internecie. Sposób ich przeprowadzania, czyli scenariusz negocjacji, wpływa bezpośrednio na ich wyniki. Możliwe jest zatem zaproponowanie takich środowisk pośredniczących i scenariuszy negocjacyjnych, które pozytywnie wpłyną na wynik negocjacji.W pracy zaproponowano miary jakościowe pozwalające ocenić negocjacje. Przedstawiono rozproszone...
-
Modelowanie zjawisk powodziowych
PublicationMiasta są zwykle wyposażone w systemy odprowadzania wód opadowych i roztopowych, składające się głównie z kanalizacji deszczowej, choć elementami systemu bywają także naturalne cieki, kanały otwarte i zbiorniki retencyjne. Nieustanne zabudowywanie zlewni wód opadowych leżących w miastach powoduje wzrost zagrożenia powodziowego. Stąd pojawia się coraz większe zainteresowanie możliwością symulacji i prognozowania przebiegu i skutków...
-
Indukcja procesu pseudostarzenia komórkowego przez inhibitory DNA topoizomerazy II i jego rola w oporności na leki przeciwnowotworowe
Publication -
Building wall boundary condition in mathematical modelling of built-up area rapid inundation
PublicationPrzedstawiono wyniki modelowania powodzi miejskiej przy pomocy dwuwymiarowych równań de Saint-Venanta. Równania rozwiązano metodą objętości skończonych. Przebadano wpływ rodzaju warunku brzegowego zadawanego na brzegach zamkniętych na wyniki obliczeń. Wyniki obliczeń porównano z pomiarami laboratoryjnymi, wykonanymi w Laboratorium hydraulicznym WILiŚ Politechniki Gdańskiej.
-
Limit States of Shallow Bridge Foundations With Sheet Piling Covers
Publication -
Kultura prawna a prawo do dobrej administracji – etyczna analiza problemu
Publication -
Review Ferenc Hörcher, A Political Philosophy of Conservatism Prudence, Moderation and Tradition, Great Britain 2020, pp. 210.
Publication -
On the lack of explicit internal criticism of contemporary personalists. An outline of the problem
Publication -
Sławomir Chrost, Podstawy pedagogii osoby, Wydawnictwo Difin, Warszawa 2022, ss. 161
Publication -
Problem zaangażowania w filozofii Józefa Tischnera – wybrane tropy
Publication -
Między światem antropologii, kultury, teologii a kinem
Publication -
Wokół antropologii i etyki Janusza Korczaka. Szkic zagadnienia i pytania otwarte
Publication -
Między zawodem a służbą. O pracy pracownika socjalnego z osobami starszymi w perspektywie etyki personalistycznej
Publication -
Prawda o „ja” dzięki relacji „ja-ty”. Poznanie prawdy o sobie samym jako problem etyczno-społeczny w kontekście zasady dialogicznej – przyczynek do dyskusji
Publication -
Zarządzanie sekcją krytyczną w rozproszonym środowisku
PublicationRozdział przedstawia metody zarządzania sekcją krytyczną w rozproszonym środowisku. W pracy zostały przedstawione algorytmy zakładania, wchodzenia do i utrzymywania sekcji krytycznej w środowisku gdzie wiele rozproszonych i~niezależnych elementów może korzystać z tych samych zasobów. Wszystkie algorytmy są oparte na zasadzie działania w sposób zdecentralizowany, tak aby uniezależnić środowisko od awarii jednego z elementów. Przedstawiona...
-
Wzrost efektywności obiegu narzędzi oparty o wykorzystanie współczynników podobieństwa i metody pojedynczego wiązania
PublicationW literaturze dotyczącej analizy skupień zaproponowanych i zdefiniowanych zostało wiele współczynników podobieństwa, które znalazły zastosowanie w różnych dziedzinach nauki. W niniejszym opracowaniu przedstawiono wykorzystanie analizy skupień w zarządzaniu obiegiem narzędzi obróbkowych w zautomatyzowanej produkcji części maszyn. Grupowaniu poddane będą narzędzia na podstawie podobieństwa wykorzystujących je procesów wytwórczych....
-
Ocena stanu organicznych powłok ochronnych w skali mikro za pomocą mikroskopu sił atomowych
PublicationOrganiczne powłoki ochronne stanowią jeden z najpowszechniej stosowanych środków ochrony antykorozyjnej materiałów konstrukcyjnych. Ich trwałość i czas eksploatacji zależą m.in. od rodzaju materiału polimerowego oraz warunków użytkowania.Wiedza na temat podatności poszczególnych powłok na degradację, mechanizmu niszczenia, miejsc inicjacji procesu degradacyjnego umożliwia prawidłową selekcję powłoki. Jednakże znaczna część technik...
-
Application of Hydrodynamics Model for a Case Study of the Kolbudy II Reservoir Embankment Hypothetical Failure
PublicationW pracy przedstawiono hydrodynamiczny model przepływu powodziowego. Jako przykład symulacji powodzi zaprezentowano hipotetyczną awarię bocznej zapory zbiornika Kolbudy II przy Elektrowni Wodnej Bielkowo. Celem symulacji było późniejsze wyznaczenie zasięgu strefy zagrożenia powodziowego wywołanego potencjalną awarią obwałowania zbiornika.
-
Metody zapewniania bezpieczeństwa systemów operacyjnych
PublicationCelem pracy było opracowanie nowych metod zapewniania bezpieczeństwa systemów operacyjnych opartych o trwały zapis istotnych danych systemowych na niemodyfikowalnych nośnikach oraz wykonanie mechanizmów kontroli dostępu do plików z wykorzystaniem skrótów kryptograficznych. Mechanizmy kontroli umożliwiają weryfikację poprawności treści plików oraz przywracanie ich oryginalnej treści w przypadku nieuprawnionej modyfikacji. Celem...
-
Samooptymalizujące adaptacyjne tłumienie zakłóceń wąskopasmowych
PublicationW rozprawie opracowano nową metodę aktywnego tłumienia niestacjonarnych zakłóceń wąskopasmowych działających na wyjściu nieznanego obiektu.Zaproponowany regulator składa się z dwóch pętli. W pętli wewnętrznej, w oparciu o bieżącą prognozę zakłócenia oraz tzw. nominalny (założony) model obiektu, wyznaczany jest sygnał sterujący. Charakterystyczną cechą tej pętli jest to, że wzmocnienie adaptacji predyktora zakłóceń jest zespolone....
-
Implementation of the Boundary Element Method to Two-Dimensional Heat Transfer with Thermal Bridge Effects
PublicationThe work presents an application of the boundary element method applied to a two-dimensional conductive heat transfer. The algorithm of the method is explained and its advantages are outlined. Green's function as a fundamental solution for Poisson's equation in two dimensions was used and the direct approach was applied. The presented results concern building construction elements as typical cases of thermal bridges. Some properties...
-
AUTOMATIC OPTIMIZATION OF ADAPTIVE NOTCH FILTER’S FREQUEN CY TRACKING
PublicationEstimation of instantaneous frequency of narrowband com- plex sinusoids is often performed using lightweight algo- rithms called adaptive notch filters. However, to reach high performance, these algorithms require careful tuning. The paper proposes a novel self-tuning layer for a recently intr o- ducedadaptive notch filtering algorithm. Analysis shows th at, under Gaussian random-walk type assumptions, the resultin g solution converges...
-
Bezpieczeństwo transmisji danych w systemie KNX
PublicationW artykule przedstawiono wymagania dotyczące bezpieczeństwa transmisji danych w rozproszonych systemach automatyki budynków oraz wskazano potrzebę wprowadzenia mechanizmów ochrony informacji w protokole komunikacyjnym standardu KNX. Zaprezentowano trzy różne metody ochrony informacji opracowane dla systemu KNX: EIBsec, KNX Data Security oraz metodę autorską. Porównano ich właściwości oraz przedstawiono potencjalne obszary zastosowań.
-
Automatic Optimization Of Adaptive Notch Filter’s Frequency Tracking
PublicationEstimation of instantaneous frequency of narrowband com- plex sinusoids is often performed using lightweight algo- rithms called adaptive notch filters. However, to reach high performance, these algorithms require careful tuning. The paper proposes a novel self-tuning layer for a recently intr o- ducedadaptive notch filtering algorithm. Analysis shows th at, under Gaussian random-walk type assumptions, the resultin g solution converges...
-
Merging extremum seeking and self-optimizing narrowband interference canceller - overdetermined case
PublicationActive cancellation systems rely on destructive interference to achieve rejection of unwanted disturbances entering the system of interest. Typical practical applications of this method employ a simple single input, single output arrangement. However, when a spatial wavefield (e.g. acoustic noise or vibration) needs to be controlled, multichannel active cancellation systems arise naturally. Among these, the so-called overdetermined...
-
The methods of secure data transmission in the KNX system
PublicationThe article presents the demands concerning data security in distributed building automation systems and shows the need for providing mechanisms of secure communication in the KNX system. Three different methods developed for KNX data protection are discussed: EIBsec, KNX Data Security and the author's method. Their properties are compared and potential areas of application are presented.
-
Nonlinear viscoelasticity in Three Dimensional filler reinforced rubber composites and nanocomposites
PublicationThis chapter describes the influence of three-dimensional nanofillers used in elastomers on the nonlinear viscoelastic properties. In particular, this part focuses and investigates the most important three-dimensional nanoparticles, which are used to produce rubber nanocomposites. The rheological and the dynamic mechanical properties of elastomeric polymers, reinforced with spherical nanoparticles, like POSS, titanium dioxide and...
-
Waveform design for fast clutter cancellation in noise radars
PublicationCanceling clutter is an important, but computation-ally intensive part of signal processing in noise radars. It is shown that considerable improvements can be made to a simple least squares canceler if minor constraints are imposed onto noise waveform. The proposed scheme is potentially capable of canceling clutter in real-time, even for high sampling rates.
-
Wybrane zagadnienia niezawodności i bezpieczeństwa transmisji danych w przemysłowych sieciach komputerowych
PublicationW referacie przedstawiono problemy dotyczące bezpieczeństwa i niezawodności transmisji danych w przemysłowych sieciach komunikacyjnych wykorzystywanych do realizacji funkcji związanych z bezpieczeństwem. Omówiona została koncepcja kanałów komunikacyjnych bezpiecznych funkcjonalnie oraz związane z nimi wymagania niezawodnościowe określone w normach PN-EN 61508-3 oraz PN-EN 61784-3. Przedstawione zostały również zagrożenia dotyczące...