Filters
total: 8091
filtered: 2070
-
Catalog
- Publications 2070 available results
- Journals 8 available results
- Publishing Houses 1 available results
- People 530 available results
- Inventions 97 available results
- Projects 129 available results
- Laboratories 16 available results
- Research Teams 58 available results
- Research Equipment 4 available results
- e-Learning Courses 1489 available results
- Events 379 available results
- Open Research Data 3310 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: OBRAZY SATELITARNE
-
Wybrane metody lokalizacji twarzy na obrazie statycznym i ruchomym=Selected methods of face localization on still images and in video sequences
PublicationW pracy zaprezentowano wybrane metody lokalizacji, wykorzystujące różne podejścia i rodzaje informacji: algorytm działający w oparciu o analizę barwy i kształtu, metodę map krawędzi oraz elastyczne wzorce służące do precyzyjnej lokalizacji cech. Oprócz tego przedstawiono dwie metody śledzenia twarzy na obrazie ruchomym.
-
Sprzętowa implementacja transformacji Hougha w czasie rzeczywistym
PublicationW artykule przedstawiono implementację sprzętową w FPGA algorytmu do wykrywania kształtów aproksymowanych zbiorem linii prostych podczas przetwarzania obrazu cyfrowego w czasie rzeczywistym. W opracowanej strukturze sprzętowej podniesiono efektywność przetwarzania poprzez zastosowanie przetwarzania przepływowego, lookup table, wykorzystanie wyłącznie arytmetyki liczb całkowitych oraz rozproszenie pamięci głosowania. Eksperymentalnie...
-
Analiza możliwości zdalnej i bezdotykowej oceny właściwości użytkowych ściernic do przecinania
PublicationW pracy przedstawiono koncepcję metody zdalnej i bezdotykowej oceny właściwości użytkowych ściernic do przecinania. Oparto ją na wynikach numerycznej analizy obrazu w tzw. przestrzeni barw RGB. Ponadto w tej analizie wyznaczany jest numer koloru i udział względny pola całkowitego zajętego iskrami. Wyznaczono współzależności pomiędzy zmiennymi zależnymi-właściwościami użytkowymi ściernic a niezależnymi-parametrami obrazu produktów...
-
ANALIZA SYSTEMU ELASTYCZNEGO RUROCIĄGU BOI PRZELEWOWEJ PB-1 ORAZ PROJEKT I DOKUMENTACJA TECHNICZNA NOWEGO SYSTEMU PODWIESZENIA ŁĄCZNIKA KR ORAZ PODWODNEJ BOI WYPOROWEJ
PublicationW pierwszej części pracy wykonano szczegółową analizę statycznej linii ugięcia oraz sił występujących w podwodnym rurociągu elastycznym łączącym rurociąg flowline z nawodną boją przelewową. Zoptymalizowano układ rurociągów pod kątem ugięcia rur oraz obciążeń rozrywających. Zaprojektowano nowy zespół podwodnej boi wyporowej i wykonano kompletną dokumentację wykonawczą oraz montażową nowej konstrukcji.
-
Techniki wielokanałowe wykorzystywane w koncertach i nagraniach muzycznych na odległość
PublicationW czasie pandemii koronawirusa COVID-19 nowego znaczenia nabrały możliwości transmisji dźwięku z obrazem – zwłaszcza do pracy zdalnej, która w przypadku muzyków jest szczególnym wyzwaniem zarówno w kontekście wspólnych ćwiczeń i prób, jak i koncertów. Wynikła konieczność wieloźródłowego połączenia ujawniła potrzebę uprzestrzennienia dźwięku w celu łatwiejszej lokalizacji źródeł dźwięku. Tworzenie zdalnych nagrań muzycznych stało...
-
Koncepcja analizy stanów emocjonalnych użytkowników w kontekście systemów zabezpieczeń transportowych
PublicationAutorzy, przywołując własne i światowe badania nad rozpoznawaniem emocji ludzkich z obrazu twarzy, wskazują na możliwość zastosowania algorytmów komputerowych i ich implementacji w komputerach osobistych (i innych urządzeniach personalnych wyposażonych w dostatecznie silny procesor obliczeniowy). Zastosowanie takiego rozwiązania może poprawić bezpieczeństwo użytkowania urządzeń, maszyn i pojazdów, których operatorzy muszą gwarantować...
-
Stereoskopowy pomiar odległości
PublicationPomiar odległości jest jedną z podstawowych operacji spotykanych w systemach przemysłowych i militarnych. W pracy przedstawiono urządzenie do precyzyjnego pomiaru małych odległości nieprzekraczających 15 m. Urządzenie będzie zainstalowane na platformie mobilnej przewidzianej do pomiaru temperatury linii wysokiego napięcia z użyciem kamery termowizyjnej. Pomiar tą metodą wymaga określenia odległości od obiektu. Wartość odległości...
-
Automatyczna analiza wymiarów mikroziaren ściernych
PublicationPrzedstawiono skomputeryzowaną analizę wielkości i kształtu mikroziaren ściernych przy użyciu oprogramowania MultiScan v. 6.08 oraz zautomatyzowane pomiary z wykorzystaniem analizatora laserowego Analysette 22 MicroTec. W pierwszym systemie pomiarowym obrazy przekazywane są z kamery CCD sprzężonej z mikroskopem stereoskopowym.
-
Badania i analiza systemów radiolokalizacyjnych do zastosowań specjalnych
PublicationW artykule scharakteryzowano wpływ nadmiernego uzależnienia różnych dziedzin aktywności od systemów nawigacji satelitarnej GNSS oraz przedstawiono podstawy funkcjonowania systemów radiolokalizacyjnych i radionawigacyjnych wraz z omówieniem zalet i wad różnych struktur systemów i metod estymacji położenia pod względem ich zastosowania w systemach do zastosowań specjalnych. Zaprezentowana została także zasada działania naziemnych...
-
SG
PublicationObraz odnosi się do Stoczni Gdańskiej
-
Analiza różnych konfiguracji siłowni w aspekcie ekonomicznym i ekologicznym oraz technicznym dla szybkiej jednostki patrolowej. Część I. Założenia projektowe oraz możliwe konfiguracje siłowni
PublicationPrzedstawiono analizę możliwych do zastosowania na jednostce patrolowo-inspekcyjnej konfiguracji napędu. Porównano napędy stosowane na tego typu jednostkach pod kątem parametrów technicznych, ekonomicznych i ekologicznych. Analizie tej poddano układy napędowe z silnikami Diesla, turbinami gazowymi oraz układy kombinowane (silnik Diesla i/lub turbina gazowa/silnik Diesla).
-
Rough-neutral approach to testing the influence of visual cues on surround sound perception
PublicationW rozdziale przedstawiono problem wpływu obrazu na odbierany w systemie doo-kólny dźwięk. W celu określenia tego wpływu przeprowadzono testy subiektyw-ne. Do obróbki wyników testów subiektywnych użyto systemu hybrydowego zło-żonego z algorytmu genetycznego, sieci neuronowej oraz algorytmu opartego ometodę zbiorów przybliżonych. Zadaniem tego ostatniego elementu systemu byłowyznaczanie reguł opisujących wpływ postrzeganego obrazu...
-
Wykorzystanie Web 2.0 oraz architektury informacji w pracy brokera informacji.
PublicationThe development of information and communication technologies, dissemination of access as well as unlimited increase of publications result in the uncontrolled growth of knowledge resources. Looking up for the relevant information becomes increasingly difficult, especially when time plays a role. Such process requires vast knowledge, practical experience in obtaining and providing information and also analytical skills that...
-
Systemy agentowe - cechy, zastosowanie oraz przegląd narzędzi do ich tworzenia
PublicationRosnące zapotrzebowanie na systemy inteligentne powoduje jednoczesny wzrost zainteresowania tematyką systemów agentowych, mogących znaleźć zastosowanie w budowie wieloagentowych środowisk systemów inteligentnych. Niniejszy artykuł stanowi przegląd problematyki systemów agentowych poczynając od prezentacji definicji a kończąc na specyfikacji środowisk do wywarzania takich systemów. Stanowi także próbę odpowiedzi na ważne pytanie...
-
Charakterystyka i wykorzystanie stopów aluminium oraz taśm węglowych w budownictwie
Publication -
Niezawodność scentralizowanych sieci komputerowych o dwustopniowych strukturach gwiaździstych oraz mieszanych
PublicationRozważono sieci o topologiach gwiaździstych i gwiaździsto?pętlowych. Jako oceny niezawodności tych sieci przyjęto: średnią liczbę sprawnych węzłów, które mogą komunikować się z węzłem centralnym; średnią liczbę sprawnych par węzłów, które mogą komunikować się przez węzeł centralny; prawdopodobieństwo zdarzenia, że sprawne węzły mogą komunikować się z węzłem centralnym. Przyjęto następujący model uszkodzeń. Węzły oraz kanały sieci...
-
Problemy architektoniczne bazy na Marsie jako habitatu w ekstremalnych warunkach
Publication -
Usługa oraz model dekompozycji - teoretyczne podstawy usługowego zarządzania organizacją wsparcia IT
PublicationRozdział omawia fundamentalne dla usługowego modelu zarządzania organizacją IT pojęcie usługi. Opisuje podstawowe typy jej atrybutów oraz wprowadza funkcję wyróżniającą wykorzystaną do kategoryzacji usług. W dalszej części ukazany jest ogólny model dekompozycji usługi i jego wersję bazującą na ograniczeniach implementacji modelu w CMDB. Publikacja podsumowuje otrzymane wyniki i wskazuje dalsze kierunki badań dotyczące w szczególności...
-
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...
-
Aplikacje i środowiska kontekstowe: Środowisko OSGi oraz definiowalna architektura SOA
PublicationPodejście komponentowe jest coraz częściej wykorzystywane jako metoda wytwarzania aplikacji. Artykuł ten omawia specyfikację OSGi, definiującą platformę dla działania usług, które mogą być dynamicznie instalowane, uaktualniane i usuwane bez konieczności restartu całego środowsika. Rozwinięciem specyfikacji OSGi jest programowalna architektura SOA. Dostarcza ona mechanizmu programowania, który wraz z zaproponowanym zunifikowanym...
-
Zastosowanie falek do analizy oraz kompresji sygnałów jedno i dwuwymiarowych
PublicationRozdział w pierwszej części zawiera informacje teoretyczne dotyczące krótko-czasowej transformaty Fouriera (sygnały jednowymiarowe) oraz analizy falkowej (sygnały jedno i dwuwymiarowe). Druga część rozdziału zawiera przykłady zastosowań analizy falkowej pokazujące jej potencjał.
-
Synteza oraz właściwości biologiczne pochodnych 4(5)-(2-aminoetylo)imidazoliny
Publication -
Poliuretany biomedyczne otrzymane na bazie poli(-kaprolaktonu) oraz poliglikolu etylenowego
PublicationW artykule omówiono metody syntezy poliuretanów do zastosowań medycznych w oparciu o dwa związki pełniące funkcje oligodioli: poliglikol etylenowy i polikaprolakton. W wyniku niekatalizowanej, bezrozpuszczalnikowej syntezy otrzymano kilka serii polimerów. Dla otrzymanych poliuretanów przeprowadzono charakterystyki powierzchniowe i termiczne, obserwacje pęcznienia oraz testy biozgodności in vitro. Otrzymane wyniki przedstawiono...
-
Język KQL jako realizacja idei języka SQL dla bazy wiedzy
PublicationW ramach inicjatywy semantic web rozwijane są systemy wnioskowania z wiedzy. Ciągle otwartym problemem są również języki dostępu do takich systemów. W artykule zaproponowano nowy język dostępu do zmodularyzowanych baz wiedzy, o cechach umożliwiających jego kompleksowe wykorzystanie w systemach zarządzania wiedzą, w sposób analogiczny do wykorzystania języka sql w systemach relacyjnych baz danych.
-
Prognozowanie upadłości firm przy wykorzystaniu kursu dolara oraz logiki rozmytej
PublicationArtykuł ten dotyczy prognozowania upadłości spółek giełdowych w Polsce. Skupiono się w nim na rozważaniach nad możliwością wykorzystania, w procesie prognozowania upadłości, nie tylko wskaźników finansowych w modelu logiki rozmytej, ale również wybranych zmiennych makroekonomicznych Polski mających wpływ na sytuację finansową firm. W badaniach autor wykorzystał dane dotyczące 132 spółek akcyjnych notowanych na Warszawskiej Giełdzie...
-
Zespołowa budowa ontologii z wykorzystaniem systemu OCS oraz edytora Protégé
PublicationKonstruowanie ontologii wymaga współpracy wielu osób. W idealnej sytuacji nad pojedynczą ontologią pracować będzie duża, rozproszona społeczność tworząca tym samym wspólną reprezentację wiedzy z danej dziedziny. W publikacji zaprezentowano propozycję modelu pracy grupowej nad ontologią. Zdefiniowano model zarządzania wersjami ontologii. Przedstawiono system Ontology Creation System (OCS) oraz architekturę i implementację rozszerzenia...
-
Rezystor aktywny CMOS oraz jego zastosowanie do budowy wzmacniacza transkonduktancyjnego.
PublicationRezystory aktywne są szeroko stosowane w układach analogowych. Jednym z bardzo ważnych zastosowań jest ich użycie jako elementu linearyzującego stałoprądowe charakterystyki przejściowe wzmacniacza różnicowego wykonanego w postaci pary tranzystorów MOS. W niniejszym artykule przedstawiono w pełni różnicowy, aktywny rezystor MOS. Składa się on z dwóch tranzystorów MOS oraz dwóch nieuziemionych źródeł napięciowych. Jako wykorzystanie...
-
Charakterystyka właściwości lipaz oraz ich zastosowanie do otrzymywania produktów tłuszczowych
PublicationOmówiono charakterystykę lipaz pod kątem ich specyficzności. Pokazano możliwości produkcji różnych strukturyzowanych lipidów w zależności od specyficzności lipaz i donorów acyli.
-
Zagadnienia osadzania elementów oraz kolejności podawania z uwzględnieniem ich wysokości
PublicationPrzedstawionom problem osadzania elementów sformułowany dla rzeczywistego procesu umieszczania elementów elektronicznych na płytasch drukowanych. Najpierw omówiono dokładnie sam problem osadzania elementów , własności technologiczne maszyny, parametry linii technologicznej oraz sformułowane cele do zrealizoweania. Następnie przedstawiono proponowane rozwiązanie tego problemu: omówiono wektory reprezentujące rozwiązanie, równania...
-
Korozja betonu w warunkach penetracji oleju mineralnego oraz stosowane impregnaty
PublicationAutorzy przedstawili analizę teoretyczną transportu cieczy w strukturę betonu. Przedstawiono model matematyczny transportu oleju w strukturę betonu z uwzględnieniem ich charakterystyki.
-
Ocena stopnia denaturacji oraz zawartości hydroksyproliny w kosmetycznej bazie kolagenowej.
PublicationW ramach zadania wykonano pomiary oraz opracowano wyniki dotyczące określenia temperatury denaturacji oraz zawartości hydroksyproliny w bazie kolagenowej.
-
Synteza małocząsteczkowych pochodnych 2-pirydonu wykazujących właściwości przeciwnowotworowe oraz przeciwbakteryjne
PublicationTematyka i cel badawczy niniejszej rozprawy doktorskiej dotyczy syntezy chemicznej związków heterocyklicznych z grupy 2-pirydonu wykazujących potencjał przeciwbakteryjny oraz przeciwnowotworowy. W części teoretycznej podjęto tematykę znanych fluorochinolonów oraz chinolonów wykazujących aktywność przeciwnowotworową. Dodatkowo przedstawiono nowe metody syntezy chinolonów niewymagające stosowania katalizatorów metali przejściowych...
-
Projektowanie oraz implementacja cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowego
PublicationW artykule został przedstawiony proces projektowania i realizacji cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowegoTMS320C5535 firmy Texas Instruments, dla którego oprogramowanie napisano w języku C. Omówiono zasady działania oraz algorytmy wybranych efektów dźwiękowych, które zostały zaimplementowane w procesorze sygnałowym. Zaprojektowano również uniwersalny moduł wejściowy zawierający wzmacniacz z regulowanym...
-
Narracja jako sposób wyjaśniania organizacyjnej rzeczywistości oraz metoda wywierania wpływu
PublicationNiniejszy artykuł ma na celu analizę roli i znaczenia narracji w funkcjonowaniu członków organizacji. W wyniku przeglądu literatury podjęto również próbę przeanalizowania mechanizmów decydujących o tym, że odpowiednio wykorzystane i skonstruowane narracje mogą służyć jako narzędzie pozwalające wywierać wpływ. Następnie na podstawie tej analizy zaproponowano wskazówki dotyczące tworzenia i przedstawiania narracji czy historii organizacyjnej...
-
STRUKTURA ORAZ WŁAŚCIWOŚCI ELEKTRYCZNE MATERIAŁÓW SZKLISTYCH ZAWIERAJĄCYCH GRANULE FERROELEKTRYKA Bi2VO5,5
PublicationNanokompozyty – ceramiki ferroelektrycznej umieszczonej w matrycy szklanej, dzięki swoim interesującym właściwościom znajdują zastosowanie w wielu urządzeniach i elementach elektronicznych. Jednym z ciekawych ferroelektryków jest ceramika Bi2VO5,5, która wykazuje wysokie przewodnictwo jonowe i przenikalność dielektryczną oraz nieliniowe właściwości optyczne. Przykładem szkła, o strukturze umożliwiającej rozmieszczenie wewnątrz...
-
Możliwości zastosowania materiałów zmiennofazowych do akumulowania ciepła oraz ich modyfikacje
PublicationW pracy dokonano analizy obecnego stanu wiedzy na temat materiałów zmiennofazowych (ang. Phase Change Materials, PCM), ich właściwości oraz możliwości zastosowania. Ponadto przedstawiono wyniki badań własnych. Zmodyfikowano wybrane organiczne materiały zmiennofazowe przez dodatek do nich uniepalniaczy oraz depresatorów. Sprawdzono również wpływ mieszanek różnych węglowodorów na zmianę ich właściwości termofizycznych. Dokonano oceny...
-
Charakterystyka materiałowo-technologiczna oraz proces degradacji posadzek betonowych typu lastrico
PublicationW artykule przedstawiono wybrane zagadnienia materiałowe i technologiczne dotyczące posadzek typu lastrico. Opisany został proces degradacji warstwy wierzchniej posadzki lastrico. Szczególną uwagę zwrócono na wpływ specyfiki tego rodzaju posadzki na sposób oceny ich stanu technicznego.
-
Stan przedawaryjny oraz sposób naprawy dźwigarów dachowych z drewna lejonego
PublicationW artykule przedstawiono opis uszkodzeń konstrukcji dachu sali sportowej w szczególności drewnianych dźwigarów dachowych z drewna klejonego które powstały w wyniku popełnionych błędów projektowych oraz wykonawczych. W pracy przedstawiono różne koncepcje naprawy oraz zrealizowane rozwiązanie projektowe wzmocnienia dźwigarów dachowych.
-
Stan przedawaryjny oraz sposób naprawy dźwigarów dachowych z drewna klejonego
PublicationW artykule przedstawiono opis uszkodzeń konstrukcji dachu sali sportowej, w szczególności drewnianych dźwigarów dachowych z drewna klejonego, które powstały w wyniku popełnionych błędów projektowych oraz wykonawczych. W pracy przedstawiono różne koncepcje naprawy oraz zrealizowane rozwiązanie projektowe wzmocnienia dźwigarów dachowych.
-
Zarządzanie mobilnością w nowoczesnych sieciach IP oraz sieciach Internetu Przyszłości
PublicationW rozdziale przedstawiono krótką charakterystykę rynku teleinformatycznego i wymagań nowych usług sieciowych, porównując je z możliwościami funkcjonalnymi oferowanymi przez współczesne systemy i sieci, tak przewodowe jak i bezprzewodowe. Sformułowano ograniczenia architektury TCP/IP w aspekcie obsługi urządzeń mobilnych i nowych scenariuszy mobilności, biorąc pod uwagę zarówno oczekiwania użytkowników, jak i możliwości sprzętowe,...
-
Ocena właściwości przetwórczych, mechanicznych oraz morfologii spienianych kompozytów poliuretanowo-gumowych
PublicationSpienione kompozyty poliuretanowo-gumowe otrzymano metodą jednostopniową z układu dwukomponentowego. Scharakteryzowano właściwości przetwórcze, właściwości mechaniczne oraz morfologię uzyskanych kompozytów. Uzyskane wyniki wskazują, że wprowadzenie miału gumowego do matrycy poliuretanowej może stanowić bardzo atrakcyjną możliwość wtórnego wykorzystania odpadów gumowych.
-
Awaryjne zarysowanie oraz błędy projektowe stropu płaskiego hali widowiskowo-sportowej
Publicationw pracy przedstawiono analizę przyczyn spękania oraz błędy projektowe skutkujące niedostateczną nośnością stropu płaskiego na zginanie oraz przebicie w nowo budowanej hali widowiskowi-sportowej. w celu przeniesienia założonego przez projektanta obciążenia konieczne było wzmocnienie stropu.
-
Konstrukcja bazy danych dla systemu wspomagania diagnostyki chorób przewodu pokarmowego
PublicationW artykule krótko przedstawiono charakterystykę procesu diagnostyki chorób przewodu pokarmowego oraz istniejące techniki wspomagania go na bazie analizy zdjęć z badań endoskopowych. Szczegółowo opisano proces tworzenia specjalistycznej bazy danych medycznych, której przeznaczeniem jest wspomaganie procesu uczenia klasyfikatorów chorób przewodu pokarmowego. Na koniec przedstawiono zebrane w bazie dane oraz uzyskane efekty.
-
Porowate nanostruktury anatazu wytwarzane z Ti oraz TiO2 metodą PLD
PublicationNiniejsza praca dotyczy wytwarzania cienkich warstw dwutlenku tytanu metodą PLD. Za pomocą technik spektroskopowych zbadany został wpływ wartości ciśnienia gazu osłonowego na otrzymywane struktury krystaliczne w warstwach. Obserwowano także zależność uzyskanych faz krystalicznych od rodzaju odparowywanego materiału.
-
Opracowanie koncepcji oraz programów pilotowych optymalizacji sztywności zamocowania przedmiotu obrabianego
PublicationArtykuł ma na celu przedstawienie metody minimalizacji drgań podczas obróbki przedmiotów wielkogabarytowych bez konieczności sterowania w trybie on-line kinematycznymi parametrami skrawania w trakcie obróbki. Wykorzystuje do tego różne współczynniki sztywności zamocowania przedmiotu obrabianego przez lokalizację sprężystych elementów mocujących o znanej sztywności w określonych miejscach.
-
ZIEMSKIE SYSTEMY I UK Ł ADY ODNIESIENIA ORAZ ICH REALIZACJE
PublicationZiemski system odniesienia stanowi podstawę do prowadzenia obserwacji nie tylko w geodezji, ale też w całej rodzinie nauk o Ziemi. Do roku 1988 powszechnie używanym ziemskim systemem odniesienia był umowny system odniesienia, którego podstawowa oś była określana poprzez zmienne w czasie współrzędne bieguna chwilowego, a położenie umownego południka zerowego określane było jako odpowiadające południkowi zerowemu średniego obserwatorium...
-
Prawo do przedsiębiorczości oraz swoboda świadczenia usług w prawie wspólnotowym
Publication...
-
Model zmienności częstości akcji serca, rzutu serca oraz ciśnienia krwi.
PublicationW pracy omówiono zjawisko barorefleksu oraz wykonano odpowiedni model krótkoterminowej regulacji parametrów układu krążenia. Na jego podstawie przeanalizowano wpływ opóźnienia w pętli barorefleksu na dynamikę układu, ze szczególnym uwzględnieniem możliwości pojawienia się chaosu deterministycznego.Wystąpienie chaosu deterministycznego zostało potwierdzone przez czułość układu na warunki początkowe,wykreślenie mapy logicznej...
-
Preparatyka, struktura oraz czynność optyczna kompleksów inkluzyjnych steroidowych kwasów żółciowych.
Publication.
-
Metodologia projektowania programów edukacyjnych zorientowanych problemowo z wykorzystaniem bazy wiedzy.
PublicationOpisano prototyp programu, który może posłużyć do sprawdzania poprawności sposobu rozwiązywania zadań z elementarnej matematyki lub fizyki. Program tem umożliwia ponadto wygenerowanie wszystkich sposobów rozwiązania zadania. Omówiono program komputerowy CorrectWay, który realizuje wczesniej wymienione funkcje. artykuł zakończono wskazaniami kierunków dalszego rozwoju tego programu.