Search results for: wnioskowanie regulowe
-
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.
-
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...
-
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...
-
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...
-
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...
-
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ę...
-
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...
-
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...
-
Thinning Methods to Regulate Sweet Cherry Crops—A Review
Publication -
Thinning as Method to Regulate Sweet Cherry Crops – a Review
Publication -
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...
-
MGDG, PG and SQDG regulate the activity of light-dependent protochlorophyllide oxidoreductase
Publication -
Checkpoints that regulate balanced biosynthesis of lipopolysaccharide and its essentiality in Escherichia coli
PublicationThe outer membrane (OM) of Gram-negative bacteria, such as Escherichia coli, is essential for their viability. Lipopolysaccharide (LPS) constitutes the major component of OM, providing the permeability barrier, and a tight balance exists between LPS and phospholipids amounts as both of these essential components use a common metabolic precursor. Hence, checkpoints are in place, right from the regulation of the first committed step...
-
Generator synchroniczny jako regulowane źródło napięcia i mocy biernej
PublicationW referacie przedstawiono problemy sterowania i regulacji generatora synchronicznego jako podstawowego elementu hierarchicznej wielopoziomowej struktury regulacji napięć i rozpływu mocy biernej w krajowym systemie elektro-energetycznym.
-
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...
-
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,...
-
PAD4, LSD1 and EDS1 regulate drought tolerance, plant biomass production, and cell wall properties
Publication -
267: Mesenchymal cells regulate growth of intestinal crypts by a Wnt independent mechanism in 3D culture system
Publication -
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.
-
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...
-
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...
-
Multiple transcriptional factors regulate transcription of the rpoE gene in Escherichia coli under different growth conditions and when the lipopolysaccharide biosynthesis is defective.
PublicationThe RpoE sigma factor is essential for the viability of Escherichia coli. RpoE regulates extracytoplasmic functions including lipopolysaccharide (LPS) translocation and some of its non-stoichiometric modifications. Transcription of the rpoE gene is positively autoregulated by EσE and by unknown mechanisms that control the expression of its distally located promoter(s). Mapping of 5′ ends of rpoE mRNA identified five new transcriptional...
-
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.
-
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...
-
Piotr Szczuko dr hab. inż.
PeoplePiotr Szczuko received his M.Sc. degree in 2002. His thesis was dedicated to examination of correlation phenomena between perception of sound and vision for surround sound and digital image. He finished Ph.D. studies in 2007 and one year later completed a dissertation "Application of Fuzzy Rules in Computer Character Animation" that received award of Prime Minister of Poland. His interests include: processing of audio and video, computer...
-
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...
-
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.
-
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....
-
System oceny efektywności użytkowania aparatów słuchowych
PublicationCelem rozprawy jest opracowanie metody oceny efektywności protezowania słuchu przy użyciu aparatów słuchowych, która pozwoli w łatwy sposób poddawać ocenie korzyść z użytkowania protez słuchowych w najbardziej typowych sytuacjach akustycznych. Przedstawiono genezę podjętych badań i na tej podstawie zaproponowano cele i tezy rozprawy doktorskiej. W pracy w pierwszej kolejności zawarto przegląd dotyczący rodzajów ubytku słuchu i...
-
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...
-
Regulated Assembly of LPS, Its Structural Alterations and Cellular Response to LPS Defects
PublicationDistinguishing feature of the outer membrane (OM) of Gram-negative bacteria is its asymmetry due to the presence of lipopolysaccharide (LPS) in the outer leaflet of the OM and phospholipids in the inner leaflet. Recent studies have revealed the existence of regulatory controls that ensure a balanced biosynthesis of LPS and phospholipids, both of which are essential for bacterial viability. LPS provides the essential permeability...
-
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.
-
Wnioskowanie w wielowymiarowej statystyce 2023/2024
e-Learning Courseswykład, seminarium, laboratorium: dr inż. Anna Szafrańska Specjalność: Analityk danych, II stopnia, Matematyka, WFTiMS, stacjonarne, 2021/2022 - letni (obecnie sem. 2)
-
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.
-
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.
-
Przetwarzanie wyrażeń języka naturalnego w wyrażenia logiczne - system Denise
PublicationPo krótkim wprowadzeniu do systemów reprezentacji wiedzy i wnioskowania omówiono eksperymentalny system przetwarzania zdań w języku polskim w wyrażenia rachunku zdań i logiki pierwszego rzędu.
-
Wspomaganie projektowania automatyki siłowni statku przy zastosowaniu metody CBR.
PublicationW referacie zaprezentowano metodologię CBR (wnioskowania na podstawie przypadków), zastosowano w systemie ekspertowym wspomagania projektowania automatyki okrętowej na podstawie informacji o statkach zbudowanych oraz modelu dziedzinowego.