Wyniki wyszukiwania:

This book describes the reliability research results and experience of BeiDou navigation satellite in engineering development. According to the characteristics of high reliability and high availability, this book discusses the reliability requirements, reliability design, reliability modeling, and reliability analysis of navigation satellite and constellation, focusing on the demonstration and decomposition of reliability requirements, constellation availability design, satellite availability design, and availability analysis. Based on the characteristics of batch production of navigation...

This book offers a systematic platform for the theory of Boolean matrix and its application in logical dynamical systems. As a special kind of non-negative matrix, Boolean matrix has wide applications in graph theory, discrete-event system, game theory, clustering analysis, and so on. Due to the special operations between Boolean matrices, there exist some special mathematical properties for Boolean polynomial and Boolean vector space, which necessitate a general theory of Boolean matrix. Furthermore, logical dynamical systems have received recent attention from systems biology,...