Search results for: dowod zgodnosci - Bridge of Knowledge

Search

Search results for: dowod zgodnosci

Best results in : Research Potential Pokaż wszystkie wyniki (66)

Search results for: dowod zgodnosci

  • Zespół Katedry Analizy Nieliniowej i Statystyki

    W Katedrze prowadzone są badania w trzech wiodących kierunkach. Pierwszy dotyczy zastosowania metod topologicznych i wariacyjnych w układach dynamicznych, w teorii równań różniczkowych zwyczajnych i cząstkowych oraz w teorii bifurkacji. Drugim kierunkiem badań Katedry jest zastosowanie rachunku prawdopodobieństwa i teorii aproksymacji. Ostatnią specjalizacją jest Geometria i Grafika Komputerowa, która istnieje od 2014 roku. Wybór...

  • Information Assurance Group (IAG)

    Grupa koncentruje się na zarządzaniu ryzykiem i zaufaniem w odniesieniu do różnych cech oprogramowania i systemów informatycznych, np. Bezpieczeństwa, niezawodności i prywatności. Szczególnie interesujące jest pojęcie Trust Case i powiązanej metodologii Trust-it.

  • Zespół Katedry Równań Różniczkowych i Zastosowań Matematyki

    * topologiczne niezmienniki w teorii układów dynamicznych i ich zastosowania * teoria punktów stałych i periodycznych * metody matematyczne w kardiologii * miary złożoności i ich zastosowania * modele strukturalne z dyfuzją i warunkami brzegowymi Fellera * modelowanie ekspresji genu białka Hes1 * równania McKendrick-von Foerster z warunkiem odnowy * modelowanie termicznej ablacji za pomocą równania bio-przewodnictwa ciepła * soczewkowanie...

Best results in : Business Offer Pokaż wszystkie wyniki (7)

Search results for: dowod zgodnosci

Other results Pokaż wszystkie wyniki (232)

Search results for: dowod zgodnosci

  • Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.

    Artykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono...

  • Trust-IT - a framework for trust cases

    Publication

    - Year 2007

    Artykul prezentuje wyniki uzyskane w ramach prac zmierzających do wytworzenia zintegrowanego srodowiska wspomagającego analizę zaufania do systemów i infrastruktur informatycznych. Elementy tego środowiska obejmują język i metodykę trorzenia i pielęgnacji dowodów zaufania (ang. trust case), mtode integrowania z nimi materiału dowodowego, narzędzia wspomagajace zarządzanie dowodami zaufania oraz scenariusze ich wykorzystania w różnych...

  • Analiza zgodności wybranych sieci współpracy z definicyjnymi wyznacznikami klastra

    Publication

    - Year 2012

    Celem artykułu jest analiza wyróżnionych form współpracy, tj. inicjatyw klastrowych, grup producentów rolnych, parków technologicznych i naukowych oraz sieci opartych na systemach produkcji szczupłej (z ang. Lean Manufacturing) pod kątem ich zgodności z definicyjnymi wyznacznikami klastra.

  • Ocena zgodności regulatorów automatycznych z wymaganiami dyrektywy kompatybilności elektromagnetycznej

    Publication

    - Year 2006

    W referacie przedstawiono niektóre zalecenia normalizacyjne związane z wymaganiami dyrektywy kompatybilności elektromagnetycznej (EMC) dla urządzeń automatyki zawierających wyposażenie elektroniczne. Wykonanie badań zalecanych przez zharmonizowane z dyrektywami Unii Europejskiej (UE) normy wyrobu i powoływanie się na nie w deklaracji zgodności przez producenta pomaga użytkownikowi dostosować charakterystyki urządzenia i instalacji...

  • Ocena zgodności regulatorów automatyki z wymaganiami dyrektyw LVD i EMC

    Publication

    - Year 2008

    Artykuł przedstawia wstępną analizę wymagań normy PN - EN 60730-1 dotyczącej automatycznych regulatorów elektrycznych do użytku domowego. Podana norma ma status normy zharmonizo-wanej i w związku z tym spełnienie jej wymagań umożliwia producentowi wykazanie zgodności wprowadzonego na rynek wyrobu z wymaganiami dyrektyw - niskonapięciowej (LVD) i kompatybilności elektromagnetycznej (EMC). W artykule szerzej opisano wymagania mające...