alavi meaning in Chinese

阿拉威
阿拉维

This thesis contains the author ' s research work on the lattice implication algebra and the alavi conjecture . following are the main works contained in this thesis
本文围绕格蕴涵代数与图论中的aalvi猜想作了一些研究工作并取得了以下结果。
The lattice implication algebra is a theoretical basis for the theory of lattice valued logic and approximate reasoning . in 1987 , alavi and others conjectured that every graph with positive size has an ascending subgraph decomposition . this conjecture is an unsolved problem in graph theory
与图论中的其它问题一样，对图的升分解问题的构造式证明本质上是寻找一种解决可以抽象为图的升分解问题的一类实际应用问题的算法，因此，关于图的升分解问题的研究工作对利用计算机解决这类实际问题具有现实意义。