Filters
total: 2212
filtered: 1641
-
Catalog
- Publications 1641 available results
- Journals 43 available results
- Conferences 27 available results
- People 162 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 122 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: LOGIKA KWANTOWA
-
DEKOHERENCJA KWANTOWA
Publication -
BRAMKI KWANTOWE
Publication -
INFORMACYJNE TECHNOLOGIE KWANTOWE
Publication -
SUPERPOZYCJA, KOHERENCJA, INTERFERENCJA I SPLĄTANIE KWANTOWE
Publication -
Elementy kwantowego modelu obliczeń i algorytmiki kwantowej : łagodne wprowadzenie do informatyki kwantowej
PublicationJuż dziś wiadomo, że z chwilą udanej realizacji komputera kwantowego maszyna ta będzie pozwalała na znajdowanie rozwiązań problemów obliczeniowych leżących poza zasięgiem komputerów klasycznych. Opracowano szereg algorytmów kwantowych, z których największą sławą cieszy się procedura Shora, pozwalająca efektywnie dokonywać tzw. faktoryzacji, tj. rozkładu bardzo dużych liczb naturalnych na czynniki pierwsze. Na trudności obliczeniowej...
-
Kwantowa dynamika procesu fotodysocjacji rodnika winoksylowego. Nieadiabatyczne efekty w pobliżu przecięcia stożka
Publication.
-
Logika opracowania regionalnych programów rozwojowych
PublicationW monografii opracowano szereg metod przeznaczonych do badania układów społeczno-ekonomicznych. Metody te zostały ułożone w jedyny system, stanowiący tzw. programowanie celowe.
-
Ernst Cassirer, Logika nauk o kulturze
PublicationKsiążka stawia przed sobą cele systematyczno-genetyczne, próbując określić filozoficzne źródła możliwości najważniejszych problemów myśli – w tym wypadku genezy i możliwości legitymizacji innego typu refleksji niż matematyczno-przyrodnicza. Składa się z pięciu rozpraw, których głównym zadaniem jest odsłonięcie historycznych oraz teoretycznych źródeł możliwości nauk o kulturze i ukazanie naczelnej funkcji poznawczej („źródłowej...
-
Logika opisowa jako język modelowania oprogramowania
PublicationW referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...
-
Muzeum Tadeusza Kantora i Crikoteka Kraków
PublicationKrytyka architektoniczna Muzeum Tadeusza Kantora i Crikoteki w Krakowie
-
Konsumpcja jako logika znaczeń a kształtowanie kultury komsumpcji
PublicationW artykule omówiono koncepcję ideologizacji konsumpcji Beudrillard'a to jest potraktowanie jej jako zjawiska w którym występują cztery porządki: - funkcjonalna logika wartości użytkowej,- ekonomiczna logika wartości wymiennej,- logika wymiany symbolicznej,- logika wartości.Omówione są problemy związane z możliwością kontynuacji etapu post modernistycznej róznorodności realizacji konsumpcjonizmu.
-
Zastosowanie chłodzonych detektorów termicznych w systemach kryptografii kwantowej
PublicationW artykule przedstawiono wymagania stawiane detektorom pracującym w systemach kryptografii kwantowej. Omówiono zasadę działania bolometrów przeznaczonych do pracy w tych systemach. Zaprezentowano wybrane konstrukcje i omówiono kryteria optymalizacji i doboru punktu pracy. Dokonano porównania właściwości z właściwościami innych rodzajów detektorów. Przedstawiono perspektywy rozwojowe bolometrów chłodzonych kriogenicznie.
-
DESIGN LOGICAL LINGUISTIC MODELS TO CALCULATE NECESSITY IN TRUCKS DURING AGRICULTURAL CARGOES LOGISTICS USING FUZZY LOGIC
Publication: The study is aimed to develop the logic-linguistic models to design a number of rules for the correct calculation of the vehicles needed, taking into account the technical, technological, and weather and climate conditions of the harvesting and transport complex. The article has shown that the construction of the design of logic-linguistic models was not performed earlier to solve the problem of the agro-industrial production...
-
Automatyka odciążająca wykorzystująca elementy logiki rozmytej.
PublicationW referacie przedstawiono nowy algorytm automatyki odciążającej oparty na elementach logiki rozmytej. Zastosowanie układu Rozmytej Adaptacyjnej Automatyki Odciążającej (RAAO). 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łasności kwantowe przemian energetycznych zachodzących w silnikach o zapłonie samoczynnym = Quantum properties of energy transformation in diesel engines
PublicationW pracy uzasadniono, że w badaniach własności energetycznych silników spalinowych o zapłonie samoczynnym należy uwzględnić istniejącą w ich eksploatacji przypadkowość i nieprzewidywalność zdarzeń. Nawiązano do osiągnięć mechaniki kwantowej wskazując na wynikający z nich postulat, że wielkości nazywane komplementarnymi, mają istotną własność, która polega na tym, że niemożliwy jest jednoczesny i zarazem dokładny pomiar ich wartości....
-
Integracja heterogenicznych źródeł wiedzy z wykorzystaniem logiki opisowej
PublicationW rozprawie przedstawiono opracowane przez autora metody integracji wiedzy służące do konstrukcji systemu integracji wiedzy, który może być praktycznie stosowany we współczesnych systemach opartych na wiedzy. Do najważniejszych wyników rozprawy należą: zaproponowanie nowego modelu systemu integracji wiedzy, zdefiniowanie pojęcia źródła wiedzy i opracowanie sposobu jego tworzenia przez wzbogacenie warstwy danych o warstwę wiedzy...
-
Możliwości logiki metody kreowania przestrzeni jako definicja architektury
PublicationPolemika przedstawiająca rozumienie architektury jako procesu projektownia jako materialno-racjonalną metodę stawiającą architekta na równi z rzemieślnikiem.Przedstawiana -omawiana ''metoda pięciu struktur jest jedną z wielu praktycznych metod projektowania.
-
Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej
PublicationLogika opisowa jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany prze W3C jako język do reprezentacji ontologii Semantycznego Internetu, oparty jest właśnie na logice opisowej. W tym artukule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano definicję bazy wiedzy...
-
What Can Be Observed Locally? Round based models for quantum distributed computing
PublicationW pracy rozważono zagadnienie lokalności w kontekście informacji kwantowej w obliczeniach rozproszonych. Rozważono dwa kwantowe rozszerzenia modelu LOCAL Liniala, otrzymane poprzez: (1) inicjalizację systemu w kwantowym stanie splątanym, (2) zastosowanie kwantowych kanałów komunikacyjnych. Dla obydwu typów rozszerzeń zaproponowano przykłady problemów, których złożoność rundowa ulega redukcji w porównaniu do oryginalnego modelu...
-
Zaangażowanie konsumenta w usługach w ujęciu logiki dominacji usługowej
PublicationW odniesieniu do opracowanego modelu koncepcyjnego integrującego teorie zaangażowania klienta (ang. CE) i logiki dominacji usług (ang. S-D logic) zrealizowano badanie ilościowe wśród konsumentów usług. Wyniki badania pozwoliły na weryfikację założeń teoretycznych i potwierdzenie słuszności zakładanych powiązań między zmiennymi modelu. Wykorzystując konfirmacyjną analizę czynnikową (ang. CFA), potwierdzono strukturę czynnikową badanej...
-
Wykorzystanie algorytmu ewolucyjnego i logiki rozmytej do kierowania statkiem
PublicationRozwój technik komputerowych w ostatnich latach, wpłynął na zmiany w sposobie prowadzenia nawigacji na współczesnym statku floty handlowej. Dysponując doświadczeniami związanymi z zatonięciem promu ''Estonia'', pod pokładem którego życie utraciły 852 osoby (95 ciał odnaleziono, 757 uznano za zaginione) oraz innych jednostek morskich, opracowano Konwencję STCW-95 nakładającą na oficerów nawigacyjnych i personel pokładowy, obowiązek...
-
Identyfikacja osób na podstawie cech twarzyz zastosowaniem logiki rozmytej
PublicationIstnieje wiele metod identyfikacji twarzyna podstawie zdjęcia, które pomimo swoich licznych zaletcharakteryzują się tym, że prawidłowa identyfikacja zależy odpodobnego w stosunku do zdjęcia znajdującego się w baziedanych oświetlenia, pozy czy miny identyfikowanej osoby.W artykule przedstawiono sposób na usuniecie ograniczeńistniejącego programu identyfikacyjnego Mug-Match Phantomas.Scharakteryzowano również założenia do metodypozwalającej...
-
Applying fuzzy logic to decisional DNA digital TV
PublicationWprowadzono wspomaganie oparte na logice rozmytej do modelu telewizji wykorzystujacej decyzyjny DNA.
-
Employing fuzzy logic to processing of loudness scaling test results
PublicationW procesie dopasowania współczesnych aparató słuchowych wymagana jest znajomość charakterystyki dynamiki słyszenia. Charaketrystyka dynamiki słyszenia wyznaczana jest na podstawie wyników testu skalowania głośności. Problem w tym, że wyniki testu skalowania głośności wyrażone są w skali kategorii oceny wrażenia głośności, natomiast aparaty słuchowe wymagają parametrów określonych na skali numerycznej. Logika rozmyta jest jedną...
-
Prognozowanie upadłości firm przy wykorzystaniu kursu dolara oraz logiki rozmytej
PublicationArtykuł ten dotyczy prognozowania upadłości spółek giełdowych w Polsce. Skupiono się w nim na rozważaniach nad możliwością wykorzystania, w procesie prognozowania upadłości, nie tylko wskaźników finansowych w modelu logiki rozmytej, ale również wybranych zmiennych makroekonomicznych Polski mających wpływ na sytuację finansową firm. W badaniach autor wykorzystał dane dotyczące 132 spółek akcyjnych notowanych na Warszawskiej Giełdzie...
-
Możliwości zastosowania elementów logiki rozmytej do oceny ryzyka środowiskowego statków
PublicationW referacie przedstawiono możliwości adaptacji miękkich metod analizy systemowej do oceny ryzyka środowiskowego statków; zarówno na etapie ustalania danych niezawodnościowych, wyznaczania prawdopodobieństw zdarzeń niebezpiecznych dla środowiska oraz oceny skutków uwolnienia zanieczyszczeń ze statków.
-
Ontologie jako metoda reprezentacji wiedzy
PublicationLogika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...
-
Quantum information isomorphism: Beyond the dilemma of the Scylla of ontology and the Charybdis of instrumentalism.
PublicationZaprezentowano koncepcję izomorfizmu kwantowej informacji, zgodnie z którym kwantowy opis natury jest izomorficzny z samą naturą.
-
Podejmowanie decyzji eksploatacyjnych dotyczących siłowni okrętowych w oparciu o logikę rozmytą
PublicationW referacie przedstawiono propozycję zastosowania logiki rozmyte, jako narzędzia przydatnego do podejmowania decyzji eksploatacyjnych. Przedmiotem zainteresowania jest tutaj podjęcie decyzji o dokonaniu obsługi profilaktycznej urządzenia lub systemu siłownianego przed wyjściem statku w morze lub przesunięciu obsługi na termin późniejszy. Propozycja zastosowania logiki rozmytej odnosi się do takich urządzeń i systemów, dla których...
-
Zastosowanie logiki rozmytej do wyboru wariantu obróbki w procesie korekcji wymiaru
PublicationCelem było stworzenie systemu wspomagającego sterowanie pracą elastycznego gniazda obróbkowego, opartego na modelu algorytmicznym i wykorzystującego zasady logiki rozmytej. Przeprowadzono badania wstępne z zakresu zużycia ostrza w procesie obróbki wiórowej oraz doboru parametrów procsu obróbki nagniataniem. Przedstawiono stanowisko badawcze i zastosowane oprogramowanie. Został zaproponowany model-schemat opisujący funkcjonowanie...
-
Zastosowanie relacyjnych baz danych i logiki opisowej w systemach integracji danych.
PublicationArtykuł przedstawia najbardziej popularne rozwiązania problemu integracji danych: podejście standardowe, podejście rozszerzone o wiedzę dziedzinową oraz podejście hybrydowe. Opisane zostały wady i zalety poszczególnych rozwiązań oraz istniejące na rynku systemy integracji danych, wraz z analizą ich użyteczności w rzeczywistych warunkach biznesowych. Celem artykułu jest analiza tych rozwiązań pod kątem ich wykorzystania do zapisu...
-
Implementacja reguł animacji w logice rozmytej
PublicationZaprojektowano system komputerowy wspomagający tworzenie animacji. System wykorzystuje reguły animacji wywodzące się z animacji tradycyjnej. Reguły opisują sposób uzyskiwania animacji postaci nacechowanych emocjonalnie. Na potrzeby badań zostały one sformułowane w logice rozmytej i zaimplementowane w języku programowania Python. Wykorzystując system wygenerowano animacje testowe, które poddano ocenie subiektywnej, w celu określenia...
-
Quantum states representing perfectly secure bits are always distillable
PublicationW pracy pokazano, że ostatnio wprowadzone stany kwantowe reprezentujące perfekcyjnie bezpieczny bit klucza kryptograficznegooraz ich wielocząstkowe i wielowymiarowe uogólnienia zawsze reprezentują destylowalne splątanie. Podano ograniczenia dolne na wielkość destylowalnego splątania. Ponadto podano alternatywny dowód faktu, że koszt splątania jest ograniczeniem górnym na wielkość destylowalnego klucza kryptograficznego w dwucząstkowym...
-
Fuzzy logic in financial management
PublicationW rozdziale tym przedstawiono rozważania na temat możliwości prognozowania sytuacji finansowej gospodarstw domowych przy zastosowaniu logiki rozmytej. Autor zaproponował model składający się ze zmiennych wejściowych opartych na informacjach demograficznych i finansowych konsumentów - na przykład: wiek, wykształcenie, liczba dzieci, wynagrodzenie, stopień zabezpieczenia finansowego.
-
Fuzzy logic and production planning.
PublicationReferat prezentuje efektywność logiki rozmytej w projektowaniu procesów produkcyjnych. Przedstawiono algorytm i przesłanki zastosowania logiki rozmytej opartej o informacje eksperckie.
-
Processing and querying description logic ontologies using cartographic approach
PublicationLogika opisowa (ang. description logic) jest formalizem reprezentacji wiedzy, który w ostatnich latach uzyskał dużą popularność pomiędzy inżynierami wiedzy. Po krótkim wprowadzeniu do formalizmu logiki opisowej artykuł prezentuje system wnioskowania opracowany na Politechnice Gdańskiej w ramach projektu PIPS 6 Programu Ramowego UE. System wnioskujący jest oparty na nowatorskiej metodzie kartograficznej, której podstawy również...
-
Unifying classical and quantum key distillation
PublicationPrzypuśćmy, że dwie oddalone od siebie osoby, Alicja i Bob, oraz osoba z nimi niewspółpracująca, Ewa, mają dostęp do systemów kwantowych przygotowanych w stanie rho_ABE. Ponadto Alicja i Bob mogą używać lokalnych operacji i uwiarygodnionej komunikacji publicznej. Celem Alicji i Boba jest ustanowienie klucza, który nie będzie znany Ewie. Nasze badania inicjują podejście do wspomnianego zagadnienia oparte na unifikacji dwóch standardowych...
-
Assessment of the impact of a phosphatic fertilizer plant on the adjecent environment using fuzzy logic
PublicationZbadano wpływ zakładów nawozów fosforowych na otaczające środowisko. W próbkach trawy i gleby oraz produktów i produktu ubocznego oznaczono wybrane pierwiastki ziem rzadkich, metale ciężkie i metaloidy. Zbadano rozkład stężeń pierwiastków oznaczonych w próbkach gleby i trawy wzdłuż południowego i wschodniego kierunku, porównując ją ze stężeniami oznaczonymi w glebie i trawie z terenu zakładów oraz w substratach i produktach. Wyniki...
-
Diagnostyka uszkodzeń analogowych we wbudowanych systemach elektronicznych z wykorzystaniem interpretera logiki rozmytej
PublicationPrzedstawiono nowe podejście samo-testowania toru analogowego w systemie wbudowanym sterowanym mikrokontrolerem. Podejście to bazuje na metodzie detekcji i lokalizacji pojedynczych uszkodzeń parametrycznych i katastroficznych elementów pasywnych w układach analogowych. W etapie pomiarowym badany tor analogowy pobudzany jest okresowym przebiegiem prostokątnym generowanym przez mikrokontroler, a jego odpowiedź jest próbkowana przez...
-
Wykorzystanie logiki rozmytej do diagnostyki uszkodzeń części analogowych w elektronicznych systemach wbudowanych
PublicationW pracy przedstawiono nowe podejście zastosowania modelowania rozmytego do diagnostyki uszkodzeń części analogowej elektronicznych systemów wbudowanych mieszanych sygnałowo przy wykorzystaniu środków programowych i sprzętowych mikrokontrolera sterującego systemem. Zaprezentowano sposób tworzenia słownika uszkodzeń, najważniejsze parametry rozmytych modeli detekcji i lokalizacji uszkodzeń oraz opis działania programowego procesora...
-
System logiki rozmytej wspomagający tworzenie animacji komputerowych w oparciu o język Python
PublicationW celu tworzenia animacji komputerowych opartych o reguły wywodzące się z animacji tradycyjnej zaimplementowano system logiki rozmytej w języku Python, wykorzystujący słownikowy typ danych (tablice asocjacyjne). Zaprojektowane reguły łączą etykiety słowne, oznaczające zmienne lingwistyczne z etykietami nazw funkcji przynależności wykorzystującymi wartości lingwistyczne. W referacie przedstawiono fazy projektowania systemu, określania...
-
Reasoning with Projection in Multimodular Description Logics Knowledge Bases
PublicationWe present an approach to reasoning with projection, i.e. reasoning in which it is possible to focus on a selected part of knowledge (by neglecting some non-interesting fragments). Projection is most useful for modular knowledge bases in which only parts of knowledge have to be exchanged or imported to other modules. In this paper we present an optimized method of reasoning over results of projection. The tests indicate that the...
-
A Semantic Algebra for Modularized Description Logics Knowledge Bases
PublicationPublikacja wprowadza pojęcia modularyzacji ontologii opartej na tzw. modułach semantycznych (s-modułach) oraz algebry s-modułów. W pracy zawarto szereg twierdzeń opisujących właściwości algebry, jej związku z klasą algebr cylindrycznych oraz przedyskutowano możliwości zastosowania prezentowanych idei.
-
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...
-
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...
-
Fuzzy logic for control Peltier module
Publication -
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...
-
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.
-
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ę...