排序方式: 共有38条查询结果,搜索用时 15 毫秒
1.
2.
3.
为了提高推理引擎的推理效率,将Rete算法和等价类推理技术整合到基于规则的几何自动推理系统中,构造一种新的推理引擎,即基于等价类推理的几何自动推理网.采用Lisp语言实现该推理引擎,并做了50多个非平凡几何定理的实验,实验结果表明该推理引擎具有更高的推理效率. 相似文献
4.
5.
为了减少铅的氧化,防止铅气和铅尘的污染,许多厂家在线材热处理铅缸液面上先后采用木炭、焦炭粉、石灰等覆盖层,也有的采用密封罩覆盖,效果都不甚理想。铅耗高,环境污染严重。为解决上述存在的问题,降低铅耗,降低成本,保护环境,本文就钢箱覆盖的方法介绍如下: 相似文献
6.
7.
8.
9.
10.
江建国 《中国新技术新产品》2010,(7):173-173
粉煤灰加气砼砌块是一种轻质墙体材料,具有良好的建筑使用性能。是我国南方地区常用能以单一材料方式满足建筑节能要求的墙体材料。常用于框架结构非承重墙体建筑。本文分析了粉煤灰加气砼砌块墙体裂缝形成原因,提出了解决墙体裂缝的各种技术措施,希望大家一起探讨研究。 相似文献