Wyszukiwarka
Filtry
wszystkich: 241
-
Katalog
Wyniki wyszukiwania dla: dowod zgodnosci
-
Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.
PublikacjaArtykuł 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
PublikacjaArtykul 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
PublikacjaCelem 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
PublikacjaW 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
PublikacjaArtykuł 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...
-
Współczynnik przewodzenia ciepła λ izolacji PIR w świetle polityki zgodności
Publikacja.
-
Zarządzanie zgodnością ze standardami akredytacyjnymi w chmurze obliczeniowej
PublikacjaRosnące znaczenie akredytacji usług medycznych, w szczególności świadczonych przez szpitale, wymaga rozwoju wsparcia informatycznego. Artykuł przedstawia usługi informatyczne NOR-STA wspomagające i integrujące procesy osiągania, oceny i utrzymania zgodności z normami i standardami. Omówiono zakres usług, sposób ich dostarczania, a także wskazano na główne korzyści takie jak przejrzysty przegląd standardów, uporządkowanie dokumentów,...
-
Wykorzystanie procedur oceny zgodności do optymalizacji konstrukcji urządzeń w inteligentnych instalacjach elektrycznych
PublikacjaW referacie przedstawiono wybrane zalecenia normalizacyjne związane z wymaganiami dyrektywy kompatybilności elektromagnetycznej (EMC) dla urządzeń automatyki zawierających wyposażenie elektroniczne. Wprowadzanie powyższych wyrobów do obrotu na rynku europejskim wymaga przeprowadzenia oceny zgodności produktu z wymaganiami odpowiednich dyrektyw: niskonapięciowej, kompatybilności elektromagnetycznej, a w przypadku sterowania bezprzewodowego...
-
Badanie dźwiękowego systemu ostrzegawczego w sali kinowej pod kątem zgodności z normą
PublikacjaElementem infrastruktury ewakuacyjnej obiektów użytku publicznego, zwłaszcza przeznaczonych dla imprez masowych, jest autonomiczny system akustyczny odpowiadający wymaganiom normy PN-EN 60849 "Dźwiękowe systemy ostrzegawcze". Referat przedstawia metodykę i wyniki pomiarów podstawowych parametrów akustycznych systemu "ewakuacji głosowej" zainstalowanego w sali typowego multikina, ze szczególnym uwzględnieniem parametrów określających...
-
Nowe i Globalne Podejście do oceny zgodności- wdrażanie prawa UE do polskiego prawodawstwa
PublikacjaJednym z głównych celów Unii Europejskiej było utworzenie jednolitego, wewnętrznego rynku i wyeliminowanie wszelkich ograniczeń w handlu. Realizacja powyższego celu odbywa się w oparciu o zasady Nowego Podejścia do harmonizacji i normalizacji technicznej, będące gwarancją swobodnego przepływu towarów w UE, w którym uczestniczyłyby tylko produkty bezpieczne. Uzupełnieniem zasad Nowego Podejścia jest Globalne Podejście do oceny zgodności...
-
Nieliniowa ekstrapolacja chwili zgodności fazowej napięć synchronizowanych obiektów elektroenergetycznych z wykorzystaniem funkcji wymiernej
PublikacjaPrzedstawiono metodę nieliniowej ekstrapolacji chwili zgodności fazowej napięć synchronizowanych obiektów elektroenergetycznych z wykorzystaniem funkcji wymiernej. Opisano dotychczas stosowane metody wyznaczania chwil koincydencji fazowej, wskazując na ich niedogodności. Zawarto opis algorytmu wyznaczania chwili zgodności fazowej wg proponowanej metody z wykorzystaniem funkcji wymiernej, ilustrując go przykładem. Zaprezentowano...
-
EKOSYSTEM PRZESTRZENI ZAMIESZKIWANIA W UJĘCIU AUTORSKICH POSZUKIWAŃ FORMY DOMU OPARTYCH O KONCEPCJĘ ZGODNOŚCI
PublikacjaCelem artykułu jest prezentacja efektów projektu autorskiego realizowanego w oparciu o koncepcję zgodności. Przeprowadzone zostały kilkuletnie studia lokalnych uwarunkowań przyrodniczych skutkujących powstaniem zbioru rysunków i rzeźb oraz fotografii dokumentujących ich aranżację in situ. Badania prowadzono na terenie Pojezierza Kaszubskiego w obszarze południowego brzegu Jeziora Wdzydzkiego. Działania artystyczno-projektowe o...
-
Badanie zgodności koncepcji rekreacyjno-turystycznego otwarcia drogi wodnej Oświęcim – Kraków z zasadami zrównoważonego rozwoju
PublikacjaW pracy przedstawiono metodę oceny stopnia zgodności zagospodarowania akwenu wodnego z zasadami zrównoważonego rozwoju. Obszarem badawczym była droga wodna pomiędzy Oświęcimiem i Krakowem wraz z terenami przyległymi. Przedmiotem badań była koncepcja turystyczno-rekreacyjnego wykorzystania śródlądowej drogi wodnej Górnej Wisły. Koncepcja składała się z pięciu elementów tj.: ścieżek rowerowych wzdłuż Wisły wraz z siecią wypożyczalni,...
-
Nadzorowanie drgań w modelu hybrydowym na bazie oceny zgodności modelu obliczeniowego z obiektem rzeczywistym
PublikacjaPraca dotyczy nadzorowania drgań w procesie frezowania szybkościowego zakrzywionych przedmiotów podatnych. Frezowanie przeprowadzono na maszynie Mikron VCP 600 przy użyciu smukłego freza kulistego. Dynamikę niestacjonarnego układu sterowanego oraz zdefiniowany energetyczny wskaźnik jakości opisano we współrzędnych hybrydowych. Uwzględniono podatność narzędzia oraz podatność przedmiotu obrabianego. W strukturze obrabiarki wyodrębniono...
-
Badanie zgodności współpracy rzeczywistych systemów z zalecanymi scenariuszami wymiany informacji sygnalizacyjnej DSS1 i SIP
PublikacjaW pracy przedstawiono wyniki badań wymiany informacji sygnalizacyjnej związanej ze współpracą rzeczywistych systemów telekomunikacyjnych, węzła komutacyjnego sieci PSTN/ISDN oraz systemu bramy międzysieciowej umożliwiających realizację połączeń z sieci IP z sygnalizacją SIP do sieci ISDN z sygnalizacją DSS1 oraz od sieci ISDN do sieci IP. Wyniki badań zostały porównane i ocenione pod kątem zgodności z zalecanymi scenariuszami wymiany...
-
A method of trust case templates to support standards conformity achievement and assessment
PublikacjaOsiąganie i ocena zgodności ze standardami stanowi poważne obciążenie finansowe dla współczesnych gospodarek. Pomimo znacznej wagi tego problemu, nie znalazł on jednak zadowalającego przełożenia na rozwiązania dostępne na rynku. W tej pracy zaproponowano metodę nazwaną Standards Conformity Framework (SCF), która wspiera stosowanie standardów. Jest ona oparta na spostrzeżeniu, że osiąganie i ocena zgodności ze standardem polega...
-
Ocena zgodności urządzeń z dyrektywą kompatybilności elektromagnetycznej. '' Edukacyjny program Jakości zasilania Leonardo''. Leonardo Power Quality Initiative.
PublikacjaCelem publikacji jest przedstawienie procedury oceny wyrobów podlegających dyrektywie EMC. Należy zaznaczyć, że zgodnie z prawem europejskim tryb oceny wyrobu dla poszczególnych dyrektyw jest odmienny i wynika z szczegółowych rozporządzeń ( Rozporządzenie Rady Ministrów z dnia 25 czerwca 2002 r. w sprawie warunków i trybu dokonywania oceny zgodności z zasadniczymi wymaganiami dotyczącymi kompatybilności elektromagnetycznej...
-
Supporting Compliance with Security Standards by Trust Case Templates
PublikacjaTrust Cases are used to justify that a given object (a system, an infrastructure, an organization) exhibits certain properties. One of possible applications of trust cases is related to the processes of achieving and demonstrating the compliance with standards. A Trust Case Template derived from a given standard constitutes a skeleton of justification (encompassing evidence and argumentation) of the compliance with the standard....
-
Supporting compliance with safety standards by trust case templates
PublikacjaStandard Compliance (SC) Framework presented in this paper encompasses methods and tools which provide support for application of standards. The framework is based on trust case methodology. A trust case is a data structure which represents a justification that an object (a system, an infrastructure, an organization) exhibits certain properties. It contains an argument and related evidence which support claimed properties. A trust...
-
Weryfikacja i interpretacja wyników pomiarów akustycznych w obiekcie Filharmonii Kaszubskiej w Wejherowie w aspekcie zgodności z projektem akustyki
PublikacjaPrzeanalizowano wyników pomiarów akustycznych zrealizowanych przez wykonawcę robót wykończeniowych (pomiary w zakresie akustyki wnętrz i akustyki budowlanej). Zalecono rozszerzenie zakresu pomiarów, po pełnym zakończeniu robót w obiekcie, oraz ich ponowną analizę w aspekcie zgodności z projektem akustyki.
-
Analiza porównawcza metod predykcji chwili zgodności fazowejw automatycznym synchronizatorze prądnic = Comparison of the methods of prediction time phase coincidence in automatic synchronizer of power generators
PublikacjaW artykule porównano dokładność wybranych metod realizacji warunku fazowego podczas synchronizacji obiektów elektroenergetycznych. Do porównania wybrano trzy metody: liniową, wielomianową oraz metodę adaptacyjnej synchronizacji prądnic z ekstrapolacją funkcją wymierną. Badania przeprowadzono dla różnych warunków pracy. Przyjęto stałą różnicę częstotliwości napięć synchronizowanych obiektów, różnicę częstotliwości zmieniającą się...
-
Sposób uzyskiwania zgodności przebiegu programu elucji gradientowej w kolumnie z wymaganą postacią programu oraz zapewnienia odtwarzalności parametrów retencji na drodze korekty programu elucji.
PublikacjaPrzedstawiono ogólny model dynamiki mieszania cieczy w elementach gradientowego aparatu HPLC. Na podstawie wyników matematycznej i doświadczalnej analizy rozproszonej postaci modelu przedstawiono algorytm postępowania, zapewniający uzyskiwanie zgodności przebiegu programu elucji z wymaganą funkcją i wyniki doświadczalnej weryfikacji skuteczności algorytmu. Stwierdzono skuteczność opisanego sposobu postępowania.
-
Vibration surveillance during ball end milling of curved flexible details, considering an assessment of assurance between analysis and test model
PublikacjaPraca dotyczy nadzorowania drgań podczas obróbki smukłym frezem kulistym przedmiotów podatnych o powierzchniach zakrzywionych. Przedstawiono analizę dynamiczną niestacjonarnego układu drgającego, w którym wyodrębniono podukłady: modalny, strukturalny i łączący. Dokonano oceny zgodności wyników obliczeń numerycznych z wynikami pomiarów na frezarce Mikron VCP 600.
-
WYKONANIE OPINII W ZAKRESIE OCENY ZGODNOŚCI INWESTYCJI Z PRZEPISAMI I OCHRONĄ ŚRODOWISKA, DOT. ZBIORNIKA WODNEGO NA TERENIE DZIAŁKI 381 W BŁĘDNIE, OBRĘB EWIDENCYJNY SUCHOBRZEŃICA, JEDNOSTKA EWIDENCYJNA OSIEK
PublikacjaOpinia przygotowana na podstawie zlecenia przesłanego przez Elmal Sp. z o.o. w dniu 18.10.2021r. Spółka Elmal reprezentowana przez Pana Andrzeja Wrzałkowskiego.
-
Praca z normą Common Criteria wspomagana szablonami Trust Case
PublikacjaTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Metoda jest przedmiotem intensywnych badań. Jeden z kierunków rozwoju dotyczy tworzenia szablonów oceny zgodności ze standardami. Szablon Trust Case jest odwzorowaniem wymagań zawartych w normie w strukturę drzewa dowodowego....
-
Opinia techniczna nt. zgodności z obowiązującymi przepisami projektu drogowego zadania „Budowa obwodnicy Koszalina i Sianowa na S-6 wraz z odcinkiem S-11 od węzła „Bielice” do węzła „Koszalin”.
PublikacjaCelem opracowania jest wykonanie opinii dotyczącej zgodności z obowiązującymi przepisami projektu drogowego zadania „Budowa obwodnicy Koszalina i Sianowa na S6 wraz z odcinkami S11 od Węzła „Koszalin” do Węzła „Bielice”. Uwagi i rekomendacje zawarte w opinii do projektu, które powinny przyczynić się do podniesienia jakości i zoptymalizowania przyjętych rozwiązań. Ocena projektu dzieli się na ocenę ogólną odnoszącą się do podstawowych...
-
Nadanie tytułu i godności doktora honoris causa PG
WydarzeniaŚwiatowej sławy specjalista w zakresie elektroniki i metrologii oraz charyzmatyczny mówca, prof. Janusz Mroczka, zostanie 41. doktorem honoris causa Politechniki Gdańskiej.
-
Trust Case: justifying trust in an IT solution
PublikacjaW artykule prezentujemy podejście wykorzystane przy budowie dowodu zaufania (ang. trust case) do DRIVE, infrastruktury informatycznej wspomagającej dystrybucję i podawanie leków. Cele DRIVE obejmowały bezpieczniejszą i mniej kosztowną dystrybucję leków. Dowód zaufania reprezentuje argumentację przemawiającą za tym, że DRIVE jest godne zaufania. Składa się on z żądań (ang. claims) postulujących pewne związane z zaufaniem własności...
-
Stanisław Galla dr inż.
OsobyUrodził się w 1970 w Gdańsku. Jest absolwentem Technikum Mechaniczno Elektrycznego w Gdańsku (1990). Studiował na Wydziale Elektrotechniki Politechniki Gdańskiej (studia ukończył w 1996). Rozprawę doktorską pt. „Metodyka zwiększania dokładności pomiarów małoczęstotliwościowych wskaźników zaburzeń okresowych występujących w sieciach niskiego napięcia” obronił w 2009 r na Wydziale Elektrotechniki i Automatyki Politechniki Gdańskiej....
-
Zastosowanie numerycznego modelu obiektu do oceny zgodności realizacji pro-jektu budowli gabionowej. W: Współczesna geodezja w rozwoju nauk techni- cznych, przyrodnicznych i ekonomicznych. Warszawa::SGGH**2003 s. 315-321, 3 rys. bibliogr. 6 poz.
PublikacjaW pracy przedstawiono sposoby badania oceny zgodności realizacji projektu budowli gabionowej. Zastosowano numeryczny model obiektu (NMO) i wyniki geodezyjnej inwentaryzacji powykonawczej (GIP) budowli gabionowej. Opracowano etapy badania oceny zgodności realizacji projektu. Opisano wewnętrzne i zewnętrzne błędy realizacji projektu. Na przykładzie muru oporowego wykonanego z gabionów dokonano wizualizacji wykrytych błędów realizacji...
-
Andrzej Augusiak dr inż.
Osoby -
Marek Olesz dr hab. inż.
OsobyWydział Elektrotechniki i Automatyki, Prodziekan ds. rozwoju dr hab. inż. Marek Olesz, prof. PG data urodzenia 1966 wykształcenie Politechnika Gdańska, Wydział Elektryczny (1990) stopień / tytuł naukowy doktor habilitowany – Politechnika Gdańska, Wydział Elektrotechniki i Automatyki (2017), doktor – Politechnika Gdańska, Wydział Elektrotechniki i Automatyki (1998) zatrudnienie Politechnika Gdańska: asystent stażysta (1989 –...
-
Aneta Łuczkiewicz prof. dr hab. inż.
OsobyProwadzę badania nad zdolnościami adaptacyjnymi mikroorganizmów oraz możliwością ich wykorzystania do wspomagania procesów technologicznych. Łączę inżynierię środowiska z elementami inżynierii biomedycznej i materiałowej. Interesują mnie nowatorskie metody detekcji mikroorganizmów istotnych klinicznie w środowisku wodnym (tzw. epidemiologia oparta na ściekach) oraz zaawansowane i praktyczne rozwiązania w sektorze gospodarki wodnej....
-
From Pathwidth to Connected Pathwidth
PublikacjaW pracy przedstawiono dowód faktu, że spójna szerokość ścieżkowa grafu wynosi co najwyżek 2k+1, gdzie k jest jego szerokością ścieżkową. Dowód jest konstruktywny, tzn., został skonstruowany algorytm, który dla podanej na wejściu dekompozycji grafu o szerekości k zwraca dekompozycję spóją o szerekości co najwyżej 2k+1.
-
Argument strategies and patterns of the Trust-IT framework
PublikacjaArtykuł dotyczy metodologicznego i narzędziowego środowiska Trust-IT wspierającego budowę dowodów zaufania (ang. trust case), a w szczególności strategii tworzenia dowodu zaufania. Strategia uzależniona jest od właściwości systemu (lub innego rozważanego obiektu), która podlega analizie w ramach dowodu zaufania. W artykule zaprezentowano dwie strategie: oparta na ryzyku i oparta na standardach oraz omówiono kilka często stosowanych...
-
Generation of conformance test suites for parallel and distributed languages and APIS.
PublikacjaArtykuł zarysowuje nową metodologię systematycznego tworzenia Zestawów Testów Zgodności. Testowanie zgodności ma na celu sprawdzenie, czy implementacja jest zgodna ze swoją specyfikacją, co jest szczególnie ważne w środowiskach równoległych i rozproszonych, gdzie musi ze sobą współpracować wiele różnych pakietów. Autor rozpoczął swoje badania w dziedzinie testowania zgodności dla języka równoległego sterowanego danymi Athapascan,...
-
On sequences of the white noises
PublikacjaPodano dowód mocnego prawa wielkich liczb dla funkcjonałów gaussowskich.
-
Conformance testing of parallel languages
PublikacjaPrzedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.
-
Testing for conformance of parallel programming pattern languages
PublikacjaThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
Badania pojazdów zabytkowych - wymagane dokumenty
PublikacjaBadanie, jakiemu poddawany jest pojazd w stacji kontroli pojazdów, kwalifikujące go do pojazdów zabytkowych nazywane jest "Badaniem co do zgodności z warunkami technicznymi pojazdów zabytkowych". Rozporządzenie określa zakres i sposób prowadzenia badań zgodności z warunkami technicznymi pojazdów zabytkowych.
-
Comment on the orthogonality of the Macdonald functions of imaginary order
PublikacjaPrzeprowadzono dowód ortogonalności funkcji Macdonalda z urojonym indeksem. Zastosowana metoda jest znacznie prostsza od innych prezentowanych do tej pory w literaturze.
-
Joanna Raczek dr inż.
OsobyWykształcenie 1997 -- 2001 Studia inżynierskie, Wydział Fizyki Technicznej i Matematyki Stosowanej, Politechnika Gdańska. Kierunek: Matematyka, specjalność: Matematyka Stosowana. 2001 -- 2003 Studia magisterskie, Wydział Fizyki Technicznej i Matematyki Stosowanej, Politechnika Gdańska. Kierunek: Matematyka, specjalność: Matematyka Stosowana. 2000 -- 2004 Studia inżynierskie, Wydział Elektroniki, Informatyki i Telekomunikacji,...
-
Ocena stanu technicznego obiektów budowlanych Pomorskiej Kolei Metropolitarnej po ekstremalnym opadzie atmosferycznym w dniach 14 - 15 lipca 2016 r
PublikacjaOpinię wykonano w związku z powołaniem przez Marszałka Województwa Pomorskiego, Zespołu Ekspertów ds. analizy inwestycji Pomorskiej Kolei Metropolitarnej w kontekście stanu infrastruktury PKM po deszczu nawalnym w dniu 14/15.07.2016 r. Celem przeprowadzonych prac studialnych (uzupełnionych o wizje lokalne) była analiza udostępnionych dokumentacji pod kątem poprawności rozwiązań technicznych. Zakres prac: • Ocena zgodności dokumentacji...
-
Initial problems for neutral functional differential equations with unbounded delay.
PublikacjaSformułowano układ aksjomatów dla przestrzeni fazowej . Wykazano istnienie jednoznaczności rozwiązań zagadnienia Cauchy´ego. Dowód wykorzystuje metody porównawcze z nieliniowymi oszacowaniami dla danej funkcji.
-
Fixed point indices of iterated planar maps
PublikacjaW artykule dokonuje się przeglądu wyników dotyczących indeksów punktu stałego iteracji odwzorowań planarnych, sformułowane zostają otwarte pytania i podane nowe dowody w przypadku gładkim.
-
The Conley index, cup-length and bifurcation
PublikacjaZastosowano strukturę modułu w indeksie kohomologicznym Conleya do dowodu twierdzenia o minimalnej ilości rozwiązań okresowych dla układów Hamiltonowskich. Wykazano też ogólne twierdzenia dotyczące nietrywialności struktury mudułu.
-
Finite difference approximations for nonlinear first order partial differential equations
PublikacjaKlasyczne rozwiązania nieliniowych równań różniczkowych o pochodnych cząst-kowych pierwszego rzędu są aproksymowane za pomocą równań quasiliniowych uk-ładów równań różniczkowych. Dowód zbieżności wykorzystuje metody porównawcze
-
Opinia dotycząca systemu nawierzchni torowej proponowanej przez wykonawcę odcinka centralnego II linii metra w Warszawie
PublikacjaOpinia dotyczy zgodności zaproponowanej konstrukcji nawierzchni z zapisami zawartymi w Programie Funkcjonalno-Użytkowym
-
Nonlocal problems for functional partial differential equations of firstorder
PublikacjaRozważa się istnienie uogólnionych rozwiązań nielokalnych problemów dla quasiliniowych i nieliniowych równań różniczkowo-funkcyjnych cząstkowych pierwszego rzędu. Dowody twierdzeń bazują na metodzie bicharakterystyk i metodzie kolejnych przybliżeń.
-
A Framework for Analyzing Trust in IT Systems.
PublikacjaProblem uzasadnienia zaufania do systemów realizowanych w technologiach informacyjnych nabiera coraz większego znaczenia wraz z poszerzaniem zakresu zastosowań takich systemów. W artykule wprowadzono koncepcje 'dowodu zaufania', który stanowi strukturę zawierająca cały materiał dowodowy wraz ze stowarzyszona z nim argumentacja uzasadniająca, ze system jest wystarczająco wiarygodny (w sensie bezpieczeństwa, zabezpieczenia, prywatności...