Wyszukiwarka
Filtry
wszystkich: 1242
wybranych: 1129
-
Katalog
- Publikacje 1129 wyników po odfiltrowaniu
- Czasopisma 2 wyników po odfiltrowaniu
- Konferencje 1 wyników po odfiltrowaniu
- Osoby 31 wyników po odfiltrowaniu
- Zespoły Badawcze 3 wyników po odfiltrowaniu
- Kursy Online 64 wyników po odfiltrowaniu
- Wydarzenia 5 wyników po odfiltrowaniu
- Dane Badawcze 7 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: KRYTERIA SEPAROWALNOŚCI
-
Samooczyszczanie przewodów kanalizacyjnych
PublikacjaHydraulika przewodu kanalizacyjnego w warunkach małych napełnień. Analiza warunku samooczyszczania. Przegląd kryteriów. Naprężenie styczne. Konsekwencje zmian średnic.
-
Nonlinear FEM 2D failure onset prediction of composite shells based on 6-parameter shell theory
PublikacjaWithin the framework of the nonlinear 6-parameter shell theory with the drilling rotation and asymmetric stress measures, the modifications of Tsai-Wu and Hashin laminate failure initiation criteria are proposed. These improvements enable to perform first ply failure estimations taking into account the non-symmetric stress measures. In order to check the validity of the proposed criteria, finite element analyses are performed with...
-
Issues of Measuring the Course of Batch Production Processes
PublikacjaIn order to meet demands induced by development of manufacturing processes and production systems, new criteria and indicators that would allow a multiple aspect and realistic rating of batch production process courses are necessary. The objective of this paper is to present the correlation between production processes measurement, its rating and production control, basing on case study analysis from production enterprise. A new...
-
Equivalence scales based on stochastic indifference criterion : the case of Poland
PublikacjaArtykuł przedstawia koncepcję stochastycznych skał ekwiwalentności (SES), która bazuje na kryterium stochastycznej indyferencji. SES jest dowolną funkcją, która transformuje rozkład wydatków określonej grupy gospodarstw domowych w taki sposób, że wynikowy rozkład jest stochastycznie indyferentny wobec rozkładu wydatków grupy gospodarstw odniesienia. Kryterium stochastycznej indyferencji jest także wykorzystane dla opracowania metody...
-
Application of TOPSIS for Selection and Assessment of Analytical Procedures for Ibuprofen Determination in Wastewater
PublikacjaThis paper describes the possible implementation of the Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) as green analytical chemistry metrics tools. TOPSIS is one of the multi-criteria decision analysis (MCDA) tools that is applied in the selection of the best alternative from many possible. In this case we have applied it to assess the nineteen analytical procedures for ibuprofen determination in wastewater...
-
Application of multicriteria decision analysis in solvent type optimization for chlorophenols determination with a dispersive liquid–liquid microextraction
PublikacjaThis study presents a novel support tool for the optimization and development of analytical methods. The tool is based on multi-criteria decision analysis (MCDA), namely the Technique for Order of Preference by Similarity to the Ideal Solution (TOPSIS), that allows users to rank possible solutions according to their requirements. In this study, we performed rankings of pairs of eight extraction and three dispersive solvents used...
-
Agile Requirements Prioritization in Practice: Results of an Industrial Survey
PublikacjaAgile software development stresses the importance of providing the customer with a product of a maximized business value. To achieve that, requirements prioritization is used. Agile development methods like Scrum define guidelines for prioritization, however practitioners do not necessarily have to follow them. Our goal was to investigate the industry practice related to requirements prioritization process, including its timing,...
-
Tradycyjne i alternatywne kanalizacyjne studzienki rewizyjne. Część 1.
PublikacjaPrzedstawiono historyczny rozwój studzienki rewizyjnej. Omówiono wymagania materiałowe. Przedstawiono klasyfikację wg kryterium masy z uwzględnieniem wyporu nawodnionego podłoża.
-
A probabilistic model of envirinmental safety of ship power plant.
PublikacjaPrzedstawiono probabilistyczne podejście do oceny bezpieczeństwa środowiskowego siłowni statku. Wyznaczono miarę ryzyka oraz kryterium ryzyka środowiskowego siłowni statku.
-
Bewertung der qualität von online lernmodulen = Próba oceny jakości e-Lerningowych modułów online
PublikacjaW pracy dokonano klasyfikacji rozwiązań modułów (systemów) e-Learning wg. sposobu ich tworzenia (tj. systemy autorskie, komercyjne, otwarte, zamknięte, standardowe, niestandardowe), funkcjonalności, interaktywności, obciążania sieci. Przedstawiono również wybrane kryteria (tj. merytoryczne, dydaktyczne i multimedialne) oceny jakości modułów dostępnych online pod kątem ich wykorzystywania w systemach zdalnego nauczania. Na zakończenie...
-
Uczenie poprzez auto-kodowanie w celu redukcji wymiarowości obrazu w zadaniach zaganiania
PublikacjaPraca dotyczy redukcji wymiarowości w problemie zaganiania (spychania) gromady złożonej z dużej liczby dynamicznych obiektów (ludzi, zwierząt, cząstek chemicznych, itp.) przez zespół aktywnych agentów. Proces zaganiania powinien spełniać określone kryteria, a algorytmy działania agentów uzyskiwane są na drodze uczenia. Przy dużej liczbie obiektów w gromadzie powstaje potrzeba redukcji wymiarowości poprzez ekstrakcję cech reprezentujących...
-
Analiza czynników wpływających na powstanie wybranych wad w szynach kolejowych
PublikacjaRosnąca liczba wykrywanych wad kontaktowo – zmęczeniowych i jednocześnie malejąca liczba wykrywanych wad 421 pęknięcie poprzeczne spoiny termitowej powoduje, że spada efektywność badań defektoskopowych metodą ultradźwiękową, a dotychczas stosowane kryteria oceny trwałości (przydatności) eksploatacyjnej szyn kolejowych ulegają stopniowo dezaktualizacji. Tym samym przed diagnostami stają nowe wyzwania. W artykule przedstawiono listę...
-
ANALIZA CZYNNIKÓW WPŁYWAJĄCYCH NA POWSTAWANIE WYBRANYCH WAD W SZYNACH KOLEJOWYCH
PublikacjaRosnąca liczba wykrywanych wad kontaktowo – zmęczeniowych i jednocześnie malejąca liczba wykrywanych wad 421 pęknięcie poprzeczne spoiny termitowej powoduje, że spada efektywność badań defektoskopowych metodą ultradźwiękową, a dotychczas stosowane kryteria oceny trwałości (przydatności) eksploatacyjnej szyn kolejowych ulegają stopniowo dezaktualizacji. Tym samym przed diagnostami stają nowe wyzwania. W artykule przedstawiono listę...
-
Analysing By-Products Interaction as an Industry Resource of Circular Economy in Ukraine and the World
PublikacjaThe paper analyses existing and current scientific developments and literature sources, which show the advantages and disadvantages of many different influences of waste in Ukraine and other countries of Europe and the world. As a research result, stable connections have been established between the factors and criteria in assessing the by-product interaction as an industry resource. In our research, we used programs R.Studio and...
-
High-cycle fatique criterion for anisotropic metals under multiaxial constant and periodic loads
PublikacjaPrzedmiotem rozważań jest okresowe naprężenie, którego kartezjańskie składowe są dane w postaci szeregów Fouriera. Dla uwzględnienia wpływu składowych stałych zastosowano zmodyfikowaną formułę Soderberga. Zdefiniowano naprężenie równoważne o synchronicznych składowych i sformułowano kryterium ograniczonej trwałości zmęczeniowej. Kryterium to obejmuje warunki wytrzymałości statycznej i bezpieczeństwa zmęczeniowego z zakresie wysokocyklowym...
-
Fatigue ''safe-life'' criterion for metal elements under multiaxial constant and periodic loads.
PublikacjaRozpatrywane jest okresowe naprężenie którego kartezjańskie składowe są zadane w postaci szeregów Fouriera. Dla uwzględnienia naprężenia średniego wykorzystano uogólnioną formułę Soderberga dla materiałów ciągliwych. Zdefiniowano naprężenie równoważne o synchronicznych składowych i sformułowano kryterium zmęczenia, które obejmuje warunki zarówno wytrzymałości statycznej jak i bezpieczeństwa zmęczeniowego. Kryterium to zawiera stałe...
-
Zasady projektowania wodnych węzłów ciepłowniczych / E. Zaborowska
PublikacjaKsiążka zawiera zasady projektowania węzłów ciepłowniczych, informacje na temat urządzeń i kryteriów ich doboru, schematy ideowe z objaśnieniami, przykłady obliczeniowe.
-
Problemy zarządzania bezpieczeństwem obiektu przemysłowego podwyższonego ryzyka
PublikacjaW rozdziale przedstawiono wybrane zagadnienia dotyczące zarządzania bezpieczeństwem w zautomatyzowanym złożonym obiekcie podwyższonego ryzyka. Pokazano, że ryzyko strat można istotnie ograniczyć stosując odpowiednie rozwiązania techniczne w postaci warstwowego systemu zabezpieczeń, który obejmuje podstawowy system sterowania procesem, człowieka-operatora i system automatyki zabezpieczeniowej. Podkreślono znaczenie właściwego zaprojektowania...
-
COMPARISION OF TWO WIND FARMS CONSTRUCTION PROJECTS USING F-AHP METHODP
PublikacjaReferat przedstawia porównanie projektów dwóch farm wiatrowych. Częścią referatu jest opis kryteriów, które muszą zostać uwzględnione w trakcie analizy porównawczej projektów budowy FW. Tego typu analiza znajduje zastosowanie w przypadku zakupu projektów inwestycyjnych będących w fazie przygotowania. Spowodowane jest to koniecznością uwzględnienia wymogów określonych w ustawodawstwie polskim...
-
Non-dimensional thermodynamic criterion for selection of dry working fluid for organic Rankine cycle
PublikacjaW pracy przedstawiono bezwymiarowe kryterium termodynamiczne do selekcji suchych czynników roboczych dla organicznego obiegu Rankina, które umożliwia wstępną selekcję potencjalnych czynników.
-
Automatyzacja procesu analizy odręcznych schematów blokowych i oceny ich estetyki
PublikacjaW pracy przedstawiono problem konwersji ręcznie tworzonych rysunków technicznych na postać cyfrową. Skupiono się na odręcznie rysowanych schematach blokowych, ich analizie i estetycznej prezentacji. Zaprezentowano problemy wstępnego przetwarzania i segmentacji rysunków odręcznych i podano propozycje ich rozwiązania. Do celów analizy schematów blokowych zaproponowano algorytmy rozpoznawania elementów schematu. Podczas interpretacji...
-
Approximate and analytic flow models for leak detection and identification
PublikacjaThe article presents a comprehensive quantitative comparison of four analytical models that, in different ways, describe the flow process in transmission pipelines necessary in the task of detecting and isolating leaks. First, the analyzed models are briefly presented. Then, a novel model comparison framework was introduced along with a methodology for generating data and assessing diagnostic effectiveness. The study presents basic...
-
Węzły grupy C
PublikacjaDrogi ogólnodostępne, zazwyczaj dwupasmowe dwukierunkowe, stanowią w Polsce ponad 95% łącznej długości dróg publicznych i ogromna większość punktów przecięć tych dróg to skrzyżowania zwykłe lub skanalizowane. Jednakże niektóre z nich są projektowane jako węzły. Najprostszym i najtańszym rozwiązaniem jest wybudowanie węzła grupy C. Są to takie węzły których główne potoki krzyżują się między sobą bezkolizyjnie, a na każdej z krzyżujących...
-
Ocena wybranych programów lojalnościowych Grupy Hotelowej Orbis
PublikacjaW artykule dokonano analizy i oceny wybranych programów lojalnościowych stosowanych przez Grupę Hotelową Orbis. Na początku przedstawiono główne założenia dotyczące programu lojalnościowego. Następnie zaprezentowano trzy programy lojalnościowe poddane analizie. Przedstawiono nazwę programu, jego formę, marki hoteli go stosujące, korzyści dla uczestników oraz uwagi dotyczące programu. Kolejnym etapem była ocena rozpatrywanych programów....
-
Instalowanie kompensatorów w sieci przesyłowej KSE
PublikacjaArtykuł porusza zagadnienia dotyczące regulacji poziomu mocy biernej w Krajowym Systemie Elektroenergetycznym z wykorzystaniem najnowszych typów kompensatorów statycznych bocznikowych należących do grupy układów FACTS. W artykule przybliżono stosowane na świecie rozwiązania kompensatorów statycznych bocznikowych. Przedstawiono wyniki badań dotyczących zastosowania tych kompensatorów w KSE. Pokazano wpływ miejsca zainstalowania...
-
Evaluation of the reference fuel consumption and CO2 emission of vehicle with using of the map of operating conditions for selected agglomeration
PublikacjaZaproponowana w pracy metoda tworzenia mapy warunków eksploatacji dla wybranej aglomeracji może zostać przeprowadzona przy wykorzystaniu tanich i prostych w obsłudze urządzeń. Podstawowym urządzeniem badawczym jest pojazd samochodowy wyposażony w system pomiaru położenia GPS z układem korekty wskazań wysokości i rejestracji parametrów jazdy. Zamieszczony w pracy przykład wykorzystania mapy warunków eksploatacji pokazuje możliwości...
-
Identyfikacja parametrów detektora SIFT dla problemu georeferencjonowania zobrazowań z platformy UAV
PublikacjaW pracy porównano dokładność procesu georeferencjonowania zdjęć zarejestrowanych przy pomocy urządzenia mikro UAV (ang. Unmanned Aerial Vehicle) w zależności od konfiguracji detektora cech SIFT (ang. Scale-Invariant Feature Transform. Na potrzeby eksperymentów wykorzystano implementację detektora vlfeat, a porównanie przeprowadzono na zbiorze zobrazowań pochodzących z lotów, które odbyły się w lipcu 2011 r. w terenie słabo zurbanizowanym....
-
Wykorzystanie sieci nieuronowych do przyspieszenia przepływowych obliczeń numerycznych - wybór geometrii wieńca kierowniczego turbiny parowej
PublikacjaReferat stanowi wprowadzenie do dalszych prac nad rozprawą doktorską. W referacie przedstawiono problem wyboru geometrii wieńca kierowniczego turbiny parowej do dalszych obliczeń. Pokazano kryteria według których dokonywano wyboru spośród różnych typów geometrii.Krótko scharakteryzowano poszczególne typy wieńców turbinowych: wieńce z łopatkami typu PLK,wieńce z łopatkami typu PKH, stopnie reakcyjne oraz ostatnie stopnie części...
-
Ocena przebiegu procesów produkcyjnych
PublikacjaW artykule poruszono zagadnienie oceny przebiegu procesów produkcyjnych. Zaprezentowano możliwość oceny procesu nie tylko pod kątem oceny technicznej, ale również przez kryteria ekonomiczne, rynkowe, społeczne oraz ekologiczne, dzięki czemu dokonuje się kompleksowej oceny procesu. Podczas realizacji badań w przedsiębiorstwie X, mających na celu ocenę przebiegu procesu dla stanowiska roboczego opracowano wielokryterialny miernik...
-
Badanie metod szeregowania danych w systemie WiMAX Mobile z wykorzystaniem standaryzowanych modeli kanału
PublikacjaW referacie omówiono podstawowe założenia systemu WiMAX Mobile oraz przedstawiono i przeanalizowano wyniki badań symulacyjnych wybranych metod szeregowania danych i przydziału podnośnych. W oparciu o uzyskane wyniki badań, dokonano analizy porównawczej dwóch popularnych metod szeregowania danych tj. WRR i PF oraz własnej metody CDFQ, wykorzystującej w procesie kolejkowania i przydziału zasobów informację...
-
Budowa 3-osiowej maszyny frezującej CNC, wraz z doborem parametrów regulatorów w torach sterowania serwomechanizmów
PublikacjaW pracy przedstawiono proces tworzenia stanowiska laboratoryjnego - maszyny frezującej CNC, której osie poziome napędzane są poprzez serwomechanizmy, zaś oś pionowa napędzana jest przez silnik skokowy. Budowę stanowiska kończy proces programowania maszyny, wraz z doborem parametrów regulatorów w torach sterowania serwomechanizmów. W tym celu zostały wykorzystane kryteria: Hurwitza oraz optimum symetrii. Rezultaty strojenia regulatorów...
-
Analiza możliwości koordynacji algorytmów działania regulatora transformatora blokowego i regulatora generatora
PublikacjaArtykuł przedstawia wady i zalety różnych rozwiązań podziału kryteriów regulacji pomiędzy regulator generatora a regulator transformatora blokowego. Rozważania teoretyczne zilustrowane zostały wynikami badań modelowych.
-
Koordynacja algorytmów działania regulatora transformatora blokowego z wieloparametrowym regulatorem generatora
PublikacjaArtykuł przedstawia wady i zalety różnych rozwiązań podziału kryteriów regulacji pomiędzy regulator generatora a regulator transformatora blokowego. Rozważania teoretyczne zilustrowane zostały wynikami badań modelowych.
-
Problem energooszczedności i termoizolacyjności budynków mieszkalnych
PublikacjaW artykule omówiono przyczyny zawilgocenia budynków mieszkalnych mimo spełnienia kryteriów energooszczędności i termoizolacyjności. Wyniki analizy cieplno-wilgotnościowej przeprowadzono w oparciu o program MES.
-
Structural Design and Sensitivity Analysis of Semi-Rigid Pavement of a Motorway
PublikacjaThis paper presents application of mechanistic-empirical methods in design of semi-rigid pavement for a section of a motorway in Poland. The stage construction was assumed. Three fatigue criteria were applied in the design. For asphalt fatigue cracking and subgrade soil the criteria from the Asphalt Institute (1981) were applied. For fatigue cracking of cement stabilized bases the Dempsey (1984) and De Beer (1992) criteria were...
-
Exploratory analysis and ranking of analytical procedures for short-chain chlorinated paraffins determination in environmental solid samples
PublikacjaShort-chain chlorinated paraffins are ones of the most recent chemical compounds that have been classified as persistent organic pollutants. They have various applications and are emitted to the environment. Despite the fact, that the content levels of these compounds in the environmental compartments should be monitored, there is still a lack of well-defined and validated analytical procedures, proposed or suggested by the national...
-
Low-order models from FD-TD time samples
PublikacjaNiniejszy artykuł zawiera opis szeregu kryteriów pozwalających na automatyczne tworzenie wysokiej jakości modeli sygnałów czasowych uzyskanych w drodze symulacji obwodów wysokiej częstotliwości metodą różnic skończonych w dziedzinie czasu. Podany jest szczegółowy opis selekcji kluczowych parametrów modeli takich jak wybór długości ciągu użytego do konstrukcji modeli, współczynnika decymacji silnie nadpróbkowanego przebiegu w dziedzinie...
-
Optimal inputs in pharmacokinetics model's identification
PublikacjaW pracy przedstawiono zagadnienie optymalizacji pobudzeń dla identyfikacji parametrycznej kompartmentowych modeli zmiennych stanu SISO systemów farmakokinetycznych. Zaimplementowano kryterium w postaci śladu macierzy informacyjnej Fishera (kryterium czułościowe). Rozważono klasę pobudzeń dopuszczalnych o ograniczonej energii, gdyż w przypadku wielu leków zbyt szybkie ich podawanie wiąże się z występowaniem skutków ubocznych. Zadanie...
-
Fracture prediction in flat PMMA notched specimens under tension - effectiveness of the equivalent material concept and fictitious material concept
PublikacjaThe fracture of notched elements under mode I loading (tension) remains an inexhaustible research topic, especially when it comes to the fracture of thermoplastic materials such as polymethylmethacrylate (PMMA), which experience considerable plastic strains under tension. The paper points out that traditional brittle fracture criteria such as mean stress (MS) or maximum tangential stress (MTS) criteria used to predict this phenomenon do...
-
Planowanie obsług profilaktycznych złożonego obiektu technicznego
PublikacjaZdefiniowano kryterium efektywności eksploatacji złożonego obiektu technicznego, przedstawiono koncepcję prognozowania zasobów godzin pracy w zmieniających się warunkach eksploatacji oraz modele planowania obsług profilaktycznych obiektów.
-
Analiza technologiczności konstrukcji uchwytów frezarskich
PublikacjaPrzedstawiono analizę technologiczności konstrukcji uchwytów frezarskich. Zdefiniowano wskaźniki ilościowe oceny technologiczności konstrukcji. Wskazano na istotność przyjętych kryteriów, szczególnie we wstępnym etapie projektowania pomocy warsztatowych.
-
Nie lekceważ barów. Armatura na kanalizacyjnych przewodach ciśnieniowych
PublikacjaProblemy stosowania armatury na sieciach wodociągowych. Nadrzędność elementu wysokości ciśnienia. Jakość armatury. Problemy minimalizacji ceny, kryterium masy. Paradoks niskiej ceny i wysokich kosztów eksploatacji.
-
Optymalizacja kosztów wytwarzania Kwm metodą Monte Carlo.
PublikacjaDokładność wykonania koordynacyjnych wymiarów montażowych (KWM) konstrukcji prętowej może stanowić kryterium optymalizacji kosztów wytwarzania konstrukcji stalowej. Niniejsza praca dotyczy optymalizacji tolerancji KWM metodą Monte Carlo.
-
Dylematy wyboru geosyntetyków w konstrukcjach
PublikacjaPrzedstawiono problemy wyborudylematy związane z wyborem rodzaju konstrukcji oraz rodzaju Przedstawiono problemy związane z wyborem wyrobu geosyntetycznego z uwzględnieniem kryteriów technicznych i ekoniomicznych możliwych rozwiązań.
-
Energooszczędne sterowanie maszynami z magnesami trwałymi
PublikacjaPrzedstawiono klasyfikację silników z magnesami trwałymi i pokazano wybrane metody sterowania. Zaprezentowano bezczujnikowe sterowanie silnikiem bezszczotkowym prądu stałego. Podano kryteria umożliwiające energooszczędne sterowanie silnkiem przez optymalny wybór kąta przełączeń zasilanych faz. Zaprezentowano układ sterowania silnikiem z zagłębionymi magnesami wskazując zmienne modelu multiskalarnego jako zmienne stanu korzystniejsze...
-
Planowanie struktury procesu technologicznego z zastosowaniem obróbki nagniataniem w elastycznie zautomatyzowanej produkcji.
PublikacjaW artykule ujęto problemy z zakresu planowania struktury procesu technologicznego w warunkach elastycznie zautomatyzowanej produkcji ze względu na zastosowaną obróbkę nagniataniem. We wstępie określono współczesne tendencje z zakresu komputerowej wymiany danych konstrukcyjno-technologicznych w obszarze technicznego przygotowania produkcji ze szczególnym uwzględnieniem planowania struktury procesu technologicznego. Określono kryteria...
-
Energooszczędne sterowanie maszynami z magnesami trwałymi
PublikacjaPrzedstawiono klasyfikację silników z magnesami trwałymi i pokazano wybrane metody sterowania. Zaprezentowano bezczujnikowe sterowanie silnikiem bezszczotkowym prądu stałego. Podano kryteria umożliwiające energooszczędne sterowanie silnikiem przez optymalny wybór kąta przełączeń zasilanych faz. Zaprezentowano układ sterowania silnikiem z zagłębionymi magnesami wskazując zmienne modelu multiskalarnego jako zmienne stanu korzystniejsze...
-
Napawanie elementów wymiennika ciepła austenitycznym drutem proszkowym
PublikacjaNa potrzeby przemysłu energetycznego produkuje się wymienniki ciepła przeznaczone do eksploatacji w warunkach agresywnych chemicznie, np. w środowisku siarkowodoru. Z przyczyn ekonomicznych często stosuje się w takim przypadku materiały bimetaliczne wytwarzane procesami napawania. W artykule przedstawiono wyniki badań nieniszczących, pomiarów twardości, analizy składu chemicznego, pomiarów ferrytu delta oraz badań makro- i mikroskopowych...
-
Fatigue ''safe-life'' criterion for metal elements under multiaxial static and dynamic random loads.
PublikacjaRozpatrywane jest stacjonarne naprężenie, którego kartezjańskie składowe są zadane w postaci sumy losowej wartości średniej i procesu stochastycznego o znanych charakterystykach probabilistycznych. Dla uwzględnienia naprężenia średniego wykorzystano uogólnioną formułę Soderberga dla materiałów ciągliwych. Zdefiniowano naprężenie równoważne o okresowych (w sensie średniokwadratowym) składowych i sformułowano kryterium zmęczenia,...
-
Integrity level verification for safety-related functions
PublikacjaThis article describes methods for safety integrity level (SIL) verification of safety-related functions with regard to probabilistic criteria given international standards IEC 61508 and IEC 61511. These functions are to be realized using the electrical, electronic and programmable electronic (E/E/PE) systems or safety instrumented systems (SIS). Some methods are proposed for quantitative probabilistic modelling taking into account...