Filtry
wszystkich: 2376
-
Katalog
- Publikacje 1758 wyników po odfiltrowaniu
- Czasopisma 43 wyników po odfiltrowaniu
- Konferencje 27 wyników po odfiltrowaniu
- Osoby 165 wyników po odfiltrowaniu
- Wynalazki 7 wyników po odfiltrowaniu
- Projekty 25 wyników po odfiltrowaniu
- Zespoły Badawcze 6 wyników po odfiltrowaniu
- Kursy Online 160 wyników po odfiltrowaniu
- Wydarzenia 8 wyników po odfiltrowaniu
- Dane Badawcze 177 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: logika opisowa
-
Model funkcjonalny wpływu czynników na jakość produktu w branży piekarniczej
PublikacjaW 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
Kursy OnlineThe 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
Kursy OnlineThe 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
Konferencje -
International Conference on Algebraic and Logic Programming
Konferencje -
International Symposium on Functional and Logic Programming
Konferencje -
Logic and Engineering of Natural Language Semantics
Konferencje -
Computability in Europe: Logic and Theory of Algorithms
Konferencje -
Workshop on Logic, Language, Information and Computation
Konferencje -
Annual Conference on Computer Science Logic
Konferencje -
Joanna Poczobut dr inż. arch.
Osoby -
Finite-state lexical tools
PublikacjaArtykuł 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...
-
Metodyka tworzenia materiałów multimedialnych dla e-edukacji− propozycje autorskie
PublikacjaW 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...
-
5. Logic and epistemology
Kursy Online -
Elements of logic and epistemology
Kursy Online -
Introduction of SAF-T in selected European countries together with applicable national names
Dane BadawczeAmong 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.
-
Projektowanie urbanistyczne III - Osowa-Nowy Świat 2021/22
Kursy OnlineProjektowanie 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
-
wykład informatyka - nowy
Kursy OnlineTematyka 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...
-
System typu SCADA oparty na komunikacji w sieci Intranet/Internet dla sterowanych układów napędowych
PublikacjaPrzedstawiono 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
PublikacjaKomputerowo 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...
-
Rozkłady dochodów, nierówności i dobrobyt w Polsce.
PublikacjaRozdział 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ść...
-
Obniżenie ciężaru podatkowego przedsiębiorcy w świetle polskich przepisów prawa
PublikacjaCelem 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...
-
Generating fractal tiles using Voronoi diagrams
PublikacjaPraca 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
PublikacjaArtykuł 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.
-
Sztuczna inteligencja i elementy hybrydowych systemów ekspertowych
PublikacjaTematyka 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...
-
Inteligentny modeler graficzny w komputerowych systemach wspomagania projektowania budowlanego
PublikacjaW 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...
-
Hybrid system of safe ship steering at sea
PublikacjaPrzedstawiony 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
PublikacjaOd 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...
-
Badanie adaptacyjnych algorytmów dynamicznego sterowania mocą w interfejsie radiowym WCDMA/FDD systemu UMTS.
PublikacjaW 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
PublikacjaW 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...
-
Analysis and simulation of the reliable multicast protocol.
PublikacjaArtykuł 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,...
-
Estymacja położenia węzłów ruchomych w sieci UWB synchronizowanej emisją z węzła nieruchomego
PublikacjaW 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...
-
Zależność współczynnika szumu liniowego dwuwrotnika od admitancji generatora
PublikacjaOmó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
PublikacjaThis 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
Kursy OnlineZastosowanie 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
Kursy OnlineLaboratorium 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.
PublikacjaW 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
PublikacjaRodzą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...
-
Rozwojowa koncepcja formułowania strategii.
PublikacjaNaczelne 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...
-
Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego
PublikacjaAnaliza 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ą...
-
Device for spoofing in global positioning system
PublikacjaThis 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...
-
Hybrid System for Ship-Aided Design Automation
PublikacjaA 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
PublikacjaThis 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.
Publikacja„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
-
Impedance of cation-coupled electron transfer reaction: teoretical description of one pathway process
PublikacjaPrzyję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
PublikacjaDŁ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
PublikacjaBitcoin 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
Kursy OnlineThe 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
Kursy OnlineThe 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
Kursy OnlineThe 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.