Wyszukiwarka
Filtry
wszystkich: 4345
-
Katalog
- Publikacje 3832 wyników po odfiltrowaniu
- Czasopisma 5 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 58 wyników po odfiltrowaniu
- Wynalazki 4 wyników po odfiltrowaniu
- Projekty 6 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 43 wyników po odfiltrowaniu
- Wydarzenia 11 wyników po odfiltrowaniu
- Dane Badawcze 384 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: most
-
Konsekwencje sposobu modelowania mostu na przykładzie drogowego wiaduktu sprężonego.
PublikacjaW ramach projektu próbnego obciążenia nowego wiaduktu sprężonego wykonano obliczenia statyczne rzeczywistej konstrukcji. Rozbieżności pomiędzy założeniami projektowymi a wynikami własnymi, skłoniły do przeprowadzenia analizy wpływu sposobu modelowania przęseł na jego teoretyczne wytężenie. Analizowano cztery modele MES, rusz belkowy, model powłokowo-belkowy, model powłokowo-bryłowy oraz model bryłowy. Rezultaty odniesiono do wyników...
-
Analiza techniczno-ekonomiczna rozwiązań rewitalizacyjnych zabytkowego mostu w Tczewie
PublikacjaPrzykłady koncepcji odbudowy przyczółka zachodniego zabytkowego mostu przez rzekę Wisłę w Tczewie wraz z zespołem bramnym. Ocena propozycji trzech rozwiązań rewitalizacyjnych mostu i wybór optymalnego pod względem finansowym i technologicznym. Czas i koszty budowy oraz wierność odbudowy zespołu bramnego mostu jako kryteria optymalizacji. Analiza w celu pozyskania środków finansowych potrzebnych na odbudowę, ale także adaptację...
-
Międzynarodowe Stowarzyszenie dla Mostów i Konstrukcji Inżynierskich święciło 80 lat swego istnienia
Publikacja...
-
Koncepcja aplikacji komputerowej przeznaczonej do planowania czasu budowy wybranych obiektów mostowych
PublikacjaPrezentowana aplikacja stanowi moduł przeznaczony do opracowania harmonogramów ogólnych i szczegółowych budowy, gdzie czas budowy mozna przyjmować jako zmienną losową. Aplikacja ta umożliwia przeprowadzenie pomiaru pracy, prognozowanie i planowanie budowy wybranych obiektów mostowych.
-
Iniekcje cementowe pod podstawami pali wierconych w zastosowaniu do obiektów mostowych.
PublikacjaOmówiono założenia teoretyczne, przedstawiono metody oraz przedstawiono przykłady zastosowań iniekcji cementowych pod podstawami pali wierconych wykonanych pod posadowienie obiektów mostowych.
-
O badaniach nośności mostowych belek korytkowych zdemontowanych po 30 latach eksploatacji
PublikacjaW pracy przedstawiono wyniki badań niszczących eksploatowanych mostowych sprężonych prefabrykatów strunobetonowych BSK-18 i BSK-15. Omówiono metodologię badań oraz analizę uzyskanych badań. Sformułowano wnioski i zalecenia dotyczące możliwości i warunków eksploatowania obiektów mostowych wykonanych z w/w belek.
-
Zastosowanie metod nieniszczących w diagnostyce nawierzchni drogowych w rejonie obiektów mostowych
PublikacjaW artykule przedstawiono możliwość wykorzystania metod nieniszczących w diagnostyce nawierzchni drogowych jako alternatywę do metod tradycyjnych w celu wyjaśnienia przyczyn powstawania zarysowań poprzecznych nawierzchni w sąsiedztwie obiektów mostowych. Wykorzystano dwie metody skanowania: laserowe w celu szczegółowej inwentaryzacji powierzchni nawierzchni oraz georadarowe (GPR) w celu inwentaryzacji struktury nawierzchni. W wyniku...
-
A concept of an application to plan the time lines of building selected bridge structures
PublikacjaW rozdziale został przedstawiony przykład autorskiego programu komputerowego przeznaczonego do planowania czasu pracy i kosztów w budownictwie mostowym. Zaletą programu jest możliwość przedstawienia wyników w formie graficznej w sposób deterministyczny i niedeterministyczny. Ma to ogromne znaczenie jeżeli poszukujemy optymalnych rozwiązań dotyczących zagadnień ryzyka i ekonomiki budownictwa.
-
Introduction of Methods to Reduce and Remove Patulin from Food Products
Publikacja -
Zagrożenie katastrofą budowlaną Mostu Uniwersyteckiego w Bydgoszczy. Analiza i badania
PublikacjaMost Uniwersytecki został zamknięty po 7 latach od oddania do użytku. Powodem były błędy projektowe ujawnione w przeglądzie w roku 2020, potwierdzone teoretycznymi analizami nośności. Bezpośrednim powodem zamknięcia przeprawy było stwierdzenie zagrożenia katastrofą budowlaną. W roku 2021, zgodnie z zaleceniem i koncepcją ekspercką, krytyczne elementy konstrukcji mostu zostały wzmocnione. W styczniu 2022 most został przywrócony...
-
Wybrane aspekty montażu przęseł mostu podwieszonego przez Wisłę w Płocku.
PublikacjaProjektowanie i realizacja przeprawy leżącej w ciągu planowanej drogowej obwodnicy Płocka, stanowią jedno z najpoważniejszych zadań inżynierskich początku XXI wieku w Polsce. Most składa się z dwóch zasadniczych odcinków: 586 - metrowej części dojazdowej o konstrukcji belkowej oraz 615 - metrowej części głównej o konstrukcji podwieszonej, przebiegającej zasadniczo nad nurtem rzeki oraz wąskim prawobrzeżnym terenem zalewowym. Przęsło...
-
Implementacja metody dojrzałości do oceny wytrzymałości betonu przęsła mostu extradosed
PublikacjaArtykuł przedstawia wybrane informacje dotyczące metody dojrzałości z odniesieniem się do niektórych dokumentów normatywnych polskich i zagranicznych. Przedstawione są także informacje o urządzeniach stosowanych in situ do oceny wczesnej wytrzymałości betonu. Praca poświęcona jest implementacji monitoringu dojrzewania betonu wysokowartościowego (C 60/75) wbudowanego w przęsło mostu extradosed z zastosowaniem metody dojrzałości....
-
MODELOWANIE ODDZIAŁYWAŃ DYNAMICZNYCH POCIĄGU TYPU PENDOLINO NA KONSTRUKCJE ZABYTKOWYCH MOSTÓW KOLEJOWYCH W POLSCE
PublikacjaW artykule przedstawiono badania i symulacje numeryczne dotyczące modelowania oddziaływań dynamicznych przejeżdżających pociągów Pendolino po zabytkowych mostach kolejowych w Polsce. Zakres prac obejmuje badania doświadczalne, rozwiązanie problemu dotyczącego poprawnego rozwiązania funkcji dynamicznej uwzględniającej model zależności między mostem, torem i taborem, tzw. model RBT oraz symulacje numeryczne dla obiektu zabytkowego...
-
Budownictwo Mostowe : Vademecum
Czasopisma -
Fundament pylonu mostu podwieszonego w ciągu autostradowej obwodnicy Wrocławia (A8)
PublikacjaPrzedstawiono opis konstrukcji fundamentu pylonu mostu podwieszonego w ciągu Autostradowej Obwodnicy Wrocławia. Ze względu na znaczne obciążenia analiza współpracy fundamentu z podłożem gruntowym wymagała zastosowania niestandardowego podejścia obliczeniowego. Dotyczyło to modelu zachowania się podłoża gruntowego, jak również dyskretyzacji konstrukcji układu fundamentowego. Przedstawiono wyniki obliczeń w układzie przestrzennym...
-
Fundament pylonu mostu podwieszonego w ciągu Autostradowej Obwodnicy Wrocławia (A8)
PublikacjaW artykule przedstawiono praktyczne aspekty fundamentowania ciężkich obiektów mostowych w rejonie koryta rzeki Odry na przykładzie fundamentu płytowo palowego pylonu mostu MA21 w Rędzinie w ciągu Autostradowej Obwodnicy Wrocławia (A8). Wskazano na potrzebę zastosowania niestandardowej charakterystyki materiałowej podłoża gruntowego. Współpracę przedmiotowego fundamentu z gruntem przeanalizowano jako zagadnienie brzegowo-początkowe...
-
Opracowanie ekspertyzy technicznej dot. nośności kompozytowego przęsła mostu dla pieszych
PublikacjaW opracowaniu przedstawiono charakterystyki materiałów oraz wyniki badań i obliczeń statyczno – wytrzymałościowych przekazanego Gminie Miasta Pruszcz Gdański kompozytowego przęsła mostu dla pieszych wykonanego jako obiekt badawczy w ramach projektu FOBRIDGE pt. ,,Opracowanie kompozytowych przęseł mostów dla pieszych do zastosowania nad drogami GP” współfinansowanego przez Narodowe Centrum Badań i Rozwoju w ramach umowy nr PBS1/B2/6/2013,...
-
Innowacyjny moduł ultradźwiękowy systemu monitoringu technicznego mostu podwieszonego w Rzeszowie
PublikacjaW artykule przedstawiono system monitoringu technicznego konstrukcji mostu podwieszonego nad rzeką Wisłok. System będzie wyposażony w dodatkowy moduł ultradźwiękowy umożliwiający śledzenie degradacji mechanicznej betonu w pylonie mostu. Wczesne wykrywanie stref mikropęknięć, przed pojawieniem się widocznych rys, umożliwia monitorowanie amplitud propagującej fali ultradźwiękowej oraz analizę sygnałów w dziedzinie częstotliwości.
-
Analiza statyczno-wytrzymałościowa mostu podwieszonego przez rzekę Wisłok w Rzeszowie
PublikacjaW artykule przedstawiono problematykę projektowania i analiz związanych z budową mostu drogowego łączącego ulicę Rzecha z ulicą Lubelską.
-
EKSPERTYZA TECHNICZNA NT. TECHNOLOGII MONTAŻU MOSTU PRZEZ WISŁĘ W KAMIENIU
PublikacjaAnalizie poddano rozważane sposoby montażu mostu przez Wisłę w m. Kamień. W celu odzwierciedlenia pracy konstrukcji wykonano z wykorzystaniem MES wykonano szereg modeli obliczeniowych o różnych poziomach dokładności.
-
Analiza przemieszczeń przyczółka mostu posadowionego bezpośrednio w osłonie ścianki szczelnej
PublikacjaWpływ osłony ze ścianki szczelnej wykonanej wokół fundamentu bezpośredniego na przemieszczenia przyczółka i rozkład naprężeń w podłożu gruntowym.
-
Badania in situ i analizy numeryczne mostu typu extradosed w Gdańsku
PublikacjaJednym z najnowszych typów konstrukcji wśród obiektów mostowych są mosty typu extradosed. Pierwsze konstrukcje tego typu powstały w latach 70-tych XX wieku. Stanowią one hybrydę pomiędzy sprężonym mostem belkowym, a mostem podwieszonym. W pracy przedstawiono analizy numeryczne oraz przeprowadzone badania in situ dla mostu typu extradoes w Gdańsku .Przedstawiono założenia, wyniki oraz wnioski z przeprowadzonych badań oraz analiz...
-
Prefabrykacja żelbetowych segmentów duńskiego mostu w Szczecinie – wymagania i realizacja
PublikacjaW artykule opisano produkty wybrane do realizacji budowy drogi dwupasmowej oraz przeprawy mostowej przez Roskilde Fjord w Danii. Omówiono również wyzwania, z jakimi musieli zmierzyć się dostawcy podczas realizacji zamówienia.
-
Wyznaczanie częstości drgań własnych obiektów mostowych na podstawie rejestracji drgań przejeżdżającego pojazdu
PublikacjaW artykule przedstawiono metodę wyznaczenia częstości drgań własnych konstrukcji mostowej wyłącznie poprzez rejestrację drgań przejeżdżającego po niej pojazdu. Symulacje numeryczne przeprowadzono dla trzech schematów statycznych belek. W wyniku analiz zidentyfikowano częstości drgań własnych poprzez wykonanie transformaty Fouriera obliczonych sygnałów przyspieszeń.
-
Określenie przyczyn uszkodzenia śrub w połączeniach nakładek wyciszających na mostowych urządzeniach dylatacyjnych
PublikacjaZakres ekspertyzy technicznej dotyczy elementów uzbrojenia obiektów mostowych w elementy nakładek wyciszających montowanych na dylatacjach mostowych. Celem ekspertyzy jest ocena przyczyn odpadania wspomnianych nakładek i pękania śrub je mocujących części nakładek wyciszających montowanych na dylatacyjnych urządzeniach mostowych zastosowanych w ciągu drogi ekspresowej.
-
Raport z badań podczas próbnego obciążenia konstrukcji odciążającej typu mostowego w km 20,151 LK nr 353 w m. Pobiedziska
PublikacjaW pracy przedstawiono metodykę pomiarów i wyniki badań podczas próbnego konstrukcji odciążającej typu mostowego w km 20,151 LK nr 353 w m. Pobiedziska. Sformułowano wnioski i wydano pinie dotyczącą rzeczywistej pracy konstrukcji i warunków dalszej eksploatacji obiektu.
-
The Towers of Hanoi as a Cyber-Physical System Education Case Study
Publikacjacps
-
A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models
PublikacjaMultiple time models have been proposed for the formalization of hybrid dynamic system behavior. The superdense notion of time is a well-known time model for describing event-based systems where several events can occur simultaneously. Hyperreals provide a domain for defining the semantics of hybrid models that is elegantly aligned with first principles in physics. This paper discusses the value of both time models and shows how...
-
Zaawansowane studium stref zakotwienia systemu podwieszenia Mostu Uniwersyteckiego w Bydgoszczy, cz.I
PublikacjaOpisany w artykule problem dotyczy skutków nadmiernych deformacji stref zakotwienia odciągów linowych, które stwierdzono w pomoście mostu Uniwersyteckiego w Bydgoszczy. Mimo, że most był w eksploatacji przez siedem lat, deformacje zostały zakwalifikowane jako niebezpieczny objaw niedostatecznej nośności tego elementu konstrukcji. Tym samym most został zamknięty dla ruchu. Celem artykułu jest przedstawienie zaawansowanego podejścia...
-
Nadzór naukowy nad projektowaniem i budową mostu przez Wisłę pod Kwidzynem
PublikacjaArtykuł prdstawia rezultaty prac związanych z projektowaniem i budową mostu prez Wisłę
-
Monitoring dojrzewania betonu skrzynki mostu MS3/B DK-16 - sekcja S3.18P
PublikacjaCelem niniejszego opracowania jest przeprowadzenie badań modułów sprężystości betonu klasy C60/75 oraz monitoring zmian temperaturowych w wybranych punktach sekcji S3.18P. System pomiaru temperatury służy także do wyznaczenia rzeczywistych wytrzymałości betonu w trakcie dojrzewania, sformułowania wskazówek dotyczących terminów demontażu deskowań lub weryfikacji terminów rozpoczęcia procesu sprężania konstrukcji.
-
Analiza nośności blachownicowej konstrukcji dźwigara skrzynkowego mostu w czasie nasuwania podłużnego
PublikacjaW referacie opisano konstrukcję przęseł mostu drogowego przez Wisłę w Kamieniu (woj. Lubelskie). Przedstawiono zaawansowane analizy numeryczne dotyczące nośności blachownicowej konstrukcji dźwigara skrzynkowego podczas realizowanego nasuwania podłużnego. W referacie opisano alternatywny projekt nasuwki, który został szczęśliwie zrealizowany. W podsumowaniu zebrano ogólne wnioski dotyczące przyczyn pierwotnych niepowodzeń i przemyślenia...
-
Odpowiedź na Kilka uwag do artykułu nt. Mostu Uniwersyteckiego w Bydgoszczy
PublikacjaW materiale zawarto odpowiedź do artykułu "Kilka uwag do artykułu nt. Mostu Uniwersyteckiego w Bydgoszczy" opublikowanego w ne 1/2023 czasopisma "Mosty" na str. 8.
-
Aspekty technologiczne, organizacyjne i ekonomiczne zastosowania konstrukcji mostów składanych w okresie remontu obiektów komunikacyjnych
PublikacjaW artykule zostały przedstawione wybrane aspekty ekonomiczne, organizacyjne i technologiczne wykorzystania konstrukcji mostów składanych do budowy mostów tymczasowych w okresie remontu obiektów stałych. Autor opiera swoją wiedzę na praktycznych przykładach takich rozwiązań w skali rzeczywistej. Zastosowanie konstrukcji składanych w niektórych przypadkach jest jedyną alternatywą, jeżeli chodzi o zapewnienie przejezdności ważnych...
-
Nadzór naukowy nad procesem projektowania i budowy obiektów mostowych. Wybrane zagadnienia i wnioski
PublikacjaW artykule przedstawiono krytyczne uwagi dotyczące oceny dokumentacji projektowych największych obecnie budowanych obiektów mostowych w Polsce oraz prace związane z doradztwem w czasie budowy. w podsumowaniu sformułowano szereg wniosków dotyczących postępowania administracyjnego w procesie projektowania i budowy obiektów mostowych.
-
Przebudowa mostu kolejowego przez rzekę Pilicę z przystosowaniem do dużych prędkości
PublikacjaJednym z podstawowych założeń modernizacji polskich linii kolejowych jest przystosowanie ich do dużych prędkości ruchu (300 - 350 km/h). Wzrost prędkości ruchu powoduje zwiększenie efektów dynamicznych oddziaływania taboru na konstrukcję. Fakt ten niesie za sobą szereg dodatkowych wymagań stawianych nowym lub modernizowanym obiektom inżynierskim. W referacie przedstawiono proces projektowania i przebudowy mostu nad rzeką Pilicą,...
-
Nośność i osiadanie pylonu mostu podwieszonego przez Martwą Wisłę w Gdańsku.
PublikacjaPrzedstawiono i omówiono wyniki badań statycznych nośności fundamentu palowego pod pylonem mostu podwieszonego w Gdańsku. Wyniki obliczeń dla krzywej osiadania pala pojedynczego i całego fundamentu palowego porównano z rzeczywistmi pomiarami w terenie
-
Międzynarodowe wyróżnienie Amerykańskiego Towarzystwa Inżynierów Budownictwa dla historycznego mostu w Tczewie
PublikacjaPrzedstawiono tło wpisania przedmiotowego mostu do międzynarodowego rejestru zabytków inżynierii budownictwa, jaki od wielu lat prowadzi Amerykańskie Towarzystwo Inżynierów Budownictwa. Nakreślono historię i cechy konstrukcyjne mostu, podkreślając jego przełomowy dla połowy XIX w. charakter. Wyrażono postulat prowadzenia w tej mierze odpowiedniej polityki aby znajdujące się u nas wybitne dzieła mostowe znalazły właściwe uznaie...
-
Montaż mostu podwieszonego przez Martwą Wisłę w Gdańsku - projekt i realizacja
PublikacjaReferat opisuje montaż mostu wantowego przez Martwą Wisłę w Gdańsku. Szczególną uwagę zwraca na metodę montażu wspornikowego. Przegląd problematyki projektowej oraz zagadnień występujących w trakcie budowy w tym system kontroli montażu, to najważniejsze z elementów poruszonych w referacie.
-
Próbne obciążenie drogowego mostu łukowego przez Wisłę w Toruniu. Badania diagnostyczne.
PublikacjaW artykule przedstawiono zakres oraz wyniki badań diagnostyczno-odbiorowych obciążenia próbnego mostu drogowego im. Elżbiety Zawackiej w Toruniu.W zakres testów wchodziły zarówno próby statyczne, jak i dynamiczne. Badania kontrolne obiektu powierzono Zespołowi Laboratorium Badań Terenowych Katedry Mechaniki Budowli i Mostów Politechniki Gdańskiej.
-
ANALIZY OBLICZENIOWE PROJEKTOWANEGO MOSTU DLA PIESZYCH PRZEZ RZ. MOTŁAWĘ W GDAŃSKU
PublikacjaW pracy prezentuje się wybrane analizy aktualnie projektowanej kładki dla pieszych przez rz. Motławę w Gdańsku. Zakres wykonanych obliczeń obejmował analizy statyczno- wytrzymałościowe oraz dynamiczne wraz z określeniem komfortu użytkowania obiektu. Zachowanie kładki sprawdzano na oddziaływania wywołane przez tłum pieszych oraz pod kątem możliwości przejazdu pojazdu serwisowego. Przeprowadzone w środowisku Metody Elementów Skończonych...
-
Badania kontrolne stali konstrukcyjnej dla inwestycji :"Budowa mostu drogowego w Toruniu"
PublikacjaWykonano badania kontrolne składu chemicznego i własności mechanicznych stali zastosowanej na konstrukcje mostu oraz sworznie. Uzyskane wyniki porównano z wartościami podanymi w atestach hutniczych oraz normach.
-
Opracowanie wyników pomiaru przemieszczeń pionowych i odchyleń od pionu słupów w halach "Mostostalu Gdańsk S.A." przy ulicy Marynarki Polskiej 96 w Gdańsku
PublikacjaPomiary okresowe osiadania i wychylenia słupów hali o konstrukcji szkieletowej
-
Opracowanie wyników pomiaru osiadania i odchylenia od pionu słupów stalowych kompleksu hal "Mostostalu Gdańsk S.A." przy ul. Marynarki Polskiej 96 w gdańsku
PublikacjaOkresowe geodezyjne pomiary osiadania i wychylenia słupów stalowych w kompleksie hal przemysłowych.
-
Metoda georadarowa w diagnostyce betonowych obiektów mostowych wzdłuż linii Pomorskiej Kolei Metropolitalnej w Gdańsku
PublikacjaW pracy przedstawiono badania doświadczalne metodą georadarową betonowych obiektów mostowych wzdłuż nowopowstałej linii Pomorskiej Kolei Metropolitalnej (PKM) w Gdańsku. Przedmiotem badań był wiadukt drogowy, ramowo łukowa oraz ramowa kładka dla pieszych. Pomiary wykonano za pomocą zestawu georadarowego Alladin z anteną o częstotliwości emitowanej fali równej 2 GHz. W artykule opisano także podstawy teoretyczne metody georadarowej...
-
Zabezpieczenia antykorozyjne stalowych barierek ochronnych na obiektach mostowych w ujęciu kosztów cyklu ich życia
PublikacjaThe article presents the Life Cycle Costs analysis of steel safety barriers operated in road lane conditions, located on a selected bridge structure. Three corrosion protection systems were proposed, analyzing them in terms of the cost of initial and planned outlays related to maintenance. Based on the LCC analysis for three options, taking into account the 25-year lifetime of the barriers, the optimal solutionwas indicated, i.e....
-
Wybrane problemy teoretyczne związane z projektowaniem i budową Mostu Rędzińskiego we Wrocławiu
PublikacjaW artykule omówiony jest przegląd problemów teoretycznych i odpowiadające im analizy numeryczne wykonane jako część prac konsultingowych dla GDDKiA przy projektowaniu mostu podwieszonego we Wrocławiu
-
Ekspertyza techniczna dotycząca mostu przez rzekę Wisłę im. Grota Roweckiego w Warszawie
PublikacjaPrzedmiotem ekspertyzy jest wykonanie rozszerzonych analiz statyczno-wytrzymałościowych mostu im. Stefana Grota-Roweckiego w Warszawie w układzie konstrukcyjnym zaprojektowanym w ramach Projektu Wykonawczego Zamiennego Przęseł przez Mosty Gdańsk sp. z o.o. Analizie poddano sposób modyfikacji konstrukcji, który ma zapewnić spełnienie zapisów programu funkcjonalno-użytkowego.
-
Modelowanie numeryczne hydrodynamiki jako narzędzie wspomagania oceny odziaływania filarów mostowych na przepływ wody w rzekach
PublikacjaW artykule przedstawiono obliczenia hydrauliczne mostów polegające na wykonaniu numerycznych symulacji przepływu dwuwymiarowego, co pozwala na uzyskanie płaskiego poziomego rozkładu prędkości w rejonie przekroju mostowego. Takie podejście zdecydowanie poprawia jakość odwzorowania hydrodynamiki przepływu w stosunku do tradycyjnych obliczeń hydraulicznych, a jednocześnie jest rozwiązaniem efektywnym. Jako przykłady zastosowania zaproponowanej...
-
Systematic Management of Simulation State for Multi-Branch Simulations in Simulink
PublikacjaSystematic simulation is a technique related and motivated by the formal analysis of hybrid dynamic systems. It combines the exhaustive and conservative nature of traditional model checking with numerical simulation for providing efficient algorithms to manage simulations. Multi-branch simulation is the concept advancing simulation efficiency by reducing the number of state transitions. This paper introduces an approach to implement...