Search
Filters
total: 685
filtered: 560
Search results for: ALGORYTMY LOGIKI ROZMYTEJ
-
Przetwarzanie wyrażeń języka naturalnego w wyrażenia logiczne - system Denise
PublicationPo krótkim wprowadzeniu do systemów reprezentacji wiedzy i wnioskowania omówiono eksperymentalny system przetwarzania zdań w języku polskim w wyrażenia rachunku zdań i logiki pierwszego rzędu.
-
Struktura przestrzeni miasta w świetle analizy syntaktycznej.
PublicationBadania nad strukturami przestrzeni przy wykorzystaniu analizy syntaktycznej wskazały na fundamentalną zależność pomiędzy strukturą przestrzeni miasta i sposobem jego funkcjonowania. Kluczem do podjęcia dialogu z miastem historycznym jest zrozumienie logiki przekształcanej przez stulecia struktury przez pryzmat konfiguracji.
-
Klasyfikacja algorytmów wyboru usług w architekturze SOA
PublicationWytwarzanie aplikacji w architekturze zorientowanej na usługi wymaga zastosowania odpowiednich algorytmów wyboru usług, które będą zapewniały wytworzenie aplikacji o wymaganych parametrach jakościowych. Biorąc pod uwagę, że problem wyboru usług ma wykładniczą złożoność obliczeniową, stosowne są zarówno algorytmy dokładne jak i przybliżone. W pracy przedstawiono porównanie i analizę istniejących algorytmów wyboru usług w kompozycji...
-
Metaheurystyki w kolorowaniu grafów
PublicationW rozdziale opisano cztery metaheurystyki wykorzystywane w problemie koloro-wania grafów: symulowane wyżarzanie, przeszukiwanie tabu, algorytmy gene-tyczne, algorytmy mrówkowe. Skupiono się głównie na zagadnieniach wykorzys-tania tych metod w badanym problemie.
-
Modele budowy wartości dla klienta - charakterystyka i rozwinięcie
PublicationRozwój form realizacji biznesu umożliwił zbadanie nowych obiektów związanych z generowaniem wartości dla klienta i przedsiębiorstwa. W pracy scharakteryzowano logiki tworzenia wartości będące podstawą modeli łańcucha wartości, sklepu wartości, sieci wartości oraz chmury wartości. Zaproponowano także wprowadzenie nowego składnika do struktury tych modeli w postaci węzła wartości.
-
Badanie algorytmów sterowania dostępem do sieci umts dla usług z priorytetami
PublicationW referacie krótko scharakteryzowano stosowane algorytmy sterowania dostępem do zasobów sieci UMTS oraz zaproponowano nowe, dodatkowe algorytmy zwiększające efektywność wykorzystania zasobów. Przedstawionowyniki badań symulacyjnych pozwalające ocenić przydatność zaproponowanych algorytmów dla realizacji usług z priorytetami.
-
Niepewność oszacowania niezawodności instalacji okrętowych
PublicationW referacie przedstawiono koncepcję oszacowania niezawodności instalacji okrętowych. Szczególny nacisk położono na uwzględnienie niepewności dokonanej oceny. Sugeruje się, aby wartość niezawodności instalacji, dla rozpatrywanego przedziału czasu, przedstawiać za pomocą przedziału liczbowego lub w postaci liczby rozmytej. Proponuje się odejście, w analizach niezawodności instalacji okrętowych, od klasycznej miary probabilistycznej...
-
Badanie wybranych algorytmów rutingu QoS w sieciach MPLS
PublicationW pracy dokonano przeglądu wybranych, opublikowanych algorytmów rutingu QoS dla sieci MPLS. Zrealizowano program "Ruting QoS" w środowisku MATLAB, w którym zaimplementowano trzy algorytmy: Profile-Based Routing, Kowalika-Colliera oraz Erbasa-Mathara. Przedstawiono i omówiono sieci, które zostały użyte do badań. Przebadano zaimplementowane algorytmy w przykładowych sieciach. Porównano badane algorytmy pod względem: procentu obsłużonych...
-
Ontology oriented threat detection system
PublicationW niniejszym artykule przedstawiony jest projekt opartego o ntologię systemu wykrywania zagrożeń w różnego typu monitorowanych środowiskach (OOTDS). Zakłada się, że umieszczone w środowisku czujniki na bieżąco dostarczają systemowi zdarzeń odzwierciedlających zmiany zachodzące w środowisku. Korzystając z sieci asynchronicznych bloków rosnącej złożoności OOTDS dokonuje analizy otrzymanych zdarzeń. Bloki wstępnego przetwarzania konwertują...
-
DSP techniques for determining ''Wow'' distortions
PublicationArtykuł przedstawia opis algorytmów do wyznaczania charakterystyki zniekształceń kołysania dźwięku. Są to algorytmy: śledzenia przydźwięku sieciowego, śledzenia pozostałości magnetycznej prądu podkładu wielkich częstotliwości, adaptacyjnej analizy środka ciężkości widma dla wybranej części zniekształconego sygnału. Przedstawione algorytmy pozwalają na implementację programową i sprzętową.
-
Turbine stage design aided by artificial intelligence methods
PublicationZaproponowano ogólny, wydajny system wspomagania projektowania palisad , stopni i grupy stopni turbinowych. Zastosowane algorytmy wykorzystują algorytmy genetyczne, sieci neuronowe i obliczenia równoległe. Uzyskane rozwiązania projektowe są wysoko zoptymalizowane pod względem sprawności, a czas ich uzyskania jest o kilka rzędów wielkości mniejszy, niż przy zastosowaniu obliczeń CFD.
-
Ontology-Aided Software Engineering
PublicationThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Biomonitoring – badanie zawartości metali ciężkich w mchach i porostach
PublicationOmówiono emisję zanieczyszczeń, w tym metali ciężkich, do środowiska oraz rodzaje biomonitoringu z wykorzystaniem roślin. Opisano biomonitoring z wykorzystaniem mchów, przeprowadzony na terenie Województwa Pomorskiego, podano schemat postępowania przy oznaczaniu pierwiatków w wodzie opadowej i mchach oraz anionów w wodzie opadowej, Podano wyniki dla mchu żywego i mchu suchego z 13 punktów pomiarowych. Wyodrębniono składowe główne...
-
Multimodal Audio-Visual Recognition of Traffic Events
PublicationPrzedstawiono demonstrator systemu wykrywania niebezpiecznych zdarzeń w ruchu drogowym oparty na jednoczesnej analizie danych wizyjnych i akustycznych. System jest częścią systemu automatycznego nadzoru bezpieczeństwa. Wykorzystuje on kamery i mikrofony jako źródła danych. Przedstawiono wykorzystane algorytmy - algorytmy rozpoznawania zdarzeń dźwiękowych oraz analizy obrazu. Zaprezentowano wyniki działania algorytmów na przykładzie...
-
Elementary gates for cartoon computation
PublicationSformułowano elementarne bramki kwantowe, pozwalające tłumaczyć algorytmy kwantowe na język geometryczny.
-
Incremental construction of finite-state automata
PublicationRozdział przedstawia algorytmy przyrostowego i półprzyrostowego tworzenia minimalnych deterministycznych automatów skończonych.
-
Porównanie algorytmów ważonego umieszczania grafów w grafach minimalizujących opóźnienia komunikacyjne
PublicationW artykule omówiono i porównano zaimplementowane algorytmy ważonego umieszczania grafów w grafach. Z uwagi na obliczeniową trudność problemu ogólnego większość przedstawionych podejść to heurystyki. Dla ograniczonych instancji problemu zaproponowano podejście dokładne oparte o ideę backtrackingu. W pracy zawarto porównanie algorytmów pod względem czasów działania i jakości uzyskanych rozwiązań. Algorytmy zaimplementowane zostały...
-
Algorytm selekcji klonalnej w marszrutowaniu pojazdów
PublicationStreszczenie: Algorytmy selekcji klonalnej (SK) to algorytmy optymalizacji dyskretnej należące do klasy sztucznych systemów immunologicznych. W pracy przedstawiamy zastosowanie algorytmu SK do rozwiązywania NP-trudnego problemu Capacitated Vehicle Routing Problem (CVRP). Praca zawiera opis algorytmu i jego adaptacji do CVRP, wyniki badań nad parametrami algorytmu oraz eksperymentów komputerowych porównujących efektywność SK z algorytmem...
-
Porównanie algorytmów sterowania silnikiem IPMSM przy ograniczonym napięciu zasilania pod kątem zastosowania w samochodach elektrycznych
PublicationW referacie porównano trzy algorytmy sterowania momentem silnika IPMSM (ang. Interior Permanent Magnet Synchronous Motor) dostosowane do pracy w strefie ograniczonego napięcia wyjściowego falownika, w tym algorytm zaproponowany przez autorów. Rozważane algorytmy zamodelowano w programie Simulink i wyznaczono dla nich wybrane parametry statyczne i dynamiczne napędu. Kryteria porównawcze wybrano mając na uwadze zastosowanie algorytmów...
-
Wieloatrybutowy model decyzyjny w polityce remontowej technicznych systemów infrastruktury komunalnej
PublicationReferat dotyczy rozmytego rozwinięcia metody porównań parami, stosowanej do szeregowania skończonej liczby wariantów decyzyjnych, atrybutów lub kryteriów w wielokryterialnym grupowym podejmowaniu decyzji. Zaproponowane podejście może być wykorzystane, gdy ekspert wyraża swoje preferencje zarówno w formie oceny rozmytej, jak i ostrej. Metoda rozwiązania problemu opiera się na rozmytym rozwinięciu układu równań normalnych, stosowanych...
-
System wizyjny dla robota łapiącego piłki
PublicationW niniejszej pracy zaproponowano i przetestowano system wizyjny służący śledzeniu lecącej piłki w celu wypracowania sterowania dla robota wieloosiowego mającego za zadanie złapanie jej. Do detekcji i lokalizacji piłki na obrazie z dwóch, prostopadle ustawionych, kamer zastosowano laplasjan filtru gaussowskiego (LoG) oraz autorski podsystem filtracji rozmytej. Estymację trajektorii lecącej piłki w przestrzeni wykonano w oparciu...
-
Metody korekcji zniekształceń dźwięku i obrazu opracowane w ramach europejskiego projektu PrestoSpace
PublicationW referacie przedstawiono przegląd prac badawczo-wdrożeniowych wykonanych przez autorów w ramach projektu PrestoSpace w 6. Programie Ramowym Unii Europejskiej. Opisano metody i algorytmy korekcji zniekształceń fonicznych, takich jak szum szerokopasmowy oraz kołysanie i drżenie dźwięku, a także korekcji zniekształceń obrazu spowodowanych skurczem taśm filmowych. Wdrożone algorytmy zostały pozytywnie ocenione przez archiwistów stosujących...
-
Metody korekcji zniekształceń dźwięku i obrazu opracowane w ramach europejskiego projektu PrestoSpace
PublicationW referacie przedstawiono przegląd prac badawczo-wdrożeniowych wykonanych przez autorów w ramach projektu PrestoSpace w 6. Programie Ramowym Unii Europejskiej. Opisano metody i algorytmy korekcji zniekształceń fonicznych, takich jak szum szerokopasmowy oraz kołysanie i drżenie dźwięku, a także korekcji zniekształceń obrazu spowodowanych skurczem taśm filmowych. Wdrożone algorytmy zostały pozytywnie ocenione przez archiwistów stosujących...
-
Processing and querying description logic ontologies using cartographic approach
PublicationLogika opisowa (ang. description logic) jest formalizem reprezentacji wiedzy, który w ostatnich latach uzyskał dużą popularność pomiędzy inżynierami wiedzy. Po krótkim wprowadzeniu do formalizmu logiki opisowej artykuł prezentuje system wnioskowania opracowany na Politechnice Gdańskiej w ramach projektu PIPS 6 Programu Ramowego UE. System wnioskujący jest oparty na nowatorskiej metodzie kartograficznej, której podstawy również...
-
Zdolności dynamiczne do budowania chmury wartości w modelach biznesów
PublicationObserwacja współczesnych metod tworzenia wartości daje podstawy do wyłonienia nowej logiki ich generowania. Analiza modeli wytwarzania wartości przez przedsiębiorstwa np. sieciowe wykazała, że formułują one chmury wartości. Struktury tych chmur są różnorodne, niejednolite, kłębiaste. Przeprowadzone prace pozwoliły na sformułowanie obrazów wartości generowanych przez twarde komponenty modeli biznesów. Osiągnięcie tych wyników pozwoliło...
-
Automaty jako narzędzia w przetwarzaniu języka
PublicationRozdział zawiera definicję, notację i chcarakterystykę automatów oraz algorytmy ich przekształcania, umożliwiające ich skuteczne wykorzystanie w przetwarzaniu języka.
-
Nowe zasady awaryjnego odciążania systemu elektroenergetycznego
PublicationW referacie przedstawiono nowe zasady awaryjnego obciążenia systemu elektroenergetycznego. Opracowano algorytmy działania automatyki odciążającej zapobiegające powstaniu awarii katastrofalnej.
-
Automatyczna georeferencja w oparciu o rozpoznawanie i dopasowywanie niejednorodnych zbiorów punktów
PublicationW pracy przedstawiono kształt prototypowego systemu przeznaczonego do przeprowadzania automatycznej georeferencji obrazów pozyskiwanych na drodze obserwacji lotniczej lub satelitarnej. System przewiduje przeprowadzanie georeferencji w trybie nienadzorowanym w oparciu o rozpoznawanie i dopasowywanie kształtów o charakterze zbiorów punktów. Omówiono komponenty oraz zaproponowano algorytmy możliwe do zastosowania w poszczególnych...
-
Automatyzacja procesu analizy odręcznych schematów blokowych i oceny ich estetyki
PublicationW pracy przedstawiono problem konwersji ręcznie tworzonych rysunków technicznych na postać cyfrową. Skupiono się na odręcznie rysowanych schematach blokowych, ich analizie i estetycznej prezentacji. Zaprezentowano problemy wstępnego przetwarzania i segmentacji rysunków odręcznych i podano propozycje ich rozwiązania. Do celów analizy schematów blokowych zaproponowano algorytmy rozpoznawania elementów schematu. Podczas interpretacji...
-
Estymacja położenia wirnika w bezczujnikowym napędzie trakcyjnym z silnikiem IPMSM
PublicationW referacie omówiono problematykę estymacji położenia kątowego wirnika silnika IPMSM w aspekcie zastosowań trakcyjnych. Przedstawiono metody estymacji położenia kątowego wirnika silnika IPMSM umożliwiające stabilną pracę napędu w pełnym zakresie prędkości. Omówione algorytmy estymacji położenia opierają się na analizie wartości pochodnych prądów fazowych silnika związanych z modulacją napięć realizowaną przez falownik tranzystorowy....
-
Zarządzanie sekcją krytyczną w rozproszonym środowisku
PublicationRozdział przedstawia metody zarządzania sekcją krytyczną w rozproszonym środowisku. W pracy zostały przedstawione algorytmy zakładania, wchodzenia do i utrzymywania sekcji krytycznej w środowisku gdzie wiele rozproszonych i~niezależnych elementów może korzystać z tych samych zasobów. Wszystkie algorytmy są oparte na zasadzie działania w sposób zdecentralizowany, tak aby uniezależnić środowisko od awarii jednego z elementów. Przedstawiona...
-
A New Model for context aware applications analysis and design
PublicationW 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...
-
Procedura weryfikacji stanu technicznego urządzeń dźwignicowych na przykładzie żurawi portowych.
PublicationOmówiono wymogi formalne dopuszczenia dźwignic o przekroczonym resursie do dalszej eksploatacji. Podano algorytmy przeglądów specjalnych. Przedstawiono przykłady weryfikacji stanu technicznego żurawi portowych.
-
The complexity of equitable vertex coloring graphs
PublicationW artykule podajemy wzory na sprawiedliwą liczbę chromatyczną niektórych produktów grafowych. Ponadto przedstawiamy dwa algorytmy wielomianowe dla sprawiedliwego kolorowania grafów suboptymalną liczba kolorów.
-
Wyszukiwanie obrazów medycznych na podstawie ich treści.
PublicationPrzedstawiono nowe 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, deskryptory tekstury, deskryptory kształtu) oraz relacji przestrzennych...
-
Track-to-track fusion in tracking of multiple targets in clutter - a comparative study.
PublicationPrzedstawiono i porównano algorytmy rozproszone wyznaczania trajektorii obiektów dynamicznych na podstawie danych z wielu źródeł. Rozważono przypadek, w którym dane dotyczące pozycji obiektów są zakłócone przez dodatkowe fałszywe wykrycia niezwiązane z obserwowanymi obiektami. Algorytmy rozproszone i centralne to dwie podstawowe klasy algorytmów służące do wyznaczania trajektorii obiektów dynamicznych na podstawie danych z wielu...
-
Equitable vertex coloring of graphs
PublicationW pracy podajemy wartości sprawiedliwej liczby chromatycznej dla niektórych klas grafów. Podajemy również dwa algorytmy heurystyczne dla sprawiedliwego kolorowania grafów z suboptymalna liczba koloru.
-
Tomografia elektroimpedancyjna
PublicationW opracowaniu przedstawiono podstawowe zagadnienia obrazowania elektroimpe-dancyjnego. Omówiono budowę aparatury i algorytmy rekonstrukcyjne. Przedsta-wiono przykładowe wyniki rekonstrukcji zarówno pomiarów eksperymentalnych iin vivo.
-
Logika opisowa jako język modelowania oprogramowania
PublicationW referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...
-
Parameter and delay estimation of linear continuous-time systems
PublicationIn this paper the problem of on-line identification of non-stationary delay systems is considered. Dynamics of supervised industrial processes is described by ordinary differential equations. Discrete-time mechanization of their continuous-time representations is based on dedicated finite-horizon integrating filters. Least-squares and instrumental variable procedures implemented in recursive forms are applied for simultaneous identification...
-
System rozpoznawania dźwięków instrumentów muzycznych.
PublicationNiniejszy referat przedstawia działanie systemu automatycznego rozpoznawania pojedynczych dźwięków instrumentów muzycznych. System składa się z trzech bloków: detekcja częstotliwości podstawowej, parametryzacja dźwięków i klasyfikacja. W algorytmie detekcji wykorzystano zmodyfikowany algorytm Schroedera. Parametryzację przeprowadzono głównie w oparciu o parametry zdefiniowane w standardzie MPEG-7. Na potrzeby systemu zaimplementowano...
-
Systemy ekspertowe jako narzędzie do wspomagania procesów zarządzania - doświadzcenia autora w ich budowie i nauczaniu.
PublicationW artykule przedstawiono kilkuletnie doświadczenia autora w budowie i nauczaniu systemów ekspertowych. Scharakteryzowano opracowaną metodę budowy oraz przedstawiono odpowiednie przykłady. Pracę podzielono na trzy części. W pierwszej, przedstawiono metodę budowy rozważanych przez autora systemów ekspertowych, bazującą na logice klasycznej jak i rozmytej. W drugiej, omówiono przykłady (stworzonych w oparciu o opracowaną metodę) systemów...
-
Inteligencja zespołowa
PublicationPrzedstawiono przegląd zespołowego przetwarzania informacji, uczenia się i podejmowania decyzji. Omówiono algorytmy ewolucyjne, roju, mrówkowe, immunologiczne, sieci neuronowe, współpracę agentów, modelowanie indywiduowe oraz przykładowe środowisko modelowania zespołowego.
-
On bounded load routings for modeling k-regular connection topologies
PublicationW pracy analizowane są problemy modelowania k-regularnych topologii sieci komputerowych z punktu widzenia routingu typu point-to-point. Zaprezentowane są algorytmy oraz przeprowadzona jest analiza złożoności obliczeniowej.
-
Fast recursive basis function estimators for identification of time-varying processes
PublicationW pracy wprowadzono nową kategorię filtrów adaptacyjnych opartych na metodzie funkcji bazowych i wykorzystujących koncepcję postfiltracji. Proponowane algorytmy pozwalają połączyć niską złożoność obliczeniową i dobre właściwości śledzące.
-
Construction of tournament robot Mirror taking part in Mini Sumo competition
PublicationW artykule zaprezentowano projekt budowy robota turniejowego, startującego w zawodach Mini Sumo. Omówiono założenia dyscypliny Mini Sumo oraz konstrukcję mechaniczną, algorytmy sterujące i elektronikę zawartą w robocie.
-
Sztuczna inteligencja i elementy hybrydowych systemów ekspertowych
PublicationTematyka 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...
-
Intelligent Resources Search in Virtual Libraries.
PublicationZostała zaprezentowana koncepcja bibliotek cyfrowych oraz temat wyszukiwania zasobów. W celu poprawy jakości procesu wyszukiwania, zostało zaproponowane użycie koncepcji sieci semantycznej zamiast klasycznego sposóbu opisu zasobów bibliograficznych. Została opisana prosta ontologia oparta o Dublin Core meta-data. Zostało przedyskutowane zastosowanie algorytmu przetważania połączeń semantycznych w celu szukania. Zastosowany w Wirtualnej...
-
System typu SCADA oparty na komunikacji w sieci Intranet/Internet dla sterowanych układów napędowych
PublicationPrzedstawiono 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...
-
The computer numerical control system with permanent magnet synchronous motor servo-drives.
PublicationPrzedstawiono układ serwonapędów wieloosiowej maszyny sterowanej numerycznie. W układzie wykorzystano silniki synchroniczne z magnesami trwałymi oraz procesory synałowe DSP. Omówiono algorytmy sterowania nadrzędnego oraz problemy sterownia silnika PMSM.