Filters
total: 949
-
Catalog
- Publications 638 available results
- Journals 2 available results
- People 25 available results
- Inventions 4 available results
- Projects 14 available results
- Laboratories 3 available results
- Research Teams 3 available results
- Research Equipment 1 available results
- e-Learning Courses 51 available results
- Events 45 available results
- Open Research Data 163 available results
Search results for: GRAF SKIEROWANY
-
Energy Management of Microgrid System
PublicationW artykule przedstawiono system sterowania rozproszonych źródeł energii (DER) w oparciu o protokół Ethernet POWERLINK. Autorzy opracowali metody komunikowania się z systemu Zarządzania Energią z przekształtnikami energoelektronicznymi w system zwany mikrosiecią (Microgrid). W artykule przedstawiono optymalny podział mocy pomiędzy źródłami wytwórczymi a obciążeniem. System ten składa się z: kogeneratora z silnikiem na gaz ziemny...
-
Grupy producenckie jako beneficjenci restrukturyzacji rynków rolnych
PublicationW artykule przedstawiono zagadnienie integracji rynku na przykładzie funkcjonowania grup producenckich na rynkach rolnych, ze szczególnym uwzględnieniem roli producentów zbóż. Grupy producenckie ze względu na swoje zalety są ważnym podmiotem wokół którego można by stworzyć dobrze funkcjonujący system skupu i przechowalnictwa zbóż. Grupy producenckie działając w otoczeniu instytucjonalnym agrobiznesu są w kręgu oddziaływania różnych...
-
Differential scanning calorimetry as a tool to assess the oxidation state of cold-pressed oils during shelf-life
Publication -
Quantitative determination of titin and nebulin in poultry meat by SDS-PAGE with an internal standard
Publication -
Influence of Seeds’ Age and Clarification of Cold-Pressed Raspberry (Rubus idaeus L.) Oil on the DSC Oxidative Stability and Phase Transition Profiles
Publication -
Attractors of dissipative homeomorphisms of the infinite surface homeomorphic to a punctured sphere
PublicationA class of dissipative orientation preserving homeomorphisms of the infinite annulus,pairs of pants, or generally any infinite surface homeomorphic to a punctured sphere isconsidered. We prove that in some isotopy classes the local behavior of such homeomor-phisms at a fixed point, namely the existence of so-called inverse saddle, impacts thetopology of the attractor — it cannot be arcwise connected
-
Shub’s conjecture for smooth longitudinal maps of S^m
PublicationLet f be a smooth map of the m-dimensional sphere Sm to itself, preserving the longitudinal foliation. We estimate from below the number of fixed points of the iterates of f , reduce Shub’s conjecture for longitudinal maps to a lower dimensional classical version, and prove the conjecture in case m = 2 and in a weak form for m = 3.
-
Generating sequences of Lefschetz numbers of iterates
PublicationDu, Huang and Li showed in 2003 that the class of Dold–Fermat sequences coincides with the class of Newton sequences, which are defined in terms of socalled generating sequences. The sequences of Lefschetz numbers of iterates form an important subclass of Dold–Fermat (thus also Newton) sequences. In this paper we characterize generating sequences of Lefschetz numbers of iterates.
-
Periodic Points for Sphere Maps Preserving MonopoleFoliations
PublicationLet S^2 be a two-dimensional sphere. We consider two types of its foliations with one singularity and maps f:S^2→S^2 preserving these foliations, more and less regular. We prove that in both cases f has at least |deg(f)| fixed points, where deg(f) is a topological degree of f. In particular, the lower growth rate of the number of fixed points of the iterations of f is at least log|deg(f)|. This confirms the Shub’s conjecture in...
-
Periodic points of latitudinal maps of the $m$-dimensional sphere
PublicationLet f be a smooth self-map of the m-dimensional sphere Sm. Under the assumption that f preserves latitudinal foliations with the fibres S1, we estimate from below the number of fixed points of the iterates of f. The paper generalizes the results obtained by Pugh and Shub and by Misiurewicz.
-
Topological-numerical analysis of a two-dimensional discrete neuron model
PublicationWe conduct computer-assisted analysis of a two-dimensional model of a neuron introduced by Chialvo in 1995 [Chaos, Solitons Fractals 5, 461–479]. We apply the method of rigorous analysis of global dynamics based on a set-oriented topological approach, introduced by Arai et al. in 2009 [SIAM J. Appl. Dyn. Syst. 8, 757–789] and improved and expanded afterward. Additionally, we introduce a new algorithm to analyze the return times...
-
Anonymous agreed order multicast: performance and free riding
PublicationPrzedstawiono protokół rozgłaszania wiadomości dla sieci lokalnych z usługą 1C, zapewniający całkowite uporządkowanie wiadomości przy zachowaniu anonimowości stacji. Wykorzystywane są raporty zawierające grafy częściowego uporządkowania wiadomości, otrzymywane na podstawie kolejności odbioru i wnioskowania o bezpośrednim następstwie par wiadomości. Wskazano, że kolektywna odpowiedzialność za utrzymanie stałego rytmu raportów sprzyja...
-
Toxoplasma gondii: Chimeric Dr fimbriae as a recombinant vaccine against toxoplasmosis
PublicationW publikacji przedstawiono protekcyjne i immunogenne właściowści chimerycznych fimbrii typu Dr zawierających sekwencje epitopowe antygenów SAG1, MAG1 oraz GRA1 Toxoplasma gondii. Uzyskane wyniki porównano z właściwościami immunogennymi antygenowych białek rekombinantowych oraz poliwalentnego antygenu natywnego. Antygeny rekombinantowe indukują silną odpowiedź immunologiczną i w 89% zapobiegają formowaniu się cyst w mózgu myszy....
-
Programowanie dynamiczne w rozwiązywaniu problemów szeregowania zadań w systemach o acyklicznej strukturze
PublicationRozważono rozrzedzone systemy niepodzielnych zadań dwuprocesorowych o jednostkowych długościach operacji oraz systemy maszyn dedykowanych (open shop,flow shop, mixed shop) o operacjach zero-jedynkowych. Przedstawiono rodzinę wielomianowych algorytmów opartych na programowaniu dynamicznym, pozwalających na znalezienie optymalnego uszeregowania względem szerokiej rodziny funkcji kryterialnych. Stopień rozrzedzenia systemu zdefiniowano...
-
Ocena wrażliwości na fluorochinolony drobnoustrojów izolowanych od pacjentów z zakażeniami układu moczowego leczonych w warunkach ambulatoryjnych
PublicationWykazano, że drobnoustroje powodujące zakażenia układu moczowego u pacjentów ambulatoryjnych są nadal wrażliwe na fluorochinolony; dotyczy to jednak drobnoustrojów z rodziny Enterobacteriacae. Natomiast w przypadku zakażeń drobnoustrojami Gram-dodatnimi leki te mogą okazać się nieskuteczne. Stwierdzono silne działanie bakteriobójcze preparatu Betadine na wszystkie badane izolaty. Uzyskano redukcję liczby żywych bakterii w zawiesinie...
-
Escherichia coli - zapomniany patogen posocznic
PublicationPrzedstawiono próbę retrospektywnej analizy częstości występowania bakteriemii Gram-ujemnych, wywołanych przez E. coli u chorych hospitalizowanych w ośmiu grupach oddziałów klinicznych SPSK1 ACK AM w Gdańsku w latach 2002-2004. Dokonano oceny częstości występowania bakteriemii o etologii E. coli, liczby zgonów związanych bezpośrednio z posocznicą, analizy potencjalnych wrót zakażenia oraz analizy lekowrażliwości szczepów E. coli...
-
Metoda szybkiego wyznaczania par węzłowo rozłącznych tras dla ochrony transmisji unicast
PublicationW celu ochrony transmisji przed awarią węzłów/łączy wykorzystuje się alternatywne trasy transmisji. Jednakże, złożoność obliczeniowa dostępnych algorytmów doboru tras rozłącznych często istotnie wstrzymuje producentów sprzętu od implementacji tychże rozwiązań. W pracy prezentujemy nowe podejście wyznaczania par rozłącznych tras bazujące na transformacji grafu sieci w meta strukturę. Wyniki badań odnośnie czasu wyznaczania tras...
-
Network Approach to Increments of RR-intervals for Visualization of Dynamics of Cardiac Regulation
PublicationThe transition network for RR -increments is pre- sented in a directed and weighted graph, with vertices represent- ing RR -increments and edges corresponding to the order in a sequence of increments. The adjacency matrix and the transition matrix of this network provide a graphical tool which could be useful in the assessment of cardiac regulation. As an example, the method is applied in detecting differences between diurnal activity...
-
Temporal Changes in Complexity of Cardiovascular Regulation during Head-Up Tilt Test by Entropic Measures of Fluctuations of Heart Period Intervals and Systolic Blood Pressure
PublicationTemporal changes in complexity of cardiovascular regulation during head-up tilt test by entropic measures of fluctuations of heart period intervals and systolic blood pressure
-
Lefschetz periodic point free self-maps of compact manifolds
PublicationLet f be a self-map of a compact connected manifold M. We characterize Lefschetz periodic point free continuous self-maps of M for several classes of manifolds and generalize the results of Guirao and Llibre [J.L.G. Guirao, J. Llibre, On the Lefschetz periodic point free continuous self-maps on connected compact manifolds, Topology Appl. 158 (16) (2011) 2165-2169].
-
Parallel scheduling by graph ranking
PublicationNr dokum.: 73017Praca dotyczy jednego z nieklasycznych modeli kolorowania grafów - uporządkowanego kolorowania. Celem było uzyskanie wyników, które mogo być wykorzystane w praktycznych zastosowaniach tego modelu, do których należą: równoległe przetwarzanie zapytań w relacyjnych bazach danych, równoległa faktoryzacja macierzy metodą Choleskiego, równoległa asemblacja produktu z jego części składowych. W pracy wskazano uogólnienia...
-
Zachowania klientów na rynku usług edukacyjnych szkół wyższych
PublicationCoraz trudniejsze warunki funkcjonowania na rynku usług edukacyjnych szkół wyższych powodują, że uczelnie zmuszone są do podejmowania działań marketingowych skierowanych do swoich klientów. Podstawą podejmowania tych działań jest niewątpliwie znajomość zachowań klientów. Początkowym etapem relacji pomiędzy uczelnią i jej klientami, jakimi są studenci, jest wybór uczelni i kierunku studiów przez kandydatów na studia. Znajomość zachowań...
-
Akwarele
PublicationMalując dążę do ukazania indywidualnego oblicza jakim rzeczy do mnie przemawiają. Jednak pomiędzy intencją, a jej malarską interpretacją stoi akwarelowa technologia z jej regułami i specyfiką. Ta fascynująca gra możliwości i ograniczeń odbywa sie pomiędzy spontanicznym gestem mokrego pedzla a kontrolą jego styku z powierzchnią papieru.
-
A predictive estimation based control strategy for a quasi-resonant dc-link inverter
PublicationIn this paper the predictive estimation based control strategy for a quasi-resonant dc link inverter (PQRDCLI) is developed. Instead of direct measurement of dc link input inverter current – its estimation with one step prediction is applied. The PQRDCLI fed induction motor, controlled with a predictive current estimation stabilized inverter output voltage slopes independently of load. Moreover, reduction of overvoltage spikes...
-
Synthetic Principles Determining Local Organization of Copolyesters Prepared from Lactones and Macrolactones
PublicationA highly effective and facile technique for catalytic ring-opening copolymerization (cROP) of lactones viz. ε- caprolactone and ε-decalactone with ω-pentadecalactone is being described. The reactions were mediated by Zn- and Cabased tridentate Schiff base complexes and benzyl alcohol as initiator. The catalysts were successfully employed for the preparation of numerous block and random copolymers. To unravel the composition of...
-
Evolutionary approach to solving multi-ship encounter situations
PublicationW artykule wprowadzono nowe podejście do rozwiązywania sytuacji spotkań wielu statków poprzez połączenie założeń teorii gier z programowaniem ewolucyjnym. Spotkanie wielu statków jest zamodelowane jako gra rozgrywana przez ''myślących graczy'' - statki o różnych, potencjalnie zmiennych strategiach. Rozwiązanie - zbiór kooperujących (niekolidujących) trajektorii jest znajdowane za pomocą algorytmu ewolucyjnego.
-
Detection of roles of actors in social networks using the properties of actors' neighborhood structure.
PublicationArtykuł opisuje metodę identyfikacji ról aktorów sieci społecznej. Metoda ta może być szczególnie przydatna w sieciach społecznych, o których posiadamy ograniczoną wiedzę, głównie zawężoną do lokalnych powiązań pomiędzy aktorami. Przedstawiona w artykule metoda korzysta z grafu relacji społecznych, algorytmu identyfikacji ról oraz zbioru grafów wzorców relacji. Rozwiązanie zostało przetestowane w społeczności użytkowników serwisu...
-
Żywiołowe procesy urbanizacji w strefie podmiejskiej aglomeracji gdańskiej = Uncontrolled urbanization processes in the suburban area of the Gdańsk agglommeration
PublicationAutor przedstawia wyniki badań procesów urbanizacji w gminach otaczających miasto aglomeracji gdańskiej, prowadzonych w 2001 r. (szczegółowo dla 9 gmin za okres kilku lat) i w 2005 r według gmin (w szerszym zakresie przestrzennym i czasowym - 15 lat). Zbadano skalę zjawiska i jego rozkład przestrzenny. Stwierdzono nasilenie się procesu. Wskazano uwarunkowanie zjawiska, w tym: bierną politykę przestrzenną gmin, grak strategicznego...
-
Emerging linezolid-resistant, vancomycin resistant Enterococcus faecium from a patient of a haematological unit in Poland.
PublicationOksazolidynowy antybiotyk, linezolid, jest stosowany w terapii infekcji powodowanych przez różne Gram-dodatnie bakterie, włączając w to vankomycyno-oporne enterokoki (VRE). Praca pokazuje po raz pierwszy w Polsce izolację szczepu Enterococcus faecium (LRVREF)opornego na linezolid oraz vankomycynę. Stosując techniki PCR-RFLP regionu rDNA i allelo specyficzny PCR domeny V regionu 23S rDNA wykazano obecność mutacji G2576U, identyfikowanej...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
A note on fast approximate backbone coloring of split graphs with star--like backbones
PublicationDla grafu G = (V, E) z wyróżnionym podgrafem H, kolorowanie szkieletowe jest zdefiniowane jako odwzorowanie c spełniające |c(u) - c(v)| > 1 dla każdej krawędzi z E(H) oraz |c(u) - c(v)| > 0 dla każdej krawędzi z E(G). W pracy przedstawiono 1-przybliżony algorytm kolorowania szkieletowego split grafów ze skojarzeniem w szkielecie o złożoności O(|V|) oraz 1-przybliżony algorytm dla split grafów z rozłącznymi gwiazdami w szkielecie.
-
Multidirectional Characterization of Phytochemical Profile and Health-Promoting Effects of Ziziphora bungeana Juz. Extracts
PublicationZiziphora species (Lamiaceae) have been used in traditional medicine as sedatives, anti-septics, carminatives, or expectorants. Despite their common applications in phytotherapy, there is still lack of evidence about the composition of their extracts and its impact on biological properties of the plants. The aim of this study was to evaluate the content of Ziziphora bungeana, a less studied species growing in Kazakhstan, using...
-
Bee Bread Exhibits Higher Antimicrobial Potential Compared to Bee Pollen
PublicationThis study aimed at investigation of the antimicrobial potential of ethanolic extracts of bee bread (BB) and bee pollen (BP) and suspensions of these products in MHB (Mueller Hinton Broth). We covered 30 samples of BP and 19 samples of BB harvested in Polish apiaries. Slightly lower activity was observed against Gram-negative bacteria compared to Gram-positive staphylococci. BB extracts exhibited higher inhibitory potential with...
-
A Novel Cryptic Clostridial Peptide That Kills Bacteria by a Cell Membrane Permeabilization Mechanism
PublicationThis work reports detailed characteristics of the antimicrobial peptide Intestinalin (P30), which is derived from the LysC enzyme of Clostridium intestinale strain URNW. The peptide shows a broader antibacterial spectrum than the parental enzyme, showing potent antimicrobial activity against clinical strains of Gram-positive staphylococci and Gram-negative pathogens and causing between 3.04 ± 0.12 log kill for Pseudomonas aeruginosa...
-
ZAWARTOŚĆ CUKRÓW W SOKACH DRZEWNYCH Z TERENU PODKARPACIA
PublicationOznaczono zawartość cukrów w sokach drzewnych sześciu gatunków drzew rosnących na terenie Podkarpacia. Materiał doświadczalny stanowiły soki z drzew gatunków: brzoza zwisła in. brodawkowata (Betula pendula Roth.), brzoza omszona (Betula pubescens Ehrh.), grab pospolity (Carpinus betulus L.), klon zwyczajny (Acer platanoides L.), klon jesionolistny (Acer negundo L.) oraz wierzba biała (Salix alba L.). Analizę jakościową cukrów przeprowadzono...
-
Successive cytotoxicity control by evolutionary surface decorated electronic push-pull green ZnCr-LDH nanostructures: Drug delivery enlargement for targeted breast cancer chemotherapy
PublicationThe reason for the increasing bioavailability and biocompatibility of the porous nanomaterials in the presence of different (bio)molecules is still unknown. The role of difference functional groups and their interactions with the potential bioavailability and biocompatibility is of great importance. To investigate the potential contribution of the electronic effects (especially on the surface of the porous nanomaterials) on their...
-
Wykorzystanie gier w nauczaniu przedmiotów ekonomicznych: studium przypadku
PublicationW tekście przedstawione zostały doświadczenia autora związane z organizacją „konkursów” z przedmiotu „Międzynarodowe stosunki gospodarcze”. Konkursy polegały na przesyłaniu przez studentów, drogą internetową, odpowiedzi na zamieszczone pytania – przy ocenianiu brana pod uwagę była poprawność oraz kolejność. Gra spotkała się z dużym zainteresowaniem studentów i była przez nich wysoko oceniana.
-
Zdolni z Pomorza 2019/20 - Kropki i kreski, czyli grafy i ich zastosowania
e-Learning CoursesCel kursu: Celem kursu jest wprowadzanie uczniów w świat grafów i zapoznanie ich z praktycznymi zastosowaniami teorii grafów. Opis kursu: Dawno temu Leonard Euler, jadąc do Petersburga, zatrzymał się po drodze w Królewcu. Tam zainteresował go problem, nad którym, jak wieść niesie, głowili się mieszkańcy tego miasta: czy da się przespacerować po Królewcu tak, aby każdy z jego siedmiu mostów przejść dokładnie raz? Euler podszedł...
-
Wpływ budowy stopni wejściowych falowników na generowanie prądów wirowych i upływowych
PublicationPodstawowymi rozwiązaniami stopni wejściowych falowników są układy z:-prostownikiem 6-pulsowym stosowanym dla obniżenia kosztów,-prostownikiem 12 lub 18-pulsowym stosowanym dla obniżenia zniekształceń harmonicznych,- sterowanym prostownikiem 6-pulsowym PWM stosowanym dla obniżenia zniekształceń harmonicznych oraz zwiększenia współczynnika mocy.Zawartość harmonicznych po stronie zasilania ma wpływ na możliwość powstania potencjalnych...
-
Mikrosiłownia domowa jako źródło energii cieplnej i elektrycznej
PublicationObiektem rozważań podejmowanych w ramach pracy jest kocioł gazowy sprzężony z laboratoryjnym modułem mikro-ORC. W badaniach zasto-sowano komercyjny kocioł, przeznaczony do użytkowania w gospodar-stwach domowych. Jest to kocioł gazowy firmy De Dietrich (DTG X23N) o mocy cieplnej 25 kW. Przy wyborze kotła jako źródła ciepła kierowano się jak największą popularnością pod kątem mocy grzewczej całej jednostki ORC w gospodarstwach domowych....
-
Sensorless induction motor drive for electric vehicle application
PublicationW artykule przedstawiono układ napędowy pojazdu elektrycznego wykorzystujący niezawodny i tani silnik prądu przemiennego. Zastosowany trójfazowy silnik asynchroniczny klatkowy wymaga zasilaniaz falownika napięcia przekształcającego napięcie stałe z akumulatorów na napięcie przemienne. Wykonany tranzystorowy przekształtnik sterowany jest mikroprocesorowo. Zastosowany procesor realizuje algorytm sterowania polowo zorientowanego,...
-
Zastosowanie komputerów w Laboratorium Metrologii i Techniki Eksperymentu.
PublicationW artykule przedstawiono metodykę nauczania oraz aspekty techniczne nowej edycji ćwiczeń w Laboratorium Metrologii i Techniki Eksperymentu. Metodyka ta oparta jest na komputerowym monitorowaniu pracy studenta i sprawdzaniu jego wiedzy. Połączenie programowanych przyrządów laboratoryjnych w system pomiarowy sterowany za pośrednictwem komputera znacznie usprawniło wykonywanie poszczególnych ćwiczeń. Komputer kieruje działaniami studenta,...
-
MPPT control - a way to the maximization of energy amount obtained from the PV module
PublicationW układzie MPPT (Maximum Power Point Tracking) poziom mocy maksymalnej jest dynamicznie śledzony dla różnych poziomów napromieniowania i temperatur przy użyciu pamięci, zaprojektowanej jako sterowany mikroprocesorem moduł. Zastosowany algorytm w sposób ciągły poszukuje maksymalnej wartości mocy podawanej ze źródła (modułów PV) oraz pobieranej przez obciążenie. Napięcie wyjściowe z układu MPPT zależy od aktualnych warunków, w jakich...
-
Napęd pojazdu elektrycznego z silnikiem asynchronicznym klatkowym
PublicationW artykule przedstawiono układ napędowy pojazdu elektrycznego wykorzystujący niezawodny i tani silnik prądu przemiennego. Zastosowany trójfazowy silnik asynchroniczny klatkowy wymaga zasilaniaz falownika napięcia przekształcającego napięcie stałe z akumulatorów na napięcie przemienne. Wykonany tranzystorowy przekształtnik sterowany jest mikroprocesorowo. Zastosowany procesor realizuje algorytm sterowania polowo zorientowanego,...
-
Rozjazdy z nieliniową krzywizna toru zwrotnego dla różnych prędkości jazdy pociągów
PublicationW pracy podjęto kwestię kształtowania zmiennej krzywizny w torze zwrotnym rozjazdu kolejowego. Na podstawie przeprowadzonych wcześniej badań dynamicznych jako modelowe przyjęto rozwiązanie nie posiadające w strefie środkowej łuku kołowego, lecz składające się z dwóch stref krzywizny nieliniowej o jednakowej długości z zerowymi wartościami krzywizny w punktach skrajnych. Dokonano wyboru najkorzystniejszego rodzaju krzywizny z punktu...
-
RDNNS2020
e-Learning CoursesSpotkania RDNNS
-
Wnioskowanie z danych zapisanych w zewnętrznych źródłach w systemie zarządzania wiedzą
PublicationRozdział prezentuje proces wnioskowania z danych przechowywanych w zewnętrznych źródłach. W procesie tym wykorzystywane są dwie nowe metody: metoda semantycznego wzbogacania źródeł - SED (Semantic Enrichment of Data) oraz wykorzystująca ją metoda wnioskowania z danych zewnętrznych - RED (Reasoning over External Data). Obie te metody zostały w niniejszym rozdziale przedstawione. Metoda SED służy do opisania zewnętrznych źródeł danych...
-
Modelowanie ruchu obiektów poruszających się na granicy wody i powietrza. Modelowanie bezpieczeństwa tych obiektów
PublicationW artykule przedstawiono główne problemy związane z opracowaniem koncepcji nowej generacji szybkichbezzałogowych obiektów wodnych poruszających się na granicy wody i powietrza w różnych warunkachoperacyjnych, w tym stanów załadowania. Przedstawiono problemy związane z modelowaniem ruchu tychobiektów oraz oceną ich zachowania się w różnych fazach ruchu. W artykule opisano koncepcję wybranegoobiektu, w tym jego kształt i podział...
-
Optymalne pokolorowania średnicowe dla wybranych klas grafów
PublicationW pracy opisano wybrane właściwości szczególnego przypadku radiowego kolorowania grafów, zwanego kolorowaniem średnicowym. Podano zasadę działania algorytmu optymalnego kolorowania średnicowego i oszacowania liczby średnicowej grafu w przypadku ogólnym oraz dla ścieżek i cykli. Korzystając z podanego algorytmu, znaleziono dokładne wartości liczby średnicowej dla ścieżek i cykli niewielkiej długości, co pozwoliło na obalenie wcześniej...
-
ProSIL Software for functional saferty management in life cycle = Aplikacja ProSIL do zarządzania bezpieczeństwem funkcjonalnym w cyklu życia
PublicationIn the paper the ProSIL software to aid the functional safety management is presented. The software consists of three modules to aid: determination of the required SIL level (ProSILen), veryfication of the SIL level (ProSILver). In the aplication the method of the calibrated risk graph to determine the required safety integrity level SIL for defined safety instrumented functions is applied. The methods concerning functional safety...