Filters
total: 2394
-
Catalog
- Publications 1772 available results
- Journals 43 available results
- Conferences 27 available results
- People 166 available results
- Inventions 7 available results
- Projects 25 available results
- Research Teams 6 available results
- e-Learning Courses 161 available results
- Events 8 available results
- Open Research Data 179 available results
displaying 1000 best results Help
Search results for: logika opisowa
-
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 -
Gdyński Szlak Modernizmu - IV Weekend Architektury w Gdyni, prowadzenie spaceru Via City Design Gdynia - szlakiem najciekawszych realizacji architektury wnętrz - lokali szlaku kulinarnego Gdyni
PublicationCelem było przedstawienie mieszkańcom Gdyni designu, aranżacji wnętrz wybranych gdyńskich lokali gastronomicznych za pomocą szczegółowych opisów materiałów i rozwiązań oraz ich wzajemnych powiązań we wnętrzu. Mieszkańcy wybierali najbardziej kreatywne wnętrze, uczestnik spaceru - wcielał się w rolę jurora.
-
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 -
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ą,...
-
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...
-
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 -
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ść...
-
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...
-
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.
-
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,...
-
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...
-
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...
-
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.
-
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.
-
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...
-
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
-
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...
-
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...
-
''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ą.
-
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....
-
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...
-
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.