Filters
total: 1568
filtered: 1079
-
Catalog
- Publications 1079 available results
- Journals 10 available results
- Conferences 1 available results
- People 51 available results
- Inventions 1 available results
- Projects 17 available results
- Research Teams 10 available results
- Research Equipment 1 available results
- e-Learning Courses 382 available results
- Events 15 available results
- Open Research Data 1 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: TRUDNOWYKRYWALNOŚĆ - TECHNOLOGIE STEALTH
-
Psychoakustyczna dozymetria hałasowa w multimedialnym systemie monitorowania hałasu
PublicationW referacie przedstawiono wyniki działania Psychoakustycznego Dozymetru Hałasowego (PDH). Opracowany algorytm stanowi nowy sposób oceny szkodliwości hałasu. Metoda ta opiera się na wykorzystaniu wiedzy na temat właściwości słuchu dostępnej w literaturze oraz na wynikach badań słuchu i hałasu przeprowadzonych w warunkach laboratoryjnych. Na tej podstawie zaproponowano nowe wskaźniki oceny skumulowanych skutków słuchowych wywołanych...
-
Metoda porównywania drzew filogenetycznych wykorzystująca najlżejsze doskonałe skojarzenie w grafach dwudzielnych
PublicationDrzewa filogenetyczne przedstawiają historyczne, ewolucyjne związki pokrewieństwa między różnymi gatunkami lub różnymi osobnikami w ramach jednego gatunku. Istnieje wiele metod rekonstruowania drzew filogenetycznych. Wykorzystywanie różnych metod na tym samym zbiorze danych zazwyczaj owocuje powstaniem różnych drzew. Pojawia się zatem pytanie: jak bardzo dwa dane drzewa różnią się od siebie. W niniejszej pracy prezentujemy nową...
-
Możliwości zastosowania arytmetyki resztowej w systemie rozmytym
PublicationW artykule przedstawiono możliwości zastosowania arytmetyki resztowej w systemie rozmytym implementowanym w układzie reprogramowalnym FPGA. Zastosowanie arytmetyki resztowej ma na celu przyspieszenie procesu wnioskowania, a w szczególności operacji wyostrzania. W pracy tej przedstawiono także wykorzystanie techniki tablicowania do opisu zmiennych lingwistycznych (ang. look-up table).
-
Zastosowanie przetworników jonoczułych typu isfet w bezprzewodowych sieciach sensorowych
PublicationW pracy przedstawiono zasadę działania pH-metrycznych czujników ISFET, ich istotne układy pracy oraz wady i zalety w analizie elektrochemicznej w środowiskach wodnych i niewodnych. Określono wymagania dla przetworników pracujących w warunkach polowych, poza laboratorium. Przedstawiono technologię bezprzewodowych sieci sensorowych. Zaproponowano układ węzła sensorowego ze skompensowanym termicznie różnicowym przetwornikiem ISFET...
-
Interferencja szerokopasmowa w wieloźródłowych systemach akustycznych
PublicationW akustycznych systemach wieloźródłowych pobudzanych wspólnym szerokopasmowym sygnałem dźwiękowym występuje zjawisko interferencji powodujące znaczne zniekształcenia liniowe. W artykule do badania tego zjawiska zastosowano metodę odpowiedzi impulsowych, traktując system wieloźródłowy, jako wielokanałowy liniowy system komunikacyjny. Przestudiowano mechanizm formowania się pola akustycznego dla szczególnego przypadku liniowego szyku...
-
Klasyfikacja dna morskiego na podstawie kątowej zależności cech echa z sonaru wielowiązkowego
PublicationPrzedstawiono metodę rozpoznawania i klasyfikacji rodzaju dna morskiego opartą na przetwarzaniu echa z sonaru wielowiązkowego. Metoda ta polega na obliczaniu zbioru parametrów obwiedni ech dla poszczególnych wiązek, podobnie jak w metodach wykorzystujących echosondy jednowiązkowe. Następnie estymowana jest zależność wartości poszczególnych parametrów od kąta wiązki oraz badane jest powiązanie otrzymanej zależności z rodzajem dna...
-
Ważone umieszczanie grafów jako model optymalizacji komunikacji w sieciach heterogenicznych
PublicationUmieszczenie grafu w grafie jest odwzorowaniem pomiędzy parą grafów. Graf umieszczany reprezentuje sieć komunikujących się ze sobą zadań, natomiast graf docelowy dostępną architekturę wykonania tych zadań. Problem polega na takim odwzorowaniu wierzchołków i krawędzi, aby zminimalizować koszty wynikające z potrzeby użycia zastępczych ścieżek w grafie docelowym. W klasycznym modelu przyjmuje się, że oba grafy są proste i ich krawędzie...
-
Ewolucyjne projektowanie kombinacyjnych układów cyfrowych: stan obecny, główne problemy i perspektywy
PublicationW pracy przedstawiono stan obecny, główne problemy oraz perspektywy dotyczące ewolucyjnego projektowania kombinacyjnych układów cyfrowych. Krótko scharakteryzowano istniejące algorytmy ewolucyjnego projektowania układów kombinacyjnych oraz przedstawiono ich ogólną koncepcję. Wskazano również główne problemy tych algorytmów oraz potencjalne sposoby ich eliminacji.
-
Porównywanie topologii drzew i sieci filogenetycznych z wykorzystaniem metryki błędu
PublicationPodstawowymi modelami historii ewolucji organizmów są drzewa i sieci filogenetyczne. Ponieważ algorytmy konstrukcji filogenów zwracają różne wyniki dla tych samych danych wejściowych, powstaje problem oceny, który filogen najlepiej reprezentuje historię ewolucji dla zadanego zbioru gatunków. W pracy podano definicję metryki dla przestrzeni drzew o n liściach, zwanej metryką błędu. Dokonano przeglądu miar odległości na przestrzeni...
-
Algorytm budowy reprezentacji przedziałowej grafu jako heurystyka dla problemu mapowania DNA
PublicationW pracy dokonano analizy przydatności algorytmu Corneil'a budowy reprezentacji przedziałowej grafu jako heurystyki dla problemu tworzenia map fizycznych DNA. Prezentowana analiza dotyczy dwóch osobno rozpatrywanych przypadków, w których do danych wzorcowych wprowadzamy odpowiednio błędy negatywne (reprezentujące niedobór informacji) oraz błędy pozytywne (reprezentujące fałszywe informacje). Rozpatrywany algorytm zachowuje się znacznie...
-
Rozproszone mechanizmy obrony przed niekooperacyjnym zachowaniem węzłów w wieloskokowych sieciach bezprzewodowych
PublicationW chwili obecnej rosnącym zagrożeniem dla funkcjonowania sieci staje się niekooperacyjne zachowanie węzłów, tzn. ataki polegające na przyjęciu przez nie procedur funkcjonowania niezgodnych ze standardem, aby uzyskać niesprawiedliwą przewagę nad innymi węzłami.Jest to możliwe na skutek obecnego podejścia do projektowania mechanizmów sieciowych, nastawionego na maksymalizację ogólnej efektywności przy jednoczesnym założeniu pełnej...
-
Ewolucyjny rozwój uczelnianej infrastruktury komunikacyjno-informacyjnej na potrzeby e-uczelni
PublicationStosowane i proponowane rozwiązania w obszarze technologii informacyjnych stwarzają szerokie możliwości w rozwoju i wdrażaniu systemów komunikacyjno-informacyjnych wspomagających i usprawniających specyficzną działalności uczelni a szczególnie wspierających e-Uczelnię. Wymaga to jednak wprowadzenia zmian w infrastrukturze technicznej i organizacji pracy. W artykule rozpa-trzono możliwości wykorzystania uczelnianych infrastruktur...
-
Serwery aplikacji dla realizacji uczelnianych usług VoIP
PublicationW pracy przedstawiono klasy usług systemu VoIP. Omówiono niebezpieczeństwa realizacji usług telefonicznych na bazie sieci komputerowej. Scharakteryzowano środowisko programistyczne dla aplikacji VoIP, w tym przedstawiono architekturę i podstawowe funkcje serwera aplikacji. Zaprezentowano przykłady usług zaimplementowanych na Politechnice Gdańskiej. Omówiono aspekty ekonomiczne i problemy realizacji usług VoIP na Uczelni.
-
Systemy informacji przestrzennej w rozwoju e-uczelni
PublicationArtykuł opisuje istotę systemów informacji przestrzennej, ich definicję, krótką genezę oraz przybliża zagadnienia funkcjonowania współczesnych systemów tego typu. Szczególną uwagę zwrócono na moźliwości ich wykorzystania w szeroko rozumianej informatyzacji. Przez przykłady zastosowań zwrócono uwagę na rolę, jaką mogą pełnić takie systemy we współczesnym społeczeństwie. Zostały określone podstawowe wymagania dotyczące oprogramowania,...
-
Realizacja bezprzewodowego multimedialnego przewodnika na bazie usług LBS
PublicationOpisano koncepcję definiowania funkcjonalności elektronicznego, bezprzewodowego, multimedialnego przewodnika eGIT. Scharakteryzowano jego architekturę w ujęciu warstwowym i komponentowym. Przedstawiono zagadnienie wykorzystania w aplikacji usług webowych oferujących podanie aktualnej lokalizacji użytkownika. Udostępnienie tych usług pozwala na wytwarzanie aplikacji oferujących odmienne funkcjonalności w zależności od aktualnego...
-
Wykorzystanie technologii portletów do budowy usług uczelnianych
PublicationW dobie Internetu użytkownicy systemów akademickich wymagają szybkiego i łatwego dostępu do wszystkich zasobów informacyjnych uczelni, w dowolnym czasie i niezależnie od urządzenia, z którego korzystają. aniesie to zasobą konieczność zapewnienia większej elastyczności i dostępności aplikacji. Te wymagania pozwala realizować koncepcja architektury zorientowanej na usługi w połączeniu z portalami internetowymi. Portale są to środowiska,...
-
Realizacja systemu zarządzania wydziałem wyższej uczelni w technologiach typu open-source
PublicationW artykule przedstawiono założenia projektowe, architekturę i implementację systemu przeznaczonego do wspomagania zarządzania wydziałem wyższej uczelni. System jest realizowany dla Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, w technologiach typu open-source. Artykuł opisuje poszczególne komponenty systemu oraz aspekty technologiczne jego budowy. Opisano założenia przyjęte na początku projektu, architekturę...
-
System zliczania osób oparty na dwustrumieniowej analize obrazu
PublicationOpisano zagadnienia automatycznej detekcji i identyfikacji osób oraz ich zliczania w pomieszczeniach zamkniętych. Zaproponowano budowę elastycznej aplikacji opartej o usługi webowe. W celu kompozycji zaimplementowanych usług przedstawiono metodę tworzenia aplikacji w oparciu o procesy przepływu pracy. Przedstawiono rezultaty badań eksperymentalnych dla różnych algortymów detekcji i identyfikacji.
-
Zapewnienie interoperacyjności usług informacyjnych podstawą rozwoju e-uczelni
PublicationPodano definicję e-uczelni oraz charakterystyczne cechy tego typu uczelni. Określono możliwe modele funkcjonalne wraz z podstawowymi zadaniami wykonywanymi w środowisku uczelnianym. Podkreślono istotną rolę usług informacyjnych zorientowanych na potrzeby uczelni. Dodatkowo zaprezentowano różne metody integracji takich usług oraz ich wykorzystania przy realizacji różnych scenariuszy wykonania zadań uczelnianych. Zaproponowano opis...
-
Pomorska Biblioteka Cyfrowa jako cyfrowe repozytorium dorobku cywilizacyjnego regionu
PublicationW pracy przedstawiono główne założenia i cele projektu Pomorskiej Biblioteki Cyfrowej(PBC), partnerów biorących udział w jego realizacji, a także spodziewany wpływ na szeroko rozumiany rozwój społeczeństwa regionu i Polski. Celem opisywanego projektu jest stworzenie ogólnodostępnej biblioteki cyfrowej, która umożliwi zachowanie i prezentację w Internecie szerokiemu gronu odbiorców zabytków piśmienniczych i niepiśmienniczych znajdujących...
-
Wprowadzenie do wytwarzania i testowania zaawansowanych systemów informatycznych na przykładzie technologii IPSec
PublicationW pracy przedstawiono model wytwarzania i testowania systemów informatycznych, przydatny zwłaszcza w tworzeniu zaawansowanego oprogramowania, sprzętu i dokumentacji. Zaproponowano połączenie kaskadowego modelu wytwarzania z prototypowaniem. Wybór właściwej ścieżki postępowania uwarunkowano ważnością wymagania, którego dotyczy wytwarzanie i testowanie. Zaletami przedstawionego rozwiązania są pogłębienie etapu analizy wymagań oraz...
-
Rozwój medycznego systemu komputerowego Endoscopy Recommender System
PublicationPrzedstawiono rozwój medycznego systemu komputerowego do badań endoskopowych Endoscopy Recommender System ze szczególnym zwróceniem uwagi na rozwój architektury systemu i bazy danych. Opisano wpływ ewolucji technologii i wymagań systemowych na podejście do magazynowania i zarządzania danymi pacjentów. Omówiono architekturę nowego systemu oraz metodologię wprowadzania zmian w systemie.
-
Multimedialna karta pacjenta
PublicationPrzedstawiono założenia i rozwiązania systemu komputerowego wprowadzającego dane multimedialne do historii choroby pacjenta. Zdefiniowano pojęcie ''Multimedialnej karty pacjenta''. Omówiono rozwój architektury i kompnentów systemu Endoscopy Recommender System. Przedstawiono proces oraz metodologię wdrożenia Multimedialnej Karty Pacjenta.
-
Architektury systemów informatycznych wspomagających rozwój e-uczelni
PublicationPrzedstawiono charakterystykę podstawowych kategorii architektur systemów informatycznych. Zaprezentowano koncepcję środowiska zintegrowanego e-uczelni opartą na architekturze zorientowanej na usługi dostępne dla poszczególnych kategorii użytkowników. Uzasadniono wybór takiego podejścia oraz przeanalizowano aspekty bezpieczeństwa. Omówiono również zasady integracji istniejących już systemów.
-
Algorytmy ewolucyjne o wielowarswowych chromosomach i ich zastosowania w elektronice
PublicationW 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,...
-
Projekt CURE - wykorzystanie technik kształcenia na odległość
PublicationZaprezentowano projekt CURE, który został złożony do Komisji Europejskiej w ramach konkursu na Centra Doskonałości (NAS-2) w V Programie Ramowym Unii Europejskiej. Projekt został zaakceptowany i otrzymał dofinansowanie na trzy lata (2002-2005). W projekcie CURE zastosowane będą techniki kształcenia na odległość. Wybrane przedmioty na studiach doktoranckich i podyplomowych oferowane będą z wykorzystaniem systemów wspomagających...
-
Wykorzystanie technologii cienkiego klienta w systemie informacyjnym GDASKON
PublicationReferat ten przedstawia propozycję adaptacji technologii cienkiego klienta do potrzeb systemu GDASKON. Propozycja ta obejmuje dwie platformy: prostszą odpowiadającą telefonom komórkowym oraz bardziej złożoną dotyczącą palmtopów. W przypadku pierwszej z platform założono, iż na wyświetlaczu telefonu komórkowego prezentowana jest jedynie informacja tekstowa, co wymusza odrzucenie generowanej przez system GDASKON informacji graficznej...
-
Analiza projektowa radiowej stacji dostępowej w terenie zabudowanym
PublicationPrzedstawiono zagadnienie planowania radiowej stacji dostępowej w mieście, uwzględniając przy tym rodzaj zabudowy. Przedstawiono zagadnienie budowy i wdrożenia takiej inwestycji telekomunikacyjnej. Omówiono procedurę projektowania stacji w oparciu o bilans energetyczny łącza radiowego. Przeanalizowano problem wyznaczania tłumienia sygnału radiowego przy użyciu wybranych modeli propagacyjnych, takich jak: model wolnej przestrzeni,...
-
Filtry Gm-C czasu ciągłego - ogólna struktura i zastosowania w zagadnieniach analizy i projektowania
PublicationW pracy przedstawiono ogólny model filtrów Gm-C czasu ciągłego oraz jego opis macierzowy. Wykazano, że dowolny filtr aktywny tej klasy jest szczególnym przypadkiem zaprezentowanej struktury. Struktura ta jest szczególnie przydatna do analizy i projektowania filtrów Gm-C wysokiego rzędu, między innymi filtrów z wielopętlowym sprzężeniem zwrotnym takich jak Leap-Frog(LF) czy Follow-the-Leader (FLF). W pracy zaprezentowano szereg...
-
Technika satelitarna w telekomunikacji
PublicationScharakteryzowano różne rozwiązania satelitarnych systemów telekomunikacyjnych, głównie pod względem rodzaju zastosowanej orbity, co ma zasadnicze znaczenie użytkowe. Dokonano przeglądu dotychczasowych reprezentatywnych projektów takich systemów, analizując kolejne fazy ich rozwoju oraz występujące bariery technologiczno-ekonomiczne. Przedstawiono stan prac ETSI w zakresie specyfikacji GMR, której praktycznym przykładem są pierwsze...
-
Projekt IST-2001-33441-MEMORIAL: zestaw narzędziowy do tworzenia dokumentów cyfrowych z zapisów osobowych
PublicationKonsorcjum projektu MEMORIAL zakłada osiągnięcie w 2,5 roku czterech podstawowych celów: opracowania nowych metod i narzędzi do przetwarzania i rozpoznawania dokumentów papierowych wypełnianych na maszynie, opracowanie narzędzi do interaktywnej manipulacji i oceny jakości dokumentu cyfrowego w różnych fazach jego cyklu życia, określenie prawnych, społecznych, etycznych i politycznych uwarunkowań tworzenia bibliotek cyfrowych zawierających...
-
TeleCAD w kształceniu studentów Wydziału Inżynierii Lądowej Politechniki Gdańskiej
PublicationPrzedstawiono system TeleCAD opracowany w ramach projektu Leonardo da Vinci - Teleworkers Training for CAD Systems Users (1998-2001). Głównym celem projektu było stworzenie środowiska obsługi kursów programu AutoCAD bazującego na Internecie jako medium do komunikacji między uczestnikami oraz do dostarczania materiałów kursowych. W artykule zaprezentowano również system służący do oceny jakości szkoleń na odległość. Szkolenie TeleCAD...
-
Pomiar jakości procesu automatycznego rozpoznawania maszynopisów
PublicationAutomatyczne rozpoznawanie maszynopisów jest celem międzynarodowego projektu Memorial. Artykuł ten podejmuje temat pomiaru jakości takiego rozpoznawania. Zidentyfikowano w nim potencjalne miejsca pojawiania się błędów oraz omówiono i sklasyfikowano odpowiednie miary.
-
Sieć neuronowa z dwucentrowymi radialnymi funkcjami bazowymi do klasyfikacji uszkodzeń parametrycznych
PublicationW 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
PublicationW 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ą
PublicationW 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...
-
Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego
PublicationAnaliza 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
PublicationW 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
PublicationCelem 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
PublicationW 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
PublicationW 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
PublicationPrzeglą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''
PublicationW 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
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...
-
Badania kompatybilności elektromagnetycznej urządzeń okrętowych
PublicationW 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
PublicationTrust 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....
-
Zachłanne algorytmy kolorowania grafów w modelu rozproszonym
PublicationW artykule porównano cztery rozproszone algorytmy kolorowania grafów. Zaprezentowano wyniki eksperymentów komputerowych, w których badano liczbę rund i kolorów uzyskanych dla grafów losowych.
-
Badania energii oporu pękania interlaminarnego GIIC kompozytów polimerowych zbrojonych włóknem szklanym i aramidowym
PublicationZbadano energię pękania interlaminarnego GIIc epoksydowych kompozytów warstwowych zbrojonych tkaniną aramidowo-szklaną i szklaną w próbie trzypunktowego zginania próbek ENF ze sztucznie zalaminowaną szczeliną. Z uzyskanych wy-ników wynika, iż laminaty zbrojone tkaniną aramidowo-szklaną wykazują znaczną krytyczną energię pękania interlaminarnego przy II typie obciążeń, większą niż laminaty zbrojone włóknem szklanym. Ponieważ GIIc...
-
Napawane laserowo warstwy na bazie kobaltu - zmienność morfologii i własności. Część 1. Cobalt base, laser cladding layers - morfology and properties variation. Part 1
PublicationPrzedmiotem badań były szczegóły budowy warstwy napawanej laserowo z zastosowaniem trzech ściegów oraz analiza wpływu zróżnicowanej budowy warstwy na jej mikrotwardość.
-
Gotowość szpitali do wdrożenia informatycznego wspomagania procesów dystrybucji stosowania leków - studium przypadku.
PublicationW artykule przedstawiono wyniki badań przeprowadzonych w środowisku krajowych placówek ochrony zdrowia w celu oceny ich gotowości do stosowania zaawansowanych systemów informatycznych wspomagających procesy dystrybucji i stosowania leków. Badaniami objęto cztery szpitale, w tym zarówno duże państwowe jak i specjalistyczne prywatne. Przebadano punkty widzenia kierownictwa, lekarzy i pielęgniarek oddziałowych oraz aptek szpitalnych....