Best results in : Research Potential Pokaż wszystkie wyniki (1)
Search results for: AUTOFOCUS
-
Zespół badawczo-rozwojowy systemów hydroakustycznych
Research Potential* 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...
Other results Pokaż wszystkie wyniki (2)
Search results for: AUTOFOCUS
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublicationAutoFocus 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.
PublicationPraca 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.