Wyniki wyszukiwania dla: GENERACJA ROZPROSZONA - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: GENERACJA ROZPROSZONA

Wyniki wyszukiwania dla: GENERACJA ROZPROSZONA

  • Betony Specjalne kopiuj 1

    Kursy Online
    • L. Grabarczyk

    Przedmiot jest uzupełnieniem i wzbogaceniem wiedzy nabytej podczas podstawowego kursu dotyczącego technologii betonu. Znajomość tworzyw cementowych nowej generacji oraz niekonwencjonalnych metod lub warunków układania i pielęgnacji. Praktyczna znajomość metod badania właściwości betonów specjalnych.

  • Struktury fotowoltaiczne z planarnym heterozłączem półprzewodnik II-VI / półprzewodnik molekularny

    Artykuł przedstawia wybrane wyniki badań własnych nad układami hybrydowymi zbudowanymi na bazie złącza półprzewodnik nieorganiczny II-VI/półprzewodnik organiczny. Na podstawie analizy położenia pasm energetycznych warstw wchodzących w skład wytworzonych ogniw oraz charakterystyk spektralnych prądu zwarcia tych urządzeń określone zostały procesy prowadzące do fotogeneracji nośników ładunku w badanych układach. W ogniwach zbudowanych...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Wpływ redukcji emisji CO2 na funkcjonowanie sektorów biopaliw transportowych w Polsce ze szczególnym uwzględnieniem sektora bioetanolu

    Publikacja
    • P. Borowski
    • J. Gawron
    • E. Golisz
    • A. Kupczyk
    • K. Tucki
    • J. Zawadzki
    • M. Sikora
    • A. Wójcik-Sztandera
    • J. Piechocki
    • G. Redlarski

    - Gospodarka Materiałowa & Logistyka - Rok 2014

    W artykule omówione zostały zagadnienia dotyczące produkcji bioetanolu w Polsce, w aspekcie wymogów unijnych. Artykuł prezentuje ponadto modele badawczo-decyzyjne, na podstawie których zostały zrealizowane badania wśród przedsiębiorstw produkujących bioetanol oraz model zalecany na przyszłość. Do zaprezentowanych przykładów przedsiębiorstw produkcyjnych bioetanol 1. generacji należy odnieść się w kontekście zmian techniczno-technologicznych...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Programowa realizacja bramy sygnalizacyjnej między siecią PSTN/ISDN a siecią Internet

    Publikacja

    Realizacja idei społeczeństwa informacyjnego wymaga odpowiedniej infrastruktury teleinformacyjnej dla której przewidziano sieci następnej generacji (NGN) a w tym Internet następnej generacji (NGI). W pracy przedstawiono rozwiązanie jednego z problemów wynikającego z przekształcenia obecnych sieci do sieci NGN. Jest to problem sterowania połączeniem dla usługi telekomunikacyjnej nazywanej popularnie telefonia (mowa). Realizacja...

  • Badania wykrywalności wad sztucznych w rurach impulsami akustycznymi, wzbudzanymi metodą magnetostrykcyjną

    Publikacja

    W artykule opisano wyniki badań nad oryginalną metodą detekcji wad w rurach, wykorzystującą efekty magnetosprężyste. Stanowi to kolejny etap badań rozwijania metody generacji impulsów magnetostrykcyjnych. W pracy przedstawiliśmy wyniki prac badawczych nad układem defektoskopu wykorzystującego metodę generacji akustycznych impulsów magnetostrykcyjnych. W badaniach wykorzystano trzy sztuczne wadyw rurze w kształcie otworów oraz nacięcia...

  • Zarys przemian przestrzennych strefy reprezentacyjnej Gdańska na podstawie opracowań planistycznych od 1866 roku

    Publikacja

    - Rok 2013

    Strefa Reprezentacyjna obejmuje obszar pokrywający się w dużej mierze z zachodnim frontem historycznego śródmieścia Gdańska. Wykształcona na przełomie XIX i XX wieku jako wielkomiejskie centrum miasta jest jedną z historycznie najbardziej kluczowych jego przestrzeni. Dziś to obszar zaniedbany i jakby zapomniany, zdominowany przez funkcje komunikacyjne, jakkolwiek nadal o dużym i niewykorzystanym potencjale. Przemiany przestrzenne...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Zdalny pomiar pradu z możliwością obróbki w FPGA

    W artykule przedstawiono realizację modułowego systemu pomiarowo-kontrolnegosterującego wariantami zasilania odbiorników 230 V. System umożliwia kontrolępoboru prądu przez urządzenia infrastruktury informatycznej w biurze. Wykrywamoment pojawienia się obniżonego poboru prądu przez urządzenia. Umożliwia toodłączenie ich od zasilania celem obniżenia kosztów zużycia energii. Do pomiaru prąduwykorzystano moduły przetworników scalonych...

    Pełny tekst do pobrania w portalu

  • Testing and tuning automated drives as a task for computer aided maintenance.

    Publikacja

    - Rok 2006

    Publikacja dotyczy zagadnień wstępnego uruchamiania i utrzymania ruchu maszyn produkcyjnych wyposażonych w zautomatyzowane napędy. Zawarto krótki przegląd segmentów wspomagania komputerowego stosowanych w zakładowych systemach utrzymania ruchu oraz zwrócono uwagę na ich rozproszoną lokalizację w strukturach CIM. Opisano ogólną koncepcję układu nadzorującego właściwości napędu, zbudowanego jako system DAQ i mogącego znaleźć zastosowanie...

  • Berkeley Open Infrastructure for Network Computing

    Publikacja

    - Rok 2012

    Zaprezentowano system BOINC (ang. Berkeley Open Infrastructure for Network Computing) jako interesujące rozwiązanie integrujące rozproszone moce obliczeniowe osobistych komputerów typu PC w Internecie. Przedstawiono zasadę działania opisywanej platformy. W dalszej części zaprezentowano kilka wybranych projektów naukowych wykorzystujących BOINC, które są reprezentatywne w zakresie zastosowania systemu w ujęciu założonego paradygmatu...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Akustyka sali koncertowej Szkoły Muzycznej w Gdyni - projekt i realizacja

    Publikacja

    - Rok 2015

    Omówiono zakres współpracy architekta, akustyka i projektanta wnętrza na przykładzie sali koncertowej Szkoły Muzycznej w Gdyni. Wskazano różnice między projektem akustycznym sali i projektem wnętrza. Podano zasady akustycznego projektowanie sali widowiskowej oraz znaczenie rozproszenia dźwięku dla jakości akustycznej sali. Przedstawiono zasady indywidualnego konstruowania ustrojów rozpraszających dźwięk oraz dostępne na rynku ustroje...

  • Badania cyrkulatora wykorzystującego sekcję ferrytowych sprzężonych linii szczelinowych (FSL)

    Publikacja

    - Rok 2005

    W niniejszej pracy przedstawione zostały badania układu cyrkulatora wykorzystującego ferrytowe sprzężone linie szczelinowe (FSL). W ramach przeprowadzonych badań przedstawiono główną ideę projektowania rozważanego układu oraz wyznaczono jego charakterystyki rozproszenia. Uzyskane wyniki numeryczne zweryfikowano eksperymentalnie. Pomierzony układ cyrkulatora odznaczał się w paśmie od 13 do 17GHz dopasowaniem lepszym niż 10dB, izolacją...

  • Janusz Rachoń prof. dr hab. inż.

    Sprawował urząd rektora w latach 2002-2008 Urodził się 11 sierpnia 1946 r. w Nowym Sączu. Studia wyższe ukończył w 1969 r. na Wydziale Chemicznym Politechniki Gdańskiej, uzyskując tytuł magistra inżyniera chemika. W 1969 r. rozpoczął pracę na Wydziale Chemicznym Politechniki Gdańskiej, na którym uzyskał w 1975 r. doktorat, a w 1985 r. habilitację. Na stanowisko docenta został powołany w 1989 r., na stanowisko profesora nadzwyczajnego...

  • Implementacja sferycznej metody wizualizacji terenu przy użyciu algorytmu HRTMR

    Publikacja

    - Rok 2010

    Artykuł ma na celu przedstawienie technik renderingu terenu w czasie rzeczywistym, w oparciu o najnowsze możliwości dzisiejszych kart graficznych. Głównym omawianym zagadnieniem będzie generacja sferycznej siatki terenu przy użyciu algorytmu opartego na ROAM oraz sześciennej projekcji wybrzuszeń. Ponadto zostaną poruszone takie zagadnienia jak spójność siatki terenu czy problemy związane z jej zmienno-rozdzielczościową naturą.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Józef Woźniak prof. dr hab. inż.

    Prof. dr hab. inż. Józef Woźniak prof. zw. Politechniki Gdańskiej ukończył studia na Wydziale Elektroniki Politechniki Gdańskiej w 1971 r. W 1976 r. uzyskał stopień doktora nauk technicznych, a w 1991 r. stopień doktora habilitowanego w dyscyplinie telekomunikacja i specjalności teleinformatyka. W styczniu roku 2002 otrzymał tytuł profesora nauk technicznych. W 1994 r. został mianowany na stanowisko profesora nadzwyczajnego w Politechnice...

  • A Model for Low Frequency Noise Generation in MOSFETs.

    Publikacja

    - Rok 2004

    Przedstawiono model generacji szumów małoczęstotliwosciowych tranzystora MOS. Model został użyty do symulacji szumów cienkotlenkowych tranzystorów MOS. Wyniki symulacji porównano z danymi pomiarowymi. Zaprezentowano sposób wykorzystania pomiarów szumów m.cz. do wyznaczania niektórych parametrów charakteryzujących tranzystory MOS.

  • Influence of generation-oriend IT-development on models of production-organisation.

    Publikacja

    - Rok 2007

    W artykule pokazano megatrend generacyjności rozwoju IT jako pochodną jakościową empirycznych praw ilościowego rozwoju branży. W punkcie 2 wyspecyfikono generacje rozwojowe w obszarze: sprzetu, języków programowania, baz danych oraz oprogramowania uzytkowego- na przykładzie komputerowego wspomagania informatyki gospodarczej.

  • Wpływ farm wiatrowych na pracę systemu elektroenergetycznego.

    Publikacja

    - Rok 2002

    W referacie omówiono wpływ farm wiatrowych na pracę systemu przesyłowego. Analizowano wpływ zmienności generacji mocy czynnej przez farmy wiatrowe na zmiany częstotliwości, poziomów napięć i rozpływu mocy biernej, warunki zwarciowe oraz bezpieczeństwo i stabilność systemu elektroenergetycznego.

  • Krajowe Sympozjum Telekomunikacji KST 2002

    Omówiono problematykę XVIII KST. Zwrócono szczególną uwagę na sesje plenarne: realizacja prawa telekomunikacyjnego; usługi w sieciach następnej generacji; zarządzanie usługami i sieciami telekomunikacyjnymi. Podkreślono wpływ KST na realizowaną w kraju strategię rozwoju sieci i usług telekomunikacyjnych.

  • Metody wgłębnej mody$ kacji gruntu słabonośnego do posadowienia nowych i zapasowych lotniczych dróg startowych.

    Po analizie oddziaływań statków powietrznych na nawierzchnię lotniska (miejsca postojowe, pasy startowe, drogi startowe) uznano za celowe rozważenie problemu wgłębnego ulepszania lub wzmacniania podłoża gruntowego. Dotyczy to szczególnie gruntu sła- bonośnego. Przedstawiono szybką i skuteczną metodę wzmacniania podłoża gruntowego przeznaczonego do budowy obiektów inżynier- skich wykorzystywanych do wykonywania cywilnych lub wojskowych...

    Pełny tekst do pobrania w portalu

  • Równoległe obliczenia grup podobieństw dla wielowymiarowych danych w środowisku Beesy Cluster

    Publikacja

    - Rok 2010

    Opisano podejście do analizy danych opartej na grupowaniuelementów podobnych do siebie. Przedstawiono realizację tego zadania z użyciem jednego z najprostszych algorytmów, dla którego dokonano zrównoleglenia podstawowej operacji wyznaczania podobieństwa stanowiącej najbardziej kosztowny element algorytmu. Przedstawiono opis dystrybucji zadań, metodą obliczania podobieństwa i sposób składowania danych wyjściowych. Zaprezentowano...

  • Wpływ gospodarki komunalnej obszarów wiejskich na jakość wód Morza Bałtyckiego

    Publikacja

    Celem pracy była analiza danych dotyczących zlewni Morza Bałtyckiego oraz wykonanie przeglądu literatury i przedstawienie badań własnych dotyczących gospodarki ściekowej głównie na terenach wiejskich. Morze Bałtyckie jest prawie całkowicie zamknięte. W każdym roku tylko 3% objętości wody ulega wymieniane. Z tego powodu jest bardzo podatne na eutrofizacje. Dodatkowo gospodarka wodno-ściekowa na obszarach niezurbanizowanych jest...

  • Efektywna warstwa pośrednicząca dla obliczeń typu master-slave w środowisku C++/MPI

    Publikacja

    - Rok 2006

    Pokazano, 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...

  • TRANSMISJA KOOPERACYJNA W SIECIACH 4G I 5G

    W referacie przedstawiono zagadnienia związane z transmisją kooperacyjną w sieciach bezprzewodowych czwartej i piątej generacji. Transmisja kooperacyjna polega na wykorzystaniu terminali ruchomych jako stacji przekaźnikowych w celu poprawy jakości transmisji, poprawy wydajności sieci i zmniejszenia zużycia energii.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • A random access protocol under backoff attack: performance and game-theoretic deterrent

    Publikacja

    - Rok 2005

    Przedstawiono metodę obrony przed atakiem na protokół CSMA/CA, opartą na generacji sekwencji zagłuszających z wykorzystaniem wzajemnej słyszalności stacji. Na podstawie analizy wypłat odpowiedniej gry w formie rozwiniętej pokazano możliwość osiągania punktu równowagi odpowiadającego standardowym ustawieniom protokołu.

  • Metody metagenomiczne w badaniu mikrobiomu jelitowego człowieka

    Publikacja

    Mikroorganizmy zamieszkujące ciało człowieka to nie tylko komensale i groźne patogeny, ale także organizmy symbiotyczne pełniące kluczową rolę w zachowaniu homeostazy gospodarza. Badania metagenomiczne wykorzystujące techniki sekwen-cjonowania nowej generacji i metody bioinformatyczne pozwalają na dogłębne po-znanie mikrobiomu ludzkiego i poszukiwanie jego związku ze stanem zdrowia czło-wieka. Celem pracy jest omówienie różnych...

    Pełny tekst do pobrania w portalu

  • Zmodyfikowana metoda prognozowania rezultatów nadzorowania drgań narzędzie-przedmiot obrabiany.

    Publikacja

    W pracy przedstawiono zmodyfikowaną metodę prognozowania rezultatów nadzorowania drgań narzędzie-przedmiot obrabiany za pomocą sterowanej programowo prędkości obrotowej wrzeciona. Istotą modyfikacji jest uwzględnienie w modelu złożoności geometrycznej narzędzia oraz efektu rozproszenia energii procesu skrawania. Podano opis dynamiki skrawania niestacjonarnego modelu obliczeniowego, oraz sposobu nadzorowania. Zamieszczono przykład...

  • 2022/2023 - Rozproszone Systemy Wysokiej Wydajności

    Kursy Online
    • T. M. Boiński
    • M. Matuszek
    • P. Januszewski
    • A. Sobecki

  • Mikrosterowniki i mikrosystemy rozproszone - laboratorium 2023

    Kursy Online
    • Z. Czaja
    • D. Palmowski
    • M. Kowalewski

    Kierunek: Automatyka, Cybernetyka i Robotyka (WETI), I stopnia - inżynierskie, stacjonarne, sem. 6.

  • Systemy internetowe i rozproszone - 2022/2023

    Kursy Online
    • M. Kaczmarek
    • N. Kowalczyk

    II stopień IBm

  • Systemy internetowe i rozproszone - 2023/2024

    Kursy Online
    • M. Kaczmarek
    • N. Kowalczyk

    II stopień IBm

  • 2023/2024 - Rozproszone Systemy Wysokiej Wydajności

    Kursy Online
    • M. Matuszek
    • H. A. Mojeed
    • J. Szłapczyńska
    • A. Sobecki
    • J. Dobrosolski
    • S. Olewniczak

  • Mikrosterowniki i mikrosystemy rozproszone - laboratorium 2024

    Kursy Online
    • Z. Czaja
    • M. Kowalewski

    Kierunek: Automatyka, Cybernetyka i Robotyka (WETI), I stopnia - inżynierskie, stacjonarne, sem. 6.

  • Zastosowanie silnika elektrycznego do napędu pompy cieczy chłodzącej w silnikach samochodowych.

    Publikacja

    - Rok 2004

    W artykule opisano układy chłodzenia nowej generacji z elektronicznym sterowaniem do silnika samochodowego. Porónano pracę konwencjonalnego układu chłodzenia z pompą napędzaną mechanicznie i pompą napądzaną silnikiem elektrycznym. Przeprowadzono symulacyję procesu rozgrzewania silnika. Zaproponowano konstrukcję pompy z napędem elektrycznym.

  • Design concept of diesel-electric power plant of a two-segment passenger ship intended for operating on east-west inland waterways of Poland

    Artykuł przedstawia koncepcję siłowni spalinowo-elektrycznej dwuczłonowego śródlądowego statku pasażerskiego. Projekt statku wykonany został w ramach projektu EUREKA InCoWaTrans E!3065, który dotyczy nowej generacji przyjaznych środowiskowo statków śródlądowych i przybrzeżnych dla polskiego systemu dróg wodnych relacji Wschód-Zachód.

    Pełny tekst do pobrania w portalu

  • passive spice networks from non-passive data

    Publikacja

    - Rok 2006

    Artykuł przestawia technike generacji schematow zastepczych w formacie SPICE dla pasywnych układów mikrofalowych. Wynikowy schemat zastepczy ma zagwarantowana pasywnosc. Schematy zastepcze powstaja na podstawie symulacji lub pomiarow w dziedzinie czestotliwosci i moga byc wykorzystane do symulacji w dziedzinie czasu.

  • Alicja Sekuła dr hab. inż.

    - 2017 r. - stopień doktora habilitowanego nauk ekonomicznych w dziedzinie ekonomia, dyscyplina - finanse; Szkoła Główna Handlowa, Kolegium Zarządzania i Finansów, - 2003 r. - stopień doktora nauk ekonomicznych w dziedzinie ekonomia, dyscyplina - ekonomia; Politechnika Gdańska, Wydział Zarządzania i Ekonomii, - 1997 r. - tytuł magister inżynier - Politechnika Gdańska, Wydział Zarządzania i Ekonomii, - 1996 r. - tytuł magister inżynier...

  • The Impact of Micro-Sources on Voltage Distortions in a Power Grid

    Publikacja

    The increase in the number of photovoltaic (PV) systems integrated with low voltage (LV) grids has led to a great need to analyse the impact of these systems on the quality of electricity and the reliability of its supply. This paper presents and compares the energy quality requirements imposed by various countries on photovoltaic plants. Then, based on real object tests and simulation in DIgSILENT PowerFactory, the impact has...

    Pełny tekst do pobrania w portalu

  • Elektrownie wiatrowe a stabilność systemu Elektroenergetycznego

    Publikacja

    - Rok 2016

    W pracy omówiono problematykę wpływu elektrowni wiatrowych na system elektroenergetyczny. Rozważano zagadnienia związane z pewnością generacji, rezerwowaniem mocy czynnej, regulacją napięcia i mocy, jakością energii, stabilnością napięciową, stabilnością lokalną, stabilnością globalną, zdolnością do uczestnictwa w obronie i odbudowie systemu elektroenergetycznego, itd.

  • Porównanie jakości odbioru adaptacyjnego odbiornika systemu TETRA pracującego w trybie ciągłym oraz impulsowym

    Publikacja

    W pracy przedstawiono adaptacyjny odbiornik systemu TETRA nowej generacji i wyniki badań jakości odbioru dla transmisji ciągłej oraz impulsowej w łączu w dół. Z przeprowadzonych badań wynika, że wykorzystanie dodatkowych ciągów uczących w przypadku transmisjiciągłej umożliwia znaczną poprawę jakości odbioru.

  • Toward mechanosynthesis of diamondoid structures: V. Silicon as the material of choice for preliminary implementation of intermediate generation of nano-machine systems

    Stosując ostatnio wprowadzony przez Drexlera ''moduł skalowany stałą sieciową'' KLM, porównano dwa potencjalne nano-materiały, krzem i diament. Szczegółowe porównanie właściwości fizycznych i chemicznych wykazuje, że krzem może być rozważany jako materiał z wyboru dla pierwotnej implementacji pośredniej generacji nano-systemów.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Współczesne elektrownie jądrowe

    Publikacja

    - Rok 2011

    Przedstawiono i scharakteryzowano stosowane technologie wytwarzania energii elektrycznej w elektrowniach jądrowych ze szczególnym uwzględnieniem zaawansowanych technologii reaktorów energetycznych III oraz IV generacji. Istotny nacisk położono na zagadnienia bezpieczeństwa współczesnych elektrowni jądrowych, zwłaszcza w świetle katastrofy w japońskiej Elektrowni Fukushima, spowodowanej tsunami.

  • Badanie jakości transmisji w podsystemie EDGE.

    Publikacja

    Przedstawiono wyniki badań symulacyjnych jakości transmisji w podsystemie EDGE, będącego rozwinięciem systemu GSM w kierunku systemu trzeciej generacji. Uzyskane wyniki odnoszą się do szybkiej transmisji danych, realizowanej w oparciu o komutację kanałów ECSD oraz komutację pakietów EGPRS dla wybranych środowisk propagacyjnych.

  • Streaming caused by non periodic ultrasound.

    Publikacja

    - Rok 2003

    Opracowano wzory na generację przepływów rotacyjnych przez falę akustyczną dowolnego typu. Równania ewolucyjne wyprowadzone, wyniki porównywane są teorią dla wielkości uśrednionych. Impuls dodatniej polarności służy przykładem fali akustycznej. Przedstawiono czasowe, przestrzenne wykresy na podstawie obliczeń numerycznych oraz linie pędu przepływu rotacyjnego.

  • Design of hight voltage busbar: trade off between electrical field and stray inductance

    Publikacja

    - Rok 2003

    Artykuł dotyczy optymalizacji konstrukcji i technologii szyny doprowadzenia zasilania do pojedynczej gałęzi falownika średniego napięcia. Dla szeregowego układu złożonego z trzech modułów elektroizolowanych (6 par tranzystorów i diod) rozważono warianty geometrii szyny zasilania przy uwzględnieniu wypadkowej indukcyjności obwodu komutacyjnego. Wyznaczono główne składniki indukcyjności rozproszenia oraz wykazano jej wpływ na przepięcia...

  • Hunting for bindings in distributed object-oriented systems.

    Publikacja
    • M. Sławińska

    - Rok 2004

    Artykuł dotyczy problemu identyfikacji grupy obiektów, które pozostają z danym obiektem w pewnej relacji. Problem ten jest szczególnie istotny w sytuacji, gdy należy wyodrębnić grupę obiektów w celu np. testowania czy monitorowania. W arykule zdefiniowano statyczną i dynamiczną relację powiązania pomiędzy obiektami w rozproszonym systemie obiektowym. Zaproponowano również architekturę umożliwiającą wyszukiwanie tych powiązań. Przedstawiono...

  • Model multiplikatywny a średnia geometryczna - wybrane problemy

    Publikacja

    - Rok 2005

    W pierwszej części artykułu omówiono problemy względnego i absolutnego rozproszenia zmiennej objaśnianej w relacji do jej średniej geometrycznej w modelu multiplikatywnym. W nastepnej kolejności omówiono właściwości estymatora warunkowej średniejgeometrycznej w modelu multiplikatywnym. Na tym tle omówiono zagadnienie interpretacji odchylenia standardowego w tego typu modelach. W części końcowej artykułu wnioski teoretyczne poddano...

  • Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych

    AutoFocus 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...

  • Wirtualne zespoły robocze - lato'22

    Kursy Online
    • J. Dembski
    • B. Wiszniewski

    Celem przedmiotu jest przedstawienie nie-algorytmicznych modeli obliczeń do pracy grupowej w środowisku rozproszonym, nowych kierunków rozwoju zastosowań informatyki dla potrzeb społeczeństwa informacyjnego oraz zademonstrowanie w praktyce kilku aplikacji, reprezentujących główne klasy rozproszonych systemów interaktywnych

  • Wirtualne zespoły robocze - lato24

    Kursy Online
    • J. Dembski
    • B. Wiszniewski

    Celem przedmiotu jest przedstawienie nie-algorytmicznych modeli obliczeń do pracy grupowej w środowisku rozproszonym, nowych kierunków rozwoju zastosowań informatyki dla potrzeb społeczeństwa informacyjnego oraz zademonstrowanie w praktyce kilku aplikacji, reprezentujących główne klasy rozproszonych systemów interaktywnych

  • Wirtualne zespoły robocze - lato24

    Kursy Online

    Celem przedmiotu jest przedstawienie nie-algorytmicznych modeli obliczeń do pracy grupowej w środowisku rozproszonym, nowych kierunków rozwoju zastosowań informatyki dla potrzeb społeczeństwa informacyjnego oraz zademonstrowanie w praktyce kilku aplikacji, reprezentujących główne klasy rozproszonych systemów interaktywnych