Analiza algorytmów diagnostyki reduktorów jednostek pomp za pomocą metod formalnych

Abstract

Diagnostic model of pumping unit reducer is designed for the construction and analysis of algorithms by diagnosing formalized methods. The using of the diagnostic model allows us to ease and formalize decisions on the diagnostic problem. For the synthesis of algorithm for diagnosing the functional-logical model has been selected, which allows to consider the links between individual elements and assemblies of the reducer by simple means and consider the impact of these items on measuring diagnostic features. For a more detailed study of processes occurring in the gearbox of pumping unit, and facilitate the development of its diagnostic model, a functional diagram of reducing gear was built. Diagnostic logic model will help to establish and classify defects in development, to determine the direction of their development and cause-effect relationship with other defects.Diagnostyczny model reduktora jednostki pomp zaprojektowano w celu zbudowania i przeanalizowania algorytmów za pomocą metod formalnych. Wykorzystanie modelu diagnostycznego ułatwia i formalizuje proces decyzyjny w kwestiach diagnostyki. W celu scalenia algorytmu diagnostycznego zastosowano model funkcjonalno-logiczny umożliwiający przeanalizowanie powiązań między poszczególnymi elementami a zestawami reduktora za pomocą prostych środków oraz rozważenie wpływu tych elementów na pomiar cech diagnostycznych. W celu umożliwienia bardziej szczegółowych badań procesów występujących w skrzyni przekładniowej jednostki pomp oraz w celu opracowania modelu diagnostycznego stworzono funkcjonalny schemat przekładni redukcyjnej. Logiczny model diagnostyczny pozwoli ustalić i sklasyfikować pojawiające się uszkodzenia, określić ich kierunek rozwoju oraz mechanizmy przyczynowo-skutkowe z innymi uszkodzeniami