Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Sowa A.

1 2014

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: formal models of objects

Sortuj według:

Ogranicz wyniki do:

Formal models of generating checkup sets for the technical condition evaluation of compound objects

Sowa A.

Eksploatacja i Niezawodność

2014

Vol. 16, no. 1

150--157

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.