Filtry
wszystkich: 20944
-
Katalog
- Publikacje 15064 wyników po odfiltrowaniu
- Czasopisma 49 wyników po odfiltrowaniu
- Wydawnictwa 7 wyników po odfiltrowaniu
- Osoby 494 wyników po odfiltrowaniu
- Wynalazki 300 wyników po odfiltrowaniu
- Projekty 207 wyników po odfiltrowaniu
- Laboratoria 19 wyników po odfiltrowaniu
- Zespoły Badawcze 30 wyników po odfiltrowaniu
- Aparatura Badawcza 27 wyników po odfiltrowaniu
- Kursy Online 1835 wyników po odfiltrowaniu
- Wydarzenia 453 wyników po odfiltrowaniu
- Dane Badawcze 2459 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: dok%20plywajacy
-
Jak dostosować budynki drewniane do przepisów pożarowych ?
PublikacjaW artykule zaprezentowano możliwości dostosowania budynków do przepisów przeciwpożarowych ze względu na odporność ogniową. Przedstawione możl i- wości są przykładowymi rozwiązaniami wpływającymi na zwiększenie wytrzymałości pożarowej drewnianych elementów obi ektów. Są to elementy czynnej i biernej ochrony pożarowej, które w różny sposób ingerują w strukturę budynku.
-
Użytkowy model matematyczny quadrocoptera do celów sterowania
PublikacjaCelem pracy jest budowa użytkowego modelu matematycznego quadrocoptera (QC) z uwzględnieniem urządzeń wykonawczych (UW) oraz identyfikacja jego parametrów. Zadanie identyfikacji sprowadzono do rozwiązania trzech zadań optymalizacji. Wynikiem prac jest model QC uwzględniający wpływ zmian napięcia zasilania na działanie UW.
-
Wyłączniki różnicowoprądowe do obwodów z przekształtnikami energoelektronicznymi
PublikacjaDobierając wyłączniki różnicowoprądowe do obwodów z przekształtnikami energoelektronicznymi należy zwrócić uwagę w szczególności na zdolność tych wyłączników do wykrywania odkształconych prądów różnicowych. W artykule zaprezentowano klasyfikację wyłączników różnicowoprądowych z punktu widzenia ich przydatności do wykrywania określonego przebiegu prądu różnicowego. Przedstawiono wyniki badań działania wyłączników różnicowoprądowych...
-
System dostępu zdalnego do rozproszonych laboratoriów badawczych
PublikacjaPowszechne stosowanie wirtualizacji oraz coraz częstsze łączenie laboratoriów badawczych w środowiska rozproszone powoduje powstanie nowych problemów z organizacją infrastruktury oraz dostępem do niej uczestników eksperymentów badawczych. W pracy przedstawiono architekturę, koncepcję budowy i przykład realizacji systemu dostępu zdalnego do rozproszonych laboratoriów badawczych budowanych w oparciu o środowiska wirtualizacyjne.
-
Sieciowy monitor obiektów do zarządzania inteligentnymi budynkami
PublikacjaNa rozwój energooszczędnego i inteligentnego budownictwa zarówno w Polsce, jak i na świecie – wpływa wiele czynników. Kluczowy problem stanowi wzrost złożoności i kosztów eksploatacji budynku, w tym kosztów mediów energetycznych. Z całą pewnością przyczynia się to do poszukiwania rozwiązań opartych na nowoczesnych technikach (zaawansowane technologie stają się dostępne dla coraz szerszego grona odbiorców) oraz uzyskiwania optymalnego...
-
Okna w Gdańsku od średniowiecza do współczesności
PublikacjaPublikacja dotyczy historii stolarki okiennej w Gdańsku od XIV w. do drugiej połowy XX w. Przedstawia budowę, rodzaje i części składowe okien oraz technikę ich wykonania. Historię gdańskich okien podzielono na rozwiązania średniowieczne wraz z wczesnorenesansowymi, późnorenesansowe z barokowymi, klasycystyczne oraz historyzujące, secesyjne a wrescie okna z okresu międzywojennego i powstałe po II wojnie światowej.
-
Przegląd technik stosowanych do pomiaru potencjału redoks
PublikacjaPotencjał oksydacyjno-redukcyjny (redoks) charakteryzuje właściwości danej pary redoks, czyli zdolność, jaką posiada substancja do oddawania bądź przyjmowania elektronów. W ostatnich latach pojęcie to zyskuje rosnące zainteresowanie wśród naukowców, zajmujących się stresem oksydacyjnym. Niniejsza praca stanowi przegląd wybranych technik stosowanych do pomiaru potencjału oksydacyjno-redukcyjnego: w tym miareczkowania potencjometrycznego...
-
Zastosowanie próby implant do oceny spawalności stali
PublikacjaPraca dotyczy oceny spawalności stali o podwyższonej i wysokiej wytrzymałości w aspekcie eksperymentalnego określania skłonności do tworzenia pęknięć zimnych. W artykule opisano metodykę określania wrażliwości na pękanie próbą implant. Przedstawiono również proponowane w literaturze i autorskie sposoby opracowywania i przedstawiania wyników badań rozpatrywaną metodą i ich interpretacji.
-
Monowarstwowe narzędzia diamentowe do obróbki ścierno-polerskiej.
PublikacjaPrzedstawiono budowę, sposób wytwarzania i obszary zastosowania narzędzi diamentowych o konstrukcji monowarstwowej. Taka budowa zapewnia bardziej efektywne wykorzystanie ostrzy diamentowych. Powierzchnia czynna narzędzia jest odwzorowaniem kształtu, co umożliwia szlifowanie przedmiotów o skomplikowanych kształtach.
-
Wykorzystanie metod akustycznych do monitoringu środowiska morskiego
PublikacjaW artykule przedstawiono metody i urządzenia wykorzystywane podczas obserwacji środowiska morskiego. Celem artykułu jest pokazanie możliwości odwzorowania środowiska morskiego w zależności od typu urządzenia, jego zasady działania i parametrów technicznych. Pokazane zostaną sposoby zobrazowania podwodnego za pomocą stosowanych obecnie w hydroakustyce urządzeń. Artykuł zawiera opis najczęściej stosowanych systemów wykorzystujących...
-
Urządzenia nasobne do monitorowania układu sercowo-naczyniowego
PublikacjaChoroby układu sercowo-naczyniowego są najczęstszą przyczyną zgonów na świecie. Rozszerzenie tradycyjnych metod diagnostyki i monitorowania pacjentów (EKG, Holter EKG) o dodatkowe biosygnały, oraz zastosowanie zaawansowanych metod analizy zarejestrowanych danych pozwoli na wczesną reakcję na wystąpienie epizodów zagrażających zdrowiu lub życiu pacjenta. W poniższej pracy zaprezentowano dwa urządzenia nasobne do monitorowania systemu...
-
Stadion narodowy : Model statyczny do monitoringu konstrukcji
PublikacjaW referacie opisano proces definiowania modelu numerycznego konstrukcji zadaszenia Stadionu Narodowego, stworzonego jako element ekspercki w systemie monitoringu. Model ten został zweryfikowany na podstawie badań konstrukcji wiszącej. W referacie zamieszczono opis modelu MES, procesu walidacji i wnioski dotyczące dokładności obliczeń pierwotnych w świetle przeprowadzonych badań. Analizy przeprowadzono na zlecenie Administratora...
-
Moduł eksperymentalny do badania wężownicowych wymienników ciepła
PublikacjaArtykuł dotyczy badań eksperymentalnych modułu do badania wężownicowych wymienników ciepła. Opracowanie zawiera przykłady zastosowania wymienników z wężownicami, opis stanowiska oraz wstępne badania.
-
Zastosowanie metody georadarowej do badań konstrukcji żelbetowych
PublikacjaW pracy przedstawiono zastosowanie metody georadarowej do diagnostyki konstrukcji żelbetowych. Metoda GPR (z ang. ground penetrating radar) należy do grupy badań nieniszczących NDT (z ang. nondestructive testing). Jest ona powszechnie stosowana m. in. w archeologii, geologii i budownictwie. Dzięki tej metodzie możliwa jest identyfikacja warstw geologicznych, podziemnej infrastruktury a także zbrojenia i potencjalnych uszkodzeń...
-
WNIOSKI DO PRZEBUDOWY POLITYKI REWITALIZACJI W POLSCE
PublikacjaW ramach publikacji przedstawiono główne wnioski Autora dotyczące polityki przebudowy polityki rewitalizacji w Polsce. W szczególności dotyczy to zmian ustawowych oraz wykorzystywanych instrumentów.
-
Analityczne podejście do problematyki łukowania rozjazdów kolejowych
PublikacjaW pracy nawiązano do książki Władysława Rzepki pt. „Rozjazdy łukowe w planie i profilu”, będącej od ponad 50 lat w naszym kraju podstawowym opracowaniem traktującym o problematyce rozjazdów łukowych. Wskazano, że zawarta tam teoria została dostosowana do ówczesnych możliwości obliczeniowych. Jak się wydaje, podstawową wadę przedstawionych rozwiązań stanowi niejednoznaczność przyjęcia układu odniesienia. W niniejszej pracy przedstawiono...
-
METODY KONTROLI OLEJOW SMAROWYCH EMITOWANYCH DO ŚRODOWISKA
PublikacjaEmitowane do środowiska oleje smarowe wykorzystywane w otwartych układach tnących, głowicach harwesterów, powinny zawierać wyłącznie biodegradowalne składniki. Składniki środków smarowych produkowanych z ropy naftowej wykazują negatywne oddziaływanie na środowisko i zdrowie, dlatego ich stosowanie w otwartych układach tnących powinno być zabronione, a użycie karane.
-
Zastosowanie destylacji symulowanej do analizy produktów naftowych
PublikacjaW pracy omówiono normowane metodyki wyznaczania rozkładu temperatury destylacji, metodą destylacji klasycznej oraz destylacji symulowanej(SIMDIS). Normy opisujące sposób prowadzenia destylacji symulowanej dla poszczególnych materiałów, zostały porównane w zakresie wymagań w odniesieniu do aparatury oraz warunków prowadzenia analizy dla konkretnego rodzaju materiału naftowego. Przedstawiono również doniesienia naukowe dotyczące...
-
Materiały zmiennofazowe do stabilizowania temperatury nawierzchni asfaltowych
PublikacjaW artykule przedstawiono możliwość wykorzystania lekkiego kruszywa budowlanego modyfikowanego materiałem zmiennofazowym (PCM), jako dodatku do nawierzchni asfaltowej, w celu zwiększenia jej stabilności termicznej przy zachowaniu dotychczasowych właściwości mechanicznych. Cel ten może zostać osiągnięty przez nasączenie porowatych granulek lekkiego kruszywa odpowiednim materiałem zmiennofazowym, co umożliwi magazynowanie określonych...
-
Nowe podejście do oceny szacowania złożoności oprogramowania
PublikacjaW tej publikacji przedstawione zostały metody szacowania złożoności oprogramowania oraz ich proponowane modyfikjacje. Szacowanie złożoności jest niezbędne podczas realizacji projektu informatycznego w celu określenia jego kosztów związanych z koniecznością wykorzystania zasobów, by w rezultacie mozna było uzyskać zamierzony efekt, jakim jest dostarczenie klientowi satysfakcjonującego go produktu. Najpierw przedstawiony został teoretyczny...
-
Zastosowanie standardowego zasilacza łuku do zrobotyzowanego spawania.
PublikacjaPrzedstawiono stanowisko do zrobotyzowanego spawania elektrodą topliwą w osłonach gazów ochronnych. Opracowano technologię wykonywania spoin pachwinowych o grubościach 2,5 do 4,0mm we wszystkich pozycjach z użyciem drutu proszkowego z wypełnieniem rutylowym przy zmianie tylko jednego parametru, to jest szybkości spawania. Opisano modyfikację układów standardowego zasilacza łuku i podajnika drutu elektrodowego celem umozliwienia...
-
Korozja i wnikanie wodoru do stali 26H2MF
PublikacjaPrzedstawiono wyniki badań korozyjnych wykonanych technikami potencjodynamiczną oraz impedancyjną w roztworach kwasu siarkowego o różnym stężeniu i w paliwie ciężkim dla stali stopowej. Stwierdzono, że mechanizm korozji i jej szybkość zależą wyraźnie od środowiska. Wykazano, że ilość wnikającego wodoru jest wystarczająca do uzyskania stężenia niezbędnego do przebiegu procesu pękania wodorowego.
-
Wykorzystanie energii wod podziemnych do celów ciepłowniczych.
PublikacjaPrzedstawiono wybrane przykłady zagospodarowania, do celów ciepłowniczych,zasobów energii wód podziemnych, charakteryzując bliżej zastosowany układ technologiczny źródła ciepła.
-
Wykorzystanie odpadów do prowadzenia szklarniowych upraw rolnych.
PublikacjaPrzedstawiono sposób wykorzystania odpadów organicznych do otrzymywania biogazu, który jest źródłem zaopatrzenia w energię szklarni.
-
Zastosowanie promieniowania mikrofalowego do kondycjonowania osadów ściekowych.
PublikacjaW pracy przedstawiono wyniki badań specjacji metali ciężkich w wybranych osadach ściekowych pochodzących z oczyszczalni ścieków w Gdańsku. Do oceny form występowania metali ciężkich w osadach ściekowych zastosowano metodykę sekwencyjnej eksteakcji chemicznej. Na podstawie uzyskanych wyników oceniono stopień potencjalnego zagrożenia środowiska spowodowanego obecnością metali ciężkich w osadach ściekowych.
-
Prędkość podchodzenia statków do morskich konstrukcji hydrotechnicznych.
PublikacjaArtykuł zawiera propozycje zmian istniejących zaleceń w zakresie określenia prędkości podchodzenia statków do nabrzeży, pomostów, pirsów, dalb. itp. Stwierdza się, ze istniejące zalecenia zakładają zbyt duże prędkości statków w zależności od warunków środowiskowych i wyporności statków co prowadzi do przewymiarowywania urządzeń odbojowych. W przedstawionych propozycjach prędkości te są znacznie mniejsze.
-
Nowoczesne urządzenia do badania tekstury nawierzchni drogowej
PublikacjaDokonano przeglądu urządzeń do badania tekstury nawierzchni drogowej różnymi metodami. Opisano urządzenia dawniej stosowane (badania metodą wolumetryczną oraz metodą wypływu cieczy), natomiast szerzej przedstawiono nowoczesne metody badań metodą profilometryczną. Zaprezentowano także nowoczesne urządzenia trójwymiarowe do pomiaru tekstury - system T3D. Przeanalizowano wady i zalety poszczególnych urządzeń do różnych zastosowań.
-
Zastosowanie metod śledzenia wielohipotetycznego do inicjacji tras.
PublikacjaW pracy przedstawiono algorytm śledzenia wielohipotetycznego i jego zastosowanie do inicjalizacji tras wielu obiektów oraz inicjalizacji tras nowych obiektów oddzielających się od już śledzonego obiektu. Badania symulacyjne zaprezentowanego algorytmu przeprowadzono dla dwóch sytuacji: inicjalizacji tras dwóch obiektów znajdujących się blisko siebie oraz inicjalizacji trasy obiektu oddzielającego się od obiektu, dla którego...
-
Decymator do przetwornika A/C typu ä(delta)
PublikacjaArtykuł opisuje projekt decymatora wykorzystywanego w przetworniku analogowo-cyfrowym typu ä(trójkt). Zaprojektowana struktura została zasymulowana zza pomocą programu MATLAB. Rozwijając architekturę decymatora szczególny nacisk został położony na minimalizację pobieranej mocy.
-
Zastosowanie promieniowania mikrofalowego do kondycjonowania osadów ściekowych
PublikacjaPraca dotyczy możliwości wspomagania procesu odwadniania komunalnych osadów ściekowych przy pomocy promieniowanie mikrofalowego. Przedstawiono wyniki badań parametrów charakteryzujących podatność osadów na odwadnianie (opór właściwy, czas ssania kapilarnego, zawartość suchej masy po odwirowaniu) uzyskane w okresie XI 1999-II 2002 dla trzech rodzajów osadów z oczyszczalni ścieków "Wschód" w Gdańsku. Porównano wyniki uzyskane dla...
-
Urządzenia do badania oporu toczenia nawierzchni drogowej
PublikacjaOmówiono metody badania oporu toczenia nawierzchni drogowych. Przedstawiono unikatową przyczepę doświadczalną zbudowaną w Katedrze Pojazdów i Maszyn Roboczych Politechniki Gdańskiej, umożliwiającą badanie oporu toczenia nawierzchni drogowej metodą przyczepową. Mając dobrane opony testowe (wzorcowe, referencyjne) można klasyfikować nawierzchnie drogowe pod względem ich oporu toczenia.
-
Stanowisko diagnostyczne do badania charakterystyk robotów przemysłowych
PublikacjaPrzedstawiono projekt zbudowanego stanowiska diagnostycznego oraz opisano metodę pomiaru wybranych charakterystyk robotów przemysłowych zgodnie z zakładową normą Przemysłowego Instytutu Automatyki i Pomiarów, ZN-88/MERA-18/255, która podaje wymagania i określa przebieg badań robota przemysłowego IRB-6. Omawiana metoda diagnostyczna umożliwia wyznaczenie dwóch rodzajów charakterystyk funkcjonalnych robota: dokładności pozycjonowania...
-
Plomba w betonie. Systemy do naprawy kanalizacji
PublikacjaNowoczesne rozwiazania stosowanych w kanalizacji systemów naprawczych.
-
Zastosowanie analizy wrażliwości do identyfikacji parametrycznej konstrukcji.
PublikacjaW pracy proponuje się sformułowanie problemu identyfikacji parametrycznej oparte na minimalizacji ''odległości'' wyników pomiarów pewnych zmiennych stanu opisujących zachowanie się konstrukcji i wyników analizy jej modelu matematycznego. Do efektywnego rozwiązania tego problemu wykorzystano analizę wrażliwości pierwszego rzędu.
-
Przyczynek do naprawy balkonów w budynkach mieszkalnych.
PublikacjaArtykuł dotyczy oceny stanu technicznego balkonów w budynkach mieszkalnych oraz sposobu ich naprawy w zależości od technologii realizacji
-
Most zabytkowy: przyczynek do percepcji dzieła inżynierii
PublikacjaPostrzeganie dzieła inżynierii w krajobrazie. ''Przeżywanie'' wartości mostu zabytkowego w kontekście psychologii środowiska i ekologii historycznej. Metodyczne badanie wartości kulturowych mostu zabytkowego - lista pytań.
-
Komputerowy system do pomiaru współczynnika zawartości harmonicznych.
PublikacjaPrzedstawiono rozwiązania funkcjonalne i układowe komputerowego systemu do pomiaru współczynnika zawartości harmonicznych.Szerzej omówiono zastosowane algorytmy realizowane programowo, które umozliwiły zmniejszenie wpływu niepożadanych składowych losowych i okresowych nie skorelowanych z czestotliwościa podstawowa obserwowanego przebiegu. Przytoczono przykładowe wyniki badan eksperymentalnych potwierdzające zasadnośc proponowanych...
-
Problemy napędów maszyn do konfekcjonowania folii opakowaniowych.
PublikacjaPrzedstawiono konstrukcje maszyn do konfekcjonowania folii stretch, samoprzylepnej i wstępnego rozciągania. Problemem jest napęd wałów rozciągających folię. Pokazano złożony napęd w maszynie do konfekcjonowania folii samoprzylepnej.
-
Warunki wprowadzania ścieków do wód lub ziemi.
PublikacjaOmówienie aktualnej regulacji prawnej w przedmiotowym zakresie. Rozporządzenie, wymagania formalne, preferencje.
-
Wstępne przetwarzanie dźwięku przeznaczonego do odsłuchu wielokanałowego.
PublikacjaW pracy opisano opracowane metody wstępnego przetwarzania plików dźwiękowych przeznaczonych do odsłuchu w systemie wielokanałowym. Umożliwiają one synchronizację i normalizację głośności. Normalizacja uwzględnia wpływ położenia głośników w panoramie odsłuchowej. Opis metod poprzedza krótka analiza głównych mechanizmów odpowiedzial-nych za lokalizację dźwięku przez człowieka.
-
System pomiarowo-informacyjny dla urządzenia do mikrotunelingu
PublikacjaPrzedstawiono opracowany i wykonany przez autorów system pomiarowy do wizualizacji stanu pracy urządzenia do bezwykopowego wykonywania rurociągów podziemnych. Opisano modułową budowę systemu. Omówiono możliwości rejestracji zmian najważniejszych parametrów w czasie wykonywania tunelu.
-
Amerykańskie dążenia do zwalczania korupcji w budownictwie
PublikacjaPrzedstwawiono praktyczne działania Amerykańskiego Towarzystwa Inżynierów Budownictwa (ASCE), ukierunkowane na zwalczanie plagi korupcji w USA i w wymiarze globalnym.
-
Układ do wzorcowania mierników impedancji pętli zwarciowej
PublikacjaMierniki impedancji pętli zwarciowej stosowane są do sprawdzania skuteczności ochrony przeciwporażeniowej w sieciach niskiego napięcia. Znane układy i urządzenia do wzorcowania mierników impedancji pętli zwarciowej mają ograniczenia wynikające ze skończonej wartości impedancji wewnętrznej źródeł zasilania. W artykule przedstawiono sposób i układ umożliwiający dokładne wzorcowanie mierników impedancji nawet o małym zakresie pomiarowym.
-
Modelowanie sieci wodociągowych - podejście do problemu szkieletyzacji
PublikacjaW referacie przedstawiona została propozycja podejścia do upraszczania schematu sieci wodociągowych nazywanego szkieletyzacją (ang. skeletonization). Istota szkieletyzacji sprowadza się do zastąpienia określonego rzeczywistego fragmentu struktury sieci wybraną strukturą zastępczą. Uproszczony drogą szkieletyzacji schemat sieci jest podstawą budowy modeli matematycznych wykorzystywanych w zadaniach podejmowania decyzji, sterowania...
-
Wykorzystanie zasobów radiowych do planowania sieci UMTS
PublikacjaPrzedstawiono wyniki badań symulacyjnych zjawiska przenoszenia pojemności pomiędzy różnymi warstwami hierarchicznej struktury komórek w sieci UMTS. Wskazano własności systemu umozliwiające dynamiczne kształtowanie jego pojemności w różnych warunkach operacyjnych. Wykorzystanie opisanych mechanizmów może prowadzić do zwiększenia efektywności oraz racjonalizacji wykorzystania zasobów radiowych oraz zwiększenia dostępnej pojemności.
-
Wizja bez programu - gdańska Droga do Wolności
PublikacjaW dniach 2-3 sierpnia 2005r. odbyło się w Gdańskim Dworze Artusa Międzynarodowe Seminarium pt. "Europejskie Centrum Solidarności", zorganizowane przez Prezydenta RP Lecha Wałęsę i Prezydenta Miasta Gdańska Pawła Adamowicza. Celem seminarium było zaprezentowanie przez zaproszonych z Europy architektów różnorodnych wizji urbanistyczno - architektonicznych Gdańskiej Drogi do Wolności. Wizje te będą stanowić inspiracje dla organizatorów...
-
Projekt DESYME - środowisko do tworzenia usług mobilnych
PublikacjaPrzedstawiono cele, aspekty techniczne i strukturę programu europejskiego DESYME. Przeanalizowano aktualny stan techniki i trudności, na jakie napotykają podmioty usiłujące wykorzystać techniki mobilne w swych przedsięwzięciach. Przedstawiono potencjalne korzyści płynące z implementacji w tych warunkach wyników projektu DESYME. Skrótowo przedstawiono architekturę proponowanych rozwiązań oraz wykorzystywane techniki. Przedstawiono...
-
Strategia nauk technicznych do roku 2020 - propozycje
PublikacjaW pracy przedstawiono strategię proponowaną przez Wydział IV Nauk Technicznych PAN w perspektywie wieloletniej. Opisano założenia, cele strategiczne i uwarunkowania rozwoju nauk informacyjnych (informatyka, automatyka, robotyka, telekomunikacja) mikro- i nanotechnologii, optoelektroniki, bioinżynierii, systemów energetycznych i nowych źródeł energii.
-
Zastosowanie systemów chatter-bot do wspomagania zarządzania
PublikacjaCelem rozdziału jest analiza systemów przetwarzania języka naturalnego do wspomagania zarządzania na przykładzie chatter-botów - tzw. wirtualnych konsultantów - systemów informatycznych, które potrafią odpowiadać na pytania zadawane w języku naturalnym. Przedstawiono zakres zastosowań systemów, główne czynniki wpływające na ich funkcjonalność, analizę kosztów wdrożenia i efektywności inwestycji oraz przykłady komercyjnych zastosowań.
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublikacjaAutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...