Filtry
wszystkich: 947
-
Katalog
Wyniki wyszukiwania dla: TECHNIKA I METODY
-
Zaawansowane techniki deformacji siatki wykorzystujące mechanikę bryły sztywnej dla zagadnień studiów parametrycznych i optymalizacji kształtu trójwymiarowych struktur elektromagnetycznych wysokiej częstotliwości z wykorzystaniem metody elementów skończ
ProjektyProjekt realizowany w Wydział Elektroniki, Telekomunikacji i Informatyki zgodnie z porozumieniem UMO-2013/09/B/ST7/04202 z dnia 2014-04-03
-
Radiosensybilizujące pochodne zasad pirymidynowych lub purynowych: spektrometria mas i metody kwantowochemiczne w badaniach nad oddziaływaniami z niskoenergetycznymi elektronami w fazie gazowej, klastrach z wodą oraz roztworze
ProjektyProjekt realizowany w Katedra Chemii Organicznej zgodnie z porozumieniem UMO-2020/02/Y/ST4/00110 z dnia 2021-07-12
-
Katedra Inżynierii Elektrycznej Transportu
Zespoły Badawcze* Diagnostyka techniczna i monitoring w systemach transportu zelektryfikowanego * Metody diagnostyki technicznej i monitoringu odbieraków prądu oraz górnej sieci trakcyjnej, w szczególności metody wizyjne * Modele matematyczne i symulacyjne odbieraków prądu i górnej sieci trakcyjnej * Modelowanie i analiza elektrotrakcyjnych układów zasilania * Modelowanie i sterowanie napędami elektrycznymi pojazdów * Redukcja zużycia energii...
-
Zespół Katedry Rachunku Prawdopodobieństwa i Biomatematyki
Zespoły Badawcze* modele ryzyka i ich zastosowania * probabilistyczne i grafowe metody w biologii * stochastyczne równania różniczkowe * statystyczna analiza danych * teoria grafów * teoria i zastosowania stochastycznych układów dynamicznych w biologii i medycynie
-
Katedra Metrologii i Systemów Informacyjnych
Zespoły Badawcze* Diagnostyka silników elektrycznych i magnesów nadprzewodzących * Metody pomiaru impedancji zwarciowej * Zastosowania modulowanych częstotliwościowo sygnałów impulsowych * Pomiary dla diagnostyki medycznej * Ocena niepewności pomiaru * Zastosowanie grafenu do wykrywania elektronicznego
-
Zespół Katedry Automatyki
Zespoły BadawczeMikroprocesorowe urządzenia pomiarowo-rejestrujące i systemy monitorowania wykorzystujące technologie sieciowe, systemy sterowania urządzeniami i procesami technologicznymi. Systemy sterowania w obiektach energetyki odnawialnej, skupionych i rozproszonych. Modelowanie i symulacja obiektów dynamicznych, procesów oraz systemów sterowania i kontroli; projektowanie interfejsów operatorskich. Systemy elektroenergetyczne i automatyki...
-
Katedra Automatyki i Energetyki
Zespoły BadawczeMikroprocesorowe urządzenia pomiarowo-rejestrujące i systemy monitorowania wykorzystujące technologie sieciowe, systemy sterowania urządzeniami i procesami technologicznymi. Systemy sterowania w obiektach energetyki odnawialnej, skupionych i rozproszonych. Modelowanie i symulacja obiektów dynamicznych, procesów oraz systemów sterowania i kontroli; projektowanie interfejsów operatorskich. Systemy elektroenergetyczne i automatyki...
-
Katedra Inżynierii Sanitarnej
Zespoły BadawczeKatedra realizuje swoje zadania badawcze w takim zakresie jak opracowywanie metody podczyszczania lub oczyszczania ścieków przemysłowych oraz ich pomiary. Drugą gałęzią zainteresowań są modele matematyczne i symulacje procesów oczyszczania ścieków i zagospodarowania osadów, opracowywanie symulacji strategii eksploatacyjnych i działań modernizacyjnych.
-
Katedra Inżynierii Zarządzania Operacyjnego
Zespoły Badawcze* procesy i zarządzanie innowacjami w organizacjach gospodarczych * procesy i zarządzanie zmianą w systemach produkcyjnych * zarządzanie projektami, programami oraz portfolio projektów innowacyjnych i rozwojowych * modelowanie i doskonalenie procesów oraz systemów produkcyjnych * projektowanie i optymalizacja technologii informatycznych w inteligentnych systemach produkcyjnych * ilościowe metody wspomagania decyzji w systemach...
-
Zespół Katedry Architektury Mieszkaniowej i Użyteczności Publicznej
Zespoły BadawczePrzedmiotem aktywności Katedry jest działalność w zakresie kształtowania współczesnych obiektów mieszkaniowych, użyteczności publicznej oraz tematów pokrewnych. Badania prowadzone przez pracowników katedry obejmują nowe metody kształtowania obiektów architektonicznych, nowe formy zamieszkiwania, badania roli nowych technologii w kształtowaniu architektury i przestrzeni interaktywnych oraz badania roli sztuki w kształtowaniu przestrzeni...
-
Katedra Automatyki Napędu Elektrycznego i Konwersji Energii
Zespoły Badawcze* nieliniowe sterowanie maszynami elektrycznymi * napędy elektryczne o sterowaniu bez czujnikowym * sterowanie przekształtnikami energoelektronicznymi, w tym przekształtnikami na średnie napięcia i przekształtnikami sieciowymi * energoelektroniczne układy przetwarzania energii w odnawialnych źródłach energii * projektowanie i badanie falowników i przetwornic * projektowanie układów sterowania mikroprocesorowego z wykorzystaniem...
-
Zespół Systemów Mikroelektronicznych
Zespoły Badawcze* projektowania I optymalizacji układów i systemów mikroelektronicznych * zaawansowane metody projektowania i optymalizacji analogowych filtrów aktywnych * programowanie układów scalonych (FPGA, CPLD, SPLD, FPAA) * układy specjalizowane ASIC * synteza systemów o małym poborze mocy * projektowanie topografii układów i zagadnień kompatybilności elektromagnetycznej * modelowania przyrządów półprzewodnikowych * modelowania właściwości...
-
Zespół Katedry Równań Różniczkowych i Zastosowań Matematyki
Zespoły Badawcze* topologiczne niezmienniki w teorii układów dynamicznych i ich zastosowania * teoria punktów stałych i periodycznych * metody matematyczne w kardiologii * miary złożoności i ich zastosowania * modele strukturalne z dyfuzją i warunkami brzegowymi Fellera * modelowanie ekspresji genu białka Hes1 * równania McKendrick-von Foerster z warunkiem odnowy * modelowanie termicznej ablacji za pomocą równania bio-przewodnictwa ciepła * soczewkowanie...
-
Katedra Elektroenergetyki
Zespoły Badawcze* ochrona i bezpieczeństwo pracy systemu elektroenergetycznego, * stabilność sterowanie pracą systemu elektroenergetycznego, * kompleksowe modelowanie systemów elektroenergetycznych oraz szczegółowe modele elementów systemu, * urządzenia FACTS i systemy HVDC w systemach elektroenergetycznych, * odnawialne źródła energii w systemach elektroenergetycznych, * urządzenia i instalacje elektryczne, * optymalizacja struktury i parametrów...
-
Katedra Geotechniki, Geologii i Budownictwa Morskiego
Zespoły Badawcze* badania teoretyczne i doświadczalne oraz analizy numeryczne w Mechanice Gruntów; * badania laboratoryjne i polowe gruntów; * metody wzmacniania podłoża gruntowego; * “zieloną geotechnikę” z zastosowaniem ekologicznych materiałów, technologii i zagospodarowaniem produktów ubocznych; * badania teoretyczne, doświadczalne oraz zagadnienia praktyczne fundamentowania w odniesieniu do fundamentów bezpośrednich i głębokich, tunelowania,...
-
Katedra Inżynierii Chemicznej i Procesowej
Zespoły Badawcze* Inżynieria chemiczna i bioprocesowa dla zastosowań w energii odnawialnej * Konstrukcja nowoczesnych rozwiązań do rozdzielania, kontroli i analityki procesowej o kontroli jakości * Otrzymywanie nowych sorbentów i faz stacjonarnych dla procesów rozdzielania w skali od laboratoryjnej do procesowej * Oczyszczanie ścieków przemysłowych z wykorzystaniem zaawansowanych procesów utleniania * Oczyszczanie ścieków przemysłowych z wykorzystaniem...
-
Zespół Algorytmów i Modelowania Systemów
Zespoły BadawczeStudiowanie problemów i modeli teoriografowych ma na celu badanie złożoności obliczeniowej uogólnień problemu klasycznego kolorowania wierzchołków i krawędzi grafu znajdujących zastosowania w modelowaniu praktycznych problemów oraz badanie nowych miar oceny skuteczności algorytmów. W zakresie szeregowania zadań badania koncentrują się na konstrukcji harmonogramów optymalnych z punktu widzenia długości harmonogramu i średniego czasu...
-
Katedra Technologii Obiektów Pływających, Systemów Jakości i Materiałoznawstwa
Zespoły Badawcze* badania optymalizacyjne nowych technologii oraz rodzajów rozwiązań konstrukcyjno - technologicznych konstrukcji kadłubów okrętowych * przemysłowe prototypy urządzeń i systemy zautomatyzowanej, sterowanej komputerowo diagnozy kształtu wielkogabarytowych konstrukcji płaskich * systemy dynamicznej kontroli jakości w trakcie produkcji kadłuba okrętowego * optymalizacja konstrukcji i technologii oraz budowa prototypów modułowej serii...
-
Katedra Chemii i Technologii Materiałów Funkcjonalnych
Zespoły Badawcze* Zespół Chemicznych Źródeł Prądu Zainteresowania badawcze zespołu koncentrują się głównie na zjawiskach na granicy faz pomiędzy elektrodą a elektrolitem oraz zjawiskach fazowych dotyczących transportu i przeniesienia ładunku. Zrozumienie tych przemian fizykochemicznych ma umożliwić wybór/zaprojektowanie odpowiednich materiałów - przewodników prądu, skutecznych w urządzeniach do magazynowaniu i konwersji energii elektrycznej (UMKE)....
-
Bożena Kostek prof. dr hab. inż.
Osoby -
Metody numeryczne. Podstawy teoretyczne
Publikacjapodręcznik jest pomocą w nauczaniu przedmiotów ''metody numeryczne'' i ''technika obliczeniowa i symulacyjna''. poszczególne rozdziały powiazane są z tematami wykładów i ćwiczeń z tych przedmiotów, a ich treść służy pogłębieniu i rozszerzeiu wiedzy z tej dziedziny. treśc podręcznika uzgodniono tak, aby wiązała się z tematami zadań obliczeniowych i zadań z dziedziny modelowania z którymi zapoznawani sa studenci uczelni technicznych....
-
Metody redukcji rzędu modelu w analizie elektromagnetycznej metodą elementów skończonych
PublikacjaNiniejszy artykuł opisuje nową technikę lokalnej redukcji rzędu modelu, która pozwala na poprawę efektywności Metody Elementów Skończonych (MES) w obliczeniach elektromagnetycznych. Zaproponowana technika została zaimplementowana w trójwymiarowym, wektorowym sformułowania MES. Jej efektywność została zweryfikowana poprzez symulację działania złożonych struktur mikrofalowych. Dzięki zaprezentowanemu algorytmowi uzyskano kilkudziesięciokrotne...
-
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...
-
Wojciech Chrzanowski dr hab. inż.
OsobyWojciech Chrzanowski, urodzony w 1952 r. w Toruniu, ukończył w 1975 r. studia magisterskie na kierunku Technologia Chemiczna, w specjalności Technologia Nieorganiczna (specjalizacja: ochrona przed korozją), na Wydziale Chemicznym PG, uzyskując dyplom z wyróżnieniem. W tym samym roku został zatrudniony w Zakładzie Technik Analitycznych ówczesnego Instytutu Inżynierii Chemicznej i Technik Pomiarowych, początkowo na stanowisku technicznym,...
-
A Novel Modal Technique for Time and Frequency Domain Analysis of Waveguide Components
PublikacjaW pracy zaprezentowano, nową i szybką metodę analizy komponentów falowodowych. Metoda opiera się na kombinacji metody różnic skończonych, metody dekompozycji dziedziny obliczeniowej, redukcji rzędu modelu oraz dyskretnych rozwinięć funkcyjnych. Przedstawiona technika pozwala na skrócenie czasu analizy układu nawet o dwa rzędy wielkości w stosunku do poprzednich algorytmów.
-
Technika cyfrowego przetwarzania sygnałów
PublikacjaPodręcznik jest przeznaczony dla studentów kierunków Elektronika i telekomunikacja, Inżynieria biomedyczna oraz Automatyka i robotyka. Obejmuje on zagadnienia z zakresu cyfrowego przetwarzania sygnałów, przerabiane na takich przedmiotach jak Przetwarzanie sygnałów, Filtry cyfrowe, Zastosowania procesorów sygnałowych. Ma stanowić pomoc przy prowadzeniu zajęć z ćwiczeń tablicowych, zajęć laboratoryjnych czy projektu z zastosowań...
-
Efficient analysis of waveguide componets using a hybrid PEE-FDFD algorithm.
PublikacjaZaproponowano przyspieszenie analizy podzespołów falowodowych poprzez połączenie metody różnic skończonych w dziedzinie częstotliwości FDFD oraz rozwinięcia w funkcje własne PEE. Proponowane sformułowanie pozwala jawnie zdefiniować operator macierzowy dla zadanego problemu. Proponowana technika została zaprezentowana zarówno dla problemów własnych jak i układów z pobudzeniem.
-
Multiple-scattering and electron-uracil collisions at low energies
PublikacjaDyskutowany jest związek dwóch znanych metod w teorii rozpraszania elektronów na cząsteczkach : potencjałów zerowego promieniu i metody potencjałów "muffin-tin". Rozwój obu metod pozwala na stworzenie nowej techniki obliczenia parcjalnych faz i przekrojów czynnych w nazwanej teorii. Technika ta ma zastosowanie do zagadnienia dotyczącego układu elektron-uracil.
-
Grouping macromodels by using multilevel model order reduction
Publikacjaartykuł pprezentuje nowatorską technikę grupowania makromodeli dla metody fdtd. nowa technika bazuje na schemacie wielopoziomowej redukcji rzędu modeli. grupowanie makromodeli pozwala na zwiększenie szybkości symulacji w porównaniu do niezgrupowanych makromodeli, zapewniając przy tym porównywalną dokładność.
-
Dariusz Karkosiński dr hab. inż.
Osoby -
Katedra Technologii Zabezpieczeń Przeciwkorozyjnych, działalność badawcza
PublikacjaW Katedrze Technologii Zabezpieczeń Przeciwkorozyjnych realizowane są różnorodne badania naukowe z zakresu korozji, ochrony przed korozją, inżynierii materiałowej i elektrochemii. Rozwijane są cyfrowe pomiary impedancyjne procesów elektrodowych, pomiary składowych harmonicznych oraz szumu elektrochemicznego. Rozwijane są metody badań impedancyjnych prowadzone w warunkach nieustalonych. W tym celu stosowane są metody łączne czasowo...
-
Model order reduction for subgridding in fdtd scheme
PublikacjaW artykule zaprezentowana została technika pozwalająca na uzyskanie wysokiej rozdzielczości w metodzie FDTD. Prezentowany algorytm jest połączeniem metod redukcji rzędu modelu i lokalnych zagęszczeń zaimplementowanych do FDTD. Pozwala to zmniejszyć liczbę użytych zmiennych stanu, a także skrócić krok czasowy, co skutkuje znacznie krótszym czasem symulacji, niż w przypadku klasycznej metody FDTD.
-
Multimode, multiparametric surrogate models for fast design of waveguide components.
PublikacjaPrzedstawiona została efektywna technika tworzenia wieloparametrycznych mo-deli zastępczych na podstawie wyników symulacji pełnofalowej przy wykorzy-staniu metody Cauchy`ego wielu zmiennych. Metoda pozwala na automatyczny wy-bór rzędu modelu i minimalizuje liczbę koniecznych analiz pełnofalowych. Te-chnika ta jest wykorzystana do tworzenia modeli uogólnionej macierzy rozpro-szenia.
-
Efficient finite difference analysis of microstructured optical fibers [on line]
PublikacjaW pracy przedstawiono nową technikę numerycznej analizy mikrostruktur światłowodowych. Technika ta polega na połączeniu metody różnic skończonych i dyskretnych rozwinięć funkcyjnych. Pozwala to na zmniejszenie rozmiaru macierzy powstających przy analizie problemu, a jednocześnie na bezpośrednią implementację radiacyjnych warunków brzegowych. Testy algorytmu przeprowadzono dla kilku wybranych struktur, uzyskując bardzo dobrą zgodność...
-
Ewaluation of a PCR Melting Profile technique for bacterial strain differentiation
PublikacjaBadano przydatność techniki PCR MP w efektywnym typowaniu szczepów w badaniach epidemiologicznych zakażeń szpitalnych. Technika oparta jest na użyciu niskiej temperatury denaturacji podczas LM PCR. Badaniu zostały poddane izolaty Escherichia coli pochodzące od pacjentów Szpitala Klinicznego w Gdańsku. Wykazano, że technika jest szybka, o wysokim potencjale różnicującym i bardzo dobrej powtarzalności i może być zastosowana w badaniach...
-
Symulacja pracy sieci MPLS.
PublikacjaPrzewiduje się, że technika MPLS będzie przyszłą platformą dla sieci szkieletowych z gwarancją jakości usług. Wymaga to opracowania szeregu metod umożliwiających efektywne zarządzanie zasobami sieci. Należy do nich kierowanie ruchem (ruting), który odpowiada za gospodarkę pasmem. W pracy przedstawiono założenia w oparciu o które wykonano program symulacyjny. Omówiono implementację pod kątem zastosowania w sieci MPLS i opisano...
-
Application of electrochemical noise technique in corrosion monitoring
PublikacjaTechnika szumu elektrochemicznego od ponad 20 lat stanowi przedmiot intensywnych badań mających na celu jej praktyczne zastosowanie w monitorowaniu korozji. U podstaw omawianej metody leży odpowiednia analiza rejestrowanych symultanicznie przebiegów prądowych i potencjałowych. W zależności od użytej techniki obróbki danych uzyskane mogą być informacje dotyczące ilościowych (szybkość) i jakościowych (rodzaj zaatakowania) cech procesu...
-
Assessment of fatigue damage of organic coatings subjected to cyclic mechanical stress
PublikacjaTechnika szumu elektrochemicznego od ponad 20 lat stanowi przedmiot intensywnych badań mających na celu jej praktyczne zastosowanie w monitorowaniu korozji. U podstaw omawianej metody leży odpowiednia analiza rejestrowanych symultanicznie przebiegów prądowych i potencjałowych. W zależności od użytej techniki obróbki danych uzyskane mogą być informacje dotyczące ilościowych (szybkość) i jakościowych (rodzaj zaatakowania) cech procesu...
-
Detection of stress corrosion cracking dynamics by dynamic electrochemical impedance spectroscopy.
PublikacjaKlasyczne badania korozji naprężeniowej nie dają precyzyjnych informacji o dynamice takiego procesu korozyjnego. Nowa technika dynamicznej elektrochemicznej spektroskopii impedanyjnej, która została opracowana w Katedrze Elektrochemii, Korozji i Inżynierii Materiałowej stwarza takie możliwości. Fakt ten związany z zastosowaną metodologią analizy umożliwiającą selektywną analizą czasowo-częstotliwościową danych pomiarowych.Praca...
-
The mixed EIS-EQCM method for investigation of electrodeposition and electrodissolution of copper in acidic solution
PublikacjaCelem pracy jest połączenie chronowoltimpedancjometrii i mikrograwimetrii dobadania procesu elektroosadzania i elektroredukcji miedzi w środowisku kwaśnym. Proces elektroosadzania i elektroredukcji miedzi w środowisku kwaśnym został wybrany jako przykład prostej reakcji elektrochemicznej, by sprawdzić wiarygodność metody. Przedstawiono nową, obiecującą technikę - EIS-EQCM - jako metodę badania procesów niestacjonarnych, przebiegających...
-
Projekt badawczy BRIK: Opracowanie innowacyjnej metody wyznaczania precyzyjnej trajektorii pojazdu szynowego
PublikacjaW artykule przedstawiono podstawowe informacje dotyczące projektu badawczego realizowanego na zlecenie Narodowego Centrum Badań i Rozwoju oraz Spółki PKP Polskie Linie Kolejowe S. A. przez Konsorcjum Politechniki Gdańskiej i Uniwersytetu Morskiego w Gdyni. Projekt obejmuje wykorzystanie nowoczesnych metod pomiarowych, takich jak techniki pozycjonowania satelitarnego GNSS, pomiary inercyjne INS oraz skaning laserowy LS, w procesie...
-
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...
-
Optyczna tomografia koherentna w badaniach technicznych obiektów rozpraszających
PublikacjaOptyczna tomografia koherentna (OCT) jest nieinwazyjną i bezkontaktową metodą badania wewnętrznej struktury materiałów i obiektów rozpraszających promieniowanie optyczne. Technika ta jest jedną z bardziej zaawansowanych metod pomiarowych należących do dziedziny NDT (ang. non-destructive testing) i NDE (ang. non-destructive evaluation). Umożliwia ona lokalizowanie oraz badanie defektów występujących wewnątrz badanego obiektu. W...
-
Technika sygnałów analogowych. - Tom 1,2
Publikacjaom I składa się z sześciu rozdziałów. W rozdziale 1 scharakteryzowano sygnały, elementy, układy i systemy analogowe. Poznanie właściwości elementów ma kluczowe znaczenie przy przewidywaniu właściwości zbudowanych z nich układów elektronicznych. Podobnie znajomość podstawowych praw rządzących rozkładami prądów i napięć ma zasadnicze znaczenie dla zrozumienia metod analizy układów elektronicznych. Rozdział 2 jest poświęcony liniowym...
-
Próby mechaniki pękania asymetrycznych złączy klejonych
PublikacjaPraca dotyczy badań asymetrycznych złączy klejonych. Technika połączeń adhezyjnych jest obecnie szeroko stosowana w transporcie, szczególnie lotniczym ale również w budownictwie czy medycynie. W większość zastosowań praktycznych za pomocą klejenia łączy się różne materiał, jednak dla tego typu złączy nie ma żadnych norm czy wytycznych przeprowadzania prób. W pracy zaproponowano trzy metody badania złączy asymetrycznych. Dodatkowo...
-
Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego
PublikacjaAnaliza drzew błędów jest dedukcyjną metodą analizy pozwalającą ustalić przyczyny wybranego zdarzenia niepożądanego. Posługuje się w tym celu koncepcją przyczyn bezpośrednich i logiki boolowskiej, a pozwala ustalić przyczyny podstawowe analizowanego zdarzenia. Technika ta wykorzystuje jednak w swoich modelach notację nieformalną, co może powodować niejednoznaczności i ograniczyć wartość analizy, szczególnie, jeśli pracuje nad nią...
-
Badania teoretyczne i doświadczalne rozkładu temperatur w hydrodynamicznym łożysku wzdłużnym
PublikacjaW referacie zaprezentowano przykładowe wyniki obliczeń uzyskane z wykorzystaniem rozwijanej w Politechnice Gdańskiej nowej metody oceny własności hydrodynamicznych łożysk wzdłużnych. Bazuje ona na wykorzystaniu techniki automatycznej wymiany informacji pomiędzy uwzględnianymi w analizach problemów obliczeń łożyskowych obszarami zadania tj. płynowym i strukturalnym, wykorzystując w tym celu dostępne programy obliczeniowe MES (technika...
-
A model-based approach to analysis of authentication protocols.
PublikacjaW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Analiza szumu elektrochemicznego z wykorzystaniem transformacji falkowej
PublikacjaTechnika szumu elektrochemicznego (EN) od lat wzbudza zainteresowanie badaczy jako cenne narzędzie do bezinwazyjnego monitorowania zjawisk korozyjnych. Znaczenie omawianej metody wzrosło w ostatnich latach w związku z rozwojem nowych algorytmów obliczeniowych jak również z wzrastającą ustawicznie jakością układów cyfrowej akwizycji danych. W pracy przedstawione zostało wykorzystanie jednej z nowoczesnych metod analizy sygnałów...
-
Zastosowanie techniki dozymetrii pasywnej do oceny jakości powietrza wewnętrznego. Application of passive sampling technique for assessment of indoor air quality
PublikacjaJakość powietrza wewnętrznego jest istotnym parametrem wpływającym na dobre samopoczucie i zdrowie człowieka. Kluczowego znaczenia nabiera więc jego nieustanna kontrola i oznaczanie zawartości zanieczyszczeń, które występują w nim na bardzo niskich poziomach stężeń. Do pomiarów jakości powietrza wewnętrznego często wykorzystywana jest (znana od ponad pół wieku) technika dozymetrii pasywnej. W literaturze nadal pojawiają się doniesienia...