矿图目标描述及其代数运算研究

Mining Map Object Description And Study of Its Algebraic Operation.

本文将矿图目标定义为实体的物理表示，可表达为一个三元组。以此为基础，对矿图目标进行并、交、差和非等代数运算。根据布尔代数系的充要条件，证明矿图代数运算属于布尔代数系，从而为矿图编绘自动化提供理论基础。

ining map object is defined as a physical intertation of a substance in triple form.Based on the definition made,algebraic operation,such as intersection,incorporation and reduction,etc can be made for the map object,The operation proved to belong to Boolean algebraic system as it is in keeping with the conditions as required by the system.Thus a theoretical basis is provided for automatic compilation of mining maps.