Filters
total: 1879
filtered: 1113
-
Catalog
- Publications 1113 available results
- Journals 25 available results
- Conferences 16 available results
- People 51 available results
- Inventions 1 available results
- Projects 2 available results
- Research Teams 2 available results
- e-Learning Courses 599 available results
- Open Research Data 70 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: MINIMIZATION OF AUTOMATA
-
Mathematical modelling and computer simulation of activated sludge systems.Second edition
PublicationMathematical Modelling and Computer Simulation of Activated Sludge Systems – Second Edition, provides, from the process engineering perspective, a comprehensive and up-to-date overview regarding various aspects of the mechanistic (“white box”) modelling and simulation of advanced activated sludge systems performing biological nutrient removal. In the new edition of the book, a special focus is given to nitrogen removal and an overview...
-
Decomposition of the induced magnetism degaussing problem for fast determination of currents in demagnetization coils wrapped outside an object under arbitrary external field conditions
PublicationSafe passage of ships in the presence of sea mines can be ensured by limiting or reducing the ship’s magnetic footprint. For vessels with plastic hulls, the main component that requires magnetic damping is the engine. Demagnetization of such an object can be achieved by wrapping it with coils and setting the direct current appropriately. For each specific geographic location, the currents in the coils can be determined iteratively...
-
An Ultra-Low-Energy Analog Comparator for A/D Converters in CMOS Image Sensors
PublicationThis paper proposes a new solution of an ultra-low-energy analog comparator, dedicated to slope analog-to-digital converters (ADC), particularly suited for CMOS image sensors (CISs) featuring a large number of ADCs. For massively parallel imaging arrays, this number may be as high as tens-hundreds of thousands ADCs. As each ADC includes an analog comparator, the number of these comparators in CIS is always high. Detailed analysis...
-
Analysis of IMS/NGN Call Processing Performance Using Phase-Type Distributions Based on Experimental Histograms
PublicationThe paper describes our further research done with the proposed analytical and simulation traffic models of the Next Generation Network (NGN), which is standardized for delivering multimedia services with strict quality and includes elements of the IP Multimedia Subsystem (IMS). The aim of our models of a single IMS/NGN domain is to evaluate two standardized call processing performance parameters, which appropriate values are very...
-
The Innovative Faculty for Innovative Technologies
PublicationA leaflet describing Faculty of Electronics, Telecommunications and Informatics, Gdańsk University of Technology. Multimedia Systems Department described laboratories and prototypes of: Auditory-visual attention stimulator, Automatic video event detection, Object re-identification application for multi-camera surveillance systems, Object Tracking and Automatic Master-Slave PTZ Camera Positioning System, Passive Acoustic Radar,...
-
Corrosion monitoring by harmonic analysis in aqueous environments
PublicationThis paper presents tests concerning the rate of corrosion in non-alloy steel (type S235JR) in an aqueous environment, with an additive of sodium chloride by means of polarization resistance measurements and harmonic analysis. The tests have been carried out for steel samples exposed to the testing environment for six weeks, in order to obtain a constant rate of corrosion in the function of time. The measurements have aimed at...
-
Parameters optimization in medicine supporting image recognition algorithms
PublicationIn this paper, a procedure of automatic set up of image recognition algorithms' parameters is proposed, for the purpose of reducing the time needed for algorithms' development. The procedure is presented on two medicine supporting algorithms, performing bleeding detection in endoscopic images. Since the algorithms contain multiple parameters which must be specified, empirical testing is usually required to optimise the algorithm's...
-
Ribosomal intergenic spacer analysis as a tool for monitoring methanogenic archaea changes in an anaerobic digester
PublicationThe applicability of a newly-designed PCR primer pair in examination of methanogenic Archaea in a digester treating plant biomass was evaluated by Ribosmal Intergenic Spacer Analysis (RISA). To find a suitable approach, three variants of RISA were tested: (1) standard, polyacrylamide gel-based, (2) automated, utilized capillary electrophoresis (GA-ARISA), and (3) automated microfluidics-based (MF-ARISA). All three techniques yielded...
-
Using similar classification tasks in feature extractor learning
PublicationThe article presents and experimentally verify the idea of automatic construction of feature extractors in classification problems. The extractors are created by genetic programming techniques using classification examples taken from other problems then the problem under consideration.
-
Komputerowy symulator algorytmów synchronizacji obiektów elektroenergetycznych
PublicationW artykule opisano istotę i różnorodność sposobów synchronizacji obiektów elektroenergetycznych oraz strukturę opracowanego i wykonanego dla celów badawczych, symulatora algorytmów synchronizacji. Przedstawiono architekturę blokową symulatora i jego powiązanie z procesem synchronizacji prądnic, opisano oprogramowanie symulatora oraz wskazano na szeroki zakres jego stosowalności oraz dużą użyteczność praktyczną.
-
Algorytm branch-and-bound dla pewnego problemu szeregowania zadań uwarunkowanych czasowo
PublicationW artykule został przedstawiony algorytm branch-and-bound dla problemu szeregowania zadań uwarunkowanych czasowo 1 | pi = 1 + aisi | sum Ci. Przedstawiono także wyniki eksperymentów komputerowych prezentujących wydajność algorytmu. Zastosowanie przedstawionego algorytmu umożliwia powiększenie "obliczalnych" rozmiarów instancji o 6-10 zadań w stosunku do algorytmu pełnego przeszukiwania.
-
Porównanie algorytmów ważonego umieszczania grafów w grafach minimalizujących opóźnienia komunikacyjne
PublicationW artykule omówiono i porównano zaimplementowane algorytmy ważonego umieszczania grafów w grafach. Z uwagi na obliczeniową trudność problemu ogólnego większość przedstawionych podejść to heurystyki. Dla ograniczonych instancji problemu zaproponowano podejście dokładne oparte o ideę backtrackingu. W pracy zawarto porównanie algorytmów pod względem czasów działania i jakości uzyskanych rozwiązań. Algorytmy zaimplementowane zostały...
-
Gwarantowanie bezpieczeństwa w systemie z połączeniami awaryjnymi
PublicationRozważamy zapewnianie bezpieczeństwa przed zewnętrznym intruzem w systemie o topologii drzewa, w którym wprowadzono dodatkowe połączenia awaryjne. Grupa mobilnych autonomicznych agentów musi przechwycić intruza, niezależnie od przyjętej przez niego strategii unikania. W literaturze problem ten jest modelowany jako przeszukiwanie grafów. W pracy zawężamy dotychczasowe oszacowanie na liczbę przeszukiwawczą kaktusów podkubicznych,...
-
Szeregowanie zadań wieloprocesorowych metodą kolorowania hiperkrawędzi
PublicationW artykule rozważamy problem szeregowania jednostkowych zadań wieloprocesorowych na procesorach dedykowanych z repetycją zadań i ograniczeniami dostępności. Prezentujemy zebrane wyniki złożoności dla różnych typów instancji powyższego problemu szeregowania z kryteriami długości harmonogramu, sumy czasów zakończenia zadań i kosztu całkowitego. Problem ten opisujemy modelem kolorowania krawędzi różnych klas hipergrafów.
-
Algorytm selekcji klonalnej w marszrutowaniu pojazdów
PublicationStreszczenie: Algorytmy selekcji klonalnej (SK) to algorytmy optymalizacji dyskretnej należące do klasy sztucznych systemów immunologicznych. W pracy przedstawiamy zastosowanie algorytmu SK do rozwiązywania NP-trudnego problemu Capacitated Vehicle Routing Problem (CVRP). Praca zawiera opis algorytmu i jego adaptacji do CVRP, wyniki badań nad parametrami algorytmu oraz eksperymentów komputerowych porównujących efektywność SK z algorytmem...
-
Diagnostyka przepływu materiału sypkiego podczas opróżniania smukłego silsu ze ścianami szorstkimi
PublicationW pracy przedstwiono analizę zmina koncentracji materiału sypkiego w silosie ze ścianami gładkimi oraz bardzo szorstkimi przeprowadzoną na podstawie danych surowych i danych zrekonstruowanych
-
Łączenie urządzeń wyposażonych w interfejs szeregowy RS-232 z siecią komputerową w oparciu o mikromoduł MMnet02
PublicationW artykule przedstawiono strukturę opracowanego i wykonanego układu opartego na platformie mikroserwera MMnet02, który umożliwia nadrzędne sterownie urządzeniami komunikującymi się poprzez interfejs szeregowy RS-232. Jako przykład urządzenia wykorzystanego do sterowania za pośrednictwem sieci komputerowej wykorzystano regulator pogodowy firmy Danfoss, który udostępnia odczyt i możliwość zmiany wybranych parametrów regulacji poprzez...
-
Acoustic Processor of the MCM Sonar
PublicationThis paper presents the concept of an acoustic processor of the mine countermeasure sonar. Developed at the Department of Marine Electronics Systems, Gdansk University of Technology, the acoustic processor is an element of the MG-89, a modernised underwater acoustic station. The focus of the article is on the modules of the processor. They are responsible for sampling analogue signals and implementing the algorithms controlling...
-
Farmy wiatrowe w układach nadrzędnej regulacji napięcia i mocy biernej
PublicationW artykule przedstawiono koncepcję włączenia farm wiatrowych w proces regulacji napięcia i mocy biernej w węzłach wytwórczych i elektrownianych.
-
Monitorowanie procesu łączenia synchronicznych obiektów elektroenergetycznych
PublicationW artykule opisano system sterowania i monitorowania procesu łączenia synchronicznych obiektów elektroenergetycznych, opracowany i wykonany szczególnie dla celów badawczych, na etapie weryfikacji nowo proponowanych rozwiązań. System ten pozwala na proste sterowanie procesem synchronizacji, szybką i wygodną rejestrację wielu przebiegów i parametrów procesu, a także na łatwą oraz szybką implementację w nim, nowo opracowywanych rozwiązań...
-
Szeregowanie zadań sprzężonych metodą kolorowania grafów
PublicationRozważono problem szeregowania zadań sprzężonych na pojedynczym procesorze w obecności ograniczeń kolejnościowych. Zidentyfikowano przypadki wielomianowe dla tego zagadnienia NP-trudnego.
-
Wybrane zastosowania niestandardowych modeli kolorowania w szeregowniu dwu-procesowych zadań jednostkowych
PublicationNiniejsza praca poświęcona jest wykorzystaniu teorii chromatycznej grafów wszeregowaniu. Koncepcja ta polega na przedstawieniu zbioru zadań w postaci krawędzi tzw. grafu konfliktów.
-
Warianty algorytmu Tabu Search w zastosowaniu harmonogramów zajęć szkolnych
PublicationW niniejszej pracy przedstawiono warianty adaptacji przeszukiwania tabu wrazz wynikami eksperymentów obliczeniowych do układania szkolnych harmonogramówzajęć. W modelu teoretycznym uwzględniono ograniczenia krytyczne jak np.konflikty czasowe uczestników zajęć (nauczyciele i uczniowie) oraz brakprzerw w zajęciach (eliminacja okienek) wybranych uczestników, jak równieżniekrytyczne składniki funkcji celu jak np. równomierne...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Wyznaczanie gętości upakowania materiału sypkiego w silosie na podstawie danych pomiarowych elektrycznej tomografii pojemnościowej (ECT)
PublicationW artykule przedstwiono wyniki wstępnych badan majacych na celu określenie ilościowej zalezności pomiedzy zmianami koncentracji 9wskaźnika porowatości) o wiekościa pomieroznych zmian pojemności elektord pomiarowych stosowanych w elektrycznej Tomografii Pojemnościowej. Pomiary wykonao dla przypadku różnego zagęszczenia początkowego silosu cylindrycznego.
-
Jak szybko gasić pożar, czyli przypadek szeregowania zadań czasowozależnych
Publicationartykuł poświęcony jest planowaniu pracy brygad strażackich walczących z pożarami lasu. model matematyczny, który tutaj zastosowano to szeregowanie zadań uwarunkowanych czasowo. przedyskutowano złożoność problemu w przypadku zastosowania dwóch kryteriów optymalizacji: długości harmonogramu i średniego czasu przepływu. pokazano, że w ogólności nie istnieją uszeregowania idealne, zapewniające minimalizację obu kryteriów jednocześnie
-
Application of Particle Image Velocimetry method for monitoring the volume changes during silo flow on the basis of X-radiographs
PublicationW artykule przedstawiono wyniki badań nad zastosowaniem techniki pomiarowej PIV (Particle Image Velocimetry) do analizy zmian objętościowych zachodzących w materiale sypkim w czasie opróżniania silosu prostokątnego. Jako mateirły do analizy wykorzystano cyfrowe radiografy uzyskane z kontynualnej rejestracji z użyciem systemu tomografii promieni X. Szcególny nacisk położono na analizę zmian objętościowych zachodzącyh w kanale przepływu.
-
Examining Influence of Distance to Microphone on Accuracy of Speech Recognition
PublicationThe problem of controlling a machine by the distant-talking speaker without a necessity of handheld or body-worn equipment usage is considered. A laboratory setup is introduced for examination of performance of the developed automatic speech recognition system fed by direct and by distant speech acquired by microphones placed at three different distances from the speaker (0.5 m to 1.5 m). For feature extraction from the voice signal...
-
Design of synchronous generator two inputs regulator based on hinf control theory.
PublicationThe power system is highly nonlinear system, its dynamics depends on system network configuration, system loading… etc. To overcome the above mentioned difficulties and fulfill the performance requirements the different control methods are considered and tested for design of synchronous generator control system. Application of the H optimization method to synchronous generator regulator based on measurement of generator voltage...
-
Green chromatography
PublicationAnalysis of organic compounds in samples characterized by different composition of the matrix is very important in many areas. A vast majority of organic compound determinations are performed using gas or liquid chromatographic methods. It is thus very important that these methods have negligible environmental impact. Chromatographic techniques have the potential to be greener at all steps of the analysis, from sample collection...
-
Variable-Fidelity Simulation Models and Sparse Gradient Updates for Cost-Efficient Optimization of Compact Antenna Input Characteristics
PublicationDesign of antennas for the Internet of Things (IoT) applications requires taking into account several performance figures, both electrical (e.g., impedance matching) and field (gain, radiation pattern), but also physical constraints, primarily concerning size limitation. Fulfillment of stringent specifications necessitates the development of topologically complex structures described by a large number of geometry parameters that...
-
Optimization of hybrid parallel application execution in heterogeneous high performance computing systems considering execution time and power consumption
PublicationMany important computational problems require utilization of high performance computing (HPC) systems that consist of multi-level structures combining higher and higher numbers of devices with various characteristics. Utilizing full power of such systems requires programming parallel applications that are hybrid in two meanings: they can utilize parallelism on multiple levels at the same time and combine together programming interfaces...
-
Parallelization of large vector similarity computations in a hybrid CPU+GPU environment
PublicationThe paper presents design, implementation and tuning of a hybrid parallel OpenMP+CUDA code for computation of similarity between pairs of a large number of multidimensional vectors. The problem has a wide range of applications, and consequently its optimization is of high importance, especially on currently widespread hybrid CPU+GPU systems targeted in the paper. The following are presented and tested for computation of all vector...
-
TINKTEP: A fully self-consistent, mutually polarizable QM/MM approach based on the AMOEBA force field
PublicationWe present a novel quantum mechanical/molecular mechanics (QM/MM) approach in which a quantum subsystem is coupled to a classical subsystem described by the AMOEBA polarizable force field. Our approach permits mutual polarization between the QM and MM subsystems, effected through multipolar electrostatics. Self-consistency is achieved for both the QM and MM subsystems through a total energy minimization scheme. We provide an expression...
-
Installation of Compensators in the Power System Transmission Grid
PublicationThe article discusses issues of reactive power compensation in transmission grids, with particular focus on the selection of compensator locations and basic parameters. Attention was focused on modern power electronics systems that ensure full automatic compensator adjustment to voltage or power criteria.
-
Spectral measurement of birefringence using particle swarm optimization analysis
PublicationThe measurement of birefringence is useful for the examination of both technical and biological objects. One of the main problems is that the polarization state of light in birefringent media changes periodically. Without the knowledge of the period number, the birefringence of a given medium cannot be determined reliably. We propose to analyse the spectrum of light in order to determine the birefringence. We use a Particle Swarm...
-
Exploring Stock Traders’ Cognitive Biases: Research Design and Simulator Framework
PublicationCognitive bias is a phenomenon that has been extensively studied in stock trading and many other fields. This paper presents a framework for a Mobile Stock Trading Simulator (MSTS) that facilitates automatic investment in stocks with minimal human influence, by investigating the behavioral patterns and cognitive errors of stock market investors. The paper aims to determine whether investors’ investment strategies can be improved...
-
Mispronunciation Detection in Non-Native (L2) English with Uncertainty Modeling
PublicationA common approach to the automatic detection of mispronunciation in language learning is to recognize the phonemes produced by a student and compare it to the expected pronunciation of a native speaker. This approach makes two simplifying assumptions: a) phonemes can be recognized from speech with high accuracy, b) there is a single correct way for a sentence to be pronounced. These assumptions do not always hold, which can result...
-
Monitoring Parkinson's disease patients employing biometric sensors and rule-based data processing
PublicationArtykuł prezentuje automatyczny system wykrywania pogorszenia zdrowia pacjentów z chorobą Parkinsona opracowany w ramach projektu PERFORM.The paper presents how rule-based processing can be applied to automatically evaluate the motor state of Parkinson's Disease patients. Automatic monitoring of patients by using biometric sensors can provide assessment of the Parkinson's Disease symptoms. All data on PD patients' state are compared...
-
A Framework of A Ship Domain-Based Near-Miss Detection Method Using Mamdani Neuro-Fuzzy Classification
PublicationSafety analysis of navigation over a given area may cover application of various risk measures for ship collisions. One of them is percentage of the so called near- miss situations (potential collision situations). In this article a method of automatic detection of such situations based on the data from Automatic Identification System (AIS), is proposed. The method utilizes input parameters such as: collision risk measure based...
-
A system automating repairs of IT systems
PublicationThis paper presents two problems that are important nowadays: the problem of IT systems monitoring and the problem of repairing them. It shows the developed solution, aimed to automate the existing industrial repair process and to integrate it with the existing monitoring solutions and mechanisms. Described solution is a part of a bigger whole, called the Repair Management Framework (RMF). This paper presents also briefly a case...
-
Objects classification based on their physical sizes for detection of events in camera images
PublicationIn the paper, a method of estimation of the physical sizes of the objects tracked in the video surveillance system, and a simple module for object classification based on the estimated physical sizes, are presented. The results of object classification are then used for automatic detection of various types of events in the camera image.
-
Języki i gramatyki formalne
PublicationRozdział zawiera wprowadzenie do teorii języków formalnych, gramatyk i automatów. Przedstawione zostały podstawowe pojęcia i definicje oraz przykłady dotyczące w szczególności analizy leksykalnej, składniowej i semantycznej zdań w językach formalnych.
-
Aestheticization of Flowcharts
PublicationOne of the important issues of diagrams is their aesthetics. In this paper a method of its formalization for freehand drawn flowcharts is proposed. In order to formalize the evaluation of flowcharts' aesthetics a criterion consisting of several measures is proposed. Based on this criterion the algorithms for automatic optimization of flowcharts' appearance are proposed.
-
Emotion Recognition for Affect Aware Video Games
PublicationIn this paper the idea of affect aware video games is presented. A brief review of automatic multimodal affect recognition of facial expressions and emotions is given. The first result of emotions recognition using depth data as well as prototype affect aware video game are presented
-
MACHINE LEARNING–BASED ANALYSIS OF ENGLISH LATERAL ALLOPHONES
PublicationAutomatic classification methods, such as artificial neural networks (ANNs), the k-nearest neighbor (kNN) and selforganizing maps (SOMs), are applied to allophone analysis based on recorded speech. A list of 650 words was created for that purpose, containing positionally and/or contextually conditioned allophones. For each word, a group of 16 native and non-native speakers were audio-video recorded, from which seven native speakers’...
-
Acoustic radar employing particle velocity sensors
PublicationA concept, practical realization and applications of a passive acoustic radar to automatic localization, tracking of sound sources were presented in the paper. The device consist of the new kind of multichannel miniature sound intensity sensors and a group of digital signal processing algorithms. Contrary to active radars, it does not emit the scanning beam but after receiving surroundings sounds it provide information about the...
-
DEEP LEARNING BASED ON X-RAY IMAGING IMPROVES COXARTHROSIS DETECTION
PublicationObjective: The purpose of the study was to create an Artificial Neural Network (ANN) based on X-ray images of the pelvis, as an additional tool to automate and improve the diagnosis of coxarthrosis. The research is focused on joint space narrowing, which is a radiological symptom showing the thinning of the articular cartilage layer, which is translucent to X-rays. It is the first and the most important of the radiological signs...
-
Image Segmentation of MRI image for Brain Tumor Detection
Publicationthis research work presents a new technique for brain tumor detection by the combination of Watershed algorithm with Fuzzy K-means and Fuzzy C-means (KIFCM) clustering. The MATLAB based proposed simulation model is used to improve the computational simplicity, noise sensitivities, and accuracy rate of segmentation, detection and extraction from MR...
-
Photonic sensor to detect rapid changes in CRP levels
PublicationOne of the most important biomarkers used to determine inflammation is C-reactive protein (CRP). Its level, when it is within the range that does not define inflammation, informs about the risk of cardiovascular events. If the norm is exceeded and inflammation is detected in the body, CRP level can increase 1000 times within a few hours. The type of infection can also be determined based on the level of elevated CRP. All this makes...