简介:摘要:本文重点讨论射影几何符号计算的两个基本问题:①投影几何特性应如何解析编写?用算法表示“射影几何属性”领域语言中的一阶公式,并转换为方括号(或不变式)解析几何语言中的受限类公式。这种特殊形式对应于合成射影几何中的陈述,并且该算法是转换几何的基本步骤。②解析几何定理如何证明?不变射影给出了解析射影几何定理。希尔伯特零点定理派生的理论在证明中起着核心作用。为证明关于所有字段或有序字段上“几何特性”的开放定理,一种算法会推导零点定理恒等式,从而在证明中提供最大的代数简单性和最大的信息。最后结果支持这样的建议,即应使用不变语言中的标识直接执行计算分析投影几何。
简介:[ 摘 要 ] 济南地铁华山北安置一区工程新建住宅小区地质条件复杂,本工程在地下车库及住宅地下室防水施工中,采用了非固化橡胶沥青复合防水层施工技术并取得了很好的效果。
简介:摘要:随着沥青温拌技术在我国大面积使用并取得良好的应用效果,其优异的路用性能得到普遍认可。温拌混合料较热 拌沥青混合料的优势之一是拥有更宽泛的拌合、摊铺、碾压温 度范围,但对掺加温拌剂的沥青感温性评价报道很少。研究温拌剂掺量对沥青感温性的影响。结果表明:随温拌剂掺量的增加,针入度指数( PI)变化没有规律性不能评价温 拌剂掺量对沥青感温性的影响;针入度黏度指数( PVN)的绝对值随温拌剂掺量增加而增大,但温拌剂掺量在 2%以上时其值超过评价范围,不能作为评价指标;沥青黏温指数( VTS)可以区分不同温度区间范围内沥青的感温性,在不合理的温度区间内得到的沥青粘流活化能无实际意义。