Search
Filters
total: 86
filtered: 73
Search results for: AUTOMATYCZNE ODCZYTYWANIE ZAZNACZEŃ
-
Automatyczne odczytywanie napisów z diagnostyką ich ważności
PublicationPrzedstawiono koncepcję urządzenia wykrywającego i odczytującego napisy z przeznaczeniem dla osoby niewidomej. Zaprezentowano problemy jakie pojawiają się przy konstruowaniu takiego urządzenia i sposoby ich przezwyciężenia. Przedyskutowano ponadto schemat funkcjonalny oprogramowania sterującego takim urządzeniem. Dodatkowo opisano metodę badania podobieństwa figury do litery lub cyfry opartą na odwzorowaniu maksymalnego kwadratu...
-
Poll Reader - the working prototype of optical mark recognition software
PublicationAutomatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...
-
Automatyczne urządzenia przełączające niskiego napięcia
PublicationUkłady samoczynnego załaczania rezerwy zasilania (SZR), okrełslane w PN-EN 60947-6-1 jako automatyczne urządzenia przełaczające (ATSE ang. Automatic Transfer Switching Equipment) są przeznaczone do zapewnienia ciągłosci zasilania odbiorców energii elektrycznej. W artykule omówiono klasyfikację ATSE, budowę elektrycznych blokad aparatów wykonawczych oraz zalecane czasy zadzialania ATSE. Przedstawiono automatyczne urządzenia przełaczające...
-
Automatyczne urządzenia przełączające nn - oferta firmy Siemens
PublicationUkłady samoczynnego załaczania rezerwy zasilania (SZR), okrełslane w PN-EN 60947-6-1 jako automatyczne urządzenia przełaczające (ATSE ang. Automatic Transfer Switching Equipment) są przeznaczone do zapewnienia ciągłosci zasilania odbiorców energii elektrycznej. W artykule omówiono klasyfikację ATSE, budowę blokad aparatów wykonawczych oraz zalecane czasy zadzialania ATSE. Przedstawiono automatyczne urządzenia przełaczające oferowane...
-
Automatyczne sprawdzanie testów.
PublicationW artykule przedstawiono przykłady wykorzystania arkusza kalkulacyjnego do przeprowadzenia i automatycznej oceny testu. Test może zawierać pytania o charakterze otwartym, zadania jednokrotnego oraz woelokrotnego wyboru.
-
AUTOMATYCZNE GENEROWANIE KOLEJNOŚCI LIST UTWORÓW MUZYCZNYCH
PublicationW niniejszym rozdziale przedstawiono przygotowanie algorytmu do automa-tycznego układania kolejności utworów muzycznych i zgrywającego je do postaci jednego, długiego miksu. Dzięki algorytmowi dobierane są utwory na podstawie analizy podobieństwa fragmentów końcowych i początkowych utworów. Podo-bieństwo to jest obliczane za pomocą odległości euklidesowej między wektorami parametrów wyznaczonymi przez autoenkoder oraz na podstawie...
-
Automatyczne generowanie testów na podstawie modeli UML
PublicationRozdział stanowi wprowadzenie do problematyki automatycznej generacji przypadków testowych na podstawie dokumentacji wykonanej w UML. Zaprezentowano powiązania pomiędzy dokumentacją wykonaną w fazach analizy i projektowania systemu a dokumentacją testową, szersze ujęcie zagadnień automatycznego generowania testów, metody generowania przypadków testowych, wyniki podobnych prac (projekt AGEDIS, profil testowy UML) oraz dyskusję efektywności...
-
Automatyczne konstruowanie ekstraktorów cech w problemach klasyfikacji
PublicationW pracy zaproponowano i zbadano ideę automatycznego tworzenia ekstraktora cech. Ekstraktor taki uzyskiwany jest na drodze uczenia, metodami ewolucyjnymi wykorzystującymi zbiory uczące pochodzące z innych problemów klasyfikacyjnych, w określonym sensie podobnych do problemu rozpatrywanego. Uzyskiwany w ten sposób ekstraktor powinien poprawiać uogólnianie klasyfikatora uczonego niewielką liczbą przykładów z zadania rozpatrywanego,...
-
Automatic Singing Voice Recognition EmployingNeural Networks and Rough Sets
PublicationCelem badań jest automatyczne rozpoznawanie głosów śpiewaczych w kategorii rodzaju i jakości technicznej śpiewu. W artykule opisano stworzoną bazę danych głosów, która zawiera próbki głosu śpiewaków profesjonalnych i amatorskich. W dalszej części opisano parametry zdefiniowane w oparciu o zjawiska biomechaniczne w narządzie głosu podczas śpiewania. W oparciu o stworzone macierze parametrów wytrenowano i porównano automatyczne klasyfikatory...
-
Automatic singing voice recognition employing neural networks and rough sets
PublicationCelem prac opisanych w referacie jest automatyczne rozpoznawanie głosów śpiewaczych. Do tego celu utworzona została baza nagrań próbek śpiewu profesjonalnego i amatorskiego. Próbki poddane zostały parametryzacji parametrami zaproponowanymi przez autorów ściśle do tego celu. Sposób wyznaczenia parametrów i ich interpretacja fizyczna przedstawione są w referacie. Parametry wprowadzane są do systemów decyzyjnych, klasyfikatorów opartych...
-
Modele zastępcze i automatyczne projektowanie wspomagane komputerem pasywnych elementów mikrofalowych
PublicationW niniejszej pracy przedstawiony jest zarys nowych technik wspomagających projektowanie układów wysokiej częstotliwości rozszerzający obszar zastosowań dotychczas używanych narzędzi projektowych. Zaproponowane techniki dotyczą metod tworzenia sparametyzowanych modeli zastępczych układów wysokiej częstotliwości oraz tworzenia pasywnych schematów zastępczych i ich wykorzystania do projektowania pasywnych układów mikrofalowych.
-
Automatyczne określanie stopnia oparzenia. Klasyfikacja na podstawie multimodalnych badań termicznych
Publication -
Automatyczne konstruowanie ekstraktora cech sygnałów wibroakustycznych na podstawie podobnych zadań diagnostycznych.
PublicationW pracy przedstawiono koncepcję automatycznego tworzenia uniwersalnego ekstraktora cech istotnych dla grupy podobnych zadań klasyfikacji w dziedzinie sygnałów wibroakustycznych.
-
Sterowanie automatyczne częstotliwości systemu elektroenergetycznego zasilanego elektrownią wiatrową wspomaganą elektrownią konwencjonalną
PublicationWykorzystywanie energii wiatru do wytwarzania energii elektrycznej rozwija się coraz bardziej. Elektrownia wiatrowa powinna być wspomagana przez lokalne źródło konwencjonalne energii elektrycznej. Jeżeli elektrownia wiatrowa jest przyłączona do dużego systemu elektroenergetycznego, to tłumienie fluktuacji bilansu mocy wytwarzanej i odbieranej wymaga odpowiedniego oddziaływania układu regulacji automatycznej systemu elektroenergetycznego....
-
Urządzenie wspomagające automatyczne badanie perymatryczne poprzez kontrolę punktu fiksacji oka - praca dyplomowa
Publication -
AUTOMATYCZNE ROZPOZNAWANIE GATUNKÓW MUZYCZNYCH W APLIKACJI SYNTEZUJĄCEJ NISKIE CZĘSTOTLIWOŚCI W URZĄDZENIACH MOBILNYCH
PublicationW pracy został opisany inteligentny algorytm syntezy niskich częstotliwości w urządzeniach mobilnych (Smart VBS). Algorytm Smart VBS rozpoznaje gatunek muzyczny i w zależności od wskazania dobiera optymalne parametry syntezy niskich częstotliwości. Synteza niskich częstotliwości odbywa się z wykorzystaniem metody funkcji nieliniowych (NLD). Modyfikacji podlega wykorzystywana funkcja nieliniowa, liczba oraz poziom wzmocnienia dodawanych...
-
Surrogate models and automated cad of passive microwave components
PublicationW pracy pokazane zostały techniki modelowania złożonych układów elektronicznych wysokiej częstotliwości. Modele zastępcze mają postać sparametryzowanych modeli matematycznych tworzonych za pomocą schematów interpolacyjnych lub skupionych, pasywnych układów zastępczych dedykowanych analizie w dziedzinie czasu. Do konstrukcji modeli wykorzystywane są wyniki symulacji elektromagnetycznych, co pozwala na osiągnięcie lepszej dokładności...
-
''Computing with words'' concept applied to musical instrument recognition. W: [CD-ROM] International Symposium of Musical Acoustics. ISMA MEXICO CITY. Mexico City, 9-13 December 2002. Mexico City: Escuela Nacional de Musica UNAM**2002, 8 s. 3 rys. 3 tab. bibliogr. 25 poz. Automatyczne rozpoznawanie klas instrumentów muzycznych w oparciu o wyraże- nia opisujące barwę dźwięku.
PublicationW referacie przedstawiono nowy sposób automatycznego przetwarzania danychmuzycznych w oparciu o paradygmat zaproponowany przez L. Zadeha. Pozwala tona automatyczne rozpoznawanie klas instrumentów muzycznych wykorzystując o-pis słowny barwy dźwięku. Przedstawiono system realizujący automatyczną kla-syfikację instrumentów muzycznych oparty o metodę zbiorów przybliżonych ilogikę rozmytą.
-
Automatic synthesis of parametric images in dynamic MRI imaging
PublicationArtykuł opisuje automatyczne metody czasu dojścia kontrastu (BAT) i tętniczą funkcję wejścia (AIF). Metody te porównano dla klinicznych i symulacyjnych danych.
-
Low-order models from FD-TD time samples
PublicationNiniejszy artykuł zawiera opis szeregu kryteriów pozwalających na automatyczne tworzenie wysokiej jakości modeli sygnałów czasowych uzyskanych w drodze symulacji obwodów wysokiej częstotliwości metodą różnic skończonych w dziedzinie czasu. Podany jest szczegółowy opis selekcji kluczowych parametrów modeli takich jak wybór długości ciągu użytego do konstrukcji modeli, współczynnika decymacji silnie nadpróbkowanego przebiegu w dziedzinie...
-
Estimation the rhythmic salience of sound with association rules and neural networks
PublicationW referacie przedstawiono eksperymenty mające na celu automatyczne wyszukiwanie wartości rytmicznych we frazie muzycznej. W tym celu wykorzystano metody data mining i sztuczne sieci neuronowe.
-
Automated design of waveguide filters with frequency-dependent couplings.
PublicationW artykule zaproponowano szybką technikę pozwalającą na automatyczne projektowanie filtrów falowodowych ze sprzężeniami zależnymi od częstotliwości. Procedura optymalizacyjna jest trójetapowa z różnymi funkcjami celu w każdym etapie.
-
Pomiar jakości procesu automatycznego rozpoznawania maszynopisów
PublicationAutomatyczne rozpoznawanie maszynopisów jest celem międzynarodowego projektu Memorial. Artykuł ten podejmuje temat pomiaru jakości takiego rozpoznawania. Zidentyfikowano w nim potencjalne miejsca pojawiania się błędów oraz omówiono i sklasyfikowano odpowiednie miary.
-
Registration and normalization of MRI/PET images
PublicationW artykule przedstawiono technikę rejestracji i normalizacji obrazów MRI/PET. Zawiera on porównanie sztywnej i elastycznej transformacji gemotrycznej. Porownano w nim rowniez manualne i proponowane automatyczne podejscie do problemu rejestracji i normalizacji obrazow.
-
Komputerowy system sieciowy wspomagający ocenianie uczniów
PublicationW referacie przedstawiono funkcje użytkowe sieciowego systemu komputerowego umożliwiające utworzenie przez nauczycieli testów wyboru z dowolnej dziedziny, przeprowadzenie lekcji polegającej na rozwiązywaniu testów, automatyczne ocenianie rozwiązań, sporządzanie statystyk oraz powiadamianie uczniów o wynikach testów.
-
Automatic retrieval of musical rhythmic patterns.
PublicationObecnie stosowane technologie pozwalają na wyszukiwanie muzyki w zasobach Internetowych w oparciu o reprezentację melodyczną. W referacie przedstawiono problemy związane z wyszukiwaniem cech rytmicznych utworów muzycznych i pokazano stosowane metody umożliwiające automatyczne określanie rytmu.
-
Nowy algorytm regulacji transformatorów zasilających sieć rozdzielczą
PublicationW niniejszym artykule opisano przykład nowego inteligentnegoalgorytmu regulatora transformatora. Układregulacji transformatorów 110/SN, z proponowanym algorytmemdziałania, umożliwia automatyczne dostosowaniealgorytmu działania regulatorów do aktualnych stanówsystemu elektroenergetycznego (np. lawina napięcia)i w ten sposób może wpłynąć na wzrost bezpieczeństwaelektroenergetycznego.
-
Recent developments in automatic classification of musical instruments. W:[CD-ROM] Collected papers. First Pan-American/Iberian Meeting on Acoustics. 144 Meeting of the Acoustical Society of America. III Iberoamerican Cong- ress of Acoustics. 9o Mexican Congress of Acoustics. Cancun, Q. R. Mxico, 2-6 Dec. 2002. [B.m.:ASA]**2002 paper 2aMU4, 7 s. 6 rys. 1 tab. bibliogr. 21 poz. Automatyczne rozpoznawanie muzyki - przykłady eksperymentów.
PublicationW referacie dokonano przeglądu aktualnego stanu badań w dziedzinie automaty-cznego rozpoznawania muzyki. Przedstawiono też eksperymenty prowadzone aktu-alnie w Katedrze Dźwięku i Obrazu PG. Prace te dotyczyły rozpoznawania klasinstrumentów muzycznych i separacji duetów muzycznych. Pokazano przykładowewyniki i przedstawiono projekt prac do zrealizowania w przyszłych ekspery-mentach.
-
Circular saw teeth control with vision method
PublicationOpisano automatyczne urządzenie do automatycznego sprawdzania geometrii pił tarczowych WKOPTar. Określono błędy pozycjonowania ostrzy piły, której obrót jest sterowany w sposób automatyczny z wykorzystaniem obrazu ostrzy z kamery rejestrującej obraz powierzchni przyłożenia. Zaprezentowano szereg wyników pomiarów dokładności wykonania ostrzy piły.
-
Nowy algorytm regulacji transformatorów zasilających siec rozdzielczą
PublicationW niniejszym artykule opisano przykład nowego inteligentnego algorytmu regulatora transformatora. Układ regulacji transformatorów 110/SN, z proponowanym algorytmem działania, umożliwia automatyczne dostosowanie algorytmu działania regulatorów do aktualnych stanów systemu elektroenergetycznego (np. lawina napięcia) i w ten sposób może wpłynąć na wzrost bezpieczeństwa elektroenergetycznego.
-
Adaptacyjny algorytm regulacji transformatorów zasilających sieć rozdzielczą
PublicationW niniejszym artykule opisano przykład nowego inteligentnego regulatora transformatora. Układ regulacji transformatorów 110/SN, z proponowanym algorytmem działania, umożliwia automatyczne dostosowanie algorytmu działania regulatorów do aktualnych stanów systemu elektroenergetycznego (np. lawina napięcia) i w ten sposób może wpłynąć na wzrost bezpieczeństwa elektroenergetycznego.
-
Zastosowanie koncepcji bezpieczeństwa funkcjonalnego w ocenie automatycznych synchronizatorów prądnic
PublicationW artykule podjęto próbę powiązania tematyki synchronizacji obiektów elektroenergetycznych z problematyką bezpieczeństwa funkcjonalnego. Synchronizacja automatyczna w systemie elektroenergetycznym jest bowiem od lat prowadzona z udziałem specjalistycznych urządzeń, jakimi są synchronizatory automatyczne o skomplikowanej strukturze sprzętowej i oprogramowaniu, a prawidłowy jej przebieg odgrywa istotną rolę z punktu widzenia bezpieczeństwa...
-
On thermal and Flow Expert Systems Based on Artificial Neural Network (ANN)
PublicationZaprezentowano możliwość realizacji jednego z zadań systemów eksperckich, polegającego na określaniu rozmiaru eksploatacyjnej degradacji parametrów geometrycznych układów łopatkowych turbin. Dyskusję przeprowadzono w oparciu o zastosowanie wybranego typu sztucznej sieci neuronowej (SSN). Badano jakość i dokładność polegającą na dobrej identyfikacji rozmiaru degradacji przez tę wybraną SSN wykrywającą rozmiar degradacji geometrycznej....
-
Low order autoregressive (AR) models for FDTD analysis of microwave filters.
PublicationArtykuł opisuje zastosowanie modeli AR w celu poprawy efektywności analizy struktur filtrujących metodą różnic skończonych w dziedzinie czasu (FD-TD). Opisanych jest szereg kryteriów pozwalających na automatyczne tworzenie modeli AR sygnałów czasowych, w tym wybór fragmentu odpowiedzi układu stanowiący podstawę ekstrakcji współczynników modelu, współczynnika decymacji oraz rzędu modelu. Skuteczność wprowadzonych kryteriów...
-
Uwarunkowania standardowego Zestawu Informacji Zarzadczej MIB do monitorowania systemów zasilania energią elektryczną
PublicationMonitorowanie systemu przesyłu energii elektrycznej, czy dystrybucji energii elektrycznej w budynkach, wymaga dokładnej, bieżącej informacji o konfiguracji i wykorzystaniu linii zasilających. Istniejące systemy czy elementy są ze sobą nieskoordynowane. Automatyczne i ręczne przełączniki, czy urządzenia zabezpieczające na liniach zasilających powodują zmiany konfiguracji systemu. Z kolei załączenia i wyłączenia odbiorów energii...
-
Adaptacyjna kompensacja wpływu czasu martwego w falowniku napięcia z modulacją szerokości impulsów.
PublicationPrzedstawiono nową metodę kompensacji wpływu czasu martwego na napięcia wyjściowe trójfazowego falownika mostkowego. Proponowana metoda umożliwia automatyczne dopasowanie parametrów kompensacji do aktualnych parametrów falownika i obciążenia, np. po zmianie przewodu łączącego falownik z obciążeniem. Adaptacja do nowych warunków polega na dostrajaniu wartości parametrów zależności opisującej napięcie błędu w funkcji prądu fazowego....
-
Self-Tuning Dead-Time Compensation Method for Voltage-Source Inverters
PublicationPrzedstawiono nową, kompleksową metodę kompensacji zniekształceń napięcia wyjściowego falownika z modulacją szerokości impulsów. Proponowana metoda umożliwia automatyczne dopasowanie parametrów charakterystyki kompensacyjnej do aktualnej konfiguracji falownika i obciążenia, np. po zmianie przewodu łączącego falownik z obciążeniem. Adaptacja do nowych warunków polega na dostrajaniu wartości parametrów zależności opisującej napięcie...
-
Influence of Exception Handling on Distributed Applications.
PublicationW artykule przedstawiono metodologię oceny systemów rozproszonych w sytuacji występowania wyjątków i błędów. Analiza jest przeprowadzana przez zidentyfikowanie zmian stanów danych i wyprowadzenie ogólnych charakterystyk systemu. Rozproszone zależności są modelowane przez podstawowe zależności między metodami i złożone zależności występujące w sytemie. Analiza umożliwia odpowiedź na pytanie, jak zależności rozproszone wpływają na...
-
Modyfikacje modeli układów regulacji napięcia prądnic synchronicznych dla potrzeb badań synchronizatorów automatycznych
PublicationW artykule przedstawiono sposób modyfikacji powszechnie stosowanych w elektroenergetyce krajowej modeli matematycznych układów regulacji napięcia prądnic synchronicznych, na potrzeby badań realizacji warunku napięciowego przez synchronizatory automatyczne. Modele te, po ich zaimplementowaniu w procesorach nowoczesnych urządzeń testujących (pracujących w czasie rzeczywistym) pozwalają narzucić badanemu synchronizatorowi zbliżone...
-
Semantic memory knowledge acquisition through active dialogues
PublicationSzereg zagadnień językowych nie może zostać rozwiązany bez pamięci semantycznej zawierającej opisy cech obiektów, Automatyczne tworzenie tego rodzaju pamięci jest wielkim wyzwaniem nawet dla prostych obszarów dziedzinowych. Implementacja pamięci semantycznej opartej na reprezentacji wiedzy poprzez powiązania obiektu z jego cechami pokazuje ciekawe zastosowania które nie zostały dotychczas zademonstrowane poprzez bardziej wyszukane...
-
Europejski projekt ADDPRIV Automatyczna interpretacja danych pozyskiwanych z obrazu dla potrzeb systemów monitoringu wizyjnego funkcjonujących z poszanowaniem prywatności osób
PublicationSystemy monitorowania bezpieczeństwa publicznego generują i przechowują ogromne ilości danych implikując wzrost prawdopodobieństwa użycia tych danych w sposób nieodpowiedni z punktu widzenia ochrony danych osobowych. W niniejszym referacie zaprezentowany jest europejski projekt ADDPRIV, który bezpośrednio odnosi się do kwestii poszanowania prywatności poprzez automatyczne rozpoznawanie istotności danych pochodzących z rozproszonego systemu...
-
Scenariusze hierarchicznej klasteryzacji wykonywane w środowisku BeesyCluster
PublicationPrzedstawiono szczególnego rodzaju porządkowanie zbioru danychz użyciem tzw. hierarchicznej klasteryzacji. Metoda ta, przy użyciu określonej miary podobieństwa, łączy podobne do siebie dane w grupy tworząc tzw. klastry, które wcześniej nie były dane explicite. Opisano klasteryzację typu skupiającego, typu dzielącego oraz zaproponowano typ mieszany. Przedstawiono koncepcje realizacji algorytmów klasteryzacji poprzez scenariusze...
-
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...
-
Wyszukiwarka nagrań muzycznych - Serwis muzyczny Synat
PublicationW pracy przedstawiono opracowany w ramach projektu Synat serwis klasyfikacji nagrań muzycznych, a także pro-blemy i rozwiązania systemowe zrealizowane w celu zapew-nienia większej skuteczności wyszukiwania treści muzycz-nych. W ramach eksperymentów przeprowadzono testy skuteczności klasyfikacji gatunków muzycznych na pod-stawie obliczonych wektorów parametrów z wykorzysta-niem algorytmów decyzyjnych. W pracy zawarto szczegó-łowe...
-
On Application of Selected Methods of Artificial Intelligence in Expert Systems for Thermal and Flow Diagnostics
PublicationPrzedyskutowano problem wspomagania przez systemy ekspertowe decyzji eksploatacyjnych służb nadzoru obiegów turbin parowych. Uwagę skupiono na realizacji jednego z zadań tych systemów, polegającemu na określenie rozmiaru eksploatacyjnej degradacji parametrów geometrycznych układów łopatkowych turbin. Dyskusję przeprowadzono na przykładzie jednego z komponentów metod sztucznej inteligencji: wybranego typu sztucznej sieci neuronowej...
-
Integracyjna architektura systemu monitorowania terenu Politechniki Gdańskiej
PublicationW rozdziale przedstawiono zastosowanie integracyjnej metodywytwarzania aplikacji w systemie monitorowania bezpieczeństwa przestrzeni publicznej. Została opisana architektura i proces wytwórczy systemu Monitoring PG, który umożliwia automatyczne rozpoznawanie niebezpieczeństw oraz przesyłanie informacji do odpowiednich służb. Podczas realizacji systemu zaproponowano systematyczny opis interfejsów integrowanych usług obejmującyspecyfikacje...
-
Variability of relationship between cities and nature in landscape architecture= Zmienność relacji miedzy miastem a naturą na przykładzie architektury krajobrazu miast
PublicationInterpreting and creating the relations between nature and city are the process of learning which is a subject of permanent conceptualization. It is characterized by the culutrality due to human nature and own ability to perceive oneself in the context of the relationship between own environmental and cultural nature. The way of interpreting the nature and providing it with different features affected significantly the development...
-
Metody rozwiązywania problemu zapisu norm prawnych w postaci ontologii OWL
PublicationArtykuł dotyczy problemu zapisu norm prawnych w postaci umożliwiającej systemom komputerowym automatyczne przetwarzanie treści tych norm i ich interpretowanie. Artykuł przedstawia możliwości wykorzystania komputerów do podawania bieżącego stanu prawnego oraz pełnienia funkcji doradczej. W artykule opisana jest realizacja tego zagadnienia opierająca się na zapisie norm prawnych w postaci ontologii wyrażonych w języku OWL. Zapis...
-
Generowanie modeli symulacyjnych na potrzeby systemu ekspertowego wspomagającego projektowanie układów automatyki statku
PublicationOmówiono automatyczne generowanie modeli symulacyjnych na potrzeby systemu ekspertowego wspomagającego projektowanie układów automatyki statków. Na podstawie przyjętych założeń projektowych system ekspertowy zleca badania wybranych struktur podsystemów elektroenergetycznych statków. Aplikacja symulacyjna pobiera z biblioteki modele matematyczne elementów składowych struktur, a następnie zestawia modele symulacyjne, wykonuje badania...
-
Aktywna metoda testowania bezpieczeństwa aplikacji webowych httpvalider oraz ocena jej skuteczności
PublicationW rozdziale omówiono zagadnienia oceny bezpieczeństwa aplikacji webowych, w szczególności podejście pasywnego i aktywnego testowania bezpieczeństwa. Przedstawiono metodę aktywnego testowania HttpValider obejmującą generowanie żądań HTTP pozwalające na identyfikację 13 luk bezpieczeństwa. Dla opracowanej metody zaprojektowano i zaimplementowano narzędzie wspierające automatyczne przeprowadzenie testów dla scenariusza użycia testowanej...