Search
Filters
total: 2131
-
Catalog
- Publications 1573 available results
- Journals 43 available results
- Conferences 27 available results
- People 159 available results
- Inventions 5 available results
- Projects 32 available results
- Research Teams 7 available results
- e-Learning Courses 163 available results
- Events 8 available results
- Open Research Data 114 available results
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 -
Logic and Logical Philosophy
Journals -
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...
-
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.
-
Kwantowa dynamika procesu fotodysocjacji rodnika winoksylowego. Nieadiabatyczne efekty w pobliżu przecięcia stożka
Publication.
-
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...
-
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...
-
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.
-
Jan Kozicki dr hab. inż. arch.
PeopleIn year 2002 after obtaining master's degree in construction was employed on Faculty of Civil and Environmental Engineering. In 2004 obtained master's degree in architecture on Faculty of Architecture focusing on a research outpost on Mars. Defended PhD in year 2007 in the field of numerical modeling. In 2013 obtained Licentiate degree in theoretical physics on University of Gdańsk. In year 2014 obtained habilitation in technical...
-
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...
-
Studia Logica
Journals -
Logica Universalis
Journals -
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...
-
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...
-
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...
-
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.
-
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...
-
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ą...
-
Applying fuzzy logic to decisional DNA digital TV
PublicationWprowadzono wspomaganie oparte na logice rozmytej do modelu telewizji wykorzystujacej decyzyjny DNA.
-
Logical Investigations
Journals -
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...
-
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.
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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.
-
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...
-
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...
-
Fuzzy logic for control Peltier module
Publication