Filters
total: 2452
-
Catalog
- Publications 1723 available results
- Journals 44 available results
- Conferences 30 available results
- People 159 available results
- Inventions 5 available results
- Projects 25 available results
- Research Teams 6 available results
- e-Learning Courses 147 available results
- Events 8 available results
- Open Research Data 305 available results
displaying 1000 best results Help
Search results for: LOGIKA TEMPORALNA
-
Wstęp do logiki i teorii mnogości
e-Learning Courses -
Unsupervised Learning for Biomechanical Data Using Self-organising Maps, an Approach for Temporomandibular Joint Analysis
PublicationWe proposed to apply a specific machine learning technique called Self-Organising Maps (SOM) to identify similarities in the performance of muscles around human temporomandibular joint (TMJ). The performance was assessed by measuring muscle activation with the use of surface electromyography (sEMG). SOM algorithm used in the study was able to find clusters of data in sEMG test results. The SOM analysis was based on processed sEMG...
-
Metoda oceny wiarygodności pomiarów wpływających na jakość diagnostyki cieplno-przepływowej w energetyce
PublicationW rozprawie doktorskiej podjęto problem uwiarygodnienia pomiarów wpływających na jakość diagnostyki cieplno-przepływowej w energetyce. W pracy wykazano potrzebę rzetelnej informacji pozyskanej po przez pomiar parametrów, która jest niezbędna dla przeprowadzenia diagnozy badanego systemu. Jednocześnie zwrócono uwagę na zmienny charakter pracy systemów energetycznych, która wpływa na niestabilność pozyskanych danych, co prowadzi...
-
Logics in Artificial Intelligence, European Conference
Conferences -
Symposium on Logical Formalizations of Commonsense Reasoning
Conferences -
Zastosowanie wybranych metod sztucznej inteligencji do wspomagania projektowania wstępnego statku
PublicationW pracy przedstawiono hybrydowy system wspomagania projektowania statku oparty na metodologii CBR z wykorzystaniem wybranych narzędzi sztucznej inteligencji, takich jak: system ekspertowy Exsys Developer wraz z logiką rozmytą, relacyjna baza danych Access oraz sztuczna sieć neuronowa ze wsteczną propagacją błędów. System przewidziany jest do wspomagania projektowania wstępnego statku, w którym najczęściej wykorzystuje się projekty...
-
Poszukiwanie korelacji pomiędzy parametrami wektora cech i barwą dźwięku
PublicationPrzedstawiono algorytm poszukiwania korelacji między wartościami parametrów dźwięku a jego barwą. Wykonywana jest analiza statystyczna wartości przyjmowanych przez parametry, następnie w oparciu o logikę rozmytą, dyskretyzacja.Zadaniem ekspertów w teście odsłuchowym jest dopasowanie określenia semantycznego do prezentowanych dźwięków. Następny etap to wydobycie reguł w oparciu o metodę zbiorów przybliżonych. Do tego celu wykorzystywany...
-
Pakiet oceny bezpieczeństwa systemów informacyjnych.
PublicationOpracowano koncepcję oceny bezpieczeństwa w skali 6-cio poziomowej, umożliwiającej lokalizację mechanizmów zabezpieczeń w różnych warstwach architektury systemu, a także różnych procedur reagowania w przypadku naruszenia bezpieczeństwa. Przedstawiono założenia logiki rozmytej oraz diagram przejść stanów, przydatne do badania reakcji systemu na tzw. testy penetracyjne. Podano architekturę symulatora środowiskowego do oceny różnych...
-
Nowy algorytmy działania automatyki odciążającej w Krajowym Systemie Elektroenergetycznym.
PublicationW referacie przedstawiono nowy algorytm automatyki odciążającej oparty na elementach logiki rozmytej. Zastosowanie układu Rozmytej Adaptacyjnej Automatyki Odciążającej (RAAO) umożliwia znaczną poprawę zarówno skuteczności jak i jakości procesu odciążania. W referacie zamieszczono przykładowe wyniki badań symu-lacyjnych weryfikujących skuteczność działania zaproponowanego algorytmu. Otrzy-mane wyniki porównano z wynikami uzyskanymi...
-
Fuzzy track controller for ships.
PublicationPrzedstawiono projekt regulatora trajektorii zrealizowanego w oparciu o logikę rozmytą. Zadaniem regulatora jest sterowanie statkiem wzdłuż zadanej trajektorii z uwzględnieniem prędkości. Zadana trajektoria przedstawiona została w postaci linii łamanej z wyznaczona wartością prędkości z jaką statek ma poruszać się po każdym odcinku. Opracowane reguły sterowania regulatora rozmytego trajektorii poddane zostały badaniom na statku...
-
CBR methodology application in an expert system for aided design ship's engine room automation
PublicationW artykule przedstawiono metody obliczania podobieństwa na podstawie przypadków, zastosowane w opracowanym systemie ekspertowym do wspomagania projektowania siłowni okrętowej. Do realizacji metody na przykładzie automatyki napędu głównego zastosowano oprogramowanie bazy danych i system ekspertowy. Uzyskane wyniki wyszukiwania w bazie danych statków podobnych zostały porównane i przeanalizowane. Do weryfikacji zastosowanych w bazie...
-
Regulator trajektorii w aspekcie sterowania statkiem w sytuacji kolizyjnej
PublicationPrzedstawiono projekt regulatora trajektorii do sterowania statkiem wzdłuż planowanej trasy z uwzględnieniem zmian prędkości. Regulator zrealizowano w oparciu o logikę rozmytą. W algorytmie sterowania wykorzystuje się koncepcję statku wirtualnego, który porusza się dokładnie wzdłuż zadanej trajektorii. Opracowane reguły sterowaniaregulatora rozmytego trajektorii poddane zostały badaniom na modelumatematycznym statku typu kontenerowiec....
-
IFE: NN-aided Instantaneous Pitch Estimation
PublicationPitch estimation is still an open issue in contemporary signal processing research. Nowadays, growing momentum of machine learning techniques application in the data-driven society allows for tackling this problem from a new perspective. This work leverages such an opportunity to propose a refined Instantaneous Frequency and power based pitch Estimator method called IFE. It incorporates deep neural network based pitch estimation...
-
Elements of logic and epistemology
e-Learning CoursesThis course serves as an introduction to the problems of epistemology and logic.
-
Applications of computational intelligence techqniues to acoustics
PublicationCelem artykułu jest przegląd wybranych zastosowań metod inteligentnych w akustyce, a w szczególności w szeroko rozumianej inżynierii dźwięku. Przedstawione badania i eksperymenty były prowadzone w oparciu o sztuczne sieci neuronowe, metodę zbiorów przybliżonych, logiką rozmytą, grafy przepływowe Pawlaka oraz algorytmy genetyczne. Rozwiązywane problemy dotyczyły klasyfikacji dźwięków muzycznych, rozpoznawania fraz muzycznych, przetwarzania...
-
Development of cluster analysis methodology for identification of model rainfall hyetographs and its application at an urban precipitation field scale
PublicationDespite growing access to precipitation time series records at a high temporal scale, in hydrology, and particularly urban hydrology, engineers still design and model drainage systems using scenarios of rainfall temporal distributions predefined by means of model hyetographs. This creates the need for the availability of credible statistical methods for the development and verification of already locally applied model hyetographs....
-
Reliability data safety instrumented systems SIS from the functional safety analysis example critical instalation
Open Research DataThe dataset represents the results of an example of functional safety analysis systems is presented below. It is based on a control system, which consists of some basic components like sensors, programmable logic controllers and valves. It is a part of petrochemical critical installations. The communication between sensor logic controllers and actuators...
-
International Conference on Logic Programming
Conferences -
International Logic Programming Symposium
Conferences -
Logic Programming and Automated Reasoning
Conferences -
Influence of the method of the control of the hybrid contactless short-circuit limiter on power quality
PublicationW artykule przedstawiono wpływ sterowania bezstykowego ogranicznika prądów zwarciowych na ograniczanie zapadów napięcia. Scharakteryzowano podstawowe własności ogranicznika oraz układu sterowania jego pracą. Ponieważ prąd zwarciowy jest detekowany przez dedykowany superkrótki bezpiecznik sterowanie musi być dostosowane do czasu przedrukowego i łukowego topika, które zależą od aktualnej wartości prądu i aktualnej konfiguracji obwodu....
-
Topologiczna analiza ontologii opartych na logiceopisowej
PublicationRozwój Internetu i technologii internetowych powoduje rosnące zapotrzebowanie na zaawansowane metody zarządzania informacją. Niniejszy rozdział opisuje nową metodę reprezentacji wiedzy oraz zestaw algorytmów wykorzystujących tę reprezentację, nazwane wspólnie podejściem kartograficznym. Podejście to bazuje na logice opisowej, zdobywającej ostatnio coraz większą popularność, dzięki zastosowaniu w ramach inicjatywy Semantic Web....
-
Property sustainable value versus highest and best use analyzes
PublicationThis article proposes the possibility of applying fuzzy logic theory to perform the tasks of determining the market value of agricultural lands. These tasks are of a multi‐criteria character, as multiple factors are taken into consideration during the land value valuation process. The market value of agricultural land plots, calculated using fuzzy logic methods, can provide a basis for further use in the processes that are directly...
-
Heating of fuse - elements in transient and steady - state
PublicationPrzedstawiono wyniki obliczeń numerycznych nagrzewania topików bezpieczników w stanach nieustalonych i ustalonych i wykonanych w pakiecie FLUX 2D. W obliczeniach uwzględniono nagrzewania całej wkładki bezpiecznikowej. Do analizy wybrano temperaturę w przewężeniu topika. W wyniku przeprowadzonych badań stwierdzono, że przy obliczaniu parametrów przedłukowych należy uwzględniać przewodzenie ciepła w topiku oraz brać pod uwagę zmienną...
-
Skuteczność systemu eksperckiego i sztucznej inteligencji w prognozowaniu upadłości firm
PublicationArtykuł ten dotyczy prognozowania upadłości przedsiębiorstw w Polsce. W artykule tym porównano dwie metody prognozowania zagrożeń firm upadłością: sztuczne sieci neuronowe oraz logikę rozmytą. W badaniach autor wykorzystał dane dotyczące 185 spółek notowanych na Warszawskiej Giełdzie Papierów Wartościowych. Populacja ta została podzielona na próbę uczącą i testową. Każde z analizowanych przedsiębiorstw opisanych zostało za pomocą...
-
Zdolności dynamiczne do budowania chmury wartości w modelach biznesów
PublicationObserwacja współczesnych metod tworzenia wartości daje podstawy do wyłonienia nowej logiki ich generowania. Analiza modeli wytwarzania wartości przez przedsiębiorstwa np. sieciowe wykazała, że formułują one chmury wartości. Struktury tych chmur są różnorodne, niejednolite, kłębiaste. Przeprowadzone prace pozwoliły na sformułowanie obrazów wartości generowanych przez twarde komponenty modeli biznesów. Osiągnięcie tych wyników pozwoliło...
-
Application of artificial intelligence into/for control of flexible manufacturing cell
PublicationThe application of artificial intelligence in technological processes control is usually limited. One problem is how to respond to changes in the environment of manufacturing system. A way to overcome the above shortcoming is to use fuzzy logic for representation of the inexact information. In this paper fundamentals of artificial intelligence and fuzzy logic are introduced from a theoretical point of view. Still more the fuzzy...
-
Contextual approach to reasoning with rules
PublicationIn the paper we present a method of reasoning with Horn rules within a contextual framework. We show that by proper use of a structure of contexts we can obtain partial OWA compliance with no necessity of extending the syntax of underlying Description Logics.
-
Nowy inteligentny algorytm działania automatyki odciążającej
PublicationW referacie przedstawiono nowy algorytm automatyki odciążającej oparty na elementach logiki rozmytej. Zaletą układu RAAO jest możliwość wyłączania dowolnej liczby grup odbiorów, objętych działaniem automatyki odciążającej, w dowolnej fazie procesu odciążania. Dzięki takiemu rozwiązaniu uzyskano znaczną poprawę zarówno skuteczności jak i jakości procesu odciążania. W referacie zamieszczono przykładowe wyniki badań symulacyjnych...
-
Monika Trojanowska
People -
Webinar for students (Monika Czerepak)
e-Learning Courses -
Dielectric strenght of the ultra - short fuse
PublicationW referacie omówiono współpracę ultraszybkiego bezpiecznika z bezstykowymhybrydowym ogranicznikiem prądów. Przeanalizowano wytrzymałość kanału połukowego bezpiecznika w zależności od długości topika oraz czasu działania tranzystora IGBT. Omówiono warunki i wyniki badań eksperymentalnych.
-
High - voltage thin - layer fuses
PublicationZaprezentowano nową technologię i konstrukcję bezpieczników wysokonapięciowych wykorzystując technologie stosowane w mikroelektronice. Cienką warstwę topika naniesiono na quasiceramiczne podłoże. Wykonane modele bezpieczników charakteryzują się wysoką pewnością działania oraz małymi stratami I2t.
-
Ćwiczenia z Chemii Organicznej dla kierunku Chemia sem. IV
e-Learning CoursesĆwiczenia z chemii organicznej dla kierunku Chemia sem. IV - grupa dla powtarzających przedmiot. Prowadzący: dr inż. Monika Gensicka-Kowalewska
-
Metaheuristic algorithms for optimization of resilient overlay computing systems
PublicationThe idea of distributed computing systems has been gaining much interest in recent years owing to the growing amount of data to be processed for both industrial and academic purposes. However, similar to other systems, also distributed computing systems are vulnerable to failures. Due to strict QoS requirements, survivability guarantees are necessary for provisioning of uninterrupted service. In this article, we focus on reliability...
-
Thermal Imaging in Wound Healing Diagnostics
PublicationResults of a project searching for objective, quantitative evaluation of postoperative wound healing in cardiosurgery are presented. We propose simple thermal models of the healing processes after cardiosurgery interventions as objective descriptors allowing classification of patients for extraction and following recovery at home or for prolonged treatment in a hospital. Classification of healing as the normal process or as a process...
-
A New Model for context aware applications analysis and design
PublicationW artykule zostały opisane aplikacje kontekstowe, które działają w przestrzeniach inteligentnych, oraz zostały przeanalizowane ich właściwości. Na podstawie analizy zaproponowano nowe podejście do ich modelowania które zapewnia oddzielenie logiki aplikacji w zakresie adaptacji (do zmian środowiska) od jej realizacji. Zostały wykorzystane MVC i modele zmian stanu. Zaproponowano ilościową miarę poziomu kontekstowości a także sposób...
-
Zaawansowane rozwiązania projektowe aplikacji typu Rich Internet Application
PublicationRich Internet Application (RIA) jest modelem aplikacji internetowych zyskującym w ostatnim czasie coraz większą popularność. Jednym ze sposobów jego realizacji jest paradygmat AJAX. Stosowane w nowatorski sposób, istniejące od wielu lat technologie pozwalają osiągnąć niespotykane dotąd możliwości. Wieloletnie doświadczenia programistów powodują jednak, że w aplikacjach tego typu stosuje się często rozwiązania projektowe przeznaczone...
-
Optimized AVHRR land surface temperature downscaling method for local scale observations: case study for the coastal area of the Gulf of Gdańsk
PublicationSatellite imaging systems have known limitations regarding their spatial and temporal resolution. The approaches based on subpixel mapping of the Earth’s environment, which rely on combining the data retrieved from sensors of higher temporal and lower spatial resolution with the data characterized by lower temporal but higher spatial resolution, are of considerable interest. The paper presents the downscaling process of the land...
-
Irena Bach-Dąbrowska dr inż.
People -
Chemia Opiekun Roku 2020/2021
e-Learning CoursesKurs kierowany dla wszystkich studentów pierwszego roku kierunku Chemia 2020/2021 Opiekun roku: Dr inż. Monika Gensicka-Kowalewska
-
Ograniczniki bezpiecznikowe prądów zwarciowych na duże prądy robocze.
PublicationPrzedstawia się ogólną ideę ograniczania prądów zwarciowych w obwodach o dużych prądach roboczych niskiego i średniego napięcia w oparciu o bezstykowe hybrydowe ograniczniki prądu z wykorzystaniem specjalnych, krótkotopikowych bezpieczników. Idea takich ograniczników polega na zastąpieniu łącznika zestykowego ogranicznika hybrydowego bezpiecznikiem o minimalnej długości topika z intensywnym chłodzeniem topika przez osiowe przewodnictwo...
-
Wstęp do logiki i teorii mnogości 2023/2024
e-Learning Courses -
Wstęp do logiki i teorii mnogości 2022/2023
e-Learning Courses -
Karol Flisikowski dr inż.
PeopleKarol Flisikowski works as Associate Professor at the Department of Statistics and Econometrics, Faculty of Management and Economics, Gdansk University of Technology. He is responsible for teaching descriptive and mathematical statistics (in Polish and English), as well as scientific research in the field of social statistics. He has been a participant in many national and international conferences, where he has presented the results...
-
Computer Networks EN 2022
e-Learning CoursesThe student becomes familiar with the network layered logical architectures, classifies the basic problems of network communication and identifies and analyzes selected protocols and mechanisms of LAN and WAN (IP) networks.
-
Computer Networks EN 2023
e-Learning CoursesThe student becomes familiar with the network layered logical architectures, classifies the basic problems of network communication and identifies and analyzes selected protocols and mechanisms of LAN and WAN (IP) networks.
-
Analysis of magnetic field distribution inside ferromagnetic thin shells during degaussing process
PublicationAnalysis of the demagnetization of a large ferromagnetic object like a ship, was conducted. The approximate mathematical model in the form of a long cylindrical shell of constant magnetic permeability was applied. The discrete degaussing winding was assumed and the current density and magnetic flux density distribution in the ferromagnetic shell wall were determined. Based on the frequential and temporal analysis the recommended...
-
Glioma, malignant - Female, 54 - Tissue image [222063001496811]
Open Research DataThis is the histopathological image of BRAIN tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
IEEE Symposium on Logic in Computer Science
Conferences