Search
Filters
total: 3812
-
Catalog
- Publications 2392 available results
- Journals 24 available results
- Publishing Houses 5 available results
- People 220 available results
- Inventions 13 available results
- Projects 17 available results
- Laboratories 6 available results
- Research Teams 11 available results
- Research Equipment 3 available results
- e-Learning Courses 917 available results
- Events 79 available results
- Open Research Data 125 available results
displaying 1000 best results Help
Search results for: JEZYKI OPISU SPRZETU CYFROWEGO
-
Języki opisu scenariuszy realizacji przedsięwzięć
PublicationOpisano 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
PublicationPrzedstawiono 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
PublicationPrzedstawiono 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.
PublicationNiniejszy 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
PublicationArtykuł 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
EventsW 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
PublicationPodrę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
PublicationW 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
Publication -
Postępy Fizyki
Journals -
Koncepcja cyfrowego przetwornika napięcie-częstotliwość
PublicationDokonano 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.
-
Język KQL jako realizacja idei języka SQL dla bazy wiedzy
PublicationW 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.
-
Otwarty format opisu schematów blokowych
PublicationW 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
-
ELEMENTY OPISU MIEJSCA WYPADKU DROGOWEGO
PublicationW 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.
-
Metoda oceny skuteczności cyfrowego korektora mowy
PublicationCyfrowy 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
PublicationW 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.
-
Przykłady cyfrowego przetwarzania sygnałów w LabVIEW.
PublicationPierwszy 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ł...
-
Problem opisu dynamiki recyrkulacji w reaktorach.
PublicationOmó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.
-
Implementacja cyfrowego systemu rozmytego w układzie FPGA
PublicationW 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ł.
-
Przyrządy wirtualne w nauczaniu Cyfrowego Przetwarzania Sygnałów
PublicationArtykuł 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...
-
Metody opisu ontologii: Ocena jakości ontologii dziedzinowych
PublicationOntologia, 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...
-
Model opisu wydajności protokołu SIP dla VoIP
PublicationCoraz 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...
-
Implementacja cyfrowego równoległego systemu rozmytego w układzie FPGA
PublicationW 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ł.
-
Koncepcja stanowiska laboratoryjnego cyfrowego przetwarzania obrazów w robotyce
PublicationPrzedstawiono 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.
-
Prosty komparator analogowy dla cyfrowego przetwornika obrazu CMOS
PublicationKomparator 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...
-
Uwarunkowania i ograniczenia cyfrowego pomiaru nierówności profili powierzchni
PublicationPomiar 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...
-
System do spektroskopii impedancyjnej z wykorzystaniem oscyloskopu cyfrowego.
PublicationW 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.
-
Zestaw narzędzi wspomagających weryfikację koncepcji cyfrowego przetwarzania sygnałów
PublicationCyfrowe 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.
-
Prosty komparator analogowy dla cyfrowego przetwornika obrazu CMOS
PublicationKomparator 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...
-
Języki i gramatyki formalne
PublicationRozdział 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.
-
Metody opisu ontologii: Inżynieria ontologii i jej zastosowania
PublicationPrzedstawiono 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.
-
Algebra konglomeratów jako narzędzie opisu problemów przetwarzania ontologii
PublicationW 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.
-
Metody opisu treści obrazów dla potrzeb systemów wyszukiwania.
PublicationPrzedstawiono 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.
-
Zastosowanie badań marketingowych do opisu procesu decyzyjnego konsumentów
PublicationPrzedmiotem 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....
-
Bibliografie cyfrowe
Publication -
Wybrane problemy cyfrowego sterowania pośrednimi przekształtnikami napięcia i prądu
PublicationW 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
PublicationOpracowanie 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
PublicationOpracowanie 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ń.
-
Możliwości zwiększenia dokładności cyfrowego pomiaru okresu dla zmiennej częstotliwości.
PublicationPrzedstawiono 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.
-
Materiały i fabrykacja w kontekście paradygmatu cyfrowego w architekturze
PublicationOpracowanie 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
PublicationPrzedstawiono 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...
-
Katarzyna Wojan dr hab.
PeopleDr habil., assiociate professor, Polish linguist, lexicographer, bibliographer; Finnish, Russian, Slavonic languages; confrontative linguistics, lexicology, lexicography, history of Polish lexicography, translation studies, intercultural communication, reception of Polish literature abroad, translations Editor-in-Chief of the Journal "Studia Rossica Gedanensia" (annual)
-
Analiza działania substancji chemicznej na elementy sprzętu elektronicznego
PublicationW 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
PublicationZaproponowano 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
-
Zastosowanie termowizji w diagnostyce i badaniach sprzętu elektronicznego
PublicationZaproponowano 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...
-
Makrogenerator translatorów MC²
PublicationArtykuł 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)....
-
Opis rysunków wektorowych.
PublicationNa 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ę...
-
Definiowanie wiarygodności w Sieci Semantycznej metodą ontologicznego opisu asercji
PublicationW 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
PublicationOmó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
PublicationKsiąż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...