Filtry
wszystkich: 2183
wybranych: 1914
-
Katalog
- Publikacje 1914 wyników po odfiltrowaniu
- Osoby 76 wyników po odfiltrowaniu
- Wynalazki 5 wyników po odfiltrowaniu
- Projekty 12 wyników po odfiltrowaniu
- Zespoły Badawcze 5 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 125 wyników po odfiltrowaniu
- Wydarzenia 9 wyników po odfiltrowaniu
- Dane Badawcze 36 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: ALGORYTMY FORMOWANIA
-
Filtracja perceptualna sygnału fonicznego z zastosowaniem inteligentnychalgorytmów decyzyjnych.**2003, 160 s. 82 rys. 4 tab. bibliogr. 209 poz. ma- szyn. Rozprawa doktorska /29.04.2003./ Wydz. ETI Promotor: prof. dr hab. inż. A. Czyżewski.
PublikacjaCelem prac badawczych było opracowanie i przebadanie nowatorskiej metody re-dukcji szumu akustycznego, również i szumu niestacjonarnego, w nagraniachdźwiękowych. W tym celu opracowano metodę przetwarzania sygnału fonicznego woparciu o modelowanie matematyczne systemu słuchowego człowieka, tzw. fil-trację perceptualną, a także - metodę estymacji szumu niestacjonarnego w o-parciu o parametryzację i kwantyzację zakłócenia oraz...
-
Problems with microprocessor voltage-to-frequency and frequency-to-voltage converters implementation
PublikacjaThe article presents the problems of digital voltage-to-frequency and frequency-to-voltage processing. Transducer systems implemented in microprocessor technology are presented, the timing of signals and functioning algorithms are discussed. An analysis of processing errors has been performed and the results of experimental studies of realized systems are presented.
-
Virtual hearing aid - multimedia tool for demonstrating hearing aid benefits
PublikacjaWiększość osób niedosłyszących nie jest świadoma wszystkich możliwości korekcji ubytku słuchu. Wykorzystując techniki multimedialne można stworzyć oprogramowanie, które znacznie ułatwi i przybliży proces dopasowania aparatów słuchowych. Celem przeprowadzonych eksperymentów było opracowanie multimedialnego systemu, który pozwala zrealizować następujące funkcje: - pomiar charakterystyki dynamiki słuchu, - wyznaczanie charakterystyki...
-
Nowe zasady awaryjnego odciążania systemu elektroenergetycznego
PublikacjaW referacie przedstawiono nowe zasady awaryjnego obciążenia systemu elektroenergetycznego. Opracowano algorytmy działania automatyki odciążającej zapobiegające powstaniu awarii katastrofalnej.
-
Automaty jako narzędzia w przetwarzaniu języka
PublikacjaRozdział zawiera definicję, notację i chcarakterystykę automatów oraz algorytmy ich przekształcania, umożliwiające ich skuteczne wykorzystanie w przetwarzaniu języka.
-
Efektywność intensyfikacji przejmowania ciepła na skutek rozwiniecia powierzchni.
PublikacjaZdefiniowano współczynnik intensyfikacji cieplno-hydraulicznej i zaproponowano jego wykorzystanie jako miary efektywności intensyfikacji przejmowania ciepła podczas wrzenia czynników chlodniczych w przepływie. Opracowaną metodę zastosowano w analizie wyników wlasnych badań wrzenia czynników R22, R134, i R407C w wybranych rurach o rozwiniętej powierzchni wewnętrznej. Dla ruruy nisko żebrowanej stwierdzono większą efektywność ontensyfikacji...
-
Oxidation Time Influence on the Structure of the Cobalt Base Clad Layer and Scale Morphology
PublikacjaZbadano wpływ czasu utleniania na mikrosrukutręi własności mechaniczne a w szczególności mikrotwardość, warstw wykonanych ze stopu kobaltu.Warstwy były wykonane za pomocą napawania plazmowego (PTA). Stop kobaltu podlegał utlenianiu w powietrzu w temperaturze 800 topni celsjusza w czasie 1, 22 i 200 godzin. w wyniku utleniania nastapiło uformowanie warstw zgorzeliny oraz nastapiły zmiany w mikrostrukturze. Zaobserwowano także zmiany...
-
Zastosowanie mieszania wgłębnego i iniekcji strumieniowej do wzmocnienia podłoża pod budynkiem basenu.
PublikacjaPrzedstawiono jeden z pierwszych przykładów zastosowania w Europie nowoczesnej technologii wgłębnego mieszania gruntu na mokro (ang. wet Deep Soil Mixing) w celu posadowienia budynku basenu na uwarstwionym podłożu zawierającym grunt organiczny. Technologia DSM, wprowadzona w Polsce przez firmę Keller, polega na mechanicznym mieszaniu in situ gruntu z zaczynem cementowym i pozwala na formowanie w gruncie kolumn z cementogruntu w...
-
Mixed algorithm in searches of mechanical system steady-state conditions for low precision of the state estimation
PublikacjaW pracy zaprezentowano algorytm poszukiwania rozwiązania układu równań nieliniowych. Nieliniowe funkcje lewych stron znane są z ograniczoną dokładnością, a wzory określające ich pochodne względem czasu nie są znane. Wartości pochodnych wyznaczane są numerycznie za pomocą różnic skończonych. Z uwagi na niską precyzje wyznaczania wartości funkcji, wartości pochodnych znane są jedynie z ograniczoną dokładnością., pochodne zawierają...
-
Asynchroniczna fuzja danych z wielu estymatorów stanu.
PublikacjaW przypadku obiektów, które można opisać dyskretno-czasowym modelem Gaussa-Markowa, oraz gdy dyskretny pomiar dotyczący obiektu pochodzi z pojedynczego czujnika, istnieje nieobciążony estymator minimalnowariancyjny stanu obiektu, czyli filtr Kalmana. W pewnych okolicznościach, np. z powodu dyskretnego charakteru źródła pomiaru, dokładność i odporność estymacji polegającej na pojedynczym źródle danych jest niewystarczająca. Jedną...
-
Wejściowo-wyjściowa metoda detekcji uszkodzeń w elektronicznych układach analogowych uwzględniająca tolerancje elementów.
PublikacjaPrzedstawiono nowe podejście detekcji i lokalizacji uszkodzeń w elektronicznych układach analogowych z uwzględnieniem tolerancji elementów. Składa się ono z dwóch etapów. W pierwszym etapie tworzony jest słownik uszkodzeń składający się z opisu elipsy aproksymującej obszar nominalny reprezentujący brak uszkodzeń i współczynników określających szerokość pasów lokalizacyjnych. Zaprezentowano nowy algorytm tworzenia takiej elipsy...
-
Simplified algorithm for location service for the UMTS
PublikacjaPrzedstawiono uproszczony algorytm lokalizowania terminala ruchomego w systemie UMTS. Algorytm ten umożliwia wyznaczanie pozycji geograficznej terminala ruchomego bez znajomości różnic czasowych w synchronizacji stacji bazowych RTD (Relative Time Differences). Opisany został model symulacyjny oraz przedstawiono wyniki efektywności lokalizowania terminala ruchomego w środowisku tzw. złym miejskim. otrzymane rezultaty dowodzą, że...
-
Simulation of the IT Service and Project Management Environment
PublikacjaThe authors of this paper present a simulation of the socio-technical system in which teams of students – regarded as low-maturity organizations – were given a task to utilize the (relatively) mature technologies that support IT project and service management. The experiment consisted of the following phases: teams formation, introduction to technologies used during the simulation, performing a set of reactive and proactive service...
-
On FE modelling of fully saturated soils
PublikacjaPrzedstawiono podstawy modelowania gruntów nasyconych w ramach metody elementów skończonych. Przedstawiono szczegółowo podstawowe równania różniczkowe problemu oraz ich słabą formę potrzebną w dyskretyzacji w metodzie elementów skończonych. Porównano dwie podstawowe metody formułowania elementów skończonych: uproszczoną u-p oraz pełną u-p-w. Omówiono podstawowe różnice i ograniczenia metody uproszczonej. Artykuł w swej rozszerzonej...
-
Zarządzanie sekcją krytyczną w rozproszonym środowisku
PublikacjaRozdział 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...
-
Automatyzacja procesu analizy odręcznych schematów blokowych i oceny ich estetyki
PublikacjaW 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
PublikacjaW 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....
-
Strach przed nieznanym błędem
PublikacjaFelieton popularnonaukowy dotyczący algorytmu genetycznego.
-
Nonlinear Backstepping Ship Course Controller
PublikacjaStatek, jako obiekt sterowania charakteryzuje się nieliniową manewrową funkcją opisującą. Metoda backstepping jest jedną z metod, które mogą być wykorzystane w procesie projektowania nieliniowych układu sterowania kursem statków. Metoda została zastosowana w celu zaprojektowania dwóch konfiguracji nieliniowych regulatorów kursu.Regulatory zostały przebadane w układach regulacji kursu statku. Jedna z konfiguracji w fazie projektowania...
-
The cartographer algorithm for processing and querying description logics ontologies
PublikacjaLogika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...
-
Procedura weryfikacji stanu technicznego urządzeń dźwignicowych na przykładzie żurawi portowych.
PublikacjaOmó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.
-
A Tabu Search Algorithm for Optimization of Survivable Overlay Computing Systems
PublikacjaParadygmat obliczeń rozproszonych ostatnio zyskuje coraz większą uwagę, ponieważ zarówno instytucje przemysłowe, jak i uczelnie wymagają coraz większej mocy obliczeniowej do przetwarzania i analizy danych. Z uwagi na dużą podatność systemów obliczeń na awarie różnych typów (podobnie do systemów sieciowych), gwarancje przeżywalności niniejszych systemów są nieodzowne w celu zapewnienia nieprzerwanego działania usług. Z tego powodu,...
-
Krzyżowanie uśredniające w ewolucyjnej metodzie planowania ścieżki przejścia w zastosowaniu do problemu unikania kolizji na morzu
PublikacjaArtykuł przedstawia zastosowanie operatora krzyżowania uśredniającego do wyznaczania ścieżki przejścia przy użyciu algorytmu ewolucyjnego w zastosowaniu do unikania kolizji na morzu. Krzyżowanie uśredniające zapewnia rozszerzenie zbioru rozwiązań możliwych do uzyskania w porównaniu z wariantem krzyżowania wymieniającego. Przeprowadzone badania wykazały, że zastosowany wariant krzyżowania pozwala na uniezależnienie wyników symulacji...
-
Modelowanie szumów RTS
PublikacjaPrzytoczono charakterystyczne parametry szumu wybuchowego (Random Telegraph Signal, RTS). Przedstawiono algorytm programowego generatora szumów RTS. Algorytm został wyposażony w możliwość dodawania do wygenerowanych impulsów RTS szumu białego oraz szumu typu 1/f. Przedstawiono przykładowe realizacje wygenerowanych przebiegów.
-
Modelowanie szumów RTS
PublikacjaPrzytoczono charakterystyczne parametry szumu wybuchowego (Random Telegraph Signal, RTS). Przedstawiono algorytm programowego generatora szumów RTS. Algorytm został wyposażony w możliwość dodawania do wygenerowanych impulsów RTS szumu białego oraz szumu typu 1/f. Przedstawiono przykładowe realizacje wygenerowanych przebiegów.
-
The complexity of equitable vertex coloring graphs
PublikacjaW 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.
PublikacjaPrzedstawiono 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...
-
application of linear quadratic regulator (lqr) for nonlinear systems based on the parameter sensitivity
PublikacjaMetoda LQR jest znaną metodą optymalizacyjną dla liniowych układów sterowania. W referacie przedstawiono oryginalny algorytm dotyczący zastosowania tej metody dla nieliniowych układów sterowania przy wykorzystaniu analizy wrażliwości układu. Algorytm ten poddany jest weryfikacji na przykładzie układu sterowania napędu statku.
-
Tomografia elektroimpedancyjna
PublikacjaW 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.
-
Equitable vertex coloring of graphs
PublikacjaW 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.
-
Gmach Europejskiego Centrum Solidarności - geneza przestrzeni, w poszukiwaniu tożsamości miejsca
PublikacjaBudynek Europejskiego Centrum Solidarności został wzniesiony jako istotny element przestrzeni pamięci – historycznych terenów Stoczni Gdańskiej. W procesie formułowania autorskiego programu architektury szczególną uwagę poświęcono więc odniesieniom do szeroko rozumianego kontekstu kulturowego. Dla dokonania analizy swoistości lokalizacji, jako koniecznego punktu odniesienia dla kreowanej architektury, jej twórca podjął próbę posłużenia...
-
Przepisy dotyczące dopuszczalnych wymiarów ciężarów samochodów ciężarowych w Unii Europejskiej i w Polsce.
PublikacjaArtykuł przedstawia unormowania prawne obowiązujące w Unii Europejskiej oraz w Polsce. Porównano zarówno wymiary pojazdów, dopuszczalne obciążenie jak i naciski wywierane przez poszczególne pojazdy. Przedstawiono różnice w legislacji pomiędzy Unią Europejską a Polską i konsekwencje z tego wynikające. Z przedstawionego porównania wynika, że w Polsce dopuszczalne obciążenie na oś jest mniejsze niż w Unii Europejskiej. Będzie to...
-
Wpływ innowacyjnych technologii w budownictwie na kształtowanie relacji budynek-człowiek
PublikacjaWejście do architektury innowacyjnych technologii budowlanych otwiera całe spektrum nowych problemów projektowych. Jednym z istotnych zadań przy ich wdrażaniu jest zachowanie pożądanej relacji pomiędzy człowiekiem i środowiskiem zbudowanym - budynkiem czy krajobrazem miasta. Współcześnie, kiedy coraz łatwiej zrealizować najbardziej nawet wyszukany zamysł projektowy, tym bardziej należy zwrócić uwagę na humanistyczny aspekt architektury...
-
Planowanie zagospodarowania przestrzennego obszru metropolitalnego Trójmiasta - doświadczenia, problemy, kierunki rozwiązań
PublikacjaWskazano miejsce jakie wskazują metropolie w badaniach przestrzennych i dokumentach planistycznych oraz strategicznych Unii Europejskiej. Scharakteryzowano w jaki sposób ujmowana jest kształtująca się metropolia Trójmiasta w dokumentach planistyczno-strategicznych odnoszących się do przestrzeni całego kraju i województwa pomorskiego.Przedstawiono koncepcje podejścia do konstruowania planu zagospodarowania przestrzennego obszaru...
-
Analiza zmienności fizyczno-chemicznej słodkich wód podziemnych w strefie kontaktu z wodami słonymi na przykładzie rejonów nadmorskich i niecek endoreicznych
PublikacjaCharakter zmienności składu chemicznego słodkich wód podziemnych kontaktujacych się z wodami słonymi omówiono na przykładzie dwóch środowisk hydrogeologicznych - rejonów nadmorskich i niecek endoreicznych suchych klimatów. oceniono zasady funkcjonowania systemów wodonośnych w warunkach naturalnego kontaktu wód słodkich ze słonymi oraz wypracowano efektywną metodykę badawczą do wyznaczania tej strefy w zróżnicowanych środowiskach...
-
Measurement of relative tool displacement to the workpiece for the assesment of influences of machining errors on surface profiles
PublikacjaZaprezentowano układ pomiarowy promieniowego i osiowego przemieszczenia narzędzia względem przedmiotu dla identyfikacji oddziaływań układu obróbkowego na formowanie struktury geometrycznej powierzchni toczonej. Zawiera on dwa analogowe tory pomiarowe przemieszczeń względnych z bezstykowymi przetwornikami i przetwarzaniem a/c oraz cyfrowy tor pomiaru obrotu przedmiotu, jego znacznik i interfejs z komputerem. Pomierzono sygnały przemieszczeń...
-
Control strategy for the multilevel cascaded H-bridge converter
PublikacjaThe paper presents the control strategy for Cascaded H-bridge (CHB) converter . The converter output voltage using Space-Vector Pulse Width Modulation (SV-PWM) strategy is controlled. The DC-link voltages are controlled by appropriate choice of H-Bridges and appropriate choice of active and passive vectors.
-
An interactive system for mobile robot navigation
PublikacjaW pracy przedstawiono interaktywny system do zdalnego sterowania robotem mobilnym zbudowany przy użyciu języka VRML. System jest wspomagany przez algorytm wyznaczania optymalnej trajektorii ruchu robota mobilnego poruszającego się w obecności przeszkód statycznych. Otoczenie reprezentowane jest przez graf nieskierowany. W metodzie wykorzystano algorytm Dijkstry.
-
Feature-based generation of machining process plans for optimised parts manufacture
PublikacjaPrzedstawiono aktualne zagadnienia związane z integracją systemów CAD/CAM/CAPP. Opracowano model informacyjny danych dla systemu CAPP w postaci zapisu macierzowego. Zawarto algorytm tworzenia rozwiązań wariantowych i wyboru optymalnego procesu technologicznego obróbki. Proponowany algorytm działania zweryfikowano na rzeczywistym przykładzie z praktyki przemysłu.
-
Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA
PublikacjaCelem niniejszej rozprawy oraz stypendium odbytego w ramach projektu było opracowanie numerycznie efektywnego rozwiązania algorytmicznego i sprzętowego, które umożliwia przyspieszenie analizy problemów elektromagnetycznych metodą elementów skończonych (MES) z funkcjami bazowymi wysokiego rzędu. Metoda elementów skończonych w dziedzinie częstotliwości stanowi wydajne i uniwersalne narzędzie analizy układów mikrofalowych (rys....
-
Prognozowanie wpływu drgań komunikacyjnych na budynki mieszkalne za pomocą sztucznych sieci neuronowych i maszyn wektorów wspierających
PublikacjaDrgania komunikacyjne mogą stanowić duże obciążenie eksploatacyjne budynku, powodując zarysowania i spękania tynków, odpadanie wypraw, zarysowania konstrukcji, pękanie elementów konstrukcji lub nawet zawalenie się budynku. Pomiary drgań na rzeczywistych konstrukcjach są pracochłonne i kosztowne, a co ważne nie w każdym przypadku są one uzasadnione. Celem pracy jest analiza autorskiego algorytmu, dzięki któremu z dużym prawdopodobieństwem...
-
An algorithm for preliminary estimating hull structure mass and mass centre height of inland navigation ships
PublikacjaPrzedstawiono algorytm obliczeniowy służący do wstępnego wyznaczania masy i wysokości środka ciężkości konstrukcji kadłuba statków śródlądowych. Algorytm opracowano opierając się na zaleceniach zawartych w Przepisach Klasyfikacji i Budowy Statków Śródlądowych PRS oraz zastosowano uproszczoną metodę wyznaczania mas usztywnień poszycia kadłuba. Algorytm dotyczy wymiarowania konstrukcji klasycznych statków służących do przewozu drobnicy,...
-
Robust estimation of variables and parameters in dynamic water distribution systems
PublikacjaPrzedstawiono estymację metodą ''set membership'' zmiennych i parametrów systemu dystrybucji wody pitnej. Zmienne odnoszą się do ilości i jakości wody, natomiast parametry odnoszą się do modelu matematycznego hydrauliki. Problemten jest wysoce nieliniowy. Algorytm estymacji jest oparty na wcześniejszychpracach i wykorzystuje również algorytm dynamicznej linearyzacji odcinkami.
-
Metoda zliczania osób w tłumie z zastosowaniem wirtualnej bramki
PublikacjaW referacie przedstawiono koncepcję oraz wyniki realizacji praktycznej algorytmu zliczania osób w tłumie. Zaprezentowano szczegóły opracowanej metody zwanej wirtualną bramką, której działanie wymaga obliczenia przepływu optycznego w obrazie. Zilustrowano możliwości praktycznego zastosowania opracowanego algorytmu do zliczania osób w obszarach o rozmiarach znacznie przekraczających szerokość typowych wejść, gdzie mają zastosowanie...
-
Construction of tournament robot Mirror taking part in Mini Sumo competition
PublikacjaW 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.
-
On bounded load routings for modeling k-regular connection topologies
PublikacjaW 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
PublikacjaW 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.
-
Inteligencja zespołowa
PublikacjaPrzedstawiono 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.
-
Ontologie w systemach informatycznych
PublikacjaZakres monografii obejmuje wybór majważniejszych zagadnień inżynierii wiedzy opartej na podejściu ontologicznym. Omawiane są ramy Minsky'ego, sieci semantyczne, standardy RDF, OWL i SPARQL. Prezentowane są też podstawy teoretyczne nowoczesnych technologii semantycznych, w szczególności rozstrzygalny fragment logiki pierwszego rzędu zwany logiką opisową (ang. Description Logics, DL). Omawia sie algorytmy wnioskowania z ontologii...
-
Sztuczna inteligencja i elementy hybrydowych systemów ekspertowych
PublikacjaTematyka 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...