This paper has comprehensively classified implication operations, and proposed information measure requirement of all implication operators by using Yager's specificity measure. Finally,Some typical implication operators are discussed to see if they satisfy the information measure requirement.
LS SIMD is an embedded memory-shared massively parallel machine. In this paper,we present a deep study of data communication optimizations techniques of LS SIMD parallel compiler. First,some conceptions of data layout and data communication are given,and the data communication principle of LS SIMD is analyzed. Second,we propose an optimization algorithm of data communication,and discuss some aspects in detail ,such as the representation of register state space ,decision and generation of inner data communication and batch data communication in PE array.