Filtry
wszystkich: 1288
-
Katalog
- Publikacje 1087 wyników po odfiltrowaniu
- Osoby 66 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 4 wyników po odfiltrowaniu
- Laboratoria 2 wyników po odfiltrowaniu
- Zespoły Badawcze 3 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 112 wyników po odfiltrowaniu
- Wydarzenia 4 wyników po odfiltrowaniu
- Dane Badawcze 8 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: WIELOWYMIAROWE METODY ANALIZY DANYCH
-
Wyszukiwanie i eksploracja obrazów medycznych na podstawie ich treści
PublikacjaPrzedstawiono metody wyszukiwania obrazów medycznych na podstawie podobień- stwa treści. Zaprezentowano architekturę systemu wyszukiwania oraz metodykę wyszukiwania: algebrę obrazów, cechy i deskryptory oraz metody analizy po- dobieństwa.
-
Metoda diagnozowania układu łożyskowania silnika okrętowego na podstawie wyników badań emisji akustycznej w warunkach eksploatacji
PublikacjaReferat przedstawia wykorzystywane obecnie metody diagnozowania łożysk głównych silników okrętowych. Stanowi wprowadzenie do dalszej analizy oraz oceny stanu technicznego łożysk ślizgowych szczególnie przy wykorzystaniu metody emisji akustycznej.
-
Bayesian estimation of the parameters in safely and reliability models for the subjective priors.
PublikacjaRozważono problem estymacji nieznanych charakterystyk niezawodnościowych za pomocą nieparametrycznych metod Bayesowskich. W wielu przypadkach opinie ekspertów są jedynym źródłem danych apriorycznych w modelach Bayesowskich. Celem uzyskania subiektywnych prawdopodobieństw apriorycznych zastosowano pewne metody ekspertowe. W oparciu o proces Dirichleta, który jest kluczowym pojęciem w teorii Fergusona, zostały skonstruowane...
-
Filtracja danych TDOA w filtrze UKF w systemie multilateracyjnym
PublikacjaW artykule przedstawiono implementację metody filtracji danych pomiarowych w systemie MLAT(Multilateration), która ma na celu zwiększenie dokładności estymacji położenia poruszającego się statku powietrznego poprzez kompensację błędów pomiarowych. Opisano sposób implementacji algorytmu bezśladowego filtru Kalmana dla danych pomiarowych TDOA (Time Difference of Arrival), a następnie na podstawie zarejestrowanych rzeczywistych tras...
-
Metoda adaptacyjnej kompresji statycznych obrazów rastrowych i jej zastosowanie w systemach ITS
PublikacjaW referacie przedstawiono koncepcję i przykład zastosowania adaptacyjnej metody kompresji obrazów rastrowych, która może znaleźć zastosowanie m.in. w systemach ITS. Opracowana metoda pozwala na poprawę efektywności działania systemów zaliczanych do klasy ITS, w których istnieje konieczność transmisji bardzo dużych wolumenów danych obrazowych, za pośrednictwem sieci telekomunikacyjnych. Koncepcja opisanej w pracy adaptacyjnej metody...
-
Makromodele w analizie problemów quasi-periodycznych i wieloskalowych metodą różnic skończonych
PublikacjaW niniejszej pracy podjęty został temat efektywnej analizy układów quasiperiodycznych i wieloskalowych. Wykorzystana została w tym celu metoda makromodelingu pozwalająca na zastąpienie newralgicznych obszarów (siatki FDTD/FDFD) układu ich zwięzłym i dokładnym opisem macierzowym (tzw. makromodelami). Opracowano szereg modyfikacji metody makromodelingu mających na celu umożliwienie za jej pomocą efektywnej analizy struktur quasiperiodycznych...
-
Modelowanie matematyczne systemów fizjologicznych i farmakokinetycznych dla wspomagania diagnostyki terapii
PublikacjaKsiążka jest poświęcona matematycznemu modelowaniu systemów biomedycznych, ze szczególnym uwzględnieniem systemów fizjologicznych i farmakokinetycznych. W tym obszarze bardzo przydatne są metody modelowania kompartmentowego, wykorzystujące opis systemu w kategoriach zmiennych stanu. W tych kategoriach sformułowana jest także teoria filtracji stochastycznej Kalmana. Filtracja stochastyczna stosowana jest do usuwania zakłóceń z sygnału...
-
Selection of pointing device for elders
PublikacjaW artykule przedstawiono metodykę i sposób akwizycji oraz analizy danych dla doboru optymalnego urządzenia wskazującego, dostosowanego do osób starszych. Przedstawiono wyniki próbnych testów na dwóch grupach - docelowej i referencyjnej oraz skomentowano wyniki.
-
Electrocatalytic gas sensor response analysis
PublikacjaW pracy przedstawiono i porównano metody analizy odpowiedzi elektrokatalitycznych czujników gazów toksycznych. Opisane metody pozwalają na ekstrakcje z odpowiediz czujników informacji o rodzaju gazu oraz o jego stężeniu.
-
Metody numeryczne sem. V [2022/2023]
Kursy OnlineMetody numeryczne dla V semestru specjalności: Matematyka finansowa (WFTiMS), Matematyka stosowana (WFTiMS), Analityk danych (WFTiMS).
-
Metody numeryczne sem. V 2023/24
Kursy OnlineMetody numeryczne dla V semestru specjalności: Matematyka finansowa (WFTiMS), Matematyka stosowana (WFTiMS), Analityk danych (WFTiMS).
-
Równoległe obliczenia grup podobieństw dla wielowymiarowych danych w środowisku Beesy Cluster
PublikacjaOpisano 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...
-
METODYKA SZACOWANIA OSIADAŃ PALI VIBRO NA PODSTAWIE WYNIKÓW BADAŃ STATYCZNYCH CPT
PublikacjaPróbne obciążenia statyczne (SPLT) wskazują, że nośność pali Vibro jest znacznie większa niż zakładana na etapie projektu. Trudność, w wielu przypadkach, sprawia wyznaczenie nośności granicznej na podstawie próbnego obciążenia statycznego, ze względu na liniowy przebieg krzywej obciążenie - osiadanie. Praca zawiera analizę, której wynikiem jest metoda prognozowania krzywej obciążenie - osiadanie pali Vibro obciążanych osiowo,...
-
Strategia analizy niecelowanej w metabolomice i lipidomice – aspekty praktyczne cz.2
PublikacjaStrategia analizy niecelowanej jest powszechnie wykorzystywana do analizy różnego rodzaju próbek biologicznych, takich jak tkanki czy płyny ustrojowe, w celu otrzymania „odcisku palca” oraz określenia różnic w składzie jakościowym oraz ilościowym pomiędzy badanymi próbkami. Wskazanie różnic w zawartości różnych biocząsteczek (peptydów, metabolitów, lipidów) pozwala na uzyskanie informacji na temat powiązania składu biochemicznego...
-
Wyszukiwanie usług UDDI.
PublikacjaPrzedstawiono podstawowe technologie usług WWW oraz omówiono interakcje pomiędzy tymi technologiami. Zaprezentowano metody wyszukiwania usług w rejestrach UDDI. Uwzględniono struktury danych oraz funkcje API wykorzystywane podczas komunikowania się z rejestrem
-
Metody wyszukiwania informacji oparte na wyznaczaniu kierunków
PublikacjaRozprawa doktorska poświęcona jest nowej, oryginalnej metodzie klasteryzacji kierunkowej przeznaczonej do wyszukiwania informacji. Metoda ma zastosowanie w przypadku, gdy przeprowadzane jest wyszukiwanie za pomocą zapytań. Mogą to być zarówno zapytania wprowadzane w polu tekstowym wyszukiwarki internetowej, jak i zapytania stosowane podczas wydobywania danych zawartych w sieci semantycznej. Metoda służy do przeprowadzania interaktywnego...
-
Możliwości zastosowania elementów logiki rozmytej do oceny ryzyka środowiskowego statków
PublikacjaW referacie przedstawiono możliwości adaptacji miękkich metod analizy systemowej do oceny ryzyka środowiskowego statków; zarówno na etapie ustalania danych niezawodnościowych, wyznaczania prawdopodobieństw zdarzeń niebezpiecznych dla środowiska oraz oceny skutków uwolnienia zanieczyszczeń ze statków.
-
Analiza miar narażenia na ryzyko w ruchu drogowym
PublikacjaNarażenie na ryzyko jest elementem składowym ryzyka społecznego. W artykule przedstawiono analizę miar narażenia na ryzyko w ruchu drogowym. Przedstawiono ewolucję definicji narażenia na ryzyko w ruchu drogowym, a następnie scharakteryzowano najczęściej stosowane i proponowane do analizy miary narażenia na ryzyko. Wykorzystując analizę regresji korelacji określono siłę współzależności pomiędzy piętnastoma miarami narażenia na ryzyko,...
-
Przestrzenne podejście do analizy międzysektorowej mobilności płac oraz zatrudnienia
PublikacjaGłównym celem opracowania jest przedstawienie możliwości zastosowania macie‑rzy sąsiedztwa, opartej na odległości ekonomicznej, w prowadzonych przez autora analizach wiążą‑cych międzysektorową mobilność płac oraz zatrudnienia. Obliczenia odległości ekonomicznej oparto na poziomie PKB, natomiast w modelu przestrzennym wykorzystano dane dotyczące ich wybranych determinant, np. wskaźnika nierówności płacowych, przeciętnego poziomu...
-
Managing data from heterogeneous data sources using knowledge layer
PublikacjaW procesie integrowania danych przy użyciu ontologii, ważne jest aby zarządzać danymi przechowywanymi w zewnętrznych źródłach, analogicznie jak tymi przechowywanymi w Bazie Wiedzy. Zaprezentowana w poprzednich pracach metoda kartograficznej reprezentacji wiedzy pozwala na wnioskowanie z danych przechowywanych w Bazie wiedzy. Rozwiązanie zaprezentowane w tej pracy umożliwia wykorzystanie metody kartograficznej do wnioskowania z...
-
An application of advanced data processing methods to response analysis of electrocatalytic gas sensor
PublikacjaPrzedstawiono stosowane dotychczas oraz zaproponowano nowe metody analizy odpowiedzi czujników elektrokatalitycznych. Porównano ich właściwości.
-
Metoda elementów skończonych w stomatologii = Finite elements method in dental surgery.
PublikacjaPrzedstawiono wyniki analizy możliwości zastosowania metody elementów skończonych w stomatologii. Wskazano wierunki możliwych zastosowań.
-
Nowe sposoby instrumentalnego określania wybranych cech zapachu za pomocą technik czujnikowych
PublikacjaRozprawa doktorska zawiera opis rozwoju nowych metod instrumentalnego określania wybranych cech zapachu za pomocą technik czujnikowych (elektronicznych nosów). Jest ona oparta na sześciu artykułach opublikowanych w recenzowanych czasopismach naukowych. Głównym celem tej pracy było określenie możliwości wykorzystania elektronicznego nosa do instrumentalizacji pomiaru wybranych cech zapachu – intensywności i jakości hedonicznej,...
-
Vibrational spectroscopy of semiheavy water (HDO) as a probe of solute hydration
PublikacjaSpektroskopia oscylacyjna jest idealną metodą w badaniach zjawisk hydratacyjnych. Przy zastosowaniu techniki rozcieńczenia izotopowego, gdy mała ilość D2O zostaje wprowadzona do H2O lub vice versa i powstaje woda półciężka (HDO), ominąć można wiele problemów technicznych i interpretacyjnych związanych z pomiarem widm w podczerwieni wody ciekłej. Zwłaszcza izotopowe rozprzężenie drgań rozciągających ułatwia interpretację widm. Systematycznie...
-
Wykorzystanie metody FMEA w kształtowaniu umiejętności projektowania technologii części maszyn = application of the FMEA method for skills development of machine parts technology desing
PublikacjaPrzedstawiono sposób wykorzystania metody FMEA w kształtowaniu umiejętności projektowania technologii części maszyn. Podano wytyczne ogólne i etapy analizy procesu i konstrukcji. Zamieszczono przykład analizy technologii dwustronnej dźwigni spawanej w produkcji małoseryjnej.
-
Chapter 1. Food components and quality
PublikacjaGłówne składniki żywności to woda, białka, sacharydy, lipidy i związki mineralne. Składniki występujące na ogół w mniejszych ilościach to niebiałkowe związki azotowe, witaminy, barwniki, związki zapachowe i dodatki funkcjonalne. Jakościowy i ilościowy skład żywności zależy od gatunku i odmiany surowców oraz warunków ich uprawy, żywienia, zbioru, przechowywania i przetwarzania. Składniki żywności i ich przemiany wpływają na zapach,...
-
Analiza i wizualizacja aktywności osób na podstawie pomiarów z wykorzystaniem czujnika ruchu
PublikacjaW artykule przedstawiono propozycję budowy i analizy map aktywności na podstawie danych pomiarowych z czujników ruchu oraz z innych mierników mediów. Utworzono oprogramowanie w PHP, które automatycznie analizuje dane w bazie danych i dynamicznie (dla przekazanych parametrów) tworzy mapę aktywności. W celach testowych wykonano prosty system złożony z platformy Raspberry PI, urządzeń wejściowych oraz dołączanych czujników (np. detektor...
-
Sterowanie predykcyjne i fuzja danych w systemie dynamicznego pozycjonowania statku
PublikacjaRozprawa doktorska poświęcona jest badaniu zastosowania fuzji danych oraz sterowania predykcyjnego w systemie dynamicznego pozycjonowania statku. W pierwszej części pracy przedstawiono historię rozwoju systemów dynamicznego pozycjonowania, różne metody estymacji położenia statku, metody sterowania oraz cel i tezę pracy. Następnie zaprezentowano model matematyczny statku, kinematykę oraz dynamikę. W kolejnej części przedstawiono...
-
Ocena zagrożenia na sieci dróg na podstawie doświadczeń programu EuroRAP
PublikacjaW artykule przedstawiono syntezę technik stosowanych w ramach programu EuroRAP i innych podobnych, przy ocenie zagrożenia w ruchu drogowym. Przedstawione zostały metody automatyzacji procesu zbierania danych i metodyka klasyfikacji dróg pod kątem bezpieczeństwa
-
Automatyczna detekcja liczby poziomów szumów RTS w przyrządach półprzewodnikowych
PublikacjaW publikacji zaprezentowano dwie metody automatycznej detekcji liczby poziomów szumów RTS w sygnałach szumowych generowanych w przyrządach półprzewodnikowych. Pierwsza z nich wykorzystuje źródło danych, którym jest szum przyrządu zapisany w postaci wektora próbek, natomiast druga działa w oparciu o obrazy uzyskane metodą NSP. W odróżnieniu od metody NSP, prezentowane metody pozwalają na automatyczną identyfikację liczby poziomów...
-
Nowe metody instrumentalne oceny jakości olejów jadalnych
PublikacjaW publikacji przedstawiono nowe podejście do oceny jakości olejów jadalnych. W ostatnich latach prowadzi się szereg badań w celu opracowania szybkiej, taniej i łatwej do wykonania metody oznaczania jakości produktów spożywczych. W przypadku oceny roślinnych olejów jadalnych obiecująca wydaje się technika analizy lotnych składników badanych próbek z wykorzystaniem chromatografii gazowej i nosów elektronicznych. Substancje lotne...
-
Asynchronous distributed state estimation based on covariance intersection
PublikacjaW artykule rozważa się problem estymacji stanu w rozproszonym systemach wieloczujnikowym. W systemach takich stan obserwowanego obiektu jest estymowany przez pewien zbiór estymatorów lokalnych. Każdy estymator lokalny wykonuje fuzję danych pochodzących ze skojarzonego z nim czujnika lub czujników z danymi pochodzącymi z innych lokalnych estymatorów. W wyniku operacji fuzji oraz dodatkowo operacji filtracji korzystając np. z filtru...
-
Włodzimierz Zieniutycz prof. dr hab. inż.
Osoby -
Ireneusz Kreja dr hab. inż.
OsobyAbsolwent klasy matematycznej I Liceum Ogólnokształcącego w Gdańsku im. Mikołaja Kopernika (1974). Absolwent Wydziału Budownictwa Lądowego Politechniki Gdańskiej (1979). Od 1979 pracuje na PG. W 1989 uzyskał doktorat (z wyróżnieniem), na Wydziale Budownictwa Lądowego, a w 2008 habilitował się (również z wyróżnieniem) na Wydziale Inżynierii Lądowej i Środowiska PG. Od 2011 jest profesorem PG. Na Politechnice Gdańskiej pełnił funkcje:...
-
Frequency distribution of chemical oscillations in the closed Belousov Zhabotinsky reaction.
PublikacjaW publikacji przedstawiono wykorzystanie metody STFT (krótkoczasowej transformaty Fouriera) do analizy oscylacji chemicznych. Badano rejestry potencjałowe reakcji Biełousowa Żabotyńskiego. Wykazano niestacjonarność analizowanych przebiegów. Wykazano liniową zależność pomiędzy częstotliwością oscylacji a stężeniem jednego z komponentów reakcji (bromian potasu). Udowodniono przydatność analizy czasowo-częstotliwościowej do analizy...
-
Instalacja i wstępna analiza danych batymetrycznych pochodzących z echosondy wielowiązkowej
PublikacjaW akustycznym telemonitoringu środowiska morskiego stosowane są dwa rodzaje sonarów, a mianowicie: sonary boczne i echosondy wielowiązkowe. Oba systemy dostarczają danych zarówno dla batymetrii, jak i dla akustycznego obrazowania dna morskiego. Echosondy wielowiązkowe są zaawansowanymi technologicznie urządzeniami, które dzięki wielokierunkowej obserwacji szerokokątnej dna, przy jednoczesnym utrzymaniu wysokiej rozdzielczości kątowej,...
-
Wyszukiwanie obrazów w multimedialnych bazach danych.
PublikacjaW pracy przedstawiono problem wyszukiwania obrazów w multimedialnych bazach danych. Wskazano na istniejące w tej dziedzinie problemy oraz metody ich rozwiązywania. Przedstawiono wybrane algorytmy wyszukiwania obrazów, zaprezentowano prototypowy system wyszukiwania oraz wstępne wyniki badań.
-
Aplikacja elektrycznej tomografi pojemnościowej (ECT) w analizie dynamiki opróżniania silosów
PublikacjaW artykule przedstawiono wyniki pomiarów zmian koncentacji materiału sypkiego przy zastosowaniu tomografii pojemnościowej podczas dynamicznego opróżniania silosu. Wskazano wady i zalety metody ECT, przeprowadzono dyskusje na temat dokładności pomiarów dla danych surowych i zrekonstruowanych.
-
Telemedicine methods for low bit rate communication
PublikacjaW pracy przedstawiono metody, które mogą być zastosowane w wybranych aspektach telemedycyny przy zredukowanym strumieniu danych. Przedstawiono i omówiono rozwiązania dla telekonsultacji przygotowanych (przygotowane dane, telekonsultacje w czasie rzeczywistym) oraz telekonsultacji w wypadkach nagłych.
-
Projektowanie fakultatywne sem 2 mgr - Interdyscyplinarne podejście do projektowania prośrodowiskowego
Kursy OnlineCelem zajęć będzie wykorzystanie na potrzeby projektowania urbanistycznego i architektonicznego narzędzi analizy środowiska (pomiary jakości powietrza, hałasu, czynników kształtujących mikroklimat) i narzędzi do zbierania danych terenowych w zakresie Systemu Informacji Geograficznej GIS (wykorzystanie aplikacji do zbierania danych terenowych, badanie percepcji przestrzeni, tworzenie interaktywnych map).
-
Projektowanie fakultatywne sem 2 mgr - Interdyscyplinarne podejście do projektowania prośrodowiskowego 2022/2023
Kursy OnlineCelem zajęć będzie wykorzystanie na potrzeby projektowania urbanistycznego i architektonicznego narzędzi analizy środowiska (pomiary jakości powietrza, hałasu, czynników kształtujących mikroklimat) i narzędzi do zbierania danych terenowych w zakresie Systemu Informacji Geograficznej GIS (wykorzystanie aplikacji do zbierania danych terenowych, badanie percepcji przestrzeni, tworzenie interaktywnych map).
-
Techniki obliczeniowe w systemach geoprzestrzennych
Kursy OnlineOmówienie technik analizy danych wielkoskalowych oraz nabycie umiejętności przetwarzania tego typu danych, ze szczególnym uwzględnieniem zastosowania ich w systemach goeprzestrzennych.
-
Ranking of Generation Source Locations by a Hybrid Multi-Criteria Method
PublikacjaThe paper presents a ranking of the locations of eight renewable energy sources (RES) made using a hybrid multi-criteria analysis method. The method is a combination of the analytical hierarchical process (AHP) method and numerical taxonomy. The considered generating sources, i.e. solar plants, biogas plants, and wind farms are sources that will significantly contribute to implementing the provisions of the energy and climate package...
-
Electronic nose as a tool for differentiation of volatile organic compounds = Elektroniczny nos jako instrument do rozróżniania lotnych związków organicznych
PublikacjaW pracy porównano dwie metody analizy zapachów lotnych związków organicznych: klasyczną analizę opartą na percepcji ludzkiego węchu i technikę elektronicznego nosa. W przeprowadzonych badaniach za pomocą klasycznej analizy brało udział 8 ochotników w okresie 2 tygodni. Do instrumentalnej metody analizy zapachu wykorzystano zaprojektowany przez autorów prototypowy 6-cio czujnikowy elektroniczny nos. Przeprowadzone badania z wykorzystaniem...
-
Wydajność pracy a dynamika płac na przykładzie Polski i Niemiec
PublikacjaWydajność pracy stanowi jeden z głównych czynników kształtujących poziom płac. W pierwszej części opracowania dokonano krótkiego przypomnienia podstaw teorii płac. Główną składową pracy stanowi część empiryczna. W opracowaniu dokonano analizy opartej na zbadaniu dynamiki płac realnych i nominalnych oraz dynamiki wydajności pracy. Korzystając z danych urzędów statystycznych porównane zostały dwa państwa: Polska oraz Niemcy. Analizy...
-
Application of time-series-cross-section data in case of sale forecasting in an enterprise
PublikacjaW artykule wskazano możliwości wykorzystania danych przestrzenno-czasowych do prognozowania sprzedaży w przedsiębiorstwie. Przedstawiono różne podejścia do prognozowania ekonometrycznego przy użyciu tego typu danych. Wyznaczono krótkookresowe prognozy sprzedaży benzyny bezołowiowej Pb95 w przekroju województw oraz dokonano oceny ich jakości przy użyciu mierników ex-post. Dwie najdokładniejsze metody prognozowania wykorzystano do...
-
Wyznaczanie wektora wybranej harmonicznej nieparzystej przebiegu odkształconego metodą szczególnego próbkowania
PublikacjaZaprezentowano uogólniony opis metody szczególnego próbkowania do wyznaczania dowolnej harmonicznej nieparzystej przebiegu odkształconego. Pozwala on na łatwe określenie programu próbkowania oraz algorytmu obróbki danych pomiarowych umożliwiającego wyznaczanie wektora jednej lub kilku wybranych harmonicznych nieparzystych przebiegu badanego.
-
Deisgning the Data Warehouse for Decision Support System
PublikacjaRozdział w monografii jest poświecony problematyce budowy systemów z bazami wiedzy dla wspomagania procesów zarządzania. W rozdziale tym przedstawiono metody budowy hurtowni danych Na zakończenie przedstawiono przykład wykorzystania tych hurtowni na potrzeby systemów wspomagania decyzji
-
A novel method of spectral analysis of oscillatory Belousov-Zhabotinsky reaction. Nowa metoda analizy spektralnej reakcji oscylacyjnej Biełousowa-Żabotyńskiego.
PublikacjaPrzedstawiono wstępne wyniki analizy czasowo-częstotliwościowej reakcji Biełousowa-Żabotyńskiego w reaktorze zamkniętym. Do analizy rejestrów potencjałowych reakcji BZ zaproponowano wykorzystanie metody STFT (Short Time Fourier Analysis). Uzyskane spektrogramy wykazały spadek częstotliwości oscylacji wraz z postępem reakcji. Na podstawie analizy trzech składowych harmonicznych badanych rejestrów wykazano ekspotencjalną zmianę...
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublikacjaAutoFocus 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...