Filtry
wszystkich: 729
wybranych: 517
-
Katalog
Filtry wybranego katalogu
Wyniki wyszukiwania dla: ZŁOTY JUBILEUSZ WYDZIAŁU ETI PG
-
Metaheurystyki w szeregowaniu zadań uwarunkowanych czasowo
Publikacjaw artykule tym zbadano zastosowanie algorytmów metaheurystycznych w problemach szeregowania zadań uwarunkowanych czasowo. porównano wyniki algorytmu genetycznego, ewolucji różnicowej oraz symulowanego wyżarzania, z reprezentacjami rozwiązania: permutacyjną, opartą o priorytety reguł i kodowaniem przedziałowym, osiągnięte w rozwiązywaniu np-trudnego problemu 1 | pi = ai + bisi | sum wici. gdzie to możliwe, wyniki porównano z rozwiązaniami...
-
Programowalny zlinearyzowany wzmacniacz transkonduktancyjny CMOS
PublikacjaW artykule przedstawiono metodę linearyzacji wzmacniacza transkonduktancyjnego CMOS wykorzystującą sprzężenie w przód. Zaproponowany wzmacniacz składa się ze wzmacniaczy różnicowych MOS oraz rezystora służącego jako odniesienie. W rezultacie otrzymujemy efektywną metodę linearyzacji charakterystyk przejściowych wzmacniacza transkonduktancyjnego. Programowanie wartości transkonduktancji wzmacniacza realizowane jest z zastosowaniem...
-
Weryfikacja asynchronicznych układów cyfrowych w strukturach FPGA
PublikacjaW artykule przedstawione zostały podstawowe informacje dotyczące typowych klas układów asynchronicznych. Wymienione klasy zostały następnie przeanalizowane pod kątem możliwości ich implementacji w układach programowalnych FPGA. Klasa "micropipelines" omówiona została dokładniej. W tej klasie został zaimplementowany w układzie FPGA typu Virtex2 przykładowy procesor asynchroniczny realizujący listę rozkazów swojego synchronicznego...
-
Investigations of speech signal parameters with regard to articulation influences
PublikacjaW pracy zostało podjęte zagadnienie parametryzacji sygnału mowy w kontekście ekstrakcji cech biometrycznych. Analizowane parametry to parametry cepstralne (cepstrum liniowe i mel-cepstrum, czyli MFCC), parametry liniowej predykcji (LPC) oraz momenty widmowe i parametr F0. Zastosowano analize w krótkich stałych segmentach sygnału z zastosowaniem dużego zakładkowania, tzw. ''implicite segmentation''. Umożliwiło to zaobserwowanie...
-
Diagnostyka układów elektronicznych z wykorzystaniem magistrali testujących
PublikacjaPrzedstawiono przegląd magistral testujących przeznaczonych do diagnostyki układów elektronicznych: magistralę IEEE 1149.1 dla układów cyfrowych, magistralę IEEE 1149.4 dla układów mieszanych sygnałowo oraz magistralę IEEE 1149.6 dla układów cyfrowych sprzężonych pojemnościowo. Pokazano wyniki badań nad wykorzystaniem magistrali IEEE 1149.4 do pomiarów interkonektów typu RLC na pakietach układów elektronicznych. Do badań użyto...
-
Dedykowane sieciowe technologie SIP dla prezentacji pseudodynamicznych danych geoprzestrzennych
PublikacjaSieciowe technologie prezentacji danych przestrzennych przeżywają aktualnie rozkwit spowodowany między innymi spadającymi cenami sprzętu komputerowego. Wynikający z tego wzrost wydajności domowych i biurowych stacji roboczych pozwala na praktyczne zastosowanie czasochłonnych algorytmów wizualizacji i przetwarzania skomplikowanych danych rastrowych i wektorowych. Niniejszy artykuł omawia wybrane technologie sieciowej prezentacji...
-
Dedykowany System Informacji Przestrzennej w kontekście ochrony infrastruktur krytycznych
PublikacjaNowe zaawansowane narzędzia Technologii Informacyjnych i Komunikacyjnych mogą stanowić bardzo użyteczną pomoc podczas przewidywania różnego rodzaju zagrożeń jak również minimalizacji związanego z nimi ryzyka. Artykuł 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...
-
Psychoakustyczna dozymetria hałasowa w multimedialnym systemie monitorowania hałasu
PublikacjaW 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
PublikacjaDrzewa 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
PublikacjaW 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
PublikacjaW 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
PublikacjaW 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
PublikacjaPrzedstawiono 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
PublikacjaUmieszczenie 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
PublikacjaW 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
PublikacjaPodstawowymi 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
PublikacjaW 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
PublikacjaW 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...
-
Wykorzystanie detektora SIFT do georeferencjonowania zobrazowań satelitarnych z sensora AVHRR
PublikacjaW pracy zaproponowano autonomiczny algorytm georeferencjonownania obrazów satelitarnych bazujący na niezależnym od skali deskryptorze SIFT (ang. Scale-Invariant Feature Transform). Algorytm ma charakter kilkuetapowy, wykorzystujący detekcję punktów kontrolnych, dopasowanie ich do referencyjnej bazy punktów oraz wyznaczenie parametrów reprojekcji. W pracy dokonano także porównania dokładności zaproponowanego algorytmu w zależności...
-
Polynomial triset metric for unrooted phylogenetic trees
Publikacjathe following paper presents a polynomial triset metric for unrooted phylogenetic trees (based on weighted bipartite graphs and the method of determining a minimum edge cover) and its basic characteristics. also a list of further directions of research and examples of the wider use of this metric is presented.
-
Gra słowna do pozyskiwania wiedzy językowej
PublikacjaW artykule opisano implementację gry słownej w pytania, będącej modelem wyszukiwarki kontekstowej oraz narzędziem do pozyskiwania wiedzy o pojęciach języka naturalnego. Zdefiniowano określenie wyszukiwania kontekstowego oraz przedstawiono opis algorytmu znajdującego obiekty na podstawie ich cech. Scharakteryzowano przyjętą reprezentację wiedzy oraz sposób uczenia się w kontekście innych znanych projektów poruszających problem akwizycji...
-
Labyrynths generators, their properties and practical application in computer games
Publikacjathis paper presents three basic algorithms for generation of mazes, and many of their modifications and examples showing their practical application in creating random structures that resembles those from the real world. the paper highlights the difference in the labyrinths classes generated by listed algorithms and describes a specific and highly likely to occur shapes that occur in generated mazes. particular attention was paid...
-
Construction of phylogenetic trees with topological constraints
PublikacjaThis paper proposes a method of reconstruction of phylogenetic trees based on heuristic search with topological constraints. Using topological constraints it is possible to reduce the set of solutions as well as to enforce that the result is consistent with a given hypothesis about the evolution process within some group of species. Along with this work a number of algorithms used for phylogenetic analysis were implemented. Those...
-
Analysis of elementary cellular automata using the theory of conflict
PublikacjaThe paper contains decomposition of elementary cellular automata (ECA in short) to subsystems that are defined according to a new theory called theory of conflict (ToC in short). The decomposition is a completely new approach to analysis of ECA and complex systems in general.
-
Application of spectroscopy to the measurement of blood parameters
PublikacjaSpectroscopy is the study of formation and interpretation of the spectra arising from the interactions of all types of radiation on matter, understood as a collection of atoms and molecules. This is a very important department of optics which gives us many opportunities to measure various parameters such as material blood parameters. Among the diseases that are associated significantly with changes in rheological properties of...
-
Automatyzacja przypadków testowych dla aplikacji internetowej
PublikacjaArtykuł przedstawia doświadczenia związane z doskonaleniem procesu testowania złożonego systemu internetowego, którego kluczowy element stanowi aplikacja kliencka wykonana w technologii AJAX. Podjęte działania ukierunkowane na zapewnienie jakości, w tym wysokiej niezawodności, doprowadziły do powstania obszernego zbioru przypadków testowych. Wraz z rozwojem systemu przypadki testowe podlegały ewolucji. Początkowo wykonywane były...
-
Mechanizm dostarczania usług w chmurze: roxzwiązanie NOR-STA
PublikacjaArtykuł prezentuje mechanizmy udostępniania w chmurze usług rozwijanych w ramach projektu NOR-STA. Są one ukierunkowane na wspomaganie procesów dochodzenia do zgodności i oceny zgodności z normami i standardami. W projekcie NOR-STA prowadzone są obecnie eksperymentalne badania wdrożeniowe we współpracy z partnerami z sektorów ochrony zdrowia i biznesu. Usługi NOR-STA są udostępniane zgodnie z modelem Software as a Service (SaaS)....
-
Porównanie wydajności modyfikacji algorytmu Proof-number search uwzględniających wartości remisowe
PublikacjaProof-number search to znana rodzina algorytmów służących do wyznaczania wartości pozycji w nielosowych grach dwóch graczy z pełną informacją. W wersji podstawowej pn-search doskonale radzi sobie z wyszukiwaniem strategii wygrywającej jednego z graczy. Jednak istnieje wiele znanych gier, w których obydwaj gracze posiadają jedynie strategię remisującą (Młynek, Awari, Warcaby). W niniejszej pracy porównano wydajność dwóch modyfikacji...
-
Ocena poprawności działania algorytmu proof-number search na strukturze digrafu acyklicznego
PublikacjaAlgorytm proof-number search jest znanym algorytmem służącym do rozwiązywania gier logicznych. Rozwiązanie gry jest jednoznaczne ze znalezieniem optymalnej strategii i pozwala przeprowadzić rozgrywkę w sposób pozwalający na osiągnięcie najlepszego możliwego wyniku. Jedną z największych wad tego algorytmu, naturalnie pracującego na strukturze drzewa, jest wielokrotne rozwijanie identycznych poddrzew gry co prowadzi do nadmiarowego...
-
Ewolucja chemotaksji organizmów jednokomórkowych w dwuwymiarowym środowisku
PublikacjaOpracowany przez nas model środowiska oparty jest na fizyce dyfuzji płynów i umożliwia symulację dyfuzji morfogenów. Sztuczne organizmy w tym środowisku wykazują chemotaksję: poruszają się reagując na zmianę stężenia substancji chemicznych. Organizm sterowany jest za pomocą sieci genowej kodowanej w liniowym genomie. Organizmy rozmnażają się przez podział. Przeprowadziliśmy szereg doświadczeń pozwalających na obserwację zachowania...
-
Projekt CURE - wykorzystanie technik kształcenia na odległość
PublikacjaZaprezentowano 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
PublikacjaReferat 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
PublikacjaPrzedstawiono 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
PublikacjaW 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
PublikacjaScharakteryzowano 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
PublikacjaKonsorcjum 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
PublikacjaPrzedstawiono 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
PublikacjaAutomatyczne 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.
PublikacjaW 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
PublikacjaNauczanie 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,...
-
Komponentowa metoda budowy systemu oceny przedsięwzięć komunikacyjno-negocjacyjnych
PublikacjaW 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.
-
Programowalna macierz analogowa CMOS
PublikacjaOpisano 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 porównawcza protokołów routingu dla bezprzewodowych sieci ad hoc
PublikacjaNowe 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...
-
Środowisko wspomagające zarządzanie ryzykiem w przedsięwzięciach informatycznych.
PublikacjaArtykuł 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.
PublikacjaPrzedstawiono 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.
-
Algorytm przybliżony dla cyrkularnego kolorowania krawędzi grafów
PublikacjaW 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.
-
Trójwymiarowe obrazowanie danych batymetrycznych na mapach cyfrowych.
PublikacjaOpisano 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.
-
Uszeregowania zadań wieloprocesorowych minimalizuje średni czas przepływu
PublikacjaW 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.
-
Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.
PublikacjaArtykuł 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...
-
Wspieranie mobilności w Internecie
PublikacjaDostę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.