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
-
Workshop on Logic and Learning
Conferences -
Logic
e-Learning Courses -
KKK_P02_Pol Novel quantum and quasi-low dimensional oxide materials
ProjectsProject realized in Department of Solid State Physics according to BPN/BFR/2021/1/00042/U/00001 agreement
-
Applying computational intelligence to acoustics.
PublicationW artykule przedstawiono przegląd wybranych zagadnień związanych z zastosowaniem metod inteligencji obliczeniowej w akustyce. Zaprezentowane metody obejmują m.in. sztuczne sieci neuronowe, zbiory przyblizone, logikę rozmytą, algorytmy genetyczne. Problematyka akustyczna dotyczy z kolei klasyfikacji dźwięków muzycznych, inteligentnego przetwarzania muzyki, inteligentnego sterowania trakturą organową oraz obiektywizacji metody oceny...
-
Phosphorescence response to excitonic interactions in Ir organic complex-based electrophosporescent emitters
PublicationSpadek kwantowej wydajności fosforescencji ze wzrostem natężenia światła wzbudzajacego w Ir(ppy)3 tworzącym 100% warstwę naparowaną próżniowo oraz w Ir(ppy)3 umieszczonym w matrycy polimerowej PC:TPD, jest wywołany odziaływaniami między ekscytonami trypletowymi. Stała oddziaływania tryplet-tryplet wynosi (1-3)x 10-12 cm3/s i tylko nieznacznie zależy od stężenia Ir(ppy)3 w warstwie.
-
Direct measurement of nonlinear properties of bipartite quantum states
PublicationNieliniowe własności stanów kwantowych, takie jak entropia, splątania, określają ilość ważnych fizycznych źródeł i są często używane w informatyce kwantowej. Na ogół są one obliczane z pełnego opisu stanu kwantowego, pomimo tego, że zależą od niewielkiej ilości parametrów opisujących dany stan. Wyciągamy nielokalną i nieliniową wielkość, mianowicie entropię Renyi, z lokalnych pomiarów dwóch par fotonów splątanych polaryzacyjnie.
-
Participatory Planning 2023/2024
e-Learning CoursesTutors: Lukasz Pancewicz Monika Arczynska
-
Ontology oriented threat detection system
PublicationW niniejszym artykule przedstawiony jest projekt opartego o ntologię systemu wykrywania zagrożeń w różnego typu monitorowanych środowiskach (OOTDS). Zakłada się, że umieszczone w środowisku czujniki na bieżąco dostarczają systemowi zdarzeń odzwierciedlających zmiany zachodzące w środowisku. Korzystając z sieci asynchronicznych bloków rosnącej złożoności OOTDS dokonuje analizy otrzymanych zdarzeń. Bloki wstępnego przetwarzania konwertują...
-
Adaptive neuro fuzzy and fuzzy decision tree classifiers as applied to sea floor characterization.
PublicationPrzedstawiono wyniki badań wpływu różnych parametrów echa odbitego od dna morskiego na dokładność klasyfikacji typu dna przy pomocy sieci neuronowej z logiką rozmytą i przy pomocy drzew decyzyjnych. W szczególności uwzględniono takie parametry echa jak: energia, amplituda i nachylenie opadającego zbocza, wzbogacone o współczynniki falkowe otrzymane z dyskretnej transformacji falkowej (DWT).
-
Lipopeptides - synthesis and their properties
PublicationZaprezentowano syntezę nowych pochodnych tripeptydu Gly-Hyp-Lys o potencjalnie lepszych właściwościach lipofilowych. Modyfikacje polegały na acylowaniu N-końca glicyny kwasami tłuszczowymi (np. palmitynowym i stearynowym). Syntezę lipopeptydów zawierających fragment Gly-X-Y (gdzie: X= Met,Hyp,Hyp-Met,Gly-Hyp; Y=Lys,D-Lys) przeprowadzono na fazie stałej z zastosowaniem procedury Fmoc. Do wydłużanie łańcucha peptydowego zastosowano...
-
Wstęp do logiki i teorii mnogości
e-Learning Courses -
Metoda oceny wiarygodności pomiarów wpływających na jakość diagnostyki cieplno-przepływowej w energetyce
PublicationW rozprawie doktorskiej podjęto problem uwiarygodnienia pomiarów wpływających na jakość diagnostyki cieplno-przepływowej w energetyce. W pracy wykazano potrzebę rzetelnej informacji pozyskanej po przez pomiar parametrów, która jest niezbędna dla przeprowadzenia diagnozy badanego systemu. Jednocześnie zwrócono uwagę na zmienny charakter pracy systemów energetycznych, która wpływa na niestabilność pozyskanych danych, co prowadzi...
-
Zastosowanie wybranych metod sztucznej inteligencji do wspomagania projektowania wstępnego statku
PublicationW pracy przedstawiono hybrydowy system wspomagania projektowania statku oparty na metodologii CBR z wykorzystaniem wybranych narzędzi sztucznej inteligencji, takich jak: system ekspertowy Exsys Developer wraz z logiką rozmytą, relacyjna baza danych Access oraz sztuczna sieć neuronowa ze wsteczną propagacją błędów. System przewidziany jest do wspomagania projektowania wstępnego statku, w którym najczęściej wykorzystuje się projekty...
-
Poszukiwanie korelacji pomiędzy parametrami wektora cech i barwą dźwięku
PublicationPrzedstawiono algorytm poszukiwania korelacji między wartościami parametrów dźwięku a jego barwą. Wykonywana jest analiza statystyczna wartości przyjmowanych przez parametry, następnie w oparciu o logikę rozmytą, dyskretyzacja.Zadaniem ekspertów w teście odsłuchowym jest dopasowanie określenia semantycznego do prezentowanych dźwięków. Następny etap to wydobycie reguł w oparciu o metodę zbiorów przybliżonych. Do tego celu wykorzystywany...
-
Pakiet oceny bezpieczeństwa systemów informacyjnych.
PublicationOpracowano koncepcję oceny bezpieczeństwa w skali 6-cio poziomowej, umożliwiającej lokalizację mechanizmów zabezpieczeń w różnych warstwach architektury systemu, a także różnych procedur reagowania w przypadku naruszenia bezpieczeństwa. Przedstawiono założenia logiki rozmytej oraz diagram przejść stanów, przydatne do badania reakcji systemu na tzw. testy penetracyjne. Podano architekturę symulatora środowiskowego do oceny różnych...
-
Nowy algorytmy działania automatyki odciążającej w Krajowym Systemie Elektroenergetycznym.
PublicationW referacie przedstawiono nowy algorytm automatyki odciążającej oparty na elementach logiki rozmytej. Zastosowanie układu Rozmytej Adaptacyjnej Automatyki Odciążającej (RAAO) umożliwia znaczną poprawę zarówno skuteczności jak i jakości procesu odciążania. W referacie zamieszczono przykładowe wyniki badań symu-lacyjnych weryfikujących skuteczność działania zaproponowanego algorytmu. Otrzy-mane wyniki porównano z wynikami uzyskanymi...
-
Fuzzy track controller for ships.
PublicationPrzedstawiono projekt regulatora trajektorii zrealizowanego w oparciu o logikę rozmytą. Zadaniem regulatora jest sterowanie statkiem wzdłuż zadanej trajektorii z uwzględnieniem prędkości. Zadana trajektoria przedstawiona została w postaci linii łamanej z wyznaczona wartością prędkości z jaką statek ma poruszać się po każdym odcinku. Opracowane reguły sterowania regulatora rozmytego trajektorii poddane zostały badaniom na statku...
-
CBR methodology application in an expert system for aided design ship's engine room automation
PublicationW artykule przedstawiono metody obliczania podobieństwa na podstawie przypadków, zastosowane w opracowanym systemie ekspertowym do wspomagania projektowania siłowni okrętowej. Do realizacji metody na przykładzie automatyki napędu głównego zastosowano oprogramowanie bazy danych i system ekspertowy. Uzyskane wyniki wyszukiwania w bazie danych statków podobnych zostały porównane i przeanalizowane. Do weryfikacji zastosowanych w bazie...
-
Regulator trajektorii w aspekcie sterowania statkiem w sytuacji kolizyjnej
PublicationPrzedstawiono projekt regulatora trajektorii do sterowania statkiem wzdłuż planowanej trasy z uwzględnieniem zmian prędkości. Regulator zrealizowano w oparciu o logikę rozmytą. W algorytmie sterowania wykorzystuje się koncepcję statku wirtualnego, który porusza się dokładnie wzdłuż zadanej trajektorii. Opracowane reguły sterowaniaregulatora rozmytego trajektorii poddane zostały badaniom na modelumatematycznym statku typu kontenerowiec....
-
Arbutin: Isolation, X-ray structure and computional studies
PublicationArbutin, an active component originated from Serratula quinquefolia for skin-whitening use and treating skin related allergic inflammation, was characterized by microanalysis, FTIR, UV-Vis, multinuclear NMR spectroscopy, and single crystal X-ray diffraction method. The geometries of the studied compound were optimized in singlet states using the density functional theory (DFT) method with B3LYP functional. Electronic spectra were...
-
Logics in Artificial Intelligence, European Conference
Conferences -
Symposium on Logical Formalizations of Commonsense Reasoning
Conferences -
Organic electroluminescent devices containing phosphorescent molecules in molecularly doped hole transporting layer.
PublicationW pracy opisano mechanizm świecenia diody dwuwarstwowej diody elektroluminescencyjnej (EL) o zewnętrznej kwantowej wydajności świecenia osiągającej 9% fot./elektron. Warstwę transportującą elektrony tworzyła pochodna osadiazolu (PBD) otrzymana metodąnaparowania próżniowego. Warstwę transportującą dziury uzyskano przez wylanie roztworu poliwęglanu(PC), dendrymeru aminowego m-MTDATAoraz fosforyzującego kompleksu irydu Ir(ppy)3 i...
-
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...
-
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....
-
Elements of logic and epistemology
e-Learning CoursesThis course serves as an introduction to the problems of epistemology and logic.
-
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 -
Beyond the standard entropic inequalities: stronger scalar separability criteria and their applications
PublicationNiedawno pokazano, że jeżeli dwupodukładowy stan kwantowy spełnia strukturalne kryterium separowalności oparte na pewnym liniowym odwzorowaniu dodatnim (tzw. odwzorowanie redukcyjne) to musi także spełniać skalarne kryterium separowalności oparte na nierównościach entropijnych. Ponieważ nierówności te są obiecującymi z eksperymentalnego punktu widzenia detektorami splątania w układach kwantowych, interesującym wydaje się pytanie...
-
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ą...
-
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ą...
-
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...
-
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.
-
Otrzymywanie i charakterystyka TiO2 modyfikowanego nanocząstkami Au oraz Pd
PublicationDitlenek tytanu jest intensywnie badany od wielu lat, ze względu na jego właściwości fotokatalityczne, nietoksyczność oraz niski koszt. Ograniczeniem w zastosowaniu TiO2 jest jego niska wydajność kwantowa konwersji energii słonecznej, ze względu na szybką rekombinację nośników oraz konieczność zastosowania promieniowania UV. TiO2 absorbuje tylko 3-4% promieniowania słonecznego, ponieważ może być wzbudzony tylko promieniowaniem...
-
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...
-
PIONIER-Q PIONIER-Q Polish Quantum Communication Infrastructure
ProjectsProject realized in Dział Sieci
-
Monika Trojanowska
People -
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.
-
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.
-
Webinar for students (Monika Czerepak)
e-Learning Courses -
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...
-
Ć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
-
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...