2004 - Publications Repository - Gdańsk University of Technology

Show publications from the year

Publications from the year 2004

Show all

A model-based approach to analysis of authentication protocols.
- Janusz Górski
- Marcin Olszewski
- Marcin (009) Olszewski
2004
W 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ń bezpieczeństwa. Modele obiektowe tworzone są w ramach OF-APSAF przy użyciu języka Unified Modelling Language (UML) i katalogu wzorców analitycznych. Użycie technik modelowania obiektowego jest próbą okiełznania praktycznych problemów, jakie napotyka się przy próbach formalizacji złożonych protokołów kryptograficznych.
A multi-level risk-based method for safety assessment of ships in critical conditions.
- Mirosław Gerigk
2004
W pracy przedstawiono podstawowe informacje na temat badań dla bezpieczeństwa statków w warunkach krytycznych. Opisano nowoczesne podejście do oceny bezpieczeństwa statków. Przedstawiono podstawowe elementy metody oceny bezpieczenstwa statków w warunkach krytycznych oraz elementy modelu obliczeniowego. Przedstawiono także elementy metody bezpośredniej oceny stateczności i stateczności awaryjnej statków. Podano kilka przykładów obliczeniowych oraz wnioski praktyczne.
A multirate approach to DDS algorithm versus Taylor-series expansion technique.
- Ewa Hermanowicz
- Mirosław Rojewski
2004
Pokazano, że cyfrowy generator syntezy bezpośredniej (DDS) można traktować jako algorytm wieloszybkościowy. Rozważono i porównano dwa sposoby wykorzystania pamięci. W pierwszym z nich zastosowano filtr ułamkowo-opóźniający o strukturze Farrowa. Drugie podejście oparto na rotacji fazy na podstawie rozwinięcia w szereg Taylora. Eksperymenty pokazują, że za pomocą obu tych sposobów, dla sinusoidy zespolonej generowanej w kwadraturowym DDS, można uzyskać zakres dynamiczny wolny od prążków obcych większy od 80 decybeli. Ponadto okazało się, że zastosowany tu algorytm struktury "Flash Farrow" charakteryzuje się dwukrotnie mniejszą złożonością numeryczną, wyrażoną liczbą mnożeń na próbkę, niż algorytm rotatora tego samego rzędu (N=2) oparty na rozwinięciu sinusoidy zespolonej w szereg Taylora.
A new approach to the prosthetic finger design
- Grzegorz Rożnowski
- Marek Drzewiecki
2004
W pracy zaprezentowano nowy sposób projektowania protez ręki przy użyciu aplikacji CAD. Uzyskano projekt palca wskazującego, w którym zaproponowano napęd poszczególnych członów w oparciu o stopy z pamięcią kształtu.
A new synthetic entry to phosphinophosphinidene complexes. Synthesis and structural characterisation of the first side-on bonded and the first terminally bonded phosphinophosphinidene zirconium complexes[mu-(1,2:2-eta-tBu2PLP){Zr(Cl)Cp2}2] and [{Zr(PPhMe2)Cp2}(eta^1^-P-P-tBu2)].
- Jerzy Pikies
- Elke Baum
- Eberhard Matern
- Jarosław Chojnacki
- Rafał Grubba
- Andrzej Robaszkiewicz
2004
Podano nową metodę syntezy kompleksów fosfinofosfinidenowych polegającą na reakcji dichlorku cyrkonocenu z solą litową difosfanu t-Bu2P-P(SiMe3)Li. Otrzymano pierwsze kompleksy fosfanofosfinidenowe cyrkonu z ligandem związanym w sposób boczny i ligandem związanym terminalnie.
A new time-frequency detection method of stray current field interferenceon metal structures.
- Kazimierz Darowicki
- Krzysztof Żakowski
2004 Full text CORROSION SCIENCE
A new detection method has been presented of stray current field interference on underground metal structures. The method employs short time Fourier transformation (STFT). This method of analysis allows determination of signal spectral power density changes (e.g., structure potential) in the function of time. In the paper results have been presented of total time–frequency analysis of a pipeline potential in a stray current field generated by a tram traction. The presented results have unequivocally shown that the described method allows accurate identification of the stray current source and determination if it interacts with the underground metal structure.
A novel approach to bottom scattering using a narrow acoustic beam.
- Adam Zieliński
- Jarosław Tęgowski
- Zbigniew Łubniewski
- Jerzy Demkowicz
2004
Przedstawiono model opisujący w prosty sposób rozpraszanie sygnału akustycznego na dnie morskim jako filtr liniowy z odpowiedzią impulsową o zmieniającej się w czasie chwilowej dominującej częstotliwości. Przedyskutowano pasujący do tego modelu przypadek zbioru punktowych rozpraszaczy równomiernie rozmieszczonych na powierzchni dna, w tym wpływ takich parametrów jak głębokość oraz odległość pomiędzy rozpraszaczami.
A possibility of vibration surveillance of the hybrid systems by the optimal control at energy performance index.
- Krzysztof Jan Kaliński
2004
Praca poświęcona jest nadzorowaniu drgań niestacjonarnych układów mechanicznych modelowanych metodą elementów skończonych. W celu redukcji poziomu drgań wprowadzono zewnętrzne sygnały sterujące. Zdefiniowano uzmienniony w czasie energetyczny wskaźnik jakości. Uwzględnienie założenia o możliwości podziału układu na podukład modalny, podukład strukturalny oraz podukład łączący umożliwiło opis układu sterowanego we współrzędnych hybrydowych. Dzięki takiemu podejściu wyznaczono w trybie on-line optymalny sygnał sterujący, a następnie - przeprowadzono symulację sterowania w układzie niestacjonarnym. Rozważania zilustrowano przykładem nadzorowania drgań pomostów wagi kolejowej podczas przejazdu wagonów.
A prediction of the fault-induced instability of circuit under test as a new approach in categorisation of faults.
- Wojciech Toczek
2004
W artykule przedstawiono nowy sposób kategoryzacji uszkodzeń w analogowych układach elektronicznych. Zaproponowano kryterium oparte na predykcji niestabilności indukowanej przez uszkodzenie w testowanym układzie. Przyjeto, że granicą pomiędzy uszkodzeniem miękkim i katastroficznym jest najmniejsza odchyłka parametru elementu, która sprowadza układ testowany do granicy stabilności. Wzrost wartości odchyłki poza wyznaczony margines powoduje niestabilność układu uniemożliwiającą jego poprawne funkcjonowanie, co oznacza, że uszkodzenie miękkie przechodzi w uszkodzenie katastroficzne. Przykładową kategoryzację uszkodzeń przeprowadzono dla filtru pasmowoprzepustowego 6. rzędu, z wielopętlowym sprzężeniem zwrotnym typu leapfrog. Do modelowania układu testowanego, zaburzonego przez uszkodzenie, zastosowano liniową transformację frakcyjną (LFT). Model układu, zrealizowany w środowisku Simulink, poddano analizie metodą strukturalnych wartości szczególnych (SSV), w wyniku której otrzymano wartości odchyłek parametrów uszkodzonych elementów od wartości nominalnych, równe marginesom stabilności. Poprawnośc wyników zweryfikowano metodą linii pierwiastkowych.
A probabilistic model of envirinmental safety of ship power plant.
- Roman Liberacki
2004
Przedstawiono probabilistyczne podejście do oceny bezpieczeństwa środowiskowego siłowni statku. Wyznaczono miarę ryzyka oraz kryterium ryzyka środowiskowego siłowni statku.
A probe for immittance spectroscopy based on the parallel electrode technique.
- Jerzy Wtorek
- Adam Bujnowski
- Artur Poliński
- Lech Józefiak
- Bart Truyen
2004
W pracy zaprezentowano konstrukcję sondy do spektroskopowych pomiarów immitancyjnych. Obliczono jej stałą, którą to wartość zweryfikowano eksperymentalnie. Pokazano przykładowe wyniki pomiarów in vivo.
A review of theoretical and practical aspects of solid-phase microextraction in food analysis.
- Waldemar Wardencki
- Magdalena Michulec
- Janusz Curyło
2004
SPME (mikroekstrakcja do fazy stacjonarnej) to szybka, nowoczesna technika przygotowania próbki do analizy. W niniejszej pracy dokonano przeglądu zastosowania techniki SPME do badania zanieczyszczeń żywności i analizy jej naturalnych składników. Praca zawiera również krótki teoretyczny opis zasad działania techniki SPME.
A short pictorial history of orthodox and unorthodox hydrodynamic marine propulsors.
- Jan Szantyr
2004
Referat przedstawia historię rozwoju wybranych hydrodynamicznych pędników okrętowych, poczynając od czasów prehistorycznych. Prekursorem pędników jest ludzka dłoń - prymitywny ale skuteczny płat nośny. Koncepcja płata nośnego używanego w różnych konfiguracjach jest podstawą działania niemal wszystkich pędników okrętowych. W referacie opisano szczegółowo koła łopatkowe, będące w zasadzie zwielokrotnionymi wiosłami, pędniki cykloidalne o osi pionowej, pędniki typu ''ogon wieloryba'' o osi poziomej poprzecznej, pędniki wielołopatkowe o osi poziomej podłużnej oraz śruby częściowo zanurzone, które w pewnym sensie powracają do koncepcji ludzkiej dłoni. Podsumowanie artykułu podkreśla walory bogactwa w różnorodności dostępnych rodzajów pędników okrętowych.
A simple finite difference approach using unstructured meshes from FEM mesh generators.
- Łukasz Kulas
- Anibal Fernandez
2004
Prezentujemy metodologię używania dwuwymiarowych różnic skończonych wykorzystujących siatki trójkątne z metody FEM. Określiliśmy wyrażenia opisujące pierwsząi drugą pochodną w oparciu o wartości pól w saśiednich punktach. Metodę przetestowaliśmy na strukturze rezonatora z prostokątnym rdzeniem dielektrycznym.
A study of electron impact excitation of molecular oxygen at a scattering angle of 180 st.
- Ireneusz Linert
- George C. King
- Mariusz Zubek
2004
Zbadano wzbudzenie tlenu cząsteczkowego w zderzeniu z elektronem dla rozproszenia do tyłu, pod kątem 180 st. Do pomiarów wykorzystano nowe źródło lokalnego pola magnetycznego o geometrii stożkowej.
A surveillance of dynamic state of the slender end milling process.
- Krzysztof Jan Kaliński
2004
Praca poświącona jest nadzorowaniu drgań wirujących narzędzi w nowoczesnych frezarkach. Polega ono na zastosowaniu sterowania programowego w układach niestacjonarnych. Podejście dotyczy zamkniętego układu obrabiarki, w przypadku którego istotną rolę odgrywają drgania samowzbudne typu chatter. Stąd, sygnałem sterującym jest chwilowa zmiana prędkości obrotowej wrzeciona. Przedmiotem rozważań jest proces frezowania czołowego smukłym frezem trzpieniowym. Jako obiekt badań przyjęto pionowe centrum frezarskie. Skrawanie smukłymi narzędziami obserwuje się często we współczesnych centrach obróbkowych. Przedstawiono wyniki symulacji komputerowych oraz badań doświadczalnych. Dotyczą one różnych programów zmian prędkości obrotowej wrzeciona. Wszystkie przypadki wykazały uzasadnienie praktyczne proponowanej metody, ponieważ istnieje możliwość realizacji programu zmiennej prękości, zaś drgania chatter uległy wydatnej redukcji.
A system for multitask noisy speech enhancement.
- Andrzej Czyżewski
- Andrzej Kaczmarek
- Józef Kotus
- Arkadiusz Pawlik
- Andrzej Rypulak
- Paweł Żwan
2004
W artykule przedstawiono ogolną charakterystyke opracowanego systemu rejestracji i rekonstrukcji mowy. Artykuł zawiera opis składników systemu, ktory jest oprogramowaniem zawierającym zaawansowane narzędzia służące poprawie zrozumiałości mowy. Zaimplementowane narzędzia systemu umożliwiają wyszukiwanie nagrań dźwiękowych i ich obróbkę przy pomocy zaimplementowanych pluginów. W artykule przedstawione wykorzystane w systemie algorytmy poprawy zrozumiałości mowy w szumie wraz z oceną ich skuteczności.
A systematic approach to selenium speciation in selenized yeast.
- Aleksandra Połatajko
- Magdalena Śliwka-Kaszyńska
- Michaly Dernovics
- Rafał Ruzik
- Encinar Jorge Ruiz
- Joanna Szpunar
2004
Przedstawiono nowe zaawansowane metody specjacji selenu w drożdżach spożywczych. Zoptymizowano procedury analityczne dotyczące frakcjonowania i identyfikacji rozpuszczalnych w wodzie selenoprotein.
A theoretical consideration of a free convective boundary layer on an isothermal horizontal conic.
- Sergey Leble
- Witold Lewandowski
2004
Przedstawiono rozwiązanie analityczne naturalnej konwekcji swobodnej od izotermicznego, poziomego stożka o kącie przy podstawie alfa. Rozwiązanie przeprowadzono w oparciu o typowe dla konwekcji swobodnej założenia upraszczające. Rozwiązania dla przypadków granicznych (poziomy walec i pionowa płyta kołowa) wykazują dobrą zgodność z danymi literaturowymi.
A time-frequency method for detection of electromagnetic field interference on metal constructions.
- Krzysztof Żakowski
2004
Przedstawiono metodę detekcji oddziaływania pola elektromagnetycznego na metalowe konstrukcje podziemne. Polega ona na czasowo-częstotliwościowej analizie rejestrów zmian potencjału źródła pola (np. prądów błądzących) oraz potencjału konstrukcji podziemnej, z wykorzystaniem krótkoczasowej transformaty Fouriera STFT. Wnioski o oddziaływaniu pola na konstrukcję metalową wyciąga się na podstawie analizy uzyskanych widm.