论文部分内容阅读
支持索引表达式的PPTL定理证明器的实现
【出 处】
：
西安电子科技大学
【发表日期】
：
2020年01期
其他文献
本文依托西藏交通厅项目,为解决拉萨地区的花岗岩废石应用在沥青路面性能较差的问题,缓解大规模公路基础设施建设导致的优质天然材料供给难题,同时降低施工成本。采用钢渣填料代替普通石灰岩矿粉,作为无机抗剥落剂,提高花岗岩与沥青粘附性,进而提高花岗岩沥青混合料性能,在保证沥青路面质量的同时,使钢渣废弃物和花岗岩废石都得到充分利用。通过原材料相关试验完成了花岗岩粗细集料、石灰岩矿粉、钢渣粉和集料的性能验证,结
学位
中国每年会产生大量的钢渣,不但占用土地资源,还会破坏生态环境,因此有效地利用好钢渣,对资源再生和道路工程绿色发展具有重要的意义。本研究首先通过试验对粗粒径钢渣、细粒径钢渣的基本性能进行研究,并根据钢渣自身特性对钢渣应用于沥青混合料中的适用情况加以探讨;通过试验研究AC-10钢渣沥青混合料的高温稳定性、低温抗裂性、水稳定性和体积稳定性表现,分析粗粒径、细粒径两种不同类型钢渣和不同的钢渣掺量对路用性能
学位