Search
Filters
total: 40
Search results for: DOWÓD BEZPIECZEŃSTWA
-
WERYFIKACJA POZIOMÓW NIENARUSZALNOŚCI BEZPIECZEŃSTWA Z UWZGLĘDNIENIEM ASPEKTÓW OCHRONY INFORMACJI
PublicationPoszczególnym poziomom SIL projektowanego systemu elektrycznego/elektronicznego/programowalnego elektr onicznego E/E/PE (BPCS lub SIS) odpowiadają ilościowe kryteria probabilistyczne. Dowód spełnienia przez system zabezpieczeń wymagań SIL nazywa się weryfikacją. Model probabilistyczny dowolnego systemu zabezpieczeń SIS można przedstawić za pomocą schematów blokowych niezawodności RBD, grafów Markowa, równań uproszczonych oraz drzew niezdatności...
-
Zdalne rozpoznawanie twarzy w poprawie bezpieczeństwa osobistego interweniującego funkcjonariusza Policji
PublicationStreszczenie: W 2017 r. ruszył w Polsce pilotażowy program zakładania kamer cyfrowych na mundurach policyjnych. Z perspektywy dnia dzisiejszego wiadomo, że kamery będące indywidualnym wyposażeniem policjanta, rejestrując czas, datę i przebieg interwencji, niejednokrotnie stanowią istotny dowód w sprawach spornych, zwłaszcza w sytuacjach pomawiania policjantów o przekroczenie uprawnień podczas interwencji. W dobie nieustannie...
-
From Pathwidth to Connected Pathwidth
PublicationW 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.
-
On sequences of the white noises
PublicationPodano dowód mocnego prawa wielkich liczb dla funkcjonałów gaussowskich.
-
Comment on the orthogonality of the Macdonald functions of imaginary order
PublicationPrzeprowadzono dowód ortogonalności funkcji Macdonalda z urojonym indeksem. Zastosowana metoda jest znacznie prostsza od innych prezentowanych do tej pory w literaturze.
-
Initial problems for neutral functional differential equations with unbounded delay.
PublicationSformuł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.
-
Finite difference approximations for nonlinear first order partial differential equations
PublicationKlasyczne 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
-
Representation of the Poisson kernel for Jacobi and Hahn polynomials
PublicationW pracy przedstawiono dowód twierdzenia o reprezentacji jąder Poissona dla wielomianów Jacobiego wypukłą kombinacją nieujemnych jąder typu Durrmeyera. Podobne rezultaty uzyskano dla jąder Poissona dla dyskretnych wielomianów Hahna.
-
Conley type index applied to Hamiltonian inclusions
PublicationPodano dowód istnienia nietrywialnych rozwiązań okresowych dla inkluzji Hamiltonowskich, z potencjałem lokalnie Lipschitzowskim, okresowym, uogólniając klasyczne twierdzenie Ammana- Zehndera. Użyto techniki z teorii indeksu Conley'a dla wielowartościowych potoków w przestrzeni Hilberta.
-
On efficient coloring of chordless graphs
PublicationArtykuł omawia zagadnienie optymalnego, wielomianowego rozpoznawania i kolorowania grafów bezcięciwowych. Zawiera dowód tego, że takie grafy są zawsze 4-kolorowalne oraz opis wielomianowego algorytmu, który koloruje je minimalną możliwą liczbą kolorów.
-
Implicit difference methods for first order partial differential functional equations
PublicationKlasyczne rozwiązania problemów początkowo brzegowych przybliżane są rozwiązaniami uwikłanych metod różnicowych. Wykazana została zbieżność i stabilność uwikłanych schematów. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perrona dla funkcji danych.
-
An orthogonality relation for the Whittaker functions of the second kind of imaginary order
PublicationPrzeprowadzono dowód ortogonalności funkcji Whittakera drugiego rodzaju rzędu urojonego. Użyto metody analogicznej do tej, którą zaprezentowano we wcześniejszej pracy tych samych autorów [J. Math. Anal. Appl. 365 (2010) 195-197], poświęconej funkcjom Macdonalda rzędu urojonego.
-
Stability of difference problems generated by hyperbolic first order partial differential systems.
PublicationPraca dotyczy numerycznej aproksymacji rozwiązań zagadnień początkowych dla nieliniowych układów równań różniczkowych cząstkowych pierwszego rzędu. Podano konstrukcję układu quasiliniowego równań różnicowych typu Eulera. Wykazano, że przy naturalnych założeniach jest on stabilny. Dowód zbieżności wykorzystuje metody porównawcze.
-
O problemie przydziału częstotliwości, kontrastowym kolorowaniu grafów i częściowych k-drzewach
PublicationNiniejszy artykuł poświęcony jest złożoności obliczeniowej problemu przydziału częstotliwości. Zawiera dowód tego, że jest on NP-trudny nawet dla grafów interferencji, będących grafami dwudzielnymi, oraz wielomianowy algorytm rozwiązujący ten problem dla grafów interferencji, będących częściowymi k-drzewami.
-
Sum coloring of bipartite graphs with bounded degree.
PublicationArtykuł poświęcony jest złożoności obliczeniowej zagadnienia sumacyjnego kolorowania grafów dwudzielnych o ograniczonym stopniu. Zawiera dowód tego, że sumacyjne kolorowanie grafów dwudzielnych stopnia mniejszego równego 5 jest NP-zupełne oraz opis wielomianowego algorytmu, który optymalnie sumacyjnie koloruje grafy dwudzielne podkubiczne.
-
Generalized solutions of first order partial differential functional inequalities
PublicationW pracy rozważa się zagadnienia początkowo brzegowe dla nieliniowych równań różniczkowo funkcyjnych cząstkowych pierwszego rzędu. Podano dowód jednoznaczności rozwiązań uogólnionych. Oparty jest on na twierdzeniu porównawczym dla nierówności różniczkowo funkcyjnych w sensie Caratheodory'ego. Prezentowane jest twierdzenie o uogólnionych rozwiązaniach nierówności różniczkowo funkcyjnych.
-
Implicit difference methods for Hamilton-Jacobi differential functional equations
PublicationKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami odpowiedniego układu quasiliniowego równań różniczkowo funkcyjnych. Rozpatrywana metoda numeryczna jest uwikłana względem zmiennej przestrzennej. Wykazana została zbieżność i stabilność uwikłanych schematów. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perrona dla funkcji danych.
-
Numerical methods for systems of nonlinear differential functional equations
PublicationPraca dotyczy zagadnień początkowo brzegowych dla nieliniowych układów różniczkowo funkcyjnych. Rozważana jest aproksymacja rozwiązań rozważanego problemu różniczkowo funkcyjnego przez rozwiązania odpowiedniego problemu różnicowego. W pracy analizowana jest zbieżność prezentowanych metod. Dowód zbieżności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perron'a dla danych operatorów.
-
Implicit difference methods for quasilinear differential functional equations on the Haar pyramid
PublicationW pracy prezentowana jest klasa metod numerycznych dla quasiliniowych równań różniczkowo funkcyjnych pierwszego rzędu. Metody numeryczne są uwikłane względem zmiennej czasowej. Istnienie rozwiązania przybliżonego wykazane zostało przy użyciu nierówności różnicowych. Dowód stabilności bazuje na technice porównawczej z nieliniowym oszacowaniem typu Perona dla funkcji danych. Przedstawione zostały również przykłady numeryczne.
-
Quantum states representing perfectly secure bits are always distillable
PublicationW pracy pokazano, że ostatnio wprowadzone stany kwantowe reprezentujące perfekcyjnie bezpieczny bit klucza kryptograficznegooraz ich wielocząstkowe i wielowymiarowe uogólnienia zawsze reprezentują destylowalne splątanie. Podano ograniczenia dolne na wielkość destylowalnego splątania. Ponadto podano alternatywny dowód faktu, że koszt splątania jest ograniczeniem górnym na wielkość destylowalnego klucza kryptograficznego w dwucząstkowym...
-
Generalized Euler method for nonlinear first order partial differential equations.
PublicationKlasyczne rozwiązania nieliniowych równań różniczkowych cząstkowych pierwszego rzędu są aproksymowane w tej pracy za pomocą rozwiązań quasiliniowych układów równań różnicowych. Podstawowa idea pracy jest oparta na teorii charakterystyk. Podane są warunki wystarczające dla zbieżności metody. Dowód stabilności schematu różnicowego wykorzystuje metodę porównawczą z nieliniowymi oszacowaniami typu Perrona dla danych funkcji.Podane...
-
Generalized Euler method for first order partial differential functional equations
PublicationW pracy prezentowana jest nowa klasa metod numerycznych dla nieliniowych równań różniczkowo funkcyjnych pierwszego rzędu.Rozwiązania klasyczne zagadnień początkowo brzegowych przybliżane są w tej pracy przez rozwiązania odpowiedniego układu quasilininowego równań różnicowych. Podajemy kompletną analizę zbieżności metod i pokazujemy na przykładach, iż nowa metoda jest zauważalnie lepsza niż klasyczne schematy różnicowe. Dowód stabilności...
-
Easy and hard instances of arc ranking in directed graphs
PublicationArtykuł dotyczy uporządkowanego kolorowania łuków grafów skierowanych. Problem polega na takim przyporządkowaniu liczb łukom digrafu, aby każda skierowana ścieżka łącząca dwa łuki o tej samej liczbie (kolorze) zawierała łuk o kolorze wyższym. Praca podaje liniowy optymalny algorytm dla pewnego szczególnego przypadku, oraz zawiera dowód, iż problem ten jest obliczeniowo trudny dla 3-dzielnych acyklicznych digrafów i stałej liczby...
-
Implicit difference methods for first order partial differential functional equations
PublicationW pracy prezentowana jest nowa klasa metod numerycznych dla quasiliniowych równań różniczkowo funkcyjnych pierwszego rzędu. Są to schematy różnicowe uwikłane względem zmiennej czasowej. Podana jest pełna analiza zbieżności rozważanych metod uwikłanych oraz przykład numeryczny pokazujący, że klasa tych metod jest szersza niż klasa schematów jawnych. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem...
-
Cooperative mobile guards in grids
PublicationPraca dotyczy problemu strzeżenia dwuwymiarowych krat ortogonalnych, przy założeniu, że obszar widoczności strażnika obejmuje jedną ulicę oraz wszystkie ulice ją przecinające. Rozważano wariant straży słabo współpracujących, w którym dodatkowo każdy strażnik musi widzieć przynajmniej jednego innego strażnika. Podano dowód NP-trudności problemu optymalizacyjnego w przypadku ogólnym, algorytm dokładny o złożoności O(n log n) dla...
-
Analityczne Modelowanie Procesów Przepływu: Analiza Obliczalności Modelu Stanowego
PublicationW pracy przedstawiono równania opisujące zjawisko przepływu cieczy oraz gazów w długich rurociągach. Oparłszy się na podziale rurociągu na małe segmenty, opisuje się dyskretne dynamiczne równanie tego procesu. Przedstawia się dowód, że macierz rekombinacji stanu (A), która potencjalnie może być przyczyną osobliwości równania stanu przepływu, jest nieosobliwa dla skończonych i niezerowych przedziałów kwantyzacji w czasie i przestrzeni....
-
Implicit difference methods for parabolic functional differential equations.
PublicationPraca dotyczy przybliżania rozwiązań quasiliniowych parabolicznych równań różniczkowo-funkcyjnych za pomocą schematów różnicowych, uwikłanych ze względu na zmienną czasową. Wykonano pełną analizę zbieżności metod i pokazano na przykładzie, że nowe metody są istotnie lepsze od schematów jawnych. Dowód stabilności oparty jest na metodzie porównawczej z nieliniowymi oszacowaniami typu Perrona. Otrzymane wyniki można zastosować do...
-
Weryfikacja asynchronicznych układów cyfrowych w strukturach FPGA
PublicationW artykule przedstawione zostały podstawowe informacje dotyczące typowych klas układów asynchronicznych. Wymienione klasy zostały następnie przeanalizowane pod kątem możliwości ich implementacji w układach programowalnych FPGA. Klasa "micropipelines" omówiona została dokładniej. W tej klasie został zaimplementowany w układzie FPGA typu Virtex2 przykładowy procesor asynchroniczny realizujący listę rozkazów swojego synchronicznego...
-
Implicit difference methods for infinite systems of hyperbolic functional differential equations
PublicationPraca dotyczy klasycznych rozwiązań problemów początkowo brzegowych dla nieskończonych układów nieliniowych równań rózniczkowo funkcyjnych. Skonstruowane są dwa typy schematów różnicowych. Pokazujemy, ze rozwiązania rozważanego zagadnienia różniczkowego można przybliżyć przy pomocy rozwiązań nieskończonych układów równań różnicowych. W drugiej części pracy udowadniamy, że również rozwiązania skończonych układów równań różnicowych...
-
Trust Case: justifying trust in an IT solution
PublicationW 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...
-
Weakly cooperative mobile guards in grids.
PublicationProblem straży w kratach stanowi przypadek problemu minimalnego pokrycia spójnego podzbioru płaszczyzny przez pewne szczególne podzbiory. W modelu tym przyjmuje się, że strażnik porusza się wzdłuż odcinka kraty i widzi wszystkie przecinające się z nim (prostopadłe) odcinki. W rozważanym modelu współpracy zakłada się, że każdy strażnik musi być widziany przez przynajmniej jednego innego strażnika. W pracy pokazano dowód NP-zupełności...
-
Implicit difference methods for nonlinear first order partial differential equations
PublicationW pracy klasyczne rozwiązania początkowo brzegowych problemów dla nieliniowych równań różniczkowych, szacowane są przez rozwiązania quasiliniowych układów uwikłanych równań różnicowych. Dowód zbieżności rozważanych metod opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perrona dla funkcji danych. To nowe podejście do uwikłanych metod różnicowych dla równań nieliniowych opiera się na quasilinearyzacji tych metod...
-
Metody wymiarowania zasobów sieci w architekturze IIP Internetu Przyszłości
PublicationNiniejszy artykuł omawia założenia, strukturę oraz metody wymiarowania zasobów sieci wdrożone w architekturze Internetu Przyszłości w ramach projektu Inżynieria Internetu Przyszłości (IIP) realizowanego w latach 2010-2013. W szczególności artykuł opisuje założenia proponowanych modeli programowania liniowego wykorzystanych w celu rozdziału zasobów sieci (przepustowości łączy, mocy przetwarzania węzłów) pomiędzy Równoległymi Internetami....
-
Miasto w działaniu. Nowe pola aktywności społecznej
PublicationMiasto od wieków jest areną sporów, przestrzenią konfliktów i miejscem uzgadniania interesów. Już sama relacja mieszkańców z miastem polega na konstytuowaniu przestrzeni, organizacji i reorganizacji współistnienia. Oznacza to, że od socjologicznie rozumianej przestrzeni należy oczekiwać, że uchwyci ona społeczny proces stanowienia. Przestrzeń miasta, w obrębie której żyje dana społeczność, jest jednym z najważniejszych obszarów...
-
Dopiero doświadczenie pokazuje, że nie jestem aż tak dobry – o malejącym poczuciu samoskuteczności wśród początkujących przedsiębiorców
PublicationW artykule prezentowane są wyniki badań ankietowych przeprowadzonych w grupie 76 przedsiębiorców, założycieli mikrofirm. Osoby badane były ankietowane po raz pierwszy na początku prowadzenia działalności – w czasie nie późniejszym niż 6 miesięcy od momentu założenia firmy oraz ponownie po upływie roku od pierwszej ankiety. Analiza statystyczna uzyskanych wyników wykazała, że w badanej grupie przedsiębiorców w sposób istotny obniżył...
-
Down-regulation of DNA topoisomerase IIalpha leads to prolonged cell cycle transit in G2 and early M phases and increased survival to microtubule-interacting agents
PublicationInhibitory polimeryzacji mikrotubul wykazują preferencyjną toksyczność wobec komórek mitotycznych. W ramach tego projektu badaliśmy czy oporność komórek ludzkich białaczek na inhibitor mikrotubul, winkrystynę, prowadzi do zmian w regulacji progresji cyklu komórkowego. Nasze wyniki wskazują, że oporności na winkrystynę towarzyszą zmiany w długości fazy G2 i M w nieobecności i obecności inhibitora wrzeciona mitotycznego, nokodazolu....
-
Marek Czachor prof. dr hab.
People -
Safety assurance strategies for autonomous vehicles
PublicationAssuring safety of autonomous vehicles requires that the vehicle control system can perceive the situation in the environment and react to actions of other entities. One approach to vehicle safety assurance is based on the assumption that hazardous sequences of events should be identified during hazard analysis and then some means of hazard avoidance and mitigation, like barriers, should be designed and implemented. Another approach...
-
Supporting Assurance by Evidence-based Argument Services
PublicationStructured arguments based on evidence are used in many domains, including systems engineering, quality assurance and standards conformance. Development, maintenance and assessment of such arguments is addressed by TRUST-IT methodology outlined in this paper. The effective usage of TRUST-IT requires an adequate tool support. We present a platform of software services, called NOR-STA, available in the Internet, supporting key activities...
-
Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.
PublicationArtykuł 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...