约束满足问题求解及ILOG SOLVER系统简介

首先综述求解约束满足问题的基本算法和搜索策略, 然后介绍ILOG SOLVER求解系统提供的类和函数的基本组成, 并给出用该系统求解的两个地图着色示例.     

高压摆喷灌浆在新立城水库坝基防渗中的应用

新立城水库的坝基渗透严重威胁水库大坝的安全,为解决这一问题,利用高压摆喷灌浆技术对水库进行了除险加固,对其主体工程防渗板墙设计采用折线连接,分两序孔进行施工,取得了良好效果。