Search
Filters
total: 2526
filtered: 1764
-
Catalog
- Publications 1764 available results
- Journals 44 available results
- Conferences 30 available results
- People 164 available results
- Inventions 5 available results
- Projects 25 available results
- Research Teams 6 available results
- e-Learning Courses 171 available results
- Events 8 available results
- Open Research Data 309 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: LOGIKA TEMPORALNA
-
The cartographer algorithm for processing and querying description logics ontologies
PublicationLogika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...
-
Fuzzy logic for control Peltier module
Publication -
ALS Data Filtration with Fuzzy Logic
PublicationEkstrakcji DTM pozyskanego z użyciem ALS (Airborne Laser Scanning) z chmury punktów, jest złożonym zadaniem, które wymaga wielu algorytmów i procedur numerycznych. Jednym z pierwszych kroków jest filtracja danych. Istnieje wiele różnych metod filtrowania i algorytmów. W tym artykule autorzy proponują metodę filtracji w oparciu o logikę rozmytą. Prezentują podstawowe informacje dotyczące logiki rozmytej, projekt reguł rozmytych...
-
Metody opisu ontologii: Opis wiedzy niepewnej przy pomocy sieci Bayesowskich i logiki MEBN
PublicationArtykuł wprowadza czytelnika w problematykę przedstawiania wiedzy niepewnej w systemach eksperckich. Na przykładzie diagnostyki problemów komunikacyjnych w prostej sieci osiedlowej przedstawiona jest w artykule metodologia wnioskowania w sieciach bayesowskich. W jego dalszej części podano przykład prezentujący logikę MEBN jako sposób na wyrażenie w zwięzły sposób wiedzy probabilistycznej o całej klasie problemów o podobnych właściwościach...
-
Fuzzy logic in controlling flexible manufacturing cell
PublicationIn the present work a controlling method based on fuzzy rule base is proposed. Practical approaches are developed and focused on real time problems related to flexible manufacturing cell. Techniques for design and implementation of fuzzy systems in the framework of control production and quality states are presented. Keywords: controlling, manufacturing system, fuzzy logic, turning, burnishingW artykule przedstawiono propozycję...
-
Analysis of temporal leachibility of trace elements to the environment of opoka-rocks used in historical building
Publication -
Bedload transport and temporal variation of non-uniform sediment in a seepage-affected alluvial channel
Publication -
The adaptive spatio-temporal clustering method in classifying direct labor costs for the manufacturing industry
PublicationEmployee productivity is critical to the profitability of not only the manufacturing industry. By capturing employee locations using recent advanced tracking devices, one can analyze and evaluate the time spent during a workday of each individual. However, over time, the quantity of the collected data becomes a burden, and decreases the capabilities of efficient classification of direct labor costs. However, the results obtained...
-
Leveraging spatio-temporal features for joint deblurring and segmentation of instruments in dental video microscopy
PublicationIn dentistry, microscopes have become indispensable optical devices for high-quality treatment and micro-invasive surgery, especially in the field of endodontics. Recent machine vision advances enable more advanced, real-time applications including but not limited to dental video deblurring and workflow analysis through relevant metadata obtained by instrument motion trajectories. To this end, the proposed work addresses dental...
-
Ripple oscillations in the left temporal neocortex are associated with impaired verbal episodic memory encoding
PublicationBACKGROUND: We sought to determine if ripple oscillations (80-120 Hz), detected in intracranial electroencephalogram (iEEG) recordings of patients with epilepsy, correlate with an enhancement or disruption of verbal episodic memory encoding. METHODS: We defined ripple and spike events in depth iEEG recordings during list learning in 107 patients with focal epilepsy. We used logistic regression models (LRMs) to investigate the...
-
Metody strukturalnej analizy ontologii opartych na logice opisowej
PublicationW rozprawie przedstawiono opracowaną przez autora metodę wewnętrznej reprezentacji ontologii opartych na logice opisowej: kartografię wiedzy. Metoda ta służy przede wszystkim zwiększeniu efektywności wnioskowania dla baz wiedzy zawierających dużą liczbę asercji. W pracy przedstawiono formalizm opracowanej metody oraz towarzyszące jej algorytmy. Kartografię wiedzy wykorzystano w ramach projektu PIPS (6. Program Ramowy UE), a testy...
-
On Quadrotor Navigation Using Fuzzy Logic Regulators
Publication -
A fuzzy logic model for forecasting exchange rates
PublicationThis article is devoted to the issue of forecasting exchange rates. The objective of the conducted research is to develop a predictive model with the use of an innovative methodology - fuzzy logic theory - and to evaluate its effectiveness in times of prosperity and during the financial crisis. The model is based on sets of rules written by the author in the form of IF-THEN, where expert knowledge is stored. This model is the result...
-
The Implementation of Fuzzy Logic in Forecasting Financial Ratios
PublicationThis paper is devoted to the issue of forecasting financial ratios. The objective of the conducted research is to develop a predictive model with the use of an innovative methodology, i.e., fuzzy logic theory, and to evaluate its effectiveness. Fuzzy logic has been widely used in machinery, robotics and industrial engineering. This paper introduces the use of fuzzy logic for the financial analysis of enterprises. While many current...
-
Wykorzystanie logiki zbiorów rozmytych w określaniu lokalizacji dodatkowych źródeł mocy biernej w systemie elektroenergetycznym
PublicationOkreślenie właściwej lokalizacji dodatkowych źródeł mocy biernej w systemie elektroenergetycznym stanowi ważne zagadnienie z punktu widzenia pracy systemu, jak i ekonomii. Dlatego też poszukuje się takich metod wspomagających analizę pracy i rozwoju systemu, które byłyby w stanie wskazywać najbardziej optymalne rozmieszczenie i parametry tych dodatkowych źródeł. W referacie skoncentrowano się na wykorzystaniu logiki rozmytej do...
-
Wykorzystanie logiki rozmytej do regulacji napięcia w systemie elektroenergetycznym z wybranymi odnawialnymi źródłami energii
PublicationW ostatnich latach w krajowym systemie elektroenergetycznym liczba i moc odnawialnych źródeł energii znacząco wzrosły. Źródła te można wykorzystać nie tylko do produkcji tzw. czystej energii elektrycznej, ale również do poprawy warunków napięciowych w tym systemie. W artykule przedstawiono koncepcję układu regulacji napięcia w systemie elektroenergetycznym z przyłączonymi w pewnym obszarze: farmą wiatrową, farmą fotowoltaiczną,...
-
An ML-extended conceptual framework for implementing temporal big data analytics in organizations to support their agility
Publication -
Watershed characteristics and climate factors effect on the temporal variability of mercury in the southern Baltic Sea rivers
Publication -
Research on Temporal Leachability of Trace Elements from Opoka-Rocks in The Aspect of Geochemical Environmental Indicators
Publication -
SPATIAL-TEMPORAL DETECTION OF CHANGES ON THE SOUTHERN COAST OF THE BALTIC SEA BASED ON MULTITEMPORAL AERIAL PHOTOGRAPHS
Publication -
Temporal changes in the content of labile and stabile mercury forms in soil and their inflow to the southern Baltic Sea
Publication -
Temporal sequence of the human RBCs' vesiculation observed in nano-scale with application of AFM and complementary techniques
Publication -
Advanced sensitivity analysis of the impact of the temporal distribution and intensity of rainfall on hydrograph parameters in urban catchments
PublicationKnowledge of the variability of the hydrograph of outflow from urban catchments is highly important for measurements and evaluation of the operation of sewer networks. Currently, hydrodynamic models are most frequently used for hydrograph modeling. Since a large number of their parameters have to be identified, there may be problems at the calibration stage. Hence, sensitivity analysis is used to limit the number of parameters....
-
Measurement of the Temporal and Spatial Temperature Distribution on the Surface of PVCP Tissue Phantom Illuminated by Laser Dataset
PublicationThe dataset entitled Measurement of the temporal and spatial temperature distribution on the surface of PVCP tissue phantom illuminated by laser was obtained with a laboratory set-up for characterisation of the thermal properties of optical tissue phantoms during laser irradiation. The dataset contains a single image file representing the spatial temperature distribution on the surface of a PVCP tissue phantom. This thermal image...
-
Qualia: About Personal Emotions Representing Temporal Form of Impressions - Implementation Hypothesis and Application Example
PublicationThe aim of this article is to present the new extension of the xEmotion system as a computerized emotional system, part of an Intelligent System of Decision making (ISD) that combines the theories of affective psychology and philosophy of mind. At the same time, the authors try to find a practical impulse or evidence for a general reflection on the treatment of emotions as transitional states, which at some point may lead to the...
-
Temporal Satellite Images in The Process of Automatic Efficient Detection of Changes of the Baltic Sea Coastal Zone
Publication -
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...
-
The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies
Publication -
Tworzenie map konceptów dla ontologii opartych na logice opisowej
PublicationW poprzednich pracach przedstawiono nową metodę reprezentacji wiedzy nazwaną metodą kartograficzną. Metoda ta pozwala na uchwycenie zależności pomiędzy pojęciami wyznaczonymi w ramach terminologii, jak również na stopniowe (w miarę zwiększania się naszej wiedzy) przyporządkowywanie indywidualnych obiektów tym pojęciom. Zależności te reprezentowane są w postaci tzw. mapy konceptów. Efektywność budowy mapy konceptów stanowi zagadnienie...
-
The knowledge cartography - a new approach to reasoning over description logics ontologies
PublicationArtykuł prezentuje nową metodę reprezentacji i przetwarzania wiedzy ontologicznej - Kartografię wiedzy. Ta metodapozwala na wnisokowanie z części terminologicznej i asercjonalnej ontologii. Artykuł opisuje metodę oraz jej podstawy teoretyczne. Kartografia wiedzy prechowuje i przetwarza w terminach sygnatur binarnych, które umożliwiają efektywne przetwarzanie ontologii zawierających dużą liczbę osobników. Kartografia wiedzy została...
-
Przetwarzanie zapytań w rozproszonej bazie wiedzyopartej na logice opisowej
PublicationRozdział prezentuje podstawy algorytmu Spider przetwarzania zapytań asercjonalnych (typu ABox) w rozproszonej bazie wiedzy opartej na logice opisowej. Algorytm Spider może być stosowany w celu integracji wiedzy z różnych źródeł. W rozdziale pokrótce przedstawiono zasadę kartograficznej reprezentacji wiedzy, sposób odwzorowywania terminologii różnych źródeł oraz oszacowano złożoność obliczeniową przedstawianego algorytmu.
-
Przetwarzanie zapytań do terminologii ontologiiniepewnych opartych na logice opisowej
PublicationSystemy informatyczne oparte na bazach wiedzy stają się coraz bardziej popularne. Znacząca ilość istniejących systemów do opisu wiedzy wykorzystuje ontologie. Budując ontologie, bardzo często zakłada się, że informacje w nich przechowywane są pewne. W niektórych jednak zastosowaniach takie założenie może nie być do końca prawdziwe. Niniejszy Rozdział wprowadza w tematykę ontologii niepewnych oraz prezentuje propozycje rozszerzenia...
-
Processing and querying description logic ontologies using cartographic approach
PublicationLogika opisowa jest formalizmem reprezentowania wiedzy, który ostatnio zyskuje na znaczeniu wśród inżynierów. Niniejszy rozdział, po krótkim wprowadzeniu do logiki opisowej, prezentuje silnik wnioskujący opracowany na Politechnice Gdańskiej. Silnik ten, o nazwie KaSeA, opiera się na oryginalnej idei kartografii wiedzy. Niniejszy rozdział pokazuje podstawy kartografii wiedzy, jej ograniczenia i potencjał rozwoju, a także porównuje...
-
Application of Reversible Logic in Synthesis of Traffic Control Systems
Publication -
Stabilisation and Steering of Quadrocopters Using Fuzzy Logic Regulators
Publication -
Description logic based generator of data-centric applications
PublicationThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Description Logic As A Common Software Engineering Artifacts Language
PublicationDescription logic is proposed as a powerful language able to support chosen software engineering process tasks like: requirements engineering, software architecture definition, software design and configuration management. To do this there is presented a correspondence between description logic and UML. Description logic based integrated software engineering process framework is proposed which owing to automatic knowledge inferring...
-
Description logic based generator of data-centric applications
PublicationThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Fuzzy logic based sensorless control of induction motors.
PublicationW artykule przedstawiono układ sterowania bezczujnikowego silnikiem indukcyjnym wykorzystujący logikę rozmytą. W układzie wykorzystano metodę sterowania polowo zorientowanego. Prędkość kątowa estymowana jest za pomocą obserwatora i pomiarów mocy. Układ działa w szerokim zakresie prędkości. Zaprezentowano wyniki badań symulacyjnych.
-
t-SNE Highlights Phylogenetic and Temporal Patterns of SARS-CoV-2 Spike and Nucleocapsid Protein Evolution
PublicationWe propose applying t-distributed stochastic neighbor embedding to protein sequences of SARS-CoV-2 to construct, visualize and study the evolutionary space of the coronavirus. The basic idea is to explore the COVID-19 evolution space by using modern manifold learning techniques applied to evolutionary distances between variants. Evolutionary distances have been calculated based on the structures of the nucleocapsid and spike proteins.
-
Spatial and Temporal Variability of Moisture Condition in Soil-Plant Environmet using Spectral Data and GIS Tools
Publication -
t-SNE Highlights Phylogenetic and Temporal Patterns of SARS-CoV-2 Spike and Nucleocapsid Protein Evolution
Publication -
A Novel Spatio–Temporal Deep Learning Vehicle Turns Detection Scheme Using GPS-Only Data
PublicationWhether the computer is driving your car or you are, advanced driver assistance systems (ADAS) come into play on all levels, from weather monitoring to safety. These modern-day ADASs use various assisting tools for drivers to keep the journey safe; these sophisticated tools provide early signals of numerous events, such as road conditions, emerging traffic scenarios, and weather warnings. Many urban applications, such as car-sharing...
-
Span's low damped vibrations and vibration's damping by modal disparity inducted by cable stays temporal addition
PublicationW pracy przedstawiono problem obecności słabo tłumionych drgań przęseł mostów wraz z metodą ich aktywnego tłumienia. Badania przeprowadzono korzystając z analizy numerycznej. Analizowany mechanizm zamodelowano korzystając z metody elementów skończonych. W praco przedstawiono zwarty opis wykorzystanej metody. Następnie, zbudowano dwa alternatywne modele, różniące się liczbą odciągów usztywniających przęsło. Wyznaczono postaci i...
-
Use of Bi-Temporal ALS Point Clouds for Tree Removal Detection on Private Property in Racibórz, Poland
PublicationTrees growing on private property have become an essential part of urban green policies. In many places, restrictions are imposed on tree removal on private property. However, monitoring compliance of these regulations appears difficult due to a lack of reference data and public administration capacity. We assessed the impact of the temporary suspension of mandatory permits on tree removal, which was in force in 2017 in Poland,...
-
Entangled Histories vs. the Two-State-Vector Formalism - Towards a Better Understanding of Quantum Temporal Correlations
PublicationThe Two-State-Vector formalism and the Entangled Histories formalism are attempts to betterunderstand quantum correlations in time. Both formalisms share some similarities, but they are notidentical, having subtle differences in their interpretation and manipulation of quantum temporalstructures. However, the main objective of this paper is to prove that, with appropriately definedscalar products, both formalisms can be...
-
Ontologie w systemach informatycznych
PublicationZakres monografii obejmuje wybór majważniejszych zagadnień inżynierii wiedzy opartej na podejściu ontologicznym. Omawiane są ramy Minsky'ego, sieci semantyczne, standardy RDF, OWL i SPARQL. Prezentowane są też podstawy teoretyczne nowoczesnych technologii semantycznych, w szczególności rozstrzygalny fragment logiki pierwszego rzędu zwany logiką opisową (ang. Description Logics, DL). Omawia sie algorytmy wnioskowania z ontologii...
-
Co to jest czas?
PublicationŚwięty Augustyn wypowiedział kiedyś takie słowa: "Czymże jest czas? Jeśli nikt mnie o to nie pyta, wiem. Jeśli pytającemu usiłuję wytłumaczyć, nie wiem." Nie ma wątpliwości, że czas jest czymś ważnym,a nawet bardzo ważnym - bez niego nic by się nie działo. Czy czas nie jest tym dobrem, którego nam brakuje najczęściej? Wielu filozofów widzi w czasie jedną z podstaw wszelkich sądów matematycznych.Strategiczną rolę czasu jeszcze bardziej...
-
Optymalizacja poziomów napięć i rozpływów mocy biernej w systemie elektroenergetycznym z wykorzystaniem logiki rozmytej – referat konferencyjny
PublicationReferat prezentuje zagadnienia związane ze sterowaniem poziomami napięć w systemie elektroenergetycznym. Rozważana jest autorska metody optymalizacji rozpływu mocy biernej, prowadząca do poprawy warunków napięciowych w systemie elektroenergetycznym i ograniczenia strat mocy czynnej. Opracowana metoda optymalizacyjna bazuje na procedurze opartej o logikę rozmytą, wspomaganej algorytmem gradientowym. Metoda została zaimplementowana...
-
Zastosowanie regulatora o logice rozmytej do sterowania trójwymiarowym modelem suwnicy
PublicationW artykule zaprezentowano budowę układu automatycznej regulacji położenia ciężaru dla trójwymiarowego modelu suwnicy. Zaproponowany został układ bazujący na regulatorze opartym o logikę rozmytą. Obiektem sterowania jest trójwymiarowy model matematyczny suwnicy, którego parametry zostały obliczone na podstawie danych o istniejącej suwnicy przemysłowej. Poprawność doboru parametrów została zweryfikowana poprzez szereg eksperymentów....