Search
Filters
total: 5085
-
Catalog
- Publications 4069 available results
- Journals 9 available results
- People 159 available results
- Inventions 6 available results
- Projects 46 available results
- Laboratories 2 available results
- Research Teams 18 available results
- e-Learning Courses 736 available results
- Events 31 available results
- Open Research Data 9 available results
displaying 1000 best results Help
Search results for: WSPÓŁCZESNE METODY PROJEKTOWE
-
Wybrane metody ochrony danych w systemie RSMAD
PublicationW artykule omówiono wybrane metody kryptograficznej ochrony danych zastosowane w Radiowym Systemu Monitorowania i Akwizycji Danych z Urządzeń Fotoradarowych, głównie na poziomie warstw: sieciowej, transportowej, sesji oraz aplikacyjnej tego systemu. Dokonano ponadto identyfikacji potencjalnych zagrożeń oraz przedstawiono wybrane sposoby ochrony przed nimi, jakie zostały zastosowane w tym systemie.
-
Modyfikacje algorytmu metody relaksacyjnej w optymalizacji schematów próbkowania
PublicationW pracy przedstawiono metodę relaksacyjną stosowaną z powodzeniem przy wyznaczaniu optymalnych schematów próbkowania. Zaproponowano modyfikacje tej metody polegające na lokalnym ograniczaniu przedziału przeszukiwania optimum w kierunku oraz na wprowadzeniu kroku o zmiennej długości. Porównano skuteczność nowych algorytmów dla dwóch modeli kompartmentowych. Jako podstawę do oceny wybrano szybkość działania i odporność na zatrzymanie...
-
Metody oceny efektywności inwestowania w elektroenergetyce.
PublicationMonografia jest poświęcona zagadnieniom oceny efektywności inwestowania w elektroenergetyce. Inwestowanie w elektroenergetyce w warunkach rynkowych zasadniczo powoduje potrzebę stosowania w analizach decyzyjnych nowych narzędzi, procedur i metod oceny, uwzględniających ryzyko i niepewność działalności inwestycyjnej. W pracy omówiono zatem rolę, pojęcie i istotę inwestowania, dokonano systematyki elementów procesu inwestycyjnego...
-
Metody oceny efektywności miejskich systemów sterowania ruchem
PublicationRozwijające się duże miasta borykają się ze wzrostem zatłoczenia motoryzacyjnego. Celem usprawnienia sieci transportowej duże miasta, w tym również kilka miast polskich decyduje się na wdrożenie narzędzia, które umożliwi im efektywne zarządzanie i sterowanie ruchem. Jeden z takich systemów został wdrożony w Trójmieście w grudniu 2015 roku. W niniejszym referacie przedstawiono metody oceny efektywności miejskich systemów sterowania,...
-
Metody generowania sąsiedztwa w metaheurystycznych metodach harmonogramowania projektów
PublicationNiniejszy rozdział dotyczy obszaru optymalizacji harmonogramu projektu z wykorzystaniem metod zaliczanych do matahurystyk. Punktem wspólnym wiekszosci tychże metod jest konieczność wygenerowania ''nowego'' rozwiązania lub zbioru rozwiązań w kolejnych iteracjach. W rodziale przedstawiono metody generowania ''nowych'' rozwiazn dla potrzeb metaheurystyk oraz metody generowania ''nowych'' rozwiązań dla reprezentacji permutacyjnej,...
-
Analiza porównawcza metody TDOA i ATDOA w systemie WAM
PublicationW artykule przedstawiono nową metodę estymacji położenia obiektów w radiowych sieciach sensorowych, w których węzły pracują asynchronicznie względem siebie. Opisano zasadę działania metody, zaprezentowano przykładowe zastosowanie tej metody w przestrzeni 3D wraz z przyjętym modelem symulacyjnym i wynikami badań. Istotną część artykułu stanowi analiza porównawcza efektywności pracy zaproponowanej metody z metodą synchroniczną dla...
-
Wykorzystanie metody DEA w zarządzaniu opieką zdrowotną
PublicationCelem tego artykułu jest przedstawienie możliwości wykorzystania metody DEA do oceny efektywności funkcjonowania szpitali zarządzanych przez Wojewódzkie Oddziały Narodowego Funduszu Zdrowia (NFZ). Wykorzystano metodę Data Envelopment Analysis, pozwalającą na przeprowadzenie analizy względnej efektywności badanych jednostek. Uzyskane wyniki pozwalają na ustalenie efektywności lecznictwa szpitalnego w oddziałach wojewódzkich NFZ....
-
Sondowanie statyczne : Metody i zastosowanie w geoinżynierii.
PublicationKsiążka stanowi pierwsze polskie kompendium nt. sondowań statycznych metodą CPTU. Przedstawiono w niej problematykę sondowania w dwóch częściach: numerycznej i praktycznej. W części pierwszej autor zwraca uwagę na złożoność obliczeniową omawianych zagadnień, porusza kwestie zaawansowanej mechaniki obliczeniowej. Druga część zawiera wiele praktycznych wskazówek jak korzystać z metody CPTU i jak interpretować jej wyniki w celu określenia...
-
Aspekty korozyjne metody termicznej usuwania bakterii Legionella
PublicationPrzedstawiono stan prawny związany z wykrywaniem bakterii Legionella w instalacjach wodnych oraz zalecanych metod usuwania bakterii. Zwrócono uwagę na brak precyzyjności zapisów rozporządzenia Ministra Infrastruktury w kwestii możliwości wystąpienia korozji rur ze stali ocynkowanej na wskutek zjawisk przebiegunowania powłoki cynkowej. Przedstawiono przyklad korozji rur wody ciepłej ze stali ocynkowanej w duzym obielcie hotelowym...
-
Metody wzmacniania krótkich wsporników słupa w świetle badań eksperymentalnych
PublicationW artykule podano metody wzmacniania wsporników słupów, których skuteczność została zweryfikowana badaniami eksperymentalnymi. Niezależnie od zastosowanej metody efektywność wzmocnienia wspornika jest głównie uzależniona od smukłości ścinania wspornika, ilości zbrojenia wewnętrznego i jego wytężenia przed wzmocnieniem.
-
Źródła i wybrane metody ograniczania zakłóceń w systemach automatyki z napędami przekształtnikowymi
PublicationProblem emisyjności elektromagnetycznej urządzeń elektrycznych stosowanych we współczesnych sieciach zasilających jest zagadnieniem bardzo istotnym i wymagającym niejednokrotnie zaangażowania znacznych nakładów technicznych w celu jego ograniczenia. Ekranowanie urządzeń i przewodów o znacznych poziomach emisji elektromagnetycznej stanowi jedną z podstawowych metod rozwiązywania problemów zakłóceń elektromagnetycznych, szczególnie...
-
CM - Zajęcia projektowe na WIMiO - v.22/23
e-Learning Courses -
Konsultacje projektowe dla sem. VII (zima 2021/22)
e-Learning CoursesKurs przeznaczony jest dla studentów sem. 7 kierunku Architektura.
-
Inżynieria Przemysłowa Tworzyw Sztucznych - WYKŁAD / LABORATORIUM PROJEKTOWE - 2023
e-Learning CoursesKierunek: Inżynieria Materiałowa (Studia II Stopnia) Specjalność: Inżynieria Materiałów Polimerowych
-
CM - Zajęcia projektowe na WIMiO - v.21/22
e-Learning Courses -
Wybrane metody efektywnej integracji komponentów w systemach rozproszonych
PublicationW pracy przedstawiono problemy wytwarzania efektywnych aplikacji rozproszonych ze szczególnym uwzględ-nieniem wytwarzania zorientowanego na integrację komponentów. Opisano metody komunikacji stosowane w aplikacjach rozproszonych oraz architektury oprogramowania, takie jak: SOA, ESB i SCA. Metody komunikacji obejmują standardy usług sieciowych XML Web services oraz RESTful Web services. Ponadto opisano wykorzystanie interfejsu programistycznego...
-
Metody poprawy izolacyjności akustycznej warstwowych przegród budowlanych
PublicationZastosowanie lekkich paneli warstwowych przy budowie hal przemysłowychzwiązane jest z ich dobrymi cechami wytrzymałościowymi, cieplnymi, niskim ciężarem i krótkim czasem montażu.W niniejszym artykule skupiono się na metodach poprawy właściwości akustycznych paneli kompozytowych CSIP. Opisano wyniki badań doświadczalnych i numerycznych oraz sposoby modyfikacji paneli. W analizie wykorzystano model numeryczny metody elementów skończonych...
-
WSPÓŁCZESNE OCHŁODZENIE REJONU SZETLANDÓW POŁUDNIOWYCH I PÓŁNOCO-ZACHODNICH KRAŃCÓW PÓŁWYSPU ANTARKTYCZNEGO
PublicationThe paper discusses changes of hydro-climatic conditions occurring in the South Shetland Islands and in NW parts of the Antarctic Peninsula in the 1979–2016 years period. These changes are important for evaluation of the transformation of marine and coastal ecosystems. The general feature of these changes was a transition from the strong warming phase to the cooling phase, which took place around the year 2000. The paper presents...
-
Współczesne tendencje zabezpieczania zabytkowych ruin w kontekście polskich potrzeb i możliwości
PublicationPublikacja przedstawia polskie możliwości adaptacji ruin w kontekście doświadczeń miedzynarodowych, z podkresleniem dokonań realizacji norweskich. Omawiając szczegółowo projekt i realizację w Hamar, autorka eksponuje rolę jakości zabezpieczeń (zarówno w fazie projektowej jak i realizacyjnej) oraz wysoki koszt tego rodzaju pozytywnych przedwsięzięć.
-
Metody i standardy pozycjonowania terminali w systemach komórkowych
PublicationW artykule przedstawiono problem wyznaczania położenia terminala ruchomego w systemach komórkowych. Przedstawiono wybrane metody oraz na podstawie systemu GSM i UMTS przedstawiono obowiązujące standardy lokalizowania terminala ruchomego w sieciach komórkowych.
-
Wizyjne metody pomiarowe w diagnostyce górnej sieci trakcyjnej
PublicationMonografia zawiera analizę wykorzystania – na potrzeby diagnostyki i monitoringu górnej sieci trakcyjnej – wizyjnych metod pomiarowych, a w szczególności metody autorskiej opartej na użyciu kamery obrazowej i analizie obrazu, pozwalających na pomiar położenia obiektu fizycznego w przestrzeni dwuwymiarowej. Opracowana metoda łączy wysoką funkcjonalność, dużą rozdzielczość pomiarową oraz bardzo niski poziom niepewności pomiaru z...
-
Błędy projektowe i wykonawcze systemów ociepleniowych w technologiii BSO jako przyczyny utrudnień eksploatacyjnych budynków mieszkalnych
PublicationRealizacja ocieplenia według BSO jest bardzo często obarczona błedami projektowymi, jak równiez wykonawczymi, a błedy te przyczyniją się w sposób bardzo istotny do pogorszenia eksploatacji budynków. Weryfikacja dokumentacji projektowej przed rozpoczęciem realizacji inwestycji oraz zapenienie restrykcyjnej kontroli technicznej nad realizacją ocieplenia , w tym nadzoru autorskiego przyczyniją sie w sposób istony do zmniejszenia ilości...
-
Metody sprzętowej implementacji kryptografii odpornej na kryptoanalizę
PublicationW pracy zaprezentowano problematykę kryptoanalizy implementacji sprzętowych bazującej na informacji z kanału bocznego. Opisano rodzaje ataków pasywnych ze szczególnym uwzględnieniem analizy czasowej i analizy poboru mocy. Przedstawiono podstawowe metody zapobiegania atakom. Zaproponowano metodę projektowania wykorzystującą wyrównywanie mocy w asynchronicznych układach kombinacyjnych oraz w układach synchronicznych. Dokonano implementacji...
-
Ocena technologii tulei rozprężnej z wykorzystaniem metody FMEA.
PublicationPrzedstawiono wykorzystanie metody FMEA (Failure Mode and Effect Analysis) do analizy procesu technologicznego tulei rozprężnej jako elementu roboczego docieraka do obróbki maszynowo-ręcznej otworów walcowych. W ocenie technologii uwzględniono symulowaną zmienność liczb priorytetowych, występowania, znaczenia i wykrywalności.
-
2024 Metody planowania eksperymentu
e-Learning CoursesMetody planowania eksperymentu
-
Metody Numeryczne w EiT
e-Learning CoursesMetody Numeryczne: dla studentów Elektroniki i Telekomunikacji, studia magisterskie, semestr 1 Prowadzący: Michał Rewieński, Barbara Stawarz-Graczyk, Arkadiusz Szewczyk Opis przedmiotu: Wykład ten przedstawia techniki obliczeniowe stosowane w modelowaniu i symulacji szerokiej gamy systemów inżynierskich. Dyskutowane metody i pojęcia są bogato ilustrowane przykładami różnorodnych zastosowań, takich jak modelowanie zintegrowanych...
-
Metody modyfikacji katod w tlenkowych ogniwach paliwowych
PublicationW pracy przedstawiono podstawowe zasady działania ogniw tlenkowych SOFC i kilka najważniejszych metod modyfikacji występujących w nich katod. Opisanymi metodami są: tworzenie warstwy kolektora prądowego, zmniejszenie wielkości ziarna, tworzenie warstwy kompozytowej, infiltracja katody cząstkami innej fazy i tworzenie warstw z gradientem składu fazowego. Metody te umożliwiają: polepszenie szybkości reakcji redukcji tlenu, własności...
-
Poszukiwanie metody określania sił podłużnych w szynach toru bezstykowego
PublicationArtykuł przedstawia w zarysie przegląd wybranych prac badawczych nad znalezieniem metody określania sił podłużnych w szynach toru bezstykowego, przeprowadzonych na przestrzeni ostatnich kilkudziesięciu lat. Rozległość tych badań jest imponująca, jednak efekty wciąż nie są do końca zadowalające. Jak dotąd nie opracowano bowiem metody bezpośredniego pomiaru sił podłużnych, dostosowanej w pełni do warunków praktyki utrzymaniowej.
-
Analiza wrażliwości tarczy z wykorzystaniem metody elementów skończonych
PublicationW pracy przedstawiono przykład zastosowania analizy wrażliwości tarczy modelowanej przy pomocy metody elementów skończonych. Podstawy teoretyczne oraz przykład numeryczny dotyczą wpływu różnicowania grubości całej tarczy oraz jej obszarów – jako zmiennej pro-jektowej – na przemieszczenie wybranego punktu – jako zmiennej stanu.
-
Stanowisko do weryfikacji nowej metody pomiaru rezystancji pętli zwarciowej
PublicationW artykule przedstawiono budowę i zasadę działania stanowiska laboratoryjnego, które umożliwia weryfikację eksperymentalną nowej metody pomiaru rezystancji pętli zwarciowej. Metoda ta charakteryzuje się tym, że nie następuje wyzwalanie wyłączników różnicowoprądowych, mimo wykorzystania stosunkowo dużej wartości prądu pomiarowego. Weryfikacja metody na stanowisku laboratoryjnym jest podstawą do skonstruowania prototypowego miernika...
-
METODY DOSKONALENIA SYSTEMU ZARZĄDZANIA ŚRODOWISKOWGO ISO14001 W PRZEDSIĘBIORSTWACH PRODUKCYJNYCH
PublicationOpracowanie ma na celu przedstawienie problematyki doskonalenia zarządzania środowiskowego w przedsiębiorstwach produkcyjnych. W opracowaniu przedstawiono główne wymagania w obszarze doskonalenia systemu zarządzania środowiskowego zgodnego z wymaganiami ISO14001. Zaprezentowano wybrane metody oraz mechanizmy doskonalenia systemów zarządzania środowiskowego ISO14001 stosowane w praktyce. Dokonano prezentacji autorskiej metody doskonalenia...
-
Bezpieczeństwo komputerów w sieci. Część 2: Metody obrony.
PublicationOmówiono praktyczne sposoby zwiększania pewności pracy i bezpieczeństwa serwerów i komputerów osobistych, zasady bezpiecznej ich eksploatacji oraz metody obrony przd najczęściej spotykanymi zagrożeniami. Przedstawiono podstawowe zagadnienia z zakresu firmowej polityki bezpieczeństwea. Zaproponowano minimalny zestaw narzęzi i metod ochrony dla sieci firmowej.
-
Zastosowanie metody elementów skończonych w procesie topnienia medium
PublicationW artykule przedstawiono wyniki analizy numerycznej procesu topnienia materiału w dwóch modelach cieplnych. Założono, że w rozpatrywanych układach transport ciepła zachodzi wyłącznie mechanizmem przewodzenia. Obliczenia zrealizowano z wykorzystaniem metody entalpowej za pomocą programu ANSYS Fluent. Sprawdzono bilans energetyczny rozwiązania i wykazano prawność otrzymanych wyników.
-
Zakłócenia w układach cyfrowych. Mechanizmy i metody pomiaru
PublicationPrzedstawiono mechanizmy powstawania i sposoby pomiaru podatności układów cyfrowych na zakłócenia. Zaprezentowano metodę pomiaru dynamicznej odporności na zakłócenia układów cyfrowych z zastosowaniem wzorcowego sygnału szumowego z możliwością ograniczania szerokości pasma stymulującego sygnału szumowego. Opisano opracowane modele symulacyjne i przykładowe wyniki badań potwierdzające efektywność zaproponowanej metody.
-
Wybrane metody szeregowania danych w sieci IEEE 802.16e
PublicationW pracy omówiono wybrane metody szeregowania danych stosowane w sieciach opartych na standardzie IEEE 802.16e (WiMAX Mobile) oraz wskazano ich mankamenty. Przedstawiono również najważniejsze mechanizmy odpowiedzialne za zarządzanie jakością usług oraz przydział zasobów poszczególnym terminalom. Znaczną uwagę skierowano na przyszłościowe kierunki badań w tym zakresie.
-
Metody badania właściwości szumowych elementów mocy z SiC
PublicationW artykule przedstawiono metody i układy pomiarowe do pomiarów szumów z zakresu małych częstotliwości diod mocy wykonanych z węglika krzemu. Pomiary prowadzone były przy polaryzacji badanych elementów w kierunku przewodzenia i zaporowym. Opracowano układ automatycznej kompensacji składowej stałoprądowej, który umożliwia obserwację i rejestrację szumów wybuchowych.
-
Badanie metody pomiaru impedancji pętli zwarciowej wykorzystującej składowe fazora napięcia
PublicationW rozprawie badaniom poddano dwie metody pomiaru imepdancji pętli: metodę z przesunięciem oraz metodę wektorową. Celem tych badań była dogłębna analiza właściwości metrologicznych rozwiązań układowych, stosowanych w miernikach impedancji pętli zwarciowej z rezystancyjnym obciążeniem pomiarowym, z punktu widzenia realizowanych w nich procedur pomiarowych, oraz opracowanie i analiza metody do wzorcowania mierników impedancji pętli...
-
Metody syntezy 2,2'-bipirolidyny
PublicationDiaminy wicynalne należą do obszernej grupy związków posiadających dwie grupy aminowe przyłączone do sąsiednich atomów węgla. Są to substancje bardzo zróżnicowane pod względem budowy jak i właściwości chemicznych. Ugrupowanie 1,2-diaminowe obecne jest w wielu związkach wykazujących aktywność biologiczną. W syntezie organicznej 1,2- diaminy, głównie pochodne 1,2-diaminocykloheksanu, stanowią substraty w reakcjach prowadzących do...
-
Nowoczesne metody rekrutacji pracowników
PublicationRozdział dotyczy procesu rekrutacji i selekcji, których zadaniem jest zapewnienie odpowiedniego poziomu zatrudnienia. Zaprezentowano wszystkie elementy procesu, począwszy od przygotowania do rekrutacji, poprzez zastosowanie metod oceny i doboru kandydatów do pracy (z uwzględnieniem zastosowania rozwiązań IT) , aż po ostateczną ocenę i wybór najlepszego kandydata. Zwrócono uwagę na błędy popełniane w procesie rekrutacji oraz podkreślono...
-
Metody prognozowania upadłości przedsiębiorstw
PublicationNiniejszy rozdział monografii jest próbą przybliżenia metod i problematyki prognozowania groźby bankructwa przedsiębiorstw ze szczególnym naciskiem na możliwości wykorzystania sztucznej inteligencji w ocenie ekonomiczno-finansowej firm. Przedstawiono w nim również autorską klasyfikację modeli wielowymiarowej analizy dyskryminacyjnej oraz perceptronu wielowarstwowego. Ponadto omówiono zalety i wady stosowania poszczególnych metod...
-
Metody oceny zagrożeń pieszych
PublicationZarządzanie bezpieczeństwem pieszych uczestników ruchu drogowego. Identyfikacja najbardziej niebezpiecznych miejsc dla pieszych na podstawie analizy wypadków. Identyfikacja źródeł zagrożeń w miejscach najbardziej niebezpiecznych na podstawie wyników badań pośrednich miar brd.
-
Genetyczne metody różnicowania mikroorganizmów
PublicationPrzedstawiono przegląd i porównanie kilku najczęściej stosowanych technik różnicowania genetycznego mikroorganizmów, uwzględniając molekularne podstawy metod, ich powtarzalność, siłę dyskryminacji, łatwość i koszt użycia, aby dać czytelnikowi pogląd na możliwości klinicznego zastosowania dostępnych aktualnie narzędzi molekularnego różnicowania mikroorganizmów.
-
Metody montażu - kryteria wyboru
PublicationOmówiono 8 przykładów montażu różnych konstrukcji stalowych. Wskazano, że w każdym przypadku występuje kryterium decydujące o metodzie montażu.
-
Metody testowania platformy KASKADA
PublicationW rozdziale przedstawiono wykorzystywany iteracyjny i inkrementalny proces wytwarzania oprogramowania, ze szczególnym uwzględnieniem planowania, wykonywania i śledzenia testów oprogramowania platformy KASKADA. Zaprezentowano model V i przykłady testów jednostkowych, systemowych, wydajnościowych i wiarygodnościowych. Przedstawiono wybrane wyniki testów oraz ich wpływ na konstrukcję platformy.
-
Wybrane metody sterowania statkiem
PublicationW rozdziale przedstawiono dwa główne nurty badań w zakresie sterowania stat-kiem na morzu: dynamiczne pozycjonowanie (DP) statku i wspomaganie decyzji w sytuacji kolizyjnej na morzu. Dla systemu DP określono strukturę sterowania i podstawowe wymagania. Omówiono wybrane problemy sterowania automatycz-nego statkiem dynamicznie pozycjonowanym. Dokonano przeglądu zaawanso-wanych metod sterowania statkiem DP z uwzględnieniem zadań poszczególnych...
-
Współczesny obiekt architektury w krajobrazie miasta doby komercjalizacji
PublicationGłównym celem artykułu jest prezentacja wybranych współczesnych metod projektowania obiektów architektury w silnie skomercjalizowanym krajobrazie dzisiejszego ośrodka urbanistycznego. Główną przesłanką dla wyboru tematyki artykułu jest obserwacja, iż budynki w dzisiejszym środowisku miejskim zaczynają pełnić rolę jego aktywnych komponentów, a proces projektowania architektonicznego zaczyna być silnie inspirowany elementami i zjawiskami...
-
Metody zagospodarowania osadów ściekowych. Zagrożenia i szanse
PublicationWszystkie metody zagospodarowania osadów ściekowych można zaliczyć do dwóch podstawowych grup: przetwarzanie wysokotemperaturowe oraz biologiczną i chemiczną stabilizację. Do najbardziej popularnych metod zagospodarowania należą: suszenie, dezynfekcja wykorzystanie w rolnictwie, spopielanie lub piroliza z odzyskiem stałych i płynnych pozostałości procesowych, odzysk fosforu, odzysk biogazu, wykorzystanie w budownictwie oraz, najmniej...
-
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.
-
Implementacja zmodyfikowanej metody biliniowej 2D w elektronicznym systemie wbudowanym
PublicationPrzedstawiono implementację zmodyfikowanej metody biliniowej 2D diagnostyki sieci analogowych we wbudowanych mikrosystemach mieszanych sygnałowo sterowanych mikrokontrolerami. Metoda cechuje się prostym algorytmem diagnostycznym, który z powodzeniem można zaimplementować w 8-bitowych, powszechnie stosowanych mikrokontrolerach z interfejsem SPI, oraz nie wymaga nadmiernej rozbudowy mikrosystemu o część testującą (BIST). Zaletą metody...
-
Metody strukturalnej analizy ontologii opartych na logice opisowej
PublicationW 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...