论文部分内容阅读
该文定义了区间约束的非基本代数操作的语法和语义,用基本代数读作表达了非基本代数读作, 并证明了表达式的正确性“,”This paper defines the syntax and semantics of the non basic algebraic operations suject to interval constraint, and then expresses the non basic algebraic operations in terms of the basic algebraic operations, as is proved in this paper.