Filtry
wszystkich: 2191
-
Katalog
- Publikacje 1624 wyników po odfiltrowaniu
- Czasopisma 43 wyników po odfiltrowaniu
- Konferencje 27 wyników po odfiltrowaniu
- Osoby 162 wyników po odfiltrowaniu
- Wynalazki 5 wyników po odfiltrowaniu
- Projekty 34 wyników po odfiltrowaniu
- Zespoły Badawcze 7 wyników po odfiltrowaniu
- Kursy Online 163 wyników po odfiltrowaniu
- Wydarzenia 8 wyników po odfiltrowaniu
- Dane Badawcze 118 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: LOGIKA KWANTOWA
-
ALS Data Filtration with Fuzzy Logic
PublikacjaEkstrakcji 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...
-
Informal Logic
Czasopisma -
Algebra and Logic
Czasopisma -
Trends in Logic
Czasopisma -
12 [Chapter]. Bound entanglement
PublikacjaKwantowe 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
PublikacjaArtykuł 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...
-
Cartoon computation: Quantum-like algorithms without quantum mechanics
PublikacjaZaproponowano 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
PublikacjaIn 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
Czasopisma -
High-electric-field quantum yield roll-off in efficient europium chelates-based light-emitting diodes
PublikacjaSkonstruowano 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.
-
Loggia Arquitectura & Restauracion
Czasopisma -
Metody strukturalnej analizy ontologii opartych na logice opisowej
PublikacjaW 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...
-
Ekspertyza techniczna. Przegląd techniczny konstrukcji stalowej obiektu - Hala Kwiatowa nr 1 w Pomorskim Hurtowym Centrum Rolno - Spożywczym S.A. w Gdańsku
PublikacjaOcena 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.
-
A fuzzy logic model for forecasting exchange rates
PublikacjaThis 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...
-
On Quadrotor Navigation Using Fuzzy Logic Regulators
Publikacja -
The Implementation of Fuzzy Logic in Forecasting Financial Ratios
PublikacjaThis 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
PublikacjaOkreś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
PublikacjaW 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
PublikacjaArtykuł 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
Publikacja -
Tworzenie map konceptów dla ontologii opartych na logice opisowej
PublikacjaW 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
PublikacjaRozdział 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
PublikacjaSystemy 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
PublikacjaLogika 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
Publikacja -
Stabilisation and Steering of Quadrocopters Using Fuzzy Logic Regulators
Publikacja -
Description logic based generator of data-centric applications
PublikacjaThe 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
PublikacjaDescription 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
PublikacjaThe 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.
PublikacjaW 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
PublikacjaZakres 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...
-
Unconditional privacy over channels which cannot convey quantum information
PublikacjaQuantum 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...
-
On quantum cryptography with bipartite bound entangled states
PublikacjaOstatnio 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...
-
Optymalizacja poziomów napięć i rozpływów mocy biernej w systemie elektroenergetycznym z wykorzystaniem logiki rozmytej – referat konferencyjny
PublikacjaReferat 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
PublikacjaW 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....
-
Logical Interface for Soft Handover – an effective scheme of handovers in Proxy Mobile IPv6
PublikacjaMultimedia 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...
-
Bulletin of the Section of Logic
Czasopisma -
Journal of Philosophical Logic
Czasopisma -
Journal of Applied Logic
Czasopisma -
Reports on Mathematical Logic
Czasopisma -
Bulletin of Symbolic Logic
Czasopisma -
Australasian Journal of Logic
Czasopisma -
Journal of Logic and Analysis
Czasopisma -
History and Philosophy of Logic
Czasopisma -
Logic, Argumentation and Reasoning
Czasopisma -
Journal of Mathematical Logic
Czasopisma -
Review of Symbolic Logic
Czasopisma -
JOURNAL OF LOGIC AND COMPUTATION
Czasopisma -
MATHEMATICAL LOGIC QUARTERLY
Czasopisma -
Journal of Symbolic Logic
Czasopisma