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
-
Ograniczniki bezpiecznikowe prądów zwarciowych na duże prądy robocze.
PublicationPrzedstawia się ogólną ideę ograniczania prądów zwarciowych w obwodach o dużych prądach roboczych niskiego i średniego napięcia w oparciu o bezstykowe hybrydowe ograniczniki prądu z wykorzystaniem specjalnych, krótkotopikowych bezpieczników. Idea takich ograniczników polega na zastąpieniu łącznika zestykowego ogranicznika hybrydowego bezpiecznikiem o minimalnej długości topika z intensywnym chłodzeniem topika przez osiowe przewodnictwo...
-
Irena Bach-Dąbrowska dr inż.
People -
Chemia Opiekun Roku 2020/2021
e-Learning CoursesKurs kierowany dla wszystkich studentów pierwszego roku kierunku Chemia 2020/2021 Opiekun roku: Dr inż. Monika Gensicka-Kowalewska
-
Expert System as a classification method for optimal Legg-Calve-Perthes Disease treatment
PublicationZaproponowano utworzenie systemu eksperckiego jako metody klasyfikacji w prognozowaniu dowolnej formy leczenia dzieci z chorobą Legg-Calve-Perthesa. Obecnie nie ma jednego optymalnego sposobu leczenia choroby Perhtes'a i proponowana metoda jest próbą utworzenia wymiernego i uniwersalnego narzędzia, które będzie stanowiło podstawę przy podejmowaniu decyzji o najlepszym sposobie leczenia chorego stawu biodrowego. System ekspercki,...
-
Nowe algorytmy działania automatyki samoczynnego częstotliwościowego odciążania (SCO) w systemie elektroenergetycznym.
PublicationCelem pracy byłao opracowanie nowych algorytmów działania automatyki odciążającej pozbawionej wad stosowanego obecnie rozwiązania automatyki samoczynnego odciążania (SCO). Praca zawiera propozycje wymagających niewielkich zmian w stosowanym obecnie algorytmie przyczyniających się jednak do znacznej poprawy skuteczności odciążania oraz całkowicie nowatorskie rozwiązanie adaptacyjnego algorytmu automatyki odciążającej opartej na...
-
Optymalizacja rozpływów mocy biernej w systemie elektroenergetycznym
PublicationReferat prezentuje zagadnienia związane ze sterowaniem poziomami napięć w systemie elektroenergetycznym. Rozważane są dwie metody optymalizacji rozpływu mocy biernej, prowadzące do poprawy warunków napięciowych w systemie elektroenergetycznym i ograniczenia strat mocy czynnej. Pierwsza z metod optymalizacyjnych poddanych weryfikacji została zaimplementowana w programie PLANS, a bazuje na autorskiej procedurze opartej o logikę rozmytą,...
-
Wstęp do logiki i teorii mnogości 2023/2024
e-Learning Courses -
Wstęp do logiki i teorii mnogości 2022/2023
e-Learning Courses -
Computer Networks EN 2022
e-Learning CoursesThe student becomes familiar with the network layered logical architectures, classifies the basic problems of network communication and identifies and analyzes selected protocols and mechanisms of LAN and WAN (IP) networks.
-
Computer Networks EN 2023
e-Learning CoursesThe student becomes familiar with the network layered logical architectures, classifies the basic problems of network communication and identifies and analyzes selected protocols and mechanisms of LAN and WAN (IP) networks.
-
IEEE Symposium on Logic in Computer Science
Conferences -
International Conference on Algebraic and Logic Programming
Conferences -
International Symposium on Functional and Logic Programming
Conferences -
Logic and Engineering of Natural Language Semantics
Conferences -
Computability in Europe: Logic and Theory of Algorithms
Conferences -
Workshop on Logic, Language, Information and Computation
Conferences -
Annual Conference on Computer Science Logic
Conferences -
5. Logic and epistemology
e-Learning Courses -
Elements of logic and epistemology
e-Learning Courses -
Introduction of SAF-T in selected European countries together with applicable national names
Open Research DataAmong the methods used by individual countries in norder to seal the tax collection the introduction of the Standard Audit File for Tax is one of the most important ones.
-
Reversible energy transfer between monomers and fluorescent dimers of rhodamine S in polyvinyl alcohol films
PublicationBezpromienisty transfer energii i jej pułapkowanie jest analizowane dla rodaminy S domieszkowanej w foliach PVA. Z analizy wynika że fluoryzujące dimery rodaminy S grają rolę niedoskonałych pułapek energii wzbudzenia. Dla najwyższych koncentracji barwnika wyniki doświadczalne wydajności kwantowej i anizotropii emisji nie mogą być wyjaśnione przy pomocy modelu pomijającego transfer powrotny energii do monomerów. Uwzględnienie transferu...
-
Influence of diffusion on nonradiative energy transfer between FMN molecules in aqueous solution
PublicationZmierzono zależności wydajności kwantowej roztworów wodnych FMN w zakresie koncentracji od 6,31x10^-5 do 1,8x10^-2 M w temperaturach 298,2 i 323,9 K. Otrzymane wyniki porównano z analogicznymi, uzyskanymi teoretycznie na podstawie modelu nie biorącego i biorącego pod uwagę dyfuzję molekuł fluoroforu. Porównanie wykazuje, że dla badanych roztworów dyfuzja nie może być pominięta, oraz, że dla uzyskania zgodności otrzymanych wyników...
-
International Representation of S-Modular Knowledge Base in RKaSeA System
PublicationNiniejszy artykuł przedstawia nową metodę reprezentacji wiedzy ontologicznej wyrażonej w logice opisowej. Metoda ta, nazwana G-Cart została zaimplementowana w nowo utworzonym systemie zarządzania wiedzą RKaSeA. Artykuł opisuje podstawowe założenia metody oraz praktyczne zagadnienia związane z jej implementacją.
-
wykład informatyka - nowy
e-Learning CoursesTematyka wykładu obejmuje zagadnienia związane: -rozwój, budowa komputerów w tym mikrokontrolerów i ich zastosowanie w wielu dziedzinach, układy pozwalające przejść z techniki analogowej na cyfrową (przetworniki wielkości nieelektrycznych na eleaktrycze, przetworniki analogowo cyfrowe oraz cyfrowo analogowe -oprogramowanie, logika programowania od asemblera do języków wysokiego poziomu -transmisja danych, historia...
-
Intelligent Resources Search in Virtual Libraries.
PublicationZostała zaprezentowana koncepcja bibliotek cyfrowych oraz temat wyszukiwania zasobów. W celu poprawy jakości procesu wyszukiwania, zostało zaproponowane użycie koncepcji sieci semantycznej zamiast klasycznego sposóbu opisu zasobów bibliograficznych. Została opisana prosta ontologia oparta o Dublin Core meta-data. Zostało przedyskutowane zastosowanie algorytmu przetważania połączeń semantycznych w celu szukania. Zastosowany w Wirtualnej...
-
System typu SCADA oparty na komunikacji w sieci Intranet/Internet dla sterowanych układów napędowych
PublicationPrzedstawiono system typu SCADA opracowany do sterowania układami napędowymi z wykorzystaniem procesorów sygnałowych DSP. Nadrzędne sterowanie oparte jest na aplikacjach prowadzących komunikację w modelu klient-serwer w sieci Intranet/Internet. Aplikacje Client i Server wykorzystuję kontrolę transmisji protokołu TCP/IP oraz algorytm z pzresuwnym oknem do estymacji jakości połączenia w sieci. Obiektem sterowania jest układ napędowy...
-
Komputerowo wspomagane zapewnienie jakości w elastycznym wytwarzaniu
PublicationKomputerowo wspomagane zapewnienie jakości (CAQ) ma obecnie duże znaczenie w przemyśle maszynowym, produkującym wyroby o wysokiej jakości i konkurencyjne rynkowo. W związku z potrzebą zapewnienia jakości oraz tendencją do zmniejszania liczności partii, aż po produkcję jednostkową zorientowaną na klienta, sytuacja komplikuje się. W praktyce oznacza to potrzebę przystosowania konwencjonalnych metod kontroli jakości do potrzeb komputerowo...
-
Inteligentny modeler graficzny w komputerowych systemach wspomagania projektowania budowlanego
PublicationW pracy przedstawiono Inteligentny Modeler Graficzny (IMG), integrujący proces projektowania w systemach CAD. IMG integruje dwie podstawowe fazy projektowania : fazę konstruowania z fazą analziy konstrukcji. Podstawą integracji stałą się metoda Graphic Data Edition (GDE) rozpoznawania rysunku, oprata na koncepcji Logiki Rozmytej. Metoda GDE pozwoliła na zbudowanie modelera rozmytego, mającego za zadanie rozpoznanie rysunku i wygenerowanie...
-
Sztuczna inteligencja i elementy hybrydowych systemów ekspertowych
PublicationTematyka monografii dotyczy problematyki wchodzacej w skład szeroko pojetej sztucznej inteligencji i obejmuje: - klasyczną sztuczną inteligencję zawierającą zagadnienia reprezentacji i przetwarzania wiedzy symbolicznej, łącznie z realizacją symbolicznych systemów ekspertowych, - zbiory rozmyte i logikę rozmytą, wraz z rozmytymi systemami przetwarzającymi wiedzę nieprecyzyjną, - sztuczne sieci neuronowe łącznie z neuronowymi systemami...
-
Hybrid system of safe ship steering at sea
PublicationPrzedstawiony hybrydowy system sterowania statkiem w sytuacji kolizyjnej na morzu, ma umożliwić nawigatorowi podjęcie decyzji pozwalającej na bezpieczne przejście przez dany akwen z uwzględnieniem warunków pogodowych, i spotkanych ograniczeń nawigacyjnych o charakterze statycznym i dynamicznym. System ten łączy pracę dwóch technik komputerowych, algorytmów ewolucyjnych do wyznaczania optymalnej ścieżki przejścia i sterowania rozmytego...
-
NOWE TRENDY I KIERUNKI BADAŃ W MARKETINGU USŁUG
PublicationOd momentu pojawienia się koncepcji marketingu usług przechodzi ona nieustającą ewolucję. Pojawiające się nowe trendy (m.in. Service-Dominant Logic, Service Logic, New Service Marketing) i obszary badań marketingu usług (np. Transformative Service Research) skłaniają do dokonywania podsumowań pewnego etapu rozwoju i stawiania pytań, w którym kierunku powinny podążać badania marketingu usług w przyszłości. Celem artykułu jest przedstawienie...
-
Evaluation of the factors influencing business bankruptcy risk in Poland
PublicationThis article is devoted to the issue of assessing the causes of business failure. The presented studies answer two research questions – what are the causes of corporate bankruptcies in Poland and how to more efectively predict the scale of bankruptcies in the country. The author has conducted a study to analyze the specic endogenous and exogenous causes of company bankruptcy depending on the type of the bankruptcy with consideration...
-
2020/21 Chemia/Laboratorium z Chemii Organicznej
e-Learning CoursesLaboratorium z Chemii Organicznej dla kierunku Chemia sem. VI semestr letni 2020/2021 prowadzący: dr inż. Monika Gensicka-Kowalewska
-
Człuchów 2019 - video data - pedestrian, bicycles, vehicles
Open Research DataCzłuchów 2019 - video data - pedestrian, bicycles, vehicles
-
''Computing with words'' concept applied to musical instrument recognition. W: [CD-ROM] International Symposium of Musical Acoustics. ISMA MEXICO CITY. Mexico City, 9-13 December 2002. Mexico City: Escuela Nacional de Musica UNAM**2002, 8 s. 3 rys. 3 tab. bibliogr. 25 poz. Automatyczne rozpoznawanie klas instrumentów muzycznych w oparciu o wyraże- nia opisujące barwę dźwięku.
PublicationW referacie przedstawiono nowy sposób automatycznego przetwarzania danychmuzycznych w oparciu o paradygmat zaproponowany przez L. Zadeha. Pozwala tona automatyczne rozpoznawanie klas instrumentów muzycznych wykorzystując o-pis słowny barwy dźwięku. Przedstawiono system realizujący automatyczną kla-syfikację instrumentów muzycznych oparty o metodę zbiorów przybliżonych ilogikę rozmytą.
-
Indykatory jakościowe dla modelu społeczeństwa informacyjnego
PublicationRodząca się cywilizacja spisuje dla nas nowy kodeks zachowań. Usuwa standaryzację, synchronizację i centralizację, usuwa koncentrację energii, pieniędzy i władzy. Ta nowa cywilizacja ma swoją własną wizję świata, swoje własne podejście do czasu, przestrzeni, logiki i przyczynowości. Ma też swoje własne zasady polityki przyszłości. Poznawanie tego co nowe jest nieodzowną cechą człowieka. Podczas procesu poznawania obiektu, badamy...
-
Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego
PublicationAnaliza drzew błędów jest dedukcyjną metodą analizy pozwalającą ustalić przyczyny wybranego zdarzenia niepożądanego. Posługuje się w tym celu koncepcją przyczyn bezpośrednich i logiki boolowskiej, a pozwala ustalić przyczyny podstawowe analizowanego zdarzenia. Technika ta wykorzystuje jednak w swoich modelach notację nieformalną, co może powodować niejednoznaczności i ograniczyć wartość analizy, szczególnie, jeśli pracuje nad nią...
-
Rozwojowa koncepcja formułowania strategii.
PublicationNaczelne kierownictwo przedsiębiorstwa nie wykorzysta właściwie planowania strategicznego, jeżeli w jego sposobie myślenia nie pojawi się ponad strategiczna perspektywa czasowa w stosunku do otoczenia i przedsiębiorstwa, będąca wielokrotnością cyklu planistycznego. Rozszerzony w ten sposób horyzont myślenia strategicznego o przyszłości przynosi systemowe , wieloaspektowe widzenie problemów. Uwzględnianie ich w decydowaniu, czyni...
-
Hybrid System for Ship-Aided Design Automation
PublicationA hybrid support system for ship design based on the methodology of CBR with some artificial intelligence tools such as expert system Exsys Developer along with fuzzy logic, relational Access database and artificial neural network with backward propagation of errors.
-
Fuzzy Control of Waves Generation in a Towing Tank
PublicationThis paper presents the results of research related to the transformation of electrical energy into potential and kinetic energy of waves generated on the water surface. The waves are generated to model the environmental conditions for the needs of the model tests. The model tests are performed on model-scale objects to predict the features of full-scale maritime objects. It is done to improve human safety and the survivability...
-
Conformation Properties, Chiroptical Spectra, and Molecular Self-Assembly of 2,3-Piperazinodiones and Their Dithiono Analogues
PublicationRodzina chiralnych cyklicznych oksamidów została otrzymana przez kondensację optycznie czynnych 1,2-diamin ze szczawianem dietylu. Tionowanie produktów odczynnikiem Lawessona doprowadziło do chiralnych 2,3-dipiperazynodionów. Geometrie cząsteczkowe badano z użyciem obliczeń kwantowo-mechanicznych DFT i porównano z wynikami analizy krystalograficznej. Sześcioczłonowy pierścień heterocykliczny przyjmuje konformację półkrzesłową,...
-
Synthesis, spectroscopy and computational studies of some biologically important hydroxyhaloquinolines and their novel derivatives
PublicationA series crystalline compounds of methyl and phosphinyl derivatives of 2-methylquinolin-8-ol (1a) and related 5,7-dichloro-2-methylquinolin-8-ol (1b) were quantitatively prepared and characterized by microanalysis, IR, UV-vis and multinuclear NMR spectroscopy. Five of them have been characterized by single crystal X-ray diffraction method. The known compounds, 8-methoxy-2-methylquinoline (2a) and 8-methoxyquinoline (2d), were synthesised...
-
„Osiem kobiet”, ogólnopolska wystawa malarstwa, grafiki i rzeźby, Muzeum Śremskie.
Publication„Osiem kobiet”, ogólnopolska wystawa malarstwa, grafiki i rzeźby, Muzeum Śremskie. W wystawie biorą udział: Dominika Krechowicz, Jowita Mormul, Paulina Komorowska-Birger, Monika Korona, Joanna Trzcińska, Katarzyna Słuchocka, Joanna Stefańska, Natalia Wegner. Kuratorstwo wystawy: Katarzyna Słuchocka, Joanna Stefańska, Instytut Architektury Wnętrz i Wzornictwa Przemysłowego, Wydział Architektury Politechniki Poznańskiej
-
Programming languages 2021/22
e-Learning CoursesThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Programming languages 2022/23
e-Learning CoursesThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Programming languages 2023/24
e-Learning CoursesThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Programming languages
e-Learning CoursesThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Monika Joskowska mgr inż.
People -
Rengel Cane Sia Doctoral Candidate
PeopleI’m Rengel, born and raised in the Philippines. As an undergraduate I did kinetic modeling on Copper-catalyzed atom transfer radical addition (ATRA). Then I was inspired to do both theoretical and experimental studies, which led me to propose my master’s thesis on Synthesis, Computational, Electrochemical, and Photoconductivity Studies on Naphthalene and its derivatives. This led to a master’s degree in Chemistry in the Mindanao...
-
International Workshop on Logic Programming and Multi-Agents
Conferences