Search
Filters
total: 39404
filtered: 16349
-
Catalog
- Publications 16349 available results
- Journals 144 available results
- Conferences 29 available results
- People 333 available results
- Inventions 16 available results
- Projects 110 available results
- Laboratories 5 available results
- Research Teams 40 available results
- Research Equipment 1 available results
- e-Learning Courses 1407 available results
- Events 58 available results
- Open Research Data 20912 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: METODA SEGMENTOWA
-
Problemy jakości w metodach Agile
PublicationZwinne metody wytwarzania osiągnęły w zawrotnym tempie niebywały sukces. Według różnych doniesień od 50 do 70% firm IT stosuje metody zwinne na stałe lub okazjonalnie . Jednak znaczna część firm stosuje wybiórczo praktyki zalecane przez Agile . Jakie to praktyki? Jakie problemy występują przy ich stosowaniu i jak firmy radzą sobie z tymi problemami? Jak wpływają na jakość wytwarzanego oprogramowania? Jakie są warunki krytyczne...
-
GPU-accelerated finite element method
PublicationIn this paper the results of the acceleration of computations involved in analysing electromagnetic problems by means of the finite element method (FEM), obtained with graphics processors (GPU), are presented. A 4.7-fold acceleration was achieved thanks to the massive parallelization of the most time-consuming steps of FEM, namely finite-element matrix-generation and the solution of a sparse system of linear equations with the...
-
Sterowanie systemami produkcyjnymi.
PublicationSformułowanie problemu sterowania systemem produkcyjnym jako problemu zintegrowanego sterowaniem działalnością podstawową systemu, którą jest produkcja oraz działalnościami stowarzyszonymi, którymi są: zaopatrzenie w surowce, zbyt produktów, renowacje zespołów produkcyjnych oraz działalność inwestyzyjna. Przedstawiono metodę wspomaganego komputerowo rozwiązania problemu, wykorzystując do tego celu metody dekompozycji w przestrzeni...
-
Taking advantage of the shared explicit cache system based critical sections in the shared memory parallel architectures
PublicationArtykuł prezentuje nową metodę implementacji sekcji krytycznych w równoległych architekturach z pamięcią współdzieloną, takich jak systemy zintegrowane wielowątkowe wieloprocesorowe. Metoda stanowi modyfikację i rozbudowanie metody zwanej Folding, dostępnej w procesorach sieciowych oraz jest w założeniach podobna do techniki zwanej cache-based locking. W porównaniu do dostępnych metod, nowa metoda usuwa problemy skalowalności i...
-
Przegląd metod oceny struktur przestrzennych w warunkach zrównoważonego rozwoju
Publicationthe article "the assessment methods' review of urban structures in the sustainable development context" presents various methods along with tools and ways how to apply them. mainly it is based on methods' descriptions contained in bequest programme (building environmental quality evaluation sustainability through time). the assessment should improve formation of the built environment and practical realization of the idea of sustainable...
-
Zastosowanie środowiska LabView do wspomagania metod eksperymentalnej analizy modalnej
PublicationW artykule przedstawiono przykłady aplikacji napisanych w środowisku LabView i systemu pomiarowego, które wspomagają identyfikację własności dynamicznych obiektów metodami eksperymentalnej analizy modalnej. Opisano najważniejsze założenia, zastosowane techniki oraz rozwiązania kluczowych problemów napotkanych podczas tworzenia systemu pomiarowego. Trafność przyjętych rozwiązań została potwierdzona podczas użytkowania systemu w...
-
Wykorzystanie nowych metod wnioskowania w grafice i animacji komputerowej
PublicationReferat opisuje realizowane zadania badawcze, dotyczące wykorzystana nowych metod wnioskowania (tzw. soft-computingu) w przetwarzaniu grafiki i animacji komputerowej. W pierwszym z zadań, opracowaniu metody poprawy jakości fotografii tekstu przeznaczonych do rozpoznawania znaków, wykorzystano algorytmy przetwarzania obrazów i ich modyfikacje do usuwania ze zdjęcia tła oraz gradientu jasności, następnie nowa metoda filtracji nieliniowej...
-
Potrzeby MŚP regionu pomorskiego w zakresie metod nadzorowania procesów
PublicationOdpowiednie stosowanie zasad orientacji procesowej decyduje o skuteczności i efektywności systemów zarządzania jakością. Poniższe opracowanie przedstawia wyniki badań pilotażowych mających wstępnie odpowiedzieć na pytanie w jakim stopniu małe i średnie firmy regionu pomorskiego są świadome znaczenia i przygotowane do systemowo ujętego nadzorowania swoich procesów.
-
Application of acoustic emission metod for measurement of joint gap and cartilage surfaces
PublicationW artykule przedstawiono zastosowanie emisji akustycznej do lokalizacji wczesnych uszkodzeń stawu biodrowego lub kolanowego człowieka. Ponadto metoda ta służy do pomiaru wysokości szczeliny stawu oraz struktury geometrycznej powierzchni chrząstki stawowej. Jest to metoda nieinwazyjna. Pomiary metodą emisji akustycznej stosujemy na ogół w materiałach, w których energia sprężysta zmienia się nagle. Takie zmiany energii mogą być...
-
Ogólna charakterystyka metod biologicznych wykorzystywanych w ocenie zanieczyszczeń środowiska.
PublicationPrzedstawiono podział metod biologicznych wykorzystywanych w ocenie zanieczyszczeń środowiska. Zdefiniowano pojęcie biowskaźnika, biomonitora i bioczujnika. Scharakteryzowano metody stosowane w biomonitoringu podając wybrane przykłady.
-
Porównanie tradycyjnych i komputerowych metod animacji 2D i 3D.
PublicationArtykuł opisuje najważniejsze zagadnienia związane z animacją tworzoną zarówno w sposób tradycyjny, jak i z zastosowaniem technik komputerowych oraz związki między tymi sposobami generowania ruchu.
-
Model rozproszonej diagnostyki systemowej z wykorzystaniem metod sztucznej inteligencji.
Publication.
-
Analiza wyników pomiaru rezystancji uziemienia dla wybranych metod pomiarowych.
PublicationWynik pomiaru rezystancji uziemienia jest podstawą oceny skuteczności ochrony przeciwporażeniowej i odgromowej. Należy ze szczególną ostrożnością podchodzić do interpretacji wyników pomiarów, gdyż dokonana niewłaściwie może spowodować brak skuteczności ochrony przeciwporażeniowej bądź odgromowej.W referacie zaprezentowano problematykę związaną z oceną wyniku pomiaru rezystancji uziemienia przy zastosowaniu statycznych i...
-
Możliwość wykorzystania metod symulacji cyfrowej w rachunku kosztów działań.
PublicationPodejście procesowe pozwala na lepsze zrozumienie podstawowych obszarów aktywności firmy. Artykuł prezentuje możliwości jakie dają nowoczesne metody symulacji cyfrowej i rachunku kosztów działań. Ponieważ bazują na tej samej strukturze informacji, możliwe jest ich łączne stosowanie.
-
Możliwości zastosowania nowoczesnych metod zarządzania w publicznej szkole wyższej.
PublicationArtykuł dotyczy możliwości zaadoptowania nowoczesnych metod zarządzanie w szkolnictwie wyższym. Koncepcja zarządzania opartego na wiedzy, dobrze znana biznesie może być zastosowana na uniwersytetach. Podkreślano istotność planowania strategicznego.
-
Porównanie metod oceny jakości regulacji układu regulacji generatora synchronicznego
PublicationW artykule przedstawiono i porównano metody pozwalające na ocenę własności dynamicznych układu regulacji generatora synchronicznego, a w tym: kryteria czasowe, kryteria całkowe, linie pierwiastkowe, charakterystyki Bode'go, wartości własne. Porównanie powyższych metod jako kryteriów oceny własności dynamicznych układu wykonano dla modelu jednomaszynowego (generator synchroniczny pracujący na sieć sztywną). Generator synchroniczny...
-
Wykorzystanie metod analizy obrazów do wyznaczania udziału objętościowego faz
PublicationPraca przedstawia możliwości wykorzystania analizy obrazów w określaniu udziału objętościowego składników strukturalnych. W badaniach wykorzystano mikroskop świetlny, sprzężony poprzez kamerę CCD, z komputeremz zainstalowanym programem do analizy obrazów MultiScan.
-
Charakterystyka procesu ciągłej dewulkanizacji termomechanicznej z zastosowaniem metod doświadczalnych
PublicationBadano proces termomechanicznej dewulkanizacji rozdrobnionych odpadów gumowych prowadzono przy użyciu wytłaczarki dwuślimakowej współbieżnej o specjalnej konfiguracji układu uplastyczniającej, umożliwiającego wywieranie znacznych sił ścinających na miał gumowy. W badaniach doświadczalnych zastosowano metodę powierzchni odpowiedzi RSM (response surface methodology). Wyznaczono modele matematyczne wyrażające zmienność właściwości...
-
Ochrona usług masowej dystrybucji multimediów z wykorzystaniem metod fingercastingu
PublicationW rozdziale przedstawione zostały problemy ochrony usług masowej dystrybucji treści multimedialnych w sieciach komputerowych przed kopiowaniem i nielegalnym rozpowszechnianiem multimediów, z wykorzystaniem metod fingerprintingu, a w szczególności podgrupy tych metod - metod fingercastingu. W odróżnieniu od innych metod fingerprintingu, metody fingercastingu wykorzystują połączenia grupowe (ang. multicast), co prowadzi do znacznego...
-
Zastosowanie metod uczenia maszynowego w procesie rehabilitacji kończyny górnej
PublicationCelem rozprawy jest opracowanie systemu opartego na metodach uczenia maszynowego, który w przyszłości pozwoli na zautomatyzowanie wybranych procedur w procesie rehabilitacji kończyny górnej. Nośnikiem informacji związanej ze stanem fizjologicznym pacjenta jest biologiczne sprzężenie zwrotne w postaci sygnałów elektromiografi powierzchniowej (ang. sufrace electromigraphy, sEMG). Przypuszcza się, że dzięki zastosowaniu sterowania...
-
Przegląd metod produkcji regeneratu gumowego oraz możliwości jego zastosowania
PublicationRecykling materiałowy odpadów gumowych nabiera obecnie coraz większego znaczenia, stanowiąc alternatywę dla powszechnie stosowanego w Polsce odzysku energetycznego. W artykule zaprezentowano przegląd historyczny oraz obecny stan wiedzy w dziedzinie regeneracji odpadów gumowych. Publikacja zawiera charakterystykę najczęściej stosowanych metod dewulkanizacji odpadów gumowych oraz prezentuje możliwości wykorzystania regenerowanej...
-
Wykorzystanie algorytmicznych i parametrycznych metod projektowania cyfrowego w urbanistyce
PublicationOpracowanie dotyczy rozwoju metod projektowania cyfrowego w skali urbanistycznej . Zaawansowane techniki komputacyjne stanowią wyzwanie i alternatywę dla znanych strategii planistycznych i konwencjonalnych planów urbanistycznych. W opracowaniu przytoczono przykładu nowatorskich projektów takich jak Kartal-Pendik Masterplan pracowni ZHA z 2006r.
-
Przegląd metod pomiaru temperatury przewodów linii napowietrznych wysokiego napięcia
PublicationW artykule przedstawiono przegląd metod pomiaru temperatury napowietrznych linii wysokiego napięcia stosowanych w celu poprawy niezawodności eksploatacji i w celu wyznaczania dopuszczalnej obciążalności linii. Omówiono system DOL dynamicznej obciążalności linii oraz bezdotykowe metody pomiaru temperatury: pomiar z użyciem pasywnych czujników SAW (ang. Surface acoustic wave sensor), DTS (distributed temperature sensing) z wykorzystaniem...
-
Nośność graniczna oraz interpretacje metod bezpośrednich dla pali przemieszczeniowych
PublicationW ocenie możliwości przenoszenia przez pale obciążenia od projektowanych obiektów należy wykorzystywać pełną krzywą zależności obciążenie – osiadanie pala aż do wartości stanu granicznego. Problemem jest wybór miarodajnej metody określenie pełnej krzywej osiadania pala. W pracy przedstawiono różne podejścia obliczeniowe i interpretacje próbnych obciążeń statycznych oraz bezpośrednie metody analityczne oceny pracy pala w gruncie....
-
Osiadanie grupy pali w odniesieniu do współczesnych metod obliczeniowych
PublicationW artykule omówiono zagadnienie osiadania fundamentów palowych obciążonych siłami pionowymi. Przedstawiono wykorzystywane na świecie metody obliczeniowe umożliwiające racjonalne oszacowanie osiadania pali w grupie. Metody wymieniono począwszy od prostych i mało dokładnych metod empirycznych po wyrafinowane techniki obliczeniowe, korzystające z metod numerycznych. Główny nacisk położono na nowoczesne metody analityczne, w obrębie...
-
Badanie metod i projektowanie usług lokalizacyjnych w sieciach radiokomunikacyjnych
PublicationW pracy przedstawiono wybrane problemy lokalizowania obiektów w sieciach radiokomunikacyjnych, w tym komórkowych. W pierwszej kolejności zostały przedstawione nowe zasady budowy i działania systemu wywołania w niebezpieczeństwie na morzu, z wykorzystaniem infrastruktury sieci komórkowej. Na podstawie zebranych danych pomiarowych w warunkach morskich została opracowana nowa, bardziej dokładna metoda estymacji położenia terminala...
-
Wykorzystanie metod numerycznych do modelowania strat mocy w oponie
PublicationPraca stanowi wprowadzenie do zagadnienia strat mocy w oponie samochodowej wynikających z oporów toczenia. Autur stara się zbudować model opony pneumatycznej ze szczególnym uwzględniniem oporów toczenia. Przedstawiono opis celu pracy, prób stanowiskowych oraz wynikow.
-
Wykorzystanie potencjometrów cyfrowych do testowania metod dynamicznej spektroskopii impedancyjnej
PublicationPrzedmiotem artykułu jest opracowanie modelu układu elektrochemicznego o zmiennej w czasie impedancji. Do konstrukcji modelu wykorzystano potencjometry cyfrowe sterowane mikrokontrolerem, pozwala to programowo kontrolować zmiany impedancji modelu. Odpowiednie ukształtowanie zmian widm impedancyjnych w funkcji czasu (impedancjogramów) pozwala na ustalenie ograniczeń różnych metod pomiaru impedancji.
-
Zastosowanie metod eksploracji danych do analizy odpowiedzi czujników gazu
PublicationZagadnienia poruszane w niniejszej rozprawie dotyczą zastosowania metod eksploracji danych do analizy odpowiedzi czujników gazu, umożliwiających poprawną identyfikację składu mieszaniny gazowej w elektronicznych systemach rozpoznawania gazu. Elektroniczne systemy rozpoznawania gazu to urządzenia wykorzystujące czujniki gazu oraz odpowiednio dobrane metody analizy danych pomiarowych, zdolne do określenia składu mierzonej mieszaniny...
-
Przegląd metod szybkiego prototypowania algorytmów uczenia maszynowego w FPGA
PublicationW artykule opisano możliwe do wykorzystania otwarte narzędzia wspomagające szybkie prototypowanie algorytmów uczenia maszynowego (ML) i sztucznej inteligencji (AI) przy użyciu współczesnych platform FPGA. Przedstawiono przykład szybkiej ścieżki przy realizacji toru wideo wraz z implementacją przykładowego algorytmu prze-twarzania w trybie na żywo.
-
ANALIZA EFEKTYWNOŚCI METOD GŁĘBOKIEGO UCZENIA W ODBIORZE SYGNAŁÓW GMSK
PublicationSztuczna inteligencja odnajduje coraz szersze zastosowanie we współczesnej radiokomunikacji, choć głównie w ujęciu badawczym. Niniejszy artykuł przedstawia przegląd i ewaluację metod z obszaru głębokiego uczenia umożliwiających detekcję sygnałów z modulacją GMSK (ang. Gaussian Minimum Shift Keying) w kanale AWGN. Badane modele porównane zostały z optymalnym detektorem pracującym zgodnie z regułą największej wiarygodności MLSE (ang....
-
ANALIZA PORÓWNAWCZA METOD WYZNACZANIA SZEROKOŚCI PASA RUCHU STATKU ŚRÓDLĄDOWEGO
PublicationŻegluga śródlądowa w Polsce stanowi niewykorzystany potencjał. Możliwości przewozowe jakie posiadają rzeki są olbrzymie. Kluczowy problem stanowią parametry eksploatacyjne poszczególnych odcinków, które w znacznym stopniu ograniczają żeglowność szlaku. W związku z powyższym istotnego znaczenia nabiera wyznaczanie parametrów eksploatacyjnych śródlądowych dróg wodnych. W artykule dokonano charakterystyki śródlądowych dróg w Polsce....
-
Reduced model of gyroscopic system
PublicationThe paper presents the method of model reduction for the system with gyroscopic interactions. Two methods were used to obtain the approximate discrete models of the continuous structure: the modal decomposition method and the rigid finite element method. The first approach is used for this part of a system for which it is easy to formulate orthogonality conditions, meanwhile the second one is used for other part. The method enables...
-
Właściwości stali S460M napawanej pod wodą metodą lokalnej komory suchej
PublicationW artykule przedstawiono wyniki badań próbek ze stali S460M wykonanych pod wodą metodą lokalnej komory suchej. Pomiary twardości oraz analiza strukturalna wykazały, że dla określonych ilości wprowadzonego ciepła możliwe jest wykonanie złączy bez niezgodności spawalniczych. Stwierdzono formowanie się w pewnych warunkach pęknięć zimnych w SWC wywołanych procesami odprowadzania ciepła z materiału, które są charakterystyczne dla spawania...
-
Apprendere camminando.Il metodo della Jane’s Walk per riscoprire San Lorenzo
PublicationTratta dal libro rivoluzionario che Jane Jacobs, attivista americana, ha scritto negli anni Sessanta e che ben presto è diventato un importante riferimento per la partecipazione dei cittadini nella progettazione urbana, questa citazione ben esprime l’approccio attraverso il quale ci siamo avvicinate alla riscoperta di San Lorenzo. Quartiere della città storica molto conosciuto, San Lorenzo si è rivelato in grado di disvelare paesaggi...
-
Właściwości złączy spawanych pod wodą metodą mokrą elektrodami otulonymi (111)
PublicationPrzedstawiono analizę wpływu ilości wprowadzonego ciepła (energii liniowej), rodzaju złącza oraz rodzaju spawania (mokre, lokalną komorą suchą) na twardość złączy spawanych pod wodą.
-
Zastosowanie metody georadarowej w badaniach konstrukcji podłogi posadowionej na gruncie
PublicationDiagnostyka nieniszcząca konstrukcji podłogi posadowionej na gruncie. Zastosowanie techniki georadarowej do badań podłogi. Metodologia badań. Wyniki identyfikacji ilości i rozkładu zbrojenia oraz występowania potencjalnych uszkodzeń betonu.
-
Wybrane metody diagnostyki łożysk silników indukcyjnych oparte o pomiar prądu
PublicationW artykule zawarto przegląd wybranych metod diagnostyki łożysk silnika indukcyjnego, bazujących na pomiarach prądu zasilającego. Jedno z nowych rozwiązań przetwarzania sygnałów zostało zaadaptowane przez autorów do stosowanego przez nich systemu diagnostycznego. Wyniki wstępnych badań symulacyjnych zweryfikowanych badaniami na rzeczywistym obiekcie wskazują, że rozwiązanie to ułatwia diagnozowanie. Autorzy zamierzają prowadzić...
-
Wytwarzanie cienkich warstw dla tlenkowych ogniw paliwowych metodą pirolizy aerozolowej
PublicationCelem pracy doktorskiej były badania cienkich warstw wytworzonych za pomocą pirolizy aerozolowej na potrzeby tlenkowych ogniw paliwowych. Warstwy te miały spełniać funkcje ochronne dla dwóch zastosowań, jako bariera dyfuzyjna między katodą, a elektrolitem oraz jako warstwy ochronne dla stalowych interkonektorów pracujących w różnych atmosferach.
-
Rewizja przybliżonej metody szacowania oporu całkowitego kadłuba płynącego w przechyle
PublicationNa tle innych obiektów pływających jacht żaglowy wyróżnia się m.in. tym, że choć jest zaprojektowany jako pojazd poruszający się w pozycji wyprostowanej, to jednak znaczną część czasu żegluje w przechyle. Dlatego tak ważne jest poznanie zachodzących wtedy zjawisk, zwłaszcza związanych z oporem hydrodynamicznym. W artykule zaprezentowano porównanie oparte na weryfikacji wybranej, przybliżonej metody oszacowania zmian oporu całkowitego...
-
Analiza metrologiczna metody z przesunięciem ψ do pomiaruimpedancji pętli zwarciowej
PublicationW artykule przedstawiono wyniki przeprowadzonej analizy metrologicznej metody z przesunięciem ψ pomiaru impedancji pętlizwarciowej, w której pomiar opiera się o wyznaczenie składowych ortogonalnych fazora napięcia. Celem tej analizy jest sprawdzenie, które zparametrów miernika decydująco wpływają na dokładność pomiaru impedancji pętli.
-
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 akwizycji wiedzy niepewnej i niepełnej w środowisku przetwarzania wiedzy
PublicationArtykuł prezentuje koncepcję środowiska do pozyskiwania i przetwarzania wiedzy o technologiach informatycznych. Rozwiązanie to jest częścią projektu opracowania systemu do oceny narzędzi i metodologii IT. Autorzy skupili się na budowie środowiska do jej akwizycji, zwracając uwagę zarówno na sam algorytm pozyskiwania jak też na procesy współpracy pomiędzy ekspertami a inżynierami wiedzy. Praca jest jednocześnie dokumentacją eksperymentu...
-
Wpływ nawodorowania na odporność korozyjną stali superdupleks spawanej metodą SAW
PublicationW pracy przedstawiono wyniki badań metodą potencjodynamiczną odporności korozyjnej złączy ze stali superdupleks wykonanych procesem SAW. Ustalono, że największą wrażliwością na korozję charakteryzuje się spoina.
-
Metody obliczenia natężeń przepływów w kanalizacji sanitarnej - analiza i porównanie
PublicationZmniejszenie zużycia wody w gospodarstwach domowych w ciągu ostatnich 25 lat. Spadek natężeń przepływów w kanalizacji sanitarnej, niekorzystne warunki hydrauliczne i problemy eksploatacyjne. Brak jednoznacznych wytycznych dotyczących obliczeń natężeń przepływów. Porównanie sześciu metod wyznaczania natężeń przepływów w kanalizacji sanitarnej dla założonego schematu obliczeniowego sieci kanalizacyjnej.
-
Metody zwiększania dostępności i efektywności informatycznej infrastruktury w inteligentnym mieście
PublicationW pracy omówiono metody zwiększania dostępności i efektywności informatycznej infrastruktury w inteligentnym mieście. Sformułowano dwa kryteria do oceny rozmieszczenia kluczowych zasobów w systemie smart city. Zobrazowano proces wyznaczania rozwiązań kompromisowych spośród rozwiązań Pareto-optymalnych. Omówiono metaheurystyki inteligencji zbiorowej, w tym roju cząstek, kolonii mrówek, roju pszczół oraz ewolucji różnicowej, za pomocą...
-
50 lat stosowania w Polsce rulonowej metody montażu zbiorników stalowych
PublicationPodano rys historyczny oraz omówiono zakres obecnego stosowania w Polsce metody rulonowej do wykonawstwa zbiorników stalowych
-
Modelowanie opływu lepkiego płata oraz śruby okrętowej metodą objętości skończonej
PublicationPraca zawiera opis modelu obliczeniowego opartego na metodzie objętości skończonej zastosowanego do modelowania opływu lepkiego płatów nośnych oraz śrub okrętowych. W algorytmie obliczeniowym zastosowano model turbulencji Spalarta-Allmarasa. W rozprawie znajduje się również opis modelu kawitacji opartego na modelu unoszonego pęcherzyka. Metoda obliczeniowa została wdrożona w postaci programu komputerowego o nazwie SOLAGA. W pracy...
-
Zastosowanie metody hydrofitowej do oczyszczania odcieków ze składowisk odpadów komunalnych
PublicationW artykule omówiono działanie trzech oczyszczalnie hydrofitowych zasilanych odciekami ze składowisk odpadów komunalnych, zlokalizowanych w północnej Polsce (2 obiekty) oraz w południowej Szwecji (1 obiekt). Analizowane obiekty różniły się budową, sposobem przepływu ścieków i sposobem podczyszczania odcieków surowych. Przeanalizowano, jak różnice w konfiguracji oraz sposobie eksploatacji obiektów wpływały na ich funkcjonowanie i...
-
Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej
PublicationLogika 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...