Wyszukiwarka
Filtry
wszystkich: 3719
-
Katalog
- Publikacje 2367 wyników po odfiltrowaniu
- Czasopisma 24 wyników po odfiltrowaniu
- Wydawnictwa 5 wyników po odfiltrowaniu
- Osoby 216 wyników po odfiltrowaniu
- Wynalazki 13 wyników po odfiltrowaniu
- Projekty 16 wyników po odfiltrowaniu
- Laboratoria 6 wyników po odfiltrowaniu
- Zespoły Badawcze 11 wyników po odfiltrowaniu
- Aparatura Badawcza 3 wyników po odfiltrowaniu
- Kursy Online 858 wyników po odfiltrowaniu
- Wydarzenia 75 wyników po odfiltrowaniu
- Dane Badawcze 125 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JEZYKI OPISU SPRZETU CYFROWEGO
-
Języki opisu scenariuszy realizacji przedsięwzięć
PublikacjaOpisano trzy podejścia do implementacji języków opisu scenariuszy. Przedstawiono oraz porównano reprezentantów tych pojęć. Dla wybranych języków przedstawiono przykładowe aplikacje pozwalające na ich wykorzystanie.
-
Układy cyfrowe : podstawy projektowania i opis w języku VHDL
PublikacjaPrzedstawiono podstawowe wiadomosci dotyczące zasad budowy, działania, analizy i syntezy układów cyfrowych kombinacyjnych, sekwencyjnych i modułowych oraz opisu układów w języku VHDL.
-
Metody i jezyki opisu scenariuszy zachowań aplikacji przetwarzania wszechobecnego
PublikacjaPrzedstawiono opis przetwarzania scenariuszy zachowań aplikacjiprzetwarzania wszechobecnego. Zaprezentowano charakterystykę porównawczą języków wykorzystywanych do opisu takich scenariuszy. Przytoczono prace, w których podjęto próby wykorzystania języków formalnych do weryfikowania poprawności scenariuszy na etapie ich defniowania.
-
Język opisu usług sieciowych WSDL.
PublikacjaNiniejszy rozdział opisuje WSDL - język opisu usług sieciowych. Rozdział zawiera wprowadzenie w tematykę usług sieciowych (Web Services), również w odniesieniu do innych technologii przetwarzania rozproszonego jak CORBA, RMI. W szczególności przedstawiono podobieństwa i różnice w opisie metod udostępnianych do wywołania klientowi w WSDL oraz IDL. Elementy standardu WSDL omówiono na przykładzie usługi sieciowej do zdalnego uruchomienia...
-
Metody opisu ontologii: Opis wiedzy niepewnej przy pomocy sieci Bayesowskich i logiki MEBN
PublikacjaArtykuł wprowadza czytelnika w problematykę przedstawiania wiedzy niepewnej w systemach eksperckich. Na przykładzie diagnostyki problemów komunikacyjnych w prostej sieci osiedlowej przedstawiona jest w artykule metodologia wnioskowania w sieciach bayesowskich. W jego dalszej części podano przykład prezentujący logikę MEBN jako sposób na wyrażenie w zwięzły sposób wiedzy probabilistycznej o całej klasie problemów o podobnych właściwościach...
-
Koncert Języki Muzyki
WydarzeniaW pięknej Auli Politechniki Gdańskiej znów zabrzmi muzyka. Zapraszamy na koncerty fortepianowe „Języki muzyki” w dniach 17 i 18 września.
-
Technika cyfrowego przetwarzania sygnałów
PublikacjaPodręcznik jest przeznaczony dla studentów kierunków Elektronika i telekomunikacja, Inżynieria biomedyczna oraz Automatyka i robotyka. Obejmuje on zagadnienia z zakresu cyfrowego przetwarzania sygnałów, przerabiane na takich przedmiotach jak Przetwarzanie sygnałów, Filtry cyfrowe, Zastosowania procesorów sygnałowych. Ma stanowić pomoc przy prowadzeniu zajęć z ćwiczeń tablicowych, zajęć laboratoryjnych czy projektu z zastosowań...
-
Metody cyfrowego przetwarzania obrazów
PublikacjaW celu efektywnego wykorzystania obrazu jako źródła informacji należy przetworzyć go na postać cyfrową. Obraz cyfrowy stanowi punkt wyjścia dla komputerowego przetwarzania obrazów.Niniejsza książka prezentuje wybrane metody i problemy cyfrowego przetwarzania obrazów. Składa się z ośmiu rozdziałów i załączników, w których omawia się operacje na pikselach obrazu, histogramy, progowanie obrazów, filtry liniowe i nieliniowe, wykrywanie...
-
Język kontra umysł - o wpływie języka na sposób myślenia
Publikacja -
Postępy Fizyki
Czasopisma -
Koncepcja cyfrowego przetwornika napięcie-częstotliwość
PublikacjaDokonano przeglądu przetworników analogowych wielkości fizycznych na sygnał impulsowy modulowany częstotliwościowo. Przedstawiono propozycję cyfrowego przetwornika napięcie-częstotliwość. Opisano algorytm działania przetwornika, w którym odstęp między impulsami sygnału częstotliwościowego wyznaczany jest z ekstrapolacji z dwóch próbek napięcia z przetwornika analogowo-cyfrowego. Podano zalety i wady takiego rozwiązania.
-
ELEMENTY OPISU MIEJSCA WYPADKU DROGOWEGO
PublikacjaW celu dokonania rekonstrukcji wypadku drogowego niezbędny jest szczegółowy oraz oddający w pełni stan rzeczywisty opis miejsca wypadku. Poniższy artykuł omawia podstawowe elementy takie jak protokół miejsca wypadku, szkic, dokumentacje fotograficzną oraz ocenę obrażeń uczestników wypadku.
-
Otwarty format opisu schematów blokowych
PublikacjaW pracy zaprezentowano problem opisu zinterpretowanych rysunków wektorowych. Przedstawiono wybrane formaty do opisu rysunków wektorowych i różnorodnych struktur. Zaproponowano otwarty format FlowChartML do opisu schematów blokowych. Format ten, oparty na metajęzyku XML, pozwala nie tylko na zapis informacji o poszczególnych figurach schematu oraz ich połączeniach, ale również informacji o zinterpretowanej strukturze schematu blokowego
-
Język KQL jako realizacja idei języka SQL dla bazy wiedzy
PublikacjaW ramach inicjatywy semantic web rozwijane są systemy wnioskowania z wiedzy. Ciągle otwartym problemem są również języki dostępu do takich systemów. W artykule zaproponowano nowy język dostępu do zmodularyzowanych baz wiedzy, o cechach umożliwiających jego kompleksowe wykorzystanie w systemach zarządzania wiedzą, w sposób analogiczny do wykorzystania języka sql w systemach relacyjnych baz danych.
-
Przykłady cyfrowego przetwarzania sygnałów w LabVIEW.
PublikacjaPierwszy rozdział obejmuje podstawy programowania w LabVIEW i zestawienie algorytmów przetwarzania sygnałów dostępnych w tym środowisku. W rozdziale drugim omówiono takie zagadnienia jak próbkowanie, kwantyzacja, aliasing, analiza widmowa, okno czasowe prostokątne i wygładzające. W rozdziale trzecim i czwartym przedstawiono filtry cyfrowe o skończonej i nieskończonej odpowiedzi impulsowej oraz filtrację adaptacyjną. Ostatni rozdział...
-
Metoda oceny skuteczności cyfrowego korektora mowy
PublikacjaCyfrowy korektor mowy, który został opracowany w Katedrze Inżynierii Dźwięku i Obrazu PG, jest urządzeniem pozwalającym na poprawę płynności mowy osób jąkających się z wykorzystaniem nowego typu metodykę modyfikacji audytoryjnej pętli sprzężenia zwrotnego. W niniejszej pracy zawarto podstawowe informacje na temat wady wymowy, jaką jest jąkanie się oraz na temat opracowanego korektora.
-
Metodyka oceny skuteczności cyfrowego korektora mowy
PublikacjaW pracy zawarto podstawowe informacje na temat jąkania i zasad działania korektora. Skupiono się na zagadnieniu oceny postępów w terapii z wykorzystaniem ankiet i tzw. próby sylabowej. Zawarto również wyniki wstępnych analiz materiałów przesyłanych z poradni. Ponadto opisano krótko algorytmy które posłużą do automatycznej detekcji zaburzeń mowy.
-
Problem opisu dynamiki recyrkulacji w reaktorach.
PublikacjaOmówiono aktualne problemy związane z kwestią recyrkulacji w obiektach oczyszczalni ścieków. Wskazano na znaczny wzrost stosowanych stopni recyrkulacji w ostatnim czasie i przeanalizowano jego przypuszczalne przyczyny oraz konsekwencje. Omówiono wyniki badań przeprowadzonych w laboratoryjnym modelu osadnika.
-
Przyrządy wirtualne w nauczaniu Cyfrowego Przetwarzania Sygnałów
PublikacjaArtykuł rozpoczyna się wyjaśnieniem pojęcia przyrządu wirtualnego oraz opisem narzędzi do przygotowania takich przyrządów. Następnie przedstawiono szereg przykładów przyrządów wirtualnych, pozwalających w prosty sposób na zapoznanie z działaniem algorytmów przetwarzania sygnałów. Opisano przyrządy wirtualne do zapoznania ze zjawiskiem aliasingu, oknami czasowymi i wygładzającymi, działaniem filtrów w dziedzinie czasu i częstotliwości...
-
Implementacja cyfrowego systemu rozmytego w układzie FPGA
PublikacjaW artykule przedstawiono praktyczną implementację cyfrowego systemu rozmytego w układzie FPGA. Poszczególne zbiory rozmyte posiadają swój kod, który wykorzystywany jest do adresowania pamięci przechowujacej reguły. Wykorzystana technika adresowania znacznie przyspiesza proces obliczeń w porównaniu do szeregowego przetwarzania reguł.
-
Model opisu wydajności protokołu SIP dla VoIP
PublikacjaCoraz większa popularność protokołu SIP (Session Initiation Protocol) pociąga za sobą konieczność wymiarowania zasobów sieciowych i badania wydajności samego protokołu z uwagi na potrzebę gwarancji poziomu i jakości usług. Dla realizacji tego celu prowadzi się szereg prac badawczych i niniejsza publikacja jest zreferowaniem wyników takich prac badawczych wykonanych przez autorów. Dotyczą one modelu analitycznego dla opisu poziomu...
-
Metody opisu ontologii: Ocena jakości ontologii dziedzinowych
PublikacjaOntologia, jak każdy inny produkt myśli ludzkiej, powinien podlegać ocenie jakości. Stwierdzenie to nabiera szczególnego znaczenia wówczas, gdy ontologia staje się podstawą dla innych działań. Ocena ontologii może być przeprowadzona zasadniczo na dwa sposoby - w sposób subiektywny, w oparciu o rozumowanie, oraz w sposób obiektywny. Jeśli podstawą oceny ontologii jest rozumowanie, wiedza i doświadczenie ludzi, to ocena taka jest...
-
Uwarunkowania i ograniczenia cyfrowego pomiaru nierówności profili powierzchni
PublikacjaPomiar zdeterminowanych wartości nierówności profili powierzchni wyrażanych cyfrowo jest złożonym problemem interdyscyplinarnym, który zawiera istotne ograniczenia techniczne i metrologiczne, często niezauważane w praktyce pomiarowej i analizie ich wyników. Należy odpowiednio przyjąć cyfrowe parametry pomiaru profili powierzchni przed pomiarami, by spełnione były różne uwarunkowania zależne od charakteru nierówności oraz celu i...
-
Koncepcja stanowiska laboratoryjnego cyfrowego przetwarzania obrazów w robotyce
PublikacjaPrzedstawiono projekt stanowiska laboratoryjnego przeznaczonego do zapoznania studentów z wybranymi metodami cyfrowego przetwarzania obrazów oraz ich zastosowaniem w robotyce. Zaprezentowano informacje o metodach wykorzystywanych w systemach wizyjnych robotów stacjonarnych jak i mobilnych do nauki których służyć ma stanowisko.
-
Implementacja cyfrowego równoległego systemu rozmytego w układzie FPGA
PublikacjaW artykule przedstawiono praktyczną implementację cyfrowego równoległego systemu rozmytego w układzie FPGA. Poszczególne zbiory rozmyte posiadają swój kod, który wykorzystywany jest do adresowania pamięci przechowującej reguły. W proponowanym systemie proces wnioskowania przebiega równolegle dla aktywowanych reguł.
-
Prosty komparator analogowy dla cyfrowego przetwornika obrazu CMOS
PublikacjaKomparator napięciowy, oprócz przetwornika światło-napięcie, jest jedynym elementem analogowym w cyfrowym pikselu CMOS. W pracy badano wpływ nieidealności komparatora analogowego na parametry cyfrowego piksela. W tym celu zaprojektowano w technologii CMOS 0,35μm dwie wersje cyfrowego piksela, różniące się typem zastosowanego komparatora analogowego. W pierwszej wersji piksela zastosowano różnicowy komparator o zwiększonej powierzchni...
-
Prosty komparator analogowy dla cyfrowego przetwornika obrazu CMOS
PublikacjaKomparator napięciowy, oprócz przetwornika światło-napięcie, jest jedynym elementem analogowym w cyfrowym pikselu CMOS. W pracy badano wpływ nieidealności komparatora analogowego na parametry cyfrowego piksela. W tym celu zaprojektowano w technologii CMOS 0,35 µm dwie wersje cyfrowego piksela, różniące się typem zastosowanego komparatora analogowego. W pierwszej wersji piksela zastosowano różnicowy komparator o zwiększonej powierzchni...
-
Zestaw narzędzi wspomagających weryfikację koncepcji cyfrowego przetwarzania sygnałów
PublikacjaCyfrowe przetwarzanie sygnałów jest szeroko stosowane. Zagadnienia wydajnościowe złożonych filtrów powodują konieczność szukania nowych rozwiązań. Opracowywanie i weryfikacja filtrów z wykorzystaniem systemu resztowego czy przetwarzanie w systemach wieloagentowych nie ma aktualnie wsparcia w gotowych narzędziach. Planuje się stworzenie modułów programowych do weryfikacji koncepcji opartych o powyższe techniki, w języku C.
-
System do spektroskopii impedancyjnej z wykorzystaniem oscyloskopu cyfrowego.
PublikacjaW artykule przedstawiono alternatywną dla fabrycznych mierników impedancji metodę badań spektroskopowych materiałów biologicznych. System pomiarowy pozwala na osiągnięcie dużej dokładności pomiarów w szerokim zakresie częstotliwości, zwłaszcza w zakresie niskich częstotliwości.
-
Języki i gramatyki formalne
PublikacjaRozdział zawiera wprowadzenie do teorii języków formalnych, gramatyk i automatów. Przedstawione zostały podstawowe pojęcia i definicje oraz przykłady dotyczące w szczególności analizy leksykalnej, składniowej i semantycznej zdań w językach formalnych.
-
Algebra konglomeratów jako narzędzie opisu problemów przetwarzania ontologii
PublikacjaW niniejszym artykule zaprezentowano nowe narzędzie przetwarzania modularnych baz wiedzy - algebrę konglomeratów. Przedstawioną propozycję wyróżnia fakt, że traktujemy moduły bazy wiedzy semantycznie. W artykule zaprezentowano doświadczenia związane z wykorzystaniem algebry (m.in. do dekompozycji bazy wiedzy oraz jako wsparcie procesu wnioskowania) oraz naszkicowano kierunki jej przyszłego rozwoju.
-
Zastosowanie badań marketingowych do opisu procesu decyzyjnego konsumentów
PublikacjaPrzedmiotem artykułu jest przedstawienie zastosowania badań marketingowych do uzyskiwaniu informacji potrzebnych do opisu procesu decyzyjnego konsumentów. Informacje te ustalono na podstawie ogólnego przebiegu tego procesu. W nawiązaniu do tych informacji zaproponowano badania marketingowe pozwalające na ich uzyskanie. Użyto klasycznego rozwiązania polegającego na przeprowadzeniu najpierw badań orientacyjnych, a następnie - opisowych....
-
Metody opisu ontologii: Inżynieria ontologii i jej zastosowania
PublikacjaPrzedstawiono rozwój języków opisu technologii i wskazano mozliwości ich zastosowania w różnych dziedzinach, a zwłaszcza do integracji i automatycznego uruchamiania usług sieciowych.
-
Metody opisu treści obrazów dla potrzeb systemów wyszukiwania.
PublikacjaPrzedstawiono metody opisu i wyszukiwania obrazów na podstawie ich treści. Zaproponowano schemat ekstrakcji regionów oraz generacji ich opisów z zastosowaniem kodów długości serii. W opracowanym systemie zaprojektowano i zaimplementowano możliwość definiowania zapytań do baz danych uwzględniając:właściwości i parametry regionu (deskryptory intensywności, tekstury, i kształtu) oraz relacji przestrzennych pomiędzy regionami.
-
Bibliografie cyfrowe
Publikacja -
Wybrane problemy cyfrowego sterowania pośrednimi przekształtnikami napięcia i prądu
PublikacjaW pracy zaprezentowano główne problemy, jakie napotyka się podczas konwersji energii elektrycznej w przekształtnikach energoelektronicznych. Przedstawiono zjawiska, które mają wpływ na dokładność formowania wektorów napięcia i prądu wyjściowego w dwu i trójpoziomowych przekształtnikach napięcia oraz w przekształtnikach prądu i przedstawiono metody ich kompensacji.
-
Wykorzystanie algorytmicznych i parametrycznych metod projektowania cyfrowego w urbanistyce
PublikacjaOpracowanie dotyczy rozwoju metod projektowania cyfrowego w skali urbanistycznej . Zaawansowane techniki komputacyjne stanowią wyzwanie i alternatywę dla znanych strategii planistycznych i konwencjonalnych planów urbanistycznych. W opracowaniu przytoczono przykładu nowatorskich projektów takich jak Kartal-Pendik Masterplan pracowni ZHA z 2006r.
-
Materiały i fabrykacja w kontekście paradygmatu cyfrowego w architekturze
PublikacjaOpracowanie dotyczy wpływu jaki na współczesną architekturę ma rozwój nauki o materiałach i technologii CNC. Nowe technologie pozwalają na realizację wielokrzywiznowej geometrii oraz uzyskiwanie unikalnych efektów materiałowych z wykorzystaniem zarówno nowych budulców jakimi są materiały kompozytowe i polimery jak również tradycyjnych materiałów takich jak cegła i kamień.
-
Materiały i fabrykacja w kontekście paradygmatu cyfrowego w architekturze
PublikacjaOpracowanie dotyczy wpływu jaki na współczesną architekturę ma rozwój nauki o materiałach i technologii CNC. Nowe technologie pozwalają na realizację wielokrzywiznowej geometrii oraz uzyskiwanie unikalnych efektów materiałowych z wykorzystaniem zarówno nowych budulców jakimi są materiały kompozytowe i polimery jak również tradycyjnych materiałów takich jak cegła i kamień.
-
Metoda cyfrowego znakowania obrazów wykorzystująca filtrację wszechpasmową i wybielanie
PublikacjaPrzedstawiono nową metodę cyfrowego znakowania obrazów nieruchomych w której przed procesem znakowania obraz jest poddawany filtracji wszechpasmowej i wybielaniu (za pomocą losowych permutacji elementów obrazu). Dzięki tym operacjom przekształcony obraz, stanowiący dla dodawanego dla niego sygnału znakującego, zakłócenie, może być uznany za realizację gaussowskiego białego szumu. W związku z tym detektor korelacyjny cyfrowego znaku...
-
Możliwości zwiększenia dokładności cyfrowego pomiaru okresu dla zmiennej częstotliwości.
PublikacjaPrzedstawiono metodę cyfrowego pomiaru okresu, w której liczba okresów, w czasie których wykonywany jest pomiar, uzależniona jest od zmiany długości pojedynczych okresów. Dla małych zmian czas jest wydłużany, pozwalając zmniejszyć błędy statyczne, przy większych zmianach, czas pomiaru jest krótszy, dzięki czemu wpływ błędu dynamicznego jest mniejszy. Przedstawiono przykład wykorzystania metody do pomiaru prędkości obrotowej.
-
Opis rysunków wektorowych.
PublikacjaNa stronach Web projektowanych w HTML ilustracje wyraża się przez odwołanie do pliku graficznego w formacie GIF, JPG czy też PNG. Nawet prosty rysunek wymaga zakodowania w obrazie rastrowym.Powoduje to nie tylko konieczność przesyłania dużej liczby danych, ale również uniemożliwia interpretację takiego rysunku przez aplikację kliencką.Zastosowanie XML umożliwia rozwiązanie tego problemu poprzez zapisanie rysunku składająccego się...
-
Katarzyna Wojan dr hab.
OsobyDoktor habilitowany nauk humanistycznych w zakresie językoznawstwa; rusycystka i fennistka; profesor uczelni w Instytucie Skandynawistyki i Fennistyki Uniwersytetu Gdańskiego; w latach 2016–2019 pełniła funkcję kierownika Pracowni Języka, Kultury i Gospodarki Finlandii; założycielka i kierownik Pracowni Leksykograficzno-Bibliograficznej oraz Pracowni Języka Fińskiego na Wydziale Filologicznym UG. Autorka i współautorka ponad 200...
-
Analiza działania substancji chemicznej na elementy sprzętu elektronicznego
PublikacjaW pracy dokonano analizy działania czynnika chłodniczego oraz środka gaśniczego, a także współoddziaływania obydwu powyższych na korozyjność elementów elektronicznych
-
Zastosowanie termowizji w diagnostyce i badaniach sprzętu elektronicznego
PublikacjaZaproponowano zastosowanie techniki termowizyjnej do oceny poprawność konstrukcji i działania urządzeń elektronicznych, biorąc pod uwagę krótki czas badań oraz możliwość bezpośredniej oceny uzyskanych wyników. Technikę termowizyjną zastosowano do badania elementów ochronnych zasilacza AC/DC w czasie standardowych badań odporności na udary oraz do badania modułów GSM pracujących pod kontrolą nadrzędnego programu sterującego i płyty...
-
Zastosowanie termowizji w diagnostyce i badaniach sprzętu elektronicznego
PublikacjaZaproponowano zastosowanie techniki termowizyjnej do oceny poprawność konstrukcji i działania urządzeń elektronicznych. Technikę termowizyjną zastosowano do badania elementów ochronnych zasilacza AC/DC w czasie standardowych badań odporności na udary oraz do badania modułów GSM pracujących pod kontrolą nadrzędnego programu sterującego i płyty głównej centrali systemu przeciwpożarowego
-
Makrogenerator translatorów MC²
PublikacjaArtykuł prezentuje stworzony przez autorów makrogenerator translatorów MC². Makrogenerator ten po otrzymaniu definicji języka staje się translatorem tego języka. Język definiuje się podając jego składnię (produkcje gramatyki zapisane w notacji BNF) oraz znaczenie poszczególnych konstrukcji składniowych tj. opis przekształceń tekstu odpowiadającego danej konstrukcji składniowej na tekst w pewnym języku bazowym (makrodefinicje)....
-
Definiowanie wiarygodności w Sieci Semantycznej metodą ontologicznego opisu asercji
PublikacjaW rozdziale została zaprezentowana metoda definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania z wiedzy opisanej w kontekście wiarygodności. Przedstawiona w rozdziale metoda opisuje zasadę budowania opisu wiarygodności dla części asercjonalnej ontologii. Definiowanie wiarygodności metodą ontologicznego opisu asercji jest rozumiane jako przypisanie asercjom unarnym i binarnym zbioru cech i ich wartości. W rozdziale...
-
Zastosowanie modelu nielokalnego do opisu zachowania się elementów betonowych
PublikacjaOmówiono obliczenia numeryczne elementów betonowych poddanych ściskaniu jednoosiowemu w płaskim stanie odkształcenia. Obliczenia wykonano za pomocą metody elementów skończonych przy zastosowaniu dwóch różnych praw konstytutywnych. Otrzymane wyniki są zależne od siatki MES. W celu otrzymania rozwiązania niezależnego od siatki elementów skończonych przyjęto model nielokalny.
-
Języki formalne, automaty i translatory
PublikacjaKsiążka stara się w przystępny sposób przedstawić zagadnienia związane z teorią języków formalnych, automatów i translatorów. Wiedza ta pomoże nie tylko zrozumieć zasady stosowanych na co dzień narzędzi informatycznych, ale pomoże również w rozwiązywaniu częstych problemów związanych z przetwarzaniem danych tekstowych o zdefiniowanej strukturze.Książka ta przeznaczona jest przede wszystkim dla szerokiego grona studentów informatyki...