Search
Filters
total: 2364
-
Catalog
- Publications 1749 available results
- Journals 43 available results
- Conferences 27 available results
- People 164 available results
- Inventions 7 available results
- Projects 25 available results
- Research Teams 6 available results
- e-Learning Courses 160 available results
- Events 8 available results
- Open Research Data 175 available results
displaying 1000 best results Help
Search results for: LOGIKA OPISOWA
-
Model funkcjonalny wpływu czynników na jakość produktu w branży piekarniczej
PublicationW artykule zostały przedstawione czynniki, które mają wpływ na jakość produktu w branży piekarniczej. Tym produktem jest pieczywo, a w szczególności chleb, który stanowi od 80% do 90% jego ogólnej produkcji. Autor wyodrębnił czynniki wpływające na jakość produktu i usystematyzował je, a następnie opisał. Podzielone one zostały na 3 grupy funkcjonujące w procesie produkcyjnym, a następnie na podgrupy. Podstawowe grupy czynników,...
-
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 -
Metodyka tworzenia materiałów multimedialnych dla e-edukacji− propozycje autorskie
PublicationW artykule przedstawiono metodykę tworzenia i wykorzystania akademickich podreczników multimedialnych przeznaczonych do udostępniania w sieci. Opisana metodyka określana jest mianem UCD (User Centered Design). Sczegółowo omówiono trzy etapy procesu, a mianowicie: analizę, projektowanie i testowanie. Przedstawione przykłady szczegółowych rozwiazań funkcjonalnych i graficznych pochodzą z autorskich pdręczników stworzonych w technologii...
-
Finite-state lexical tools
PublicationArtykuł przedstawia trzy pakiety oprogramowania zawierające narzędzia poziomu leksykalnego wykorzystujące automaty skończone: dwa zbiory samodzielnych programów i skryptów pomocniczych - jeden używający prostych automatów skończonych, drugi używający automatów Mealy`ego oraz bibliotekę funkcji. Wszystkie przedstawione pakiety posiadają podobne funkcje. Zamiast opisywać poszczególne pakiety, opis skupiony jest na dostarczanych przez...
-
5. Logic and epistemology
e-Learning Courses -
Elements of logic and epistemology
e-Learning Courses -
Projektowanie urbanistyczne III - Osowa-Nowy Świat 2021/22
e-Learning CoursesProjektowanie urbanistyczne III - Osowa-Nowy Świat 2021/22 Piątek 10.15-13.00 – sala 306 Prowadzący: dr hab. inż. arch. J. Martyniuk – Pęczek, prof. PG mgr inż. arch. M. Waczyńska
-
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.
-
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...
-
Joanna Poczobut dr inż. arch.
People -
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...
-
Obniżenie ciężaru podatkowego przedsiębiorcy w świetle polskich przepisów prawa
PublicationCelem niniejszego opracowania jest wskazanie podejścia do obniżenia ciężaru podat-kowego przedsiębiorcy w polskich przepisach prawa. Osiągnięciu niniejszego celu służyć ma przyjęta konstrukcja - w pierwszej części obejmująca rozróżnienie legalnych i nielegalnych metod obniżania ciężaru podatkowego przedsiębiorców, w drugiej natomiast przedstawienie podejście do instytucji obejścia prawa podatkowego w polskich regulacjach prawnych...
-
Rozkłady dochodów, nierówności i dobrobyt w Polsce.
PublicationRozdział ten poświęcony jest prezentacji wyników badań empirycznych rozkładów dochodów w Polsce w okresie transformacji. Źródłem danych statystycznych są budżety gospodarstw domowych z lat 1993-1999. Jako statystyczny miernik zasobności finansowej gospodarstw domowych przyjęto dochody oraz alternatywnie wydatki, przeliczone na wybrane jednostki ekwiwalentne. Wskazano też na konieczność ważenia obserwacji. Z uwagi na nieporównywalność...
-
Generating fractal tiles using Voronoi diagrams
PublicationPraca opisuje szczególną klasę podziałów powierzchni n-wymiarowego torusa na komórki o fraktalnym brzegu. Zbiór komórek przejawia nietypowe własności samopodobieństwa, może zostać użyty do wypełnienia przestrzeni R^n w sposób periodyczny lub aperiodyczny ze zmienną gęstością podziałów. Zaproponowany został algorytm do generowania takich podziałów używając diagramów Woronoja. Opisana metoda może mieć zastosowania w grafice komputerowej.
-
Kościoły międzywojennej Gdyni - kontekst urbanistyczny i architektoniczny =The churches of the Interwar Gdynia - the urban and architectural context
PublicationArtykuł prezentuje kościoły zbudowane w Gdyni w okresie międzywojennym: dwa w śródmieściu i po jednym w takich dzielnicach jak Witomino, Grabówek, Działki Leśne, Wzgórze Focha, Cisowa i Oksywie. Ukazano dzieje budowy tych obiektów ich architekturę i autorów oraz spoecyficzny kontekst urbanistyczny nowo powstającego miasta.
-
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...
-
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...
-
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...
-
Estymacja położenia węzłów ruchomych w sieci UWB synchronizowanej emisją z węzła nieruchomego
PublicationW referacie przedstawiono wyniki testów możliwości wykorzystania modemów IR UWB (Impulse Radio Ultra-Wide Band) typu DWM1000 do budowy sieci radiolokalizacyjnej, w której położenie węzłów ruchomych jest estymowane na podstawie pomiarów różnic odległości metodą TDOA (Time Difference of Arrival). Opisana została struktura sieci i sposób synchronizacji pomiarów czasów w nieruchomych węzłach referencyjnych przez cykliczny odbiór sygnałów...
-
Analysis and simulation of the reliable multicast protocol.
PublicationArtykuł przedstawia badania dotyczące protokołu grupowego porządkowania wiadomości-RMP. Opisana została podstawowa idea algorytmów działania protokołu oraz jego najważniejsze własności. Ponadto został on zimplementowany jako część symulatora protokołów komunikacji grupowej. Wyniki badań i dogłębna analiza mechanizmów działania protokołu pozwoliła na wprowadzenie szeregu modyfikacji w stosunku do oryginalnej specyfikacji,...
-
Wykorzystanie techniki emisji akustycznej w ocenie procesów korozyjnych poszycia zbiorników na produkty ropopochodne na statkach morskich
PublicationW pracy przedstawiono zostaną podstawowe informacje związane z zastosowaniem metody Emisji Akustycznej (EA) do oceny procesów korozyjnych zachodzących w zbiornikach ładunkowych statków przeznaczonych do transportu ropy naftowej. Opisana zostanie metoda EA jako narzędzie do lokalizacji źródeł korozji, podstawowe procesy korozyjne zachodzące w zbiornikach ładunkowych tankowców, wybrane wyniki pomiarów EA na jednostkach pływających...
-
Badanie adaptacyjnych algorytmów dynamicznego sterowania mocą w interfejsie radiowym WCDMA/FDD systemu UMTS.
PublicationW pracy przedstawiono algorytmy dynamicznego sterowania mocą możliwe do zaimplementowania w interfejsie radiowym WCDMA/FDD systemu UMTS. Opisana została metoda adaptacyjnego sterowania mocą wykorzystująca mechanizm predykcji zaników mocy sygnału w kanale. Przedstawiono wyniki badań symulacyjnych, mających na celu określenie efektywności adaptacyjnych algorytmów dynamicznego sterowania mocą w różnych warunkach środowiskowych i przy...
-
Zależność współczynnika szumu liniowego dwuwrotnika od admitancji generatora
PublicationOmówiono przyczyny uzależnienia współczynnika szumu liniowego dwuwrotnika od admitancji generatora dołączonego do wejścia dwuwrotnika. Przedstawiono wyprowadzenia opisów matematycznych współczynnika szumu dwuwrotnika od admitancji generatora, stosowanych w zakresie małej częstotliwości oraz w zakresie pasma mikrofal. Wykazano pewne ograniczenia w stosowaniu niektórych równań opisujących współczynnik szumu dwuwrotnika.
-
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...
-
Emisyjność i odporność na promieniowanie EM w aparaturze biomedycznej 2023
e-Learning CoursesZastosowanie w biomedycynie zaleceń dotyczących zasad kompatybilności elektromagnetycznej. Omówienie wymagań konstrukcyjnych jaki obowiązujących zagadnień prawnych obowiązujących dla urządzeń stosowanych w medycynie. Przedstawienie opisów stosowanych obecnie metod oceny zgodności oraz stosowanych elementów i układów ochronnych wraz z metodami ich symulacji.
-
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
-
''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ą.
-
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...
-
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ą...
-
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.
-
Device for spoofing in global positioning system
PublicationThis article describes the device which may be used to generate false GPS signals and emit them into radio communication channel. Such attack is called GPS spoofing. Each GPS receiver which remains in the range of a spoofing device (called spoofer) indicates time and position coordinates which are predetermined by the spoofer’s operator. Spoofing may be used e.g. in order to disable the terrorist group from obtaining correct navigation...
-
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...
-
„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
-
DŁUGOTRWAŁE BEZROBOCIE W POLSCE W LATACH 2000-2015 NA TLE WYBRANYCH KRAJÓW UNII EUROPEJSKIEJ
PublicationDŁUGOTRWAŁE BEZROBOCIE JEST POTWIERDZENIEM ISTNIENIA TRWAŁEJ NIERÓWNOWAGI NA RYNKU PRACY. SKUTKUJE UJEMNYMI SKUTKAMI W SFERZE EKONOMICZNEJ, SPOŁECZNEJ I INDYWIDUALNEJ. CELEM OPRACOWANIA JEST PRZEDSTAWIENIE ZMIAN W DŁUGOTRWAŁYM BEZROBOCIU W POLSCE, PREZENTACJA I OCENA NA TLE WYBRANYCH KRAJÓW UNII EUROPEJSKIEJ W LATACH 2000-2015. DO BADAŃ WYKORZYSTANO OGÓLNODOSTĘPNE MATERIAŁY STATYSTYCZNE I ELEMENTY STATYSTYKI OPISOWEJ. PONADTO DOKONANO...
-
Impedance of cation-coupled electron transfer reaction: teoretical description of one pathway process
PublicationPrzyjęto możliwość występowanie dwóch wzajemnie sprzężonych reakcji. Opisana została impedancja sprzężonej reakcji przeniesienia elektronu z kationem. Wyznaczony został również model elektrycznego schematu zastępczego. Całkowita impedancja Faradayowska jest sumą impedancji przeniesienia elektronu i impedancji przeniesienia kationu. Przykłady pomiaru impedancyjnego w warunkach potencjostatycznych i potencjodynamicznych zostały omówione....
-
Blockchain: zdecentralizowane zaufanie
PublicationBitcoin wprowadził innowację na wielu płaszczyznach. Jako pierwszy rozwiązał problem osiągania konsensusu w sieciach otwartych, stworzył zagadkę ekonomiczną w postaci globalnej waluty deflacyjnej, pozwolił na transfer pieniędzy tym, którzy wcześniej byli wykluczeni bankowo, ale przede wszystkim stworzył fundamenty pod platformę zdecentralizowanego zaufania. Zapoczątkował technologie zdecentralizowanych aplikacji, które dotychczas...
-
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.