Formalization of the process of directional composition of structures of autonomous power-supply systems during design

Аннотация

The morphological method of synthesis of the structures of autonomous power-supply systems is presented, which is a further development of the sequential algorithms. A procedure of creating variants of the structure is given in the form of the initial information block, as well as a series of the sequentially performed operations in the formation of a tuple of electrical units with imposed restrictions being checked. The method is based on simulation of the main design rules followed by development of the design documentation. The theoretical content of the method is disclosed in the form of the initial information (axioms), rules of information processing, and logical formulas obtained as a result of applying the logical operations to the initial premises. It is recommended to use the calculation of the predicates as a mathematical basis making it possible to present the main theoretical premises of synthesis as the deductive axiomatic theory with a standard formalization. The main advantages of the proposed method are shown as specified by reduction in the time of finding of the functionally necessary structures by eliminating the need to carry out an exhaustive search for variants and using computers.