Filters
total: 1395
-
Catalog
- Publications 1126 available results
- Journals 45 available results
- Conferences 19 available results
- Publishing Houses 1 available results
- People 66 available results
- Projects 7 available results
- e-Learning Courses 35 available results
- Events 3 available results
- Open Research Data 93 available results
displaying 1000 best results Help
Search results for: browser automation
-
Using MusicXML to evaluate accuracy of OMR Systems
PublicationIn this paper a methodology for automatic accuracy evaluation in optical music recognition (OMR) applications is proposed. Presented approach assumes using ground truth images together with digital music scores describing their content. The automatic evaluation algorithm measures differences between the tested score and the reference one, both stored in MusicXML format. Some preliminary test results of this approach are presented...
-
Current risk analysis and management issues in technical systems.
PublicationDealing with the reliability and safety of industrial hazardous plants requires taking into account relevant interdisciplinary scientific knowledge and some existing approaches based on so-called good engineering practice, also those included in the international standards and guidelines. In this article an approach is proposed how to integrate the functional safety concept with information security aspects in the design and management...
-
Web-based 3D processing and dissemination of multibeam sonar data
PublicationThe continuous detailed surveys of the various water bodies over time produce a large and ever-increasing volume and density of underwater sounding data. Three-dimensional data, such as those obtained by multibeam sonar systems, are quite complex to manage, and thus their growing numbers increase the pressure on development of new solutions dedicated to processing them. This paper presents a concept system for web-based dissemination...
-
Cross-Platform Real-Time Nuclear Reactor Basic Principle Simulator
PublicationAbstract—In the paper several approaches to building the real-time basic principle simulators of nuclear reactor processes are presented and their characteristics are analyzed. The characteristics of developed simulators for MATLAB/Simulink including their limitations, and the idea of a cross-platform simulator independent of specific hardware or software are presented. Mathematical models of selected nuclear reactor’s processes...
-
Dynamiczna aplikacja Internetowa ASP.NET silnika indukcyjnego jako elementu wirtualnego laboratorium maszyn elektrycznych
PublicationTematem referatu jest dynamiczna aplikacja internetowa, która umożliwia symulację obwodową silnika indukcyjnego trójfazowego Sg 100 L2 z wykorzystaniem interfejsu przeglądarki WWW. Model matematyczny silnika jest zdefiniowany w tzw. osiach naturalnych i sformułowany na podstawie metody energetycznej Lagrange’a. Do implementacji modelu maszyny w aplikacji internetowej wybrano projekt typu Web Forms, który jest składnikiem środowiska...
-
OPERATION OF TWO-SHAFT GAS TURBINE IN THE RANGE OF OPEN ANTI-SURGE VALVE
PublicationThis paper presents experimental tests of full-scale two-shaft gas turbine in the range of open anti-surge valve (ASV). The tests were carried out in a laboratory gas- turbine test stand belonging to Department of Automation and Power Engineering , Faculty of Ocean Engineering and Ship Technology , Gdańsk University of Technology. The tests covered the start-up and low load operation of the turbine set in the range of open...
-
Classifying type of vehicles on the basis of data extracted from audio signal characteristics
PublicationThe aim of this study is to find and optimize a feature vector for an automatic recognition of the type of vehicles, extracted form an audio signal. First, the influence of weather-based conditions of road surface on spectral characteristic of the audio signal recorded from a passing vehicle in close proximity to the road is discussed. Next, parameterization of the recorded audio signal is performed. For that purpose, the MIRtoolbox,...
-
Perfect hashing tree automata
PublicationWe present an algorithm that computes a function that assigns consecutive integers to trees recognized by a deterministic, acyclic, finite-state, bottom-up tree automaton. Such function is called minimal perfect hashing. It can be used to identify trees recognized by the automaton. Its value may be seen as an index in some other data structures. We also present an algorithm for inverted hashing.Przedstawiamy algorytm, który oblicza...
-
The Effect of Welding Conditions on Mechanical Properties of Superduplex Stainless Steel Welded Joints
PublicationThe tests results of superduplex stainless steel welded joints made with a different heat input, using automatic submerged arc welding (SAW) and semi-automatic flux-cored arc welding (FCAW) have been presented. Metallographic examinations, the measurements of the ferrite content, the width of the heat affected zone (HAZ) and the hardness of the welds in characteristic areas have been performed. Significant differences in the amount of...
-
Bifurcation of equilibrium forms of an elastic rod on a two-parameter Winkler foundation
PublicationWe consider two-parameter bifurcation of equilibrium states of an elastic rod on a deformable foundation. Our main theorem shows that bifurcation occurs if and only if the linearization of our problem has nontrivial solutions. In fact our proof, based on the concept of the Brouwer degree, gives more, namely that from each bifurcation point there branches off a continuum of solutions.
-
Epitaph of Ferber family in St. Mary's Church in Gdańsk
Open Research DataThe data set concerns epigraphy. It refers to the epitaph placed in St. Mary’s Church in Gdańsk, that is dedicated to one of the greatest family in Gdańsk – family Ferber, and one of its member – Konstantin Ferber, whose official career was crowned with the function of mayor of city. The epitaph was erected by his brother John Ferber, the juror, councilor...
-
Passing from requirements specification to class model using application domain ontology
PublicationThe quality of a classic software engineering process depends on the completeness of project documents and on the inter-phase consistency. In this paper, a method for passing from the requirement specification to the class model is proposed. First, a developer browses the text of the requirements, extracts the word sequences, and places them as terms into the glossary. Next, the internal ontology logic for the glossary needs to...
-
Feature extraction in detection and recognition of graphical objects
PublicationDetection and recognition of graphic objects in images are of great and growing importance in many areas, such as medical and industrial diagnostics, control systems in automation and robotics, or various types of security systems, including biometric security systems related to the recognition of the face or iris of the eye. In addition, there are all systems that facilitate the personal life of the blind people, visually impaired...
-
Deduplication of Position Data and Global Identification of Objects Tracked in Distributed Vessel Monitoring System
PublicationVessel monitoring systems (VMS) play a very important role in safety navigation. In most cases, their structure is distributed and they are based on two data sources, namely Automatic Identification System (AIS) and Automatic Radar Plotting Aids (ARPA). Such approach results in several objects identification and position data duplication problems, which need to be solved in order to ensure the correct performance of a given VMS....
-
Deduplication of Tracked Objects Position Data at Single Observation Point of a Vessel Monitoring System
PublicationVessel Monitoring System (VMS) play a major role in safety navigation. In most cases they are based on two data sources, namely Automatic Identification System (AIS) and Automatic Radar Plotting Aids (ARPA). Integration of data obtained from these sources is an important problem, which needs to be solved in order to ensure the correct performance of a given VMS. In this paper basic functions which should be implemented in a tracked...
-
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata
PublicationWe describe a technique that maps unranked trees to arbitrary hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to other hashing techniques based on automata, our procedure builds a pseudo-minimal DTA for this purpose. A pseudo-minimal automaton may be larger than the minimal one accepting the same language but, in turn, it contains proper elements (states or transitions that are unique) for every input...
-
The generalization by simplification operator with the Simplify Building tool of objects representing groups of buildings in Gdańsk district - scale 1:10000. Data from OSM
Open Research DataThe process of automatic generalization is one of the elements of spatial data preparation for the purpose of creating digital cartographic studies. The presented data include a part of the process of generalization of building groups obtained from the Open Street Map databases (OSM) [1].
-
A New Adaptive Method for the Extraction of Steel Design Structures from an Integrated Point Cloud
Open Research DataA new automatic and adaptive algorithm for edge extraction from a random point cloud was developed and presented herein. The proposed algorithm was tested using real measurement data. The developed algorithm is able to realistically reduce the amount of redundant data and correctly extract stable edges representing the geometric structures of a studied...
-
Perfect hashing with pseudo-minimal bottom-up deterministic tree automata
PublicationWe describe a technique that maps unranked trees to their hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to techniques implemented with minimal tree automata, our procedure builds a pseudo-minimal DTA. Pseudo-minimal automata are larger than the minimal ones but in turn the mapping can be arbitrary, so it can be determined prior to the automaton construction. We also provide procedures to build incrementally...
-
Alternative Energy: Photovoltaic Solar Cells
PublicationSolar radiation is a fuel for photovoltaic cells and modules, which are a source of electric energy. Viable solar technologies that have been developed in the past are starting to be adopted on a broader and more meaningful global scale across different sectors with ever-increasing market penetration. In this entry, a brief overview of the material properties relevant to solar cell operation, the structure of the solar cell, and electrical...
-
Krzysztof Jan Kaliński prof. dr hab. inż.
PeopleKrzysztof J. Kaliński completed his MSc study at Gdańsk University of Technology (GUT) Faculty of Production Engineering (1980, result – get a first). He obtained PhD at GUT Faculty of Machine Building (1988, result – get a first), DSc at GUT Faculty of Mechanical Engineering (ME) (2002, result – get a first), and professor’s title – w 2013 r. In 2015 r. he became full professor.His research area includes: theoretical and applied...
-
Further developments of parameterization methods of audio stream analysis for secuirty purposes
PublicationThe paper presents an automatic sound recognition algorithm intended for application in an audiovisual security monitoring system. A distributed character of security systems does not allow for simultaneous observation of multiple multimedia streams, thus an automatic recognition algorithm must be introduced. In the paper, a module for the parameterization and automatic detection of audio events is described. The spectral analyses...
-
From U2TP Models to Executable Tests with TTCN-3
PublicationThe approach towards system engineering according to Model-Driven Architectures (MDA) with code generation derived from model implies also an increased need for research on automation of the test generation process. This paper presents an approach to derive executable tests from UML 2.0 Testing Profile diagrams automatically. In particular, an approach to derive executable tests within the Testing and Test Control Notation (TTCN-3)...
-
The generalization of objects representing groups of buildings in the Kartuzy district by simplification operator with the Simplify Building tool - scale 1:10000. Data from OSM.
Open Research DataThe process of automatic generalization is one of the elements of spatial data preparation for the purpose of creating digital cartographic studies. The presented data include a part of the process of generalization of building groups obtained from the Open Street Map databases (OSM) [1].
-
Ethylene decomposition on TiO2 - UV and Fluorescence lamp
Open Research DataData contain chromatograms recorded during decomposition of ethylene flowing over TiO2 through the quartz tubular shape reactor. TiO2 was coated onto glass plates with dimension of 2cmx2cm, in total 3 plates were used and placed inside reactor. Reactor was irradiated by UV (Special 'TL'E, Philips) or fluorescent (Lumilux, OSRAM) 3 ring-shaped lamps,...
-
AngioScore: An artificial intelligence tool to assess coronary artery lesions
PublicationThe functionality scope of the AngioScore tool in semi-automatic assessment of stenoses according to the SYNTAX scale was presented. An evaluation of the preliminary accuracy of AngioScore in lesion assessment was performed.
-
Expert opinion on the effectiveness of protection against electric shock in case of fault in an installation for electric vehicles charging
PublicationThe opinion concerns the use of residual current devices for protection against electric shock by automatic disconnection of supply in a Norwegian installation intended for charging of electric vehicles.
-
Business processes implementation using agent systems
PublicationThis paper will show that some complex and repetitive actions performed in a company can be modelled for the sake of optimization and automaton. It is achieved by connecting business processes management and agent paradigms. Moreover it shows that organization structure can be mapped to distributed multi agent system. Finally it states that interorganization communication can be automated on the same basis as intra-organization...
-
Preserving Trees in Automata
PublicationWe present a method to store additional information in a minimal automaton so that it is possible to compute a corresponding tree node number for a state. The number can then be used to retrieve additional information. The method works for minimal (and any other) deterministic acyclic finite state automata (DFAs). We also show how to compute the inverse mapping.
-
Gradient versus proper gradient homotopies
PublicationWe compare the sets of homotopy classes of gradient and proper gradient vector fields in the plane. Namely, we show that gradient and proper gradient homotopy classi cations are essentially different. We provide a complete description of the sets of homotopy classes of gradient maps from R^n to R^n and proper gradient maps from R^2 to R^2 with the Brouwer degree greater or equal to zero.
-
Hossein Nejatbakhsh Esfahani Dr.
PeopleMy research interests lie primarily in the area of Learning-based Safety-Critical Control Systems, for which I leverage the following concepts and tools:-Robust/Optimal Control-Reinforcement Learning-Model Predictive Control-Data-Driven Control-Control Barrier Function-Risk-Averse Controland with applications to:-Aerial and Marine robotics (fixed-wing UAVs, autonomous ships and underwater vehicles)-Multi-Robot and Networked Control...
-
Driverless Mobility: The Impact on Metropolitan Spatial Structures
PublicationDiffusion of emerging technologies is following the need of solving particular problems. Each innovation produce also some undesirable consequences. Many examples from the past have shown that along with the spread of each technology their side effects are accumulating until the level they need to be solved. One of the examples is automobile, which advantages and disadvantages were already described including its spatial consequences....
-
Dobór odmiany metody podharmonicznej do filtracji zakłóceń w pomiarach rezystancji uziemienia
PublicationIstotnym problemem występujacym podczas badania uziemień przeznaczonych do pracy przy częstotliwościach technicznych jest wpływ zakłóceń na wynik pomiaru. Bardzo dobre efekty w eliminacji tych zakłóceń mozna osiągnąć wykorzystując metodę szczególnego próbkowania (MSP)przy jednoczesnym zastosowaniu pradu pomiarowego o częstotliwości będacej podharmoniczną w odniesieniu do częstotliwości sygnałów zakłócających. W artykule przedstawiono...
-
Nowoczesne systemy magnetometryczne
PublicationW pracy przedstawiono metodę magnetometryczną oraz opisano nowoczesne systemy magnetometryczne. Systemy magnetometryczne znajdują zastosowanie szczególnie w geologii, w archeologii oraz w urządzeniach militarnych. Do pomiaru indukcji magnetycznej stosowane są precyzyjne magnetometry typu SQUID, pompowane optycznie, Overhauser'a, protonowe oraz transduktorowe.
-
Estymacja napięcia niezrównoważenia w obwodzie pośredniczącym falownika trójpoziomowego NPC na podstawie analizy prądów wyjściowych
PublicationZaproponowano prostą i skuteczną metodę wyznaczania wartości napięcia niezrównoważenia w obwodzie pośredniczącym trójpoziomowego falownika NPC (ang. Neutral-Point-Clamped). Zastosowanie proponowanej metody nie wymaga dodatkowych czujników pomiarowych, a nakłady obliczeniowe na realizację algorytmu są niewielkie. Do wyznaczania napięcia niezrównoważenia wykorzystuje się informacje zawarte w mierzonych prądach wyjściowych falownika....
-
Implementacja cyfrowego systemu rozmytego w układzie FPGA
PublicationW artykule przedstawiono praktyczną implementację cyfrowego systemu rozmytego w układzie FPGA. Poszczególne zbiory rozmyte posiadają swój kod, który wykorzystywany jest do adresowania pamięci przechowujacej reguły. Wykorzystana technika adresowania znacznie przyspiesza proces obliczeń w porównaniu do szeregowego przetwarzania reguł.
-
Wpływ zewnętrznych czynników zakłócajacych na dokładność pomiarów rezystancji statycznej i udarowej uziemień
PublicationPodstawowym parametrem charakteryzującym skuteczność działania uziemienia jest jego rezystancja. Dla uziemień odgromowych powinna ona być wyznaczana przy wymuszeniu udarowym zaś dla uziemień ochronnych i roboczych przy częstotliwościach bliskich częstotliwości sieci. W referacie omówiono wpływ czynników zakłócajacych takich jak prądy błądzące czy rezystancja sond pomocniczych na dokładność wyznaczania rezystancji uziemień metodą...
-
Nowe zastosowania sygnałów komplementarnych o projektowanych kształtach do testowania elektronicznych systemów wbudowanych
PublicationPrzedstawiono koncepcję zastosowania sygnałów komplementarnych o projektowanych kształtach do testowania części analogowych elektronicznych systemów wbudowanych, za pomocą BISTów wykorzystujących ograniczone środki mikrokontrolera sterującego. Istotą metody jest pobudzanie układu testowanego sygnałem komplementarnym o specjalnie zaprojektowanym kształcie, którego parametry są dopasowane do nominalnych położeń biegunów transmitancji...
-
Modelowanie pomiaru spirometrycznego - wartości referencyjne parametrów modelu
PublicationW pracy przedstawiono propozycję wykorzystania wyników modelowania pomiaru spirometrycznego do celów diagnostycznych. W praktyce lekarskiej interpretację wyników spirometrii wykonuje się w odniesieniu do wartości referencyjnych uzyskanych dla reprezentatywnej populacji osób zdrowych. Zastosowanie praktyczne modelu wymaga określenia wartości referencyjnych parametrów modelu w zależności od cech antropologicznych pacjenta. Zaprezentowano...
-
Optymalizacja pobudzeń dla celów identyfikacji parametrów modeli zmiennych stanu
PublicationW pracy omówiono zagadnienie optymalizacji pobudzeń dla celów identy-fikacji parametrów modeli kompartmentowych systemów farmakokine-tycznych opisanych w kategoriach zmiennych stanu. Przedstawiono pobu-dzenia optymalne zaprojektowane według kryterium A-optymalności. Zaprojektowane pobudzenia optymalne, w obrębie klasy pobudzeń o ograniczonej energii, zapewniają maksymalną osiągalną dokładność estymat parametrów. W farmakokinetyce...
-
Container monitoring system
PublicationW pracy przedstawiono koncepcję systemu monitorowania kontenerów przewożonych drogą morską. Scharakteryzowano główne cechy oraz przedstawiono modułowo-warstwowy schemat funkcjonalny. Ponadto opisano założenia funkcjonalno-użytkowe dotyczące Inteligentnego Modułu Kontenerowego (SCM), będącego podstawowym elementem składowym systemu. Przedstawiono również główne zadania projektowe związane z realizacją projektu
-
Mobilny system monitoringu jakości powietrza
PublicationZaprezentowano mobilny system monitoringu, który umożliwia kontrolę zanieczyszczeń powietrza atmosferycznego wzdłuż ciągów komunikacyjnych. W opracowanym systemie stacja monitorująca charakteryzuje się stosunkowo niewielkimi rozmiarami i zawiera układ elektroniczny autorskiego rozwiązania do pomiaru, zapisu i transmisji drogą radiową na serwer www pomierzonych stężeń związków chemicznych. Opracowane rozwiązanie jest stosunkowo...
-
Polimerowe czujniki wilgotności na bazie polietylenoiminy
PublicationPrzedstawiono wyniki badań nad polimerowymi czujnikami wilgotności na bazie polietylenoiminy (PEI). PEI jest rozpuszczalną w wodzie poliaminą. Praktyczne wykorzystanie PEI możliwe jest po ograniczeniu jej rozpuszczalności w wodzie. W pracy opisano metody chemicznej modyfikacji filmu polimerowego, jak również stosowane rozwiązania konstrukcyjne, mające na celu poprawę trwałości i właściwości metrologicznych czujników wilgotności....
-
System optoelektroniczny do kontroli procesów μPA CVD
PublicationPrzedstawiono prototyp optoelektronicznego systemu do monitorowania in-situ procesu CVD, wspomaganych plazmą mikrofalową. System składa się z układu optycznej spektroskopii emisyjnej OES oraz specjalizowanego spektroskopu ramanowskiego RS. Umożliwia on równoczesne monitorowanie składu plazmy oraz określanie dynamiki wzrostu i zawartości defektów warstwy. Przedstawiono wyniki badań przebiegu procesu wytwarzania warstw diamentopodobnych...
-
Metody analizy szumu telegrafistów przyrządów półprzewodnikowych
PublicationScharakteryzowano szum telegrafistów (Random Telegraph Signal - RTS), który może występować w szumie własnym przyrządów półprze-wodnikowych, jako składowa niegaussowska. Podkreślono, że szum telegrafistów jest efektem defektów materiałów zastosowanych w produk-cji przyrządów półprzewodnikowych lub nieprawidłowości procesu pro-dukcyjnego. Przedstawiono metody identyfikacji wielopoziomowego szumu telegrafistów, na przykładzie przebiegów...
-
Program wspomagający wyznaczanie parametrów modeli procesu przepływu gazu
PublicationJedną z wielkości decydujących o zgodności wyników symulacyjnych i eksperymentalnych napędu pneumatycznego jest masowe natężenie przepływu gazu. Do jego opisu wykorzystywane są różne modele matematyczne, o eksperymentalnie wyznaczonych współczynnikach.W pracy przedstawiono program komputerowy umożliwiający wyznaczanie tych współczynników.
-
Lokalizacja tekstu w obrazie
PublicationW naturalnym otoczeniu człowieka znajduje się duża ilość łatwo rozpoznawalnej informacji przedstawionej w postaci znaków graficznych i tekstu. Informacja taka jest bardzo przydatna w poruszaniu się w środowisku miejskim. Niestety, osoby z upośledzonymi funkcjami wzroku w sposób oczywisty pozbawione są możliwości korzystania z tego rodzaju przekazu. Istniejące na rynku systemy rozpoznawania tekstu (OCR) nie są niestety dostosowane...
-
Spektroskopia elektro-ultradźwiękowa warystorów wysokonapięciowych
PublicationPrzedstawiono nową nieniszczącą metodę wykrywania defektów dwójni-ków. W metodzie wykorzystuje się wzajemne oddziaływanie fononów ultradźwiękowych i elektronów wskutek istnienia defektu powodującego nieliniowości. Testowana próbka jest pobudzana przez sygnały harmo-niczne: elektryczny i ultradźwiękowy o różnych częstotliwościach. Wsku-tek nieliniowości powodowanej przez defekt struktury próbki powstaje nowy sygnał harmoniczny o...
-
Identyfikacja ciągłoczasowych modeli obiektów niestacjonarnych
PublicationW pracy przedstawiono metody estymacji parametrycznej liniowych modeli obiektów niestacjonarnych. Dynamikę obiektów identyfikacji modelowano za pomocą równań różniczkowych zwyczajnych o znanym rzędzie. Ponieważ klasyczne algorytmy estymacji parametrycznej nadają się do przetwarzania danych rejestrowanych w sposób dyskretny, rozważono i porównano różne techniki dyskretnej aproksymacji modeli z czasem ciągłym. W szczególności zastosowanie...
-
Dostosowanie parametrów modelu procesu do warunków badań symulacyjnych, na przykładzie napędu pneumatycznego
PublicationNiekiedy parametry opisujące właściwości procesu czy elementu wyznaczane są eksperymentalnie (przykładowo: współczynniki tarcia par kinematycznych, współczynnik wymiarowy zaworu Kv). Często procedury ich wyznaczania objęte są normami bądź opisanymi w literaturze i szeroko stosowanymi metodykami. Nie zawsze jednak modele matematyczne wykorzystywane do wyznaczania wartości parametrów opisujących właściwości mogą być wykorzystane...