展开 实体布尔运算及建模技术研究内容有哪些方面