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
-
Adaptive Method for Modeling of Temporal Dependencies between Fields of Vision in Multi-Camera Surveillance Systems
PublicationA method of modeling the time of object transition between given pairs of cameras based on the Gaussian Mixture Model (GMM) is proposed in this article. Temporal dependencies modeling is a part of object re-identification based on the multi-camera experimental framework. The previously utilized Expectation-Maximization (EM) approach, requiring setting the number of mixtures arbitrarily as an input parameter, was extended with the...
-
Graph decomposition for improving memoryless periodic exploration
PublicationW ostatnich latach często badanym problem jest eksploracja anonimowych grafów z lokalnymi etykietami portów przy każdym wierzchołku. Niedawno pokazano [Czyzowicz et al., Proc. SIROCCO'09], że dla każdego grafu istnieje poetykietowanie prowadzące do eksploracji przez automat bezpamięciowy z okresem co najwyżej 13n/3. W niniejszej pracy poprawiamy to ograniczenie do 4n-2, stosując całkowicie nową technikę dekompozycji grafu.
-
Robot Eye Perspective in Perceiving Facial Expressions in Interaction with Children with Autism
PublicationThe paper concerns automatic facial expression analysis applied in a study of natural “in the wild” interaction between children with autism and a social robot. The paper reports a study that analyzed the recordings captured via a camera located in the eye of a robot. Children with autism exhibit a diverse level of deficits, including ones in social interaction and emotional expression. The aim of the study was to explore the possibility...
-
Trustworthy Applications of ML Algorithms in Medicine - Discussion and Preliminary Results for a Problem of Small Vessels Disease Diagnosis.
PublicationML algorithms are very effective tools for medical data analyzing, especially at image recognition. Although they cannot be considered as a stand-alone diagnostic tool, because it is a black-box, it can certainly be a medical support that minimize negative effect of human-factors. In high-risk domains, not only the correct diagnosis is important, but also the reasoning behind it. Therefore, it is important to focus on trustworthiness...
-
Discovering interactions between applications with log analysis
PublicationApplication logs record the behavior of a system during its runtime and their analysis can provide useful information. In this article, we propose a method of automated log analysis to discover interactions taking place between applications in an enterprise. We believe that such an automated approach can greatly support enterprise architects in building an up-to-date view of a governed system in a modern, fast-paced development...
-
Semantic Memory for Avatars in Cyberspace
PublicationAvatars that show intelligent behavior should have an access to general knowledge about the world, knowledge that humans store in their semantic memories. The simplest knowledge representation for semantic memory is based on the Concept Description Vectors (CDVs) that store, for each concept, an information whether a given property can be applied to this concept or not. Unfortunately large-scale semantic memories are not available....
-
A Goal-Oriented Error Estimator for Reduced Basis Method Modeling of Microwave Devices
PublicationThis letter proposes a novel a-posteriori error estimator suitable for the reduced order modeling of microwave circuits. Unlike the existing error estimators based on impedance function residuals, the new one exploits the residual error associated with the computation of the scattering matrix. The estimator can be effectively used in the Reduced Basis Method (RBM) to automatically generate reduced-order models. The results of numerical...
-
Properties of Oxygen Vacancy and Hydrogen Interstitial Defects in Strontium Titanate: DFT + Ud,p Calculations
PublicationThis work presents extensive theoretical studies focused on the mixed ion-electron transport in cubic strontium titanate (STO). A new approach to the description of this difficult system was developed within the framework of linear-scaling Kohn–Sham density functional theory, as realized in the ONETEP program. The description we present is free of any empirical parameters and relies on the Hubbard U and Hund’s J corrections applied...
-
Matching Exception Class Hierarchies between .NET, Java Environments
PublicationThe paper presents a methodology of exception classification and matching exception messages between .NET andJava environments. The methodology operates on existing exception class hierarchies and proposes two complementingapproaches: automated and manual matching. The automated matching uses the similarity measure to find associationsbetween exception messages from the two sets of classes for the considered programming languages....
-
Potential and Use of the Googlenet Ann for the Purposes of Inland Water Ships Classification
PublicationThis article presents an analysis of the possibilities of using the pre-degraded GoogLeNet artificial neural network to classify inland vessels. Inland water authorities monitor the intensity of the vessels via CCTV. Such classification seems to be an improvement in their statutory tasks. The automatic classification of the inland vessels from video recording is a one of the main objectives of the Automatic Ship Recognition and...
-
Verification of safety in low-voltage power systems without nuisance tripping of residual current devices
PublicationLow-voltage power systems require initial and periodical verification to check the effectiveness of protection against electric shock. As a protection in case of fault, automatic disconnection of supply is most often used. To verify such a protection measure, the earth fault loop impedance or resistance is measured. This measurement is easy to perform in circuits without residual current devices. When residual current devices are...
-
Methods for physical impairment constrained routing with selected protection in all-optical networks
PublicationIn this paper, we investigate the problem of survivable all-optical routing in WDM networks with physical impairments. One of the recent key issues in survivable optical network design refers to maximization of the ratio of routeable demands while keeping the overall network cost low. In WDM networks, this goal can be achieved by routing as many demands in all-optical way as possible. Based on the latest technical trends driven...
-
Thermal Instability of Gold Thin Films
PublicationThe disintegration of a continuous metallic thin film leads to the formation of isolated islands, which can be used for the preparation of plasmonic structures. The transformation mechanism is driven by a thermally accelerated diffusion that leads to the minimalization of surface free energy in the system. In this paper, we report the results of our study on the disintegration of gold thin film and the formation of nanoislands...
-
Music Information Retrieval in Music Repositories
PublicationThis chapter reviews the key concepts associated with automated Music Information Retrieval (MIR). First, current research trends and system solutions in terms of music retrieval and music recommendation are discussed. Next, experiments performed on a constructed music database are presented. A proposal for music retrieval and annotation aided by gaze tracking is also discussed.
-
Strategia nauk technicznych do roku 2020 - propozycje
PublicationW pracy przedstawiono strategię proponowaną przez Wydział IV Nauk Technicznych PAN w perspektywie wieloletniej. Opisano założenia, cele strategiczne i uwarunkowania rozwoju nauk informacyjnych (informatyka, automatyka, robotyka, telekomunikacja) mikro- i nanotechnologii, optoelektroniki, bioinżynierii, systemów energetycznych i nowych źródeł energii.
-
THE INFLUENCE OF QUESTION SET ON STUDENT QUIZ RESULTS
PublicationThe advent of e-Learning tools allowing for automated online test grading will probably increase the frequency of using tests in technical education. The same tools may provide for measures of test question quality. By purposely crafting question sets, test grading may serve different goals. The paper contains examples and test study with score histograms.
-
Guido: a musical score recognition system
PublicationThis paper presents an optical music recognition system Guido that can automatically recognize the main musical symbols of music scores that were scanned or taken by a digital camera. The application is based on object model of musical notation and uses linguistic approach for symbol interpretation and error correction. The system offers musical editor with a partially automatic error correction.
-
Dynamika przemian przestrzennych miasta i jej symulacja z wykorzystaniem modelu komórkowego na przykładzie rozwoju urbanistycznego aglomeracji gdańskiej
PublicationPrzedmiotem rozprawy jest zagadnienie dynamiki przemian przestrzennych miasta w ujęciu teorii samoorganizacji, która stanowi fragment matematycznej teorii systemów dynamicznych. Rozprawa poświęcona została poznaniu możliwości opisywania i symulacji history¬cznych przekształceń, aktualnych procesów przestrzennych i potencjalnych scenariuszy rozwoju złożonych miejskich układów osadniczych. Badania i prowadzone na ich podstawie...
-
Hybridization of valuation procedures as a medicine supporting the real estate market and sustainable land use development during the covid-19 pandemic and afterwards
PublicationCurrently we are facing the pandemic situation that occur all over the world. Regardless the country or even the region, the negative consequences that are expected could be very big and the level of crisis is not predictable. This situation is the challenge for the real estate market as well. Due to this fact, the authors believe that there is the time when deep transformation of approaches, procedures and awareness related to...
-
Parametrized Local Reduced-Order Models With Compressed Projection Basis for Fast Parameter-Dependent Finite-Element Analysis
PublicationThis paper proposes an automated parametric local model-order reduction scheme for the expedited design of microwave devices using the full-wave finite-element method (FEM). The approach proposed here results in parameterized reduced-order models (ROMs) that account for the geometry and material variation in the selected subregion of the structure. In each subregion, a parameter-dependent projection basis is generated by concatenating...
-
Behavioral state classification in epileptic brain using intracranial electrophysiology
PublicationOBJECTIVE: Automated behavioral state classification can benefit next generation implantable epilepsy devices. In this study we explored the feasibility of automated awake (AW) and slow wave sleep (SWS) classification using wide bandwidth intracranial EEG (iEEG) in patients undergoing evaluation for epilepsy surgery. APPROACH: Data from seven patients (age [Formula: see text], 4 women) who underwent intracranial depth electrode...
-
Analysis of diagnostic informativeness of the exhaust temperature of a naval gas turbine
PublicationThe conducted investigations aimed to carry out an analysis of the possibility that the failures identification in the automatic control system of a gas turbine engine could be worked out on the basis of measurements of the exhaust stream temperature behind the gas generator. The exhaust temperature represents a basic control parameter, enabling technical state evaluation of the engine within the operation process, which is observed...
-
Application of Semantic Knowledge Management System in Selected Areas of Polish Public Administration
PublicationThis paper describes an application of semantic technologies and knowledge management systems in chosen areas of Polish public administration. Short analyses of crisis management and EU policy coordination processes are presented. An architecture of a knowledge management system with interfaces using controlled natural language is proposed. A lot of examples are shown that prove a usefulness of semantic knowledge management and...
-
Comparison of induction motor bearing diagnostic test results through vibration and stator current measurement
PublicationThe paper discusses results of tests performed by authors, related to the angine bearings diagnostic using vibration and stator current measurements. The paper contains the description of an automatic measurement system, developed for measurement of those harmonics and processing that to obtain bearing diagnostic information. System was tested on objects with intentionally made defects in bearings, results of this test was also...
-
Substrate-integrated waveguide (SIW) filter design using space mapping
PublicationIn this paper, we present a fast technique for an automated design of microwave filters in substrate integrated wave (SIW) technology. The proposed methodology combines the space mapping technique with a cost function defined using the location of complex zeros and poles of filter’s transfer and reflection function and uses a rectangular waveguide as a surrogate model. The effectiveness of the proposed technique is presented with...
-
Gazetteer compression technique based on substructure recognition
PublicationAutomaty skończone są najlepszą formą reprezentacji słowników do przetwarzania języka naturalnego. Przedstawiamy nową technikę kompresji, która jest szczególnie użyteczna w stosunku do pewnego rodzaju słowników. Zastępujemy wielokrotnie występujące podstruktury ich niepowtarzalnymi reprezentantami. Do ich znalezienia traktujemy wektor przejść jako tekst i stosujemy technikę kompresji tekstu w stylu Ziv-Lempel, która znajduje powtórzenia...
-
Recognition, understanding and aestheticization of freehand drawing flowcharts
PublicationIn this paper a concept of FCA, a system for recognizing, understanding and aestheticization of freehand drawing flow charts is described. The system is based on a proposed by the author FlowGram graph grammar describing flow charts drawing. An open format FlowChartML for flow charts description is also proposed. The aestheticization criterion is formulated that allows for automatic beautification of flow charts. First experiments...
-
Musical Instrument Tagging Using Data Augmentation and Effective Noisy Data Processing
PublicationDeveloping signal processing methods to extract information automatically has potential in several applications, for example searching for multimedia based on its audio content, making context-aware mobile applications (e.g., tuning apps), or pre-processing for an automatic mixing system. However, the last-mentioned application needs a significant amount of research to reliably recognize real musical instruments in recordings....
-
Online Sound Restoration for Digital Library Applications
PublicationA system for sound restoration was conceived and engineered having the following features: no special sound restoration software is needed to perform audio restoration by the user, the process of restoration employs automatic reduction of noise, wow and impulse distortions performed in the online mode, no skills in digital signal processing from the user are needed. The principles of the created system and its features as well...
-
KONCEPCJA WSPÓŁPRACY SYSTEMU STRUMIENIOWEJ TRANSMISJI DANYCH CZASU RZECZYWISTEGO STRADAR Z EUROPEJSKIM SYSTEMEM EUROSUR
PublicationPrzedstawiono koncepcję współpracy systemów STRADAR i EUROSUR, w celu wymiany informacji związanych z ochroną granic UE. Opisano cechy zrealizowanego demonstratora STRADAR i zasady komunikacji oraz bezpieczeństwa wymiany informacji w systemie EUROSUR. Opisano warianty wymiany infor-macji pomiędzy systemami STRADAR i EUROSUR, od najprostszych, możliwych do zastosowania w obecnej wersji STRADAR, do zautomatyzowanych, wymagających...
-
Applying Generative Modelling Tools to Explore Architectural Forms
PublicationThe digital generative methods open up new areas for exploration of formal and tectonic features, accentuate form’s ability to emerge and perform. They allow for automatic generation of variations of solutions, and digital production of “difficult” components of architectural forms using CNC technology.The paper deals with contemporary architectural explorations of complex , curvilinear surfaces in the context of generative...
-
Extending Continuous Integration with Post-mortem Debug Automation of Unhandled Exceptions Occurred in Kernel or User Mode Applications
PublicationThe paper proposes extension of the Continuous Integration practices with debug automation of unhandled exceptions. Goal of this improvement is to reduce the amount of redundant work when inspecting hundreds of failed tests from possibly the same reason, and to decrease time necessary to provide a fix to the codebase. The suitable CI infrastructure is proposed and an automatic method how to eliminate duplicated bugs is discussed....
-
DBpedia and YAGO as Knowledge Base for Natural Language Based Question Answering—The Evaluation
PublicationThe idea of automatic question answering system has a very long history. Despite constant improvement of the systems asking questions in the natural language requires very complex solutions. In this paper the DBpedia and YAGO are evaluated as a knowledge bases for simple class 1 and 2 question answering system. For this purpose a question answering system was designed and implemented. The proposed solution and the knowledge bases...
-
Distinguishing of cocrystals from simple eutectic mixtures: phenolic acids as potential pharmaceutical coformers
PublicationThe multiparameter model comprising 1D and 2D QSPR/QSAR descriptors was proposed and validated for phenolic acid binary systems. This approach is based on the optimization of regression coefficients for maximization of the percentage of true positives in the pool of systems comprising either simple binary eutectics or cocrystals. The training set consisted of 58 eutectics and 168 cocrystals. The solid dispersions collection used...
-
Analiza możliwości zastosowania środowiska SCILAB do wspomagania projektowania podsystemów energetycznych statków = Analysis of capability of using SCILAB for adding design of power ship subsystems
PublicationW artykule przedstawiono koncepcję wykorzystania środowiska symulacyjnego Scilab, modeli matematycznych oraz badań symulacyjnych przy projektowaniu podsystemów energetycznych statku. Zredagowano przykładową strukturę zawierającą model wysokoprężnego silnika oraz model śruby okrętowej. Przedstawione procedury oraz modele matematyczne zostaną włączone do systemu ekspertowego wspomagającego projektowanie statków. This paper deals...
-
Wieloobszarowy miękkoprzełączalny regulator PI w sterowaniu stężeniem tlenu w biologicznej oczyszczalni ścieków
PublicationNapowietrzanie jest podstawowym procesem decydującym o jakości oczyszczania ścieków. Prawidłowy przebieg procesów biologicznych wymaga dostarczenia odpowiedniej ilości tlenu. Zapewnia to optymalne warunki oczyszczania ścieków, dostateczne wymieszanie ścieków z osadem czynnym i zmniejsza główny koszt eksploatacji oczyszczalni ścieków, czyli koszt pompowania powietrza. W artykule zaproponowano sterowanie stężeniem tlenu (Dissolved...
-
Zastosowanie modeli matematycznych przy projektowaniu podsystemów energetycznych statków
PublicationW artykule przedstawiono koncepcję wykorzystania modeli matematycznych oraz badań symulacyjnych przy projektowaniu podsystemów energetycznych statku. Przedstawione procedury oraz modele matematyczne zostaną włączone do systemu ekspertowego wspomagającego projektowanie statków.
-
analizator do spektroskopii wysokoimpedancyjnej z wykorzystaniem cps
PublicationW artykule przedstawiono opracowany i wdrożony do produkcji seryjnej analizator do spektroskopii wysokoimpedancyjnej. Dzięki zastosowaniu obwodu wejściowego w postaci sondy pomiarowej (2 i 3 zaciskowej) analizator umożliwia pomiary w zakresie 100 ohm < |Zx| < 100 Gohm. Do wyznaczania składowych ortogonalnych sygnałów pomiarowych wykorzystano technikę cyfrowego przetwarzania sygnałów. Pozwoliła ona na pomiary w szerokim zakresie...
-
The Impact of Direct Normal Irradiation on the Solar Tower Power Plant Performance based on Real and Satellite Data: Analysis on Algerian Regions
PublicationThe present paper presents a deep study on the possibility of implementing Concentrated Solar Power (CSP) plants in Algeria for the production of the electrical energy. Indeed, this paper focusses mainly on the main parameters, which can have an important impact on the choice of the location, the dimension and the available thermal energy storage system. In this study, three main parameters are investigate...
-
Propulsion System Analysis Based on Particle Image Velocimetry Method in Biomimetic Unmanned Underwater Vehicle
Publication -
Próg fibrylacji a czułość wyłączników różnicowoprądowych przy odkształconym prądzie różnicowym
PublicationPrzedstawiono przebiegi odkształconego prądu ziemnozwarciowego przy doziemieniu w obwodzie wyjściowym pośredniego przemiennika częstotliwości. Omówiono wpływ widma prądu na próg fibrylacji serca oraz prąd zadziałania wyłączników różnicowoprądowych.
-
Projektowanie urządzeń pomiarowo-sterujących zintegrowanych z systemem KNX
PublicationW artykule przedstawiono zagadnienia dotyczące projektowania urządzeń automatyki budynków zgodnych ze standardem KNX. Opisano strukturę wewnętrzną urządzeń KNX i dokonano przeglądu specjalistycznych podzespołów służących do ich budowy. Przedstawiono również wymagania dotyczące certyfikacji urządzeń KNX oraz niezbędne narzędzia programistyczne. Na końcu podsumowano doświadczenia zdobyte podczas projektowania i testowania prototypu...
-
Układy napędowe pojazdów elektrycznych
PublicationW artykule omówiono nowe technologie stosowane w układach napędowych pojazdów elektrycznych. Praca zawiera zależności teorii ruchu pojazdu, nowe rozwiązania w konstrukcji silników trakcyjnych. Przedstawiono również zagadnienia układów zasilania bateryjnego i magazynów energii z superkondensatorami. Pokazano metody sterowania zapewniające optymalizacje rozdziału energii pomiędzy akumulatorami a magazynem energii. Zaprezentowano...
-
Trwałość eksploatacyjna opraw oświetleniowych
PublicationAktualne normy zalecają prowadzenie szeregu prób zmierzających do oceny parametrów technicznych opraw oświetleniowych, istotnych z punktu widzenia bezpieczeństwa użytkowania wyrobu i spełnienia warunków dopuszczenia oprawy do obrotu. Niestety, zalecenia te nie zawsze dają podstawy do jednoznacznej oceny trwałości eksploatacyjnej konstrukcji. W artykule przedstawiono przypadek uszkodzenia oprawy oświetleniowej z lampą metalohalogenkową....
-
Zasady ochrony przeciwporażeniowej w liniach elektroenergetycznych wysokiego napięcia
PublicationPrzedstawiono zasady ochrony przeciwporażeniowej w liniach napowietrznych wysokiego napięcia, zawarte w szczególności w aktualnej normie PN-EN 50341-1:2013-03E. Podobnie jak poprzednio, nie określa ona wymagań odnośnie do ochrony podstawowej (ochrony przed dotykiem bezpośrednim). Formułuje natomiast wymagania w zakresie ochrony przy uszkodzeniu (ochrony przy dotyku pośrednim), które w dużym stopniu zależą od miejsca posadowienia...
-
Problemy doboru i instalowania wyłączników różnicowoprądowych
PublicationPrzedstawiono klasyfikację wyłączników różnicowoprądowych oraz zasady ich doboru i instalowania w instalacjach elektrycznych. Omówiono czynniki wpływające na prawidłowe działanie wyłączników i zwrócono uwagę na błędy popełniane przy ich stosowaniu. Wymieniono obwody, w których instalowanie wyłączników różnicowoprądowych jest obowiązkowe, a w których niezalecane. Zwrócono uwagę na ich dobezpieczanie oraz koordynację z ogranicznikami...
-
Projekt techniczny i budowa platformy latającej typu quadrocopter
PublicationJedną z licznych platform latających jest pojazd typu quadrocopter. Rozwój techniki pozwala na budowanie konstrukcji przemieszczających się w wielu osiach. W artykule przedstawiono projekt, wykonanie i oprogramowanie pojazdu typu quadrocopter. Dodatkowo dokonano filtracji sygnałów pomiarowych i opracowano algorytm sterowania.
-
xEmotion – obliczeniowy model emocji dedykowany dla inteligentnych systemów decyzyjnych
PublicationArtykuł prezentuje cybernetyczne podejście do zagadnienia modelowania ludzkich emocji, oparte na psychologicznych teoriach (ocennej i somatycznej). Opracowany model przeznaczony jest do integracji z Inteligentnym Systemem Decyzyjnym – IDS. Może być on używany jako silnik aplikacji lub jako system sterowania niezależnego urządzenia, np. robota autonomicznego.
-
OCENA WŁAŚCIWOŚCI ROZLEGŁYCH SYSTEMÓW UZIEMIEŃ PRACUJĄCYCH W UKŁADACH OCHRONY ODGROMOWEJ
PublicationW wyniku połączenia wszystkich elementów uziemionych w obiekcie budowlanym do szyny ekwipotencjalnej powstaje często bardzo rozległy system uziemień. Ocena tak rozległego systemu za pomocą metod wykorzystujących przebiegi wolnozmienne prowadzi do zbyt optymistycznych wniosków odnośnie do ich właściwości podczas odprowadzania prądów wyładowań atmosferycznych. Pomiary z zastosowaniem metody wykorzystującej przebiegi impulsowe pomiaru...
-
Warunek zwarciowy SkQ/Sn>=20 ograniczeniem rozwoju OZE
PublicationW referacie omówiono zagadnienia związane z warunkiem zwarciowym, czyli ilorazem mocy zwarciowej w rozpatrywanym miejscu przyłączenia do sieci elektroenergetycznej źródła energii i mocy znamionowej tego źródła. Wskazano jego pochodzenie oraz przedyskutowano zasadność jego stosowania w analizach przyłączeniowych.