Wyniki wyszukiwania dla: wnioskowanie regulowe
-
Działalność wykonywana osobiście-aspekty.
PublikacjaOd dłuższego czasu występują tendencje do zatrudnienia pracowników w ramach nowych nietypowych form zatrudnienia,które zastępują dotychczasowe umowy regulowane przepisami kodeksu pracy.W 2004r. kwalifikując przychody uzyskiwane z kontraktów menedzerskich i umów o podobnym charakterze do źródeł przychodów z działalności wykonywanej osobiście,pozbawiono tę grupę zawodowa uprawnień przysługujących wszystkim innym podmiotom prowadzącym...
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [9270729565546121]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [9270729565544651]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [3300730069437711]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [9270729565547731]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [9270729565548521]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [9270729565544011]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [9270729565544511]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [9270729565541701]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [9270729565542221]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [3301001549115861]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [9270729565542261]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [927072956554661]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [9270729565545011]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [3300730069431061]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [9270729565546221]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [3300730069439361]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [9270729565544611]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Acute lymphadenitis, unspecified - Female, 10 - Tissue image [927072956554981]
Dane BadawczeThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Portal ontologii: Portal do kooperacyjnej pracy nad ontologiami dziedzinowymi
PublikacjaPrzedstawiono metodę reprezentacji wiedzy użytą do składowania ontologii w relacyjnej bazie danych. Opracowany na jej podstawie system umozliwia kooperacyjną pracę nad ontologiami dziedzinowymi w środowisku rozproszonym. Uzyte struktury danych pozwalają na zamianę reprezentacji wiedzy w zalżności od potrzeb przetwarzania danych oraz śledzenie dynamiki procesu uzgadniania wspólnej warstwy konceptualnej między specjalistami. Zawarto...
-
Paradoks rozwoju przez innowacje produktowe
PublikacjaRozwój przez innowacje, stanowi paradygmat rozwoju we współczesnej gospodarce. Celem artykułu jest wskazanie paradoksu, iż rozwój ten zachodzi głównie na drodze wzrostu kompetencji organizacji oraz know-how, a nie poprzez dodatkowe wpływy ze sprzedaży osiągnięte w wyniku wdrożenia innowacji, co stanowi, z założenia, paradygmat tego procesu. Artykuł ma charakter teoretycznych rozważań na bazie wnioskowania z istniejących badań....
-
Zastosowanie metodologii CBR do wyznaczania optymalnego zaopatrzenia punktu sprzedaży detalicznej.
PublikacjaW artykule rozważane jest zagadnienie optymalnego doboru asortymentu towarów dla punktu sprzedaży detalicznej. Scharakteryzowano podstawowe czynniki ekonomiczne determinizujące przychody i koszty detalisty. Dla rozpatrywanego problemu zbudowano model matematyczny w formie zadania programowania liniowego, w którym poszukiwane jest maksimum zysku detalisty z uwzględnieniem najistotniejszych ograniczeń w handlu: ilości dostępnego...
-
Duże zbiory danych w zdalnej diagnostyce medycznej z wykorzystaniem technik głębokiego uczenia,
PublikacjaW ostatnim czasie obserwujemy tendencję globalnego starzenia się i znaczących zmian struktur demograficznych na całym świecie. Zgodnie z raportem przedstawionym przez Moody Investors Service, przewiduje się, iż do 2030 roku liczba znacząco-starzejących się krajów wzrośnie z 3 do 34. Światowy proces starzenia się społeczeństw doprowadził do wzrastających oczekiwań wobec starszych osób do pozostania niezależnymi. W związku z tym...
-
Organy/struktury sui generis w obszarze Przestrzeni Wolności, Bezpieczeństwa i Sprawiedliwości Unii Europejskiej
PublikacjaW przeszłości współpraca państw europejskich w zakresie bezpieczeństwa wewnętrznego ograniczona była rygorystyczne przestrzegana zasadą suwerenno0ści. Tytuł V TFUE reguluje zagadnienia dotyczące Przestrzeni Wolności, Bezpieczeństwa i Sprawiedliwości. W jej ramach funkcjonują organy i struktury sui generis m. in. COSI, SCIFA, FRONTEX, EASO, Eurojust, EJN, OLAF, Europol, CEPOL a także działają w ramach swoich kompetencji ogólne instytucje...
-
Modelowanie ryzyka w ruchu drogowym szeregami czasowymi.**2003, 142 s. 48rys. bibliogr. 99 poz. maszyn. Rozprawa doktorska /17.12.2003/. P. Gdań., Wydz. Inż. Ląd. Promotor: prof. dr. hab. inż. Ryszard Krystek.
PublikacjaW pracy przedstawiono metodę modelowania wielkości ryzyka w ruchu drogowym z wykorzystaniem teorii szeregów czasowych, umożliwiającą wykrywanie i interpretację zmian poziomu bezpieczeństwa ruchu drogowego oraz wnioskowanie o przyszłych tendencjach tych zmian. Na jej podstawie zbudowano modele, dzięki którym możliwe było określenie związku pomiędzy poziomem bezpieczeństwa ruchu drogowego w Polsce, mierzonym liczbą śmiertelnych ofiar...
-
Przykłady zastosowań
PublikacjaW rozdziale przedstawiono przykładowy sposób analizy funkcji systemów sterowania i zabezpieczeń w odniesieniu do turbozespołu o strukturze typu: kocioł-turbina-generator. Ryzyko związane z eksploatacją turbozespołu zależy od różnych czynników i rozwiązań technicznych, organizacyjnych oraz od zastosowanych podsystemów sterowania, zabezpieczeń oraz systemów E/E/PE związanych z bezpieczeństwem. Jednym z elementów takiego podsystemu...
-
Rozwój bioaktywnych implantów porowatych na osnowie stopów tytanu
PublikacjaGłównym przedmiotem pracy są złożone zagadnienia materiałowe wynikajace ze specyfiki zastosowań implantów wytworzonych z tytanu i jego stopów, szczególnie w zakresie bioaktywności i stabilności długoczasowej implantów tkanki kostnej w obszarach przenoszących znaczne obciążenia. Dokonano krytycznej analizy obecnego stanu wiedzy w tym zakresie i przedstawiono wyniki prac własnych prowadzonych prowadzonych na Politechnice Gdańskiej,...
-
Znaczenie mocy testu statystycznego w analizie diagnostycznej okrętowego silnika o ZS
PublikacjaW artykule przedstawiono sposób interpretacji błędów pierwszego (α) i drugiego (β) rodzaju oraz wartości krytycznej Fkr rozkładu Fishera-Snedecora. Omówiono dwa sposoby weryfikacji istotności wpływu parametru wejściowego na wyjściowy. Przeanalizowano znaczenie mocy testu statystycznego M w diagnostyce parametrycznej okrętowych silników o ZS. Przeprowadzono analizę wpływu wartości poziomu istotności na wartość krytyczną statystyki...
-
Przestrzeń publiczna w świetle prawa planistycznego
PublikacjaZasady kształtowania przestrzeni publicznej nie są w Polsce regulowane w bezpośredni sposób przepisami prawa planistycznego. Ustawa z roku 2005 wprowadza wiele zmian do przepisów, kóre nie zabezpieczają euroejskich standartów kształtowania przestrzeni miejskiej. Nie ma jednak zakazów stosowania istniejacych przepisów zgodnie z wiedzą fachową na temat wspólczesnej urabnistyki jakośc przestrzenna powstaje nie poprzez mechaniczne...
-
Zastosowania ontologii: Zastosowanie ontologii w mikroekonomii
PublikacjaZarysowano problematykę zastosowania dziedzinowo zorientowanych ontologii dla konkretnej rzeczywistej grupy zagadnień. Przedstawiono znaczenie ontologii jako formy reprezentacji wiedzy oraz podkreślono jej przewagę nad innymi sposabami przechowywania informacji w aspekcie dynamicznym. zarysowano merytoryczną problematyke zagadnień ekonomicznych w zakresie analizy wskaźnikowej dla firm rynkowych. Dokonano dziedzinowego przedstawienia...
-
Kartograficzna metoda reprezentacji wiedzy w systemie KaSeA
PublikacjaNiniejszy rozdział prezentuje opracowaną przez autora metodę reprezentacji wiedzy, nazwaną kartografią wiedzy, która pozwala na przeprowadzanie wnioskowania w procesie asymilacji i uzupełniania informacji pochodzących z różnych źródeł internetowych; metoda zapewnia równiże efektywny dostęp do gromadzonych informacji. Rozdział opisuje założenia leżące u podstaw opracowanej metody, jej ograniczenia i zastosowania. Rozdział prezentuje...
-
Model i system rozmyty zarządzania zespołami projektowymi realizującymi przedsięwzięcia informatyczne oraz ocena procesów wytwarzania systemów opartych na wiedzy
PublikacjaW pracy omawia się konstrukcję samonastrajającego modelu rozmytego zarządzania przedsięwzięciami informatycznymi, stosowanego do wspomagania wytwarzania systemów opartych na wiedzy. Proponowany model służy w szczególności do zarządzania zmianami finansowania i czasu realizacji projektów. Opiera się on na eksperymentalnej regułowej wiedzy, pochodzącej z realizacji zarządzania przedsięwzięciami informatycznymi, na teorii systemów...
-
Design of knowledge based systems in environmental engineering.
PublikacjaW pracy omawia się konstrukcję samo narastającego modelu rozmytego zarządzania przedsięwzięciami informatycznymi, stosowanego do wspomagania wytwarzania systemów opartych na wiedzy. Proponowany model służy w szczególności do zarządzania zmianami finansowania i czasu realizacji projektów. Opiera się on na eksperymentalnej regułowej wiedzy, pochodzącej z realizacji zarządzania przedsięwzięciami informatycznymi, na teorii systemów...
-
MAC contention in a wireless LAN with noncooperative anonymous stations
PublikacjaRozpatruje się model sieci bezprzewodowej wykorzystywanej przez wzajemnie nieprzenikalne grupy stacji anonimowych. Przy ustalonej regule wyłaniania zwycięzcy rywalizacji o dostęp do medium, stacje posiadają swobodę wyboru strategii selekcji szczeliny rywalizacyjnej. Dla szerokiego zbioru możliwych strategii proponuje się metodologię ich oceny i testowania wydajności opartą na pojęciu zbliżonym do ewolucyjnej stabilności.
-
Rapid test for ionic liquids toxicity evaluation
PublikacjaW literaturze przedmiotu dostępne są dane na temat toksyczności cieczy jonowych, szczególności tych mających zastosowanie przemysłowe, gdzie toksyczność wyrażana jest jako EC50 mierzone względem konkretnego organizmu np. Vibrio fischeri, Daphnia magna itp. Z uwagi na taksonomiczne zróżnicowanie osadu czynnego nie jest możliwe bezpośrednie wnioskowanie na temat toksyczności cieczy jonowych w stosunku do osadu czynnego na podstawie...
-
POTRZEBY I MOŻLIWOŚCI UDOSKONALENIA SYSTEMÓW DIAGNOZUJĄCYCH OKRĘTOWYCH SILNIKÓW SPALINOWYCH O ZAPŁONIE SAMOCZYNNYM
PublikacjaW artykule przedstawiono ogólnie własności współczesnych systemów diagnozujących (SDG) okrętowych siników głównych o zapłonie samoczynnym, potrzeby zastosowania SDG do sterowania procesem eksploatacji tych silników i propozycje udoskonalenia SDG dla potrzeb realizacji racjonalnej eksploatacji tego rodzaju silników. Zwrócono uwagę na potrzebę uwzględnienia we wnioskowaniu diagnostycznych wiarygodności diagnozy. Przedstawiono też...
-
System logiki rozmytej wspomagający tworzenie animacji komputerowych w oparciu o język Python
PublikacjaW celu tworzenia animacji komputerowych opartych o reguły wywodzące się z animacji tradycyjnej zaimplementowano system logiki rozmytej w języku Python, wykorzystujący słownikowy typ danych (tablice asocjacyjne). Zaprojektowane reguły łączą etykiety słowne, oznaczające zmienne lingwistyczne z etykietami nazw funkcji przynależności wykorzystującymi wartości lingwistyczne. W referacie przedstawiono fazy projektowania systemu, określania...
-
Zastosowanie diagnostyki drganiowej okrętowego zespołu napędowego w eksploatacji
PublikacjaW referacie przedstawiono wybrane zagadnienia diagnostyki drganiowej układu mechanicznego okrętowych zespołów napędowych na przykładzie eksploatacyjnych badań obiektu rzeczywistego, na którym zaobserwowano zwiększony poziom drgań. Scharakteryzowano system diagnozujący zastosowany do badań, będący na wyposażeniu bazy laboratoryjnej Katedry Siłowni Okrętowych Politechniki Gdańskiej. Przybliżono technologię pomiaru drgań wzdłużnych...
-
Ontologie w systemach informatycznych
PublikacjaZakres monografii obejmuje wybór majważniejszych zagadnień inżynierii wiedzy opartej na podejściu ontologicznym. Omawiane są ramy Minsky'ego, sieci semantyczne, standardy RDF, OWL i SPARQL. Prezentowane są też podstawy teoretyczne nowoczesnych technologii semantycznych, w szczególności rozstrzygalny fragment logiki pierwszego rzędu zwany logiką opisową (ang. Description Logics, DL). Omawia sie algorytmy wnioskowania z ontologii...
-
Model systemu zarządzania wiedzą z uwzględnieniem aspektów wiarygodności
PublikacjaW rozdziale przedstawiony został model systemu zarządzania wiedzą, w którym uwzględniono aspekty wiarygodności. Dla zaprezentowanego modelu opisane zostały również metody definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania względem wiedzy wzbogaconej o informacje na temat wiarygodności. Na początku model definiuje "ontologię wiarygodności" - ontologię, która pozwala przypisać pewne zbiory cech do konkretnych asercji....
-
OBRONA ŻYWNOŚCI – KONIECZNY ELEMENT WSPÓŁCZESNEJ STRATEGII PRZEDSIĘBIORSTWA SPOŻYWCZEGO
PublikacjaPrzemysł spożywczy, ze względu na swoje znaczenie w gospodarce należy do najbardziej podatnych na atak terrorystyczny. Zagrożenie takim atakiem jest powodem do opracowania strategii obrony żywności. Celem artykułu jest odpowiedź na pytanie o istotę i przyczyny takiego zjawiska oraz o charakter działań, jakie powinno się podjąć, by ograniczyć ryzyko jego pojawienia się. W artykule wykorzystano analizę literatury przedmiotu, statystyk...
-
DNA structure and integrity checkpoints in the cell cycle and their role in drug targeting and resistance of tumor cells to anticancer treatment
PublikacjaW artykule dokonaliśmy przeglądu literatury dotyczącej różnych typów uszkodzeń DNA indukowanych przez różne czynniki terapeutyczne w komórkach nowotworowych. Omówiliśmy także w jaki sposób aktywują różne typy punktów kontrolnych w cyklu komórkowym i w jaki sposób punkty te są regulowane przez inne szlaki sygnalizacji wewnątrzkomórkowej takie jak szlaki naprawy uszkodzeń DNA, stresu komórkowego i śmierci-przeżycia. W szczególności...
-
Inhibitors of angiogenesis in cancer therapy – synthesis and biological activity
PublikacjaAngiogenesis is the process of formation of new capillaries from preexisting blood vessels. Angiogenesis is involved in normal physiological processes, and plays an important role in tumor invasion and development of metastases. Vascular endothelial growth factor (VEGF) plays a key role in angiogenesis. VEGF is a mitogen for vascular endothelial cells and stimulates their proliferation. By inhibiting the biological activity of...
-
Are vehicles driven in electric mode so quiet that they need acoustic warning signals?
PublikacjaW referacie przedstawiono i przedyskutowano problematykę znacznej redukcji hałasu emitowanego przez pojazdy z napędem elektrycznym i potencjalnego wzrostu zagrożenia bezpieczeństwa ruchu drogowego związanego z niezauważaniem takich pojazdów przez pieszych uczestników ruchu. Rozważano konieczność instalowania w takich pojazdach specjalnych sygnałów ostrzegawczych. Zestawiano ilość wypadków z udziałem pieszych i pojazdów poruszających...
-
Determination of CWR track's durability characteristics
PublikacjaW pracy przedstawiono wyniki badań nad wyznaczaniem sił osiowych w szynie kolejowej z zastosowaniem metody wymuszonych przemieszczeń poprzecznych. Badania przeprowadzone na stacjonarnym stanowisku badawczym wykazały, że siłę podłużną w szynie można znacznie dokładniej określić na podstawie zmiany nie pionowej, lecz poziomej siły poprzecznej. Pozwoliło to właściwie ukierunkować prace nad określaniem sił osiowych w szynach toru...
-
Side Effects of National Immunization Program: E-Governance Support Toward Elders' Digital Inclusion
PublikacjaIn response to the coronavirus pandemic, the European Union (EU) governments develop policies to regulate exclusive health protection actions that consider societal needs with the emphasis on elders. Given that the EU vaccination strategy uses a centralized ICT-based approach, there is little guidance on how seniors are included in national immunization programs (NIP). In this paper, we addressed a knowledge gap of the side effects...
-
Wpływ prawa na systemy informatyczne - studia przypadków
PublikacjaZgodność systemów informatycznych z prawem jest jednym z podstawowych wymagań względem systemów. Jednak transformacja przepisów prawa na wymagania względem oprogramowania nie jest łatwym zadaniem. W referacie zaprezentowano trzy różne rodzaje wpływu prawa na systemy informatyczne. W przypadku pierwszym, prawo reguluje określoną dziedzinę pozostawiając dowolność wyboru sposobu realizacji przepisów. W drugim przypadku, przepisy...
-
Regulator rozmyty o właściwościach regulatora trójpołożeniowego
PublikacjaRegulatory trójpołożeniowe są najprostszymi i najbardziej popularnymi regulatorami w układach automatyki, w których jako element wykonawczy zwykle stosuje się silnik elektryczny pracujący w sposób nawrotny. W takich układach jakość regulacji określa się m.in. poprzez analizę amplitudy i częstotliwości występujących oscylacji, przy zmianach wartości zadanej i wprowadzanych zakłóceniach. Referat jest próbą porównania otrzymywanej...
-
Ekonometryczne szacowanie parametrów jako metoda przetwarzania wstępnego w systemach agentowych
PublikacjaAutorzy przedstawią w pracy ideę systemu wieloagentowego do oceny technologii informatycznych. Model zaprojektowany pierwotnie dla wsparcia decyzyjnego w obszarze IT zaadoptowano dla środowiska przetwarzania danych chemicznych. Osiągniętym celem był oparty na wiedzy mechanizm generowania prognoz o stężeniu zanieczyszczeń chemicznych. Model został pozytywnie zweryfikowany z punktu widzenia jego struktury i algorytmu działania. W...
-
Automatyzacja określania wymagań bezpieczeństwa na podstawie wyników analizy czasowej drzew błędów
PublikacjaW odpowiedzi na potrzebę wprowadzania formalnych narzędzi opisu do analizy bezpieczeństwa systemów zawierających komponenty programowalne powstała notacja ECSDM. Jej zaletą jest to iż umożliwia nie tylko definiowanie zależności czasowych obowiązujących w opisywanym systemie, ale również, przy zastosowaniu jej do drzew błędów, pozwala na prowadzenie wnioskowania odnośnie zależności czasowych pomiędzy zdarzeniami z minimalnych zbiorów...