Filters
total: 867
-
Catalog
Search results for: automatyczne testowanie
-
Logika opisowa jako język modelowania oprogramowania
PublicationW referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...
-
Iwona Kochańska dr hab. inż.
PeopleIwona Kochańska is a graduate of Faculty of Electronics, Telecommunications and Informatics, Gdansk University of Technology. She received M.Sc. degree in Automation Control and Robotics, specializing in the mobile objects control. In 2012 she received Ph.D. degree in hydroacoustics. In the same year she started working as an assistant professor in the Department of Marine Electronic Systems. The main area of interest is hydroacoustis, ...
-
Metody Śledzenia Obiektów W Rozproszonych Systemach Monitoringu Wideo
PublicationSystemy monitoringu wideo stały się powszechną częścią zarówno przestrzeni publicznej jak również miejsc o ograniczonym dostępie. Nadzór obszaru o dużej powierzchni wymaga rozmieszczenia wielu kamer. Skuteczna analiza przez człowieka dużej liczby obrazów wideo jest praktycznie niemożliwa. Dlatego rozwijane są metody służące do automatycznego przetwarzania wideo ukierunkowanego na analizę kontekstową. W przypadku niepokrywających...
-
Rozpoznawanie chorób układu pokarmowego z wykorzystaniem technik sztucznej inteligencji
PublicationCelem pracy jest przedstawienie i ocena algorytmów rozpoznawania chorób w filmach endoskopowych pod kątem możliwości ich zastosowania do budowy systemów automatycznego wykrywania chorób dla rzeczywistego wspomagania badań lekarskich. Porównano efektywność najnowszych algorytmów poprzez pomiar ich skuteczności w zaawansowanym środowisku testowym, zbudowanym w oparciu o materiały z filmów endoskopowych, opracowane we współpracy z...
-
Zdzisław Kowalczuk prof. dr hab. inż.
PeopleZdzislaw Kowalczuk received his M.Sc. degree in 1978 and Ph.D. degree in 1986, both in Automatic Control from Technical University of Gdańsk (TUG), Gdańsk, Poland. In 1993 he received his D.Sc. degree (Dr Habilitus) in Automatic Control from Silesian Technical University, Gliwice, Poland, and the title of Professor from the President of Poland in 2003. Since 1978 he has been with Faculty of Electronics, Telecommunications and Informatics...
-
Ryszard Woźniak dr inż.
PeopleRyszard Woźniak received his M.Sc. (1984) from the Lublin University of Technology specializing in Cars and Tractors. In 2002, at the Gdansk University of Technology he defended his doctoral thesis on: "Tyre/road noise when large longitudinal forces are applied in tyre/road contact patch" and obtained a doctorate degree in technical sciences in the field of construction and operation of machines. Currently he is an adjunct at the...
-
Kurs do testowania (M.Stępniak)
e-Learning Courses -
Teresa Olszewska dr hab. inż.
People -
Uczenie maszynowe do samoorganizacji systemów rozproszonych w zastosowaniach gospodarczych
PublicationW pracy omówiono uczenie maszynowe do samoorganizacji systemów rozproszonych w zastosowaniach gospodarczych ze szczególnym uwzględnieniem sieci neuronowych do predykcji finansowych oraz szacowania ratingu przedsiębiorstw. Oprócz sieci neuronowych, istotną rolę w przygotowaniu i testowaniu informatycznych systemów finansowych może pełnić programowanie genetyczne. Z tego powodu omówiono uczenie maszynowe w aplikacjach konstruowanych...
-
Analiza systemu zabezpieczeń dla internetowego portalu typu Online Judge
PublicationPrzedmiotem rozważań jest powszechnie dostępny portal internetowy pozwalający na organizację zawodów programistycznych. System taki, określany popularnie jako online judge lub online contester, udostępnia użytkownikom do rozwiązania zestaw zadań o charakterze algorytmicznym. Reguły konkursów oraz treści i zasady oceny poszczególnych zadań ustalane są przez uprzywilejowanych użytkowników zarządzających swoimi konkursami poprzez...
-
Automatyczna wytwornica pary
Research Equipment -
Testowanie oprogramowania systemów krytycznych - zima'22
e-Learning Coursesxxx
-
Testowanie oprogramowania systemów krytycznych - zima'24
e-Learning Courses -
Współczesne trendy w diagnostyce układów elektronicznych z wykorzystaniem magistral testujących
PublicationPrzedstawiono najnowsze trendy w dziedzinie testowania układów elektronicznych z wykorzystaniem opartych na brzegowej ścieżce sterująco-obserwacyjnej magistral testujących. Dla każdej magistrali przedstawiono jej strukturę oraz rozwiązania kluczowych elementów. Przedstawiono wyniki badań nad wykorzystaniem magistrali IEEE 1149.4 do testowania i identyfikacji uszkodzeń w układach elektronicznych z użyciem wyposażonych w magistralę...
-
Konfrontowanie reprezentatywnych struktur spektralnych odpowiedzi impulsowej kanału głosowego
PublicationEwidentne zróżnicowanie nawyków artykulacyjnych charakterystyczne dla dźwięków mowy różnych języków zmusza do odnajdywania znaczących podobieństw nie w obrazie akustycznym mowy swobodnej, a jedynie w jej zawoalowanych fragmentach odpowiedzialnych za przekaz kodu informacji (sensu). W pracy omówiono metody i rezultaty automatycznego kwalifikowania wybranych leksemów trzech systemów języka na podstawie konfrontowania ich cyfrowych...
-
Testing method of analog parts for mixed signal microsystems based on microcontrolles.
PublicationZaproponowano nową metodę detekcji i lokalizacji pojedynczych uszkodzeń parametrycznych, która może znaleźć zastosowanie do samo-testowania sieci analogowych w mikrosystemach mieszanych sygnałowo sterowanych mikrokontrolerami. Metoda ta jest oparta na przekształceniu transformującym próbki odpowiedzi czasowej na pobudzenie impulsem prostokątnym na krzywe identyfikacyjne na płaszczyźnie. Metoda pozwala na detekcję i lokalizację...
-
Dariusz Karkosiński dr hab. inż.
People -
Proportional-derivative and Model-based Controllers for Control of a Variable Mass Manipulator
PublicationW artykule prezentowano wyniki analiza numeryczna dynamiki manipulatora o zmiennej masie. W skład manipulatora wchodzą jedynie członu i przeguby obrotowe. Ładowność chwytaka jest traktowana jako jedyny element o zmiennej masie. Podobnie jak w przypadku innych manipulatorów wyposażonych w przeguby obrotowe, parametry jego dynamika zależą od aktualnego ustawienia. Gdy przemieszczenia obejmują większy zakres roboczy, w równaniach...
-
Pattern matching localization in ZigBee wireless sensor networks.
PublicationLokalizacja typu Pattern matching w sieciach sensorów bezprzewodowych ZigBee.Prezentacja metod implementacji algorytmów lokalizacji. Praktyczne zastosowanie i testowanie lokalizacji sieci ZigBee.
-
Design of Weather Disruption-Tolerant Wireless Mesh Networks
PublicationZ uwagi na wysoki koszt realizacji sieci teleinformatycznych wykorzystujących przewodową transmisję światłowodową, bezprzewodowe sieci kratowe (WMN) oferujące transmisję rzędu 1-10 Gb/s (przy wykorzystaniu pasma millimeter-wave - 71-86 GHz), wydają się być obiecującą alternatywą dla przewodowych sieci MAN. Jednakże z uwagi na właściwości transmisji bezprzewodowej w oparciu o łącza wysokiej częstotliwości, łącza te są bardzo wrażliwe...
-
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.
-
Piotr Suchomski dr inż.
People -
Internetowa telediagnostyka układów elektronicznych.
PublicationPrzedstawiono realizację sprzętową i programistyczną prototypowej usługi sieciowej, której zadaniem jest testowanie i lokalizowanie uszkodzeń w mieszanych sygnałowo układach elektronicznych za pośrednictwem Internetu.
-
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...
-
Od projektu do programu
PublicationPraca wprowadza w zagadnienia implementacji i testowania, pod kątem proble-mów i metod przekształcania wyników fazy projektowania w oprogramowanie. O-mówienie poprzedza krótkie wprowadzenie w zagadnienia modelowania zachowańprogramu. Treść rozdziału uwzględnia też problem implementacji w postaci o-programowania równoległego, zarówno w zakresie specyfiki jego wytwarzania,jak i testowania.
-
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.
-
Emulator analogowych uszkodzeń parametrycznych
PublicationW artykule przedstawiono emulator uszkodzeń analogowych bazujący na mikrosystemie jednoukładowym. Użycie struktur programowalnych znacznie ułatwia wprowadzanie uszkodzeń parametrycznych pojedynczych i wielokrotnych w szerokim zakresie zmian wartości parametrów. Urządzenie służy do wspomagania badań w zakresie testowania zorientowanego na uszkodzenia. Mechanizm dynamicznej rekonfiguracji układu obniża koszty i przyspiesza eksperymentalną...
-
Emulator analogowych uszkodzeń parametrycznych w programowalnym systemie jednoukładowym
PublicationW referacie przedstawiono emulator uszkodzeń analogowych bazujacy na mikrosystemie jednoukładowym. Użycie struktur programowalnych znacznie ułatwia wprowadzanie uszkodzeń parametrycznych pojedynczych i wielokrotnych w szerokim zakresie zmian wartości parametrów. Urzadzenie służy do wspomagania badań w zakresie testowania zorientowanego na uszkodzenia. Mechanizm dynamicznej rekonfiguracji układu obniża koszty i przyspiesza eksperymentalną...
-
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.
-
System lokalizacji dla niewidomych, oparty na nawigacji satelitarnej i zliczeniowej
PublicationOpracowano, wykonano i przetestowano prototyp urządzenia nawigacyjnego dla osób niewidomych złożony z palmtopa, zawierającego mapę elektroniczną, odbiornika GPS, modułu czujników przyspieszenia i pola magnetycznego oraz klawiatury bezprzewodowej i syntezatora mowy, umożliwiający samodzielne poruszanie się po nieznanym terenie, w szczególności na terenie miasta. W urządzeniu tym zaimplementowano szereg algorytmów wyznaczania położenia...
-
Możliwości i ryzyka związane z automatyzacją weryfikacji pracy studentów na przykładzie przedmiotu Metrologia
PublicationPrzedmiot Metrologia jest wykładany na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej na trzecim semestrze studiów na trzech kierunkach: Elektronika i Telekomunikacja, Inżynieria Biomedyczna oraz Automatyka, Cybernetyka i Robotyka. W trakcie zajęć laboratoryjnych studenci wykonują sześć ćwiczeń, z których dwa są całkowicie oceniane przez program weryfikujący...
-
Inteligentny system przetwarzania testów egzaminacyjnych ISTE
PublicationW pracy opisano koncepcję inteligentnego systemu ISTE służącego do edycji i automatycznej analizy testów egzaminacyjnych
-
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.
-
Tomasz Edward Berezowski dr inż.
PeopleHe was born in 1986 in Warsaw. He graduated in 2009 with honors from the Interfaculty Study of Environmental Protection at SGGW in Warsaw, specialty Restoration and Management of Environment. He defended his doctorate with honors at Vrije UIniversiteit Brussels in 2015. In 2015-2017 he worked as an assistant and then assistant professor at the Faculty of Civil and Environmental Engineering at SGGW. In 2017, he was employed as an...
-
A prediction of the fault-induced instability of circuit under test as a new approach in categorisation of faults.
PublicationW artykule przedstawiono nowy sposób kategoryzacji uszkodzeń w analogowych układach elektronicznych. Zaproponowano kryterium oparte na predykcji niestabilności indukowanej przez uszkodzenie w testowanym układzie. Przyjeto, że granicą pomiędzy uszkodzeniem miękkim i katastroficznym jest najmniejsza odchyłka parametru elementu, która sprowadza układ testowany do granicy stabilności. Wzrost wartości odchyłki poza wyznaczony margines...
-
Wykorzystanie taksonomii do integracji danych w zasobach Internetu
PublicationRozproszony zbiór danych internetowych można zintegrować i efektywnie zorganizować wykorzystując możliwości usług sieciowych i taksonomii. W artykule przedstawiono wyniki pomiarów nakładu pracy niezbędnej do budowy usług sieciowych publikujących zorganizowane zbiory danych. Omówiono zasady ręcznej i automatycznej budowy taksonomii. Przeanalizowano problemy optymalizacji takiej struktury oraz korzyści z kolorowania nazw wyróżnionych...
-
Computer aided registration of current pulses in polyethylene insulation during the first stage of electrical treeing.
PublicationW referacie przedstawiono aplikację w programie Labview do automatycznej rejestracji impulsów prądowych zjawisku drzewienia elektrycznego w izolacji polietylenowej.
-
Zastosowanie sztucznych sieci neuronowych do prognozowania cen na Giełdzie Energii
PublicationOpisano narzędzie wykorzystujące sztuczne sieci neuronowe do prognozowania cen energii na giełdzie. Przedstawiono wyniki testowania modelu.
-
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.
-
System monitorowania korozji w instalacjach wodnych platformy wydobywczej Baltic Beta
PublicationRealizacja doktoratu rozwiązała problemy korozyjne w jednym ze strategicznych obszarów procesu eksploatacji ropy. Polegała na uruchomieniu monitoringu korozji w instalacji zatłaczającej wodę morską do złoża ropy, na platformie wydobywczej firmy LOTOS Petrobaltic. Wdrożono automatyczny system monitorowania korozji metodą polaryzacji liniowej, oszacowano korozyjność uzdatnionej wody, zidentyfikowano rodzaje korozji występujące w...
-
Automatic recognition of the arterial input function in MRI studies
PublicationArtykuł prezentuje opis automatycznej metody detekcji tętniczej funkcji wejście (AIF). Metoda została porównana z klinicznie pomierzonymi seriami obrazów DSC-MRI.
-
Wielozadaniowy sterownik PLC do zautomatyzowanych napędów - stanowisko badawczo-szkoleniowe.
PublicationPrzedstawiono nowe stanowisko badawczo-szkoleniowe przeznaczone do testów cykli ruchów realizowanych przez zautomatyzowane napędy prądu przemiennego. Możliwe jest testowanie oprogramowania PLC do zdalnego sterowania napędami a także doświadczalna weryfikacja oddziaływania parametrów nastawnych na właściwości napędu.
-
Sterowanie z wykorzystaniem rachunku niecałkowitego rzędu reaktorem wodnym ciśnieniowym elektrowni jądrowej
PublicationCelem rozprawy doktorskiej było rozwiązanie problemu naukowego zdefiniowanego jako sterowanie szybkimi procesami reaktora wodnego ciśnieniowego elektrowni jądrowej typu PWR. Wielkością sterowaną była średnia moc cieplna reaktora przy szerokim zakresie zmian punktu pracy. Podstawowe nowe podejście do sterowania rozważane przy rozwiązywaniu problemu sterowania to połączenie nowoczesnych technik związanych z rachunkiem różniczkowo-całkowym...
-
Specyfikacja niebezpiecznych i podejrzanych zdarzeń w strumieniach wizyjnych, fonicznych i multimodalnych
PublicationWspółczesne systemy monitoringu wizyjnego są złożone z wielu kamer pokrywających rozległe obszary i liczne pomieszczenia. Zakres zdarzeń zachodzących w tych kamerach, mogących stanowić poważne zagrożenia bezpieczeństwa, jest bardzo szeroki \cite{rau}. Operatorowi złożonego systemu monitoringu trudno jest zaobserwować na ekranach monitorów każde zachodzące zdarzenie, wiele praktycznie działających systemów monitoringu wizyjnego...
-
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.
-
Opinia o innowacyjności: Poprawa konkurencyjności przedsiębiorstwa TES Sp. z o.o. dzięki wdrożeniu innowacyjności procesowej w produkowanych maszynach rozdmuchowych
PublicationPrzedstawiono opinię dotyczącą rozwiązania do optymalizacji i monitoringu maszyn rozdmuchowych na etapie ich testowania, bezpośrednio przed wysyłką do klienta.
-
Rational design, synthesis and biological evaluation of thiadiazinoacridines: a new class of antitumor agents.
PublicationZsyntetyzowano serię związków o potencjalnej zdolności do wiązania się z DNA z grupy tiadiazinoakrydyn poprzez cyklizację odpowiednich pochodnych 9-imino-4-nitro-9,10-dihydroakrydyny. Zbadano ich zdolność do wiązania się z DNA oraz cytotoksyczność względem kilku linii komórek nowotworwych. Badania aktywności przeciwnowotworowej wobec białaczki P388 wskazały na zgodność tych wyników z wynikami cytotoksyczności in vitro. Wykazano,...
-
Application of Soft Computing to Automatic Music Information.
PublicationArtykuł przedstawia problemy związane z automatyczną klasyfikacją instrumentów muzycznych. Przedstawiono w nim przegląd metod, które moga służyć temu celowi oraz przykłady eksperymentów.
-
Marek Chodnicki dr inż.
People