Search
Filters
total: 183
filtered: 152
Search results for: WNIOSKOWANIE%20ROZMYTE
-
Serwery automatycznego wnioskowania.
PublicationPrzedstawiono systemy automatycznego wnioskowania oparte o architektury klient-serwer. Przedstawiono przykłady istniejących i wdrażanych systemów opisując ich architekturę i funkcjonalność. Przeanalizowano korzyści wynikające z osadzenia takich systemów w środowiskach serwerów aplikacyjnych.
-
Fuzzy reasoning approach to properties' determination of calcium phosphate coatings processed using ion beam assisted deposition on heated substrates
PublicationPraca przedstawia rozmyty system wnioskowania dla zamodelowania związków pomiędzy temperaturą podłoża oraz stosunkiem molowym Ca/P w gradientowej powłoce hydroxyapatytowej na podłożu tytanowym. Przeprowadzono symulację działania sterownika rozmytego na pomocą oprogramowania Matlab.
-
Architektury bloków wnioskowania systemów rozmytych
PublicationW pracy przedstawiono kilka różnych architektur bloków wnioskowania cyfrowych sterowników rozmytych. Architektury te zostały zaimplementowane w układach reprogramowalnych FPGA-Spartan3. Dokonano porównania tych architektur pod względem szybkości działania.
-
Wnioskowanie z dziedzin konkretnych w podejściu kartograficznym
PublicationWiele zjawisk w świecie rzeczywistym opisujemy, korzystając z liczb i symboli. W logice opisowej służą do tego tzw. dziedziny konkretne, w których możemy wyróżniać zakresy wartości, posługując się predykatami wykorzystującymi predefiniowane funkcje i relacje. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne...
-
Rozmyte systemy decyzyjne.
PublicationW pracy przedstawiono podstawowe pojęcia związane z przetwarzaniem i przepływem informacji w instytucjach oraz ich związkami z podejmowaniem decyzji. Omówiono też istotniejsze zagadnienia z zakresu zbiorów rozmytych i logiki rozmytej wyjaśniające sposoby działania rozmytych systemów decyzyjnych. Przytoczono kilka przykłądów zastosowań rozmytych systemów wspomagania podejmowania decyzji.
-
Problemy wnioskowania z ontologii Semantic Web
PublicationIdea Semantic Web (Semantycznego Internetu) opiera się m.in. na ogłaszaniu w Internecie ontologii stanowiących opis pewnego fragmentu rzeczywistości. Aby miało to sens, ontologie te muszą być sformułowane w jednym, powszechnie akceptowanym języku. Takim językiem jest OWL-DL, promowany i standaryzowany przez konsorcjum W3C. Jest to język opary na formalizmie logicznym zwanym logiką opisową. W tym artykule, po krótkim i nieformalnym...
-
Optymalizacja treningu i wnioskowania sieci neuronowych
PublicationSieci neuronowe są jedną z najpopularniejszych i najszybciej rozwijających się dziedzin sztucznej inteligencji. Ich praktyczne wykorzystanie umożliwiło szersze użycie komputerów w wielu obszarach komunikacji, przemysłu i transportu. Dowody tego są widoczne w elektronice użytkowej, medycynie, a nawet w zastosowaniach militarnych. Wykorzystanie sztucznej inteligencji w wielu przypadkach wymaga jednak znacznej mocy obliczeniowej,...
-
Wnioskowanie z różnych źródeł osobników w systemie RKaSeA
PublicationNiniejszy artykuł prezentuje koncepcję zarządzania wiedzą asercjonalną zastosowaną w systemie zarządzania wiedzą RKaSeA. Koncepcja ta traktuje opis świata jako zbiór osobników. Dzięki temu udało się objąć nią również mechanizmy obsługi reguł oraz mechanizm pozyskiwania wiedzy z zewnętrznych źródeł danych. Mechanizmy te sa traktowane jako dodatkowe typy źródeł osobników.
-
Metodyka Logicznego Wnioskowania w procesie realizacji zmiany.
PublicationRozdział ten jest poświecony problematyce możliwości wykorzystania metodyki i narzędzi Wnioskowania Logicznego w celu planowania i realizacji efektywnej zmiany. Przedstawiono w nim trzyetapowy model procesu Logicznego Wnioskowania i scharakteryzowano funkcje poszczególnych narzędzi. Zaprezentowano również przykłady budowy wybranych narzędzi TOC TP. W rozdziale przedstawiono ponadto miejsce poszczególnych narzędzi Logicznego Wnioskowania...
-
Przetwarzanie i wnioskowanie z wiedzy o różnym poziomie zaufania
PublicationOntologie i bazy wiedzy wykorzystuje się w wielu zastosowaniach, takŜe takich, w których wnioskowanie ma charakter krytyczny, jak np. w przypadku systemów medycznych. W rozdziale przedstawione zostały kwestie zaufania do danych przechowywanych w bazach wiedzy i pobieranych z zewnętrznych źródeł. Opisane zostały przykłady uwzględnienia aspektów zaufania wykorzystujące kartograficzną reprezentację wiedzy - nowe podejście opracowane...
-
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...
-
Wnioskowanie o nadmiernym zużyciu energii na podstawie metody sum skumulowanych
PublicationW artykule autorka zaprezentowała możliwość wykorzystania metody sum skumulowanych do bieżącego zarządzania energią. Metoda sum skumulowanych wykorzystuje jako wartości porównawcze wskaźniki wyznaczane na podstawie charakterystyk energetycznych procesów. Metoda ma przede wszystkim mieć zastosowanie do wczesnego wykrywania i eliminowania nadmiernego, nieracjonalnego zużycia nośników energii oraz zmian w prowadzonej gospodarce...
-
Wykorzystanie wnioskowania logicznego w planowaniu i sterowaniu produkcją
PublicationEfektywną realizację zmain, również w procesie planowania i sterowania produkcją, wspomagają odpowiednie metody i narzędzia. W artykule przedstawiono etapy realizacji pełnej zmiany według Logicznego Wnioskowania, zgodnej z teoria Ograniczeń. Scharakteryzowano też cel i zakres stosowania poszczególnych narzędzi Logicznego Wnioskowania w realizacji zmainy procesu planowania i sterowania produkcją. Artykuł prezentuje ponadto powiązania...
-
Automatyzacja sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych.
PublicationW artykule omówiono założenia projektowe i architekturę edukacyjnego systemu informatycznego nadzorującego proces wnioskowania użytkownika podczas rozwiązywania zadań obliczeniowych. Opisywany jest system z bazą wiedzy, w których wiedza o zadaniach z elementarnej matematyki, fizyki lub chemii jest reprezentowana w postaci modeli obliczeniowych, stanowiących szczególny przypadek sieci semantycznych. Scharakteryzowano prototypowy...
-
Wybieranie prezentu na podstawie wnioskowania z bazy przypadków.
PublicationPrzedstawiono koncepcję i poszczególne kroki projektowania systemu informatycznego doradzającego użytkownikowi wybranie odpowiedniego prezentu okolicznościowego. Na tle rozważań o efektywności komputerowych systemów doradczych zostało uzasadnione przyjęcie metodologii wnioskowania z bazy przypadków (CBR) jako podstawowej koncepcji systemu. Następnie omówiono strukturę bazy przypadków i cykl wnioskowania w tego typu systemach. Pracę...
-
Wnioskowanie z danych zapisanych w zewnętrznych źródłach w systemie zarządzania wiedzą
PublicationRozdział prezentuje proces wnioskowania z danych przechowywanych w zewnętrznych źródłach. W procesie tym wykorzystywane są dwie nowe metody: metoda semantycznego wzbogacania źródeł - SED (Semantic Enrichment of Data) oraz wykorzystująca ją metoda wnioskowania z danych zewnętrznych - RED (Reasoning over External Data). Obie te metody zostały w niniejszym rozdziale przedstawione. Metoda SED służy do opisania zewnętrznych źródeł danych...
-
Metody wnioskowania kontekstowego z danych zapisanych w zewnętrznych źródłach
PublicationW poprzednich pracach autorów został przedstawiony system wnioskowania z danych zapisanych w zewnętrznych źródłach - KL (Knowledge Layer). Metody SED (Semantic Enrichment of Data) i RED (Reasoning over External Data) zastosowane w tym systemie umożliwiają wzbogacenie danych o semantykę oraz wnioskowanie z tych danych analogicznie jak z ontologicznego opisu świata. Dane zapisane w źródłach zewnętrznych są wzbogacone o terminologię...
-
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...
-
Analiza problemu zaufania do ontologii dla różnych modeli wnioskowania
PublicationW rzeczywistych systemach zarządzania wiedzą, a przede wszystkim w systemach rozproszonych gromadzących wiedzę z różnych źródeł, problem niepewności i zaufania do ontologii, jak również odpowiedzi udzielanych przez bazy wiedzy nabiera szczególnego znaczenia. Sformalizowanie problemu i przyjęcie właściwego modelu wnioskowaniaw różnych zastosowaniach wymaga szczegółowej analizy. Niniejsza praca podejmuje próbę usystematyzowania tej...
-
Zarządzanie zmianami i modelowanie rozmyte w inżynierii oprogramowania
PublicationW artykule przedstawiono możliwości wykorzystania wiedzy z zakresu zarządzania oraz sztucznej inteligencji do kontrolowania budżetu i czasu realizacji przedsięwzięcia informatycznego. Na wstępie przedstawiono problemy zarządzania przedsięwzięciami informatycznymi, odnoszące się do planowania i kontrolowania procesów i zespołów wytwórczych. Następnie scharakteryzowano wiedzę z zakresu zarządzania zmianami oraz modelowania rozmytego...
-
Implementacja cyfrowego systemu rozmytego z dwukanałowym blokiem wnioskowania w układzie FPGA
PublicationW artykule przedstawiono praktyczną implementację cyfrowego systemu rozmytego z dwukanałowym blokiem wnioskowania w układzie FPGA. Poszczególne zbiory rozmyte posiadają swój kod, który wykorzystywany jest do adresowania pamięci przechowującej reguły. Wykorzystanie techniki adresowania, a także równoległego wnioskowania znacznie przyspiesza proces obliczeń.
-
Zastosowanie metodologii wnioskowania z bazy przypadków w tworzeniu atrakcyjnych witryn biznesowych
PublicationPrzedstawiono podstawowe założenia metodologii wnioskowania z bazy przypadków (ang. Case Based Reasoning). Zaakcentowano możliwości jej wykorzystania w sytuacjach, gdy zawodzą metody o charakterzetypowo analitycznym. Zaproponowano zastosowanie CBR dla uatrakcyjnie-nia biznesowych witryn internetowych w sektorze handlowo-usługowym, a w szczególności dla obsługi niekompletnie sprecyzowanych wymagań stawianych przez klientów. Podano...
-
Przykłady zastosowania wnioskowania z bazy przypadków w informatycznych systemach wspomagających podejmowanie decyzji
PublicationOpisano wnioskowanie z bazy przypadków jako metodologię budowania systemów informatycznych. Scharakteryzowano pięć systemów informatycznych zbudowanych według tej metodologii: internetową wyszukiwarkę wycieczek, komputerowy system prognozowania popytu, komputerowy system wspomagania pracy audytora, system wspomagający diagnozowanie silników samolotowych, system wspomagający konsultantów w punkcie obsługi klientów. W podsumowaniu...
-
Rozmyte algorytmy diagnostyki układów sterowania procesami przemysłowymi - Przykład laboratoryjny
PublicationW niniejszej pracy prezentuje się przykład zastosowania algorytmów detekcji usterek opartych na modelach rozmytych w systemie diagnostyki układu laboratoryjnego trzech połączonych zbiorników. Pomimo prostoty realizowanej koncepcji układowej, system ten jest przykładem często występującego w praktyce złożonego procesu przemysłowego. W przeprowadzonych badaniach do oceny stanu procesu oraz realizacji zadań diagnostycznych wykorzystuje...
-
Zmiana procesu planowania i sterowania produkcją a etapy i narzędzia logicznego wnioskowania. - (Logistyka - nauka)
PublicationW artykule przedstawiono etapy realizacji pełnej zmiany przy zastosowaniu Teorii Ograniczeń i Logicznego Wnioskowania. Scharakteryzowano wykonywane działania na każdym etapie zmiany i powiązane z nimi narzędzia. Zaprezentowano również zależności pomiędzy rodzajami zmian procesu planowania i sterowania produkcją a wykonywanymi etapami Logicznego Wnioskowania. W końcowej części artykułu przedstawiono schematy wykorzystania Logicznego...
-
Concrete-domain reasoning techniques in knowledge cartography
PublicationWiele zjawisk w świecie rzeczywistym opisujemy korzystając z liczb i symboli. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne przetwarzanie baz wiedzy zwierających dużą liczbę osobników. Niniejszy artykuł przedstawia rozszerzenie podejścia kartograficznego pozwalające na wnioskowanie z wartości symbolicznych,...
-
Fuzzy control of a ship propulsion system
PublicationReferat przedstawia analizę i syntezę układu sterowania napędu statku przy zastosowaniu teorii sterowania rozmytego. Układ napędowy jest układem bezpośrednim, wyposażonym w silnik spalinowy wolnoobrotowy oraz śrubę okrętową ze zmiennym skokiem. Przedstawiono także wyniki badań symulacyjnych a następnie porównano wyniki badań symulacyjnych przy zainstalowaniu regulatora rozmytego z analogicznymi wynikami, gdy zastosowano regulator...
-
Analityczny hierarchiczny proces decyzyjny. Nierozmyte i rozmyte porównania parami. Seria: Badania systemowe. T. 29
PublicationAnalityczny hierarchiczny proces decyzyjny należy do klasy metod wielokryterialnych podejmowania decyzji. Polega na wyborze najlepszego wariantu, z niezbyt dużej ich liczby, z uwzględnieniem wielu kryteriów. Metoda oparta jest na porównaniach parami wariantów, dokonywanych przez ekspertów, w oparciu o subiektywną preferencję jednego wariantu nad drugim. Wynikiem porównania może być ocena rozmyta i nierozmyta. Na podstawie...
-
The knowledge cartography - a new approach to reasoning over description logics ontologies
PublicationArtykuł prezentuje nową metodę reprezentacji i przetwarzania wiedzy ontologicznej - Kartografię wiedzy. Ta metodapozwala na wnisokowanie z części terminologicznej i asercjonalnej ontologii. Artykuł opisuje metodę oraz jej podstawy teoretyczne. Kartografia wiedzy prechowuje i przetwarza w terminach sygnatur binarnych, które umożliwiają efektywne przetwarzanie ontologii zawierających dużą liczbę osobników. Kartografia wiedzy została...
-
Niedeterministyczne układy równań w analizie sterowania systemami produkcyjnymi : Cz. 1 Liniowe zagadnienia przedziałowe i rozmyte
PublicationRozpatruje się zagadnienia niedeterministycznych układów równań liniowych stanowišcych jeden z istotnych elementów rozwišzania zagadnienia sterowania produkcja systemów przemysłowych. Problem tenwystępuje przy badaniu przyjmowanego do realizacji bazowego rozwišzania liniowego zagadnienia planowania obcišżeń systemu. W przypadku modelu niedeterministycznego planowania, niepewnoć przenosi się na rozwišzanie jak również generuje...
-
Reliability and types of diagnosis in the process of diesel engine operation
PublicationThe article presents complexity of the problem concerning development of diagnosis with defined reliability by a diagnosing system (SDG) on technical condition of marine combustion engines, especially main engines. It was shown that development of the final diagnosis, the so-called initial operation diagnosis, on the operational usability (fDG on PEx) of a main engine in particular, is not possible without prior development of...
-
Maximum contact stress estimation on acetabular surface in total hip replacement using fuzzy reasoning system
PublicationArtykuł przedstawia rozmyty system wnioskowania dla oszacowania maksymalnego naprężenia kontaktowego na powierzchni panewki endoprotezy stawu biodrowego. Maksymalne naprężenie kontaktowe zostało określone na podstawie kąta Wiberga oraz masy ciała pacjenta.
-
Implementacja cyfrowego równoległego systemu rozmytego w układzie FPGA
PublicationW artykule przedstawiono praktyczną implementację cyfrowego równoległego systemu rozmytego w układzie FPGA. Poszczególne zbiory rozmyte posiadają swój kod, który wykorzystywany jest do adresowania pamięci przechowującej reguły. W proponowanym systemie proces wnioskowania przebiega równolegle dla aktywowanych reguł.
-
Fuzzy decision support system for the control of budget and schedule in SPM
PublicationObiektem rozważań jest komputerowy system wspierania decyzji kierowniczych w zakresie zarządzania budżetem i harmonogramem przy realizacji projektów informatycznych. Omawiany system opary jest na dynamicznych modelach rozmytych podlegających bieżącemu dostrajaniu na podstawie danych z obserwacji zarządzanego procesu. Wstępny projekt modeli rozmytych oparty został na danych zarządczych pochodzących z realizacji dwu projektów informatycznych....
-
"Computing with words" concept applied to musical information retrieval
PublicationW artykule zaproponowano wykorzystanie koncepcji "przetwarzania słów języka naturalnego" do znalezienia związku pomiędzy wybranymi parametrami dźwięków muzycznych a subiektywnie postrzeganą barwą. W pierwszej kolejności przedstawiono klasyczne metody mapowania parametrów mierzalnych i ich subiektywnych odpowiedników, następnie zbudowano bazę wiedzy w oparciu o wyniki testów subiektywnych. W procesie obróbki wykorzystano metodę...
-
"Computing with word" concept applied to musical information retrieval
PublicationW artykule zaproponowano wykorzystanie koncepcji "przetwarzania słów języka naturalnego" do znalezienia związku pomiędzy wybranymi parametrami dźwięków muzycznych a subiektywnie postrzeganą barwą. W pierwszej kolejności przedstawiono klasyczne metody mapowania parametrów mierzalnych i ich subiektywnych odpowiedników, następnie zbudowano bazę wiedzy w oparciu o wyniki testów subiektywnych. W procesie obróbki wykorzystano metodę...
-
New method for personalization of avatar animation
PublicationThe paper presents a method for creating a personalized animation of avatar utilizing fuzzy inference. First the user designs a prototype version of animation, with keyframes only for important poses, roughly describing the action. Then animation is enriched with new motion phases calculated by the fuzzy inference system using descriptors given by the user. Various degrees of motion fluency and naturalness are possible to achieve....
-
The cartographer algorithm for processing and querying description logics ontologies
PublicationLogika 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...
-
Managing data from heterogeneous data sources using knowledge layer
PublicationW procesie integrowania danych przy użyciu ontologii, ważne jest aby zarządzać danymi przechowywanymi w zewnętrznych źródłach, analogicznie jak tymi przechowywanymi w Bazie Wiedzy. Zaprezentowana w poprzednich pracach metoda kartograficznej reprezentacji wiedzy pozwala na wnioskowanie z danych przechowywanych w Bazie wiedzy. Rozwiązanie zaprezentowane w tej pracy umożliwia wykorzystanie metody kartograficznej do wnioskowania z...
-
Wieloobszarowa regulacja systemu turbogeneratora elektrowni jądrowej =Multiregional control of nuclear power plant turbogenerator system
PublicationW artykule przedstawiono propozycję zaawansowanej struktury sterowania układem turbogeneratora w szerokim zakresie zmian zapotrzebowania na moc czynną. Dla potrzeb syntezy tej struktury wykorzystano nieliniowe, dynamiczne modele turbiny parowej i generatora synchronicznego współpracującego z systemem elektroenergetycznym. Zaproponowane algorytmy sterowania oparte są odpowiednio o wieloobszarowe regulatory rozmyte, z lokalnymi regulatorami...
-
Rozmyty system wnioskowania do oszacowania maksymalnego naprężenia kontaktowego na powierzchni panewki endoprotezy stawu biodrowego w zależności od kąta Wiberga i masy ciała pacjenta = Fuzzy reasoning system for maximal contact stress estimation on acetabular surface in hip endoprosthesis based on Wiberg angle and weight of patient
PublicationPrzedstawiono możliwość wykorzystania systemu rozmytego, który wykorzystując rozumowanie przybliżone określa maksymalne naprężenie kontaktowe na powierzchni przenoszenia obciążeń panewki endoprotezy stawu biodrowego, biorąc pod uwagę kąt Wiberga oraz masę ciała pacjenta.
-
Aplication of theory of constraints thinking process in change management
PublicationW rozdziale przedstawiono schemat realizacji zmiany z wykorzystaniem metodologii zgodnego z Teorią Ograniczeń Logicznego Wnioskowania. Scharakteryzowano ponadto cel i zakres stosowania poszczególnych narzędzi Logicznego Wnioskowania w zarządzaniu zmianą. Zaprezentowano również zastosowanie Logicznego Wnioskowania w pokonywaniu kolejnych warstw oporu wobec zmian oraz omówiono rolę poszczególnych narzędzi w tym zakresie.
-
Enhancement of computer character animation utilizing fuzzy rules
PublicationRozdział przedstawia nową metodę przetwarzania komputerowych animacji postaci. Wykorzystuje ona wnioskowanie rozmyte, oparte na regułach i funkcjach przynależności uzyskanych w procesie analizy wyników testów subiektywnej oceny jakości animacji. W trakcie przetwarzania do animacji automatycznie dodawane są nowe fazy ruchu, co skutkuje poprawą jakości wizualnej oraz zmianą płynności i stylizacji ruchu w sposób zamierzony. W referacie...
-
On application of the Case-Based Reasoning methods in ship automation design
PublicationW artykule przedstawiono metodę wnioskowania na podstawie przypadków oraz dwa przykłady jej zastosowania w projektowaniu statków. Pierwszy przykład dotyczy systemu projektowania koncepcyjnego statku. Drugi przykład odnosi się do projektowania układów automatyki okrętowej. Omówiono szczegółowo problemy doboru funkcji podobieństwa w metodzie wnioskowania na podstawie przypadków.
-
Hierarchiczny podział przestrzeni ontologii na konteksty
PublicationSemantyka języka OWL wprowadza pojęcie przestrzeni ontologicznej, w której współistnieje wiele ontologii w różnym stopniu ze sobą powiązanych. Wielkość i jednolitość tej przestrzeni jest przyczyną trudności w interpretacji i wnioskowaniu. Zaproponowana w wielu pracach kontekstualizacja przestrzeni ontologii wniosła pewien porządek do opisu zależności między ontologiami i wprowadziła pojęcie interpretacji lokalnych. W tym rozdziale...
-
Using Dempster-Shafer approach to support reasoning about trust in IT infrastructures
PublicationW artykule przedstawiono zastosowanie podejścia Dempstera-Shafera do do wnioskowania o poziomie zaufania do infrastruktur TI.
-
Zastosowanie reguł rozmytych w komputerowej animacji postaci
PublicationPrzedmiotem badawczym rozprawy jest wykazanie możliwości wspomagania komputerowej animacji postaci poprzez wykorzystanie metod inteligentnych, szczególnie logiki rozmytej, w taki sposób, aby możliwe było uzyskiwanie animacji płynnych i nacechowanych stylistycznie, dla których punktem wyjścia są animacje schematyczne, które nie posiadają tych cech. Wiedza zawarta w literaturze animacji i wiedza oparta na wynikach wydobywania danych...
-
Zarządzanie bezpieczeństwem morskim z wykorzystaniem Formalnej Oceny Bezp0ieczeństwa Żeglugi na przykładzie Zatoki Pomorskiej
PublicationProjekt systemu formalnej oceny bezpieczeństwa żeglugi dla Zatoki Pomorskiej i portu Świnoujście, wykonany zgodnie z zaleceniami IMO. Zastosowanie technik wspomagających analizę ryzyka wykorzystywanych w FSA. Wnioskowanie dotyczące bezpieczeństwa na podstawie analizy FSA.
-
Showing compliance of probabilistic assessments with safety goals
PublicationW niektórych standardach formułuje się wymagania, że wyniki modelowania probabilistycznego i oszacowań ryzyka powinny zawierać ocenę niepewności. Modelowanie złożonych systemów bazuje w praktyce na kategoriach zdarzeń, które są mniej lub więcej rozmyte. Artykuł dotyczy kwestii wykazywania zgodności wyników modelowania probabilistycznego z ilościowymi kryteriami bezpieczeństwa. Proponuje się metodę definiowania takich kryteriów...
-
S-Pellet jako implementacja zdaniowej reprezentacji modułów algebry konglomeratów
PublicationW artykule przedstawiono zdaniową reprezentację konglomeratów (semantycznych modułów ontologiczych) oraz zaprezentowano system S-Pellet wykorzystujący tę reprezentację do wnioskowania z modularnych baz wiedzy.