Filters
total: 5080
filtered: 4072
-
Catalog
- Publications 4072 available results
- Journals 50 available results
- Conferences 7 available results
- People 147 available results
- Inventions 8 available results
- Projects 50 available results
- Laboratories 3 available results
- Research Teams 19 available results
- e-Learning Courses 602 available results
- Events 25 available results
- Open Research Data 97 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: DECLARATIVE MEMORY
-
Multi-level Virtualization and Its Impact on System Performance in Cloud Computing
PublicationThe results of benchmarking tests of multi-level virtualized environments are presented. There is analysed the performance impact of hardware virtualization, container-type isolation and programming level abstraction. The comparison is made on the basis of a proposed score metric that allows you to compare different aspects of performance. There is general performance (CPU and memory), networking, disk operations and application-like...
-
A Surveillance Of Dynamic Processes in Selected Mechatronic Systems
PublicationThe paper concerns development of original method of optimal control at energy performance index and its application to dynamic processes surveillance of some mechatronic systems. The latter concerns chatter vibration surveillance during highspeed slender milling of rigid details, as well as motion control of two-wheeled mobile platform. Results of on-line computer simulations and real performance on the target objects reflect...
-
Coherent-wave Monte Carlo method for simulating light propagation in tissue
PublicationSimulating propagation and scattering of coherent light in turbid media, such as biological tissues, is a complex problem. Numerical methods for solving Helmholtz or wave equation (e.g. finite-difference or finite-element methods) require large amount of computer memory and long computation time. This makes them impractical for simulating laser beam propagation into deep layers of tissue. Other group of methods, based on radiative...
-
How Can We Identify Electrophysiological iEEG Activities Associated with Cognitive Functions?
PublicationElectrophysiological activities of the brain are engaged in its various functions and give rise to a wide spectrum of low and high frequency oscillations in the intracranial EEG (iEEG) signals, commonly known as the brain waves. The iEEG spectral activities are distributed across networks of cortical and subcortical areas arranged into hierarchical processing streams. It remains a major challenge to identify these activities in...
-
Towards an efficient multi-stage Riemann solver for nuclear physics simulations
PublicationRelativistic numerical hydrodynamics is an important tool in high energy nuclear science. However, such simulations are extremely demanding in terms of computing power. This paper focuses on improving the speed of solving the Riemann problem with the MUSTA-FORCE algorithm by employing the CUDA parallel programming model. We also propose a new approach to 3D finite difference algorithms, which employ a GPU that uses surface memory....
-
Estimation of the uncertainty of the LEM CV 3-500 transducers processing function
PublicationThe paper presents the methodology for estimating uncertainty of a voltage transducer processing function based on the example of LEM CV 3-500 transducer. The analysis was performed using the method based on the GUM Guide propagation of uncertainty law and the Monte Carlo numerical method. The article also presents a comparative analysis of the results of a voltage measurement evaluation done using the Monte Carlo simulation method,...
-
Sterowanie systemami produkcyjnymi.
PublicationSformułowanie problemu sterowania systemem produkcyjnym jako problemu zintegrowanego sterowaniem działalnością podstawową systemu, którą jest produkcja oraz działalnościami stowarzyszonymi, którymi są: zaopatrzenie w surowce, zbyt produktów, renowacje zespołów produkcyjnych oraz działalność inwestyzyjna. Przedstawiono metodę wspomaganego komputerowo rozwiązania problemu, wykorzystując do tego celu metody dekompozycji w przestrzeni...
-
PRZYKŁADY PRAKTYCZNE ZASTOSOWANIA METOD NUMERYCZNYCH W ANALIZIE TRAKCYJNEGO UKŁADU ENERGETYCZNEGO
PublicationCechą charakterystyczną układu zasilania komunikacji trolejbusowej jest jego losowa natura spowodowana przez kongestię ruchu drogowego. Fakt ten predestynuje statystyczne i numeryczne metody dla celów analizy trakcyjnego układu zasilania. W artykule zaprezentowano 3 metody analizy trolejbusowego systemu energetycznego: symulację układu zasilania za pomocą metody Monte Carlo, analizę potencjału rekuperacji energii hamowania za pomocą...
-
The system for remote monitoring of a vertical axis wind farm
PublicationThe article presents a system for remote monitoring of working parameters of a wind turbine with a vertical axis. The monitoring system was built using a Raspberry PI 3 microcomputer with the Raspbian operating system and a MicroDAQ E2000 measuring card. The developed system enables monitoring the power output of the generator, torque on the turbine shaft, turbine speed and wind speed. The values of the monitored parameters are...
-
Towards hardware built-in support for computer system safety
PublicationArtykuł omawia dostępne technologie wirtualizacji zasobów pamięci i systemów I/O w systemach komputerowych takie jak Execute Disable Bit (EDB) capability i Virtual Machine Architecture (VMA). Nastepnie wprowadza założenia na rozszerzenie tych technologii w celu uzyskania funkcjonalności Safe Call Execution dzieki technologii Execution Disabling Policies (EDP). Wprowadzono również założenia na funkcjonalność Memory Virtualization...
-
Silo emptying in aspect of the non-destructive detection methods application
PublicationW pracy przedstawiono wyniki pomiarów zmian koncentracji w modelach silosów z zastosowaniem metod bezinwazyjnch: promieniowania rentgenowskiego, metody ECT oraz metody PIV.
-
Analiza porównawcza mocy holowania statków wyznaczona różnymi sposobami. XXIV Międzynarodowe Sympozjum Siłowni Okrętowych 2003.
PublicationZaprezentowano porównanie mocy holowania kadłubów kilku statków, wyznaczonej na podstawie badań modelowych oraz dwóch metod analitycznych: metody Kellera i metody Holtropa.
-
Automatic synthesis of parametric images in dynamic MRI imaging
PublicationArtykuł opisuje automatyczne metody czasu dojścia kontrastu (BAT) i tętniczą funkcję wejścia (AIF). Metody te porównano dla klinicznych i symulacyjnych danych.
-
Wymiarowanie na ścinanie w aspekcie szerokości rys ukośnych
PublicationW pracy dokonano porównania metody obliczania szerokości rys ukośnych według koncepcji Boriszańskiego (będącej podstawą obliczeń w polskiej normie projektowania konstrukcji żelbetowych) z procedurą bazującą na modelu kratownicowym. Rezultaty obliczen porównano z wynikami badań eksperymentalnych Leonhardta i Walthera. Porównanie wykazało znacznie lepszą zgodność metody kratownicowej w stosunku do metody PN.
-
Modyfikacja właściwości trybologicznych poliuretanów
PublicationPrzedstawiono metody modyfikacji właściwości trybologicznych poliuretanów i kompozytów poliuretanowych oraz metody badań tych właściwości. Porównano materiały pod względem odporności na zużycie i ścieranie.
-
Comparison of construction algorithms for minimal, acyclic, deterministicfinite state automata from sets of strings.
PublicationArtykuł porównuje różne metody tworzenia minimalnych, acyklicznych, deterministycznych automatów skończonych ze zbiorów słów. Wdrożone i porównane zostały metody przyrostowe, prawie przyrostowe i nieprzyrostowe.
-
Przyrządy do pomiaru parametrów uziemnień.
PublicationOmówiono metody pomiarowe stosowane najczęściej w miernikach parametrów uziemnień przeznaczonych do pracy przy częstotliwościach przemysłowych oraz uziemnień odgromowych. Oprócz metod statycznych (niskoczęstotliwościowych) i udarowych zaprezentowano metody wysokoczęstotliwościowe wykorzystywane w miernikach. Przedstawiono ograniczenia omawianych metod i niebezpieczeństwo powstania nadmiernych błędów wynikających z niedokładnej...
-
Measurement methods for assessing insulation condition of underground pipelines
PublicationThe paper discusses the most frequently applied measurement methods for assessing the quality of external insulation along pipelines and detecting defect locations in the protective coating. The quality of coating along a given pipeline section under investigation is assessed by determining unitary resistance of the coating, which is calculated on the basis of measurement results obtained along a pipeline subjected to cathodic...
-
Analysis of the parameters of respiration patterns extracted from thermal image sequences
PublicationRemote estimation of vital signs is an important and active area of research. The goal of this work was to analyze the feasibility of estimating respiration parameters from video sequences of faces recorded using a mobile thermal camera. Different estimators were analyzed and experimentally verified. It was demonstrated that the respiration rate, periodicity of respiration, and presence and length of apnea periods could be reliably...
-
Runge-Kutta bicharacteristic methods for first order partial functional di- fferential equations
PublicationW pracy prezentujemy nową klasę metod numerycznych dla równań różniczkowo-funkcyjnych. Są to metody bicharakterystyk Rungego-Kutty. Ponadto porównuje-my wprowadzone metody z metodami klasycznymi.
-
Approximate methods for functional differential equations
PublicationW pracy przedstawione są dwie klasy przybliżonych metod rozwiązywania równań różniczkowo funkcyjnych ze szczególnym uwzględnieniem równań różniczkowych z opóźnieniem. Do pierwszej klasy należą metody bezpośrednie reprezentowane w przedkładanej rozprawie przez dwukrokowe metody Rungego-Kutty. Należą one do klasy ogólnych metod liniowych rozwiązywania równań różniczkowych. Druga klasę przybliżonych metod rozwiązywania równań różniczkowo...
-
Wireless intelligent audio-video surveillance prototyping system
PublicationThe presented system is based on the Virtex6 FPGA and several supporting devices like a fast DDR3 memory, small HD camera, microphone with A/D converter, WiFi radio communication module, etc. The system is controlled by the Linux operating system. The Linux drivers for devices implemented in the system have been prepared. The system has been successfully verified in a H.264 compression accelerator prototype in which the most demanding...
-
Critical Remarks on Landauer’s principle of erasure– dissipation: Including notes on Maxwell demons and Szilard engines
PublicationWe briefly address Landauer’s Principle and some related issues in thermal demons. We show that an error-free Turing computer works in the zero-entropy limit, which proves Landauer’s derivation incorrect. To have a physical logic gate, memory or information-engine, a few essential components necessary for the operation of these devices are often neglected, such as various aspects of control, damping and the fluctuation–dissipation...
-
Sharp transitions in low-number quantum dots Bayesian magnetometry
PublicationWe consider Bayesian estimate of static magnetic field, characterized by a prior Gaussian probability distribution, in systems of a few electron quantum dot spins interacting with infinite temperature spin environment via hyperfine interaction. Sudden transitions among optimal states and measurements are observed. Usefulness of measuring occupation levels is shown for all times of the evolution, together with the role of entanglement...
-
Hybrid Technique for the EM Scattering Analysis with the Use of Ring Domain Decomposition
PublicationA hybrid technique combining finite-element and mode-matching methods for the analysis of scattering problems in open space is presented here. The main idea is based on impedance matrix descriptions of the boundary surrounding the discrete computational domain and combine it with external field described analytically. The discrete analysis, which is the most time- and memory-consuming, is limited here only to the close proximity...
-
Zastosowanie algorytmu ewolucyjnego do trenowania jednokierunkowych płaskich sztucznych sieci neuronowych
PublicationW artykule przedstawiono zastosowanie algorytmu ewolucyjnego do trenowania jednokierunkowych, płaskich, sztucznych sieci neuronowych. Przy użyciu proponowanej metody wytrenowano trzy sieci neuronowe do klasyfikacji problemu parity-3, parity-4 oraz parity-5. Otrzymane wyniki porównano z wynikami uzyskanymi przy użyciu metody wstecznej propagacji błędu ze wględu na liczbę iteracji potrzebną do wytrenowania danej sieci oraz ze względu...
-
Dysfunctional prefrontal cortical network activity and interactions following cannabinoid receptor activation.
PublicationCoordinated activity spanning anatomically distributed neuronal networks underpins cognition and mediates limbic-cortical interactions during learning, memory, and decision-making. We used CP55940, a potent agonist of brain cannabinoid receptors known to disrupt coordinated activity in hippocampus, to investigate the roles of network oscillations during hippocampal and medial prefrontal cortical (mPFC) interactions in rats. During...
-
Gesture Recognition With the Linear Optical Sensor and Recurrent Neural Networks
PublicationIn this paper, the optical linear sensor, a representative of low-resolution sensors, was investigated in the multiclass recognition of near-field hand gestures. The recurrent neural network (RNN) with a gated recurrent unit (GRU) memory cell was utilized as a gestures classifier. A set of 27 gestures was collected from a group of volunteers. The 27 000 sequences obtained were divided into training, validation, and test subsets....
-
Advanced Control With PLC—Code Generator for aMPC Controller Implementation and Cooperation With External Computational Server for Dealing With Multidimensionality, Constraints and LMI Based Robustness
PublicationThe manufacturers of Programmable Logic Controllers (PLC) usually equip their products with extremely simple control algorithms, such as PID and on-off regulators. However, modern PLCs have much more efficient processors and extensive memory, which enables implementing more sophisticated controllers. The paper discusses issues related to the implementation of matrix operations, time limitations for code execution within one PLC...
-
Metodyka pomiaru naprężeń własnych z wykorzystaniem efektu Barkhausena
PublicationPrzedstawiono podstawowe informacje dotyczące opracowanej na Politechnice Gdańskiej metodyki wyznaczania naprężeń z wykorzystaniem efektu Barkhausena. Wyjasniono załaożenia metody oraz podano pzrykłądy wykorzystania tej metody w praktyce przemysłowej.
-
Rozdział 3. Symptomy i sygnatury niesprawnej pracy ustabilizowanych cieplnie bloków energetycznych
PublicationOpisano metody budowania relacji diagnostycznych dla siłowni parowych pracujących w realnych warunkach eksploatacji. Zajęto się problemem dokładności relacji diagnostycznych cieplno-przepływowych budowanych w oparciu o opisywane metody.
-
Metoda diagnozowania układu łożyskowania silnika okrętowego na podstawie wyników badań emisji akustycznej w warunkach eksploatacji
PublicationReferat przedstawia wykorzystywane obecnie metody diagnozowania łożysk głównych silników okrętowych. Stanowi wprowadzenie do dalszej analizy oraz oceny stanu technicznego łożysk ślizgowych szczególnie przy wykorzystaniu metody emisji akustycznej.
-
Soft modeling support for managing knowledge-based information technology (IT)
PublicationW pracy omówiono metody miękkiego modelowania. Wskazano na możliwości zastosowania tych metod do wspomagania tworzenia systemów opartych na wiedzy. Omówiono także metody oparte na teorii zbiorów rozmytych.
-
Wyszukiwanie i eksploracja obrazów medycznych na podstawie ich treści
PublicationPrzedstawiono metody wyszukiwania obrazów medycznych na podstawie podobień- stwa treści. Zaprezentowano architekturę systemu wyszukiwania oraz metodykę wyszukiwania: algebrę obrazów, cechy i deskryptory oraz metody analizy po- dobieństwa.
-
Wykorzystanie reakcji PCR do badania charakterystycznych obszarów genomu
PublicationW pracy zostały opisane metody wykorzystujące technię PCR do długo- i krótkoterminowych badań epidemiologicznych. Typowanie szczepów oparte jest na analizie fragmentów genów, bądź całego genomu w zależności od potrzeby posiadania potencjału różnicującego metody. Przez ostatnie 30 lat rozwijały się nie tylko metody badawcze, doszło również do rozwoju międzynarodowych baz danych i przepływu informacji o obecnych sytuacjach epidemiologicznych...
-
Zapożyczenie z badań marketingowych do badania rzeczywistości projektowej
PublicationBadanie rzeczywistości projektowej jest istotne zarówno z punktu widzenia dydaktyki, jak i prowadzenia badań w inżynierii oprogramowania. Podczas opracowywania efektywnej metody badania rzeczywistości projektowej można wykorzystać wiedzę z innych dyscyplin. W referacie zaprezentowano zapożyczenie metody projektowania badania z dziedziny badań marketingowych. Kolejne rozdziały zawierają: opis zapożyczenia, zarys metody podlegającej...
-
Badanie metod detekcji pierwszego prążka odpowiedzi impulsowej kanału na bazie sygnałów DS-CDMA z propagacją wielodrogową
PublicationW niniejszym artykule przedstawiono różne metody detekcji pierwszego prążka odpowiedzi impulsowej oraz dokonano porównania działania tych metod pomiędzy sobą. Analizie poddano siedem metod detekcji, wśród których wyróżnia się metody detekcji maksimum oraz metody progowe. Działanie zaimplementowanych metod zostało sprawdzone przy użyciu próbek sygnałów DS-CDMA pochodzących z kampanii pomiarowych mających miejsce na terenach miejskich...
-
Porównanie nowych metod fingerprintingu i deszyfracji do zabezpieczania obrazów kolorowych
PublicationW artykule porównano nowe metody łącznego fingerprintingu i deszyfracji JFD (ang. Joint Fingerprinting and Decryption) dla obrazów kolorowych zaproponowane w rozprawie doktorskiej dr inż. Bartosza Czaplewskiego. Metody porównano z innymi metodami JFD znanymi z literatury. Metody zostały porównane w kontekście niezauważalności fingerprintów, odporności na szum, odporności na kompresję, odporności na ataki zmowy, oraz odporności...
-
Electrocatalytic gas sensor response analysis
PublicationW pracy przedstawiono i porównano metody analizy odpowiedzi elektrokatalitycznych czujników gazów toksycznych. Opisane metody pozwalają na ekstrakcje z odpowiediz czujników informacji o rodzaju gazu oraz o jego stężeniu.
-
Building ethics online course - australian and polish case study
PublicationPrzedstawiono koncepcje i metody tworzenia szkolenia internetowego przez zespół międzynarodowy. Zaprezentowano zawartość szkolenia i metody oceny uczestników. Dla zainteresowanych udostępniono szkolenie na stronach internetowych Centrum Edukacji Niestacjonarnej Politechniki Gdańskiej.
-
Diagnostyka i modernizacja konstrukcji nawierzchni drogowych. Diagnostyka, monitoring i modernizacja eksploatowanych obiektów budowlanych.
PublicationArtykuł przedstawia metody diagnostyki oraz metody modernizacji konstrukcji nawierzchni drogowej w Polsce, w porównaniu do światowych osiągnięć w tej dziedzinie. Artykuł przedstawia kolejno: opis potrzeb modernizacji nawierzchni drogowych oraz jej rolę w Systemie Zarządzania Nawierzchniami (PMS), metody oceny cech funkcjonalnych i strukturalnych nawierzchni, metody modernizacji i remontów nawierzchni. Główny nacisk położono na...
-
Nowa metoda wymiarowania żelbetowych słupów uzwojonych w ujęciu nowelizowanej normy PN-B-03264.
PublicationW artykule przedstawiono nową metodę wymiarowania słupów uzwojonych w ujęciu nowelizowanej normy PN-B-03264. Podano przyczyny wprowadzenia opisywanych w artykule zmian i przedstawiono wcześniejsze próby modyfikacji sposobu obliczania nośności słupów uzwojonych w ujęciu normowym. Przeprowadzono dyskusję wyników obliczeń uzyskiwanych za pomocą nowej metody na tle wyników uzyskiwanych za pomocą dotychczasowej metody normowej, oraz...
-
Applications of spin coating of polymer precursor and slurrysuspensions for Solid Oxide Fuel Cell fabrication
PublicationW pracy przedstawiono możliwości zastosowania w tlenkowych ogniwach paliwowych metody nanoszenia wirowego prekursorów polimerowych i zawiesin. Przedstawiono przykłady zastosowania tej metody do wytworzenia elektrolitu oraz warstw ochronnych dla stali nierdzewnych.
-
Application of Electrical Capacitance Tomography for bulk solids flow analysis in silos
PublicationW artykule przedstawiono wyniki aplikacji metody ECT w analizie przepływów materiałów sypkich, zarówno bezkohezyjnych, jak również kohezyjnych. Omówiono podstawy techniczne metody ECT, przeprowadzono dyskusje parametrów zmiennych (zagęszczenie początkowe, szorstkość ścian).
-
Comparative study of methods for artificial neural network training.
PublicationPrzedstawiono wyniki badań porównawczych następujących metod uczenia sieci neuronowych: propagacji wstecznej błędów, rekursywnej metody najmniejszych kwadratów, metody Zangwill'a i algorytmów ewolucyjnych. Badania dotyczyły projektowania adaptacyjnego regulatora neuronowego napięcia generatora synchronicznego.
-
Compressed Projection Bases for Model-Order Reduction of Multiport Microwave Components Using FEM
PublicationThis paper presents a projection basis compression technique for generating compact reduced-order models (ROM) in the FE analysis of microwave devices. In this approach redundancy is removed from the projection basis by means of the proper orthogonal decomposition technique applied to the projected system of linear equations. Compression allows for keeping the size of a reduced-order model as small as possible without compromising...
-
Evaluating Performance and Accuracy Improvements for Attention-OCR
PublicationIn this paper we evaluated a set of potential improvements to the successful Attention-OCR architecture, designed to predict multiline text from unconstrained scenes in real-world images. We investigated the impact of several optimizations on model’s accuracy, including employing dynamic RNNs (Recurrent Neural Networks), scheduled sampling, BiLSTM (Bidirectional Long Short-Term Memory) and a modified attention model. BiLSTM was...
-
Abandoned heritage – the first European airports
PublicationDue to the development of air transport and urban expansion, the locations of pre-war airports were often changed. The question of the fate of the abandoned airports and their entire infrastructure arose. This article looks at the issue of derelict, pre-war airfields. Examples of airports which were successfully adapted as well as the ones which were abandoned and closed yet but equally important in historical context are shown....
-
On FE modelling of fully saturated soils
PublicationPrzedstawiono podstawy modelowania gruntów nasyconych w ramach metody elementów skończonych. Przedstawiono szczegółowo podstawowe równania różniczkowe problemu oraz ich słabą formę potrzebną w dyskretyzacji w metodzie elementów skończonych. Porównano dwie podstawowe metody formułowania elementów skończonych: uproszczoną u-p oraz pełną u-p-w. Omówiono podstawowe różnice i ograniczenia metody uproszczonej. Artykuł w swej rozszerzonej...
-
Mechanizm zapewniania ciągłości transmisji w sytuacji awarii elementów bezprzewodowej sieci na morzu
PublicationPrzedstawiono charakterystykę metody niezawodnej transmisji w ramach bezprzewodowej architektury sieci Internetu na Bałtyku (zaprojektowanej bez wykorzystania łączy satelitarnych), rozwijanej w ramach projektu netBaltic. Szczególny nacisk położono na opis i weryfikację charakterystyk metody transmisji dla scenariusza awarii wielu elementów sieci. Dokonano zarówno szczegółowego opisu proponowanej metody transmisji, jak i weryfikacji...