Filters
total: 2919
-
Catalog
- Publications 2390 available results
- Journals 101 available results
- People 120 available results
- Inventions 23 available results
- Projects 17 available results
- Laboratories 5 available results
- Research Teams 10 available results
- Research Equipment 2 available results
- e-Learning Courses 208 available results
- Events 11 available results
- Open Research Data 32 available results
displaying 1000 best results Help
Search results for: MAGAZYNY OBIEKTÓW
-
Programowanie Obiektowe i Grafika Komputerowa - 2023
e-Learning Courses -
Obiektowe języki programowania III - 2023/24
e-Learning Courses -
Obserwatory prędkości dla bezczujnikowego sterowania maszynami prądu przemiennego
PublicationPrzedstawiono 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
PublicationW 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
PublicationStatek, 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...
-
Planning emergency manoeuvres
PublicationW 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
PublicationPrzedstawiono 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...
-
Analiza dostępności kampusu Politechniki Gdańskiej dla osób z niepełnosprawnością
PublicationOpis 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...
-
Bio-ecobattery Bio-ecoinnovative portable thermal battery for electromobile applications
ProjectsProject realized in Department of Energy and Industrial Apparatus according to LIDER/4/0008/L-9/17/NCBR/2018 agreement from 2018-10-29
-
Paweł Tysiąc dr inż.
PeopleHe was born on March 25, 1992 in Gdańsk. After graduating from Junior High School No. 32, he attended the VIII Liceum Ogólnokształcące im. National Education Commission in Gdańsk, classes with a mathematical and geographical profile, obtaining a secondary school-leaving examination certificate in 2011. Then, in 2011-2016, he continued his studies at the Faculty of Civil and Environmental Engineering of the Gdańsk University of...
-
Sanitarno - gigienicna bezpeka sistem protiopozeznogo vodopostacania
PublicationZagrożenia sanitarne we współczesnych warunkach funkcjonowania obiektów o podwyższonym zagrożeniu pożarowym.
-
Potyczki algorytmiczne, czyli Alicja i Bogdan w nowych sytuacjach. 4. Alicja i Bogdan w samochodzie.
PublicationZilustrowano problem przeszukiwania obiektów w nieznanych przestrzeniach na przykładzie jazdy samochodem.
-
Piotr Odya dr inż.
PeoplePiotr Odya was born in Gdansk in 1974. He received his M.Sc. in 1999 from the Faculty of Electronics, Telecommunications and Informatics, Gdansk University of Technology, Poland. His thesis was related to the problem of sound quality improvement in the contemporary broadcasting studio. He is interested in video editing and multichannel sound systems. The goal of Mr. Odya Ph.D. thesis concerned methods and algorithms for correcting...
-
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.
PublicationOpinię 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ą”.
-
Modelowanie budynków wielofunkcyjnych stanowiących elementy systemu logistycznego miasta
PublicationW 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...
-
Fort ''Prusy'' w Szczecinie
PublicationPrzedmiotem 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...
-
Elementy rewitalizacji frontu wodnego w Jokohamie.
PublicationArtykuł 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
PublicationW 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
PublicationArtykuł 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
PublicationRewitalizacja 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...
-
Architektura latarni morskich wczoraj i dziś
PublicationLatarnie 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...
-
Wykorzystanie sztucznych sieci neuronowych do wykrywania i rozpoznawania tablic rejestracyjnych na zdjęciach pojazdów
PublicationW 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...
-
Control theory methods in diagnostic system design
PublicationPraca 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...
-
Metody teorii sterowania w projektowaniu układów diagnostycznych.
PublicationPraca 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
PublicationBudynki 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...
-
Źródła generacji rozproszonej w systemie elektroenergetycznym
PublicationW 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
PublicationW 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
PublicationW 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...
-
Lekka obudowa, część 1: Klasyfikacja i wymagania
PublicationLekka obudowa ścienna i dachowa obiektów szkieletowych. Klasyfikacja i wymagania dla lekkich przegród
-
Przetwarzanie i analiza obrazów sonarowych powierzchni dna basenu portowego
PublicationW artykule przedstawiono problemy związane z poszukiwaniem obiektów zalegających na dnie basenu portowego.
-
Problemy konstrukcyjne zastosowania kanalizacyjnej studzienki rewizyjnej
PublicationKonstrukcja kanalizacyjnej studzienki rewizyjnej. Charakterystyczne grupy obiektów. Konsekwencje, specyfika posadowienia, warunki eksploatacji. Posadowienie
-
Zdalny zintegrowany moduł nadzoru radiowo-wizyjnego
PublicationPrzedstawiono 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...
-
Evolutionary Sets of Cooperating Trajectories in Multi-Ship Encounter Situations - use cases
PublicationPrzedstawiono 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ń...
-
Track-to-track fusion in tracking of multiple targets in clutter - a comparative study.
PublicationPrzedstawiono 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
PublicationOmówiono potrzebę estetycznego prezentowania obiektów graficznych. Zaprezentowano kryterium pozwalające oceniać poziom estetyki schematu blokowego.
-
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.
PublicationW 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...
-
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
PublicationDokonano 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.
-
URZĄDZENIA I UKŁADY ZASILANIA OBIEKTÓW PRZEMYSŁOWYCH [2023/24] - NowyX
e-Learning Courses -
Tracing of dynamic objects in distributed interactive simulation systems
PublicationDistributed 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...
-
Jacek Stefański prof. dr hab. inż.
PeopleJJacek Stefański received M.Sc., Ph.D. and D.Sc. degrees in telecommunications engineering from Gdansk University of Technology (GUT), Poland, in 1993, 2000 and 2012, respectively. Awarded title of Professor by the President of Poland in 2020. Currently, he works as a professor at the Department of Radio Communication Systems and Networks (DRCSN) in GUT. From 2005 to 2009, he worked as an assistant professor in the National Institute...
-
Ścieki pod ciśnieniem. Przepompownie kanalizacyjne.
PublicationProblemy 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.
PublicationDuż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...
-
Przedsiębiorstwo ochrony w portach morskich
PublicationW 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,...
-
Uwagi o probabilistycznym ujęciu trwałości zmęczeniowej elementów urządzeń okrętowych.
PublicationOmó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...
-
Destrukcja i renowacja budynków popowodziowych.
PublicationPo 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...
-
Metody algorytmicznej analizy obrazu wizyjnego do zastosowań w monitorowaniu ruchu drogowego
PublicationPrzedmiotem 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ę...
-
Ekspertyza techniczna dot. uwarunkowań w zakresie dynamiki mostów
PublicationReferat 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
PublicationOptyczna 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...
-
Monika Arczyńska dr inż. arch.
PeopleArchitect and researcher with over 10 years of international experience in cultural projects. She has been working on the designs of Grand Egyptian Museum in Cairo, Palestinian Museum in East Bank, Giant’s Causeway Visitor Centre and National Centre for Contemporary Art in Moscow (with Heneghan Peng Architects). As a founder of A2P2 architecture & planning she runs architecture department of the company. In 2018 together with...
-
A model-based approach to analysis of authentication protocols.
PublicationW 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ń...