Filters
total: 2131
-
Catalog
- Publications 1568 available results
- Journals 43 available results
- Conferences 27 available results
- People 158 available results
- Inventions 5 available results
- Projects 25 available results
- Research Teams 6 available results
- e-Learning Courses 168 available results
- Events 8 available results
- Open Research Data 123 available results
displaying 1000 best results Help
Search results for: logika%20rozmyta
-
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...
-
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 -
International Conference on Temporal Logic
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ą...
-
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...
-
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ą...
-
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 -
Ć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
-
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.
-
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...
-
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...
-
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...
-
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.
-
IEEE Symposium on Logic in Computer Science
Conferences -
International Conference on Algebraic and Logic Programming
Conferences -
International Symposium on Functional and Logic Programming
Conferences -
Logic and Engineering of Natural Language Semantics
Conferences -
Computability in Europe: Logic and Theory of Algorithms
Conferences -
Workshop on Logic, Language, Information and Computation
Conferences -
Annual Conference on Computer Science Logic
Conferences -
Nowe algorytmy działania automatyki samoczynnego częstotliwościowego odciążania (SCO) w systemie elektroenergetycznym.
PublicationCelem pracy byłao opracowanie nowych algorytmów działania automatyki odciążającej pozbawionej wad stosowanego obecnie rozwiązania automatyki samoczynnego odciążania (SCO). Praca zawiera propozycje wymagających niewielkich zmian w stosowanym obecnie algorytmie przyczyniających się jednak do znacznej poprawy skuteczności odciążania oraz całkowicie nowatorskie rozwiązanie adaptacyjnego algorytmu automatyki odciążającej opartej na...
-
Expert System as a classification method for optimal Legg-Calve-Perthes Disease treatment
PublicationZaproponowano utworzenie systemu eksperckiego jako metody klasyfikacji w prognozowaniu dowolnej formy leczenia dzieci z chorobą Legg-Calve-Perthesa. Obecnie nie ma jednego optymalnego sposobu leczenia choroby Perhtes'a i proponowana metoda jest próbą utworzenia wymiernego i uniwersalnego narzędzia, które będzie stanowiło podstawę przy podejmowaniu decyzji o najlepszym sposobie leczenia chorego stawu biodrowego. System ekspercki,...
-
Optymalizacja rozpływów mocy biernej w systemie elektroenergetycznym
PublicationReferat prezentuje zagadnienia związane ze sterowaniem poziomami napięć w systemie elektroenergetycznym. Rozważane są dwie metody optymalizacji rozpływu mocy biernej, prowadzące do poprawy warunków napięciowych w systemie elektroenergetycznym i ograniczenia strat mocy czynnej. Pierwsza z metod optymalizacyjnych poddanych weryfikacji została zaimplementowana w programie PLANS, a bazuje na autorskiej procedurze opartej o logikę rozmytą,...
-
Webinar for students (Monika Czerepak)
e-Learning Courses -
wykład informatyka - nowy
e-Learning CoursesTematyka wykładu obejmuje zagadnienia związane: -rozwój, budowa komputerów w tym mikrokontrolerów i ich zastosowanie w wielu dziedzinach, układy pozwalające przejść z techniki analogowej na cyfrową (przetworniki wielkości nieelektrycznych na eleaktrycze, przetworniki analogowo cyfrowe oraz cyfrowo analogowe -oprogramowanie, logika programowania od asemblera do języków wysokiego poziomu -transmisja danych, historia...
-
Introduction of SAF-T in selected European countries together with applicable national names
Open Research DataAmong the methods used by individual countries in norder to seal the tax collection the introduction of the Standard Audit File for Tax is one of the most important ones.
-
International Representation of S-Modular Knowledge Base in RKaSeA System
PublicationNiniejszy artykuł przedstawia nową metodę reprezentacji wiedzy ontologicznej wyrażonej w logice opisowej. Metoda ta, nazwana G-Cart została zaimplementowana w nowo utworzonym systemie zarządzania wiedzą RKaSeA. Artykuł opisuje podstawowe założenia metody oraz praktyczne zagadnienia związane z jej implementacją.
-
Intelligent Resources Search in Virtual Libraries.
PublicationZostała zaprezentowana koncepcja bibliotek cyfrowych oraz temat wyszukiwania zasobów. W celu poprawy jakości procesu wyszukiwania, zostało zaproponowane użycie koncepcji sieci semantycznej zamiast klasycznego sposóbu opisu zasobów bibliograficznych. Została opisana prosta ontologia oparta o Dublin Core meta-data. Zostało przedyskutowane zastosowanie algorytmu przetważania połączeń semantycznych w celu szukania. Zastosowany w Wirtualnej...
-
System typu SCADA oparty na komunikacji w sieci Intranet/Internet dla sterowanych układów napędowych
PublicationPrzedstawiono system typu SCADA opracowany do sterowania układami napędowymi z wykorzystaniem procesorów sygnałowych DSP. Nadrzędne sterowanie oparte jest na aplikacjach prowadzących komunikację w modelu klient-serwer w sieci Intranet/Internet. Aplikacje Client i Server wykorzystuję kontrolę transmisji protokołu TCP/IP oraz algorytm z pzresuwnym oknem do estymacji jakości połączenia w sieci. Obiektem sterowania jest układ napędowy...
-
Komputerowo wspomagane zapewnienie jakości w elastycznym wytwarzaniu
PublicationKomputerowo wspomagane zapewnienie jakości (CAQ) ma obecnie duże znaczenie w przemyśle maszynowym, produkującym wyroby o wysokiej jakości i konkurencyjne rynkowo. W związku z potrzebą zapewnienia jakości oraz tendencją do zmniejszania liczności partii, aż po produkcję jednostkową zorientowaną na klienta, sytuacja komplikuje się. W praktyce oznacza to potrzebę przystosowania konwencjonalnych metod kontroli jakości do potrzeb komputerowo...
-
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 -
Wstęp do logiki i teorii mnogości 2024/2025
e-Learning Courses -
LOGIC 2024/2025
e-Learning Courses -
5. Logic and epistemology
e-Learning Courses -
Elements of logic and epistemology
e-Learning Courses