- Tytuł:
-
Formal models of generating checkup sets for the technical condition evaluation of compound objects
Modele formalne generowania zbiorów sprawdzeń dla oceny stanu technicznego obiektów złożonych - Autorzy:
- Sowa, A.
- Powiązania:
- https://bibliotekanauki.pl/articles/1365985.pdf
- Data publikacji:
- 2014
- Wydawca:
- Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
- Tematy:
-
obiekty złożone
ocena stanu technicznego
modele formalne obiektów
binarna i wielowartościowa ocena
wspomaganie komputerowe
compound objects
technical condition evaluation
formal models of objects
binary and multiplevalued evaluation
computer aiding - Opis:
-
Praca dotyczy problemów związanych z budową systemów wspomaganego komputerowo generowania zbiorów sprawdzeń cech niezbędnych do oceny zdatności obiektów złożonych, a także lokalizacji niezdatności ich elementów składowych. Analizowano przydatność do tego celu macierzowej metody określania zbiorów sprawdzeń oraz metody skreśleń. Sformułowano binarne i trójwartościowe modele ocen stanu technicznego elementów obiektu oraz jego cech wejściowych i wyjściowych. Pozwala to wtedy na utworzenie macierzowego modelu obiektu, wykorzystywanego w obu analizowanych metodach. Dla metody macierzowej zdefiniowano także binarne i trójwartościowe modele oceny rozróżnialności stanów technicznych obiektu. Binarne modele wykorzystano w programie generującym zbiory cech testu zdatności i lokalizującego, napisanym przy użyciu pakietu Mathematica. Przy trójwartościowym modelu ocen do generowania zbiorów sprawdzeń cech dla obu testów zaproponowano użycie metody skreśleń i sformułowano dla niej warunki rozróżnialności stanów technicznych. Przedstawiono także przykład użycia tej metody do określenia zbiorów sprawdzeń cech pozwalających na ocenę stanu technicznego części układu pneumatycznego hamulca wagonu.
The paper refers to problems connected with building systems of computer-aided generation of evaluation sets of features necessary for the evaluation of compound objects’ ability, and also the localization of imperfections of their component elements. In order to solve these problems, the usefulness of both the matrix method of determining sets of checkups and the cross-out method was analyzed. Binary and three-valued models of technical condition evaluation of the object’s elements as well as the object’s input and output features were formed. It allows then for the creation of the object matrix model which is used in both analyzed methods. For the matrix method, binary and three-valued evaluation models of distinguishing of the object technical condition were also defined. The binary models were used in a program which generates sets of features of the ability and localizing test. This program was written with the use of a Mathematica package. For a three-valued evaluation model for generating the feature checkup sets, the use of the cross-out method was proposed for both tests, with the technical state distinguishing conditions formed for this method. There was also presented an example of using this method to determine checkup sets of features which allow for the evaluation of the technical condition of part of the carriage brake pneumatic system. - Źródło:
-
Eksploatacja i Niezawodność; 2014, 16, 1; 150-157
1507-2711 - Pojawia się w:
- Eksploatacja i Niezawodność
- Dostawca treści:
- Biblioteka Nauki
Artykuł