Filtry
wszystkich: 7636
-
Katalog
- Publikacje 5580 wyników po odfiltrowaniu
- Czasopisma 158 wyników po odfiltrowaniu
- Konferencje 21 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 176 wyników po odfiltrowaniu
- Wynalazki 8 wyników po odfiltrowaniu
- Projekty 53 wyników po odfiltrowaniu
- Laboratoria 3 wyników po odfiltrowaniu
- Zespoły Badawcze 19 wyników po odfiltrowaniu
- Kursy Online 1040 wyników po odfiltrowaniu
- Wydarzenia 25 wyników po odfiltrowaniu
- Dane Badawcze 552 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: memory and cognition
-
Stanowisko do weryfikacji nowej metody pomiaru rezystancji pętli zwarciowej
PublikacjaW 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 ochrony przed spoofingiem w systemach nawigacji satelitarnej GNSS
PublikacjaPrzedstawiono problem spoofingu w systemach nawigacji satelitarnej. Dokonano przeglądu metod wykrywania i eliminacji spoofingu. Ponadto, przedstawiono wyniki badań rozwiązania antyspoofingowego opartego na przestrzennym przetwarzaniu sygnałów.
-
Nowoczesne metody usuwania śniegu i lodu z powierzchni użytkowych
PublikacjaW artykule zostały przedstawione klasyczne metody usuwania śniegu i lodu z nawierzchni użytkowych. Dokonano analizy skutków wykorzystywania środków chemicznych. Opisano szacunkowe koszty wynikające z konieczności utrzymania nawierzchni użytkowych „niszczonych” w skutek zmian temperaturowych i wykorzystywanych środków chemicznych. Przedstawiono nowoczesne metody odmrażania oparte o zastosowanie systemów podgrzewania elektrycznego...
-
Zastosowanie metody galwanostatycznej do wyznaczania błędu fazy elektrod woltamperometrycznych
PublikacjaW pracy przeanalizowano właściwości metrologiczne elektrod woltamperometrycznych w dziedzinie częstotliwości. Wykazano, że w przypadku, gdy reakcja elektrochemiczna kontrolowana jest procesem transportu jonów, elektroda woltamperometryczna zachowuje się tak jak przetwornik pomiarowy I rzędu. Jej właściwości metrologiczne opisane są przez czułość, częstotliwość graniczną, błąd amplitudy i błąd fazy. Przeprowadzona analiza pokazała,...
-
Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA
PublikacjaCelem niniejszej rozprawy oraz stypendium odbytego w ramach projektu było opracowanie numerycznie efektywnego rozwiązania algorytmicznego i sprzętowego, które umożliwia przyspieszenie analizy problemów elektromagnetycznych metodą elementów skończonych (MES) z funkcjami bazowymi wysokiego rzędu. Metoda elementów skończonych w dziedzinie częstotliwości stanowi wydajne i uniwersalne narzędzie analizy układów mikrofalowych (rys....
-
Nowoczesne metody termografii w systemie monitorowania stanu sieci przesyłowych
PublikacjaW artykule przedstawiono obecnie stosowane metody inspekcji termowizyjnej, skupiając się na prewencyjnej diagnostyce stanu sieci przesyłowej. Badanie termowizyjne ma różne wymiary wpływu na efektywność energetyczną. Z jednej strony wykorzystuje się ją do inspekcji szczelności termoizolacji budynków, wpływając na świadomość, że „najtańsza energia to ta zaoszczędzona”, z drugiej strony jest narzędziem dla operatorów sieci dystrybucyjnych...
-
Współczesne metody zapewniania jakości oprogramowania. Od klasyki do zwinności
PublikacjaKsiążka opisuje problematykę jakości w kontekście metod wytwarzania oprogramowania. Składa się z 22 rozdziałów podzielonych na 6 części: Znaczenie jakości oprogramowania, Podstawowe pojęcia i problemy jakości, Jakość w ujęciu klasycznym, Pomiary jakości, Dokumentacja i normy jakości procesu, Jakość w podejściu zwinnym. Zebrany materiał pokazuje ewolucję podejścia do jakości w klasycznych metodykach wytwarzania (od modelu kaskadowego...
-
Metody budowania strategicznej karty wyników na przykładzie Wirtualnej Polski.
PublikacjaJedną z metod przełożenia strategii na cele operacyjne firmy oraz kontroli jej wykonania jest ''strategiczna karta wyników'' ( ang. Balanced Scorecard,skrót: BSC), w której odpowiednio dobrane mierniki pozwalają na mierzenie wykonania strategii w perspektywie nie tylko finansowej, ale także: klienta,procesów wewnętrznych oraz nauki i rozwoju. Celem artykułu jest zaprezentowanie sposobu, w jaki prowadzono prace nad zbudowaniem...
-
Zastosowanie metody QFD do doskonalenia jakości użytkowej serwisów WWW
PublikacjaW artykule przedstawiono zastosowanie metody QFD do doskonalenia jakości użytkowej serwisów WWW o charakterze handlowym. W omawianym podejściu zostają zidentyfikowane wymagania klienta-użytkownika oraz czynniki techniczne, które budują sukces serwisu WWW oraz związanego z nim przedsięwzięcia gospodarczego. Następnie w macierzy domu jakości zostaje wydzielony ''rdzeń'' serwisu, zawierający najważniejsze dla klienta funkcje, oraz...
-
Metody oceny wyników usprawniania działalności operacyjnej (przykład zasto-sowań)
PublikacjaArtykuł omawia warunki, jakie należy spełniać przy doborze miar i procesie dokonywania pomiaru efektów usprawniania działalności operacyjnej. Prezentuje metody oceny wyników działalności operacyjnej, wśród których znaczące miejsce ma zdolność produkcyjna, produktywność, przepustowość i skuteczność. Wskazuje również na potrzebę powiązania miar z celami całego przedsiębiorstwa.
-
Zastosowanie metody AHP do oceny zagrożeń na stanowiskach pracy.
PublikacjaW artykule przedstawiono podstawy wielokryterialnej metody wspomagania decyzji AHP (ang. Analytic Hierarchy Process) oraz jej zastosowanie do oceny zagrożeń na stanowiskach pracy.
-
Metody wzmacniania krótkich wsporników słupa w świetle badań eksperymentalnych
PublikacjaW 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.
-
Wspomaganie projektowania automatyki siłowni statku przy zastosowaniu metody CBR.
PublikacjaW 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.
-
Metody badań skłonności stali do pęknięć zimnych przy spawaniu
PublikacjaW artykule przedstawiono charakterystykę pęknięć zimnych oraz metody badania skłonności do ich powstawania, które podzielono na analityczne i eksperymentalne. Zaprezentowano również zakres stosowania metod analitycznych i porównanie metod eksperymentalnych.
-
Metody udostępniania materiałów multimedialnych w sieciach LAN I WAN.
PublikacjaWraz z rozpowszechnianiem usług szerokopasmowych zmniejsza się ograniczenie co do objętości oferowanych materiałów edukacyjnych udostępnianych w sieciach LAN i WAN. W referacie przedstawiono możliwości wzbogacenia treści edukacyjnych dzięki wykorzystaniu technik multimedialnych. Uzupełnienie materiału edukacyjnego w postaci plików audio i wideo daje zupełnie nową jakość. Opisano jak stworzyć taki materiał, jaki sprzęt jest potrzebny...
-
Implementacja zmodyfikowanej metody biliniowej 2D w elektronicznym systemie wbudowanym
PublikacjaPrzedstawiono 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...
-
Zastosowanie metody analizy obrazu w określaniu odporności kawitacyjnej materiałów
PublikacjaPrzedstawiono optyczną metodę określania właściwości kawitacyjnych materiału oraz charakterystyki kawitacyjnej stanowiska przy zastosowaniu komputerowej analizy obrazu erodowanej powierzchni uzyskanego w mikroskopie świetlnym.
-
Statystyczno-ekonometryczne metody analizy czynnikowej zdolności do przetrwania przedsiębiorstw.
PublikacjaW rozdziale zostały omówione podstawowe definicje z zakresu upadłości i przetrwania przedsiębiorstw. Ponadto przedstawiono klasyfikacje upadłości oraz statystyczno - ekonometryczne metody analizy czynnikowej zdolności do przetrwania przedsiębiorstw.W pierwszej części rozdziału omówiono podstawowe pojęcia dotyczące zagadnień bankructwa, upadłości i likwidacji przedsiębiorstw. W drugiej częsci rozdziału przedstawiono podstawy teoretyczne...
-
Metody udostępniania materiałów multimedialnych w sieciach LAN i WAN.
PublikacjaW referacie przedstawiono możliwości wzbogacania treści edukacyjnych dzięki wykorzystaniu technik multimedialnych. Uzupełnienie materiału edukacyjnego w postaci plików audio oraz wideo daje zupełnie nową jakość . Opisano jak stworzyć taki materiał, jaki jest potrzebny do realizacji oraz jak bardzo czasochłonny jest ten proces. Wnioski i spostrzeżenia zostały przedstawione na podstawie praktycznej realizacji wykładu dot. Systemu...
-
Nowe bezinwazyjne metody pomiarowe zmian porowatości w materiałach sypkich
PublikacjaArtykuł omawia dwie metody stosowane mechanice ośrodków sypkich do pomiaru zmian porowatości podczas przepływów silosowych: tomografie pojemnościowa oraz metodę optoelektroniczną PIV. Pomiary wykonano dla różnych silosów, początkowych zagęszczeń oraz szorstkości ścian silosów.
-
Problems of modelling toxic compounds emitted by a marine internal combustion engine for the evaluation of its structure parameters
PublikacjaThe paper presents the possibility of using an analytical study of the engine exhaust ignition to evaluate the technical condition of the selected components. Software tools available for the analysis of experimental data commonly use multiple regression model that allows the study of the effects and iterations between model input quantities and one output variable. The use of multi-equation models gives a lot of freedom in the...
-
Fundacja Upowszechniająca Wiedzę i Naukę "Cognitione"
Wydawnictwa -
Using pattern recognition entropy to select mass chromatograms to prepare total ion current chromatograms from raw liquid chromatography–mass spectrometry data
Publikacja -
“Cerebral small vessel disease and other influential factors of cognitive impairment in the middle-aged: a long-term observational cohort PURE-MIND study in Poland”
Publikacja -
Incident dementia and blood pressure lowering in the Hypertension in the Very Elderly Trial cognitive function assessment (HYVET-COG): a double-blind, placebo controlled trial
Publikacja -
A CONCEPT OF DETERMINING THE RELATION BETWEEN LOAD AND WEAR OF TRIBOLOGICAL SYSTEMS OF SHIP MAIN SELF-IGNITION ENGINES BY USING PROBABILISTIC APPROACH PROBABILISTIC APPROACH
PublikacjaThis paper presents a proposal of simultaneous consideration of load and wear associated with it , of tribological systems of ship main engines (intended for ship propulsion) . Based on results of investigations it was assumed that both the load Q (i.e. a cause of wear ) and the wear Z (i.e. an effect of load occurrence) considered in a given time t(0 ≤ t ≤ t) are random variables Qt and Zt, respectively. There was characterized...
-
Impacts of Using Exhaust Gas Recirculation and Various Amount of Dimethyl Ether Premixed Ratios on Combustion and Emissions on a Dual-Fuel Compression Ignition Engine
PublikacjaIn the presented research, the authors dealt with the specific properties of the combustion process of dimethyl ether (DME) in a combustion car (Volkswagen Golf IV) engine AJM 1.9 TDI PDE made by Volkswagen factory. Dimethyl ether is an alternative fuel produced most often from natural gas, which can be used in compression ignition engines as a single fuel or co-burned with diesel oil. This work describes the impacts of using exhaust...
-
Artur Gańcza dr inż.
OsobyI received the M.Sc. degree from the Gdańsk University of Technology (GUT), Gdańsk, Poland, in 2019. I am currently a Ph.D. student at GUT, with the Department of Automatic Control, Faculty of Electronics, Telecommunications and Informatics. My professional interests include speech recognition, system identification, adaptive signal processing and linear algebra.
-
Classification methods and criteria
PublikacjaKlasyfikacja akustyczna dna morskiego jest najnowszą metodologią zaprojektowaną w celu zdalnego wykrywania rozmaitych charakterystyk dna morskiego z informacji zawartych w echch od dna akustycznych impulsów transmitowanych z różnego typu sonarów. Poza szególnymi chrakterystykami sprzętowymi każdego systemu ASC, istotą każdej metody jest klasyfikacja modułu, który wyciąga serie cech z echa sygnału i przetwarza je aby posortować...
-
The preparation and evaluation of core-shell magnetic dummy-template molecularly imprinted polymers for preliminary recognition of the low-mass polybrominated diphenyl ethers from aqueous solutions
PublikacjaThe design, preparation process, binding abilities, morphological characteristic and prospective field of application of dummy-template magnetic molecularly imprinted polymer (DMMIP) for preliminary recognition of the selected low-mass polybrominated diphenyl ethers (PBDE-47 and PBDE-99) from aquatic environment were investigated. The surface of iron oxide (Fe3O4) nanopowder (50-100 nm particles size) was modified with tetraethoxysilane...
-
Development of novel (BiO)2OHCl/BiOBr enriched with boron doped-carbon nanowalls for photocatalytic cytostatic drug degradation: Assessing photocatalytic process utilization in environmental condition
PublikacjaIn this work, a series of novel (BiO)2OHCl/BiOBr-x%B:DGNW (x = 0%, 1%, 1.5%, 2%) composites with different content of boron-doped diamond/graphene nanowalls (B:DGNW) were fabricated by simple solvothermal synthesis. A boron-doped diamond/graphene nanowalls (B:DGNW) were prepared by CVD method. A series of analyses: XRD, XPS, SEM, and TEM showed that the photocatalyst (BiO)2OHCl/BiOBr-x%B:DGNW with a “flower-like” morphology was...
-
A significance of multi slip condition for inclined MHD nano-fluid flow with non linear thermal radiations, Dufuor and Sorrot, and chemically reactive bio-convection effect
PublikacjaThe aim of this research is to discuss the significance of slip conditions for magnetized nanofluid flow with the impact of nonlinear thermal radiations, activation energy, inclined MHD, sorrot and dufour, and gyrotactic micro motile organisms over continuous stretching of a two-dimensional sheet. The governing equations emerge in the form of partial differential equations. Since the resultant governing differential equations...
-
Recognition of hazardous acoustic events employing parallel processing on a supercomputing cluster . Rozpoznawanie niebezpiecznych zdarzeń dźwiękowych z wykorzystaniem równoległego przetwarzania na klastrze superkomputerowym
PublikacjaA method for automatic recognition of hazardous acoustic events operating on a super computing cluster is introduced. The methods employed for detecting and classifying the acoustic events are outlined. The evaluation of the recognition engine is provided: both on the training set and using real-life signals. The algorithms yield sufficient performance in practical conditions to be employed in security surveillance systems. The...
-
Analiza metrologiczna metody z przesunięciem ψ do pomiaruimpedancji pętli zwarciowej
PublikacjaW 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.
-
Metody akwizycji wiedzy niepewnej i niepełnej w środowisku przetwarzania wiedzy
PublikacjaArtykuł 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...
-
Badanie metody pomiaru impedancji pętli zwarciowej wykorzystującej składowe fazora napięcia
PublikacjaW 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...
-
Prognozowanie jakości ściernic do przecinania ręcznego z zastosowaniem metody Taguchiego
PublikacjaPrognozowanie jakości dotyczyło ściernic typu 42 do przecinania ręcznego. Do wartościowania jakości ściernic zastosowano metodę prof. Genichi Taguchiego po jej uprzedniej modyfikacji. Modyfikacja ta umożliwiła wykorzystanie 10. kryteriów jakości - właściwości użytkowych ściernic. Właściwości te były prognozowane w sposób nieniszczący i indywidualny dla każdej ściernicy. Średni błąd prognozowania jakości ściernic z partii weryfikacyjnej...
-
Metody przetwarzania danych pochodzących z sonarów wielowiązkowych dla potrzeb kompresji
PublikacjaJednym z najczęściej używanych urządzeń służących do szeroko rozumianego telemonitoringu morskiego są sonary wielowiązkowe (ang. Multibeam systems - MBS). Ich wysoka wydajność w tworzeniu informacji o obiektach znajdujących się pod wodą skutkuje w dużych ilościach danych pozyskiwanych podczas rejsów badawczych i pomiarowych. W tym kontekście, proces przechowywania i zarządzania takim magazynem danych staje się istotnym problemem...
-
Metody bezsiatkowe a MES - porównanie rozwiązań na przykładzie zagadnienia fundamentu pasmowego
PublikacjaW artykule skupiono się na porównaniu dokładności rozwiązań zagadnień brzegowych teorii sprężystości za pomocą metody elementów skończonych i metody bezsiatkowej MLPG. Przedstawiono wyniki obliczeń dla różnych gęstości dyskretyzacji obszaru oraz wnioski i kierunki dalszych badań.
-
Planowanie trajektorii ruchu zespołu robotów mobilnych z zastosowaniem metody warstwicowej
PublikacjaPodstawową część artykułu stanowi opis zaproponowanej przez autorów metody planowania trajektorii ruchu dla zespołu autonomicznych robotów mobilnych poruszających się w określonym szyku. Zastosowano w tym celu zmodyfikowaną metodę sztucznego potencjału, nazwaną przez autorów metodą warstwicową. Przedstawiona procedura jest wieloetapowa. Każdy z etapów został opisany z zastosowaniem odpowiednich schematów proceduralnych, zaś wyniki...
-
Metody różnicowe uwikłane dla cząstkowych równań różniczkowo funkcyjnych pierwszego rzędu
Publikacja -
Nowe kierunki badania i aplikacji metody hydrofitowej w gospodarce komunalnej
PublikacjaW pracy przedstawiono nowe kierunki badań nad zastosowaniem metody hydrofitowej do -oczyszczania ścieków o wysokich ładunkach zanieczyszczeń (odcieki z odwadniania osadów przefermentowanych i odcieki ze składowiska odpadów) -nowoczesny system oczyszczania ścieków i utylizacji osadów powstających w indywidualnych gospodarstwach domowych; -renaturalizacji ścieków - badania właściwości substancji refrakcyjnych (kwasów humusowych)...
-
Metody modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych i ich porównanie
PublikacjaW pracy przedstawiono metody stosowane do modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych oraz dokonano ich porównania biorąc pod uwagę dokładność modelowania charakterystyk oraz złożoność obliczeniową poszczególnych metod.
-
Wykorzystanie metody DEA do pomiaru efektywności liceów ogólnokształcących w Szczecinie
Publikacja -
Metody zwiększania dostępności i efektywności informatycznej infrastruktury w inteligentnym mieście
PublikacjaW 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ą...
-
Zastosowanie metody szacowania kosztów cyklu życia w zarządzaniu infrastrukturą transportową
PublikacjaZarządzanie infrastrukturą transportową powinno przebiegać w myśl zrównoważonego rozwoju. Należy podejmować działania i czynności, które łączą w sposób optymalny aspekty środowiskowe, społeczne oraz wydatki ponoszone na rzecz infrastruktury. W artykule przedstawiono koncepcję myślenia w cyklu życia uwzględniające powyższe problemy. Praktycznym narzędziem służącym do zarządzania infrastrukturą transportową jest metoda szacowania...
-
Rewizja przybliżonej metody szacowania oporu całkowitego kadłuba płynącego w przechyle
PublikacjaNa 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...
-
50 lat stosowania w Polsce rulonowej metody montażu zbiorników stalowych
PublikacjaPodano rys historyczny oraz omówiono zakres obecnego stosowania w Polsce metody rulonowej do wykonawstwa zbiorników stalowych
-
Zastosowanie metody hydrofitowej do oczyszczania odcieków ze składowisk odpadów komunalnych
PublikacjaW 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
PublikacjaLogika 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...