Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "safety verification" wg kryterium: Temat


Wyświetlanie 1-13 z 13
Tytuł:
Development of a framework of safety goals for nuclear installations and its application in Germany
Autorzy:
Berg, H. P.
Powiązania:
https://bibliotekanauki.pl/articles/2069336.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
safety goals
safety assessment
safety verification
multi-units
Opis:
The International Atomic Energy Agency has started a few years ago a project to enhance the existing framework for safety goals for nuclear installations and currently is finalizing a publication aimed to provide guidance for a more holistic approach to establishing and utilizing safety goals for nuclear installations. The intention was to develop a more consistent and holistic framework for safety goals that would be composed of a hierarchical structure of qualitative concepts (e.g. defense in depth, various safety requirements) and quantitative risk metrics. The safety goals should be technology neutral at the higher level and should cover both normal operation and accident conditions as well as the risk to workers, public, and the environment. In the paper the development of a hierarchical framework for safety goals is described including a methodology to derive lower-(more technical) safety goals from the higher goals. Moreover a process for assessing the degree of compliance with the safety goals and their consistent use is provided. As an example the developed framework is applied to the German regulatory framework for nuclear installations but focused on nuclear power plants.
Źródło:
Journal of Polish Safety and Reliability Association; 2015, 6, 1; 15--22
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja poziomu nienaruszalności funkcji związanych z bezpieczeństwem
Integrity level verification for safety-related functions
Autorzy:
Śliwiński, M.
Powiązania:
https://bibliotekanauki.pl/articles/2069733.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
bezpieczeństwo funkcjonalne
weryfikacja bezpieczeństwa
nienaruszalność bezpieczeństwa
functional safety
safety verification
safety integrity
Opis:
This article describes methods for the safety integrity level (SIL) verification of safety-related functions with regard to probabilistic criteria given in international standards IEC 61508 and IEC 61511. These functions are realized using the electrical, electronic and programmable electronic (E/E/PE) systems or safety instrumented systems (SIS). Some methods are proposed for quantitative probabilistic modelling taking into account potential dependent failures in redundant systems with diverse channels within subsystems. The analyses of safety-related systems include testing and maintenance planning of subsystems, in particular the sensors and actuators with regard to the probabilistic criteria defined for given SIL. The methods are illustrated on some examples of systems from industrial hazardous plants.
Źródło:
Journal of Polish Safety and Reliability Association; 2011, 2, 3; 69--78
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa SIL z wykorzystaniem autorskiej aplikacji ProSIL
ProSIL software system for computer aided safety integrity level verification
Autorzy:
Śliwiński, M.
Barnert, T.
Piesik, E.
Powiązania:
https://bibliotekanauki.pl/articles/269027.pdf
Data publikacji:
2013
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
modelowanie probabilistyczne
weryfikacja poziomu nienaruszalności bezpieczeństwa SIL
probabilistic modelling
safety integrity level (SIL) verification
Opis:
W referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA (moduł ProSIL/LOPA). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami PN-EN 61508 i PN-EN 61511.
In this article a prototype ProSIL software system for computer-aided functional safety management is discribed. The software consists of three modules for: determination of the required SIL level (ProSILen), verification of the SIL level (ProSILer), and layer of protection analysis (ProSIL/LOPA). In ProSIL the methods concerning functional safety analysis in the process of the design and operation of Safety Instrumented Systems (SIS) are implemented according to PN-EN 61508 and PN-EN 61511 standards, and some new methods.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2013, 36; 161-164
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An overview and review of testing methods for the verification and validation of ADAS, active safety systems, and autonomous driving
Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
Autorzy:
Pietruch, Michał
Młyniec, Andrzej
Wetula, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/2106554.pdf
Data publikacji:
2020
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
ADAS validation
active safety systems verification
autonomous driving
testing methods in the loop testing
ADAS
weryfikacja systemów aktywnego bezpieczeństwa
jazda autonomiczna
metody testowania
testowanie w pętli
Opis:
The number of advanced driver assistance systems has increased dramatically in recent years. This led to a need for the development of testing methods to prove the quality and reliability of such systems. This publication presents an overview of the testing methods used in the automotive industry for the verification and validation of advanced driver assistance systems (ADAS), active safety, and autonomous driving systems. The first part presents the approach to X-in-the-loop testing such as model, software, hardware, etc., presenting the most interesting implementations. Then it discusses testing in proven areas like road traffic, artificial cities, and test tracks. The last part presents validation in the laboratory using both invasive and non-invasive methods based on virtual test drives, sensor stimulators and chassis dynamometers. Moreover, we identified the most promising approaches for the efficient verification and validation of ADAS, active safety and autonomous driving systems. Finally, we address some gaps in the research which require further investigation.
W ostatnich latach znacznie wzrosła liczba zaawansowanych systemów wspomagających kierowcę. Spowodowało to potrzebę opracowania metod testowania ich jakości i niezawodności. Artykuł przedstawia przegląd metod badawczych stosowanych w przemyśle motoryzacyjnym wykorzystywanych w weryfikacji i walidacji zaawansowanych systemów wspomagania kierowcy (ADAS), aktywnego bezpieczeństwa i systemów jazdy autonomicznej. W pierwszej części przedstawiono podejście do testów nazywanych testowaniem w pętli, takich jak model w pętli, oprogramowanie w pętli itd., prezentując najciekawsze implementacje. Następnie omówiono testy wykonywane na różnych terenach testowych, które mają udowodnić niezawodność i jakość systemu. Testowymi terenami mogą być tory testowe, sztuczne miasta czy drogi publiczne. W ostatniej części przedstawiono walidację wykonaną w laboratorium z wykorzystaniem metod zarówno inwazyjnych, jak i nieinwazyjnych, opartych na wirtualnych jazdach testowych, stymulatorach czujników i hamowniach podwoziowych. Ponadto zidentyfikowaliśmy najbardziej obiecujące podejścia do skutecznej weryfikacji i walidacji systemów ADAS, aktywnego bezpieczeństwa oraz jazdy autonomicznej. Na koniec wskazujemy potencjalne luki w tym temacie, które wymagają dalszych badań.
Źródło:
Mining – Informatics, Automation and Electrical Engineering; 2020, 58, 1; 19-27
2450-7326
2449-6421
Pojawia się w:
Mining – Informatics, Automation and Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
An overview and review of testing methods for the verification and validation of ADAS, active safety systems, and autonomous driving
Autorzy:
Pietruch, Michał
Młyniec, Andrzej
Wetula, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/2106555.pdf
Data publikacji:
2020
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
ADAS
weryfikacja systemów aktywnego bezpieczeństwa
jazda autonomiczna
metody testowania
testowanie w pętli
ADAS validation
active safety systems verification
autonomous driving
testing methods in the loop testing
Opis:
W ostatnich latach znacznie wzrosła liczba zaawansowanych systemów wspomagających kierowcę. Spowodowało to potrzebę opracowania metod testowania ich jakości i niezawodności. Artykuł przedstawia przegląd metod badawczych stosowanych w przemyśle motoryzacyjnym wykorzystywanych w weryfikacji i walidacji zaawansowanych systemów wspomagania kierowcy (ADAS), aktywnego bezpieczeństwa i systemów jazdy autonomicznej. W pierwszej części przedstawiono podejście do testów nazywanych testowaniem w pętli, takich jak model w pętli, oprogramowanie w pętli itd., prezentując najciekawsze implementacje. Następnie omówiono testy wykonywane na różnych terenach testowych, które mają udowodnić niezawodność i jakość systemu. Testowymi terenami mogą być tory testowe, sztuczne miasta czy drogi publiczne. W ostatniej części przedstawiono walidację wykonaną w laboratorium z wykorzystaniem metod zarówno inwazyjnych, jak i nieinwazyjnych, opartych na wirtualnych jazdach testowych, stymulatorach czujników i hamowniach podwoziowych. Ponadto zidentyfikowaliśmy najbardziej obiecujące podejścia do skutecznej weryfikacji i walidacji systemów ADAS, aktywnego bezpieczeństwa oraz jazdy autonomicznej. Na koniec wskazujemy potencjalne luki w tym temacie, które wymagają dalszych badań.
The number of advanced driver assistance systems has increased dramatically in recent years. This led to a need for the development of testing methods to prove the quality and reliability of such systems. This publication presents an overview of the testing methods used in the automotive industry for the verification and validation of advanced driver assistance systems (ADAS), active safety, and autonomous driving systems. The first part presents the approach to X-in-the-loop testing such as model, software, hardware, etc., presenting the most interesting implementations. Then it discusses testing in proven areas like road traffic, artificial cities, and test tracks. The last part presents validation in the laboratory using both invasive and non-invasive methods based on virtual test drives, sensor stimulators and chassis dynamometers. Moreover, we identified the most promising approaches for the efficient verification and validation of ADAS, active safety and autonomous driving systems. Finally, we address some gaps in the research which require further investigation.
Źródło:
Mining – Informatics, Automation and Electrical Engineering; 2020, 58, 1; 28-36
2450-7326
2449-6421
Pojawia się w:
Mining – Informatics, Automation and Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A safe programmable electronic system
Autorzy:
Halang, W.
Śnieżek, M.
Powiązania:
https://bibliotekanauki.pl/articles/200676.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
programmable electronic systems
safety
fail-safe comparison
function block programming
software verification
Opis:
A dual-channel computer architecture for utilisation in programmable logic controllers is presented. Faults can be detected by novel high-speed comparators with fail-safe operation. The cyclic operating mode of PLCs and a specification-level, graphical programming paradigm based on the interconnection of application-oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the programming and machine execution levels enabling the safety licensing of application software by an extremely simple, but rigorous method, viz., diverse back translation.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2010, 58, 3; 423-434
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja poziomów nienaruszalności bezpieczeństwa z uwzględnieniem aspektów ochrony informacji
Security aspects in verification of the safety integrity level
Autorzy:
Śliwiński, M.
Barnert, T.
Piesik, E.
Powiązania:
https://bibliotekanauki.pl/articles/267039.pdf
Data publikacji:
2014
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
SIL
EAL
SeSa
modelowanie
weryfikacja
safety integrity level (SIL)
evaluation assurance level (EAL)
probabilistic modelling
verification
Opis:
Poszczegó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 FTA. W niniejszym referacie przedstawiono wykorzystanie metod (w ramach aktualizacji metodyki analiz bezpieczeństwa funkcjonalnego) weryfikacji SIL z uwzględnieniem zagadnień ochrony informacji m.in. poprzez wykorzystanie w tym procesie poziomów uzasadnionego zaufania EAL, lub przypisaniu analizowanemu systemowi stopnia ochrony informacji na podstawie liczby pierścieni zabezpieczeniowo ochronnych wg metodyki SeSa - SINTEF, wraz z uwzględnieniem klasyfikacji systemów rozproszonych, w module weryfikacji SIL autorskiego oprogramowania ProSILEAL.
The article addresses some important issues of the functional safety analysis, namely the safety integrity level (SIL) verification of distributed control and protection systems with regard to security aspects. A quantitative method for SIL (IEC 61508, 61511) verification, based on so called evaluation assurance levels (EAL) and Secure Safety (SeSa) methodology, is presented. In this article is described a prototype ProSIL-EAL software system for computer-aided functional safety management. In ProSIL-EAL the methods (e.g. veryfying the SIL level of SIS) concerning functional safety analysis in the process of the design and operation of Safety Instrumented Systems (SIS) with security aspects are implemented according to PN-EN 61508, PN-EN 61511, ISO/IEC 15408 standards and SeSa - SINTEF methodology.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2014, 40; 107-110
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Eksperymentalna weryfikacja ograniczeń prędkości jazdy lekkich pojazdów szynowych w aspekcie przyjętych wskaźników bezpieczeństwa
Experimental verification of speed limits of the light rail vehicle in the aspect of safety indicators
Autorzy:
Gazdulski, Tomasz
Kominowski, Julian
Motyl, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/34584099.pdf
Data publikacji:
2014
Wydawca:
Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
Tematy:
lekki pojazd szynowy
ograniczenie prędkości
weryfikacja
wskaźniki bezpieczeństwa
light rail vehicle
speed limit
verification
safety indicators
Opis:
W niniejszym artykule dokonano konfrontacji odpowiedzi dynamicznej miejskiego lekkiego pojazdu szynowego podczas normalnej eksploatacji na wybranych odcinkach infrastruktury tramwajowej. Opisano cele i metodykę przeprowadzonych eksperymentów oraz przedstawiono ich zakres. Zaproponowano metodę sprawdzenia ograniczeń prędkości na podstawie których przewoźnik lub zarządca infrastruktury będzie mógł poddawać weryfikacji założonych ograniczeń prędkości, bezpośrednio wpływając na komfort i bezpieczeństwo jazdy.
In this paper confrontation of the dynamic response of light rail vehicle during the normal exploitation on the selected sections of the tram infrastructure is made. The aims and methodology of the carried out experiments are described as well as their range is presented. The method of checking the speed limits on which the carrier or the infrastructure manager will be able to verify the established speed limits, directly affecting the comfort and safety riding, are proposed.
Źródło:
Rail Vehicles/Pojazdy Szynowe; 2014, 2; 44-48
0138-0370
2719-9630
Pojawia się w:
Rail Vehicles/Pojazdy Szynowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bezpieczna platforma sprzętowa dla aplikacji opisanych w języku FBD
Safety execution framework for FB applications
Autorzy:
Śnieżek, M.
Powiązania:
https://bibliotekanauki.pl/articles/156270.pdf
Data publikacji:
2005
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowanie bezpieczne
sterownik logiczny
PLC
język bloków funkcyjnych
formalna weryfikacja
safety related control
Safety Integrity Level 3
Function Block Diagrams
software verification
programmable logic controller
Opis:
W pracy przedstawiono programowalny sterownik logiczny, zachowujący się w sposób bezpieczny. Zachowanie to obejmuje normalną pracę, podczas której wymaga się poprawnego sterowania, jak również stan awarii, w którym wyjścia muszą być automatycznie wyzerowane. Algorytm sterowania jest opisany metodą bloków funkcyjnych FBD i SFC zgodną z normą IEC-61131. Zastosowana architektura sprzętowa sprzyja podzieleniu oprogramowania na dwie części. Pierwsza część - stała, niezależna od aplikacji - obejmuje bibliotekę bloków funkcyjnych. część druga - zmienna, bezpośrednio zależna od aplikacji - zawiera strukturę połączeń bloków. Obydwie części są wykonywane przez osobne procesory. Do badania poprawności stałej części programu zaproponowano formalną metodę wykorzystującą logikę wyższego rzędu HOL. Część zamienną bada się stosując metodę zróżnicowanej retranslacji.
To architecturally support the programming of safety related control applications in the graphical language Function Block Diagram and the verification of such software meeting the requirements of safety Integrity level 3, a dedicated, low complexity execution platform is presented. Its hardware is fault detecting to immediately initiate emegrency shut-downs in case of malfunctions. By design, there is no semantic gap between the programming and machine execution levels, enabling the safety licensing of application software by extremely simple, but rigorous methods, viz., diverse back translation and inspection. Operating in strictly periodic fashion, the platform exhibits fully predictable real time behaviour.
Źródło:
Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 31-33
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dual synthesis of Petri net based application specific logic controllers with increased safety
Autorzy:
Tkacz, J.
Bukowiec, A.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/200217.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
critical safety
FPGAs
logic controllers
logic synthesis
Petri nets
verification
bezpieczeństwo krytyczne
FPGA
sterowniki logiczne
synteza logiczna
sieci Petriego
weryfikacja
Opis:
In the paper, design flow of the application specific logic controllers with increased safety by means of Petri nets is proposed. The controller architecture is based on duplicated control unit and comparison results from both units. One specification of control algorithm is used by means of Petri net for both units. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different hardware configurations for both control units. Additionally, the dual verification is applied to increase reliability of the control algorithm. Such design flow simplifies the process of realization of control systems with increased safety.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2016, 64, 3; 467-478
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Experimental verification of simulation of TB32 crash test for SP-05/2 road safety barrier on horizontal concave arc
Weryfikacja eksperymentalna symulacji testu zderzeniowego TB32 drogowej bariery ochronnej SP-05/2 w łuku poziomym wklęsłym
Autorzy:
Klasztorny, M.
Zielonka, K.
Nycz, D. B.
Posuniak, P.
Powiązania:
https://bibliotekanauki.pl/articles/104375.pdf
Data publikacji:
2017
Wydawca:
Politechnika Rzeszowska im. Ignacego Łukasiewicza. Oficyna Wydawnicza
Tematy:
road barrier
safety barrier
horizontal concave arc
simulation
crash test
experimental verification
modelling
bariera drogowa
bariera ochronna
łuk poziomy wklęsły
test zderzeniowy
weryfikacja eksperymentalna
modelowanie
symulacja
Opis:
The study concerns a selected road safety barrier consisting of a B-type guiderail, Sigma-100 posts with 2.00 m spacing, and supporting elements of a trapezoid cross section, located between the posts and the guiderail. The barrier is formed on a horizontal concave arc having a radius of 150 m. The full-scale experimental TB32 crash test was carried out for a vehicle impacting at the angle of 20°, on the testing grounds of the Automotive Industry Institute, Warsaw, Poland. The numerical modelling and simulation methodology of a barrier – vehicle system, recently developed by the authors is applied. Simulation of the above test was performed using LS-Dyna v.971 finite element code, while maintaining the conditions of the experimental test. All the functionality parameters for the barrier are studied, among others, ASI, THIV, working width, vehicle motion trajectory in the exit box. The results of the simulation tests were compared with those of the full-scale experimental test. The experimental verification of the numerical modelling and simulation of the selected crash test is rated positively. It was proven, both numerically and experimentally, that the TB32 crash test does not meet the condition imposed on the vehicle motion trajectory in the exit box.
Przedmiotem badań numerycznych i eksperymentalnych jest stalowa taśmowa drogowa bariera ochronna, składająca się z prowadnicy typu B, słupków Sigma-100 w odstępach 2,00 m oraz elementów podporowych. Bariera jest w łuku poziomym wklęsłym o promieniu 150 m. Test zderzeniowy TB32 według PN-EN 1317 przeprowadzono na poligonie Przemysłowego Instytutu Motoryzacji w Warszawie, z użyciem samochodu Dodge Neon. Zastosowano metodologię modelowania numerycznego i symulacji układu bariera – pojazd opracowaną przez część zespołu autorów. Symulację ww. testu zderzeniowego przeprowadzono przy zastosowaniu systemu LS-Dyna v.971, przy zachowaniu warunków testu eksperymentalnego. Analizą objęto wszystkie parametry funkcjonalności bariery określone w normie PN-EN 1317, m.in. ASI, THIV, szerokość pracująca, trajektoria ruchu pojazdu w polu wyjścia. Przeprowadzono weryfikację eksperymentalną modelowania numerycznego i symulacji testu TB32. Wynik weryfikacji oceniono pozytywnie. Udowodniono, zarówno numerycznie, jak i eksperymentalnie, że w rozpatrywanym przypadku bariery w łuku poziomym test TB32 nie spełnia kryterium pola wyjścia pojazdu.
Źródło:
Czasopismo Inżynierii Lądowej, Środowiska i Architektury; 2017, 64, 2/I; 107-118
2300-5130
2300-8903
Pojawia się w:
Czasopismo Inżynierii Lądowej, Środowiska i Architektury
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Biometryczna weryfikacja tożsamości kierowców na podstawie obrazu twarzy
Biometrical driver face verification
Autorzy:
Chmielińska, J.
Jakubowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/315121.pdf
Data publikacji:
2018
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
bezpieczeństwo ruchu drogowego
system monitoringu
konwolucyjne sieci neuronowe
weryfikacja tożsamości
obraz twarzy
zmęczenie kierowcy
tachograf
road safety
monitoring system
convolutional neural networks
identity verification
face images
driver fatigue
tachogram
Opis:
W artykule przedstawiono problematykę weryfikacji tożsamości na podstawie obrazu twarzy w kontekście systemu monitorowania kierowców na potrzeby bezpieczeństwa w ruchu drogowym. Zaproponowane zostały dwie metody weryfikacji tożsamości oparte na konwolucyjnej sieci neuronowej, opracowane z wykorzystaniem techniki „transfer learningu”. W artykule przedstawione zostały wyniki porównawcze efektywności działania przedstawionych metod a także ich wady oraz zalety.
The paper discusses the problem of face verification in a driver monitoring system for the purpose of traffic safety. Two different methods of face verification were proposed. Both of them are based on a convolutional neural network and were developed with the use of a transfer learning technique. In the paper, the results produced by both proposed method have been presented and compared. Moreover, their advantages and disadvantages have been discussed.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2018, 19, 6; 68-72, CD
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Note on Analysis of BPMN Diagrams
Przyczynek do analizy diagramów BPMN
Autorzy:
Ligęza, A.
Powiązania:
https://bibliotekanauki.pl/articles/275284.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
notacja modelowania procesów biznesowych
BPMN
reguły biznesowe
systemy regułowe
analiza systemowa
weryfikacja systemów
bezpieczeństwo
niezawodność
efektywność
poprawność
Business Process Modeling Notation (BPMN)
business rules
rule-based systems
system analysis
system verification
safety
reliability
efficiency
correctness
Opis:
BPMN has recently become a de facto standard for modeling and design of complex software intensive processes. It is widely used not only in the Business Process domain. Numerous tools supporting visual edition have been developed. Despite its unquestionable advantages the semantic analysis of logical properties seems to be one of the weaknesses of this formalism. In order to assure reliable process execution the overall structure of the graph and its logical operation should be verified.
BPMN staje się powoli standardem de facto w modelowaniu i projektowaniu procesów zawierających istotne komponenty programowe. Jest powszechnie stosowany nie tylko dla modelowania procesów biznesowych. Zaimplementowano wiele narzędzi wspomagających wizualne projektowanie diagramów BPMN. Niestety, pomimo niezaprzeczalnych sukcesów semantyka BPMN i analiza własności logicznych stanowią ciągle słabe strony. Aby zapewnić niezawodną pracę systemów, należy przeprowadzić formalną analizę systemu.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 12; 210-212
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-13 z 13

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies