Filters
total: 2825
-
Catalog
- Publications 2393 available results
- Journals 4 available results
- People 102 available results
- Inventions 16 available results
- Projects 18 available results
- Laboratories 5 available results
- Research Teams 10 available results
- Research Equipment 1 available results
- e-Learning Courses 196 available results
- Events 10 available results
- Open Research Data 70 available results
displaying 1000 best results Help
Search results for: lokalizacja obiektow
-
Projektowanie obiektów oceanotechnicznych
e-Learning Courses -
Projektowanie obiektów oceanoechnicznych
e-Learning Courses -
Planning of the seaports critical infrastructure protection in the light of the ISPS Code requirements
PublicationPorty morskie mają bardzo istotny udział w międzynarodowych morsko-lądowych łańcuchach transportowych oraz duży wpływ na efektywność handlu zagranicznego. Ponieważ również silnie oddziałują na regionalną gospodarkę i społeczeństwo, mogą być miejscem szczególnie narażonym na różnego rodzaju zagrożenia ich bezpieczeństwa. Dlatego też powinny być szczególnie chronione jako obiekty infrastruktury krytycznej państwa. Ochrona portów...
-
Przegląd techniczny konstrukcji stalowej obiektu handlowo - magazynowego - Hala nr 3 w Pomorskim Hurtowym Centrum Rolno - Spożywczym S.A. w Gdańsku
PublicationOcena stanu technicznego i poprawności wykonania konstrukcji stalowej obiektu halowego o powierzchni 10000 m2 z projektem wykonawczym skierowanym do realizacji. Ocena połączeń śrubowych: zakładkowych i doczołowych, połączeń spawanych, elementów prefabrykowanych, ocena dokładności montażu elementów składowych obiektu halowego. Identyfikacja wad i niezgodności w zakresie wykonania konstrukcji stalowej obiektu.
-
Przegląd techniczny konstrukcji stalowej obiektu handlowo - magazynowego - Hala nr 2 w Pomorskim Hurtowym Centrum Rolno - Spożywczym S.A. w Gdańsku
PublicationOcena stanu technicznego i poprawności wykonania konstrukcji stalowej obiektu halowego o powierzchni 10000 m2 z projektem wykonawczym skierowanym do realizacji. Ocena połączeń śrubowych: zakładkowych i doczołowych, połączeń spawanych, elementów prefabrykowanych, ocena dokładności montażu elementów składowych obiektu halowego. Identyfikacja wad i niezgodności w zakresie wykonania konstrukcji stalowej obiektu.
-
Opinia naukowo-techniczna Analiza posadowienia obiektu MA‐09 w związku ze zmianą fundamentowania z pali wielkośrednicowych na pale prefabrykowane
PublicationPrzeanalizowano projekt zamienny posadowienia na palach prefabrykowanych obiektu mostowego MA-09 przez Wisłę wzdłuż drogi S7 w Kiezmarku. Na podstawie przeprowadzonych analiz stwierdzono, że zaproponowane zamienne rozwiązanie posadowienia podpór mostu jest możliwe do zastosowania i zapewni bezpieczeństwo posadowienia obiektu.
-
Analiza pola magnetycznego wewnątrz i na zewnątrz cienkościennego obiektu ferromagnetycznego = An analisis of magnetic field inside and outside thin-walled ferromagnetic object
PublicationAnomalia wnoszona przez obiekt ferromagnetyczny znajdujący się w ziemskim polu magnetycznym związana jest z jego namagnesowaniem stałym i indukowanym.W pracy przedstawiono wyniki badań symulacyjnych dotyczące rozkładu indukowanego pola magnetycznego wewnątrz i na zewnątrz obiektu ferromagnetycznego odpowiadającemu kadłubowi okrętu. Analizę numeryczną przeprowadzono w pakiecie OPERA 3d.
-
ZASTOSOWANIE OPROGRAMOWANIA ERP Z ZAKRESU „PLANT MAINTENANCE” NA PRZYKŁADZIE SAP PM JAKO NARZĘDZIA DLA SŁUŻB UTRZYMANIA RUCHU OBIEKTU OFFSHORE
PublicationW artykule poruszono kwestię planowania zasobów przedsiębiorstwa z wykorzystaniem oprogramowania ERP. Efektywne planowanie zarządzania całością zasobów przedsiębiorstwa polega głównie na: - zapewnieniu wysokiej jakości produktów, - maksymalizacji ekonomicznego okresu użytkowania parku maszynowego, -maksymalizacji zdolności produkcyjnych, - minimalizacji kosztów utrzymania sprzętu w sprawności operacyjnej, - zapewnieniu bezpiecznych...
-
Dariusz Kowalski dr inż.
People -
Zastosowanie sztucznych sieci neuronowych w sterowaniu robotem do prac pod-wodnych. Visnik Nacional´ Univ. L´viv**2002 nr 467 s. 19-24, 6 rys. bib- liogr. 5 poz. Wisnik Nacionalnogo Uniwiersitetu Lwiwska Politechnika
PublicationPrzedstawiono zagadnienie lokalizacji i sterowania podwodnego robota przeznaczonego do zadań przy kadłubie statku, zwłaszcza do czyszczenia z rdzy i biologicznych porostów. Zbadano możliwość zastosowania sztucznych sieci neuronowych do sterowania podwodną głowicą roboczą. W wyniku przeprowadzonej analizy został zaproponowany układ sterowania adaptacyjnego przy założeniu, że znane są wszystkie parametry rozpatrywanego obiektu...
-
Problemy termomodernizacji tradycyjnego ceglanego budynku mieszkalnego na Kaszubach.
PublicationTematem opracowania jest utrata walorów architektonicznych i krajobrazowych tradycyjnej wsi kaszubskiej na skutek przeprowadzanej termomodernizacji. W pracy opisano stan zachowania tradycyjnej, ceglanej zabudowy mieszkaniowej, przedstawiono ocenę wpływu termomodernizacji na stan zachowania dziedzictwa architektonicznego i krajobrazu wsi kaszubskiej oraz opisano stosowane metody termomodernizacji. Analizę przeprowadzono na podstawie...
-
Problemy termomodernizacji tradycyjnego ceglanego budynku mieszkalnego na Kaszubach.
PublicationTematem opracowania jest utrata walorów architektonicznych i krajobrazowych tradycyjnej wsi kaszubskiej na skutek przeprowadzanej termomodernizacji. W pracy opisano stan zachowania tradycyjnej, ceglanej zabudowy mieszkaniowej, przedstawiono ocenę wpływu termomodernizacji na stan zachowania dziedzictwa architektonicznego i krajobrazu wsi kaszubskiej oraz opisano stosowane metody termomodernizacji. Analizę przeprowadzono na podstawie...
-
BADANIA KOMPOZYTOWEGO MOSTU DLA PIESZYCH
PublicationOpracowany w ramach konsorcjum FOBRIDGE kompozytowy most pieszo-rowerowy jest pierwszym na świecie zwartym jednoelementowym obiektem o konstrukcji powierzchniowym, który wytworzony jest w całości w jednym cyklu produkcyjnym, uformowanym z powłoki sandwiczowej w technologii infuzji. Technologia infuzji polega na podciśnieniowym przesycaniu żywicą ułożonej na formie tzw. suchej konstrukcji (całego dźwigara w przypadku obiektu FOBRIDGE)....
-
Podstawy baz danych (2324)
e-Learning CoursesPodstawowe pojęcia - dane, baza danych, model danych. Modele danych - płaski, hierarchiczny, sieciowy, relacyjny, obiektowy, język SQL na przykładzie PostgreSQL. Bazy obiektowo relacyjne, bazy noSQL, Zasady i techniki tworzenia aplikacji korzystających z baz danych
-
Bazy danych w zastosowaniach (2324)
e-Learning CoursesPodstawowe pojęcia - dane, baza danych, model danych. Modele danych - płaski, hierarchiczny, sieciowy, relacyjny, obiektowy, język SQL na przykładzie PostgreSQL. Bazy obiektowo relacyjne, bazy noSQL, Zasady i techniki tworzenia aplikacji korzystających z baz danych
-
Szpital -- forma i funkcja
PublicationForma architektoniczna obiektów służby zdrowia, zwłaszcza szpitali, zdeterminowana jest funkcją. Powiązania między działami szpitala, technologia medyczna, wyposażenie techniczne i instalacyjne, konstrukcja budynku wynikają bezpośrednio z przyjętego układu funkcjonalnego i w znaczący sposób wpływają na rozwiązania formalne i estetyczne. Istotnym elementem prawidłowego funkcjonowania szpitala jest układ komunikacji wewnętrznej,...
-
Badania struktury chemicznej (metodami FTIR i NMR) oraz własności termicznych (metodą DSC) materiałów i ustalenie rodzaju tworzywa sztucznego - Numer umowy: 032257
PublicationPrzeprowadzono badania struktury chemicznej (metodami 1H NMR oraz FTIR) oraz własności termicznych (metodą DSC) materiałów pobranych z dostarczonych obiektów i ustalono typ tworzywa sztucznego z jakiego zostały wykonane dostarczone obiekty.
-
Możliwości komputerowego wspomagania interaktywnych ćwiczeń i testów.
PublicationArtykuł dotyczy tworzenia interaktywnych obiektów uczących w środowiskach zdalnego nauczania. Opisano zalecenia standardu SCORM dotyczące sposobu tworzenia obiektów z wykorzystaniem języka XML. Omówiono problemy z implementacją pytań i testów w interaktywnych materiałach dydaktycznych. Wyróżniono typy pytań i testów możliwe do realizacji w technologiach internetowych. Wskazano na konieczność budowy narzędzi, które umożliwią nauczycielom...
-
Neuro-wavelet damage detection technique in beam, plate and shell structures with experimental validation
PublicationNiniejsza praca poświęcona jest technice diagnostyki konstrukcji bazującej na transfor-macie falkowej oraz sztucznych sieciach neuronowych (tzw. system neuro-wavelet). Zastosowanie analizy falkowej pozwala na lokalizację uszkodzeń wymagającą mini-malnej ilości danych wejściowych. W tym celu niezbędna jest tylko odpowiedź kon-strukcji pomierzona w wielu punktach. Poprawę efektywności lokalizacji zniszczeń uzyskano poprzez użycie...
-
Wielokryterialne projektowanie budynków wielofunkcyjnych ze szczególnym uwzględnieniem kryterium elastyczności funkcjonalnej
PublicationRozprawa doktorska porusza problematykę związaną z wielokryterialnym projektowaniem budynków wielofunkcyjnych , w którym kryterium elastyczności funkcjonalnej zostało zaproponowane jako czynnik priorytetowy. Praca zawiera analizę obiektów wielofunkcyjnych umożliwiającą usystematyzowanie aktualnej wiedzy w zakresie projektowania tych obiektów oraz dokonanie ich klasyfikacji. Proces projektowy obiektu wielofunkcyjnego jest elementem...
-
Szansa na przebudowę i rewitalizację zespołów zabudowy komunalnej w świetle przemian społecznych na przykładzie Dolnego Wrzeszcza w Gdańsku
PublicationObecna styuacja w budownictwie mieszkaniowym jest złożona. Z jednej strony obserwujemy nastcenie rynku nieruchomości nowymi realizacjami deeloperów, z drugiej poszukiwana jaest tania powierzchnia mieszkalna. W chwili obecnej istniejąca zabudowa komunalna stanowi poważne źródłotakiej powierzchni. Jednakże w wielu przypadkach stan techniczny i standard obiektów odbiegają od obowiązujących norm. W przypadku zabudowy historycznej,...
-
FE-analysis of the beaviour of concrete elements with coupled elasto-plastic-damage models with non-local softening
PublicationArtykuł omawia wyniki symulacji zachowania sie elementów betonowych poddanych cyklicznemu obciążeniu. Do symulacji zastosowano połączone modele sprężysto-plastyczne z degradacją sztywności i z nielokalnym osłabieniem. Wyniki symulacji porównano z doswiadczeniami.
-
Rewitalizacja Warszawskiej Rotundy PKO BP - przeszłość i współczesność
PublicationCharakterystycznym miejscem centrum śródmieścia Warszawy, powszechnie znanym zarówno w kraju jak za granicami naszego kraju był dotychczas, i miejmy nadzieję nadal będzie, okrągły budynek z charakterystycznym pilaście ukształtowanym obrysem wieńczącego go skośnego dachu - obiekt Warszawskiej Rotundy. Rotunda usytuowana przy skrzyżowaniu ulicy Marszałkowskiej i Alei Jerozolimskich - w pobliżu Ronda Dmowskiego w Warszawie jest obiektem,...
-
Testability of distributed object.
PublicationWyróżniono trzy poziomy zdalnego dostępu do obiektu: ograniczony, częściowy; pełny i sformułowano warunki testowalności dla dwu klas aplikacji rozproszonych: własnych i obcych. Zaproponowano metodę zdalnego monitorowania stanu obiektów zaimplementowanych =na platformie COBRA
-
Ekspertyza techniczna. Przegląd techniczny konstrukcji stalowej obiektu - Hala Kwiatowa nr 1 w Pomorskim Hurtowym Centrum Rolno - Spożywczym S.A. w Gdańsku
PublicationOcena stanu technicznego i poprawności wykonania konstrukcji stalowej obiektu halowego o powierzchni 5000 m2 z projektem wykonawczym skierowanym do realizacji. Ocena połączeń śrubowych: zakładkowych i doczołowych, połączeń spawanych, elementów prefabrykowanych, ocena dokładności montażu elementów składowych obiektu halowego. Identyfikacja wad i niezgodniości wykonania obiektu z projektem i normami wytwarzania i odbioru konstrukcji.
-
Ocena ofert na wykonanie dokumentacji projektowej dla inwestycji pod nazwą "Remont konserwatorski i modernizacja zabytkowego obiektu stanowiącego siedzibę krakowskiej Filharmonii "
PublicationOceniono pod względem akustycznym oferty na wykonanie dokumentacji projektowej dla inwestycji pod nazwą "Remont konserwatorski i modernizacja zabytkowego obiektu stanowiącego siedzibę krakowskiej Filharmonii "
-
Ekspertyza techniczna Pomiary dynamiczne południowej nitki mostu przez rz. Wisłę im. Gen. Grota-Roweckiego w Warszawie wykonane przed przebudową obiektu
PublicationPrzedmiotem ekspertyzy było wykonanie badań określających wartości częstotliwości drgań własnych przęseł południowej nitki mostu pod obciążeniem ruchem samochodowym z uwzględnieniem drgań dolnej półki dźwigara.
-
Sztywność obwodowa
PublicationSztywność obwodowa obiektów kubaturowych oraz rurociągów z tworzyw sztucznych. Warunki wspólpracy z ośrodkiem gruntowym podstawowe definicje, obciążenia, posadowienia, właściwości wyrobów w aspekcie współpracy z podłożem, badania szczelności, oddziaływanie wykonawstwa sieci na obiekty sąsiednie.
-
Lekka obudowa w nadbudowach i renowacjach
PublicationNadbudowy i renowacje – wykorzystanie technologii lekkiej obudowy. W artykule przedstawiono możliwości wykorzystania technologii lekkiej obudowy do nadbudowy i renowacji obiektów budowlanych. Opisano kolejne kroki przygotowania inwestycji dotyczącej projektowania i realizacji nadbudowy obiektu budowlanego.
-
Projektowanie architektoniczne. Sem. VI .KAMiUP 2021/2022_S.D.+A.M.
e-Learning CoursesProblematyka zajęć obejmuje zagadnienia związane z projektowaniem − STACJI DOKOWANIA i obsługi sportów wodnych np. nurkowanie, kajaki, skimboarding, kite, paralotnie, loty balonami ) oraz drobnych czasowych funkcji zamieszkania z minimalnym zapleczem mieszkaniowym dla pracowników oraz ewentualnie niewielkim zespołem czasowego zamieszkania. Lokalizacja - Gdynia-Orłowo, okolice molo. Analizie poddawane są kwestie wpisania projektowanych...
-
20 lat doświadczeń z eksploatacji oczyszczalni hydrofitowych w Polsce
PublicationW pracy przedstawiono doświadczenia z eksploatacji dotychczas monitorowanych obiektów hydrofitowych wykorzystywanych do oczyszczania ścieków bytowych w Polsce. Na podstawie przeprowadzonych pomiarów wykazano, że jednostopniowe obiekty hydrofitowe zapewniały skuteczne usuwanie substancji organicznej wyrażonej w BZT5 i ChZT oraz zawiesiny ogólnej. Średnia efektywność usuwania BZT5 wynosiła 76,4% w zakresie obciążeń od 15 do 115 kgO2/ha·d....
-
Algorytm ekstrakcji cech biometrycznych twarzy
PublicationW referacie zawarto opis metody automatycznej lokalizacji oraz parametryzacji punktów charakterystycznych w obrazie twarzy. Do lokalizacji punktów charakterystycznych wykorzystano zmodyfikowany algorytm EBGM (ang. Elastic Bunch Graph Matching). Algorytm ten pozwala lokalizować punkty w obrazie przy założeniu niezmienności topologii grafu połączeń między nimi.W referacie przedstawiono podstawy teoretyczne metody oraz zaimplementowany...
-
Application of case based reasoning to hybrid expert system for electronic filter design
PublicationPrzedstawiono koncepcję i przykład praktycznej realizacji obiektowo zorientowanego hybrydowego systemu ekspertowego wykorzystującego rozumowanie sytuacyjne. System wykorzystuje algorytmy najbliższego sąsiada i sztuczne sieci neuronowe. System został przetestowany jako klasyfikator decyzyjny w projektowaniu filtrów elektronicznych. W budowie systemu został wykorzystany obiektowy system CLIPS, rozszerzony o wiele dodatkowych funkcji...
-
Metodyka nadawania cech stealth małym bezzałogowym pojazdom wodnym
PublicationW artykule przedstawiono główne problemy związane z opracowaniem koncepcji nowej generacji szybkich bezzałogowych obiektów wodnych poruszających się na granicy wody i powietrza w różnych warunkach operacyjnych, w tym stanów załadowania. Przedstawiono problemy związane z modelowaniem ruchu tych obiektów oraz oceną ich zachowania się w różnych fazach ruchu. W artykule opisano koncepcję wybranego obiektu, w tym jego kształt i podział...
-
Surveillance camera tracking of GEO positioned objects
PublicationRozdział opisuje system sterowania kamerami ruchomymi PTZ realizujący śledzenie poruszającego się obiektu o znanej pozycji GPS. Przedstawione są idea systemu oraz możliwości jego wykorzystania. Opisane są: procedura kalibracji pola widzenia kamery i sposób powiązania z danymi o lokalizacji, procedura predykcji ruchu w celu kompensacji opóźnień czasowych. Omówiony jest zaimplementowany system modułowy, w którego skład wchodzą: terminale...
-
Urządzenie do pomiaru i lokalizacji źródeł korozji obiektów
Inventions -
ZASTOSOWANIE FILTRACJI CZĄSTECZKOWEJ DO ESTYMACJI POŁOŻENIA W SYSTEMIE LOKALIZACYJNYM UWB
PublicationNiniejszy artykuł dotyczy kwestii poprawy dokładności estymacji położenia w systemie lokalizacji wewnątrzbudynkowej, bazującym na radiowych pomiarach odległości realizowanych przez modemy UWB. Proponuje się zastosowanie metody filtracji cząsteczkowej do zmniejszenia błędu wyznaczania pozycji obiektu przy braku bezpośredniej widoczności ze stacją referencyjną. W artykule opisano algorytm filtru cząsteczkowego, jego przykładową implementację...
-
Projekt dyplomowy inżynierski / seminaria dyplomowe / 2024
e-Learning CoursesKurs stanowi rozwinięcie projektu przeddyplomowego z VI sem. o część techniczną, w ramach projektu dyplomowego inżynierskiego. Temat przewodni kursu dotyczy przyjazności przestrzeni i realizowany jest w 3 lokalizacjach w Gdańsku i dotyczy obiektów o zróżnicowanych funkcjach jak np. galeria sztuki, centrum aktywności studenckiej, przedszkole, akademik i innych.
-
MultiRegional PCA for leakage detection and localisation in DWDS - Chojnice case study
PublicationThis chapter considers pipe leakage detection and localisation in Drinking Water Distribution Systems (DWDS) by using a novel approach the MultiRegional Principal Component Analysis (MR-PCA). The MR-PCA is an extension of well known PCA method. The main idea of MR-PCA consists in designing a number of regional PCA models and analysing their responses caused by the pipe faults. Moreover, DWDS is decomposed into suitable subnetworks...
-
Sacrum - Profanum, Profanum-Sacrum, Przemiany funkcji budowli sakralnych w XX wieku = Sacrum-Profanum, Profanum-Sacrum, Transformations of function of sacral buildings in 20th century
PublicationPublikacja dotyczy aktualnych problemów zwiazanych z procesami desakralizacji i resakralizacji obiektów. złozony problem dotyczy krajów zarówno Europy wschodniej i zachodniej. Ulegają mu obiekty różnych obrządków i wyznań. Problem dotyczy zarówno samej architektury jak i przemian społecznych.
-
Programowanie Obiektowe
e-Learning Courses -
Holistyczne zarządzanie obiektami zdegradowanymi na obszarach miejskich na przykładzie bazy paliw w Gdańsku Nowym Porcie.
PublicationRosnąca liczba zdegradowanych obiektów na terenach miejskich stanowi istotny problem większości miast europejskich. Obecność tego rodzaju obiektów w strukturze miasta wiąże się z licznymi problemami o charakterze ekonomicznym, urbanistycznym i społecznym, a często powodują również zanieczyszczenie środowiska i obniżenie walorów krajobrazowych. Skuteczne zagospodarowanie takich obiektów umożliwia wdrożenie holistycznej rewitalizacji,...
-
Wiadukt łukowy w Białymstoku
PublicationReferat prezentuje oddany do użytkowania w czerwcu 2011 wiadukt drogowy ,,Łuk Białostocki”. Konstrukcja ta z uwagi na lokalizację dźwigara łukowego względem osi pomostu – po przekątnej, jest w Polsce w swojej skali obiektem prototypowym. Ustrój nośny obiektu stanowi stalowy bezprzegubowy dźwigar łukowy, usytuowany w rzucie z góry po krótszej przekątnej konstrukcji, z podwieszonym za pomocą cięgien pomostem zespolonym. Rozpiętość...
-
Przykłady modernizacji dwóch wiaduktów drogowych w aspekcie kosztów przedsięwzięcia.
PublicationW referacie przedstawiono rozwiązania techniczne modernizacji i wzmocnienia dwóch wiaduktów drogowych w aspekcie kosztów realizacji przedsięwzięcia. Analiza ekonomiczna wykazała, iż bardzo wydatne wzmocnienie (skok o dwie klasy obciążenia obiektu) wiąże się z tak dużymi kosztami, że staje się to nieopłacalne w zestawieniu z kosztami budowy nowego obiektu. Zwrócono uwagę na konieczność choćby ograniczonej analizy ekonomicznej (koszty...
-
"Wzór umowy w sprawie zamówienia publicznego na wykonanie robót budowlanych dotyczących obiektu liniowego w rozliczeniu kosztorysowym" przygotowany przez Urząd Zamówień Publicznych
PublicationW referacie dokonuje się analizy i oceny warunków zawartych w treści wzoru umowy na roboty budowlane opracowanym przez UZP w zakresie obiektów liniowych przy założeniu kosztorysowej formy wynagrodzenia. Prezentuje się również wybrane problemy, zgłoszone przez środowisko budowlane, związane z realizacją umów o zamówienie publiczne oraz proponowane we wzorze umowy sposoby ich rozwiązania.
-
Orzeczenie techniczne dotyczące badań kontrolnych zmienności stanu konstrukcji stalowej i żelbetowej stropu nad parkingiem obiektu REAL w Gdańsku przy ul. Kołobrzeskiej
PublicationPrzedmiotem orzeczenia jest ocena zmiany stanu konstrukcji stalowej i żelbetowej stropu nad parkingiem w Centrum Usługowo-Administracyjnym REAL w Gdańsku.
-
Opinia naukowo-techniczna dotycząca wyników badań statycznych i dynamicznych nośności pali prefabrykowanych wbijanych o wym. 40×40 cm podpór obiektów mostowych na budowie drogi ekspresowej S61, Ostrów Mazowiecka – Szczuczyn
PublicationOpiniowanie wyników badań nośności pali
-
Bazy danych w Zastosowaniach
e-Learning CoursesBazy danych - podstawowe pojęcia, modele danych - prosty , hierarchiczny, sieciowy, model relacyjny - podstawy - projektowanie Baz danych, algebra relacyjna, język SQL. Współczesne mechanizmy w bazach danych - transakcje, wyzwalacze, łączenie baz danych z programami. Model obiektowy i obiektowo-relacyjny. Bazy non-SQL
-
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł 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...
-
Modelowanie konstrukcji mostowych - obliczenia i weryfikacja ''in situ''
PublicationObiekty mostowe są konstrukcjami inżynierskimi, które ze względu na ich odpowiedzialność i długi okres eksploatacji - przed oddaniem do użytkowania poddawane są wszechstronnej ocenie w formie badań, zwanych potocznie próbnym obciążeniem. Zadaniem tych badań jest sprawdzenie poprawności pracy konstrukcji i przyjętych założeń projektowych. Przyciągające uwagę społeczeństwa próbne obciążenie na moście poprzedza projekt jego badań....