Filters
total: 837
Search results for: EUROPEJSKIE SPOŁECZEŃSTWO INFORMACYJNE
-
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...
-
Optymalizacja sceny dla potrzeb interakcyjnej wizualizacji terenu rzeczywistego wykorzystująca klaster obliczeniowy
PublicationInterakcyjny 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...
-
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.
-
Multimedialny interfejs cienkiego klienta dla osób niepełnosprawnych w systemie informacyjnym GDASKON
PublicationPo krótkiej dyskusji wymagań stawianych interfejsom przeznaczonym dla ludzi niepełnosprawnych artykuł przedstawia przykładowy interfejs zaprojektowany dla osób o różnym rodzaju niesprawności i zrealizowany dla telefonów komórkowych i palmtopów z przeznaczeniem do zdalnego korzystania z systemu informacyjnego GDASKON, służącego do znajdowania trasy między dwoma punktami w terenie. Zastosowane rozwiązanie polega na odpowiedniej adaptacji...
-
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...
-
Komponentowa metoda budowy systemu oceny przedsięwzięć komunikacyjno-negocjacyjnych
PublicationW pracy omówiono istotę oraz podstawowe parametry komunikacji interpersonalnej. Uzasadniono potrzebę komputerowej rejestracji eksperymentów umożliwiających ocenę tego typu procesów ludzkiej działalności. Zaprezentowano komponentową metodę wytwarzania internetowego systemu realizującego takie funkcje. Opisano jego architekturę, sposób implementacji oraz możliwości praktycznego wykorzystania.
-
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,...
-
Analiza porównawcza protokołów routingu dla bezprzewodowych sieci ad hoc
PublicationNowe usługi oferowane przez bezprzewodowe sieci LAN (WLAN) obejmują również wspieranie mobilności stacji końcowych. Prawidłowe funkcjonowanie ruchomych sieci WLAN wymaga oczywiście implementacji efektywnych metod routingu. By rozwiązać ten problem, IETF powołała grupę roboczą MANET (Mobile Ad Hoc Net-working Working Group). Zgodnie ze specyfikacją RFC 2501, sieć MANET jest zbiorem komunikujących się bezprzewodowo urządzeń, mogących...
-
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...
-
Algorytm przybliżony dla cyrkularnego kolorowania krawędzi grafów
PublicationW artykule autorzy proponują algorytm przybliżony dla cylkularnego kolorowania krawędzi grafu. Przedstawione są oszacowania na złożoność obliczeniową tego algorytmu, a także wyniki testów na grafach o małej liczbie wierzchołków jak i na grafach losowych.
-
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...
-
Uszeregowania zadań wieloprocesorowych minimalizuje średni czas przepływu
PublicationW artykule rozważane są problemy efektywnego wyznaczania uszeregowań wieloprocesorowych dla zadań jednostkowych na dedykowanych procesorach równoległych, które minimalizują średni czas przepływu.
-
Wspieranie mobilności w Internecie
PublicationDostęp do Internetu dla użytkowników mobilnych może być realizowany poprzez sieć z infrastrukturą dostępu. Wymaga to wprowadzenia rozwiązań protokolarnych umożliwiających lokalizację i aktualizowanie informacji o położeniu przemieszczających się stacji. Pojawia się wiele problemów oraz wiele podejść, spośród których część zaprezentowano w niniejszej pracy.
-
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.
-
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....
-
Wykorzystanie oprogramowania symulacyjnego jako pomocy naukowej w procesie nauczania teleinformatyki
PublicationNauczanie teleinformatyki stawia specyficzne wymagania dotyczące zarówno samych metod dydaktycznych, jak i dostępu do koniecznych urządzeń i pomocy naukowych. Umiejętne zastosowanie w procesie dydaktycznym odpowiedniego oprogramowania komputerowego, a w szczególności programów symulacyjnych, może okazać się wyjątkowo efektywne. Przedstawiono różne rodzaje oprogramowania edukacyjnego oraz warianty ich zastosowania w nauczaniu teleinformatyki,...
-
Programowalna macierz analogowa CMOS
PublicationOpisano programowalny wzmacniacz transkonduktancyjny oraz konfigurowalny blok analogowy CAB (Configurable Analog Block) składający się ze wzmacniacza transkonduktacyjnego, kluczy sygnałowych oraz programowalnego kondensatora.
-
Analiza jakościowa metod segmentacji obrazu w systemach wspierania decyzji diagnostycznych.
PublicationDokonano porównania metod segmentacji obrazów medycznych. W sposób szczególny rozważono metody podziałów wodnych. Przedstawiono wyniki wybranych metryk.
-
Interfejs miejskiego systemu informacji dla osób niepełnosprawnych.
PublicationArtykuł przedstawia analizę potrzeb różnych grup osób niepełnosprawnych oraz możliwe rozwiązania implementacyjne w zakresie interfejsu użytkownika, ułatwiające posługiwanie się systemami informacyjnymi na przykładzie systemu GDASKON.
-
Techniki transmisji informacji w systemie komórkowym UMTS.
PublicationW pracy przedstawiono potencjalne możliwości realizacji różnych rodzajów usług telekomunikacyjnych o odmiennych wymaganiach jakościowych w systemie UMTS. W pracy są też analizowane zagadnienia pojemności systemu dla usług rozmów, różnych środowisk propagacyjnych i szybkości poruszania się terminali ruchomych. Rozważania zostały zilustrowane wynikami badań jakości transmisji i pojemności systemu.
-
Środowisko wspomagające zarządzanie ryzykiem w przedsięwzięciach informatycznych.
PublicationArtykuł prezentuje środowisko komputerowe wspierające proces zarządzania ryzykiem w przedsięwzięciach informatycznych. We wstępie wprowadzono charakterystykę procesu zarządzania ryzykiem oraz przedstawiono podział tego procesu na poszczególne fazy. Następnie omówiono potrzeby informatycznego wsparcia zarządzania ryzykiem i zaproponowano prototypowe narzędzie system Risk Guide. Opisano zakres oferowanego wsparcia i wbudowaną...
-
Wizualizacja w języku VRML przemieszczania się ryb pelagicznych w wiązce echosondy.
PublicationPrzedstawiono koncepcję tworzenia wirtualnego echogramu z danych pomiarowych pochodzących z przeszukiwań akustycznych. Wykorzystując wbudowane mechanizmy języka VRML zobrazowano proces przemieszczania się ryb wraz z jednoczesną analizą echa.
-
An EIT reconstruction algorithm based on noisy data.
PublicationPraca przedstawia algorytm rekonstrukcji oparty o zmodyfikowany algorytm Gaussa - Newtona. Algorytm uwzględnia istnienie elektrod pomiarowych w tomografii elektroimpedancyjnej. Elektrody charakteryzują się rozmiarem i impedancją. Dodatkowo algorytm zakłada istnienie szumu w sygnale mierzonym. Zostało pokazane, że dobór optymalnego wzorca pobudzenia znacząco poprawia odporność algorytmu rekonstrukcyjnego na szum w danych. Dwie...
-
Trójwymiarowe obrazowanie danych batymetrycznych na mapach cyfrowych.
PublicationOpisano podstawy teoretyczne generowania obrazów trójwymiarowych w oparciu o batymetryczne informacje zawarte w morskich mapach elektronicznych. Przedstawiono efekt wizualizacji 3d batymetrii dla Zatoki Fińskiej w oparciu o Elektroniczną Mapę Nawigacyjną CM-93.
-
Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.
PublicationArtykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono...
-
EUDEM2: The European Union in humanitarian demining. State of the art on humanitarian demining.
PublicationPrzedstawiono projekt 5 Programu Ramowego. Opisano stan technologii technik wykrywania min lądowych w krajach europejskich.
-
Wyszukiwanie obrazów medycznych na podstawie ich treści.
PublicationPrzedstawiono nowe metody opisu i wyszukiwania obrazów na podstawie ich treści. Zaproponowano schemat ekstrakcji regionów oraz generacji ich opisów z zastosowaniem kodów długości serii. W opracowanym systemie zaprojektowano i zaimplementowano możliwość definiowania zapytań do baz danych uwzględniając: właściwości i parametry regionu (deskryptory intensywności, deskryptory tekstury, deskryptory kształtu) oraz relacji przestrzennych...
-
"Car-Parrinello molecular dynamics" jako kluczowe narzędzie informatyczne w badaniach syntezy cienkich warstw diamentowych metodą PA CVD
PublicationPraca omawia zastosowanie metody Car-Parrinello MD w symulacji procesu wzrostu cienkich warstw diamentowych w metodzie PAC VD.
-
Metoda pomiarowa dla dwuczęstotliwościowej tomografii elektroimpedancyjnej.
PublicationW referacie przedstawiono technikę pomiaru prądu/napięcia sinusoidalnego zastosowaną w tomografie elektroimpedancyjnym (TEI). Prezentowany TEI, którego konstrukcja bazuje na układzie tzw. elektrody aktywnej, zaliczany jest do grupy systemów równoległo-szeregowych. Układ elektrody aktywnej umieszczony jest bezpośrednio przy elektrodzie. Identyfikacja parametrów mierzonego sygnału przemiennego następuje w układzie elektrody...
-
Zastosowanie danych syntetycznych do testowania algorytmów detekcji potencjałów wzrokowych.
PublicationDetekcja wywołanych potencjałów wzrokowych w perymetrii wymaga opracowania i zaaplikowania efektywnych algorytmów analizy EEG. Krokiem pośrednim, umożliwiającym ocenę przydatności nowego algorytmu może być modelowa symulacja sygnałów. Przedstawiona praca dotyczy badań modelowych będących krokiem pośrednim we wdrażaniu nowego algorytmu detekcji potencjałów wzrokowych w celu doskonalenia techniki badania perymetrycznego.
-
Usługi Webowe dla zastosowań L2L.
PublicationPrzedstawiono problemy komunikacji pomiędzy systemami informatycznymi dla sektora B2B. Jako rozwiązanie zaproponowano technologię Usług Webowych (Web Service). Omówiono jej koncepcję oraz przykładową implementację przy pomocy protokołów: HTTP, SOAP czy WSDL. Problemy związane z integracją aplikacji zilustrowano na przykładzie aplikacji tworzonych w ramach w ramach projektu PBI. Wskazano dalszy możliwy kierunek rozwoju tego...
-
Elvis-wirtualna biblioteka sieci semantycznej Politechniki Gdańskiej.
PublicationPrzedyskutowano problematykę związaną z przechowywaniem i udostępnianiem literatury w wersji elektronicznej za pomocą Internetu. Przedstawiono również metody efektywnego wyszukiwania książek w bazie wirtualnej biblioteki,z wykorzystaniem technologii sieci semantycznej.
-
Optyczne techniki przetwarzania informacji.
PublicationWykorzystanie promieniowania optycznego w procesie przetwarzania informacji pozwoli na budowę komputerów o mocy przetwarzania o wiele rzędów wielkości większej od od najpotężniejszych komputerów elektronicznych używanych teraz i w przyszłości. Proces optycznego przetwarzania może być analogowy lub cyfrowy. Przykładem obecnego wykorzystania optycznego przetwarzania informacji są systemy do przetwarzania sygnałów cyfrowych o...
-
Udostępnianie usług obliczeniowych w środowiskach sieciowych.
PublicationW metodologii projektowania obiektowego duży nacisk położono na kwestie związane z wielokrotnym wykorzystaniem kodu. Oznacza to podział aplikacji na moduły-obiekty o dobrze sprecyzowanych interfejsach w celu ich późniejszego ponownego wykorzystania.
-
Problem jakości usług w sieci opartej na platformie IP.
PublicationW referacie przedstawiono znaczenie miar i opisu jakości usług w sieci IP QS oraz ich związek ze specyfikacjami definiującym sposób realizacji gwarancji jakości usług w tej sieci.
-
Metody uczenia optymalizacji wieloetapowych procesów decyzyjnych.
PublicationOptymalizacja wieloetapowych procesów decyzyjnych jest zdaniem, w którym zbiegają się metody pochodzące pierwotnie z różnych dziedzin: rachunku wariacyjnego, algorytmów optymalizacji i metod uczenia maszynowego rozpatrywanych w sztucznej inteligencji. W niniejszej pracy podjęto próbę zestawienia różnych metod oraz podano wyniki optymalizacji przykładowego zadania z zastosowaniem algorytmów ewolucyjnych.
-
Metaheurystyczne metody optymalizacji dyskretnej w problemie układania rozkładów zajęć dla szkół wyższych.
PublicationW pracy rozważany jest problem układania rozkładów zajęć dla szkoły wyższej. Do rozwiązania tego zagadnienia wykorzystane zostały następujące metody lokalnego i globalnego przeszukiwania przestrzeni możliwych rozwiązań: symulowane wyżarzenie, przeszukiwanie tabu oraz algorytmy genetyczne.
-
Porównanie metod algorytmicznych i eksperymentalnych oceny systemów rekomendacji.
PublicationNa przykładzie systemu rekomendacji badań endoskopowych (ERS) przedstawiono problematykę oceny jakości systemów rekomendacji. Zaproponowane zostały dwa podejścia oceny jakości: algorytmiczne wynikające ze zdefiniowanych miar i sposobu ich pomiaru za pomocą algorytmów testowych oraz eksperymentalne opierające się na ocenie rzeczywistej pracy systemu. Przedstawiono szereg miar służących do pomiarów algorytmicznych. Pokazano...
-
Techniki obsługi wyjątków w systemach informatycznych.
PublicationW pracy przedstawiono podstawowe techniki obsługi wyjątków oraz mechanizmy wspierające taką obsługę występujące w różnych platformach oprogramowania sekwencyjnego i rozproszonego.
-
Identyfikacja nieparametryczna systemów farmakokinetycznych metodą funkcji korelacji.
PublicationW 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.
-
Współbieżność w obiektowych językach programowania.
PublicationPraca 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.
PublicationPrzedstawiono 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.
PublicationSieć 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...
-
Zasługi Profesora Michała Białki w kształtowaniu krajowej kadry naukowej w zakresie miernictwa półprzewodników.
PublicationPrzedstawiono działalność naukowo-badawczą w Ośrodku Miernictwa Półprzewodników w Politechnice Gdańskiej w latach 1955-2003. Omówiono zakres tema- tyki naukowej podejmowanej z inicjatywy prof. zw. dr hab. Michała Białki i Jego zasługi i osiągnięcia w kształceniu krajowej kadry na poziomie doktora i doktora habilitowanego.
-
Kontrola przebiegu adaptacyjnej, osobniczo zmiennej terapii farmakologicznej z wykorzystaniem modelowania procesu dystrybucji leku.
PublicationPrzedstawiono 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.