正常跟踪算法的图像代数描述是简明的，与算法是内在一致的。
The image algebra description of the normal tracking algorithm is concise and inherently correspondent with the algorithm.
其结果描述了这些代数内部结构的特征，同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径。
Those results describe the characterizations of interior structures of those algebras, and also offer a new way for further researching lattice-valued logic systems from the semantics.
FSP是一类描述并发程序形式化规约的进程代数记法。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
应用推荐