Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "wykrywanie błędów" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    CED for S-boxes of symmetric block ciphers
    Współbieżne wykrywanie błędów w S-blokach symetrycznych szyfratorów blokowych
    Autorzy:
    Idzikowska, E.
    Powiązania:
    https://bibliotekanauki.pl/articles/158286.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    współbieżne wykrywanie błędów
    S-blok
    wykrywanie błędów
    bity parzystości
    inwolucja
    concurrent error detection
    S-box
    fault detection
    parity based CED
    Opis:
    Concurrent Error Detection (CED) techniques based on hardware or time redundancy are widely used to enhance system dependability and to detect fault injection attacks, where faults are injected into chip to break the cryptographic key. In this paper we proposed hardware redundancy CED technique to detection errors in S-boxes of the PP-1 block cipher. Simulation results for single and multiple as well transient and permanent faults are presented and compared against another parity based method and to one of time redundancy method.
    Techniki współbieżnego wykrywania błędów (CED) są szczególnie szeroko stosowane w celu wykrywania błędów w układach kryptograficznych. Związane jest to nie z większym prawdopodobieństwem wystąpienia uszkodzeń lecz z atakami na układy kryptograficzne, polegającymi na celowym wprowadzaniu błędów (side channel attacks). Już w 1997 roku [1, 3, 4] pokazano, ze wprowadzone błędy ułatwiają złamanie kryptosystemów zarówno symetrycznych jak i asymetrycznych. Współbieżne wykrywanie błędów związane jest z wprowadzeniem do układu redundancji sprzętowej lub czasowej ewentualnie jednej i drugiej. W prezentowanym artykule przedstawiono metodę współbieżnego wykrywania błędów w S-blokach symetrycznych szyfratorów blokowych. W metodzie tej wykorzystana została redundancja sprzętowa. S-bloki to istotne elementy szyfratorów, których zadaniem jest ukrycie zależności między tekstem jawnym a kryptogramem i utrudnienie kryptoanalizy liniowej i różnicowej. Do badań wykorzystany został S-blok zaprojektowany dla szyfratora PP-1. Badania symulacyjne pokazały skuteczność wprowadzonych zabezpieczeń. Badano prawdopodobieństwo wykrycia błędów pojedynczych i wielokrotnych a także błędów trwałych i przemijających. Uzyskane wyniki zostały porównane z wynikami uzyskanymi innymi metodami współbieżnego wykrywania błędów, przedstawionymi w [8] i [9].
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 10, 10; 1179-1182
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analysis and detection of errors in hash function HaF-256
    Analiza i detekcja błędów w funkcji skrótu HaF-256
    Autorzy:
    Idzikowska, E.
    Powiązania:
    https://bibliotekanauki.pl/articles/153722.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    funkcja skrótu
    HaF-256
    współbieżne wykrywanie błędów
    DWC
    hash function
    concurrent error detection
    Opis:
    HaF-256 (Hash Function) is a dedicated cryptographic hash function considered for verification of the data integrity. It is suitable for both software and hardware implementation. HaF has an iterative structure. This implies that even a single transient error at any stage of the hash value computation results in a large number of errors in the final hash value. Hence, detection of errors becomes a key design issue. Concurrent checking of cryptographic chips has also a great potential for detecting faults injected into a cryptographic chip to break the key. In this paper the propagation of errors in the VHDL model of HaF-256 is shown, and then the error detection scheme based on hardware duplication is proposed and analysed. There was achieved 100% fault coverage in the case of single and multiple, transient and permanent bit flip faults.
    Funkcja skrótu HaF-256 jest funkcją kryptograficzną używaną do kontroli integralności danych. Jej implementacja może być zarówno programowa jak i sprzętowa. HaF ma strukturę iteracyjną. Sprawia to, że nawet pojedynczy, przemijający błąd wprowadzony w dowolnym miejscu cyklu obliczeniowego skutkuje dużą liczbą błędów w wyznaczonej wartości skrótu. Celowe wprowadzanie błędów to jeden z możliwych ataków na funkcje kryptograficzne, stąd współbieżne wykrywanie błędów to jeden ze sposobów przeciwstawiania się tym atakom. W pracy pokazana została propagacja błędów w modelu VHDL funkcji skrótu HaF-256. Następnie zaproponowano zabezpieczenie elementarnych operacji tej funkcji poprzez ich duplikację i porównywanie wyników. Badania symulacyjne zaproponowanego zabezpieczenia wykonano za pomocą symulatora Active-HDL firmy Aldec. Badano skuteczność zabezpieczeń dla błędów stałych i przemijających a także dla błędów pojedynczych i wielokrotnych. W badaniach uwzględniano dwa modele błędów. Jeden polegający na przyjmowaniu przez ścieżkę stałej wartości 1 lub 0 (stuck-at-0/1 fault) drugi na przyjmowaniu przez ścieżkę wartości przeciwnej do zadanej (bit flip fault). Uzyskane wyniki pozwoliły stwierdzić, że błędy polegające zmianie wartości na przeciwną zostały wykryte w 100%. Dotyczy to zarówno błędów pojedynczych jak i wielokrotnych a także stałych i przemijających. Wykrywalność błędów typu sklejenie ze stałą wartością 0 lub 1 jest niższa i została przedstawiona w pracy.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 11, 11; 1376-1379
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Przedwyrównawcze wykrywanie błędów grubych w pomiarze kątów orientacji zdjęć dla aerotriangulacji
    Pre-adjustment detection of gross errors in IMU measurement for aerotriangulation
    Autorzy:
    Ziobro, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/131030.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Geodetów Polskich
    Tematy:
    fotogrametria
    aerotriangulacja
    wyrównawcze wykrywanie błędów grubych
    IMU
    photogrammetry
    aerotriangulation
    pre-adjustment gross errors detection
    Opis:
    Opracowana metoda wykorzystuje dwa ogólne sposoby przedwyrównawczego wykrywania błędów grubych. Pierwszy z nich to kilkuetapowe wykrywanie pozwalające separować od siebie wpływy błędów grubych i pomyłek w danych występujących w poszczególnych grupach pomiarów tak, że nie nakładają się one wzajemnie, a na etapie dotyczącym omawianej metody występują tylko obserwacje odstające w pomiarze kątów orientacji zdjęć. Drugi, to statystyczne testowanie różnic między kątami pomierzonymi i kątowymi elementami orientacji zdjęć uzyskanymi z wyrównania bez użycia pomiaru z IMU. Metoda pozwala również na oszacowanie błędu średniego pomiaru kątów. Testowanie skuteczności przeprowadzono na 11 aerotriangulacjach dużych bloków zdjęć wykonanych w kraju w latach 2008-2010. Skuteczność metody przedwyrównawczego wykrywania błędów grubych i pomyłek w pomiarze kątów jest zadowalająca, gdyż nie wykryte przez metodę błędy grube są nieliczne. Również oszacowanie błędu średniego pomiaru kątów daje zadowalające przybliżenie i może być szczególnie przydatne, gdy wykonawca pomiaru podaje za mało dokładne oszacowanie błędu pomiaru kąta.
    Least squares method used in measurements adjustment is very sensitive to the occurrence of gross errors and mistakes in the data. In the event of greater number of gross errors, their harmful, imposing the effect, may be as both strengthen and eliminated by which the detection and location are difficult. In order to reduce the number and size of disturbances shall apply procedures of reliability to the stage of measurement, and requires a preliminary analysis of the measurements, generally called pre-adjustment gross error detection. In aerotriangulation, where there are four groups of measurements with very different origin, the three of them have large systematic errors, which are determined in the adjustment, detection is cumbersome and lengthy, and as practice shows do not always fully effective. Developed method uses two general ways of pre-adjustment gross errors detection. The first is the detection in several stages, which separates the influence of gross errors and mistakes in the data contained in each group of measurements so that they do not overlap each other. At the stage for this method are only outlier in the measurement of angles of orientation of images. The second is statistical testing of differences between the measured angles and angles of orientation of the images obtained from the adjustment without the use of measurement of the IMU. The method also allows estimation of the standard deviation of IMU measurement. The presented method is only a coarse approximation for more accurate methods. It is assumed that the method detects gross errors with large values. After the detection gross errors and mistakes, observations remaining in the calculations are of course re-tested during the final standard adjustment. Effectiveness testing of method have been carried out on the 11 aerotriangulatinos large blocks images taken in the country in 2008-2010. The effectiveness of the method is satisfactory, because undetected outliers are rare. Also, the estimation of standard deviation of measurement of angles is satisfactory.
    Źródło:
    Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2012, 24; 421-430
    2083-2214
    2391-9477
    Pojawia się w:
    Archiwum Fotogrametrii, Kartografii i Teledetekcji
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Methods of the Detection and Identification of Structural Defects in Saturated Metallic Composite Castings
    Autorzy:
    Gawdzińska, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/379854.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    casting
    composite
    structural defects
    identification of defects
    detection of defects
    odlewanie
    kompozyty
    błędy konstrukcyjne
    identyfikacja błędów
    wykrywanie błędów
    Opis:
    Diagnostics of composite castings, due to their complex structure, requires that their characteristics are tested by an appropriate description method. Any deviation from the specific characteristic will be regarded as a material defect. The detection of defects in composite castings sometimes is not sufficient and the defects have to be identified. This study classifies defects found in the structures of saturated metallic composite castings and indicates those stages of the process where such defects are likely to be formed. Not only does the author determine the causes of structural defects, describe methods of their detection and identification, but also proposes a schematic procedure to be followed during detection and identification of structural defects of castings made from saturated reinforcement metallic composites. Alloys examination was conducted after technological process, while using destructive (macroscopic tests, light and scanning electron microscopy) and non-destructive (ultrasonic and X-ray defectoscopy, tomography, gravimetric method) methods. Research presented in this article are part of author’s work on castings quality.
    Źródło:
    Archives of Foundry Engineering; 2017, 17, 3; 37-44
    1897-3310
    2299-2944
    Pojawia się w:
    Archives of Foundry Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metoda zwiększania przeżywalności federacji symulacyjnej
    The method for the fault-tolerance improvement of a simulation federation
    Autorzy:
    Pierzchała, D.
    Chlebicki, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/404186.pdf
    Data publikacji:
    2011
    Wydawca:
    Polskie Towarzystwo Symulacji Komputerowej
    Tematy:
    federacja symulacyjna
    eksperyment
    odporność na błędy
    wykrywanie błędów
    obsługa błędów
    symulator
    simulation federation
    experiment
    fault tolerance
    error detecting
    handling errors
    simulator
    Opis:
    W pracy omówiono metodę wykrywania i obsługi błędów w federacji symulacyjnej oraz zwiększania przeżywalności eksperymentu polegającą na rozdzieleniu aplikacji symulatora od interfejsu komunikacyjnego służącego do pracy pod kontrolą RTI. Zaproponowane podejście pozwala na ukrycie awarii aplikacji, wstrzymanie wszystkich działań w ramach federacji do momentu odzyskania sprawności przez uszkodzonego federata, bez przerywania całego eksperymentu. Wydzielony interfejs komunikacyjny pracuje podczas awarii, reaguje na informacje napływające z RTI oraz odtwarza stan federata do ostatniego zapamiętanego. W czasie poprawnej pracy aplikacji symulatora wszystkie aktualizacje symulowanych obiektów oraz wymieniane komunikaty zostają zapisane, aby mogły być następnie użyte w procesie odtwarzania.
    The paper presents the method for detecting and handling errors in the simulation federation and especially to improve fault-tolerance of distributed experiment. It can be obtained using the separation of application from the communication interface simulator. The proposed approach allows to hide the application failures, the suspension of all activities within the federation until the recovery efficiency of the faulty federate, without interrupting the experiment. Dedicated communication interface operates during the failure, responding to information coming from the RTI. Moreover, it restores state of the federate to the last stored. During proper work of the simulator all updates of simulated objects and the messages exchanged are stored in order to be used during restoring process (roll-back).
    Źródło:
    Symulacja w Badaniach i Rozwoju; 2011, 2, 4; 225-234
    2081-6154
    Pojawia się w:
    Symulacja w Badaniach i Rozwoju
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The determination of accuracy of testing gear wheel for aeronautical dual-power path gear after heat treatment
    Określenie dokładności testowego koła zębatego lotniczej przekładni dwudrożnej po obróbce cieplnej
    Autorzy:
    Dziubek, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/327472.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
    Tematy:
    error detection
    gear
    diagnostics
    aircraft gearbox
    coordinate measuring technique
    wykrywanie błędów
    koło zębate
    diagnostyka
    przekładnia lotnicza
    współrzędnościowa technika pomiarowa
    Opis:
    Manufacture of aircraft gearbox elements requires control of gear geometric parameters at different stages of technological process. The aim of this study is to present develop and execute the analysis accuracy of the geometry of the gear of aeronautical dual-power path gear after the roughing operation using coordinated optical scanner ATOS II Triple Scan. Research was carried out in order to detect errors occurring in the machining process and to determine the value of founded the machining allowance finishing in relation to the CAD model. On this basis, it is possible to determine the accuracy of the gear wheel as the workpiece after heat treatment. The results will be the basis to determine the effect of heat treatment on changes in the geometry of the gear and the benchmark for determining the correctness of the finishing.
    Produkcja elementów przekładni lotniczych wymaga kontroli parametrów geometrycznych kół zębatych na różnych etapach procesu technologicznego. Celem niniejszej pracy jest przedstawienie opracowania i wykonania analizy dokładności geometrii koła przekładni dwudrożnej po obróbce zgrubnej przy użyciu współrzędnościowego skanera optycznego ATOS II Triple Scan. Badania przeprowadzono w celu wykrycia błędów powstałych w procesie obróbki skrawaniem oraz określenia wartości założonych naddatków na obróbkę wykańczającą w odniesieniu do modelu CAD. Na tej podstawie możliwe jest określenie dokładności wykonania koła zębatego, jako półwyrobu po obróbce cieplnej. Otrzymane wyniki będą podstawą do określenia wpływu obróbki cieplnej na zmiany geometrii koła zębatego ze wzorcem odniesienia dla określenia poprawności wykonania obróbki wykańczającej.
    Źródło:
    Diagnostyka; 2015, 16, 2; 61-66
    1641-6414
    2449-5220
    Pojawia się w:
    Diagnostyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    An automatic formal verification tool for schematic-level design of an electrical project
    Narzędzie do automatycznej weryfikacji formalnej schematu ideowego sprawdzające poprawność schematu już we wczesnych etapach procesu projektowego
    Autorzy:
    Szelest, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/152251.pdf
    Data publikacji:
    2014
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    Electrical Fault Detection
    Formal Verification
    Design Rule Checking
    Electrical Rule Checking
    wykrywanie błędów
    weryfikacja formalna
    sprawdzanie reguł projektowych
    sprawdzanie reguł elektrycznych
    Opis:
    Schemat ideowy układu elektronicznego może być postrzegany jako zbiór wzajemnie połączonych komponentów elektronicznych tworzących pewien graf połączeń. Graf ten jest strukturą, której topologia może być odczytana i przeanalizowana. Automatyczna weryfikacja formalna schematu ideowego ma na celu wykrycie nietrywialnych błędów (związanych ze strukturą tegoż schematu), popełnionych przez projektanta w trakcie opracowywania schematu. Błędy te są efektem pominięcia lub niewłaściwego wykorzystania elementów elektronicznych w typowych podukładach (blokach funkcjonalnych). W artykule opisano realizację komputerowego narzędzia wspomagającego proces automatycznej weryfikacji formalnej, począwszy od określenia sposobu zapisu schematu, przez integrację z komercyjnymi narzędziami EDA (ang. Electronic Design Automation) aż po określenie algorytmów identyfikujących podobwody. Opracowane narzędzie umożliwia dokonanie weryfikacji schematu ideowego już w bardzo wczesnych etapach procesu projektowego, co znacząco redukuje liczbę pętli w procesie projektowym, wpływając korzystnie na końcowy koszt opracowania produktu oraz skracając czas niezbędny do przygotowania urządzenia do produkcji.
    A schematic diagram can be interpreted as set of components connected together to build a network. The network is a structure whose topology can be read and analyzed. The automatic formal verification aims at detecting some non-trivial mistakes, made by an electrical engineer, connected with the structure of schematic, building blocks and typical functional sub circuits. The paper presents the approach for realization of an automatic formal detection tool starting from the definition of schematic structure, through connectivity with a schematic-capture tool, to a sub-circuit identification algorithm.
    Źródło:
    Pomiary Automatyka Kontrola; 2014, R. 60, nr 6, 6; 369-372
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    System Architecture for Development and Supervision of Robotic Astronomical Telescope
    Architektura Systemu do zadań Rozwoju i Nadzoru Zrobotyzowanego Teleskopu Astronomicznego
    Autorzy:
    Bartkowiak, Patryk
    Patelski, Radosław
    Kwiatkowska, Marta
    Pazderski, Dariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2174228.pdf
    Data publikacji:
    2022
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    embedded computer control systems and applications
    remote servicing
    tele-maintenance
    Condition Monitoring
    fault detection and diagnosis
    sterowanie w systemach wbudowanych
    zdalne sterowanie
    zdalne utrzymanie
    kontrola warunków pracy
    wykrywanie błędów i diagnoza
    Opis:
    In this paper the novel control and communication scheme designed to ease the development and maintenance of the robotic astronomical telescope device is presented. The proposed solution allows the user to remotely access any signal in the controller of the telescope without imposing any additional overhead during telescope operation. The implemented scheme can be used by both an automated control system and human operators for easy supervision, control, and maintenance of the device.
    Artykuł przedstawia nowy system sterowania i komunikacji zaprojektowany w celu usprawnienia rozwoju i utrzymania zrobotyzowanego montażu teleskopu astronomicznego. Proponowane rozwiązanie umożliwia użytkownikowi zdalny dostęp do dowolnych sygnałów wewnątrz sterownika bez zwiększonego obciążenia podczas pracy systemu. Zaimplementowane rozwiązanie może być wykorzystywane zarówno przez automatyczny system nadzorujący, jak i przez użytkownika lub operatora, do nadzoru, sterowania i utrzymania urządzenia.
    Źródło:
    Pomiary Automatyka Robotyka; 2022, 26, 4; 43--51
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Detection and classification of short-circuit faults on a transmission line using current signal
    Autorzy:
    Coban, Melih
    Tezcan, Suleyman S.
    Powiązania:
    https://bibliotekanauki.pl/articles/2086833.pdf
    Data publikacji:
    2021
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    transmission line
    fault detection
    fault classification
    support vector machine
    SVM
    linia przesyłowa
    wykrywanie uszkodzeń
    klasyfikacja błędów
    maszyna wektorów nośnych
    Opis:
    This study offers two Support Vector Machine (SVM) models for fault detection and fault classification, respectively. Different short circuit events were generated using a 154 kV transmission line modeled in MATLAB/Simulink software. Discrete Wavelet Transform (DWT) is performed to the measured single terminal current signals before fault detection stage. Three level wavelet energies obtained for each of three-phase currents were used as input features for the detector. After fault detection, half cycle (10 ms) of three-phase current signals was recorded by 20 kHz sampling rate. The recorded currents signals were used as input parameters for the multi class SVM classifier. The results of the validation tests have demonstrated that a quite reliable, fault detection and classification system can be developed using SVM. Generated faults were used to training and testing of the SVM classifiers. SVM based classification and detection model was fully implemented in MATLAB software. These models were comprehensively tested under different conditions. The effects of the fault impedance, fault inception angle, mother wavelet, and fault location were investigated. Finally, simulation results verify that the offered study can be used for fault detection and classification on the transmission line.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2021, 69, 4; e137630, 1--9
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      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