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
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.
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
Informacja
SZANOWNI CZYTELNICY!
UPRZEJMIE INFORMUJEMY, ŻE BIBLIOTEKA FUNKCJONUJE W NASTĘPUJĄCYCH GODZINACH:
Wypożyczalnia i Czytelnia Główna: poniedziałek – piątek od 9.00 do 19.00