M. Kvassay, E. Zaitseva, V. Levashenko, J. Kostolny
{"title":"k- out -n三态系统的多值决策图","authors":"M. Kvassay, E. Zaitseva, V. Levashenko, J. Kostolny","doi":"10.1109/ISMVL.2017.38","DOIUrl":null,"url":null,"abstract":"One of the current issues in reliability analysis is investigation of complex systems that are composed of many components of variable nature. This variability implies that such systems have usually several performance levels and, therefore, they are modelled as Multi-State Systems (MSSs). Analysis of MSSs is a challenging task that consists of several steps. The principal task is a creation of such model that can be processed in a reasonable time. One of the possible ways for solving this task is application of tools related to multiple-valued logic. In this paper, we focus on a specific class of MSSs that is known as k-out-of-n systems. We develop a method that can be used for creation of a good model for this kind of MSSs. The presented method is based on multi-valued decision diagrams.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Multi-valued Decision Diagrams for k-Out-of-n Three-State Systems\",\"authors\":\"M. Kvassay, E. Zaitseva, V. Levashenko, J. Kostolny\",\"doi\":\"10.1109/ISMVL.2017.38\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"One of the current issues in reliability analysis is investigation of complex systems that are composed of many components of variable nature. This variability implies that such systems have usually several performance levels and, therefore, they are modelled as Multi-State Systems (MSSs). Analysis of MSSs is a challenging task that consists of several steps. The principal task is a creation of such model that can be processed in a reasonable time. One of the possible ways for solving this task is application of tools related to multiple-valued logic. In this paper, we focus on a specific class of MSSs that is known as k-out-of-n systems. We develop a method that can be used for creation of a good model for this kind of MSSs. The presented method is based on multi-valued decision diagrams.\",\"PeriodicalId\":393724,\"journal\":{\"name\":\"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2017.38\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2017.38","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Multi-valued Decision Diagrams for k-Out-of-n Three-State Systems
One of the current issues in reliability analysis is investigation of complex systems that are composed of many components of variable nature. This variability implies that such systems have usually several performance levels and, therefore, they are modelled as Multi-State Systems (MSSs). Analysis of MSSs is a challenging task that consists of several steps. The principal task is a creation of such model that can be processed in a reasonable time. One of the possible ways for solving this task is application of tools related to multiple-valued logic. In this paper, we focus on a specific class of MSSs that is known as k-out-of-n systems. We develop a method that can be used for creation of a good model for this kind of MSSs. The presented method is based on multi-valued decision diagrams.