Search results for: ALGORYTMY STEROWANIA - Bridge of Knowledge

Search

Search results for: ALGORYTMY STEROWANIA

Search results for: ALGORYTMY STEROWANIA

  • Algorytmy roju w modelowaniu MES, czyli jak stado szpaków może pomóc inżynierowi

    Publication

    - Pismo PG - Year 2019

    W poprzednich numerach „Pisma PG” prof. Jacek Rumiński przedstawił możliwości i perspektywy rozwoju sztucznej inteligencji (SI), zwłaszcza w kontekście notujących obecnie liczne sukcesy sztucznych sieci neuronowych. Jednak nie tylko budowa układu nerwowego jest inspiracją dla nowych metod SI. Ciekawą grupą metod są algorytmy wzorujące się na zachowaniu zwierząt, zwłaszcza na ich zdolnościach socjalnych i współpracy przy stawianiu...

    Full text to download in external service

  • Zależności między ontologiami i ich wpływ na problem integracji ontologii

    Publication

    - Year 2006

    Zarządzanie wiedzą w środowisku rozproszonym wymaga opracowania efektywnej metody integracji ontologii. W tym celu w ramach różnych prac zaproponowano wykorzystanie różnorodnych algorytmów. Między innymi zaproponowano pewne algorytmy wspomagające proces integracji ontologii oparty na metodzie kartograficznej, której główną cechą jest wykorzystanie sygnaturowej reprezentacji terminów zdefiniowanych w ontologii. Dobór odpowiednich...

  • Special hearing aid for stuttering people

    Publication

    - Year 2007

    Dzięku postępowi w dziedzienie cyfrowego przetwarzania sygnałów możliwe stało zbudowanie subminiaturowego urządzenia łączącego funkcje aparatu słuchowego i korektora mowy. Takie urządzenie, mimo niewielkich rozmiarów, jest w stanie wykonywać skomplikowane alggorytmy a jego oprogramowanie może być łatwo zmieniane. W pracy skupiono się na zagadnieniach związanych z opracowniem prototypu i implementacją algorytmów korekcji słuchu...

  • Algorytmy wykrywania substancji chemicznych na podstawie pomiarów widm Ramana

    Rejestracja widma promieniowania rozproszonego nieelastycznie podczas zjawiska Ramana, które jest charakterystyczne dla badanej substancji, pozwala na jej identyfikację. W pracy zostały przedstawione przykładowe widma Ramana substancji chemicznych. Następnie opisano błędy podczas pomiarów widm Ramana, powodujące ograniczenia możliwości identyfikacji substancji chemicznych lub ich mieszanin. Szczegółowo przedstawiono możliwości...

  • Lokalizacja tekstu w obrazie

    Publication

    W naturalnym otoczeniu człowieka znajduje się duża ilość łatwo rozpoznawalnej informacji przedstawionej w postaci znaków graficznych i tekstu. Informacja taka jest bardzo przydatna w poruszaniu się w środowisku miejskim. Niestety, osoby z upośledzonymi funkcjami wzroku w sposób oczywisty pozbawione są możliwości korzystania z tego rodzaju przekazu. Istniejące na rynku systemy rozpoznawania tekstu (OCR) nie są niestety dostosowane...

  • Porównywanie topologii drzew i sieci filogenetycznych z wykorzystaniem metryki błędu

    Podstawowymi modelami historii ewolucji organizmów są drzewa i sieci filogenetyczne. Ponieważ algorytmy konstrukcji filogenów zwracają różne wyniki dla tych samych danych wejściowych, powstaje problem oceny, który filogen najlepiej reprezentuje historię ewolucji dla zadanego zbioru gatunków. W pracy podano definicję metryki dla przestrzeni drzew o n liściach, zwanej metryką błędu. Dokonano przeglądu miar odległości na przestrzeni...

  • Contactless Hearing Aid for Infants Employing Signal Processing Algorithms. [Bezkontaktowy aparat słuchowy dla niemowląt wykorzystujący algorytmy przetwarzania sygnału]

    Publication

    Zaprojektowany bezkontaktowy aparat słuchowy umiejscawiany jest w łóżeczku niemowlęcia. Aparat składający się z matrycy 4 mikrofonów oraz prototypowej karty z procesorem DSP pracuje w polu swobodnym. Przetworzony sygnał mowy emitowany jest z wykorzystaniem miniaturowych głośników. Opracowane algorytmy pozwalają na elminację akustycznych sprzężeń zwrotnych, które mogą wystepować ze względu na niewielką odległość mikrofonów od głośników...

  • Koncepcja systemu wspomagania decyzji nawigatora statku opartego na ewolucyjnym planowaniu manewrów antykolizyjnych

    Publication

    Artykuł przedstawia koncepcję systemu wspomagania decyzji nawigatora statku opartego na wątkach badań prowadzonych wcześniej przez autora. System będzie rozszerzał funkcjonalność systemów dotychczasowych o możliwość szczegółowego planowania bezpiecznej trajektorii statku na wodach zamkniętych, z dużą liczbą statków obcych i ograniczeniami toru wodnego. Artykuł zawiera dyskusję możliwych podejść do planowania manewrów, optymalizacji...

  • Zastosowanie symulacji metodą różnic skończonych w dziedzinie czasu (FDTD) w kształceniu inżynierów w zakresie optyki i elektrodynamiki

    Zrozumienie zjawisk związanych z propagacją fal elektromagnetycznych stanowi kluczowy etap kształcenia inżynierów w dziedzinach związanych z optyką, elektroniką oraz telekomunikacją. Oprócz opanowania aparatu matematycznego oraz metod projektowych istotne jest intuicyjne zrozumienie treści przekazywanych podczas kursów optyki i elektrodynamiki. W realizacji tego celu praktyczną pomoc dydaktyczną stanowić mogą wizualizacje i symulacje...

    Full text available to download

  • Non-quadratic quality criteria in parameter estimation of continuous-time models

    W pracy wykorzystuje się procedury estymacji parametrycznej do identyfikacji modeli z czasem ciągłym. Rozważane algorytmy minimalizują wskaźnik jakości w postaci sumy lub całki wartości bezwzględnej błędu predykcji. Zastosowanie techniki zmiennych instrumentalnych umożliwia ponadto znaczące polepszenie dokładności ocen parametrów, a wprowadzony do w procedur estymacji mechanizm ważenia błędów predykcji pozwala identyfikować modele...

    Full text to download in external service

  • Rozpoznawanie chorób układu pokarmowego z wykorzystaniem technik sztucznej inteligencji

    Celem pracy jest przedstawienie i ocena algorytmów rozpoznawania chorób w filmach endoskopowych pod kątem możliwości ich zastosowania do budowy systemów automatycznego wykrywania chorób dla rzeczywistego wspomagania badań lekarskich. Porównano efektywność najnowszych algorytmów poprzez pomiar ich skuteczności w zaawansowanym środowisku testowym, zbudowanym w oparciu o materiały z filmów endoskopowych, opracowane we współpracy z...

  • Synchronizacja i detekcja danych w asynchronicznej transmisji szeregowej między mikrokontrolerami.

    W artykule przedstawiono wybrane metody synchronizacji i detekcji danych stosowane w transmisji szeregowej, realizowanej między mikrokontrolerami w linii przewodowej bądź radiolinii. Omówiono algorytmy synchronizacji polegającej na: rozpoznaniu bitów startu (logiczne ''0'') i stopu (logiczna ''1'') dodanych na początku i końcu każdego słowa, próbkowaniu nadmiarowym ciągu danych i przyporządkowaniu wartości bitów przez podjęcie...

  • Comments on ''Incremental construction and maintenance of minimal finite-state automata'' by Rafael C. Carrasco and Mikel L. Forcada.

    Publication

    - Year 2004

    W opublikowanym niedawno artykule (czerwiec 2002) Rafael Carrasco i Mikel Forcada przedstawili dwa algorytmy: jeden dotyczący przyrostowego dodawania łańcuchów znaków do języka minimalnego, deterministycznego, cyklicznego automatu skończonego, drugi dotyczący przyrostowego usuwania łańcuchów znaków z automatu. Pierwszy algorytm jest uogólnieniem ,,algorytmu dla danych nieuporządkowanych'' - drugiego z dwóch przyrostowych algorytmów...

  • Weryfikacja dynamicznego podpisu odręcznego za pomocą filtru dopasowanego

    Publication

    Przedmiotem referatu jest dynamiczny podpis odręczny, traktowany jako sygnał telekomunikacyjny, a więc weryfikowany (wykrywany) za pomocą filtru dopasowanego. Niezawodność takiej weryfikacji wymaga uprzedniej unifikacji i normalizacji wszystkich podpisów zgromadzonych w bazie i podpisu właśnie składanego. Celem tego przetwarzania wstępnego jest pozbawienie podpisów ich parametrów biernych (wielkości, położenia i orientacji) oraz...

  • Ochrona odbiorników GNSS przed zakłóceniami celowymi

    Artykuł dotyczy zastosowania algorytmów przestrzennego cyfrowego przetwarzania sygnałów dla potrzeb selektywnej eliminacji sygnałów zakłócających pracę odbiorników nawigacji satelitarnej GNSS. Omówiono podatność tych odbiorników na ataki elektroniczne typu zagłuszanie oraz spoofing. Polegają one na celowej emisji sygnałów niepożądanych w paśmie pracy systemu. Następnie przedstawiono koncepcję przeciwdziałania tego rodzaju zakłóceniom...

    Full text to download in external service

  • Nieliniowa statyka 6-parametrowych powłok sprężysto plastycznych. Efektywne obliczenia MES

    Publication

    - Year 2021

    Głównym zagadnieniem omawianym w monografii jest sformułowanie sprężysto-plastycznego prawa konstytutywnego w nieliniowej 6-parametrowej teorii powłok. Wyróżnikiem tej teorii jest występujący w niej w naturalny sposób tzw. stopień 6 swobody, czyli owinięcie (drilling rotation). Podstawowe założenie pracy to przyjęcie płaskiego stanu naprężenia uogólnionego na ośrodek typu Cosseratów. Takie podejście stanowi oryginalny aspekt opracowania....

    Full text to download in external service

  • Identyfikacja ciągłoczasowych modeli obiektów niestacjonarnych

    W pracy przedstawiono metody estymacji parametrycznej liniowych modeli obiektów niestacjonarnych. Dynamikę obiektów identyfikacji modelowano za pomocą równań różniczkowych zwyczajnych o znanym rzędzie. Ponieważ klasyczne algorytmy estymacji parametrycznej nadają się do przetwarzania danych rejestrowanych w sposób dyskretny, rozważono i porównano różne techniki dyskretnej aproksymacji modeli z czasem ciągłym. W szczególności zastosowanie...

  • Akceleracja sprzętowa transformaty falkowej w systemie widzenia maszynowego do monitoringu ruchu drogowego

    W artykule opisano system monitorowania ruchu drogowego oparty na tanich kamerach i przetwarzaniu obrazu realizowanym w układzie FPGA wyposażonym dodatkowo w bezprzewodowy interfejs sieciowy. System ma być zasilany za pomocą ogniw słonecznych i dlatego został zoptymalizowany pod kątem zużycia energii. Szczegółowo opisano moduł detekcji i pomiaru długości zatorów powstałych na skrzyżowaniach. Do analizy wykorzystano dyskretną transformatę...

  • Ewolucyjne planowanie bezpiecznych trajektorii statków oparte na zmodyfikowanym diagramie Cockcrofta.

    Publication

    Artykuł przedstawia kontynuację badań autora nad planowaniem bezpiecznych trajektorii statków za pomocą algorytmów ewolucyjnych. Prezentowana metoda poszukuje optymalnego zbioru bezpiecznych trajektorii wszystkich statków biorących udział w spotkaniu. Bieżąca wersja metody zakłada ograniczoną widoczność i obowiązywanie Prawidła 19 Międzynarodowych Przepisów o Zapobieganiu Zderzeniom na Morzu (MPZZM) zamiast Prawideł 11 – 18. Artykuł...

  • Liveness measurements using optical flow for biometric person authentication

    Automatyczne rozpoznawanie twarzy jest jedną z najpopularniejszych technik biometrycznych, jednak nawet najdokładniejsze algorytmy identyfikacji okażą się bezużyteczne, jeśli będzie można je oszukać, np. używając zdjęcia zamiast rzeczywistej osoby. Dlatego też odpowiedni pomiar żywotności jest niezwykle istotny. W pracy zaprezentowano metodę, która jest w stanie rozróżnić pomiędzy sekwencjami wideo pokazującymi żywe osoby oraz...

    Full text available to download

  • Szeregowanie zadań uwarunkowanych czasowo

    Publication

    - Year 2011

    w pracy przedstawiono wyniki badań nad problemami szeregowania zadań uwarunkowanych czasowo. dla problemu 1|pi=a+bisi|σci przedstawiono nowe heurystyki, przypadek wielomianowy oraz w pełni wielomianowy schemat. wprowadzono koncepcję eliminacji zdominowanych fragmentów harmonogramu, oraz pokazano jak wykorzysta¢ ją do konstrukcji algorytmu dokładnego dla tego problemu, a także jak przy jej pomocy przyspieszy¢ inne algorytmy. następnie...

  • Monitoring and diagnosis of quality and quantity in drinking water systems.

    Publication

    - Year 2004

    Artykuł przedstawia nowe podejście do inteligentnego monitorowania oraz diagnostyki Systemu Wodnego (WS) jako problem statusu, warunków operacyjnych oraz rozpoznawania zdarzeń. Oprogramowanie komputerowego systemu monitorowania i diagnostyki zawiera narzędzia dla identyfikacji modeli dyskretnych statusów oraz określenia parametrów ilości i jakości wody dla każdego statusu. Dla każdego stanu decyzje podejmowane są przy użyciu metody...

  • Algorytm dyskretnej transformacji falkowej zoptymalizowany dla implementacji w mikrokontrolerze

    Najczęściej stosowane algorytmy dyskretnej transformacji falkowej (DWT) wymagają sporych mocy obliczeniowych i dużych ilości pamięci danych, same obliczenia natomiast wykonywane są na liczbach rzeczywistych. Nie można ich zatem bezpośrednio zastosować w mikrontrolerach. Praca przedstawia propozycję optymalizacji algorytmu dyskretnej transformacji falkowej pod kątem implementacji w mikrontrolerze 8-bitowym. Dokonano przyspieszenia...

  • Application of hybrid signals processors to speech and hearing aids

    Publication

    - Year 2005

    Dzięki postępowi w technice Cyfrowych Procesorów Sygnałowych (ang. DSP) stało się możliwe budowanie miniaturowych protez słuchu i mowy. Mimo niewielkich wymiarów procesory te są w stanie wykonywać złożone algorytmy. Ich dodatkową zaletą jest łatwość zmiany oprogramowania, a co za tym idzie łatwość zmiany dziedziny zastosowań. W pracy skupiono się na zagadnieniach związanych z projektowanie i implementacją algorytmów mających zastosowanie...

  • Szeregowanie rozrzedzonych systemów zadań jednostkowych 1- i 2-procesorowych w oknach czasowych

    Publication

    - Year 2005

    Szeregowanie jednostkowych zadań 1- i 2-procesorowych z dodatkowym ograniczeniem w postaci zróżnicowanych okien czasowych, w których zadania te mogą być wykonywane zamodelowano przy pomocy listowego kolorowania i multikolorowania krawędzi grafów. Kryteria jakości harmonogramu: maksymalny koszt wykonania zadania w jednostce czasu oraz suma tychże kosztów po wszystkich zadaniach można przedstawić rozszerzając kolorowanie listowe...

  • System do prototypowania bezprzewodowych inteligentnych urządzeń monitoringu audio-video

    Publication

    - Year 2013

    W komunikacie przedstawiono system prototypowania bezprzewodowych urządzeń do monitoringu audio-video. System bazuje na układach FPGA Virtex6 i wielu dodatkowych wspierających urządzeniach jak: szybka pamięć DDR3, mała kamera HD, mikrofon z konwerterem A/C, moduł radiowy WiFi, itp. Funkcjonalność systemu została szczegółowo opisana w komunikacie. System został zoptymalizowany do pracy pod kontrolą systemu operacyjnego Linux, zostały...

  • OCHRONA PRYWATNOŚCI W SYSTEMACH MONITORINGU WIZYJNEGO, PRZEGLĄD OPRACOWANYCH ARCHITEKTUR I ALGORYTMÓW

    Nieustannie rozwijające się technologie informacyjne związane z inteligentnym monitoringiem wizyjnym stwarzają ryzyko niewłaściwego wykorzystywania danych osobowych. W celu zapewnienia prawidłowej ochrony materiału wizyjnego, w ramach projektów realizowanych w Katedrze Systemów Multimedialnych WETI PG, opracowany został szereg architektur i algorytmów, które ułatwiają ochronę danych wrażliwych, takich jak: wizerunki osób, numery...

    Full text available to download

  • Estymacja współrzędnych kątowych w radarze trójwspółrzędnym z elektronicznym skanowaniem wiązki i obracaną anteną planarną

    Publication

    - Year 2022

    W rozprawie zawarto historię radiolokacji oraz sposób obróbki sygnałów i danych radarowych przed etapem estymacji. Przedstawiono oraz przetestowano klasyczne metody estymacji współrzędnych wraz ze wskazaniem ich słabych oraz mocnych stron. Zaproponowano uodpornione warianty estymatorów największej wiarygodności, które pozwolił poprawić jakość oszacowania przy estymacji elewacji w warunkach propagacji wielodrogowej, redukując jednocześnie...

    Full text available to download

  • Optymalizacja kosztu działania aplikacji na urządzeniach mobilnych wspomaganych przez chmurę obliczeniową

    Publication

    - Year 2018

    Rozprawa doktorska dotyczy problemu optymalnego rozdziału aplikacji na dwa heterogeniczne środowiska – urządzenie mobilne i chmurę obliczeniową – w celu minimalizacji kosztu jej wykonania. W części wstępnej przedstawiona została problematyka dotycząca urządzeń mobilnych, w tym urządzeń IoT (Internet of Things), architektury chmury obliczeniowej, a także istniejące badania związane ze współpracą pomiędzy urządzeniami mobilnymi i...

    Full text available to download

  • MEMS based voice message system for elevators

    W artykule przedstawiono implementację systemu głosowych komunikatów w windach. Prezentowany system posiada unikalną cechę polegającą na tym, że do działania nie potrzebuje połączenia z systemem sterującym windy. Zasilany z baterii lub akumulatorów może być zamontowany w ścianie windy, wymaga tylko prostej kalibracji. System oparty jest na akcelerometrach MEMS dokonujących pomiaru przeciążeń w kabinie windy. W artykule przedstawiono...

  • Modeling, run-time optimization and execution of distributed workflow applications in the JEE-based BeesyCluster environment

    Publication

    Artykuł prezentuje kompletne rozwiązanie do modelowania naukowych i biznesowych scenariuszy. statycznego i dynamicznego wyboru usług z uwzględnieniem parametrów jakościowych oraz wykonanie scenariuszy w rzeczywistym środowisku. Scenariusz jest modelowany jako acykliczny graf skierowany, w którym węzły reprezentują zadania zaś krawędzie zależności pomiędzy zadaniami. Warstwa pośrednia BeesyCluster jest wykorzystana do umożliwienia...

    Full text to download in external service

  • Problemy badawcze wytrzymałości zmęczeniowej warstw ślizgowych łożysk.

    Publication

    - Year 2009

    Praca stanowi syntetyczne ujęcie najważniejszych problemów badawczych wytrzymałości powierzchniowej warstw ślizgowych łożysk poprzecznych Przedstawiono aktualny stan wiedzy na temat form i mechanizmu pęknięć zmęczeniowych panwi łożyskowych oraz sposoby opisu stanu naprężeń w warstwach powierzchniowych poddanych wymuszeniom o charakterze dynamicznym. Omówiono doświadczalne metody badania powierzchniowej wytrzymałości zmęczeniowej...

  • Universal Augmentation Schemes for Network Navigability

    Publication
    • P. Fraigniaud
    • C. Gavoille
    • A. Kosowski
    • E. Lebhar
    • Z. Lotker

    - THEORETICAL COMPUTER SCIENCE - Year 2009

    Rozważano problem uzupełniania grafu (reprezentującego np. sieci społeczne) poprzez dodanie w każdym węźle jednego dodatkowego skierowanego połączenia (długodystansowego). Dokładniej, dla każdego węzła definiuje się listę prawdopodobieństw istnienia połączenia wychodzącego z danego węzła do wszystkich pozostałych węzłów; wartości tych prawdopodobieństw muszą sumować się do jedności. Routing zachłanny w takiej sieci polega na przekazywaniu...

    Full text available to download

  • New generation speech aid for stuttering people

    Publication

    - Year 2008

    Współczesne Cyfrowe Procesory Sygnałowe (ang. DSP) mają niewielkie wymiary, ale są w stanie re-alizować złożone algorytmy. Ich dodatkową zaletą jest łatwość wymiany oprogramowania, a co za tym idzie łatwość zmiany dziedziny zastosowań. Wykorzystując możliwości procesów stało się możliwe budowanie miniaturowych protez słuchu i mowy. W referacie skupiono się na zagadnieniach związanych z projekto-wanie i implementacją algorytmów...

    Full text available to download

  • New generation speech aid for stuttering people

    Publication

    Współczesne Cyfrowe Procesory Sygnałowe (ang. DSP) mają niewielkie wymiary, ale są w stanie re-alizować złożone algorytmy. Ich dodatkową zaletą jest łatwość wymiany oprogramowania, a co za tym idzie łatwość zmiany dziedziny zastosowań. Wykorzystując możliwości procesów stało się możliwe budowanie miniaturowych protez słuchu i mowy. W referacie skupiono się na zagadnieniach związanych z projekto-wanie i implementacją algorytmów...

    Full text available to download

  • ASYNCHRONICZNE METODY RADIOLOKALIZACYJNE

    Publication

    - Year 2018

    W pracy przedstawiono wybrane problemy lokalizowania obiektów w asynchronicznych sieciach radiowych. W pierwszej kolejności zostały zdefiniowane kryteria jakościowe do oceny efektywności pracy opracowanych metod oraz przedstawiono model symulacyjny, który został użyty do badań. W kolejnych trzech rozdziałach szczegółowo opisano trzy oryginalne asynchroniczne metody radiolokalizacyjne w różnych wariantach. Przeprowadzono analizę...

    Full text to download in external service

  • Algorytmizacja tworzenia i dystrybucji treści medialnych a doświadczenie liminalne i zawodowa tożsamość dziennikarska

    Publication

    - Year 2023

    W cyfrowym środowisku współczesnych mediów algorytmy mogą tworzyć tekstowe i wizualne treści dziennikarskie oraz wiele wersji tego samego artykułu z uwzględnieniem potrzeb poszczególnych odbiorców/użytkowników . Algorytmizacja dziennikarskiej pracy jest coraz chętniej wykorzystywana w zarządzaniu organizacjami mediów, a analizy danych o czytelnikach, widzach i słuchaczach decydują o podejmowanych tematach zastępując tradycyjnego...

    Full text to download in external service

  • Parametryczna estymacja widma lokalnie stacjonarnych procesów losowych

    Publication

    - Year 2019

    W niniejszej pracy doktorskiej opisano nowe metody estymacji widmowej gestosci mocy niestacjonarnych procesów stochastycznych. Przedstawione w rozprawie rozwiazania, takie jak dwukierunkowy algorytm drabinkowy z zapominaniem wykładniczym oraz metoda usredniania modeli umozliwiaja precyzyjna estymacje charakterystyk widmowych. Przeprowadzone symulacje potwierdziły, ze opracowane algorytmy daja zadowalajace rezultaty zarówno w przypadku...

    Full text available to download

  • Problemy wnioskowania z ontologii Semantic Web

    Idea Semantic Web (Semantycznego Internetu) opiera się m.in. na ogłaszaniu w Internecie ontologii stanowiących opis pewnego fragmentu rzeczywistości. Aby miało to sens, ontologie te muszą być sformułowane w jednym, powszechnie akceptowanym języku. Takim językiem jest OWL-DL, promowany i standaryzowany przez konsorcjum W3C. Jest to język opary na formalizmie logicznym zwanym logiką opisową. W tym artykule, po krótkim i nieformalnym...

  • Wnioskowanie z danych zapisanych w zewnętrznych źródłach w systemie zarządzania wiedzą

    Publication

    Rozdział prezentuje proces wnioskowania z danych przechowywanych w zewnętrznych źródłach. W procesie tym wykorzystywane są dwie nowe metody: metoda semantycznego wzbogacania źródeł - SED (Semantic Enrichment of Data) oraz wykorzystująca ją metoda wnioskowania z danych zewnętrznych - RED (Reasoning over External Data). Obie te metody zostały w niniejszym rozdziale przedstawione. Metoda SED służy do opisania zewnętrznych źródeł danych...

    Full text to download in external service

  • Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej

    Publication

    - Year 2008

    Logika opisowa jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany prze W3C jako język do reprezentacji ontologii Semantycznego Internetu, oparty jest właśnie na logice opisowej. W tym artukule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano definicję bazy wiedzy...

  • Advanced speech archiving and restoration system for aviation applications

    Publication

    - Year 2005

    W referacie przedstawiono opracowany System Rejestracji I Rekonstrukcji Mowy dla potrzeb lotnictwa. System ten umożliwia jednoczesny zapis, archiwizację i poprawę zrozumiałości sygnału mowy pochodzącego z wielu różnych kanałów komunikacji radiowej. Głównym celem systemu jest rejestracja i rekonstrukcja komunikatów słownych wymienianych drogą radiową pomiędzy pilotem samolotu a stacją kontroli lotów - jest to niezwykle istotne w...

  • Cel i główne zadania badawcze projektu netBaltic

    Celem projektu NetBaltic jest realizacja szerokopasmowej sieci teleinformatycznej na morzu, która umożliwi wdrożenie nowych usług i aplikacji zapewniających w szczególności poprawę bezpieczeństwa nawigacji. Prace w ramach projektu realizują zespoły badawcze z Wydziału ETI Politechniki Gdańskiej, Instytutu Łączności PIB, Instytutu Oceanologii PAN oraz firm DGT LAB S.A. i NavSim Polska sp. z o.o. Wiele propozycji projektu ma charakter...

  • Metodyka projektowania, budowy i utrzymania torów tramwajowych z wykorzystaniem techniki Mobilnych Pomiarów Satelitarnych

    Publication

    - Year 2018

    Podstawowym problemem badawczym przedstawionym w dysertacji była analiza metod projektowych stosowanych w Polsce w porównaniu do reszty Świata. Prace wykazały, że stosowana w naszym kraju metodyka odbiega od zaleceń, które można znaleźć w przepisach zagranicznych. Brak jest analizy parametrów decydujących o komforcie jazdy, jak również kompleksowej metody oceny jakości projektowanego układu geometrycznego. Mając ten fakt na uwadze,...

  • Problemy pomiaru prądów upływowych w diagnostyce ograniczników przepięć

    Publication

    - Year 2016

    W monografii opisano wybrane zagadnienia związane z diagnostyką warystorowych ograniczników przepięć wykonanych z tlenku cynku ZnO. Spośród wielu metod diagnostycznych skupiono się głównie na problemach pomiaru prądów upływowych, których znajomość między innymi umożliwia bezinwazyjną diagnostykę ogranicznika w czasie jego eksploatacji. W celu prawidłowej oceny stanu ogranicznika tą metodą analizowano wyznaczanie składowej czynnej...

  • Trójwymiarowe obrazowanie dna morskiego ze szczególnym uwzględnieniem wód płytkich

    Publication

    - Year 2005

    W ostatnim dziesięcioleciu nabrały znaczenia obserwacje szerokokątne (ang. swath scan) przy pomocy sonarów bocznych i sonarów wielowiązkowych. Wynikiem pomiarów dokonywanych przy pomocy sonarów wielowiązkowych jest jednak duża liczba danych geoprzestrzennych o precyzyjnie określonej referencji geograficznej, charakteryzujących się zróżnicowaną dynamiką i posiadających zróżnicowaną rozdzielczość. Stwarza to problemy w procesie...

  • Proceduralne modelowanie stworów w Suboceanic

    Publication

    - Year 2007

    Suboceanic to niewielki program wykonywalny zajmujący 50 kilobajtów. Został zaprezentowany na party demoscenowym Assembly 2005 w kategorii intro 64k. Efektem działania programu jest multimedialna animacja, w której zarówno obraz jak i dźwięk generowany jest w czasie rzeczywistym. Ta praca opisuje szczegółowo algorytmy opracowane podczas produkcji tego intra do generowania proceduralnych stworów i roślin. Opisana metoda polega na...

    Full text to download in external service

  • Metody strukturalnej analizy ontologii opartych na logice opisowej

    Publication

    - Year 2008

    W rozprawie przedstawiono opracowaną przez autora metodę wewnętrznej reprezentacji ontologii opartych na logice opisowej: kartografię wiedzy. Metoda ta służy przede wszystkim zwiększeniu efektywności wnioskowania dla baz wiedzy zawierających dużą liczbę asercji. W pracy przedstawiono formalizm opracowanej metody oraz towarzyszące jej algorytmy. Kartografię wiedzy wykorzystano w ramach projektu PIPS (6. Program Ramowy UE), a testy...

  • Numerical algorithms of planning safe ship trajectories for ARPA systems

    Publication

    - Year 2007

    Teza rozprawy: ''Połączenie odpowiedniej miary ryzyka kolizji obiektów i metody unikania kolizji za pomocą manewru niezbędnego pozwala na opracowanie szybkiej, efektywnej i prostej w implementacji metody planowania bezpiecznych trajektorii statków dla systemów ARPA, uwzględniającej dowolną zadaną domenę obiektu. Dobór kształtu domeny obiektu ma znaczny wpływ na zgodność wynikowej trajektorii z regułami MPDM. Minimalizacja liczby...

  • The maximum edge-disjoint paths problem in complete graphs

    Publication

    Rozważono problem ścieżek krawędziowo rozłącznych w grafach pełnych. Zaproponowano wielomianowe algorytmy: 3.75-przybliżony (off-line) oraz 6.47-przybliżony (on-line), poprawiając tym samym wyniki wcześniej znane z literatury [P. Carmi, T. Erlebach, Y. Okamoto, Greedy edge-disjoint paths in complete graphs, in: Proc. 29th Workshop on Graph Theoretic Concepts in Computer Science, in: LNCS, vol. 2880, 2003, pp. 143-155]. Ponadto...

    Full text available to download