基于概念格的情景范围实例检索算法

历史版本的情景可以转化为知识实例,用于后续查询和推理。知识查询需要涉及到实例检索过程。实例检索问题可以通过ABox满足性测试(ASAT计算)完成,ASAT计算可通过Tableau算法实现。此算法比较耗时。对此,已经存在一系列技术用于优化实例检索的时间性能。该文进一步关注具有情景范围的情景知识实例检索。为了提高这一类实例检索的时间性能,提出使用概念格索引情景知识实例。由于每次查询范围不可能完全等价于格内涵所代表的区间,提出了基于概念格的实例检索算法实现特定范围的查询。通过实验和原始查询比较,使用概念格索引和此算法,时间性能得到了提高。     

颗粒级配对微生物固化砂土力学性能的影响

土体的颗粒级配不同,其微生物固化效果也可能存在一定的差别。将颗粒粒径范围为0.074~2.000 mm的砂土分成颗粒级配良好与颗粒级配不良4组,分别测试了固化后砂样的无侧限抗压强度、渗透系数、孔隙率,碳酸钙沉淀量,从宏观角度对比了颗粒级配对微生物固化砂土的物理力学性质影响。同时,结合电镜扫描,从微观角度分析了颗粒级配对微生物固化砂土的影响机制。研究结果表明：相比于颗粒级配不良的砂土,颗粒级配良好的砂土碳酸钙沉淀量与均匀性更好,孔隙率与渗透系数更小,从而增加了试样的无侧限抗压强度。这是因为级配良好的砂土自身含有更优的粗细颗粒组,可提供更多有利于生成碳酸钙的沉积位置,生成的碳酸钙更加致密,强度更高。