二次筛选法求信息系统的约简

文中定义了区分属性集的码函数,并通过对区分矩阵中区分属性集码函数值的二次筛选得到区分函数的最小析取范式,最小析取式的每一个合取项即为信息系统的一个约简,该算法可以计算出信息系统的所有约简.     

蒋家沟水库除险加固工程大坝劈裂灌浆

针对蒋家沟水库工程黄土均质坝坝基和坝体结合面渗漏问题,对坝体采取劈裂式灌浆防渗加固处理。简要介绍了劈裂灌浆设计、施工及质量检测。