Filtry
wszystkich: 2452
-
Katalog
- Publikacje 1811 wyników po odfiltrowaniu
- Czasopisma 17 wyników po odfiltrowaniu
- Konferencje 1 wyników po odfiltrowaniu
- Osoby 132 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 32 wyników po odfiltrowaniu
- Laboratoria 4 wyników po odfiltrowaniu
- Zespoły Badawcze 22 wyników po odfiltrowaniu
- Kursy Online 376 wyników po odfiltrowaniu
- Wydarzenia 15 wyników po odfiltrowaniu
- Dane Badawcze 41 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: MODELOWANIE FUNDAMENTÓW
-
Modalne grafy wiązań - podejście wykorzystujące metodę transmitancji układu o parametrach rozłożonych
PublikacjaCelem pracy jest zastosowanie metody transmitancji układu o parametrach rozłożonych do konstruowania modalnych grafów wiązań. Grafy takie wykorzystuje się w modelowaniu układów zawierających jednowymiarowe podukłady o parametrach rozłożonych. W wyniku zaproponowanego podejścia uzyskuje się dalsze zwiększenie dokładności otrzymywanych modeli.
-
Równania więzów pomiędzy układem wieloczłonowym i modelem złożonym z elementów skończonych
PublikacjaW pracy przedstawiono zagadnienia modelowania dynamiki układów wieloczłonowych. Zamodelowano oddziaływania pomiędzy odkształcalną belką i układem wieloczłonowym. W pracy skoncentrowano się na równaniach więzów. Rozważania ograniczono do analizy układów płaskich. Odkształcenia belki są małe. Układ ciągły, jakim jest odkształcana belka, zamodelowano korzystając z metody elementów skończonych. W przypadku układu wieloczłonowego, jego...
-
Sterowanie temperaturą w drukarce 3D
PublikacjaArtykuł dotyczy zagadnień związanych z drukarką 3D. Opracowano dwa rodzaje modeli matematycznych, które zweryfikowano w oparciu o dane pomiarowe. Następnie zaprojektowano i symulacyjnie przetestowano dwa algorytmy sterowania temperaturą w drukarce 3D.
-
Nieliniowy dynamiczny model instalacji katalitycznego odtleniania wody
PublikacjaInstalacja katalitycznego odtleniania wody służy do redukcji stężenia tlenu rozpuszczonego w wodzie zasilającej obieg ciepłowniczy. W artykule opisano przykładową instalację tego rodzaju. Analiza procesów w niej zachodzących pozwoliła zaproponować metodykę budowy i strukturę modelu. Ze względu na różne skale czasowe dynamiki procesów zachodzących w instalacji i jej poszczególnych elementach, zaproponowano model w części statyczny,...
-
Obciążenia długiego, wiotkiego pręta przenoszonego przez układ robotów
PublikacjaPraca prezentuje badania nad układami nad mobilnymi dynamicznie. Opisano współpracę układu dwóch robotów przenoszących wspólny, długi i wiotki ładunek. Za modelowane roboty to urządzenia pracujące autonomicznie (o niewielkich możliwościach wymiany informacji). Po uchwyceniu wspólnego ładunku, w układzie pojawiają się więzy. Pomimo pojawiających się powiązań mechanicznych, układy sterowania robotów pozostają niepowiązane. Powstały...
-
Model instalacji napowietrzającej dla celów sterowania - studium przypadku
PublikacjaBiologiczne oczyszczanie ścieków stanowi podstawową grupę procesów w oczyszczalni ścieków. Jednym z nich jest napowietrzanie ścieków realizowane z wykorzystaniem instalacji napowietrzającej. Powszechnie uważa się go za jeden z najważniejszych i najdroższych procesów w oczyszczalni ścieków. Model procesu jest potrzebny do szczegółowej jego analizy, zbadania możliwości modyfikacji istniejących lub zastosowania innych metod sterowania....
-
Analiza dokładności formuł do wyznaczania powierzchni ciała człowieka
PublikacjaPowierzchnia ciała człowieka (body surface area, BSA) jest wskaźnikiem o szerokim spektrum zastosowań w lecznictwie medycznym (m.in. w chemioterapii, transplantologii oraz toksykologii). Każdy z istniejących wzorów do wyznaczania wartości BSA charakteryzuje się pewnym (lepszym bądź gorszym) współczynnikiem zgodności pomiędzy wartością obliczoną, a wartością dokładną – uzyskaną na podstawie pomiaru skanerem 3D. Współczynnik ten...
-
Komputerowo wspomagana klasyfikacja wybranych sygnałów elektromiografii powierzchniowej
PublikacjaWykorzystywanie sygnałów elektromiografii powierzchniowej (ang. Surface Electromyography, SEMG) w procesach sterowania systemami rehabilitacyjnymi stanowi obecnie standardową procedurę. Popularność SEMG wynika z nieinwazyjności metody oraz możliwości szybkiej i precyzyjnej identyfikacji funkcji mięśniowej. W przypadku osób małoletnich proces klasyfikacji sygnałów jest utrudniony ze względu na mniejsze rozmiary i wyższą dynamikę...
-
Wpływ miejsca uderzenia w stalową barierę ochronną oraz uwarstwienia gruntu na wartość parametru ASI podczas testu TB11
PublikacjaBariery stalowe są najczęściej stosowanym rodzajem barier ochronnych. Ich podstawowym zadaniem jest zapobieganie zjechaniu pojazdu z drogi w miejscach szczególnie niebezpiecznych. Bariery stosowane na europejskich drogach muszą spełniać wymagania norm EN 1317. Jednym z najważniejszych parametrów pozwalających klasyfikować bariery ochronne pod kątem zapewnienia stopnia bezpieczeństwa w trakcie incydentu jest wskaźnik intensywności...
-
Niewspółmierność modalna wywołana dodaniem elementu inercyjno/sprężystego, zastosowana do eliminacji drgań niskiej częstotliwości
PublikacjaW pracy zaprezentowano zagadnienia eliminacji słabo tłumionych drgań przęseł mostów. Badania ograniczono do analizy numerycznej. Układ drgający zamodelowano korzystając z metody elementów skończonych. Następnie, zbudowano dwa alternatywne modele, różniące się obecnością elementu inercyjno-elastycznego. Jest nim dodatkowa przeciwmasa zwisająca za pylonem mostu, połączona elastycznie z drgającym elementem. Wyznaczono postaci i częstotliwości...
-
Dynamika układu wieloczłonowego podlegającego więzom opisującym punktowy kontakt pomiędzy układem i nieruchomą krzywką
PublikacjaPraca opisuje zagadnienia modelowania dynamiki układów wieloczłonowych ze skleronomicznymi więzami dwustronnymi. Modelowany układ ma strukturę zamkniętego wieloboku. Zamknięcie struktury wynika z obecności kontaktu pomiędzy układem wieloczłonowym i nieruchomą krzywką. W pracy skoncentrujemy się na równaniach więzów. Rozważania ograniczymy do analizy układów płaskich. Sformułowano ogólna postać równań więzów. Łączy ona równania...
-
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.
-
Analiza symulacyjna zmodyfikowanego modelu układu napędowego samochodu z silnikiem spalinowym
PublikacjaModelowanie pojazdów samochodowych jest istotne w działalności koncernów samochodowych, ponieważ pozwala na szybkie projektowanie, testowanie i wdrażanie nowych modeli pojazdów na bardzo konkurencyjnym rynku motoryzacyjnym. W artykule przedstawiono budowę układu napędowego samochodu osobowego marki Golf III. Następnie dokonano modyfikacji modelu matematycznego na podstawie fizyki poruszania się pojazdu, zaimplementowano go w środowisku...
-
Application of the distributed transfer function method and the rigid finite element method for modelling of 2-D and 3-D systems
PublikacjaIn the paper application of the Distributed Transfer Function Method and the Rigid Finite Element Method for modelling of 2-D and 3-D systems is presented. In this method an elastic body is divided into 1-D distributed parameter elements (strips or prisms). The whole body (divided into strips or prism) is described by a set of coupled partial differential equations. Solving this equations in the state space form it is possible...
-
Posadowienie stadionu piłkarskiego na EURO w Gdańsku-Letnicy
PublikacjaCharakterystka ogólna stadionu. Koncepcja projektowa i wykonawcza fundamentów. Opis konstrukcji i wykonawstwa fundamentów w postaci stóp ław i płyt fundamentowych
-
Bond-graphs based modelling of hybrid energy systems with permanent magnet brushless machines
PublikacjaW referacie przedstawiono metodę grafów wiązań (GW) w zastosowaniu do modelowania hybrydowych systemów energetycznych z bezszczotkowymi maszynami elektrycznymi o magnesach trwałych. W części pierwszej referatu omówiono ogólne formalizm GW. Następnie przedstawiono kolejno: ogólną strukturę modelu hybrydowego systemu energetycznego w ujęciu GW; założenia modelowania maszyn elektrycznych w ujęciu GW, model silnika bezszczotkowego...
-
Bond-graphs based modelling of hybrid energy systems with permanent magnet brushless machines
PublikacjaW referacie przedstawiono metodę grafów wiązań (GW) w zastosowaniu do modelowania hybrydowych systemów energetycznych z bezszczotkowymi maszynami elektrycznymi o magnesach trwałych. W części pierwszej referatu omówiono ogólne formalizm GW. Następnie przedstawiono kolejno: ogólną strukturę modelu hybrydowego systemu energetycznego w ujęciu GW; założenia modelowania maszyn elektrycznych w ujęciu GW, model silnika bezszczotkowego...
-
Model of identification of events and accident scenarios for a method of risk and safety assessment of ships in damaged conditions
PublikacjaW pracy opisano podstawowe problemy związane z identyfikacją zdarzeń i scenariuszy wypadku oraz modelowaniem ryzyka dla alternatywnej metody oceny bezpieczeństwa statków w stanie uszkodzonym. Zastosowano podejście do bezpieczeństwa statków oparte na ocenie zachowania się statku i ocenie ryzyka wypadku. Wskazano możliwości zastosowania modelowania do analizy bezpieczeństwa statków na etapie projektowania, w czasie eksploatacji i...
-
Glucosamine-6-phosphate synthase,a novel target for antifungalagents.Molecular modelling studies in drug design
PublikacjaPraca dotyczy modelowania zarówno samych inhibitorów syntazy glukozamino-6-fosforanu jak i ich oddziaływania z obydwiema domenami tego enzymu. Enzym syntaza glukozamino-6-fosforanu został zaproponowany jako nowy cel molekularny w chemoterapii infekcji grzybowych. Zaprojektowano i zsyntezowano szereg inhibitorów tego enzymu - potencjalnych nowych leków przeciwgrzybowych. Dzięki modelowaniu molekularnemu udało się wyjaśnić mechanizm...
-
Reduction of vibration level by the spindle speed optimisation during ball end milling of flexible details
PublikacjaPraca dotyczy nadzorowania drgań podczas skrawania przedmiotów podatnych frezem kulistym. Przedsatwiono wspomaganą komputerowo procedurę nadzorowania z optymalizacją prędkości obrotowej narzędzia. Przy modelowaniu wykorzystano niestacjonarny model obliczeniowy. Rezultatem modelowania jest układ hybrydowy, w którym oddzielono podukłady: modalny, łączący i strukturalny. Metoda wymaga identyfikacji częstości własnych co może być wykonane...
-
Modelowanie ryzyka w ruchu drogowym szeregami czasowymi.**2003, 142 s. 48rys. bibliogr. 99 poz. maszyn. Rozprawa doktorska /17.12.2003/. P. Gdań., Wydz. Inż. Ląd. Promotor: prof. dr. hab. inż. Ryszard Krystek.
PublikacjaW pracy przedstawiono metodę modelowania wielkości ryzyka w ruchu drogowym z wykorzystaniem teorii szeregów czasowych, umożliwiającą wykrywanie i interpretację zmian poziomu bezpieczeństwa ruchu drogowego oraz wnioskowanie o przyszłych tendencjach tych zmian. Na jej podstawie zbudowano modele, dzięki którym możliwe było określenie związku pomiędzy poziomem bezpieczeństwa ruchu drogowego w Polsce, mierzonym liczbą śmiertelnych ofiar...
-
Rewiev of historical buildings's foundations
PublikacjaW pracy omówiono sposoby posadowienia obiektów zabytkowych, ze szczególnym uwzględnieniem rodzajów stosowanych w poszczególnych epokach historycznych fundamentów, rozwoju technik fundamentowania oraz problemów związanych z zabezpieczaniem starych fundamentów. Przedstawiono różne rodzaje fundamentów oraz metody ich zabezpieczeń zwracając uwagę na ich wady i zalety. Zagadnienie zilustrowano szeregiem przykładów.
-
Tragfähigkeit von Einzelfundamenten im bewehrten Baugrund - Vorschlag einer Berechnungsmethode
PublikacjaW artykule dokonano analizy zagadnienia nośności wyciąganych fundamentów stopowych z gruntu zbrojonego prowadzona w ramach pracy badawczej [1]. Krytyczna syntezę stosowanych metod obliczeniowych nośności fundamentów wyciąganych oraz własne badania modelowe [2] w przestrzennym układzie odkształcenia doprowadziły do zaproponowania własnej metody liczenia nośności fundamentów stopowych wyciąganych z gruntu zbrojonego.
-
Funcional safety concept for hazardous systems and new challenges
PublikacjaPrzedstawia się wybrane zagadnienia bezpieczeństwa funkcjonalnego według norm międzynarodowych IEC 61508 i IEC 61511. Opisuje się proces wyznaczanie poziomu nienaruszalności bezpieczeństwa (SIL) systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Podkreśla się znaczenie modelowania probabilistycznego tych systemów i weryfikowania SIL. Omawia się nowe aspekty analizy bezpieczeństwa funkcjonalnego...
-
Jan Kozicki dr hab. inż. arch.
OsobyW roku 2002 po uzyskaniu dyplomu magistra inżyniera w zakresie konstrukcji budowlanych podjął pracę na Wydziale Inżynierii Lądowej i Środowiska PG. W 2004 roku uzyskał dyplom magistra architekta na Wydziale Architektury za projekt stacji badawczej na Marsie. Doktorat obronił w 2007 roku w zakresie modelowania numerycznego w dynamice klasycznej. W 2013 roku uzyskał licencjat z zakresu fizyki teoretycznej na Uniwersytecie Gdańskim....
-
Accidental wow evaluation based on sinusoidal modeling and neural nets prediction
PublikacjaReferat przedstawia opis algorytmu do określenia charakterystyki zniekształcenia kołysania dźwięku. Prezentowane podejście wykorzystuje sinusoidalną analizę dźwięku bazującą zarówno na amplitudowym jak i fazowym widmie sygnału fonicznego. Trajektorie poszczególnych składowych tonalnych, obrazujące zniekształcenie kołysania, określane są na podstawie analizy ich chwilowych amplitud, częstotliwości i faz. Dodatkowo referat przedstawia...
-
What is important for you makes you think about the pandemic differently: moral foundations, pandemic-related fears and convictions (Lo que cada uno consideramos importante nos hace reflexionar sobre la pandemia de forma distinta: fundamentos morales, temores y convicciones sobre la pandemia)
PublikacjaBuilding on the Moral Foundations Theory and findings regarding the linkage of values, convictions and beliefs, the aim of the study was to compare people displaying various constellations of moral foundations regarding their tolerance of ambiguity, fear of COVID-19 (FCV), endorsement of COVID-19 conspiracy theories and the extent to which they believed in the effectiveness of five COVID-19 preventive measures. This study was...
-
Modelowanie właściwości termicznych tkanek żywych dla potrzeb termografii dynamicznej.**2003, 134 s. 115 rys. 40 tab. bibliogr. 138 poz. maszyn. Rozprawa doktorska /14.10.2003./ Wydz. ETI Promotor: prof. dr hab. inż. A. Nowakowski
PublikacjaCelem rozprawy jest opracowanie nowych metod diagnostyki obrazowej, nieinwa-zyjnej w wybranych aplikacjach medycznych, takich jak: diagnostyka i klasy-fikacja oparzeń, kardiochirurgia, diagnostyka nowotworów piersi. Metoda ba-zuje na analizie stanów przejściowych rozkładu temperatury na powierzchnitkanki po zadziałaniu zewnętrznego źródła pobudzenia termicznego. Estymowaneparametry zastępczego modelu termicznego są skorelowane...
-
Modelling of wave propagation in composite plates using the time domain spectral element method
PublikacjaW pracy przedstawiono wyniki obliczeń propagacji fali sprężystej w płycie kompozytowej modelowanej z wykorzystaniem czasowego sformułowania metody elementów spektralnych
-
FE-modeling of shear resistance degradation in granular materials during cyclic shearing under CNS condition
PublikacjaW artykule przedstawiono wyniki numerycznej analizy degradacji wytrzymałości na ścinanie w materiałach granulowanych podczas cyklicznego ścinania z warunkiem stałej sztywności normalnej. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego modelu hipoplastycznego.
-
Modelling of strain localization in quasi-brittle materials with coupled elasto-plastic-damage model
PublikacjaW artykule przedstawiono wyniki numerycznej dla zginania belki betonowej przy zastosowaniu połączonego modelu sprężysto-plastycznego z degradacja sztywności. Do opisu rys, model rozszerzono o nielokalność.
-
Piotr Figura dr inż.
OsobyPiotr Figura jest pracownikiem Katedry Finansów na Wydziale Zarządzania i Ekonomii Politechniki Gdańskiej, a także członkiem Komisji Wydziałowej ds. Weryfikacji Efektów Uczenia się oraz recenzentem akademickim zadań z zakresu rachunkowości Centralnej Komisji Edukacyjnej. Jest autorem lub współautorem kilku monografii naukowych w tym: Wartości wzorcowe wskaźników finansowych przedsiębiorstw giełdowych; Classical and modern concepts...
-
Rafał Ossowski dr inż.
OsobyRafał Ossowski (ur. 8.06.1973 r. w Chojnicach) – specjalista z mechaniki gruntów i geotechniki, głównie w zakresie modelowania numerycznego, oraz badań gruntów antropogenicznych. Autor i współautor publikacji dot. modelowania numerycznego w zagadnieniach mechaniki gruntów, badań podłoża gruntowego, zastosowań gruntów antropogenicznych w kontekście tzw. „zielonej geotechniki”. W latach 1992–1997 odbył studia na Wydziale Hydrotechniki...
-
Jarosław Górski prof. dr hab. inż.
Osoby -
Mariusz Figurski prof. dr hab. inż.
OsobyDyrektor Centrum Modelowania Meteorologicznego Instytut Meteorologii i Gospodarki Wodnej - Państwowy Instytut Badawczy. Urodził się 27 kwietnia 1964 roku w Łasinie. Egzamin maturalny złożył w 1983 roku po ukończeniu II Liceum Ogólnokształcącego im. Jana III Sobieskiego w Grudziądzu, Studia wyższe w trybie indywidualnym ukończył w 1989 (10.07.1989) na Wydziałach Elektromechanicznym i Inżynierii Lądowej i Geodezji Wojskowej Akademii...
-
Fundamenty Specjalne - 2022
Kursy OnlineFundamenty Specjalne - wykłady, projektowanie
-
Fundamenty Specjalne - 2023
Kursy OnlineFundamenty Specjalne - wykłady, projektowanie
-
Fundamenty Specjalne - 2024
Kursy OnlineFundamenty Specjalne - wykłady, projektowanie
-
Michał Szydłowski dr hab. inż.
Osoby -
Współpraca naukowa Katedr Geotechniki Politechniki Śląskiej i Politechniki Gdańskiej w zakresie terenowych i laboratoryjnych badań gruntów
PublikacjaScharakteryzowano zakres i metodykę terenowych i laboratoryjnych badań parametrów geotechnicznych gruntów niespoistych. Przedstawiono zależności empiryczne między tymi parametrami oraz możliwości wykorzystania tych zależności przy obliczaniu nośności fundamentów bezpośrednich i fundamentów na palach.
-
Wykorzystanie platform roboczych w konstrukcjach trwałych na przykładzie podbudowy pod zbiorniki na olej napędowy
PublikacjaPlatformy robocze są to konstrukcje tymczasowe, które umożliwiają wjazd i pracę ciężkiego sprzętu budowlanego na słabym podłożu. Mogą również pełnić w późniejszym czasie funkcję trwałej podbudowy. W niniejszym artykule opisano przypadek platformy roboczej wykorzystanej przy wykonywaniu kolumn żwirowych KSS pod fundament pierścieniowy zbiorników na olej napędowy. Platforma robocza została wcielona w konstrukcję trwałą jako podbudowa...
-
Wykorzystanie platform roboczych w konstrukcjach trwałych na przykładzie podbudowy pod zbiorniki na olej napędowy
PublikacjaPlatformy robocze są to konstrukcje tymczasowe, które umożliwiają wjazd i pracę ciężkiego sprzętu budowlanego na słabym podłożu. Mogą również pełnić w późniejszym czasie funkcję trwałej podbudowy. W niniejszym artykule opisano przypadek platformy roboczej wykorzystanej przy wykonywaniu kolumn żwirowych KSS pod fundament pierścieniowy zbiorników na olej napędowy. Platforma robocza została wcielona w konstrukcję trwałą jako podbudowa...
-
Approaches to experiment based friction modeling: polynomial approximation versus ann approximation
PublikacjaBadano warunki (poziom wymuszeń), przy których następowało wzbudzenie drgań mechanicznych przy tarciu ślizgowym konforemnego skojarzenia próbek wykonanych z Al2O3 (płaskie czoło tulei obracającej się względem swojej osi - powierzchnia płaska). Uzyskane dane eksperymentalne wykorzystano następnie do zbudowania modeli - stosując aproksymację wielomianami albo sztuczną siecią neuronową (ANN).
-
On a method of modelling and simulation of vibration surveillance during ball end milling of flexible details
PublikacjaPraca dotyczy nadzorowania drgań podczas frezowania przedmiotów podatnych smukłym frezem kulistym, z uwzględnieniem zgodności parametrów modelu modalnego. Przeprowadzono analizę dynamiki procesu frezowania. Następnie przedstawiono analizę niestacjonarnego układu drgającego, w którym wyodrębniono podukłady: modalny, strukturalny i łączący. Do minimalizacji poziomu drgań zastosowano dopasowanie prędkości obrotowej wrzeciona do optymalnego...
-
On a method of modelling and simulation of vibration surveillance during ball end milling of flexible details
PublikacjaPraca dotyczy nadzorowania drgań podczas frezowania przedmiotów podatnych smukłym frezem kulistym, z uwzględnieniem zgodności parametrów modelu modalnego. Przeprowadzono analizę dynamiki procesu frezowania. Następnie przedstawiono analizę niestacjonarnego układu drgającego, w którym wyodrębniono podukłady: modalny, strukturalny i łączący. Do minimalizacji poziomu drgań zastosowano dopasowanie prędkości obrotowej wrzeciona do optymalnego...
-
Interaction of amphotericin B and its selected derivatives with membranes: molecular modeling studies
PublikacjaJest to praca przeglądowa obejmująca krytyczną analizę danych dotyczących oddziaływania amfoterycyny B (AmB) i jej wybranych, mniej toksycznych pochodnych, z błonami lipidowymi. Amfoterycyna B jest antybiotykiem przeciwgrzybowym ale ze względu na jej toksyczność trwają prace nad modyfikacjami chemicznymi tego związku. Celem molekularnym dla tego antybiotyku jest błona lipidowa i dlatego różnicowe powinowactwo AmB i jej pochodnych...
-
Aleksandra Romanowska dr inż.
OsobyPracownik Katedry Inżynierii Drogowej i Transportowej na Wydziale Inżynierii Lądowej i Środowiska Politechniki Gdańskiej. Realizuje prace badawcze z zakresu modelowania ruchu drogowego, bezpieczeństwa ruchu drogowego, funkcjonowania dużych generatorów ruchu w strukturze miast, zachowań i preferencji transportowych społeczności akademickich, planowania zrównoważonej mobilności miejskiej. W 2019 roku uzyskała stopień doktora nauk...
-
Bearing capacity factors of sand assessed by model tests
PublikacjaPrzedstawiono wyniki własnych badań modelowych fundamentów bezpośrednich posadowionych na trzech rodzajach piasków, wykonane w warunkach płaskiego stanu odkształcenia. Przeanalizowano wpływ tarcia gruntu o ściany boczne stanowiska badawczego, wpływ efektu skali oraz powtarzalności wyników na nośność badanych fundamentów bezpośrednich. Zastosowano specjalną własną metodykę wykonywania badań modelowych eliminującą wymieniony wpływ...
-
Adolfo Poma
OsobyDr. Adolfo Poma (see my biosketch) is the group leader of the Multiscale Modelling of Complex Systems divison. In 2008, he got a MSc. degree in computational physics from the State University of Campinas (Brazil). Then he moved to Germany and under the supervision of Prof. Kurt Kremer (head of the polymer theory group, Max Planck Institute for Polymer Research) and Prof. Luigi Delle Site (Frei University of Berlin) got a PhD degree...
-
A model-based approach to analysis of security protocols - a case study
PublikacjaArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...