Filtry
wszystkich: 3564
wybranych: 2409
-
Katalog
- Publikacje 2409 wyników po odfiltrowaniu
- Czasopisma 90 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 567 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 42 wyników po odfiltrowaniu
- Laboratoria 5 wyników po odfiltrowaniu
- Zespoły Badawcze 4 wyników po odfiltrowaniu
- Kursy Online 106 wyników po odfiltrowaniu
- Wydarzenia 337 wyników po odfiltrowaniu
- Dane Badawcze 1 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: Biblioteka Politechniki Gdańskiej
-
Nowoczesne technologie dla systemów zdalnej edukacji. Zastosowanie Komputerów w Nauce i Technice.XIII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaInternet w przyszłości może stać się podstawowym źródłem materiałów do nauczania w szkolnictwie. Problemami w tej dziedzinie są sposoby tworzenia i przechowywania danych oraz metody poszukiwania materiałów na ściśle określony temat. Obecnie istnieją międzynarodowe standardy do tworzenia materiałów edukacyjnych, które zostaną opisane w niniejszym artykule. W publikacji zostanie również przedstawiona całościowa koncepcja...
-
Realizacja filtrów cyfrowych na układach programowalnych. Zastosowanie Komputerów w Nauce i Technice.XIII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaArtykuł dotyczy opracowanego i przetestowanego projektu stanowiska laboratoryjnego do realizacji filtrów cyfrowych na układzie CPLD CY39100V208A z rodziny Delta39k, umieszczonego na Porto Board firmy Cypress. Prezentowany zestaw laboratoryjny umożliwia projektowanie własnych filtrów przez użytkownika i wysyłanie obliczonych współczynników filtru i innych jego parametrów do struktury zaimplementowanej wewnątrz układu programowalnego.
-
Identyfikacja nieparametryczna systemów farmakokinetycznych metodą funkcji korelacji.
PublikacjaW pracy omówiono metodę funkcji korelacji, przedstawiono jej ograniczenia numeryczne oraz pobudzenia zapewniające maksymalną dokładność estymat odpowiedzi impulsowej w tej metodzie: szum biały oraz pobudzenia PRBS.
-
Technologie informacyjne w zarządzaniu domeną systemów DGT.
PublikacjaW referacie przedstawiono metody zbierania, przekazywania oraz sposoby interpretacji informacji wykorzystywane w zarządzaniu domeną systemów DGT.
-
Współbieżność w obiektowych językach programowania.
PublikacjaPraca przedstawia koncepcje współbieżności i ich implementacje w językach programowania. Analizuje się efektywność rozwiązań i zwraca uwagę na problemy dotąd nierozwiązane.
-
Przenośna echosonda cyfrowa z prezentacją echogramów w sieci Internet.
PublikacjaPrzedstawiono realizację echosondy rybackiej, służącej do automatycznej rejestracji głębokości wraz z wizualizacją cech w postaci oscylogramu i echogramu. Dodatkowo echosonda wyposażona jest w internetowy serwer rejestrowanych danych wraz z towarzyszącym mu apletem do wizualizacji pomiarów w standardowej przeglądarce www.
-
Szerokopasmowe wielousługowe sieci dostępowe.
PublikacjaSieć telekomunikacyjna jest zwykle dzielona na sieć szkieletową i dostępową.Stosowane obecnie rozwiązania integrują dostęp do różnych usług w ramach jednej sieci wielousługowej.Upowszechnienie usług szerokopasmowych oraz wzrostu działu danych przesyłanych przy wykorzystaniu transmisji pakietowej opartej na IP i związana z tym zmiana charakteru transmisji sygnałów w stosunku do sieci PSTN/ISDN wymaga nowych rozwiązań w obszarze...
-
Kontrola przebiegu adaptacyjnej, osobniczo zmiennej terapii farmakologicznej z wykorzystaniem modelowania procesu dystrybucji leku.
PublikacjaPrzedstawiono projekt systemu wspomagającego pracę lekarza. System pozwala na przeprowadzenie symulacji zachowania leku w organizmie z wykorzystaniem kompartmentowego modelu dystrybucji leku. Parametry modelu mogą być korygowane na podstawie wyników wykonywanych w trakcie terapii badań stężenia leku w organizmie.
-
O pewnym zastosowaniu uporządkowanego kolorowania grafów
PublikacjaPraca opisuje związki pomiędzy problemami uporządkowanego kolorowania wierzchołków grafów oraz szukania drzewa eliminacji o minimalnej wysokości dla danego grafu. Stąd wynika przydatność tytułowego problemu przy równoległej faktoryzacji macierzy metodą Cholsky´ego.
-
Zastosowanie hybrydowych systemów ekspertowych do wspomagania projektowania układów elektronicznych.
PublikacjaW pracy przedstawiono koncepcję i praktyczną realizację obiektowo zorientowanego hybrydowego systemu ekspertowego sterowanego regułami, współpracującego ze sztuczną siecią neuronową, systemem klasyfikatorów genetycznych i systemem z rozumowaniem sytuacyjnym. Jest to system hybrydowy i może być efektywnie wykorzystany do budowy złożonych systemów ekspertowych.
-
Systemy wieloagentowe w prognozowaniu inwestycyjnym telekomunikacji.
PublikacjaArtykuł przedstawia przykład zastosowania ekonomii obliczeniowej opartej na systemach wieloagentowych w prognozowaniu rozwoju rynku telekomunikacyjnego.Inteligentne agenty programowe reprezentujące wszystkich uczestników rynku telekomunikacyjnego, a więc klientów, operatorów i dostawców sprzętu, działając na bazie rozproszonej sztucznej inteligencji, wchodzą w równoległe lokalne interakcje, podejmując decyzje wypracowane w...
-
Sekwencyjne algorytmy antypodalnego kolorowania radiowego grafów.
PublikacjaPraca zawiera charakterystykę suboptymalnych algorytmów antypodalnego kolorowania grafów, stanowiących adaptację algorytmów sekwencyjnych S, SL, LF stosowanych przy klasycznym kolorowaniu grafów. Dla tych algorytmów wskazano grafy dość trudne i trudne do pokolorowania (HC i SHC). Porównano ich funkcję dobroci i rozpiętości uzyskiwanych pokolorowań dla grafów o różnej gęstości krawędziowej.
-
Wpływ sprzężenia podłożowego na jakość pracy układów scalonych CMOS.
PublikacjaPraca dotyczy badania efektów sprzężenia podłożowego w układach scalonych CMOS. W oparciu o wyniki symulacji dwóch układów scalonych uzasadniono konieczność uwzględnienia modelu sprzężenia przez podłoże w procesie projektowym oraz konieczność i sposób przeprojektowania układów w celu zapewnienia ich poprawnej pracy.
-
Multimedialny system wyszukiwania informacji muzycznej w internecie
PublikacjaCelem referatu jest przedstawienie założeń sieciowej implementacji multimedialnego systemu rozpoznawania informacji muzycznej. Przedyskutowana zostanie skuteczność zimplementowanego algorytmu detekcji częstotliwości podstawowej dźwięków muzycznych. Zostaną zawarte również wyniki eksperymentów związanych z badaniem wpływu opisu reprezentacji sygnałowej na skuteczność identyfikacji instrumentów muzycznych.
-
Antypodalna radiowa liczba chromatyczna grafu.
PublikacjaOpisane zostały podstawowe zasady i właściwości antypodalnego kolorowania grafów. Zebrano publikowane w literaturze przedmiotu twierdzenia i uzupełniono wnioskami wynikającymi z własnych badań.
-
Zastosowanie technologii teleinformatycznych do powszechnej diagnostyki zagrożeń hałasem
PublikacjaCelem projektu realizowanego przez Katedrę Inżynierii Dźwięku i Obrazu PG jest zmniejszenie częstości występowania chorób słuchu powodowanych nadmiernym hałasem i innego rodzaju niepożądanymi dźwiękami w życiu codziennym. W toku realizacji projektu zostaną wykorzystane najnowsze osiągnięcia technologiczne z dziedziny teleinformatyki.
-
Stabilność pracy silnika indukcyjnego zasilanego z falownika napięcia. Zastosowanie Komputerów w Nauce i Technice. XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaW artykule zamieszczono wstępne wyniki badań analizy stabilności silnika indukcyjnego zasilanego z falownika napięcia. Przedstawiono model matematyczny silnika indukcyjnego oraz określono warunki pracy układu przyjmując założenia dla wyznaczenia równań opisujących pracę układu napędowego w stanie ustalonym. Określono transmitancję silnika indukcyjnego w celu wyznaczenia zakresu jego stabilnej pracy. Wykazano możliwość wystąpienia...
-
Zastosowanie dyskretnej transformaty falkowej do diagnostyki uszkodzeń falownika napięcia.Zastosowanie Komputerów w Nauce i Technice.XIII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaW artykule przedstawiono nową metodę diagnostyki falownikowego układu napędowego z silnikiem indukcyjnym, umożliwiającą wykrywanie i identyfikację uszkodzeń falownika napięcia, polegających na braku przewodzenia jednego z łączników. Istotą metody jest monitorowanie poziomów sygnałów diagnostycznych w trzech fazach falownika. Sygnał diagnostyczny zdefiniowano jako iloraz sumy wartości maksymalnej i minimalnej współczynników aproksymacji...
-
Przesyłanie danych pomiarowych z wykorzystaniem sieci GSM - przykłady zastosowania. Zastosowanie Komputerów w Nauce i Technice. XIII cykl seminariów zorganizowanych przez PTETiS, Oddział w Gdańsku.
PublikacjaW artykule przedstawiono przykłady systemów i urządzeń pomiarowych wykorzystujących technologię GSM, oferowanych przez różne firmy. Przedstawione aplikacje umożliwiają monitorowanie procesów technologicznych, przesyłanie danych meteorologicznych, monitorowanie poziomu wody i uzyskiwanie informacji o położeniu i stanie pracy pojazdów.
-
Komputerowy program do analizy hałasu
PublikacjaW pracy przedstawiono założenia i wyniki opracowywanej aplikacji do pomiaru i analizy poziomu hałasu, będącego częścią konstruowanego ogólnopolskiego systemu telemonitoringu hałasu. Opracowano graficzny sposób prezentacji wyników pomiaru. W pracy zawarto opis wybranych algorytmów obliczeniowych zastosowanych w programie, przedstawiono analizę porównawczą otrzymanych wyników pomiarów z wykorzystaniem opracowanego programu.
-
Elektrownia wiatrowa z maszyną dwustronnie zasilaną - badania symulacyjne.Zastosowanie Komputerów w Nauce i Technice.XIII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaW referacie przedstawiono propozycję układu sterowania elektrowni wiatrowej pracującej w systemie elektroenergetycznym. Syntezę układu regulacji przeprowadzono bazując na multiskalarnym modelu maszyny indukcyjnej dwustronnie zasilanej (MDZ). Optymalne przetwarzanie energii wiatru, odpowiadające ekstremalnej regulacji mocy czynnej turbiny, zrealizowano na podstawie charakterystyk statycznych. Przedstawiono wyniki badań symulacyjnych.
-
Przesyłanie danych pomiarowych z wykorzystaniem sieci GSM - metody transmisji.Zastosowanie Komputerów w Nauce i Technice.XIII cykl seminariów zorganizowanych przez PTETiS, Oddział w Gdańsku.
PublikacjaW artykule przedstawiono metody przesyłania danych w systemach pomiarowych,z wykorzystaniem do tego celu sieci telefonii komórkowej GSM. Opisano możliwości przesyłania bloków danych przy transmisji SDT, HSCSD i GPRS oraz przesyłanie pojedynczych wyników i komunikatów z wykorzystaniem SMS i WAP.
-
Technika wirtualizacji dźwięku wykorzystująca odpowiedzi impulsowe zarejestrowane za pomocą sztucznej głowy w komorze bezdechowej
PublikacjaPrzedstawiono opracowany w Katedrze Systemów Multimedialnych WETI PG, komputerowy system przetwarzania sygnałów. Zadaniem systemu jest prawidłowe umieszczenie wirtualnego źródła dźwięku w panoramie dookólnej. W ostatniej części pracy pokazano uzyskane wyniki testów dokładności lokalizacji wirtualnych źródeł dźwięku.
-
Komputerowe stanowisko diagnostyczne do badania synchronizatorów prądnic. Zastosowanie Komputerów w Nauce i Technice. Gdańsk 2003XIII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaZadaniem synchronizatorów prądnic jest przeprowadzenie dwóch obiektów elektroenergetycznych ze stanu pracy asynchronicznej do stanu synchronizmu. Od ich stanu technicznego zależy jakość i bezpieczeństwo prowadzonego procesu synchronizacji. Przedstawione w referacie komputerowe stanowisko diagnostyczne pozwala na wykonanie zestawu testów i badań kontrolnych istotnych parametrów synchronizatora. Uzyskane w ten sposób informacje są...
-
System synchronizacji nagrań wielokanałowych
PublikacjaNiniejsza praca zawiera opis komputerowego systemu synchronizacji wielu dźwięków pochodzących z nagrania jednej wypowiedzi przy wykorzystaniu kilku mikrofonów i różnych niezsynchronizowanych urządzeń rejestrujących. System wykorzystuje korelację skrośną.
-
Komunikacja między komputerem a procesorem sygnałowym z zastosowaniem protokołu RTDX. Zastosowanie Komputerów w Nauce i Technice. XIII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaW artykule opisano możliwości realizacji komunikacji między komputerem osobistym a procesorem sygnałowym TMS320C6711 firmy Texas Instruments. Scharakteryzowano własności karty uruchomieniowej ze zmiennoprzecinkowym procesorem sygnałowym TMS320C6711 pod kątem zastosowań dydaktyczno-naukowych. Przedstawiono przykłady praktycznych rozwiązań procedur komunikacyjnych, utworzonych w środowiskach programistycznych Visual C++ oraz LabView,...
-
Automatyczna akwizycja wybranych parametrów niepowtarzalnych przebiegów rejestrowanych za pomocą oscyloskopu.Zastosowanie Komputerów w Nauce i Technice.XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
Publikacja...
-
Uwarunkowania propagacyjne w współczesnej łączności morskiej.
PublikacjaW pracy omówiono uwarunkowania propagacyjne z akwenami morskimi objętymi współczesną radiokomunikacją morską. Wskazano na znaczne zróżnicowanie propagacji fal radiowych wynikające z konieczności zapewnienia łączności z różnie odległymi akwenami. Powoduje to wykorzystanie różnych zjawisk propagacyjnych i stosowania różnych zakresów fal radiowych w łączności morskiej. Omówiono również uwarunkowania propagacyjne w łączności podwodnej.
-
Akwizycja i przetwarzanie danych w systemie telemonitoringu sieci ciepłowniczej. II Krajowa Konferencja.
Publikacja.
-
Zastosowanie oprogramowania COMSIS do oceny dynamicznej odporności na zakłócenia cyfrowych układów kombinacyjnych.
PublikacjaWyniki badania odporności układów cyfrowych na zakłócenie dynamiczne w istotny sposób zależą od parametrów sygnału stymulującego. Proponowana metodyka zakłada pobudzanie badanego układu sygnałem szumu białego o określonej szerokości pasma częstotliwości. Badania symulacyjne z modelem układu progowego oraz szybkiego komparatora z histerezą przeprowadzono w środowisku COMSIS. Uzyskane wyniki potwierdzają, że im węższe pasmo szumu...
-
Układy antenowe MIMO w telekomunikacji bezprzewodowej.
PublikacjaPrzedmiotem pracy są podstawy techniki zbiorczego nadawania i odbioru dla przyszłych systemów telekomunikacji bezprzewodowej. Przedstawiono genezę powstania koncepcji MIMO oraz opisano w sposób systemowy tor transmisyjny rozwiązania użytkowego tej koncepcji. Scharakteryzowano działanie poszczególnych bloków tego toru, w szczególności podano macierze sygnałowe różnych rodzajów modulatora przestrzenno-czasowego.
-
Interakcja elektrodynamiczna anteny z użytkownikiem telefonu komórkowego.
PublikacjaW pracy przedstawiono zagadnienia modelowania rozkładu pola elektrycznego w polu bliskim anteny telefonu komórkowego, z punktu widzenia badania zjawiska pochłaniania energii tego pola przez elementy ciała użytkownika telefonu. Opisano taki model i omówiono wyniki przeprowadzonych badań symulacyjnych , w zakresie odnoszącym się do pochłaniania energii przez dłoń operatora trzymającego aktywny telefon komórkowy oraz określono wpływ...
-
Ocena jakości transmisji danych w interfejsie radiowym systemu UMTS z wykorzystaniem dostępnych metod kodowania kanałowego.
PublikacjaW referacie została przedstawiona budowa koderów splotowych i turbo-kodera zastosowanych w systemie radiokomunikacji ruchomej trzeciej generacji UMTS. Przedstawiono i porównano wyniki badań symulacyjnych jakości transmisji danych w interfejsie radiowym z transmisją dupleksową z podziałem częstotliwości WCMA/FDD w łączu ''w górę'' z szybkościami transmisji 144kb/s i384kb/s z wykorzystaniem turbo-kodera i kodera splotowego o sprawności...
-
Zmodyfikowany model COST 231 HATY do projektowania systemów dostępnych
PublikacjaW pracy przedstawiono zagadnienie wyznaczania strat propagacyjnych sygnału radiowego w radiowym łączu dostępowym pracującym w warunkach miejskich. Podano zmodyfikowaną postać modelu COST 231 Haty, opracowaną na podstawie wykonanych obszernych badań eksperymentalno-pomiarowych, przeprowadzonych w dużych aglomeracjach miejskich na terenie całego kraju
-
Współczesna łączność morska
PublikacjaW pracy opisano i scharakteryzowano systemy radiokomunikacyjne tworzące aktualny stan łączności morskiej w ramach globalnego systemu o nazwie GDMSS. Omówiono przeznaczenie i budowę tego systemu oraz scharakteryzowano jego elementy składowe, ze szczególnym uwzględnieniem morskiej łączności satelitarnej - w odniesieniu do systemów: INMARSAT oraz COSPAS-SARSAT.
-
Trendy rozwojowe technologii radia programowalnego.
PublikacjaW referacie omówiono koncepcję technologii radia programowalnego, które w niedalekiej przyszłości zdominuje rynek usług radiokomunikacyjnych. Przedstawiono główne tendencje rozwojowe radia programowalnego oraz ograniczenia wynikające z praktycznej realizacji terminali ruchomych w tej technologii.
-
Symulacja obwodów elektrycznych zasilanych pulsacyjnie w badaniach patologii nerek. Zastosowanie Komputerów w Nauce i Technice.XIII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaPrzedstawiono istotę odwzorowania krwiobiegu nerki za pomocą prostego obwodu elektrycznego. Podano wpływ zmiany oporów przepływu krwi na współczynnik oporu RI w nerce.
-
Porównanie właściwości układu napędowego z falownikiem napięcia i prądu
PublikacjaW referacie porównano dwa układy napędowe zasilane z falownika napięcia i prądu. Przed-stawiono budowę obydwu układów. Wyróżniono cechy szczególne oraz dwoistość struktur (dual relationships). Przedstawiono metodę szerokości impulsów dla falownika napięcia i prądu. Pokazano multiskalarne układy regulacji. Przedstawiono badania symulacyjne ukła-dów.
-
Algorytm porządkowania tablic wynikowych informacji statystycznych
PublikacjaW artykule przedstawiono algorytm filtrowania danych służący do porządkowania tablic wynikowych. Celem artykułu jest zdefiniowanie miary ilości informacji, tak aby możliwe stało się wyselekcjonowanie takich tablic, które niosą największy ładunek informacyjny - największą ilość informacji. Autorzy skoncentrowali się na badaniu ilości informacji strukturalnej zawartej w tablicach statystycznych. Zadaniem proponowanej miary ilości...
-
Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego
PublikacjaAnaliza drzew błędów jest dedukcyjną metodą analizy pozwalającą ustalić przyczyny wybranego zdarzenia niepożądanego. Posługuje się w tym celu koncepcją przyczyn bezpośrednich i logiki boolowskiej, a pozwala ustalić przyczyny podstawowe analizowanego zdarzenia. Technika ta wykorzystuje jednak w swoich modelach notację nieformalną, co może powodować niejednoznaczności i ograniczyć wartość analizy, szczególnie, jeśli pracuje nad nią...
-
Integracja Inżynierii oprogramowania, inżynierii dokumentu i inżynierii wiedzy
PublikacjaW artykule przedstawiono postępy w nowej dziedzinie inżynierii dokumentu, umożliwiające reprezentowanie i przetwarzanie informacji w postaci czytelnej równocześnie dla człowieka i komputera. Jest to nowe wyzwanie dla zmian w tradycyjnie pojmowanym cyklu życia produktu informatycznego, gdyż procesy i produkty oprogramowania stają się w sposób naturalny realizacją ludzkich przedsięwzięć.
-
Usuwanie niejednolitego tła z obrazów tekstu przy użyciu zmodyfikowanego algorytmu wyostrzania i filtracji nieliniowej
PublikacjaCelem referatu jest przedstawienie algorytmu poprawy jakości obrazów zawierających tekst na niejednolitym tle. Pierwsza faza realizacji algorytmu obejmuje usunięcie tła poprzez wykorzystanie zmodyfikowanej operacji wyostrzania, w której od oryginalnego obrazu odejmowany jest wynik filtracji dolnoprzepustowej. W tym celu zaproponowano metodę wyznaczenia optymalnej wielkości maski filtru dolnoprzepustowego. W drugiej fazie działania...
-
Usługa lokalizowania terminala ruchomego w sieciach komórkowych
PublikacjaW referacie przedstawiono problem wyznaczania położenia terminala ruchomego w systemach komórkowych. Omówiono wybrane metody estymacji położenia terminala stosowane w systemach GSM i UMTS.
-
Międzysystemowa kompatybilność elektromagnetyczna radia impulsowego
PublikacjaW referacie przedstawiono uwarunkowania kompatybilnościowe transmisji ultraszerokopasmowej, z uwzględnieniem wymagań FCC (Federal Communications Commission). W szczególności scharakteryzowano system radia impulsowego oraz kształtowania widma częstotliwości zajmowanego przez transmisję impulsową.
-
Przegląd interdyscyplinarnych zapożyczęń do modelowania systemów w podręcznikach do analizy i projektowania obiektowego
PublikacjaPrzegląd interdyscyplinarnych zapożyczeń do modelowania systemów wpisuje się w nurt katalogowania i oceny istniejących zapożyczeń interdyscyplinarnych w inżynierii oprogramowania. W referacie poddano ocenie zapożyczenia opisane w czterech najbardziej popularnych i wpływowych podręcznikach do analizy i projektowania obiektowego. Wykorzystano następujące kryteria oceny: systematyczność badań, jawność opisów oraz możliwość wykorzystania...
-
Modelowanie budynków w interakcyjnym systemie wizualizacji terenu rzeczywistego
PublikacjaArtykuł zawiera dyskusję różnych metod opisu i prezentacji budynków w interakcyjnych systemach wizualizacji terenu rzeczywistego. Jest on wynikiem doświadczeń zebranych podczas realizacji systemu Wiz3D przeznaczonego do interakcyjnej wizualizacji terenu rzeczywistego na podstawie danych GIS. Przedstawiono wady i zalety poszczególnych rozwiązań.
-
Analiza metody szyfrowania ''ZT-UNITAKOD''
PublikacjaW pracy dokonano analizy protokołu kryptograficznego nazwanego ''metoda szyfrowania ZT-UNITAKOD'' i zaproponowanego przez Zygmunta Topolewskiego. Autor metody twierdzi, że zaproponował metodę szyfrowania nie wymagającą klucza. W pierwszej części pracy przedstawiono opis metody i wariantów niektórych proponowanych algorytmów szyfrowania. W drugiej części przeprowadzono analizę protokołu kryptograficznego zaproponowanego w opisie...
-
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...
-
Badania kompatybilności elektromagnetycznej urządzeń okrętowych
PublikacjaW artykule omówiono zagadnienia zagrożenia, jakim mogą podlegać urządzenia i systemy instalowane na okrętach. Zaprezentowano wymagania dotyczące dopuszczalnych poziomów emisji i odporności elektromagnetycznej dla urządzeń stosowanych w środowisku okrętowym. Na przykładzie Wielofunkcyjnej Konsoli Operatorskiej przedstawiono program badań dla urządzeń instalowanych pod pokładami okrętów. Zaprezentowano metody badań konsoli i ich...
-
Optymalizacja sceny dla potrzeb interakcyjnej wizualizacji terenu rzeczywistego wykorzystująca klaster obliczeniowy
PublikacjaInterakcyjny system Wiz3D przeznaczony do wizualizacji terenu rzeczywistego na podstawie danych pochodzących z Geograficznych Systemów Informacyjnych (GIS) wymaga dużych mocy obliczeniowych na etapie upraszczania sceny służącego płynnej generacji kolejnych kadrów animacji. W związku z tym zaplanowano realizację tego etapu przez klaster obliczeniowy. Aby osiągnąć jak najkrótszy czas wykonania należy zadbać o równomierne obciążenie...