Filters
total: 867
-
Catalog
Search results for: automatyczne testowanie
-
Built-in Test Scheme for detection, classification and evaluation of nonlinearities
PublicationW artykule przedstawiono koncepcję testera wbudowanego (BIST) przeznaczonego do detekcji nieliniowości, klasyfikacji rodzaju nieliniowości i oceny zniekształceń nieliniowych sygnału testowanego, bez użycia drogiego systemu automatycznego testowania. Tester bazuje na modulatorze sigma-delta umieszczonym na pakiecie testowanym i sztucznej sieci neuronowej zaimplementowanej w komputerze osobistym. Koncepcję testera zweryfikowano poprzerz...
-
Automatic classification of singing voice quality
PublicationW artykule przedstawiono zagadnienia związane z automatyczną klasyfikacją jakości i rodzajów głosów śpiewaczych. Na potrzebę takiej klasyfikacji stworzono bazę głosów śpiewaczych, w której dokonano parametryzacji nagrań samogłosech śpiewanych przez różnych wokalistów (zarówno profesjonalistów jak i amatorów) na różnych wysokościach i z różną głośnością. W celu ograniczenia wymiaru wektora opisu zastosowano statystykę Behrensa Fishera...
-
Testery wbudowane (BIST) układów analogowych i mieszanych sygnałowo
PublicationOmówiono metody realizacji w technice analogowej i cyfrowej wbudowanych źródeł sygnałów testujących. Zaprezentowano sposoby analizy odpowiedzi: metodę histogramową, cyfrowego przetwarzania sygnałów oraz wykorzystanie koncepcji "macierzy z sumą kontrolną". Przedstawiono metodę testowania oscylacyjnego oraz DACBIST przeznaczony do testowania przetworników C/A, łączący testowanie oscylacyjne z techniką modulacji sigma-delta.
-
Automatic music genre classification based on musical instrument track separation / Automatyczna klasyfikacja gatunku muzycznego wykorzystująca algorytm separacji dźwięku instrumentó muzycznych
PublicationThe aim of this article is to investigate whether separating music tracks at the pre-processing phase and extending feature vector by parameters related to the specific musical instruments that are characteristic for the given musical genre allow for efficient automatic musical genre classification in case of database containing thousands of music excerpts and a dozen of genres. Results of extensive experiments show that the approach...
-
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...
-
Algorytm automatycznego strojenia regulatorów PI serwonapędów w maszynie frezującej CNC z wykorzystaniem metody optymalizacji rojem cząstek
PublicationPublikacja traktuje o zagadnieniu automatycznego strojenia przemysłowych regulatorów liniowych. Przedstawiono proces projektowania i implementacji systemu zarówno w środowisku symulacyjnym, jak i rzeczywistym. Przeanalizowano wyniki badań porównujących jakość działania układu sterowania przy zestawach parametrów regulatorów otrzymanych różnymi metodami. Jako metodę służącą poszukiwaniu odpowienich nastaw regulatorów wykorzystano...
-
Krzysztof Karwowski dr hab. inż.
People -
Some Problems of Heat and Power Distributed Generation Control = Wybrane zagadnienia sterowania automatycznego rozproszonego wytwarzania energii elektrycznej i ciepła
PublicationRozproszone wytwarzanie energii elektrycznej wnosi pewne problemy z punktu widzenia współpracy z zewnętrznym systemem elektroenergetycznym. Wynikają one z koniecznością zapewnienia należytej jakości energii elektrycznej (częstotliwości i napięcia). Są one tym większe im większą moc ma tego rodzaju źródło energii elektrycznej oraz im jest większa zmienność jego mocy. Z tego powodu największe trudności regulacyjne sprawiają farmy...
-
Bezpieczeństwo handlu elektronicznego
PublicationRozpatrzono i scharakteryzowano wielowarstwowe architektury systemów informatycznych wspomagających handel elektroniczny. Zasygnalizowano niezbędne różnego typu mechanizmy zabezpieczeń dla podstawowych usług i określonych klas zagrożeń. Główną uwagę zwrócono na podpisy cyfrowe. Na tej podstawie wprowadzono model zaufania oraz zdefiniowano metryki pozwalające na oszacowanie ryzyka przeprowadzanych transakcji. Zaprezentowano również...
-
Automatyczna akwizycja wybranych parametrów niepowtarzalnych przebiegów rejestrowanych za pomocą oscyloskopu.Zastosowanie Komputerów w Nauce i Technice.XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
Publication...
-
A method for measurements of geometry and positions of circular saw teethMetoda merania geometrie a polohy zubov v tele piloveho kotuca
PublicationW pracy przedstawiono sposób określania geometrii i położenia ostrzy piły tarczowej. Opisano metodę bazująca na numerycznej obróbce zarejestrowanych obrazów ostrzy pił w sposób automatyczny na automatycznym urządzeniu WKOPTar.
-
Rough set based automatic classification of musical instrument sound
PublicationReferat dotyczy problemu automatycznego rozpoznawania instrumentów muzycznych rozwiązywanego z zastosowaniem, inteligentnych algorytmów decyzyjnych. Wnioski zawarte w referacie dotyczą reprezentacji sygnałów muzycznych, która jest przydatna w procesie automatycznej klasyfikacji instrumentów.
-
Analiza porównawcza metod predykcji chwili zgodności fazowejw automatycznym synchronizatorze prądnic = Comparison of the methods of prediction time phase coincidence in automatic synchronizer of power generators
PublicationW artykule porównano dokładność wybranych metod realizacji warunku fazowego podczas synchronizacji obiektów elektroenergetycznych. Do porównania wybrano trzy metody: liniową, wielomianową oraz metodę adaptacyjnej synchronizacji prądnic z ekstrapolacją funkcją wymierną. Badania przeprowadzono dla różnych warunków pracy. Przyjęto stałą różnicę częstotliwości napięć synchronizowanych obiektów, różnicę częstotliwości zmieniającą się...
-
Opracowanie procedury i badania wytrzymałościowe połączeń spawanych pomiędzy rurą kwadratowa a elementami giętymi na zimno ze stali S355 oraz testowanie połączeń o grubości 4, 6, 8mm typu S355
PublicationCelem pracy było: - opracowanie procedury badania wytrzymałości połączeń spawanych rozciąganych w kierunku prostopadłym i w kierunku równoległym (ścinanych) do osi spoiny. Spoiny te łączyły elementy rur kwadratowych o różnej grubości z elementami w kształcie ceownika giętymi na zimno. - wykonanie próbek do badań wytrzymałościowych wyciętych z elementów spawanych dostarczonych przez Zakład Produkcyjny firmy Borga obciążonych prostopadle...
-
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...
-
Stanowisko laboratoryjne do diagnostyki układów elektronicznych za pomocą mieszanej sygnałowo magistrali testującej.
PublicationPrzedstawiono stanowisko laboratoryjne do testowania układów elektronicznych z wykorzystaniem magistrali testującej mieszanej sygnałowo, zgodnej ze standardem IEEE 1149.4. Stanowisko laboratoryjne zrealizowano w oparciu o wyposażone w magistralę IEEE 1149.4 układy scalone STA400, opracowane przez firmę National Semiconductor i Logic Vision. Sterowanie magistralą odbywa się poprzez kontroler wykonany z wykorzystaniem portu równoległego...
-
Diagnostics of high-voltage varistors by acoustic emission
PublicationWarystory, szeroko stosowane w ogranicznikach przepięć, powinny być testowane na końcowym etapie ich wytwarzania. Stosowane metody testowania wymagają użycia wysokich napięć i prądów o dużych natężeniach, co jest nidogodne, destrukcyjne i wymaga poboru relatywnie dużych pocy. W artykule zaproponowano zastosowanie analizy sygnału emisji akustycznej do predykcji jakości struktury warystora. Opisano system przygotowany do tej aplikacji,...
-
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...
-
Influence of electric power generator structure on frequency control - mathematical modeliling
PublicationPodstawowym celem pakietu ''3x20'' Unii Europejskiej jest zmniejszenie o 20% emisji dwutlenku węgla. Z tego powodu oczekuje się w Polsce rozwoju energetyki wiatrowej, podobnie jak energetyki jądrowej, a także mini elektrociepłowni. Elektrownie wiatrowe i jądrowe wnoszą specyficzne problemy w regulacji automatycznej częstotliwości systemu elektroenergetycznego. farmy wiatrowe wymagają pod tym względem wspomagania przez elektrownie...
-
Automatic Classification of Polish Sign Language Words
PublicationIn the article we present the approach to automatic recognition of hand gestures using eGlove device. We present the research results of the system for detection and classification of static and dynamic words of Polish language. The results indicate the usage of eGlove allows to gain good recognition quality that additionally can be improved using additional data sources such as RGB cameras.
-
Planowanie testów wspomagane analizą ryzyka
PublicationTestowanie wciąż pozostaje jednym z głównych sposobów zapewniania jakości oprogramowania. Testowanie pochłania znaczne zasoby, które w praktyce mogą się okazać zbyt kosztowne. Należy więc testy planować i to w taki sposób, by skontrolować efekty wynikające z testowania oraz nakłady ponoszone na testowanie dążąc do maksymalizacji współczynnika efektów-do-nakładów. Jedną z kluczowych decyzji w tym zakresie jest decyzja o wyborze...
-
Aplikacja RDC - Repozytorium dokumentów cyfrowych
PublicationOkreślono potrzeby i wymagania na utworzenie systemu zarządzającego repozytorium dokumentów cyfrowych - RDC. Opisano wymagania projektowe i przypadki użycia. Przedstawiono ogólny model architektury systemu oraz opis automatycznej klasyfikacji dokumentów. RDC jest systemem, który łączy w sobie podstawowe funkcje aplikacji nadzorującej gromadzenie dokumentów, w szczególności prac dyplomowych, wraz z dodatkowymi mechanizmami, które...
-
Automatic conversion of legacy applications into services in beesycluster
PublicationPrzedstawiono rozwiązanie, dzieki któremu uzytkownikw prosty sposób uzyskuje mozliwość automatycznej konwersji aplikacji dostępnych w systemach Unix do usług w systemie BeesyCluster. system BeesyCluster stanowi warstę pośredniczącą w dostepie do sieci klasrów poprzez WWW. Aby zapewnić szeroki zakres dostępnych usług mozliwa jest konwersja wielu pakietów linuksowych jednoczesnie. narzędzie umozliwia na podstawie wydobytych informacji...
-
Analiza odręcznych schematów blokowych z oceną ich estetyki
PublicationKsiążka dotyczy problematyki rozpoznawania, analizy i estetyzacji ręcznie rysowanych diagramów. W szczególności skupiono się na schematach blokowych. W książce poruszono trzy główne grupy zagadnień: przetwarzania wstępnego, segmentacji i rozpoznawania obrazów, automatycznej analizy i interpretacji schematów z wykorzystaniem podejścia lingwistycznego i formalizmu gramatyk grafowych oraz zagadnienia związane z oceną estetyki prezentowania...
-
An oscillation-based built-in test scheme with AGC loop.
PublicationPrzedstawiono oscylacyjny tester wbudowany (OBIT) do testowania części analogowej elektronicznego układu mieszanego sygnałowo zmontowanego na pakiecie. W celu zwiększenia współczynnika pokrycia uszkodzeń, w testerze zastosowano pomiary w dziedzinie czasu i częstotliwości. Omówiono wybrane aspekty implementacji testera, w szczególności problem transformacji układu testowanego w oscylator. Przeprowadzono analizę stanu ustalonego...
-
Podsystem wizualizacji w adaptacyjnym synchronizatorze prądnic =The vizualizzation subsystem of adaptabile synchronizer of power generators
PublicationZamieszczono opis podsystemu wizualizacji układu automatycznej synchronizacji układu autopmatycznej synchronizacji prądnic pracującego wg opracowanej adaptacyjnej metody synchronizacji. Zawarto synchronizacje dot. zadań podsystemu wizualizacji wraz z prezentacją wybranych okien graficznego interfejsu uzytkownika. Omówiono również sposób realizacji podsystemu wizualizacji. Zwrócono uwagę na znaczenie i rolę dobrze zorganizowanej...
-
Ekspertyza porównawcza w zakresie możliwości wykorzystania standardów komunikacyjnych do zastosowania w systemie zdalnego automatycznego odczytu ciepłomierzy na potrzeby przedsiębiorstwa energetyki cieplnej Geotermia Podhalańska S.A.
PublicationCelem ekspertyzy było porównnie zakresu możliwości wykorzystania standardów komunikacyjnych do zastosowania w systemie zdalnego automatycznego odczytu ciepłomierzy
-
Automated high-capacity sorption probe for extraction of organic compounds in aqueous samples followed by gas chromatographic analysis.
PublicationOpracowano zautomatyzowany zestaw wyposażony w próbnik o dużej pojemności sorpcyjnej do oznaczania związków śladowych z zastosowaniem chromatografii gazowej. Zestaw łączy prostotę SPME z wysoką wydajnością techniki ekstrakcji z zastosowaniem ruchomego elementu sorpcyjnego (SBSE). Procedura pobierania próbek była przeprowadzana z zastosowaniem podajnika automatycznego. Ze względu na pełną automatyzację zestawu, możliwa jest bezobsługowa...
-
Michał Michna dr hab. inż.
PeopleMichal Michna received the M.Sc. and Ph.D. degrees in electrical engineering from the Gdansk University of Technology (GUT), Gdansk, Poland, in 1998 and 2005, respectively. Since 2004, he was employed at the Department of Power Electronics and Electrical Machines of the Gdańsk University of Technology (assistant, assistant professor, senior lecturer). In 2010-2015 he was a deputy of head of the Department of Power Electronics and...
-
Quality assessment of varistor ZnO structures by resonant ultrasound spectroscopy
PublicationWarystory sa wytwarzane z tlenku cynku ZnO jako cylindrycznie uformowane struktury, a ich jakość zależy od zmieniających się uwarunkowań technologicznych na etapach formowania ich kształtu oraz spiekania. W związku z tym są one testowane w końcowej fazie produkcji, a elementy wadliwe się odrzuca. Proponujemy testowanie jakości struktur ZnO we wcześniejszej fazie ich wytwarzania w celu wyeliminowania elementów wadliwych z dalszej,...
-
Automatyzacja procesu modelowania geometrycznych obiektów 3Dz wykorzystaniem "Modellera" programu polowego Opera 3D
PublicationW zagadnieniach optymalizacyjnych, w których wykorzystuje się programy polowe istnieje konieczność wprowadzenia zmian w geometrii obiektu i wykonania ponownych obliczeń. Często zachodzi potrzeba budowy modelu 3D od podstaw. Rozwiązaniem jest automatyzacja tego procesu.W pracy omówiono sposób automatycznego załadowania instrukcji wykonywanych automatycznie przez "Modeller" programu Opera 3D. Pokazano sposób parametryzowania geometrii...
-
Automatic prosodic modification in a Text-To-Speech synthesizer of Polish language
PublicationPrzedstawiono system syntezy mowy polskiej z funkcją automatycznej modyfikacji prozodii wypowiedzi. Opisane zostały metody automatycznego wyznaczania akcentu i intonacji wypowiedzi. Przedstawiono zastosowanie algorytmów przetwarzania sygnału mowy w procesie kształtowania prozodii. Omówiono wpływ zastosowanych modyfikacji na naturalność brzmienia syntezowanego sygnału. Zastosowana metoda oparta jest na algorytmie TD-PSOLA. Opracowany...
-
Symulator Sym-PS4 sterownika programowalnego PS4-201-MM1
PublicationW pracy przedstawiono opis opracowanego programowego symulatora Sym-PS4 sterownika programowalnego PS4-201-MM1. Symulator umożliwia tworzenie i testowanie programów sterowania napisanych dla samego sterownika, jak również programów napisanych dla sterownika z dołączonymi do niego modułami rozszerzenia lokalnego LE4. Symulator posiada możliwość dołączania do niego tworzonych modeli sterowanych obiektów i pozwala na symulację działania...
-
Test limitations induced by fault-driven instability of analog circuits.
PublicationCelem pracy jest ocena ograniczeń testowania uszkodzeń parametrycznych wynikajacych z utraty stabilności przez testowany układ analogowy. Zastosowano metody zapożyczone z teorii sterowania: liniową transformacje frakcyjną i analizę metodą strukturalnych wartości szczególnych. Przykładowej analizie poddano filtr typu leapfrog. Do obliczeń wykorzystano środowisko Matlab/Simulink. Wyniki obliczeń wykazały dużą podatność testowanego...
-
The Evaluation of Use of Colors in Graphical User-Interfaces in Healthcare
PublicationIn this paper, color difference/contrast measures are investigated in reference to results of experiments with the participation of average, color-normal observers and with individuals with deuteranopia. Additionally, a new method for the automatic analysis of color contrast is proposed, which supports designers of graphical user- interfaces in healthcare. The method was verified using the GUI phantom of a vital signs monitor (the...
-
Mechatronic system for automatic inspection of circular saw teeth
PublicationArtykuł prezentuje system mechatroniczny do automatycznej oceny geometrii ostrzy pił tarczowych. Opisywany system wizyjny został zastosowany w automatycznym kontrolerze ostrzy pił tarczowych WKOPTar. Wrzeciono urządzenia posiada swój napęd sterowany bezstopniowo obrazem ostrzy i zapewnia powtarzalne pozycjonowanie ostrzy w celu przechwycenia ich obrazów, które są następnie analizowane z wykorzystaniem specjalnego oprogramowania....
-
Sterowanie automatyczne i regulacja turbin_2021
e-Learning CoursesOgólna analiza układów regulacji. Wielkości charakterystyczne procesu regulacji turbozespołów parowych i gazowych. Charakterystyki statyczne turbozespołów. Charakterystyki dynamiczne układów regulacji automatycznej. Specyfika regulacji turbozespołów parowych. Regulacja turbozespołów gazowych. Regulacja automatyczna bloków kombinowanych. Regulacja automatyczna turbin okrętowych. Modele matematyczne turbin parowych oraz turbin gazowych....
-
A laboratory model of an inspection vehicle. [Model laboratoryjny pojazdu inspekcyjnego]
PublicationW pracy opisano konstrukcję laboratoryjnego modelu pojazdu inspekcyjnego oraz zaproponowano system wielowątkowego sterowania pojazdem. Do budowy autonomicznego pojazdu wykorzystano napędzany elektrycznie już istniejący model laboratoryjny samochodu osobowego. Konstruowany pojazd wyposażono w specjalnie zaprojektowane elektroniczne układy czujnikowe pozwalające wykrywać i śledzić zaznaczoną kolorem czarnym trasę oraz mierzyć odległości...
-
Klasyfikacja aktywności kory wzrokowej za pomocą elektroencefalografu
PublicationW niniejszej pracy została przedstawiona metodologia konstrukcji i oceny systemu cyfrowego automatycznie klasyfikującego dane pochodzące z elektroencefalografu. Opracowana procedura badawcza pozwoliła na przetestowanie rozwiązania na różnych osobach, w różnym wieku, o różnych porach dnia, z wykorzystaniem różnych konfiguracji urządzeń i modeli zjawiska. Uzyskano stuprocentową skuteczność automatycznego rozpoznania stanu spoczynkowego...
-
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...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Testing interaction models by using x-ray absorption spectroscopy: solid Pb
PublicationPraca prezentuje zastosowanie metody EXAFS jako narzędzia do testowania potencjałów oddziaływań międzyatomowych używanych w symulacjach dynamiczno-molekularnych na przykładzie czystego ołowiu w fazie stałej (od temperatury pokojowej do temperatury topnienia). Testowaniu poddano następujące potencjały: dwuciałowy empiryczny potencjał Dzugutova, Larssona i Ebbsjo (DLE), potencjał ciasnego wiązania (TB) i potencjał w modelu osadzonego...
-
Musical instrument sound separation methods supported by artificial nueural network decision system
PublicationRozprawa doktorska (27 czerwica 2006).Celem prowadzonych prac badawczych było opracowanie algorytmów separacji dźwięków instrumentów muzycznych. Dodatkowo dobrano zestaw parametrów tak aby możliwe było wytrenowanie sztucznej sieci neuronowej w celu automatycznego rozpoznawania odseparowanych sygnałów. Zaproponowano również aby algorytm decyzyjny odpowiedzialny za klasyfikacje dźwięków pełnił funkcję automatycznej metody oceny algorytmów...
-
Self-testing of fully differential multistage circuits using common-mode excitation
PublicationPrzedmiotem artykułu jest, zorientowane na uszkodzenia, testowanie wielostopniowych układów w pełni różnicowych. Zaproponowano metodę testowania z zastosowaniem pobudzenia układu testowanego sygnałem wspólnym. Rozważane są dwa warianty metody. Pierwszy wariant wykorzystuje do pobudzenia wejście każdego różnicowego stopnia. Drugi wariant wykorzystuje dodatkowe wejście wzmacniacza operacyjnego i testuje wielostopniowy układ bez jego...
-
Detekcja uszkodzeń w analogowych układach w pełni różnicowych.
PublicationPrzedmiotem pracy jest detekcja uszkodzeń w analogowych układach elektronicznych o architekturze w pełni różnicowej, cechującej się strukturalną redundancją ułatwiającą testowanie i diagnostykę. W oparciu o model matematyczny układów w pełni różnicowych, usystematyzowano metody ich testowania. Wykazano, że dotychczas stosowane metody są kosztowne w odniesieniu do układów ze wzmacniaczami operacyjnymi, w których zastosowano sprzężenie...
-
Diagnostyka układów elektronicznych z wykorzystaniem magistrali testujących
PublicationPrzedstawiono przegląd magistral testujących przeznaczonych do diagnostyki układów elektronicznych: magistralę IEEE 1149.1 dla układów cyfrowych, magistralę IEEE 1149.4 dla układów mieszanych sygnałowo oraz magistralę IEEE 1149.6 dla układów cyfrowych sprzężonych pojemnościowo. Pokazano wyniki badań nad wykorzystaniem magistrali IEEE 1149.4 do pomiarów interkonektów typu RLC na pakietach układów elektronicznych. Do badań użyto...
-
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...
-
Janusz Górski prof. dr hab. inż.
People -
Usuwanie tła w video nagraniach pochodzących z monitorowania basenu pływackiego
PublicationAutomatyczna obróbka obrazu w czasie rzeczywistym jest kluczowa dla wielu rozwiązań monitoringu wykorzystywanych m.in. w celach bezpieczeństwa. Często jednym z ważniejszych etapów obróbki jest oddzielenie tła od obiektów na pierwszym planie, tak aby wykluczyć wszystkie nieistotne informacje z obrazu. Celem niniejszej pracy jest podsumowanie doświadczenia zdobytego podczas śledzenia pływaków oraz pokazanie możliwości skutecznego...
-
Generation of conformance test suites for parallel and distributed languages and APIS.
PublicationArtykuł zarysowuje nową metodologię systematycznego tworzenia Zestawów Testów Zgodności. Testowanie zgodności ma na celu sprawdzenie, czy implementacja jest zgodna ze swoją specyfikacją, co jest szczególnie ważne w środowiskach równoległych i rozproszonych, gdzie musi ze sobą współpracować wiele różnych pakietów. Autor rozpoczął swoje badania w dziedzinie testowania zgodności dla języka równoległego sterowanego danymi Athapascan,...