This paper analyses online verification methods for safety- and security-critical systems, including aerospace, nuclear instrumentation, and smart home systems. It emphasizes the need for resilience and adaptability in these systems to withstand various environmental conditions and potential threats. Several Markov models are developed to evaluate the dependability of control systems for small modular reactors. These models illustrate how online verification, by enabling early detection of failures, can enhance resilience and improve system performance. The findings suggest that optimising verification parameters is crucial for this enhancement, providing a foundation for future research in critical control systems.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Przedmiotem pracy jest biometryczny system weryfikacji tożsamości na podstawie dynamiki podpisu. Do akwizycji danych wykorzystano tablet graficzny. Oprogramowanie służące do rejestracji procesu składania podpisu, przetwarzania danych, ekstrakcji cech i automatycznego podejmowania decyzji o autentyczności zostało napisane w środowisku programistycznym LabVIEW™. W testach przeprowadzonych na zgromadzonej bazie blisko 500 podpisów osiągnięto wartość stopy błędu zrównoważonego EER równą 2,12%
EN
The subject of the following work is a biometric identity verification system based on the dynamics of a signature. For on-line data acquisition a digitizing tablet was used. Software for data processing, feature extraction and decision making was created in LabVIEW™ software development environment. For the tests of the proposed system a signature database of nearly 500 records was collected. The result of the system performance optimization is an equal error rate value of 2.12%.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.