集合范畴Set的伴随对及其在认知逻辑中应用

首先描述一般集合范畴Set的伴随对及其性质,其次讨论了在偏序集范畴中的一个性质.最后说明认知逻辑中的互模拟关系事实上就是一种集合范畴中的伴随关系,并给出应用.

中小型水电工程概算调整问题

近年来,地方中小型水电工程在黑龙江省黑河地区发展较快,相继建成或在建的有西沟、象山、山口、白石和库尔滨等水电站,这些工程对流域防洪和灌溉、解决区域缺电等方面起到了非常重点的作用。

砌石护坡冻胀变形破坏原因及其防治措施

黑龙江爱辉区段砌石护坡工程由于坡面基土层冻胀隆起变形,使砌石护坡失去稳定、变形和破坏。砌石护坡冻胀破坏不是一个冬春能完成的,而是经过一个累计发展过程。只有在土、水、温度等因素综合作用下,才会使冻胀残留不均匀累计隆起值增大,当隆起值达到一定限度时,达到了破坏阶段。要使砌石护坡免遭破坏,必须设法消除坡面基土层冻胀不均匀累计隆起变形。对这种成因造成的破坡的防治措施为:①部分加厚砌石护坡的反滤层;②改变护坡结构形式使之适应冻胀隆起变形,用抛石体取代砌石体。