Filtry
wszystkich: 2919
-
Katalog
- Publikacje 2390 wyników po odfiltrowaniu
- Czasopisma 101 wyników po odfiltrowaniu
- Osoby 120 wyników po odfiltrowaniu
- Wynalazki 23 wyników po odfiltrowaniu
- Projekty 17 wyników po odfiltrowaniu
- Laboratoria 5 wyników po odfiltrowaniu
- Zespoły Badawcze 10 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 208 wyników po odfiltrowaniu
- Wydarzenia 11 wyników po odfiltrowaniu
- Dane Badawcze 32 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: MAGAZYNY OBIEKTÓW
-
Programowanie obiektowe i grafika komputerowa 2024
Kursy Online -
Programowanie Obiektowe i Grafika Komputerowa - 2023
Kursy Online -
Obiektowe języki programowania III - 2023/24
Kursy Online -
Obserwatory prędkości dla bezczujnikowego sterowania maszynami prądu przemiennego
PublikacjaPrzedstawiono model matematyczny uogólnionej maszyny elektrycznej rozszerzony przez wprowadzenie dodatkowych zmiennych. Na podstawie modelu rozszerzonego opracowano strukturę obserwatora prędkości maszyny uogólnionej. Zaprezentowano struktury obserwatorów prędkości dla poszczególnych rodzajów maszyn prądu przemiennego. Pokazano, że prędkość kątową wirnika można odtwarzać dla różnych typów maszyn stosując odpowiednie zmienne stanu...
-
Bezczujnikowe sterowanie pięciofazową maszyną indukcyjną klatkową zasilaną z falownika prądu
PublikacjaW rozprawie podjęto temat bezczujnikowego sterowania pięciofazową maszyną indukcyjną zasilaną z falownika prądu. Autor rozprawy zaproponował nowe struktury regulacji dla pięciofazowej maszyny indukcyjnej zasilanej z falownika prądu (w podwójnym układzie współrzędnych), które umożliwiają lepsze wykorzystanie obwodu magnetycznego maszyny, poprzez kontrolowaną iniekcję trzeciej harmonicznej prądu. W rozprawie przedstawiono algorytmy...
-
Nonlinear Backstepping Ship Course Controller
PublikacjaStatek, jako obiekt sterowania charakteryzuje się nieliniową manewrową funkcją opisującą. Metoda backstepping jest jedną z metod, które mogą być wykorzystane w procesie projektowania nieliniowych układu sterowania kursem statków. Metoda została zastosowana w celu zaprojektowania dwóch konfiguracji nieliniowych regulatorów kursu.Regulatory zostały przebadane w układach regulacji kursu statku. Jedna z konfiguracji w fazie projektowania...
-
Bio-ecobattery Bio-ekoinnowacyjny przenośny magazyn termalny dla zastosowań elektromobilnych
ProjektyProjekt realizowany w Katedra Energetyki i Aparatury Przemysłowej zgodnie z porozumieniem LIDER/4/0008/L-9/17/NCBR/2018 z dnia 2018-10-29
-
Analiza dostępności kampusu Politechniki Gdańskiej dla osób z niepełnosprawnością
PublikacjaOpis dostępności obiektów kampusu Politechniki Gdańskiej z uwzględnieniem potrzeb osób z niepełnosprawnością. Ocenie poddano 40 obiektów naukowo-dydaktycznych, laboratoria i domy studenckie, których właścicielem jest Politechnika Gdańska. Ekspertyza zawiera dokumentację zdjęciową zauważonych barier przestrzennych, które utrudniają lub uniemożliwiają samodzielne poruszanie się po terenie kampusu PG osobom z ograniczeniami mobilności...
-
Planning emergency manoeuvres
PublikacjaW artykule poruszono problem planowania manewrów ostatniej szansy i zmian planowanej trajektorii statku w przypadku nieoczekiwanych zachowań obiektów obcych. Wprowadzono dwie metody. Pierwsza z nich jest odpowiedzialna za monitorowanie parametrów obiektów obcych, szacowanie prawdopodobieństwa nieprzepisowego zachowania i aktualizację trajektorii statku własnego. Druga to narzędzie wizualizacyjne umożliwiające nawigatorowi szybki...
-
Radiation phenomena from pseudochiral cylinders at plane wave incidence
PublikacjaPrzedstawiono wpływ materiałów pseudochiralnych na charakterystyki rozproszenia fali elektromagnetycznej od obiektów cylindrycznych. W celu zbadania zjawisk rozproszenia zastosowano kombinacje iteracyjnej procedury rozproszenia i metodę dopasowania rodzajów. Wpływ zastosowania materiałów pseudochiralych w konfiguracjach obiektów cylindrycznych zaprezentowano na charakterystykach pola rozproszonego w strefie dalekiej oraz na charakterystykach...
-
Piotr Odya dr inż.
OsobyPiotr Odya urodził się w Gdańsku w 1974. W 1999 roku ukończył z wyróżnieniem studia na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej zdobywając tytuł magistra inżyniera. Praca dyplomowa dotyczyła problemów poprawy jakości dźwięku w studiach emisyjnych współczesnych rozgłośni radiowych.Jego zainteresowania dotyczą montażu wideofonicznego, systemów dźwięku wielokanałowego. W ramach studiów doktoranckich...
-
Potyczki algorytmiczne, czyli Alicja i Bogdan w nowych sytuacjach. 4. Alicja i Bogdan w samochodzie.
PublikacjaZilustrowano problem przeszukiwania obiektów w nieznanych przestrzeniach na przykładzie jazdy samochodem.
-
Sanitarno - gigienicna bezpeka sistem protiopozeznogo vodopostacania
PublikacjaZagrożenia sanitarne we współczesnych warunkach funkcjonowania obiektów o podwyższonym zagrożeniu pożarowym.
-
OPINIA TECHNICZNA nr 6/PG/mosty Sprawowanie nadzoru naukowo-technicznego podczas opracowywania projektów obiektów hydrotechnicznych, mostowych i drogowych w ramach realizacji przedsięwzięcia pn. „Budowa drogi wodnej łączącej Zalew Wiślany z Zatoka Gdańską” Analiza konstrukcji mostów nad śluzą po modyfikacji detalu przeciwwagi w wyniku uwag NN przedstawionych w opinii nr 5/PG/mosty.
PublikacjaOpinię przygotowano w ramach prowadzonego nadzoru naukowo-technicznego podczas opracowywania projektów obiektów hydrotechnicznych, mostowych i drogowych w ramach realizacji przedsięwzięcia pn. „Budowa drogi wodnej łączącej Zalew Wiślany z Zatoka Gdańską”.
-
Fort ''Prusy'' w Szczecinie
PublikacjaPrzedmiotem artykułu jest fort ''Prusy'' stanowiący odrębną część umocnień Szczecina. Obiekt powstał w ramach rozbudowy umocnień po przejęciu miasta przez Prusy w I poł. XVIII wieku. Projektantem i budowniczym fortyfikacji Szczecina był Gerhard Cornelius Walrave (1692-1773), wybitny inżynier wojskowy i architekt pracujący dla królów pruskich w latach 1715-1747. Opisano okoliczności powstania nieistniejącego już obiektu, jego kształt...
-
Modelowanie budynków wielofunkcyjnych stanowiących elementy systemu logistycznego miasta
PublikacjaW tekście omówiono problematykę projektowania budynków wielofunkcyjnych stanowiących elementy miejskiego systemu logistycznego. W artykule przedstawiona została metodologia dotycząca projektowych aspektów modelowania obiektów wielofunkcyjnych, które wymagają od architektów podejścia wielokryterialnego w projektowaniu. Ponadto, biorąc pod uwagę dynamiczne funkcjonowanie oraz intensywny rozwój ośrodków miejskich w pracy przedstawiona...
-
Elementy rewitalizacji frontu wodnego w Jokohamie.
PublikacjaArtykuł omawia proces rewitalizacji starej tkanki obszarów portowych w Jokohamie w tym zbytecznych z punktu widzenia nowoczesnej technologii przeładunków starych magazynów.
-
Distributed tracking system with central trajectories initialization
PublikacjaW pracy rozważa się problem wyznaczania trajektorii przy użyciu rozproszonego, wieloczujnikowego systemu. W systemie tego typu trajektoria poruszającego się obiektu wyznaczana jest przez grupę lokalnych estymatorów stanu. Każdy z estymatorów korzysta z filtru Kalmana i danych z pojedynczego źródła w celu określenia trajektorii obiektu. Zwykle źródła danych (czujniki) pracujące na potrzeby estymatorów lokalnych nie obserwują takiego...
-
Łuk Białostocki
PublikacjaArtykuł prezentuje oddany do użytkowania w czerwcu 2011 wiadukt drogowy ,,Łuk Białostocki”. Konstrukcja ta z uwagi na lokalizację dźwigara łukowego względem osi pomostu – po przekątnej, jest w Polsce w swojej skali obiektem prototypowym. Ustrój nośny obiektu stanowi stalowy bezprzegubowy dźwigar łukowy, usytuowany w rzucie z góry po krótszej przekątnej konstrukcji, z podwieszonym za pomocą cięgien pomostem zespolonym. Rozpiętość...
-
WPŁYW OCENY WARTOŚCI ZACHOWANEGO KULTUROWEGO DZIEDZICTWA MATERIALNEGO NA PROCES INWESTYCYJNY NA TERENACH STOCZNI GDAŃSKIEJ OBJĘTYCH PROGRAMEM REWITALIZACYJNYM
PublikacjaRewitalizacja terenów poprzemysłowych i obiektów poprzemysłowych jest procesem długoterminowym i wieloetapowym. W pierwszym etapie rewitalizacji ważna jest ocena materialnej, emocjonalnej i użytkowej wartości zachowanego dziedzictwa kulturowego. Na przykładzie projektu rewitalizacyjnego, który trwa od 1996 r., Na dawnych obszarach Stoczni Gdańskiej, w których znajdują się pozostałości Stoczni Cesarskiej i Stoczni Schichau, przedstawiono...
-
Metody teorii sterowania w projektowaniu układów diagnostycznych.
PublikacjaPraca dotyczy zastosowania wybranych metod teorii sterowania do syntezy algorytmów detekcji uszkodzeń. Algorytmy takie, stanowiące istotną gałąź współczesnej diagnostyki technicznej obiektów dynamicznych, w swej istocie opierają się na rozwiązaniach odpowiednich zadań odpornego wyznaczania wektorów resztowych, czyli ważonych błędów oszacowań wyjścia danego obiektu dynamicznego (nadzorowanego procesu). Na treść pracy...
-
Architektura zespołu Politechniki Gdańskiej 1904-2018
PublikacjaBudynki i układ przestrzenny zespołu Politechniki Gdańskiej są doskonałym dokumentem są przemian architektury w XX wieku. Niezależnie od będącej przedmiotem dyskusji ciągłości lub nieciągłości dziejów uczelni jako instytucji prowadzącej badania naukowe i kształcącej studentów, jej architektura stanowi jednolitą całość. Położony u wylotu malowniczej doliny okolonej zielonymi wzgórzami zespół tworzą obiekty reprezentujące najważniejsze...
-
Wykorzystanie sztucznych sieci neuronowych do wykrywania i rozpoznawania tablic rejestracyjnych na zdjęciach pojazdów
PublikacjaW artykule przedstawiono koncepcję algorytmu wykrywania i rozpoznawania tablic rejestracyjnych (AWiRTR) na obrazach cyfrowych pojazdów. Detekcja i lokalizacja tablic rejestracyjnych oraz wyodrębnienie z obrazu tablicy rejestracyjnej poszczególnych znaków odbywa się z wykorzystaniem podstawowych technik przetwarzania obrazu (przekształcenia morfologiczne, wykrywanie krawędzi) jak i podstawowych danych statystycznych obiektów wykrytych...
-
Architektura latarni morskich wczoraj i dziś
PublikacjaLatarnie morskie jako znaki nawigacyjne są niezwykle interesującymi obiektami architektonicznymi. Smukłe formy wynikające z ich funkcji oraz specyficzna lokalizacja sprawiają, że są one charakterystycznymi punktami w krajobrazie nadmorskim. Identyfikują go wizualnie i stają się magnesem przyciągającym turystów. Latarnie morskie, jak wszystkie obiekty korzystające z rozwoju budownictwa i techniki zmieniały swoją formę, nie zmieniając...
-
Control theory methods in diagnostic system design
PublikacjaPraca dotyczy zastosowania wybranych metod teorii sterowania do syntezy al-gorytmów detekcji uszkodzeń. Algorytmy takie, stanowiące istotną gałąźwspółczesnej diagnostyki technicznej obiektów dynamicznych, w swej istocieopierają się na rozwiązaniach odpowiednich zadań odpornego wyznaczania wek-torów resztowych, czyli ważonych błędów oszacowań wyjściadanego obiektu dy-namicznego (nadzorowanego procesu). Na treść pracy...
-
Źródła generacji rozproszonej w systemie elektroenergetycznym
PublikacjaW artykule przedstawiono podstawy elementów systemu rozproszonej generacji. Wskazano na budowę systemu elektroenergetycznego wyposażonego w sterowane odbiory, źródła rozproszone, magazyny energii i układy kontroli napięcia FACTS. Renesans tych źródeł "pozasystemowych" (ang. non-utility genera-tion - NUG) jest wynikiem głębokich przemian w sferach techno-logii, organizacji i finansowania, zarządzania i nowego spojrzenia na ochronę...
-
Sterowanie maszyną dwustronnie zasilaną pracującą jako generator w elektrowni wiatrowej przy zapadach napięcia
PublikacjaW artykule przedstawiono problematykę dotyczącą sposobów regulacji mocy maszyny dwustronnie zasilanej pracującej jako generator w elektrowni wiatrowej. Poruszono problem działania generatora w przypadku pojawienia się zakłóceń napięcia po stronie systemu elektroenergetycznego w postaci zapadu napięcia. Zaprezentowano układy regulacji mocy, oparte na modelach multiskalarnych maszyny asynchronicznej, umożliwiające rozszerzenie zakresu...
-
Kompensacja drgań w napędzie z silnikiem klatkowym
PublikacjaW artykule zaproponowano możliwość wykorzystania maszyny elektrycznej do kompensacji drgań momentu transmitowanego do obciążenia za pośrednictwem przekładni zębatej. Redukcje drgań na wale wyjściowym przekładni uzyskano w wyniku generowania odpowiedniej składowej zmiennej momentu elektromagnetycznego w silniku asynchrownicznym. Zaproponowano wykorzystanie bezczujnikowego układu sterowania momentem kompensującym do synchronizacji...
-
Przetwarzanie i analiza obrazów sonarowych powierzchni dna basenu portowego
PublikacjaW artykule przedstawiono problemy związane z poszukiwaniem obiektów zalegających na dnie basenu portowego.
-
Lekka obudowa, część 1: Klasyfikacja i wymagania
PublikacjaLekka obudowa ścienna i dachowa obiektów szkieletowych. Klasyfikacja i wymagania dla lekkich przegród
-
Problemy konstrukcyjne zastosowania kanalizacyjnej studzienki rewizyjnej
PublikacjaKonstrukcja kanalizacyjnej studzienki rewizyjnej. Charakterystyczne grupy obiektów. Konsekwencje, specyfika posadowienia, warunki eksploatacji. Posadowienie
-
Evolutionary Sets of Cooperating Trajectories in Multi-Ship Encounter Situations - use cases
PublikacjaPrzedstawiono tu zalety nowego, proponowanego przez autora podejścia do sytuacji spotkań wielu statków na morzu. Podejście to polega na zastąpieniu ewolucyjnej trajektorii własnej ewolucyjnym zbiorem trajektorii wszystkich obiektów. Umożliwia to predykcję manewrowania obiektów obcych przy jednoczesnym zachowaniu efektywności algorytmów ewolucyjnych. Zaprezentowano kilka sytuacji nawigacyjnych należących do różnych kategorii spotkań...
-
Zdalny zintegrowany moduł nadzoru radiowo-wizyjnego
PublikacjaPrzedstawiono prace koncepcyjne, badawcze oraz implementacyjne skoncentrowane na praktycznej realizacji sys-temu lokalizacji i śledzenia obiektów z wykorzystaniem kamer wizyjnych i identyfikacji radiowej. Zaproponowano metodę konkatenacji danych w celu zwiększenia dokładno-ści i skuteczności detekcji obiektów. Omówiono założenia projektowe oraz technologie opracowane w ramach rozwi-janego multimodalnego modułu nadzoru. Zaproponowano...
-
Track-to-track fusion in tracking of multiple targets in clutter - a comparative study.
PublikacjaPrzedstawiono i porównano algorytmy rozproszone wyznaczania trajektorii obiektów dynamicznych na podstawie danych z wielu źródeł. Rozważono przypadek, w którym dane dotyczące pozycji obiektów są zakłócone przez dodatkowe fałszywe wykrycia niezwiązane z obserwowanymi obiektami. Algorytmy rozproszone i centralne to dwie podstawowe klasy algorytmów służące do wyznaczania trajektorii obiektów dynamicznych na podstawie danych z wielu...
-
Estetyzacja schematów blokowych
PublikacjaOmówiono potrzebę estetycznego prezentowania obiektów graficznych. Zaprezentowano kryterium pozwalające oceniać poziom estetyki schematu blokowego.
-
Analiza akustyczna projektu wykonawczego dla budowy obiektu „MAGIA MORZA – CENTRUM UZDROWISKOWE Z HOTELEM” przy ul. Bitwy pod Płowcami 59 w Sopocie wraz z nadzorem specjalistycznym. Zleceniodawca: Warbud SA, Al. Jerozolimskie 162 A, 02-342 Warszawa
PublikacjaDokonano analizy akustycznej projektu wykonawczego, przedstawionego przez szwedzką pracownię architektoniczną. Zbadano zgodność podanych rozwiązań z Polskimi Normami w zakresie akustyki budowlanej, akustyki pomieszczeń oraz ochrony środowiska przed hałasem związanym z funkcjonowaniem obiektu. Wykonano pomiary akustyczne na poszczególnych etapach realizacji obiektu.
-
Zastosowanie numerycznego modelu obiektu do oceny zgodności realizacji pro-jektu budowli gabionowej. W: Współczesna geodezja w rozwoju nauk techni- cznych, przyrodnicznych i ekonomicznych. Warszawa::SGGH**2003 s. 315-321, 3 rys. bibliogr. 6 poz.
PublikacjaW pracy przedstawiono sposoby badania oceny zgodności realizacji projektu budowli gabionowej. Zastosowano numeryczny model obiektu (NMO) i wyniki geodezyjnej inwentaryzacji powykonawczej (GIP) budowli gabionowej. Opracowano etapy badania oceny zgodności realizacji projektu. Opisano wewnętrzne i zewnętrzne błędy realizacji projektu. Na przykładzie muru oporowego wykonanego z gabionów dokonano wizualizacji wykrytych błędów realizacji...
-
Tracing of dynamic objects in distributed interactive simulation systems
PublikacjaDistributed interactive simulation systems require integration of several areas of computer science and applied mathematics to enable each individual simulation object to visualize effectively dynamic states of other objects. Objects are unpredictable,i.e., controlled by their local operators, and are remote, i.e., must rely on some transmission media to visualize dynamic scene from their local perspectives. The paper...
-
Monika Arczyńska dr inż. arch.
OsobyDr inż. arch. Monika Arczyńska studiowała na Politechnice Gdańskiej i TU Delft. W obronionej z wyróżnieniem pracy doktorskiej zajmowała się relacjami pomiędzy społeczeństwem konsumpcyjnym a zrównoważonym mieszkalnictwem. W latach 2006-2017 pracowała dla Heneghan Peng Architects z siedzibą w Dublinie, gdzie projektowała budynki użyteczności publicznej na całym świecie, m.in. Wielkie Muzeum Egipskie, Muzeum Palestyny, Narodowe Centrum...
-
URZĄDZENIA I UKŁADY ZASILANIA OBIEKTÓW PRZEMYSŁOWYCH [2023/24] - NowyX
Kursy Online -
Jacek Stefański prof. dr hab. inż.
OsobyJacek Stefański ukończył studia na Wydziale Elektroniki Politechniki Gdańskiej (PG) w 1993 r. W 2000 r. uzyskał stopień doktora nauk technicznych w dyscyplinie telekomunikacja, w 2012 r. stopień doktora habilitowanego, natomiast w 2020 r. tytuł profesora nauk inżynieryjno-technicznych. Obecnie pracuje na stanowisku profesora w Katedrze Systemów i Sieci Radiokomunikacyjnych (KSiSR) PG. W latach 2005-2009 był zatrudniony w Instytucie...
-
Ścieki pod ciśnieniem. Przepompownie kanalizacyjne.
PublikacjaProblemy związane z przepompowniami ścieków. Rodzaje obiektów. Bezpieczeństwo techniczne i energetyczne. Problem braku aktualnych standardów.
-
Demagnetyzacja składowej pionowej otwartego układu ferromagnetycznego.
PublikacjaDuże obiekty ferromagnetyczne, jakimi są okręty, ulegają namagnesowaniu stałemu w procesie produkcyjnym, w wyniku prac remontowych czy też w czasie dłuższego postoju w porcie. Ze względu na bezpieczeństwo żeglugi stosuje się specjalne procedury demagnetyzacyjne, których celem jest usunięcie pozostałości magnetycznej i związanego z nią pola własnego obiektu. W pracy przedstawiono wyniki obliczeń dla różnych układów cewek generujących...
-
Uwagi o probabilistycznym ujęciu trwałości zmęczeniowej elementów urządzeń okrętowych.
PublikacjaOmówiono w syntetycznym skrócie wybrane zagadnienia z szerokiej problematyki oceny trwałości zmęczeniowej złożonych obiektów w ujęciu probabilistycznym.Do takich obiektów poddanych w warunkach eksploatacji złożonym obciążeniem o charakterze losowym należą konstrukcje oceanotechniczne i okrętowe. Z licznych zagadnień związanych z problematyką trwałości zmęczeniowej złożonych konstrukcji wybrano zagadnienie:złożoności procesów...
-
Przedsiębiorstwo ochrony w portach morskich
PublikacjaW pracy przeanalizowano obowiązujące wymogi prawne i organizacyjne w zakresie bezpieczeństwa portów i obiektów portowych, z uwzględnieniem wymagań ochrony infrastruktury krytycznej. Opisano organizację podstawowych działań, obowiązków i zadań w zakresie planowania i realizacji ochrony oraz zapewnienia gotowości na wypadek wystąpienia zdarzeń naruszających ochronę. Przedstawiono również przegląd nowoczesnych rozwiązań technologicznych,...
-
Destrukcja i renowacja budynków popowodziowych.
PublikacjaPo powodzi, jaka w lipcu 1997 r. nawiedziła Polskę, wiele budynków mieszkalnych uległo różnorodnej destrukcji. Po wykwaterowaniu mieszkańców część obiektów objęto pracami remontowymi i wzmacniającymi. Ze względu na czas, ocena stanu budynków nie zawsze była prawidłowa i nie zawsze słusznie opracowywano zakres prac sanacyjnych. Część budynków nadających się do remontu rozebrano.W publikacji podano przykłady błędnej oceny obiektów...
-
Ekspertyza techniczna dot. uwarunkowań w zakresie dynamiki mostów
PublikacjaReferat jest pewnym przyczynkiem do dyskusji nad formalnymi uwarunkowaniami ujętymi w różnych dokumentach, a dotyczących wymagań z zakresu dynamiki mostów. W szczególności zapisu cyt.: ,,Stany graniczne użytkowania uważa się za przekroczone, jeżeli wymagania użytkowe dotyczące konstrukcji obiektu nie są dotrzymane. Oznacza to, że w konstrukcji obiektu nie powinny wystąpić: … 4) drgania własne o częstotliwości mniejszej niż 3 Hz”;...
-
Zastosowanie czasowo-częstotliwościowej analizy sygnałów dla poprawy właściwości metrologicznych systemów optycznej tomografii koherentnej
PublikacjaOptyczna tomografia koherentna (OCT) jest metodą obrazowania wewnętrznej struktury obiektów rozpraszających promieniowanie optyczne. Metoda ta wykorzystuje interferometrię niskokoherentą do pomiaru czasu przelotu promieniowania wstecznie rozproszonego od elementów struktury obrazowanego obiektu z rozdzielczością w zakresie od jednego do kilkunastu mikrometrów. Rozprawa dotyczy dwóch rozszerzeń metody OCT. Pierwsze z nich – polaryzacyjna...
-
Metody algorytmicznej analizy obrazu wizyjnego do zastosowań w monitorowaniu ruchu drogowego
PublikacjaPrzedmiotem badań rozprawy jest opracowanie nowych i rozwinięcie istniejących metod przetwarzania obrazu z kamer wizyjnych systemów monitoringu mających na celu wykrywanie wybranych zdarzeń w ruchu ulicznym. Oznacza to konieczność opracowania, zbadania, implementacji i dostosowania do pracy w określonych warunkach wszystkich niezbędnych do tego celu algorytmów. Obejmują one detekcję i śledzenie obiektów w polu widzenia kamer, reidentyfikację...
-
A model-based approach to analysis of authentication protocols.
PublikacjaW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...