Filtry
wszystkich: 1977
wybranych: 1295
-
Katalog
- Publikacje 1295 wyników po odfiltrowaniu
- Czasopisma 106 wyników po odfiltrowaniu
- Konferencje 54 wyników po odfiltrowaniu
- Osoby 49 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 15 wyników po odfiltrowaniu
- Zespoły Badawcze 10 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 429 wyników po odfiltrowaniu
- Wydarzenia 16 wyników po odfiltrowaniu
- Dane Badawcze 1 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: TECHNOLOGIE
-
Hipergrafowy model szeregowania w rozrzedzonych systemach zadań wieloprocesorowych
PublikacjaHipergrafem nazywamy pewne uogólnienie grafu, w którym krawędzie mogą zawierać dowolnie wiele wierzchołków. Model taki pozwala symulować rozmaite zjawiska praktyczne oraz teoretyczne. W tym artykule będziemy mówić o kolorowaniu krawędzi hiperdrzew. Pokażemy jaki jest indeks chromatyczny dla tej klasy hipergrafów oraz jaki jest sumacyjny indeks chromatyczny dla hiperdrzew prostych. Zademonstrujemy także wielomianowe algorytmy szukające...
-
Rozkłady mocy interferencji zewnętrznych w łączu w górę w systemie UMTS
PublikacjaW referacie zaprezentowano metodologię analizy rozkładów mocy interferencji zewnętrznych, odbieranych w łączu w górę w systemie UMTS, w oparciu o rozważania analityczne oraz badania symulacyjne, dla różnych operacyjnych warunków pracy tego systemu.
-
XLVII-lecie pracy naukowo-dydaktycznej profesora Rromualda Zielonko
PublikacjaPrzedstawiono biografię naukową oraz przegląd dorobku dydaktycznego i organizacyjnego Profesora Romualda Zielonko, profesora zwyczajnego, byłego Prodziekana ds. Naukowych, aktualnie Kierownika Katedry Metrologii i Systemów Elektronicznych, którego cała działalność zawodowa związana jest z Wydziałem Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej.
-
Usprawnienie procesu zarządzania wymaganiami w projekcie produkcyjnym na bazie metodyki Rational Unified Process
PublikacjaArtykuł opisuje koncepcję usprawnienia procesu zarządzania wymaganiami w informatycznym przedsięwzięciu produkcyjnym z wykorzystaniem metodyki Rational Unified Process (RUP). Jest również próbą przedstawienia doświadczeń z przedsięwzięcia wdrożeniowego obejmującego automatyzację tej koncepcji z wykorzystaniem technologii IBM Rational Software i Oracle. Artykuł podkreśla krytyczną rolę mentoringu oraz efektywnego transferu wiedzy...
-
Network on Chip implementation using FPGAs resources
PublikacjaW artykule przedstawiono implementację sieci typu ''Network on Chip'' w układach FPGA. Sieci typu ''Network on Chip'' stały się bardzo interesującym i obiecującym rozwiązaniem dla systemów typu ''System on Chip'' które charakteryzują się intensywną komunikacją wewnętrzną. Ze względu na inne paradygmaty projektowania nie ma obecnie dostępnych efektywnych platform do budowy prototypów sieci typu ''Network on Chip'' i ich weryfikacji....
-
Internetowy system prezentacji danych geodezyjnych dla jednostek samorządu terytorialnego
PublikacjaArtykuł przedstawia projekt i realizację internetowego systemu prezentacji danych geodezyjnych przeznaczonego dla jednostek samorządu terytorialnego.
-
Messmethoden zur beurteilung der qualität von VoIP-verbindungen
PublikacjaPraca jest poświęcona tematyce QoS (Quality of Service) w sieciach IP. Na początku pracy opisano i porównano standaryzowane metody oceny jakości połączeń telefonicznych, tzn. MOS, PAMS, PSQM, PESQ, 3SQM, E-Modell. Następnie przedstawiono nowy efektywny system pomiarowy TraceView®:VoIP. Przy jego użyciu jest możliwy objektywny pomiar jakości usługi VoIP (Voice over IP) w sieciach IP. System ten umożliwia również dokonanie w...
-
Problemy i uwarunkowania rozwojowe współczesnej radiokomunikacji morskiej
PublikacjaOpisano aktualny stan radiokomunikacji morskiej działającej w ramach systemu globalnego GMDSS oraz związane z tym problemy eksploatacyjne, zwłaszcza te, które wspomagaja bezpieczną żeglugę. Scharakteryzowano systemy łączności przeznaczone dla potrzeb ratownictwa morskiego oraz szeroko rozumianej ochrony żeglugi. Omówiono potrzeby i trendy rozwojowe w omawianej dziedzinie.
-
Wizualizacja partytur w środowisku internetu
PublikacjaW pracy przedstawiono problematykę wizualizacji notacji muzycznej w środowisku internetowym. Omówione zostały najważniejsze metody publikacji partytur w postaci obrazów rastrowych i wektorowych. Przedstawiono znacznikowy format opisu notacji muzycznej - MusicXML oraz format prezentacji grafiki wektorowej - SVG. Wskazano również potrzebę stworzenia i przedstawiono koncepcję oraz pierwsze testy biblioteki służącej wizualizacji partytur...
-
Zapożyczenie z badań marketingowych do badania rzeczywistości projektowej
PublikacjaBadanie rzeczywistości projektowej jest istotne zarówno z punktu widzenia dydaktyki, jak i prowadzenia badań w inżynierii oprogramowania. Podczas opracowywania efektywnej metody badania rzeczywistości projektowej można wykorzystać wiedzę z innych dyscyplin. W referacie zaprezentowano zapożyczenie metody projektowania badania z dziedziny badań marketingowych. Kolejne rozdziały zawierają: opis zapożyczenia, zarys metody podlegającej...
-
Przechwytywanie obiektów poruszających się z ograniczoną prędkością
PublikacjaKrawędziowa liczba przeszukiwawcza grafu informuje nas ilu mobilnych agentów, przykładowo jednostek policji, jest niezbędnych do przechwycenia poruszającego się z dowolnie dużą prędkością uciekiniera w danym grafie. Podczas praktycznych zastosowań modelu w systemach bezpieczeństwa rzadko jednak spotyka się jednostki poruszające się z nieograniczoną prędkością. W pracy tej pokazujemy, że agenci mogą wykorzystać fakt ograniczonej...
-
Odmienne polityki korporacji Microsoft i Novell realizacji mechanizmu defragmentacji pakietów IP
PublikacjaMechanizm fragmentacji uznawany jest przez wielu administratorów jako mało ważny. Jednak często może okazać się wręcz zasadniczy w wielu spotykanych w praktyce sytuacjach, przede wszystkim ze względów bezpieczeństwa i wydajności infrastruktury sieciowej. Artykuł ukazuje różnice polityk dwóch z największych producentów rozwiązań serwerowych w zakresie obsługi mechanizmu defragmentacji pakietów sieciowych. W pracy dokonano porównania...
-
Mobilny system monitoringu zanieczyszczeń powietrza atmosferycznego
PublikacjaW artykule zaprezentowano mobilny system monitoringu zanieczyszczeń powietrza atmosferycznego dla potrzeb aglomeracji miejskich. Nowością w proponowanym rozwiązaniu, w stosunku do rozwiązań już istniejących, jest kontrola zanieczyszczeń powietrza wzdłuż ciągów komunikacyjnych. W opracowanym systemie stacja monitorująca może być montowana na samochodach osobowych, autobusach i tramwajach komunikacji miejskiej lub na ciężarówkach....
-
Model jakości bibliotek cyfrowych
PublikacjaBiblioteki cyfrowe zyskują z dnia na dzień coraz większą popularność, zarówno wśród osób poszukujących, jak i udostępniających informację. Twórcy bibliotek cyfrowych, mają do zaoferowania użytkownikom coraz to bardziej zaawansowane narzędzia przeznaczone do tworzenia, przeglądania i wyszukiwania dokumentów elektronicznych. Na przestrzeni ostatnich lat ustalony został kanon podstawowych funkcji, które powinna spełniać każda biblioteka...
-
System monitorowania ładunków kontenerowych w transporcie morskim
PublikacjaW pracy przedstawiono koncepcję systemu monitorowania kontenerów przewożonych drogą morską. Scharakteryzowano główne cechy oraz przedstawiono modułowo-warstwowy schemat funkcjonalny. Ponadto opisano założenia funkcjonalno-użytkowe dotyczące Inteligentnego Modułu Kontenerowego (IMK), będącego podstawowym elementem składowym systemu. Przedstawiono również główne zadania projektowe związane z realizacją projektu.
-
Otwarty format opisu schematów blokowych
PublikacjaW pracy zaprezentowano problem opisu zinterpretowanych rysunków wektorowych. Przedstawiono wybrane formaty do opisu rysunków wektorowych i różnorodnych struktur. Zaproponowano otwarty format FlowChartML do opisu schematów blokowych. Format ten, oparty na metajęzyku XML, pozwala nie tylko na zapis informacji o poszczególnych figurach schematu oraz ich połączeniach, ale również informacji o zinterpretowanej strukturze schematu blokowego
-
Aplikacja wspomagająca przetwarzanie sekwencji dna: moduł dopasowań
PublikacjaBiologia molekularna jest obecnie bardzo dynamicznie rozwijającą się dziedziną nauki. Wzrost mocy obliczeniowej komputerów pozwala na coraz szybszą i dokładniejszą analizę wielocząsteczkowych biologicznych polimerów. Poniższy artykuł przedstawia jeden z modułów programu AlignGator - modułowego systemu przeznaczonego do analizy DNA. Omawiany moduł pozwala na tworzenie, oraz edycję wielodopasowań. W początkowej części artykułu opisane...
-
Efektywne metody lokalizowania terminala ruchomego w systemie WCDMA/FDD
PublikacjaZaproponowano, poddano analizie i zbadano na drodze symulacyjnej dwie nowe, efektywne metody lokalizowania terminala ruchomego w systemie WCDMA/FDD (Wideband Code Division Multiple Access/Frequency Division Duplex). Metody te umożliwiają estymację położenia terminala ruchomego bez konieczności znajomości różnicy czasów w synchronizacji stacji bazowych RTD (Relative Time Difference). Eliminacja różnicy czasów RTD znacząco upraszcza...
-
Ocena funkcjonalna środowisk modelowania UML jako składowa wielokryterialnej oceny technologii informatycznych
PublikacjaW artykule przedstawiono koncepcję systemu wieloagentowego do oceny technologii informatycznych stosowanych do wytwarzania oprogramowania. Jednym z komponentów takiego rozwiązania ma być system ekspertowy bazujący na wiedzy. Jako, że niezbędnym etapem prac będzie przygotowanie bazy wiedzy, konieczny będzie w pierwszej kolejności dobór adekwatnych parametrów. Autor prezentuje wyniki pierwszych, wstępnych badań nad środowiskami do...
-
Automatyczna detekcja liczby poziomów szumów RTS w przyrządach półprzewodnikowych
PublikacjaW publikacji zaprezentowano dwie metody automatycznej detekcji liczby poziomów szumów RTS w sygnałach szumowych generowanych w przyrządach półprzewodnikowych. Pierwsza z nich wykorzystuje źródło danych, którym jest szum przyrządu zapisany w postaci wektora próbek, natomiast druga działa w oparciu o obrazy uzyskane metodą NSP. W odróżnieniu od metody NSP, prezentowane metody pozwalają na automatyczną identyfikację liczby poziomów...
-
Macierzowy opis okretowego środowiska elektromagnetycznego
PublikacjaW artykule poruszono problemy zwiazane z analizowaniem stanu kompatybilności elektromagnetycznej systemów i urzadzeń okretowych. Scharakteryzowano i opisano zagrożenia w postaci źródeł zaburzeń występujące w okrętowym środowisku elektromagnetycznym, mogace wpływać na bezpieczeństwo okrętu i załogi. Z punktu widzenia ograniczenia emisji e-m omówiono rolę struktur okrętowych. Na podstawie analizy źródeł emisji pola elektromagnetycznego...
-
Zastosowanie gramatyk grafowych do rozpoznawania i interpretacji diagramów
PublikacjaW pracy przedstawiono formalizm gramatyk grafowych oraz jego wykorzystanie do rozpoznawania i interpretacji złożonych dwuwymiarowych struktur. Podano przykład zastosowania gramatyki grafowej do interpretacji schematów blokowych, formułując specyficzne dla nich reguły produkcji. Pokazano też możliwość zastosowania gramatyk grafowych do wspomagania procesu rozpoznawania oraz interpretacji partytur muzycznych
-
Zdefiniowany programowo modem krótkofalowy dla potrzeb radiokomunikacji morskiej
PublikacjaW artykule przedstawiono koncepcję modemu do transmisji danych w paśmie krótkofalowym dla potrzeb radiokomunikacji morskiej, do realizacji którego wykorzystana została technologia radia zdefiniowanego programowo SDR (Software Defined Radio). W pierwszej części tego referatu zaprezentowano wyniki badań uzyskane na podstawie opracowanego programowego symulatora takiego urządzenia. W dalszej części przedstawiono platformę sprzętową...
-
Wyszukiwanie cykli w grafach przy użyciu cykli Hopfielda
PublikacjaPrzedstawiono przykłady zastosowania sieci neuronowej Hopfielda do rozwiązywania trudnych obliczeniowo problemów kombinatorycznych.
-
Analiza wpływu konfiguracji stacji pomiarowych na dokładność pozycjonowania w metodzie TDOA
PublikacjaW artykule dokonano analizy wpływu konfiguracji stacji pomiarowych na dokładność estymacji położenia geograficznego terminala w systemach wykorzystujących metodę TDOA (Time Difference of Arrival). W pierwszej części przedstawiono model symulacyjny wykorzystany do badań. Zaprezentowano również model statystyczny, który wykorzystano do wyznaczenia parametru geometrycznego rozmycia pozycji GDOP (Geometric Dilution of Precision) w...
-
Stałoprądowy model tranzystora mos dla zakresu przed- i nadprogowego
PublikacjaZaprezentowano spójny fizycznie, stałoprądowy, jednosekcyjny model opisujący pracę tranzystora MOS zarówno w zakresie przed- i nadprogowym, jak również w zakresie liniowym (triodowym) i nasycenia (pentodowym). Przedstawiono założenia modelu fizycznego w przestrzeni 2-D i jego transformację do modelu quasi-dwuwymiarowego praz zademonstrowano wyniki weryfikacji eksperymentalnej modelu. Model spełnia warunek symetrii Gummel'a
-
Spatial analysis of Critical Infrastructure risk assessment results using a Web-based GIS
PublikacjaArtykuł prezentuje Sieciowy System Informacji Przestrzennej dla Szacowania i Wizualizacji Infrastruktur Krytycznych i ich Zagrożeń, stworzony dla Urzędu Miejskiego w Gdańsku przez Politechnikę Gdańską. System ten jest przeznaczony do przetwarzania przestrzennego i mapowania wyników różnych analiz Infrastruktur Krytycznych, zaś CARVER2 pełni w nim rolę głównego ''sensora''.
-
Metryki reputacji w sieciach mobilnych ad hoc
PublikacjaDla przeciwdziałania niepoprawnym zachownaiom węzłów w sieciach mobilnych ad hoc projektuje się systemy reputacyjne, ściśle współpracujące z mechanizmami routingu i przekazywania pakietów. W pracy przedyskutowano zasady wyznaczania wartości reputacji w kilku znanych systemach. Efekty różnych metod wyznaczania reputacji zilustrowano przy pomocy prostych eksperymentów symulacyjnych.
-
Analiza jakości transmisji danych w systemie umts z wykorzystaniem turbokodera o zmniejszonej liczbie stanów
PublikacjaW referacie przedstawiono budowę kodera i dekodera turbokodu o zmniejszonej liczbie stanów. Zaprezentowano wyniki badań symulacyjnych jakości transmisji z wykorzystaniem turbokodów ze stałą liczbą iteracji oraz z zastosowaniem mechanizmów redukcji liczby iteracji w turbodekoderze w środowisku propagacyjnym miejskim wokołobudynkowym dla szybkości transmisji 384 kb/s. W turbodekoderze wykorzystano algorytm SOVA.
-
Pojemność interfejsu radiowego WCDMA/FDD z makrodywersyfikacją w łączu w górę
PublikacjaW referacie przedstawiono analizę i wyniki badań symulacyjnych wpływu zastosowania mechanizmu makrodywersyfikacji na pojemność interfejsu radiowego WCDMA/FDD w systemie UMTS.
-
Analiza wpływu pozatechnicznych elementów witryn internetowych na klienta w segmencie rynkowym B2C
PublikacjaPrzedstawiono marketingową problematykę handlu internetowego w zorientowaniu na klienta detalicznego. Zaprezentowano szereg pozatechnicznych elementów mających wpływ na postrzeganie witryny przez odwiedzającego ją Internautę. Dokonano przeglądu technik wpływania na zachowanie ludzi oraz przeanalizowano możliwości ich wykorzystania na komercyjnych stronach www. Wyciągnięto wnioski natury ogólnej mogące służyć projektantom stron...
-
Sieć neuronowa z dwucentrowymi radialnymi funkcjami bazowymi do klasyfikacji uszkodzeń parametrycznych
PublikacjaW niniejszej pracy zaproponowano nową architekturę sieci neuronowej wykorzystującej dwucentrowe radialne funkcje bazowe w warstwie ukrytej (funkcje DRB). Kształt funkcji DRB opracowany został pod kątem klasyfikacji pojedynczych uszkodzeń parametrycznych układów elektronicznych analogowych. Zastosowanie funkcji DRB pozwala na kilkukrotne zmniejszenie liczby neuronów w warstwie ukrytej w porównaniu do sieci neuronowej z radialnymi...
-
Push-to-talk als eine der ersten voip - applikationen in mobilfunknetzen
PublikacjaW pracy przedstawiono wybrane aspekty realizacji multimediów w sieciach komórkowych. Dokonano analizy protokołu SIP ze szczególnym uwzględnieniem pomiarów systemów rzeczywistych. Oceniono nową usługę PoC (Push-to-Talk over Cellular)- pierwszą aplikację typu VoIP realizowaną w sieciach komórkowych
-
Automatyczna konwersja ręcznie tworzonych rysunków technicznych na postać elektroniczną
PublikacjaW pracy przedstawiono ogólne spojrzenie na problem automatycznego przetwarzania dokumentów cyfrowych, ze szczególnym uwzględnieniem rysunków technicznych. Podano klasyfikację dokumentów technicznych oraz poszczególne etapy i poziomy ich przetwarzania na postać elektroniczną. Przedstawiono również różne podejścia do problemu konwersji oraz klasyfikację metod wykorzystywanych przy rozpoznawaniu elementów rysunków technicznych. Na...
-
Algorytmy ewolucyjne o wielowarswowych chromosomach i ich zastosowania w elektronice
PublikacjaW artykule przedstawiono koncepcje chromosomów wielowarstwowych w algorytmach ewolucyjnych. Ukazano strukturę chromosomu wielowarstwowego oraz opisano możliwe zastosowania algorytmów ewolucyjnych z jego wykorzystaniem. Omówiono zastosowanie algorytmu ewolucyjnego z wielowarstwowym chromosomem do: projektowania i optymalizacji kombinacyjnych układów cyfrowych budowanych zarówno w oparciu o bramki napięciowe jak i bramki prądowe,...
-
Integracja funkcji z formą w przestrzeni e-Uczelni
PublikacjaObecnie kampus uczelni wyższej traktowany jest jako globalny ośrodek wytwarzania i wymiany wiedzy. W artykule wskazano kierunek przemian środowisk akademickich, który dotyczyć ma nie tylko samego procesu informatyzacji na szczeblu organizacyjno-informacyjnym, lecz także sposobu traktowania struktury architektonicznej kampusu z wyodrębnieniem węzłów funkcjonalnych. Wyraża się to poprzez udział nowych technologii w kształtowaniu...
-
STEROWANIE RAMIENIEM ROBOTA Z WYKORZYSTANIEM DANYCH Z KAMERY CYFROWEJ I MECHANIZMÓW SZTUCZNEJ INTELIGENCJI
PublikacjaPierwotnym zamysłem zespołu było stworzenie uniwersalnego systemu grającego w gry planszowe. Mierząc się z tym problemem, postanowiono zrobić jednak coś więcej - wywrócić dotychczasową koncepcję pracy użytkownika z komputerem „do góry nogami” i nie zmuszać użytkownika do nauki interfejsu, a zmusić system do współpracy z interfejsem, który rozumie użytkownik. Dokonane zostało więc przejście ze świata wirtualnego do świata rzeczywistego...
-
METODA WYZNACZANIA ZŁOŻONOŚCI PODPRZESTRZENI STANÓW PLANSZOWYCH GIER LOGICZNYCH LOGICZNYCH
PublikacjaJedna z metod rozwiązywania gier jest analiza wsteczna. Jej skuteczność jest ograniczona wielkością przestrzeni stanów gry, która stanowi rozwiązywany problem. Pierwszego takiego oszacowania dokonał Claude E. Shannon odnośnie gry szachy w połowie minionego stulecia. Ważnym elementem jest podział takiej przestrzeni na mniejsze części, które mogą być rozwiązywane niezależnie lub z wykorzystaniem stosunkowo niewielkiej ilości informacji z...
-
Identyfikacja lotnych związków na podstawie odpowiedzi matryc czujników gazu
PublikacjaW pracy przedstawiono koncepcję systemu wykorzystującego wielowymiarową analizę danych, który służyć będzie do analizy odpowiedzi matrycy czujników gazu w celu identyfikacji lotnych związków występujących w powietrzu. Przedstawione podejście składa się z dwóch etapów. W pierwszym kroku wykonuje się proces kalibracji, polegający na utworzeniu w przestrzeni dwuwymiarowej grupy klas odpowiadających odpowiedziom czujników na konkretne...
-
Zmodyfikowana metoda monopulsowa w wielowiązkowych filtrach przestrzennych sonarów pasywnycj
PublikacjaZwiększenie dokładności określania namiaru celu można uzyskać w sonarach stosując metodę monopulsową. W konwencjonalnych sonarach polega ona na wyrównywaniu sygnałów w dwóch sąsiednich wiązkach poprzez obrót anteny. W cyfrowych sonarach wielowiązkowych obrót anteny można zastąpić obliczeniami, które przedstawiono w referacie. Opracowaną metodę poprawy dokładności namiaru pokazano na przykładzie szerokopasmowego sonaru wielowiązkowego...
-
Simulation model of IMS/NGN call processing performance
PublikacjaIn current telecommunications it is assumed that demands of the information society for quickly delivered services will be satisfied by the Next Generation Network (NGN) architecture, which includes IP Multimedia Subsystem (IMS) elements. To guarantee Quality of Service (QoS), proper design and dimensioning of NGN is absolutely necessary, for which appropriate models have to be proposed. As the NGN architecture is very complicated,...
-
Chemiresistive gas sensors based on carbon nanotubes - fabrication and application
PublikacjaMany types of sensors have been invented to identify and quantify chemical contamination in the gas phase. Sensors based on carbon nanotubes are particularly attractive because of their wide range of applicaions and potential use in electronic nose that can be controlled using algorithms of Artificial Intelligence. Sensor functions, fabrication and selected applications are reviewed and discussed with focus on chemiresistors. Drawbacks...
-
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...
-
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...
-
Praca z normą Common Criteria wspomagana szablonami Trust Case
PublikacjaTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Metoda jest przedmiotem intensywnych badań. Jeden z kierunków rozwoju dotyczy tworzenia szablonów oceny zgodności ze standardami. Szablon Trust Case jest odwzorowaniem wymagań zawartych w normie w strukturę drzewa dowodowego....