Filtry
wszystkich: 1879
-
Katalog
- Publikacje 1113 wyników po odfiltrowaniu
- Czasopisma 25 wyników po odfiltrowaniu
- Konferencje 16 wyników po odfiltrowaniu
- Osoby 51 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 2 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Kursy Online 599 wyników po odfiltrowaniu
- Dane Badawcze 70 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: MINIMIZATION OF AUTOMATA
-
Decomposition of the induced magnetism degaussing problem for fast determination of currents in demagnetization coils wrapped outside an object under arbitrary external field conditions
PublikacjaSafe 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
PublikacjaThis 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
PublikacjaThe 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...
-
Samouczek automa
Kursy OnlineKurs do testów
-
Systemy sterowania i wspomagania decyzji [st. niestacjonarne] [2017/18]
Kursy OnlineKurs dla studentów studiów niestacjonarnych II stopnia, kierunek: Automatyka i Robotyka , specjalność Automatyka przemysłowa.
-
The Innovative Faculty for Innovative Technologies
PublikacjaA 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
PublikacjaThis 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
PublikacjaIn 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
PublikacjaThe 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
PublikacjaThe 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
PublikacjaW 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
PublikacjaW 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
PublikacjaW 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
PublikacjaRozważ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
PublikacjaW 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
PublikacjaStreszczenie: 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
PublikacjaW 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
PublikacjaW 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
PublikacjaThis 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
PublikacjaW 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
PublikacjaW 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
PublikacjaRozważ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
PublikacjaNiniejsza 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
PublikacjaW 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
PublikacjaIstnieje 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)
PublikacjaW 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
Publikacjaartykuł 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
PublikacjaW 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
PublikacjaThe 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.
PublikacjaThe 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
PublikacjaAnalysis 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
PublikacjaDesign 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
PublikacjaMany 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
PublikacjaThe 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
PublikacjaWe 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...
-
Selected aspects of the design of artificial organs
Kursy Onlinedla III stopnia EiT+IBM
-
Installation of Compensators in the Power System Transmission Grid
PublikacjaThe 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.
-
Automatyka w inżynierii środowiska
Kursy OnlineAutomatyka w inżynierii środowiska. II stopień, sem 1, studia niestacjonarne 2021/22
-
Mechatronika i Automatyka Pojazdów
Kursy Online -
Spectral measurement of birefringence using particle swarm optimization analysis
PublikacjaThe 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
PublikacjaCognitive 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
PublikacjaA 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
PublikacjaArtykuł 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
PublikacjaSafety 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
PublikacjaThis 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
PublikacjaIn 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
PublikacjaRozdział 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.
-
Internationalization of Firm
Kursy Online -
Essentials of statistics
Kursy Online -
Internationalization of Firm
Kursy Online