Filtry
wszystkich: 1
Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (1)
Wyniki wyszukiwania dla: AUTOFOCUS
-
Zespół badawczo-rozwojowy systemów hydroakustycznych
Potencjał Badawczy* systemy hydroakustyczne (nawigacyjne, echolokacyjne i komunikacyjne) * przetworniki ultradźwiękowe i anteny hydroakustyczne * propagacja fal akustycznych w morzu i wodach śródlądowych * prowadzone są również prace badawcze w zakresie akustyki teoretycznej, przetwarzania sygnałów analogowych i cyfrowych i techniki ultradźwiękowej * Katedry ma bogate, wieloletnie doświadczenie w budowie systemów hydroakustycznych, poczynając od...
Pozostałe wyniki Pokaż wszystkie wyniki (2)
Wyniki wyszukiwania dla: AUTOFOCUS
-
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...
-
Autonomus hydroacoustics sound velocity profiler.
PublikacjaPraca zawiera opis bezpośredniej zasady pomiarowej i struktury wersji autonomicznego miernika pomiarów rozkładów prędkości dźwięku w akwenach przeznaczonych do stosowania na okrętach nawodnych, podwodnych i opuszczanych antenach sonarowych śmigłowców i okrętów nawodnych.