Filtry
wszystkich: 2250
-
Katalog
- Publikacje 1748 wyników po odfiltrowaniu
- Czasopisma 43 wyników po odfiltrowaniu
- Konferencje 27 wyników po odfiltrowaniu
- Osoby 164 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 62 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: logika opisowa
-
coincidence investigation of inelastic electron-atom collisions with magnetic selection of scattering angle - feasibility study
PublikacjaOpisana została nowa aparatura do badania zderzeń elektronów z atomami metodą koincydencji z wykorzystaniem techniki lokalnego pola magnetycznego. Połączenie obu metod umożliwia wyznaczenie parametrów koincydencji w pełnym kącie rozproszenia. W pracy zaprezentowano pierwsze widma energii straconej oraz widma koincydencji.
-
Application of artificial intelligence into/for control of flexible manufacturing cell
PublikacjaThe 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
PublikacjaIn 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.
-
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.
-
Esters of p-nitrophenol in synthesis of 1-N-monoamide and 1,7-bis-N,N-amide derivatives of 1,4,7,10-tetraazacyclododecane
PublikacjaW artykule opisana została synteza acylowych pochodnych 1,4,7,10-tetraazacyklododekanu przy pomocy estrów aktywnych. W bezpośredniej reakcji estrów 4-nitrofenylowych z cyklenem prowadzonej w bardzo łagodnych warunkach otrzymano pochodne mono i dipodstawienia z bardzo dobrymi wydajnościami. Zbadano również wpływ różnych parametrów na dystrybucję produktów.
-
Metodyka wytwarzania tlenkowych ogniw paliwowych oraz pomiaru ich parametrów elektrycznych w warunkach laboratoryjnych
PublikacjaCelem opracowania jest zaprezentowanie metodyki przygotowania oraz pomiaru parametrów elektrycznych tlenkowych ogniw paliwowych z anodą kompozytową na bazie perowskitu. Częściowo procedura ta była opisana w rozprawie doktorskiej autorki pt. „Właściwości strukturalne i transportowe kompozytów tytanianu strontu z tlenkami przewodzącymi jonowo” (Gdańsk 2013).
-
Poprawa rozdzielczości pomiarów TDOA w radionawigacyjnym odbiorniku DS-CDMA
PublikacjaReferat przedstawia propozycję poprawy rozdzielczości pomiaru różnic czasów nadejścia sygnałów (TDOA) w odbiorniku DS-CDMA do celów radiolokalizacyjnych i radionawigacyjnych przy użyciu pętli śledzenia fazy ciągu rozpraszającego wykorzystującej filtry ułamkowoopóźniające. Opisana jest budowa i funkcjonowanie proponowanego rozwiązania wraz z wynikami badań laboratoryjnych.
-
Studia i Plany Zagospodarowania Przestrzennego, piątek 17.00
Kursy OnlinePrzedmiot opracowania: Koncepcja urbanistyczna i projekt miejscowego planu zagospodarowania przestrzennego w okolicy planowanego parku rozrywki w mieście Gdańsku, dzielnica Osowa
-
Studia i Plany Zagospodarowania Przestrzennego, piątek 13.00
Kursy OnlinePrzedmiot opracowania: Koncepcja urbanistyczna i projekt miejscowego planu zagospodarowania przestrzennego w okolicy planowanego parku rozrywki w mieście Gdańsku, dzielnica Osowa
-
Nowy inteligentny algorytm działania automatyki odciążającej
PublikacjaW 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...
-
Processing of musical data employing rough sets and artificial neural networks
PublikacjaArtykuł opisuje założenia systemu automatycznej identyfikacji muzyki i dźwięków muzycznych. Dokonano przeglądu standardu MPEG-7, ze szczególnym naciskiem na parametry opisowe dźwięku. Przedyskutowano problemy analizy danych audio, związane z zastosowaniami wykorzystującymi MPEG-7. W oparciu o eksperymenty przedstawiono efektywność deskryptorów niskiego poziomu w automatycznym rozpoznawaniu dźwięków instrumentów muzycznych. Przedyskutowano...
-
Processing of musical data employing rough sets and artificial neural networks
PublikacjaArtykuł opisuje założenia systemu automatycznej identyfikacji muzyki i dźwięków muzycznych. Dokonano przeglądu standardu MPEG-7, ze szczególnym naciskiem na parametry opisowe dźwięku. Przedyskutowano problemy analizy danych audio, związane z zastosowaniami wykorzystującymi MPEG-7. W oparciu o eksperymenty przedstawiono efektywność deskryptorów niskiego poziomu w automatycznym rozpoznawaniu dźwięków instrumentów muzycznych. Przedyskutowano...
-
Między wspólnotą a biznesem - system rządzenia w przedsiębiorstwie społecznym – studia przypadku
PublikacjaTeoria na temat ładu korporacyjnego zdążyła się już intensywnie rozwinąć w wielu dyscyplinach, lecz w przypadku przedsiębiorstw społecznych istnieje duża luka badawcza. Celem artykułu jest rozpoznanie istotnych elementów systemu rządzenia governance w przedsiębiorstwach społecznych na przykładzie spółdzielni socjalnych oraz identyfikacja wewnętrznych charakterystyk tego systemu. W oparciu o opisową i eksploracyjną analizę przypadku...
-
Monika Trojanowska
Osoby -
Probabilistic limit state analysis of framed structures. The Monte Carlo simulation.
PublikacjaW pracy opisana jest koncepcja rozkładu prawdopodobieństwa stanu granicznego konstrukcji, oparta na specjalnej procedurze symulacyjnej Monte Carlo. Główną ideę stanowi obliczenie mnożnika obciażenia granicznego w każdym kroku symulacyjnym. Niezawodnosć lub prawdopodobieństwo awarii konstrukcji sa charakterystykami rozkładu prawdopopdobieństwa stanu granicznego. Szczegółowo opisano dwa warianty symulacji.
-
Wzmocnienie ściany zabytkowego budynku Gmachu Głównego PG
PublikacjaOpisana w artykule metoda wzmocnienia muru osłabionego otworami pokazała skuteczność przyjętego rozwiązania. Metodę tą z powodzeniem stosować można do ścian w budynkach zabytkowych będących często w złym stanie technicznym. Prosty montaż oraz niewielki koszt i krótki czas realizacji należą do największych zalet tej metody.
-
High - voltage thin - layer fuses
PublikacjaZaprezentowano 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
PublikacjaW 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)
Kursy Online -
Ćwiczenia z Chemii Organicznej dla kierunku Chemia sem. IV
Kursy OnlineĆ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
PublikacjaThe 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...
-
Power devices in Polish National Silicon Carbide Program
PublikacjaArtykuł zawiera informacje o polskim rządowym programie ''Nowe technologie na bazie węglika krzemu i ich zastosowania w elektronice wielkich częstotliwości, dużych mocy i wysokich temperatur''. Program zawiera trzy główne zadania zawierające następujące cele: wytworzenie podłoży z SiC, wytworzenie przyrządów z SiC oraz ocenę działania wybranych przyrządów w układach aplikacyjnych. Omówiono zastosowane metody wytwarzania podłoży,...
-
A New Model for context aware applications analysis and design
PublikacjaW 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
PublikacjaRich 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...
-
Ograniczniki bezpiecznikowe prądów zwarciowych na duże prądy robocze.
PublikacjaPrzedstawia 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ż.
Osoby -
Chemia Opiekun Roku 2020/2021
Kursy OnlineKurs kierowany dla wszystkich studentów pierwszego roku kierunku Chemia 2020/2021 Opiekun roku: Dr inż. Monika Gensicka-Kowalewska
-
On the safety of technical sphere.
PublikacjaTechnika daje nam dobra użyteczne i zarazem generuje rozmaite zagrożenia.Przedstawiono analizę tych zagrożeń na przykładzie ogólnie potraktowanego systemu realizacji potrzeb. Opisana została natura relacji występujących między tym systemem a otoczeniem oraz w jego wnętrzu. Dalej przedstawiono klasy modeli predykcji strat, które mogą powstać w wyniku uwolnienia się omawianych zagrożeń.
-
Preparation of silver nanoparticles in reverse micelles and antibacterial activity of silver modified-paints
PublikacjaW publikacji została opisana metoda otrzymywania nanocząstek srebra oraz farb modyfikowanych srebrem i ich wpływ na zahamowanie rozwoju wybranych bakterii i grzybów. Podjęto również próbę porównania wpływu rodzaju prekursora srebra oraz substancji powierzchniowo czynnej na stabilność otrzymanych nanocząstek srebra. Przygotowane mikroemulsje zawierały od 500 do 2000 ppm srebra
-
Metoda wyboru informacji z dedykowanych zbiorów danych
PublikacjaPoszukiwanie skutecznych metod wyboru informacji wynika z obserwowanego obecnie nadmiaru danych. W artykule opisana jest metoda GQM wykorzystywana w informatyce między innymi do budowy wielowymiarowej funkcji jakości oprogramowania. W artykule wykazano, że metoda ta może być również wykorzystana do poszukiwania i wyboru danych z dedykowanych zbiorów informacji dziedzinowych.
-
POMIAR PASMA KOHERENCJI KANAŁÓW RADIOWYCH W SYSTEMIE TETRA
PublikacjaReferat zawiera opis weryfikacji pasma koherencji kanałów radiowych dla systemu TETRA na bazie pomiarów zrealizowanych w warunkach rzeczywistych w województwie pomorskim. Opisana została metoda pomiarowa bazująca na wykorzystaniu sygnałów łącza w dół z systemu CDMA2000. Wyniki pomiarów zostały porównane z modelami kanałów radiowych zawartymi w specyfikacji systemu TETRA.
-
Wstęp do logiki i teorii mnogości 2023/2024
Kursy Online -
Wstęp do logiki i teorii mnogości 2022/2023
Kursy Online -
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
PublikacjaCelem 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
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,...
-
Nowe algorytmy działania automatyki samoczynnego częstotliwościowego odciążania (SCO) w systemie elektroenergetycznym.
PublikacjaCelem 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...
-
Expert System as a classification method for optimal Legg-Calve-Perthes Disease treatment
PublikacjaZaproponowano 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,...
-
Optymalizacja rozpływów mocy biernej w systemie elektroenergetycznym
PublikacjaReferat 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ą,...
-
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 -
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