Filters
total: 2190
-
Catalog
- Publications 1624 available results
- Journals 43 available results
- Conferences 27 available results
- People 161 available results
- Inventions 5 available results
- Projects 34 available results
- Research Teams 7 available results
- e-Learning Courses 163 available results
- Events 8 available results
- Open Research Data 118 available results
displaying 1000 best results Help
Search results for: LOGIKA KWANTOWA
-
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...
-
12 [Chapter]. Bound entanglement
PublicationKwantowe splątanie jest jednym z podstawowych elementów kwantowej teorii informacji. Jak wiadomo niskowymiarowe (2otimes 2 i 2otimes 3) splątane stany kwantowe są zawsze destylowalne. W wyższych wymiarach jednak istnieją stany, które mimo, że są splątane nie pozwalają na destylację. Ten rodzaj splątania, nazywany związanym, jest często trudny do wykrycia i pozornie bezużyteczny. Jak pokazują jednak liczne badania splątanie związane...
-
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...
-
Informal Logic
Journals -
Algebra and Logic
Journals -
Trends in Logic
Journals -
Cartoon computation: Quantum-like algorithms without quantum mechanics
PublicationZaproponowano formalizm prowadzący do algorytmów analogicznych do kwantowych, lecz wykorzystujący jedynie struktury geometryczne. Jako przykład sformułowano odpowiednik kwantowego algorytmu Deutscha-Jozsy.
-
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ę...
-
Journal of Applied Logics-IfCoLoG Journal of Logics and their Applications
Journals -
High-electric-field quantum yield roll-off in efficient europium chelates-based light-emitting diodes
PublicationSkonstruowano dwuwarstwowe organiczne diody EL, w których warstwa transportująca dziury była domieszkowana organicznymi kompleksami europu. Maksymalna kwantowa wydajność świecenia takich diod osiągała w polu elektrycznym 1MV/cm wartość 5% foton/elektron. Wysokopolowy spadek kwantowej wydajności świecenia zinterpretowano na gruncie modelu Onsagera dysocjacji stanów emitujących.
-
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...
-
Loggia Arquitectura & Restauracion
Journals -
Ekspertyza techniczna. Przegląd techniczny konstrukcji stalowej obiektu - Hala Kwiatowa nr 1 w Pomorskim Hurtowym Centrum Rolno - Spożywczym S.A. w Gdańsku
PublicationOcena stanu technicznego i poprawności wykonania konstrukcji stalowej obiektu halowego o powierzchni 5000 m2 z projektem wykonawczym skierowanym do realizacji. Ocena połączeń śrubowych: zakładkowych i doczołowych, połączeń spawanych, elementów prefabrykowanych, ocena dokładności montażu elementów składowych obiektu halowego. Identyfikacja wad i niezgodniości wykonania obiektu z projektem i normami wytwarzania i odbioru konstrukcji.
-
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ą,...
-
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...
-
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...
-
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...
-
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...
-
Stabilisation and Steering of Quadrocopters Using Fuzzy Logic Regulators
Publication -
Application of Reversible Logic in Synthesis of Traffic Control Systems
Publication -
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.
-
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...
-
On quantum cryptography with bipartite bound entangled states
PublicationOstatnio pokazano bezpośrednie zastosowanie splątania związanego w kryptografii kwantowej. W niniejszym artykule dokonano przeglądu niektórych najnowszych osiągnięć dotyczących tego zagadnienia. W szczególności przypomniano istotne pojęcia i definicje. Ponadto podano nową konstrukcję stanów o splątaniu związanym, posiadających bezpieczne korelacje, dostarczając w ten sposób niskowymiarowe (6x6) stany o splątaniu związanym z niezerowym...
-
Unconditional privacy over channels which cannot convey quantum information
PublicationQuantum cryptography enables one to verify that the state of the quantum system has not been tampered with and thus one can obtain privacy regardless of the power of the eavesdropper. All previous protocols relied on the ability to faithfully send quantum states or equivalently to share pure entanglement. Here we show this need not be the case-one can obtain verifiable privacy even through some channels which cannot be used to...
-
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...
-
Logical Interface for Soft Handover – an effective scheme of handovers in Proxy Mobile IPv6
PublicationMultimedia services are currently commonly available on mobile devices. Due to networks' convergence and migration to all-IP networks, mobility management at network layer is required. Moreover, nowadays it is popular to equip mobile devices with more than one wireless interface. Thus, soft handovers can be implemented, which means that an existing connection is removed after a new one is established. Usage of the Logical Interfaces...
-
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....
-
Processing and Querying Description Logic Ontologies Using Cartographic Approach
Publication -
An evaluation of effectiveness of fuzzy logic model in predicting the business bankruptcy
PublicationW artykule sprawdzono skuteczność pojedynczego modelu logiki rozmytej w prognozowaniu ryzyka upadłości przedsiębiorstw w Polsce. W badaniach wykorzystano wartości 14 wskaźników finansowych oraz ich dynamikę zmiany między pierwszym a drugim, drugim a trzecim oraz trzecim a czwartym rokiem objętymi analizą. We wnioskach omówiono różnicę w skutecznościach modelu uzyskanego na wartościach statycznych oraz dynamicznych wskaźników finansowych....
-
Hearing aid fitting method based on fuzzy logic processing
PublicationWażnym etapem dopasowania współczesnych aparatów słuchowych jest wyznaczanie charakterystyki dynamiki słuchu. Charakterystyka ta wyznaczana jest na podstawie wyników testu skalowania głośności. Niestety wyniki te wyrażone są w skali kategorii głośności, natomiast aparaty słuchowe wymagają para-metrów numerycznych. Problem ten można rozwiązać za pomocą logiki rozmytej. W niniejszym referacie przedstawiono metodę przetwarzania rozmytego...
-
Hearing aid fitting method based on fuzzy logic processing
PublicationWażnym etapem dopasowania współczesnych aparatów słuchowych jest wyznaczanie charakterystyki dynamiki słuchu. Charakterystyka ta wyznaczana jest na podstawie wyników testu skalowania głośności. Niestety wyniki te wyrażone są w skali kategorii głośności, natomiast aparaty słuchowe wymagają para-metrów numerycznych. Problem ten można rozwiązać za pomocą logiki rozmytej. W niniejszym referacie przedstawiono metodę przetwarzania rozmytego...
-
Computer animation system based on rough sets and fuzzy logic
PublicationA fuzzy logic inference system was created, based on the analysis of animated motion features. The objective of the system is to facilitate the creation of high quality animation by analyzing personalized styles contained in numerous animations. Sequences portraying a virtual character acting with a differentiating personalized style (natural or exaggerated) and various levels of fluidity were prepared and subjectively evaluated....
-
Automatic assessment of the hearing aid dynamics based on fuzzy logic
PublicationPrzedstawiono podstawy koncepcyjne systemu dopasowania protez słuchu opartego na logice rozmytej. Przeprowadzono dyskusje na temat metody skalowania głośności. Następnie podano szczegóły procesu aproksymacji funkcji przynależności odzwierciedlające słuchowe wrażenia głośności. Załączono wnioski.
-
Fuzzy logic gain scheduling for non - linear servo tracking
PublicationArtykuł zawiera propozycję strojenia jako metodę sterowania serwomechanizmem z silnie nieliniowymi elementami. Serwomechanizm steruje dwoma elementami układu śledzącego zamontowanymi na okręcie znajdującym się w morzu. W układzie występuje tarcie spoczynkowe przy zerowej prędkości oraz nieliniowe tarcie przeciwdziałające ruchowi w każdej z osi układu śledzącego. Zastosowany został podwójny układ sterowania ze sprzężeniem zwrotnym....
-
Underfrequency Load Shedding: An Innovative Algorithm Based on Fuzzy Logic
PublicationIn contemporary power systems, the load shedding schemes are typically based on disconnecting a pre-specified amount of load after the frequency drops below a predetermined value. The actual conditions at the time of disturbance may largely dier from the assumptions, which can lead to non-optimal or ineective operation of the load shedding scheme. For many years, increasing the eectiveness of the underfrequency load shedding (UFLS)...
-
Survey on fuzzy logic methods in control systems of electromechanical plants
PublicationРассмотрены алгоритмы управления электромеханическими системами с использованием теории нечеткой логики, приводятся основные положения их синтеза, рассматриваются методы анализа их устойчивости на основе нечетких функций Ляпунова. Эти алгоритмы чаще всего реализуются в виде различных регуляторов, применение которых целесообразно в системах, математическая модель которых не известна, не детерминирована или является строго нелинейной,...
-
Analysis of Learning Outcomes in Medical Education with the Use of Fuzzy Logic
PublicationThe national curricula of the EU member states are structured around learning outcomes, selected according to Bloom’s Taxonomy. The authors of this paper claim that using Bloom’s Taxonomy to phrase learning outcomes in medical education in terms of students’ achievements is difficult and unclear. This paper presents an efficient method of assessing course learning outcomes using Fuzzy Logic.
-
Bulletin of the Section of Logic
Journals -
Journal of Philosophical Logic
Journals -
Journal of Applied Logic
Journals -
Reports on Mathematical Logic
Journals