Filtry
wszystkich: 2009
-
Katalog
- Publikacje 1758 wyników po odfiltrowaniu
- Osoby 67 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 10 wyników po odfiltrowaniu
- Zespoły Badawcze 5 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 133 wyników po odfiltrowaniu
- Wydarzenia 8 wyników po odfiltrowaniu
- Dane Badawcze 26 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: ALGORYTMY HEURYSTYCZNE
-
Różnicowa tomografia impedancyjna
PublikacjaW pracy zaprezentowano ideę obrazowania obiektów trójwymiarowych przy pomocy pomiaru impedancji na jego punktach brzegowych. W pracy pokazano podstawy obrazowania przy użyciu pomiaru z wykorzystaniem dwu częstotliwości jednocześnie , pokazano algorytmy rekonstrukcji i przykładowy system pomiarowy wykorzystujący zaproponowaną technikę.
-
Optical excitation methods in active dynamic thermography in medical diagnostics.
PublikacjaArtykuł zawiera opis metod pobudzania cieplnego badanych obszarów ciała ludzkiego w technice aktywnej termografii dynamicznej. Jako źródła pobudzenia cieplnego mogą być stosowane lampy podczerwieni, lampy halogenowe dużej mocy, a także lasery. W artykule opisano również algorytmy obliczeń obrazów parametrycznych.
-
Modernizacja łuków koszowych z wykorzystaniem programu MUGO
PublikacjaW artykule przedstawiono opracowywane obecnie algorytmy obliczeń, które będą wykonywane w programie komputerowym MUGO służącym do wyznaczania przesunięć toru i robót ziemnych. Program jest związany z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano aktualny stan zaawansowania programu.
-
Współpraca systemu zarządzania z modułem wymiarowania zasobów w Systemie IIP
PublikacjaCelem artykułu jest przedstawienie współpracy dwuetapowego wymiarowania z systemem zarządzania na poziomie warstw L1 i L2 architektury Systemu IIP. Omówiono zadania systemu zarządzania oraz modułu wymiarowania, zrealizowane algorytmy optymalizacji oraz uniwersalne styki z systemem zarządzania oraz Równoległymi Internetami.
-
Modernizacja łuków koszowych z wykorzystaniem programu MUGO
PublikacjaW artykule przedstawiono opracowywane obecnie algorytmy obliczeń, które będą wykonywane w programie komputerowym MUGO służącym do wyznaczania przesunięć toru i robót ziemnych. Program jest związany z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano aktualny stan zaawansowania programu.
-
Integracja systemu zarządzania z modułem wymiarowania zasobów w Systemie IIP
PublikacjaCelem artykułu jest przedstawienie współpracy dwuetapowego wymiarowania z systemem zarządzania na poziomie warstw L1 i L2 architektury Systemu IIP. Omówiono zadania systemu zarządzania oraz modułu wymiarowania, zrealizowane algorytmy optymalizacyjne oraz uniwersalne styki z systemem zarządzania oraz Równoległymi Internetami.
-
AUTOMATYCZNE ROZPOZNAWANIE GATUNKÓW MUZYCZNYCH W APLIKACJI SYNTEZUJĄCEJ NISKIE CZĘSTOTLIWOŚCI W URZĄDZENIACH MOBILNYCH
PublikacjaW pracy został opisany inteligentny algorytm syntezy niskich częstotliwości w urządzeniach mobilnych (Smart VBS). Algorytm Smart VBS rozpoznaje gatunek muzyczny i w zależności od wskazania dobiera optymalne parametry syntezy niskich częstotliwości. Synteza niskich częstotliwości odbywa się z wykorzystaniem metody funkcji nieliniowych (NLD). Modyfikacji podlega wykorzystywana funkcja nieliniowa, liczba oraz poziom wzmocnienia dodawanych...
-
Tomasz Zubowicz dr inż.
OsobyTomasz Zubowicz has received his M.Sc. Eng. degree in Control Engineering from the Faculty of Electrical and Control Engineering at the Gda{\'n}sk University of Technology (GUT) in $2008$. He received his Ph.D. Eng. (Hons.) in the field of Control Engineering from the same faculty in $2019$. In $2012$ he became a permanent staff member at the Department of Intelligent Control and Decision Support Systems at GUT and a member of...
-
Badanie wpływu strategii sterowania obiegiem narzędzi na wydajność elastycznego systemu wytwarzania.
PublikacjaPrzedmiotem rozprawy doktorskiej są badania wpływu strategii sterowania obiegiem narzędzi na wydajność elastycznego systemu wytwarzania. Obiektem badań było elastyczne gniazdo obróbkowe wyposażone w trzy poziome frezarsko-wytaczarskie centra obróbkowe przeznaczone do wytwarzania części klasy korpus. Wybrane strategie przydziału operacji technologicznych i adekwatnych zestawów narzędziowych poddano analizie i ocenie wg przyjętych...
-
Semi-Markov model of diesel engines' operating process.
PublikacjaNajistotniejszym problemem eksploatacji silników o zapłonie samoczynnym jest problem racjonalnego (a zwłaszcza optymalnego) sterowania procesem eksploatacji tych silników. Sterowanie takie może ułatwić zastosowanie iteracyjnego algorytmu wyznaczania optymalnych strategii opracowanego przez R.A. Howarda. Wykorzystanie jednak tego algorytmu do sterowania procesem eksploatacji silników wymaga między innymi opracowania modelu procesu...
-
Connectivity in Multi-Interface Networks
PublikacjaRozważano zagadnienie minimalizacji energii w sieciach bezprzewodowych bez infrastruktury, w których niektóre węzły są wyposażone w więcej, niż jeden interfejs. W przyjętym modelu sieci podano nowe algorytmy przybliżone oraz wyniki dotyczące złożoności obliczeniowej dla problemu najtańszej spójnej podsieci spinającej.
-
Cholesky factorization of matrices in parallel and ranking of graphs.
PublikacjaUporządkowane kolorowanie znajduje zastosowanie przy równoległej faktoryzacji macierzy metodą Cholesky'ego. Praca zawiera opis tego zastosowania. Podano także algorytmy optymalnego uporządkowanego kolorowania krawędzi pewnych klas grafów: grafów pełnych dwudzielnych oraz powstałych z pełnych dwudzielnych przez usunięcie O(log n) krawędzi.
-
Zdolni z Pomorza 2022/23 - Algorytmy i indukcja matematyczna
Kursy OnlineCel kursu: Celem kursu jest wprowadzenie uczniów w świat matematyki dyskretnej i zapoznanie ich z praktycznymi zastosowaniami tej dziedziny matematyki. Opis kursu: Matematyka dyskretna to zbiorcza nazwa nauk matematyki, które zajmują się badaniem struktur nieciągłych, czyli zawierających zbiory co najwyżej przeliczalne. Zajmuje się „obiektami dyskretnymi”, takimi jak: ludzie, domy, drzewa, zwierzęta, itp. Matematyka dyskretna...
-
Zdolni z Pomorza 2024/25 - Algorytmy i indukcja matematyczna
Kursy OnlineCel kursu: Celem kursu jest wprowadzenie uczniów w świat matematyki dyskretnej i zapoznanie ich z praktycznymi zastosowaniami tej dziedziny matematyki. Opis kursu: Matematyka dyskretna to zbiorcza nazwa nauk matematyki, które zajmują się badaniem struktur nieciągłych, czyli zawierających zbiory co najwyżej przeliczalne. Zajmuje się „obiektami dyskretnymi”, takimi jak: ludzie, domy, drzewa, zwierzęta, itp. Matematyka dyskretna...
-
A new approach to visual system testing
PublikacjaOpisano budowę laboratoryjnego stanowiska prac bawczych nad perymetrią obiektywną. Przedstawiono zasadę działania algorytmu VEPDA oraz wyniki działania VEPDA na danych eksperymentalnych.
-
Ewolucyjna minimalizacja poboru mocy podczas procesu testowania kombinacyjnych układów cyfrowych
PublikacjaW artykule przedstawiono zastosowanie algorytmu ewolucyjnego do minimalizacji poboru mocy podczas procesu testowania kombinacyjnych układów cyfrowych. Przy użyciu proponowanej metody dokonano wyboru kolejności podawania na wejścia układu wektorów testowych, aby liczba przełączeń bramek wchodzących w jego skład była jak najmniejsza. Pod uwagę wzięto cztery układy wybrane z literatury. Otrzymane wyniki wskazują, że możliwe jest...
-
Large rotations in first-order shear deformation FE analysis of laminated shells
PublikacjaAbstrakt: Teoria powłok o skończonych obrotach w ramach modelu ścinania pierwszego rzędu stanowi podstawę zaprezentowanego w pracy algorytmu MES statycznej, geometrycznie nieliniowej analizy konstrukcji warstwowych. Szczególną uwagę zwrócono na właściwy opis skończonych obrotów przy zastosowaniu kątów Eulera oraz procedurę uaktualniania parametrów obrotowych. Przedstawiono sformułowanie przyrostowe w stacjonarnym opisie Lagrange´a....
-
Optymalne pokolorowania średnicowe dla wybranych klas grafów
PublikacjaW pracy opisano wybrane właściwości szczególnego przypadku radiowego kolorowania grafów, zwanego kolorowaniem średnicowym. Podano zasadę działania algorytmu optymalnego kolorowania średnicowego i oszacowania liczby średnicowej grafu w przypadku ogólnym oraz dla ścieżek i cykli. Korzystając z podanego algorytmu, znaleziono dokładne wartości liczby średnicowej dla ścieżek i cykli niewielkiej długości, co pozwoliło na obalenie wcześniej...
-
Optimization of streamwise vortex generator for subsonic flow
PublikacjaW pracy przedstawiono wyniki optymalizacji generatora wirów wzdłużnych dla dwóch liczb Macha 0.3 i 0.8. Optymalizacje przeprowadzono w oparciu o algorytmy genetyczne i obliczenia przepływu trójwymiarowego wykonane programem Fluent. Wykonano badania eksperymentalne dla optymalnej konfigurację i potwierdzono większą efektywność generatora wirów.
-
ZASTOSOWANIA DRONÓW I SENSORÓW WIZYJNYCH I AKUSTYCZNYCH DO ZDALNEJ DETEKCJI I LOKALIZACJI OBIEKTÓW I ZDARZEŃ
PublikacjaW referacie przedstawiono wybrane sensory akustyczne i wizyjne i propozycje ich zastosowania do wykrywania i lokalizacji obiektów i zdarzeń z pokładu drona. Opisano pokrótce zastosowane algorytmy analizy strumieni, przedstawiono wyniki badań stworzonych prototypów i metod, zaimplementowanych na wydajnych układach GPU
-
Projekt i wykonanie zdalnie sterowanego inspekcyjnego robota podwodnego
PublikacjaArtykuł dotyczy zagadnień związanych z projektowaniem i wykonaniem zdalnie sterowanego inspekcyjnego robota podwodnego. Przedstawiony został proces projektowania kadłuba robota oraz dobór części elektronicznej, a także zaimplementowane algorytmy sterowania i sposób komunikacji dedykowanej aplikacji z robotem. Na koniec przedstawiono wyniki badań testowych.
-
A note on fast approximate backbone coloring of split graphs with star--like backbones
PublikacjaDla grafu G = (V, E) z wyróżnionym podgrafem H, kolorowanie szkieletowe jest zdefiniowane jako odwzorowanie c spełniające |c(u) - c(v)| > 1 dla każdej krawędzi z E(H) oraz |c(u) - c(v)| > 0 dla każdej krawędzi z E(G). W pracy przedstawiono 1-przybliżony algorytm kolorowania szkieletowego split grafów ze skojarzeniem w szkielecie o złożoności O(|V|) oraz 1-przybliżony algorytm dla split grafów z rozłącznymi gwiazdami w szkielecie.
-
FPGA and ASIC implementation of the algorithm for traffic monitoring in urban areas
PublikacjaW artykule przedstawiono algorytm detekcji obrazu oraz jego realizację sprzętową w technikach FPGA i ASIC. Algorytm ten dedykowany jest do detekcji ruchu pojazdów i jest realizowany w czasie rzeczywistym. Użyto pojedynczą, umieszczoną na stałe kamerę monochromatyczną o niskiej rozdzielczości. Wykonywane są również operacje eliminacji cieni i rozjaśnień obrazu. Nachodzenie obiektów na siebie nie jest brane pod uwagę. Realizacja...
-
High accuracy and octave error immune pitch detection algorithms.
PublikacjaW publikacji przedstawiona została metoda poprawiająca dokładność estymacji częstotliwości podstawowej dźwięków naturalnych i syntetycznych. Opracowany algorytm wykorzystuje sztczną sieć neuronową. Dodatkowo przedstawiony został algorytm zoptymalizowany pod kątem błędów oktawowych, operujący w dziedzinie częstotliwości. Przedstawiona metoda jest bardzo skuteczna zarówno dla sygnałów harmonicznych o znaczącej energii poszczególnych...
-
Fault diagnosis in electronic circuits based on bilinear transformation in 3-D and 4-D spaces
PublikacjaPrzedstawiono ideę nowych metod diagnostycznych 3-D i 4-D opartych na przek-ształceniu biliniowym. Metody te bazują na transformacjach operujących odpo-wiednio w trzy i czterowymiarowych przestrzeniach funkcji układowych. Dlatych metod omówiono algorytm lokalizacji i identyfikacji pojedynczych uszko-dzeń parametrycznych w liniowych układach elektronicznych oraz algorytm lo-kalizacji i identyfikacji pojedynczych uszkodzeń...
-
Algorytmy równoległe i rozproszone/Parallel and distributed >> algorithms
Kursy Online -
Analiza możliwości obiektywizacji oceny wzrokowego układu nerwowego z wykorzystaniem badań perymetrycznych
PublikacjaCelem pracy było opracowanie i aplikacja nowego, efektywnego algorytmu detekcji VEP w perymetrii oraz analiza możliwości realizacji badania obiektywnego w praktyce klinicznej.
-
Dynamical description of quantum computing: generic nonlocality of quantumnoise
PublikacjaWe develop a dynamical non-Markovian description of quantum computing in the weak-coupling limit, in the lowest-order approximation. We show that the long-range memory of the quantum reservoir (such as the 1/t4 one exhibited by electromagnetic vacuum) produces a strong interrelation between the structure of noise and the quantum algorithm, implying nonlocal attacks of noise. This shows that the implicit assumption of quantum error...
-
Greedy T-colorings of graphs
PublikacjaTreścią artykułu są pokolorowania kontrastowe wygenerowane przez algorytm zachłanny. Zbadane zostały ich własności, obejmujące liczbę kolororów, rozpiętość i rozpiętość krawędziową.
-
Fuzzy logic and production planning.
PublikacjaReferat prezentuje efektywność logiki rozmytej w projektowaniu procesów produkcyjnych. Przedstawiono algorytm i przesłanki zastosowania logiki rozmytej opartej o informacje eksperckie.
-
Żurawie przenośne w logistycznych łańcuchach dostaw. Ekonomiczne kryteria eksploatacji
PublikacjaPrzedstawiono zasady doboru żurawi przenośnych na pojazdy samochodowe dla kanałów dystrybucji. Omówiono kryteria efektywnej eksploatacji. Podano algorytm obliczeń efektywności eksploatacji.
-
Monika Zielińska dr inż.
OsobyDr inż. Monika Zielińska urodziła się w 1987r. w Szczuczynie. W 2003r. rozpoczęła naukę w I Liceum Ogólnokształcącym im. Stefana Żeromskiego w Ełku, w klasie o profilu matematyczno-informatyczny. W 2006r. rozpoczęła studia na Uniwersytecie Warmińsko-Mazurskim w Olsztynie na kierunku Budownictwo. Studia ukończyła w 2011r. po obronie pracy magisterskiej zatytułowanej Program komputerowy do wymiarowania słupów żelbetowych wg Eurokodu. ...
-
Analiza istniejących obliczeń uruchamianych w systemach rozproszonych
PublikacjaZaprezentowano analizę algorytmów równoległych tradycyjnie uruchamianych w systemach klastrowych wysokiej wydajności, a następnie pokazano charakterystykę algorytmów ze względu na parametry istotne przy implementacji ich rozwiązań w rozproszonym środowisku Comcute. Następnie przedstawiono ocenę możliwości ich przeniesienia do tego środowiska.
-
Metoda f-chart w zastosowaniu do projektu instalacji solarnej w budownictwie jednorodzinnym
PublikacjaW artykule przedstawiono algorytm obliczeń cieplnych związanych z konwersją promieniowania cieplnego oraz analizę efektów pracy instalacji solarnej przy użyciu metody korelacyjnej f-chart. Zaprezentowany algorytm obliczeń cieplnych oraz omówiona w artykule podstawowa odmiana metody f-chart zostały poparte przykładem obliczeniowym dla instalacji solarnej, która wykorzystywana jest do wspomagania układu przygotowania c.w. dla potrzeb...
-
Stochastic model of the process of diesel engine operation.
PublikacjaStreszczenie: Najistotniejszym problemem eksploatacji silników o zapłonie samoczynnym jest problem racjonalnego (a zwłaszcza optymalnego) sterowania procesem eksploatacji tych silników. Sterowanie takie może ułatwić zastosowanie iteracyjnego algorytmu wyznaczania optymalnych strategii opracowanego przez R.A. Howarda. Wykorzystanie jednak tego algorytmu do sterowania procesem eksploatacji silników wymaga między innymi opracowania...
-
Analysis of bandwidth reservation algorithms in HIPERLAN/2.
PublikacjaZaprezentowano metody alokacji zasobów (pasma) w systemie HIPERLAN/2. Przedyskutowano efektywność funkcjonowania typowych algorytmów pracy podwarstwy MAC oraz zaproponowano modyfikację jednego z algorytmów, polegającą na wstępnej rezerwacji pasma i okresowym uaktualnianiu przydziału zasobów. Dokonano weryfikacji symulacyjnej zaproponowanych rozwiązań.
-
Wybrane aspekty sterowania wielosilnikowym napędem pojazdu trakcyjnego z silnikami IPMSM.
PublikacjaPrzedstawiono propozycję rozproszonej struktury modelowego układu sterowania pojazdu, omówiono architekturę i funkcje poszczególnych sterowników w pojeździe, strukturę łącza komunikacyjnego wraz z protokołem transmisji danych, oraz algorytmy sterowania silnikami i całym układem napędowym. Przedstawiono stacjonarne stanowisko laboratoryjne do badań układu oraz wybrane wyniki eksperymentów.
-
Komputerowy system do pomiaru współczynnika zawartości harmonicznych.
PublikacjaPrzedstawiono rozwiązania funkcjonalne i układowe komputerowego systemu do pomiaru współczynnika zawartości harmonicznych.Szerzej omówiono zastosowane algorytmy realizowane programowo, które umozliwiły zmniejszenie wpływu niepożadanych składowych losowych i okresowych nie skorelowanych z czestotliwościa podstawowa obserwowanego przebiegu. Przytoczono przykładowe wyniki badan eksperymentalnych potwierdzające zasadnośc proponowanych...
-
Anonimizacja obrazów z nagrań endoskopowych w systemie wspomagania diagnostyki chorób przewodu pokarmowego
PublikacjaW artykule skoncentrowano sie na problemie anonimizacji obrazów z filmów endoskopowych w systemie wspomagania diagnostyki przewodu pokarmowego. Opisano źródła obrazów endoskopowych pod katem zawartosci danych personalnych. Zaproponowano algorytmy automatycznego usuwania tych danych, zbadano ich skutecznosc oraz dokonano oceny przydatnosciw systemie wspomagania diagnostyki.
-
Parallel processing subsystems with redundancy in a distributed environment
PublikacjaW pracy rozważano problem podziału systemu rozproszonego na spójne podsystemy złożone z przynajmniej trzech jednostek, pozwalające na detekcję i skorygowanie pojedynczych błędów. Wykazano, że problem maksymalizacji liczby takich jednostek jest NP-trudny nawet dla dwuspójnych kubicznych topologii sieci. Podano też nowe algorytmy przybliżone.
-
Music Archive Metadata Processing Based on Flow Graphs.
PublikacjaW referacie zaproponowano metodykę wyszukiwania informacji muzycznej w bazach internetowych w oparciu o meta opis. Skonstruowany algorytm wykorzystuje grafy przepływowe Pawlaka.
-
Kwadraturowy DDS z ułamkowo-opóźniającym filtrem o strukturze flash-Farrow.
PublikacjaW pracy omawiamy nieliniowy algorytm cyfrowego generatora z syntezą bezpośrednią, zwanego krótko DDS od ang. Direct Digital Synthesizer. Proponujemy nowy algorytm kwadraturowego DDS. Pozwala on osiągnąć zarówno wysoki stopień czystości generowanej sinusoidy kwadraturowej, jak i bardzo małe błędy modulacji częstotliwości (FM) przy małej pojemności pamięci ROM, od której zależy pobór mocy zasilania. Ponadto proponujemy nowe podejście...
-
Optimizing the process of railway geometrical layout designing with multi-criteria assessment method
PublikacjaThe paper presents the main assumptions of the Multi-criteria assessment method used in process of upgrading the railway geometrical layout. The advantages of metaheuristic search were described. The criteria influencing the investment were defined. The fitness function used in the analysis was described. The example of using the optimization algorithm with the help of self developed computer software was described.
-
Weighted sequential classifier
PublikacjaZaproponowano wieloklasowe ważone kryterium Fishera i uzasadniono potrzebę jego wprowadzenia. Na bazie tego kryterium skonstruowano sekwencyjny algorytm uczenia klasyfikatora. Przedstawiono wyniki eksperymentów.
-
[Rozdział] 2. Podstawowe pojęcia statystyki
PublikacjaPrzedstawiono podstawowe pojęcia dotyczące praktycznego wykorzystania statystyki w pomiarach analitycznych. Opisano najczęściej wykorzystywane rozkłady zmiennych losowych. Podano także praktyczne algorytmy stosowania testów statystycznych. Przedstawiono charakterystykę poszczególnych parametrów statystycznych. Opisano najczęściej wykorzystywane karty kontrolne a także charakterystykę metody regresji liniowej. Podano sposob poprawnego...
-
Badanie efektywności kodów LDPC
PublikacjaW referacie zaprezentowano wyniki badań symulacyjnych jakości transmisji z wykorzystaniem kodów LDPC i turbokodu w interfejsie radiowym systemu UMTS Badania symulacyjne zostały przeprowadzone dla szybkości transmisji 144 kb/s w środowisku propagacyjnym miejskim, wokołobudynkowym. Oprócz tego została przedstawiona zasada działania i algorytmy dekodowania kodów LDPC.
-
Natural language dictionaries implemented as finite automata
PublikacjaRozdział przedstawia wykorzystanie automatów skończonych jako słowników języka naturalnego. Podane są podstawy teoretyczne. Omówione są zastosowania: realizacja doskonałej funkcji mieszającej, analizy i syntezy morfologicznej, poprawiania pisowni i dopisywania znaków diakrytycznych, wydobywanie informacji. Podano algorytmy tworzenia automatów oraz omówiono sposoby reprezentacji automatów z uwzględnieniem kompresji.
-
Wsadowe i cykliczne szeregowanie 1- i 2-procesorowych zadań jednostkowych na maszynach dedykowanych.
PublikacjaW pracy autorzy zajmują się modelem szeregowania zadań 1- i 2- procesorowych. Rozważane są przy tym dwa warianty: klasyczny określany jako wsadowy i cykliczny, który występuje w przypadku wielokrotnego powtarzania raz zaprojektowanego harmonogramu. Dla obu przypadków badane są własności teoretyczne i konstruowane algorytmy przybliżone.
-
Opomiarowanie w nowoczesnej oczyszczalni ścieków
PublikacjaArtykuł jest kolejną publikacja cyklu prezentującego wyniki projektu 5. Programu Ramowego UE ''SMArt Control of wastewater systems - SMAC''. W ramach tego projektu zaproponowano nową koncepcję sterowania biologiczną oczyszczalnią ścieków (OŚ)oraz opracowano nową strukturę i algorytmy sterowania. Wyniki projektu zostały zaimplementowane w pilotażowej oczyszczalni w Kartuzach.
-
Efektywna warstwa pośrednicząca dla obliczeń typu master-slave w środowisku C++/MPI
PublikacjaPokazano, jak dla wysokowydajnościowego algorytmu pisanego w modelu master-slave w języku C++ i spełniającego pewne ograniczenia można napisać i wykorzystać warstwę komunikacyjną zupełnie oddzielającą kod odpowiedzialny za komunikację od kodu odpowiedzialnego za dzie-dzinę problemową. Przedstawiona zostaje specyfkacja wymagań, jakie powinien spełniać hipotetyczny system rozproszony oraz warstwa komunikacyjna, a także wymagania...