Wyszukiwarka
Filtry
wszystkich: 1101
-
Katalog
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: WERYFIKACJA MODELI PROPAGACYJNYCH
-
Weryfikacja doświadczalna analizy numerycznej stanowiska do badania silników wiatrowych
PublikacjaW pracy zawarto analizę porównawczą badań doświadczalnych i symulacyjnych stanowiska do badania silników wiatrowych. Stanowisko to zostało zbudowane w Pracowni podstaw Konstrukcji Maszyn znajdującej się na terenie Uniwersytetu Warmińsko-Mazurskiego w Olsztynie. W artykule zamieszczono wyniki badań doświadczalnych oraz symulacyjnych przeprowadzonych w systemach CAD/CAE. Wykorzystano analizy statyczne, dynamiczne z uwzględnieniem...
-
Weryfikacja autentyczności kolorów na zdjęciach wykonanych w technice analogowej
PublikacjaW artykule opisano zagadnienie odróżniania historycznych fotografii pomiędzy oryginalnie kolorowe a koloryzowane. Rozważono problem doboru zdjęć pod względem technologii, w jakiej zostały wykonane. Następnie wykorzystując sieci neuronowe już w części wyuczone na innych zbiorach danych, sprawdzono ich efektywność w rozwiązywaniu badanego problemu. Rozważono wpływ rozmiaru obrazu podanego na wejściu, architektury zastosowanej sieci,...
-
Weryfikacja mes badań właściwości sprężysto-lepkoplastycznych stali p9 (9cr1mo).
PublikacjaW niniejszej pracy opisano zastosowanie MES do weryfikacji badań, które miały na celu określenie właściwości sprężysto-lepkoplastycznych stali ferrytycznej P9 (9Cr1Mo) w temp. 500[°C]. W referacie skupiono się na błędach w geometrii próbek powstałych przy ich przygotowaniu. Wyniki analizy numerycznej miały na celu potwierdzenie wpływu wybranych imperfekcji na zaobserwowane deformacje próbek. W obliczeniach wykorzystano komercyjny...
-
Konkurs studencki budowy modeli mostów z papieru
PublikacjaW artykule przedstawiono relację ze studenckiego konkursu budowy mostów z papieru, który odbył się w Politechnice Gdańskiej. Konkurs wyKOMBinuj mOst bazuje na powszechnie dostępnym materiale, jakim jest papier typu brystol. Wybór papieru jako materiału inżynierskiego podyktowany jest faktem, iż analogia pomiędzy zachowaniem papieru i blachy stalowej umożliwia obserwację mechanizmów zniszczeń charakterystycznych dla konstrukcji...
-
Automatyczne generowanie testów na podstawie modeli UML
PublikacjaRozdział stanowi wprowadzenie do problematyki automatycznej generacji przypadków testowych na podstawie dokumentacji wykonanej w UML. Zaprezentowano powiązania pomiędzy dokumentacją wykonaną w fazach analizy i projektowania systemu a dokumentacją testową, szersze ujęcie zagadnień automatycznego generowania testów, metody generowania przypadków testowych, wyniki podobnych prac (projekt AGEDIS, profil testowy UML) oraz dyskusję efektywności...
-
Generowanie modeli symulacyjnych na potrzeby systemu ekspertowego wspomagającego projektowanie układów automatyki statku
PublikacjaOmówiono automatyczne generowanie modeli symulacyjnych na potrzeby systemu ekspertowego wspomagającego projektowanie układów automatyki statków. Na podstawie przyjętych założeń projektowych system ekspertowy zleca badania wybranych struktur podsystemów elektroenergetycznych statków. Aplikacja symulacyjna pobiera z biblioteki modele matematyczne elementów składowych struktur, a następnie zestawia modele symulacyjne, wykonuje badania...
-
Wpływ maksymalizacji danych wejściowych na skuteczność modeli parametrycznych i nieparametrycznych prognozowania upadłości spółek akcyjnych notowanych na WGPW
PublikacjaCelem tego opracowania było zbadanie wpływu maksymalizacji danych wejściowych na skuteczność prognozowania upadłości spółek giełdowych na podstawie takiej samej populacji spółek S.A. notowanych na WGPW dla modeli parametrycznych (logitowych, probitowych, analizy dyskryminacyjnej) oraz nieparametrycznych ( sztucznych sieci neuronowych. Realizacja tego celu pozwoliła między innymi na stwierdzenie, czy i do jakich modeli opłaca się...
-
Kluczowe kompetencje jako narzędzie do tworzenia nowych modeli biznesu w przedsiębiorstwach
PublikacjaKoncepcja kluczowych kompetencji wywodzi się z nurtu zasobowego, który zakłada, iż o efektywności i konkurencyjności każdego podmiotu decydują odpowiednio dobrane zasoby i umiejętności ich optymalnego wykorzystania. Model biznesu to narzędzie do realizacji strategii organizacji, które wspomaga rozwój oraz zarządzanie strategiczne w przedsiębiorstwie. Dysertacja wypełnia lukę, jaką było wskazanie na zależność pomiędzy kluczowymi...
-
Możliwości wykorzystania istniejących modeli do prognozowania zapotrzebowania budynków na ciepło do ogrzewania i wentylacji
PublikacjaW pracy omówiono wpływ różnych algorytmów obliczeniowych na zużycie energii do ogrzewania i wentylacji w budynku mieszkalnym. Całoroczne pomiary zużycia ciepła przez mieszkańców pozwoliły na weryfikację zastosowanych metod obliczeniowych. W artykule przedstawiono problem prognozowania, który wynika z dokładności przyjętego algorytmu. Analizę dokładności modeli przeprowadzono na podstawie badań eksperymentalnych.
-
Diagnostyka budowli i identyfikacja ich modeli jednowymiarowych przy wykorzystaniu oddziaływań środowiskowych
PublikacjaRozprawa doktorska dotyczy problemów diagnostyki budowli zabytkowych. Zagadnienie potraktowano szeroko. Uwzględniono zarówno rozważania teoretyczne jak i badania eksperymentalne obiektów rzeczywistych. Celem pracy jest zaproponowanie efektywnego algorytmu oceny stanu technicznego budowli, łączącego trzy dziedziny nauki, w których wspólnym mianownikiem jest pomiar drgań konstrukcji przy wymuszeniach środowiskowych (wiatr, ruch uliczny,...
-
Budowa i kalibracja modeli spękań zmęczeniowych warstw asfaltowych nawierzchni drogowych w mechanistyczno-empirycznej metodzie AASHTO 2004
PublikacjaW artykule przedstawiono sposób tworzenia modeli spękań zmęczeniowych warstw asfaltowych w nowej amerykańskiej mechanistyczno-empirycznej metodzie projektowania nawierzchni AASHTO 2004. Opisano modele przyjęte do kalibracji, problem różnego zachowania się warstw asfaltowych naprężeniowo i odkształceniowo,przyjęte miary spękań zmęczeniowych. Przedstawiono także kalibrację opartą o badania na odcinkach doświadczalnych LTPP, symulację...
-
Implementation of non-local integral models into commercial FE methods
PublikacjaArtykuł omawia implementacje nielokalnych modeli typu całkowego do komercyjnych programów MES. Implementacje pokazano na przykładzie programu Abaqus.
-
ANALIZA PORÓWNAWCZA WYNIKÓW ZASTOSOWANIA PROCESÓW MARKOWA I SEMIMARKOWSKICH, JAKO MODELI NIEZAWODNOŚCIOWYCH, WIELOSTANOWYCH OBIEKTÓW TECHNICZNYCH
PublikacjaW czasie racjonalnej eksploatacji obiektów i systemów technicznych, podejmowane są różnorakie decyzje eksplo-atacyjne a sam proces decyzyjny powinien polegać na wyborze tej, spośród możliwych do podjęcia, która uznana zostanie za najlepszą. Wybór takiej decyzji, możliwy jest po uwzględnieniu szeregu różnych informacji, lecz nigdy nie będzie wybo-rem do końca prawidłowym bez uwzględnienia danych i wskaźników dotyczących niezawodności. W...
-
CHARAKTERYSTYKA I PORÓWNANIE WYBRANYCH MODELI MATEMATYCZNYCH SZACUJĄCYCH EFEKTYWNOŚĆ POZYSKANIA BIOGAZU ZE SKŁADOWISK ODPADÓW KOMUNALNYCH
PublikacjaPrzed przystąpieniem do inwestycji dążących do odzysku biogazu, konieczne jest poznanie i określenie czynników wpływających na powstawanie biogazu np.: skład morfologiczny i struktura odpadów, temperatura złoża, odczyn pH, wilgotność, wiek odpadów, przepuszczalność złoża, lokalizacja składowiska. W celu oszacowania zasobności gazowej składowiska należy zastosować miarodajne prognozy ilości i czasowej zmienności produkowanego biogazu...
-
Weryfikacja efektów kształcenia jako element Wewnętrznego Systemu Zapewnienia Jakości Kształcenia
PublikacjaPojęcie weryfikacji efektów kształcenia jest pojęciem nowym, wprowadzonym w ostatniej nowelizacji ustawy. Pojęcie to jest ściśle związane z osiągniętymi przez studenta efektami kształcenia, które precyzyjnie definiują jego kompetencje. Efekty kształcenia określane są przez uczelnię jako specyficzne dla danego kierunku studiów i pogrupowane są w kategorie: wiedza, umiejętności i kompetencje społeczne.
-
Automatyczna weryfikacja klienta bankowego w oparciu o multimodalne technologie biometryczne
PublikacjaW referacie przedstawiono przegląd rozwiązań wykorzystywanych w bankach do weryfikacji tożsamości klientów. Ponadto zawarto opis metod biometrycznych aktualnie wykorzystywanych w placówkach bankowych wraz z odniesieniem do skuteczności i wygody korzystania z dostępnych rozwiązań. Zaproponowano rozszerzenie zakresu wykorzystania technologii biometrycznych, wskazując kierunek rozwoju systemów bezpieczeństwa dla poprawy dostępu do...
-
Weryfikacja struktur baz wiedzy systemu agentowego do oceny technologii informatycznych
PublikacjaRozdział dokumentuje przebieg i wyniki weryfikacji opracowywanego w Zakładzie Zarządzania Technologiami Informatycznymi modelu systemu wieloagentowego do oceny technologii informatycznych. Wykorzystanie tego modelu (zaprojektowanego w oparciu o ontologie i zasoby baz wiedzy) ma docelowo wspomagać procesy decyzyjne z zakresu doboru technologii informatycznych dla danej organizacji. Dla potrzeb jego weryfikacji wykorzystano dane...
-
Weryfikacja nastawień zabezpieczeń od utraty wzbudzenia na przykładzie elektrociepłowni przemysłowej
PublikacjaW artykule przedstawiono rozważania dotyczące działania zabezpieczeń reaktancyjnych od utraty wzbudzenia generatorów synchronicznych, pracujących w elektrociepłowni przemysłowej. Pokazano możliwości niewłaściwego działania zabezpieczenia od utraty wzbudzenia, wskazując że dobór nastawień powinien każdorazowo wykorzystywać badania modelowe. Przyjmowanie nastawień typowych zgodnych z wiedzą inżynierską może być przyczyną niewłaściwego...
-
Weryfikacja istniejącego oszacowania ilości ścieków sanitarnych odprowadzanych z Gminy Michałowice
PublikacjaOpracowanie stanowi ekspertyzę oceniającą poprawność istniejącego oszacowania ilości ścieków sanitarnych dla Gminy Michałowice. Praca jest efektem analizy wyników terenowych pomiarów ilości ścieków oraz oszacowań o charakterze analitycznym
-
Aspekty tworzenia modeli do prognozowania niezawodności systemów technicznych
PublikacjaPrzedstawiono zagadnienie modelowania systemów technicznych. Opisano przykładowe modele informacyjne i strukturalne (syntaktyczne, semantyczne i operacyjne). Zasygnalizowano możliwości modelowania systemów technicznych, podając przykłady modelu zmian stanów technicznych dowolnego systemu technicznego z zastosowaniem modelowania systemowego oraz modelu zmian niezawodności tego systemu z zastosowaniem modelowania matematycznego.
-
Ocena modeli grupowego wdrażania systemów jakości w MŚP
PublikacjaW artykule przedstawiono charakterystykę wybranych inicjatyw grupowego wdrażania systemów jakości w małych i średnich przedsiębiorstwach stosowanych w Polsce i za granicą. W odniesieniu do kluczowych elementów tych przedsięwzięć, zaprezentowano włacną propozycje rozwiązań usprawniających stosowane w praktyce podejścia.
-
Badania dynamiczne modeli konstrukcji budowlanych na stole wstrząsowym
PublikacjaCelem niniejszego artykułu jest przedstawienie wyników badań eksperymentalnych przeprowadzonych na stole wstrząsowym poddając wymuszeniom sejsmicznym modele dwóch kolidujących ze sobą wież. Wyniki te wskazują, iż zderzenia mogą prowadzić do znacznego wzrostu odpowiedzi konstrukcji, ale mogą mieć również pozytywny wpływ i częściowo wytłumić drgania. Ponadto, wyniki badań pokazały istotny wpływ rodzaju materiału, z którego wykonane...
-
Program wspomagający wyznaczanie parametrów modeli procesu przepływu gazu
PublikacjaJedną z wielkości decydujących o zgodności wyników symulacyjnych i eksperymentalnych napędu pneumatycznego jest masowe natężenie przepływu gazu. Do jego opisu wykorzystywane są różne modele matematyczne, o eksperymentalnie wyznaczonych współczynnikach.W pracy przedstawiono program komputerowy umożliwiający wyznaczanie tych współczynników.
-
Analiza statyczna i dynamiczna przyczynowo-skutkowych modeli płac
Publikacja -
Budowa i ocena modeli prognozowania zagrożenia finansowego przedsiębiorstw
PublikacjaW artykule tym przedstawiono w sposób szczegółowy poszczególne etapy budowy modelu prognozowania zagrożenia przedsiębiorstw upadłością.
-
Badania i analiza zaników w sieciach WBAN typu body-to-body pracujących w różnych środowiskach propagacyjnych
PublikacjaPrzedstawiono badania zaników w sieciach WBAN typu body-to-body, oparte na wynikach pomiarów tłumienia systemowego przeprowadzonych w zamkniętym i otwartym środowisku propagacyjnym przy częstotliwości 2,45 GHz. Analiza statystyczna wyników dowiodła, że zaniki szybkozmienne najlepiej odzwierciedla rozkład Nakagamiego-m, natomiast zaniki wolnozmienne można opisać rozkładem log-normalnym.
-
Integracja projektów ekologicznych na przykładzie modeli AidAir i ECOSIM i możliwości ich wykorzystania do zarządzania parkami krajobrazowymi.
PublikacjaPraca dotyczy wykorzystania systemów informatycznych do zarządzania parkami krajobrazowymi poprzez budowę wielopłaszczyznowych modeli zasobów informatycznych, w tym Zintegrowanego Systemu Decyzyjnego do Zarządzania Jakością Powietrza AirAid oraz modelu ECOSIM stosowanego przy ocenie stanu środowiska naturalnego w ujęciu przestrzennym.
-
Eksperymentalna weryfikacja procedury szacowania wytrzymałości młodego betonu wg normy ASTM C1074
PublikacjaW referacie przedstawiono metodę służącą oszacowaniu wytrzymałości betonu w trakcie procesu dojrzewania (ang. Maturity Method) bazującą na procedurze określonej zgodnie z amerykańską normą, która uwzględnia wpływ połączonych efektów temperatury i czasu na rozwój wytrzymałości betonu. Standardy ASTM C1074 zostały opracowane przez NBS (ang. National Bureau of Standards) z uwagi na powtarzające się wypadki na palcu budowy wynikające...
-
Analityczna weryfikacja dokładności komercyjnych programów komputerowych wspomagających projektowanie układów geometrycznych toru
PublikacjaW pracy podjęto próbę wyjaśnienia kwestii uzyskiwanej dokładności w projektowaniu układów geometrycznych toru z wykorzystaniem komercyjnych programów komputerowych typu CAD. Użytkownikowi najczęściej nie są znane zasady działania tych programów, w tym również wykorzystywane algorytmy obliczeniowe. Opisano w sposób ogólny funkcjonowanie dwóch wiodących programów. Przedstawiono własną, analityczną metodę projektowania układów torowych,...
-
Analityczna weryfikacja wybranego układu geometrycznego toru z wykorzystaniem profesjonalnego programu CAD
PublikacjaW pracy podjęto próbę wyjaśnienia, jak przedstawia się kwestia uzyskiwanej dokładności w projektowaniu układów geometrycznych toru z wykorzystaniem profesjonalnych programów komputerowych typu CAD. Użytkownikowi najczęściej nie są znane zasady działania tych programów, w tym również wykorzystywane algorytmy obliczeniowe. Opisano w sposób ogólny funkcjonowanie wybranego programu. Przedstawiono własną, analityczną metodę projektowania...
-
Weryfikacja parametru K rozkładu Rice'a dla środowiska miejskiego w paśmie UHF
PublikacjaReferat przedstawia wyniki pomiarów wartości parametru K rozkładu Rice’a modelu zaników dla kanałów UHF w terenie miejskim na podstawie zarejestrowanych sygnałów łącza w dół ze stacji bazowych CDMA2000. Przedstawiono sposób rejestracji i obróbki sygnałów oraz zaproponowano model rozkładu prawdopodobieństwa parametru K dla danego terenu.
-
Weryfikacja wybranych korelacji dla przepływu podczas kondensacji w minikanałach i mikrokanałach
Publikacja -
Weryfikacja skuteczności metod statystycznych w prognozowaniu upadłości firm na próbie niezbilansowanej
PublikacjaW opracowaniu tym porównano 5 różnych metod statystycznych prognozowania zagrożenia firm upadłością. Jest to pierwsza próba weryfikacji skuteczności tak szerokiego wachlarza metod statystycznych prognozowania upadłości firm w Polsce na jednej, takiej samej próbie badawczej. Celem tych badań było wskazanie metody statystycznej charakteryzującej się najlepszymi właściwościami predykcyjnymi upadłości firm na rok, na dwa i na trzy...
-
Weryfikacja założeń do badań sonarowych oraz pomiary testowe w basenie portowym
Publikacja.
-
System pomiaru pola magnetycznego w procesie demagnetyzacji modeli okrętów
PublikacjaPrzedstawiono wybrane problemy związane z budową stanowiska badawczego oraz badaniami nowych metod demagnetyzacji okrętów prowadzonych na modelach. Przedstawiono zautomatyzowany system pomiarowy do badania pola magnetycznego modelu okrętu. Omówiono strukturę i funkcje układu pomiarowego oraz metodę ograniczania błędów wynikających z przemieszczania czujników pomiarowych względem pola magnetycznego. Podano przykładowe wyniki pomiarów.
-
Wykorzystanie modeli cmm i spice w zarządzaniu przedsięwzięciami informatycznymi
Publikacjaw pracy zaprezentowano problematykę planowania i oceny organizacji projektowych realizujących przedsięwzięcia informatyczne. wydaje się, bowiem, że przy realizacji przedsięwzięcia planowanie, organizowanie i kontrolowanie pracy zespołu ma 'kluczowe' znaczenie dla zakończenia przedsięwzięcia w założonym czasie i przyjętych środkach (przy określonych standardach jakości). omówiono, więc metody oceny poziomu dojrzałości zespołu a...
-
Analiza błędów odwzorowania szczegółów konstrukcyjnych modeli wykonanych metodą SLA
PublikacjaW niniejszej pracy przedstawiono analizę dokładności odwzorowania elementów konstrukcyjnych modelu CAD podczas jego wytwarzania metodą SLA. W procesie wykonywania modelu wiele czynników wpływa na dokładność jego wykonania jak i na jakość odwzorowania szczegółów. Omówiono proces przebiegu deformacji jak i przedstawiono wyniki badań.
-
Impul'snaiâ smazka w tazobiedriennom sustave dlâ gipouprugoj modeli hrâšča
PublikacjaRozwiązanie problemu smarowania stawu biodrowego człowieka odkształcalną hypo-elastyczną chrząstką przeprowadzone zostało przy wykorzystaniu pomierzonych wysokości chropowatości chrząstki stawowej oraz wysokości szczeliny stawu biodrowego człowieka.
-
Obliczeniowa weryfikacja pewności ruchowej hydrodynamicznych łożysk wzdłużnych na przykładzie elektrowni wodnej Dychów
PublikacjaW związku z modernizacją hydrozespołów elektrowni szczytowo-pompowej (esp) Dychów analizie poddano łożysko wzdłużne. Przeprowadzona analiza, która będzie podstawą do podjęcia decyzji o zakresie wymaganych zmian konstrukcyjnych w łożysku objęła ocenę danych o dotychczasowej eksploatacji oraz obliczenia sprawdzające prawidłowości pracy łożyska w nowych warunkach. W obliczeniach uwzględniono odkształcenia termosprężyste segmentu oraz...
-
WERYFIKACJA KONCEPCJI PRZEGUBÓW PLASTYCZNYCH PROJEKTOWANYCH NA ODZIAŁYWANIA SEJSMICZNE WIADUKTU V6 OBWODNICY ISTAMBUŁU
PublikacjaW pracy zawarto wyniki analiz betonowego wiaduktu V6 budowanego w ciągu obwodnicy Istambułu w Turcji realizowanego w ramach projektu Northern Marmara Highway. Przeprawę stanowią dwie niezależne nitki o skrzynkowym przekroju poprzecznym i szerokości 22,00 m. Schemat statyczny obiektu to belka dziewięcioprzęsłowa o długości całkowitej 446,86 m oparta na podporach słupowych o zmiennej sztywności (rys.1) i wysokościach zmieniających...
-
Application of discrete models to describe the fracture process in brittle materials
PublikacjaPraca doktorska ''Zastosowanie modeli dyskretnych do opisu propagacji rys w materiałwch kruchych'' została podjęta z uwagi na fakt, że bardzo istotne jest poznanie mechanizmu powstawania lokalizacji odkształceń w materiałach kruchych takich jak beton (rysty i strefy ścianania) na poziomie mikroskopowym. Poznanie to daje mozliwość bardziej realistycznego wymiarowania elementów konstrukcji betonowych i żelbetowych oraz przewidywania...
-
Algorytm konstruowania modeli matematycznych złożonych układów dynamicznych dla programu Simulink
PublikacjaW pracy omówiono metodę budowy modelu matematycznego w postaci schematu blokowego dla złożonych pod względem natury fizycznej układów. Istota proponowanej metody polega na tym, że równania opisujące układ wyprowadzane są w sposób tradycyjny. Jednak podejście energetyczne i podział badanego układu na podukłady - wielowrotniki pozwala na kontrolowane wyprowadzanie równań. Następnie, wykorzystując tę samą, co w grafach wiązań procedurę...
-
Implementacja i przykłady zastosowań nieliniowych modeli betonu z nielokalnym osłabieniem
Publikacja -
Projektowanie wstępne siłowni pogłębiarek z zastosowaniem metod i modeli probabilistycznych
PublikacjaW pracy przedstawiono udoskonalony proces projektowania wstępnego projektowania siłowni pogłębiarek. Przeprowadzono krytyczną analizę obecnie stosowanych metod projektowania siłowni pogłębiarek i zaproponowano nową metodykę projektowania, wykorzystującą metody i modele probabilistyczne, które lepiej opisują złożone i zmienne realia eksploatacji siłowni pogłębiarek niż modele deterministyczne. Przeprowadzono analizę rozwiązań konstrukcyjnych...
-
Możliwości wykorzystania modeli doskonałości w systemach zarządzania jakością wyższych uczelni
PublikacjaW opracowaniu przedstawiono koncepcję modelu rozwojowego systemu zarządzania jakością dla wyższych uczelni, uwzględniającego specyficzne uwarunkowania występujące w tych organizacjach i ich otoczeniu społeczno-prawnym. Szczególną uwagę zwrócono na możliwości wykorzystania samooceny w oparciu o model CAF, jako narzędzia wspiera-jącego usystematyzowane doskonalenie projakościowego systemu zarządzania w szkole wyższej.
-
Porównanie podejść do opisu kontekstu użycia z wykorzystaniem meta-modeli
PublikacjaOcena użyteczności może się różnić w zależności od rodzaju użytkownika oraz okoliczności, w których używany jest produkt. Aby uwzględnić ten fakt, do analizy wprowadzane jest pojęcie kontekstu użycia. W referacie zaprezentowano porównanie podejść do opisu kontekstu użycia oraz włączenia go w analizę użyteczności. Jest to część badań w ramach projektu, którego celem jest identyfikacja i opis kontekstu użycia narzędzi UML. Referat...
-
Empirical evaluation of reading techniques for UML models inspection
PublikacjaArtykuł przedstawia eksperyment, w ramach którego porównane zostały trzy techniki czytania (ad hoc, UML-HAZOP oraz podejście scenariuszowe) zastosowane do inspekcji modeli obiektowych. UML-HAZOP jest techniką czytania wywodzącą się z dziedziny systemów krytycznych, związanych z bezpieczeństwem. W publikacji opisano technikę UML-HAZOP oraz jej różne warianty wykorzystane w eksperymencie. Przedstawiono projekt, sposób przeprowadzenia...
-
Comparison of numerical models of impact force for simulation of earthquake-induced structural pounding
PublikacjaW artykule przedstawiono porównanie trzech modeli numerycznych służących do symulacji siły zderzenia w czasie kontaktu pomiędzy konstrukcjami budowlanymi podczas trzęsień ziemi. Efektywność każdego z modeli zbadano porównując wyniki analiz numerycznych z wynikami badań eksperymentalnych. Wyniki pracy pokazują, iż nieliniowy model lepkosprężysty najdokładniej symuluje przebieg czasowy siły zderzenia w czasie kontaktu.
-
FE-investigations on crack spacing in reinforced concrete beams within non-local continuum mechanics.
PublikacjaW artykule przedstawiono wyniki numerycznej analizy rozstawu rys w belkach żelbetowych przy zastosowaniu dwóch ciągłych modeli nielokalnych. Zbadano wpływ wielu różnych parametrów na rozstaw rys.
-
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL
PublikacjaW referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA. W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu...