第Ⅱ类尾矿库环保防渗系统设计探讨

尾矿库是堆存矿山工业固体废物的场所,根据国家新环保法和新尾矿设施设计规范,第Ⅱ类尾矿库必须进行环保防渗系统设计,且防渗性能必须满足规范要求。防渗系统是Ⅱ类尾矿库的极其关键的部分,它能有效地将尾矿库内的尾矿及矿浆水与外界隔离,防止尾矿水对环境的污染。重点探讨了环保防渗系统中HDPE膜及膨润土垫的主要技术特点、防渗层的结构设计、锚固平台及锚固沟的主要技术要求。指出了HDPE膜使用时,应该注意膜材中添加再生料问题、高寒地区温差问题、膜的厚度问题;膨润土应选择钠基膨润土,在含高浓度电解质溶液的防水、防渗工程中,不宜采用膨润土防水毯。针对尾矿库所在地场地基础层渗透系数等因素综合确定防渗结构层,并根据国内外防渗工程实际效果推广单层人工复合防渗结构层。     

OSPF协议无法发布静态路由问题的解析

本文针对OSPF协议中存在的一个静态路由无法正常发布的问题,就其产生原因进行了详细的分析,并阐述了OSPF附录E的推荐解决方案及当前规避措施。     

我国汽车用冷加工电焊管的发展

简介了汽车用冷加工电焊管的品种和加工方法。指出国内汽车用焊管的生产应优化品种结构．发展专用管生产,扩大市场占有率。     

Variations on Algebra: Monadicity and Generalisations of Equational Therories

This is a largely tutorial paper about the categorical notion of monad and the ways in which monads on different categories correspond to variations on the standard notion of algebraic theory. Received January 2001 / Accepted in revised form February 2002     

Observation levels and units of time: A critical analysis of the main assumption of the theory of the artificial

Negrotti's theory of the artificial is based on the fundamental assumption that the human being cannot select more than one observation level per unit of time. Since this assumption has important consequences for the theory of knowledge — knowledge cannot be synthesised but only further differentiated — its plausibility is tested against two aspects that characterise any theory of knowledge: knowledge production and knowledge application. The way in which the human being produces and applies knowledge is analysed, and a model of mind based on the transitoriness of its elements is proposed. The analysis confirms that only one observation level can be selected per unit of time.     

基于范畴论的形式化地理本体对齐和集成研究

本体对齐可解决本体间的异构,而范畴论可屏蔽本体间的异构性并为本体集成提供统一的方法框架。将范畴论引入本体对齐研究领域中,在范畴论的基础上,结合地理本体特征,对态射进行了重新定义,构造了一个更复杂的范畴。其中范畴中的对象为地理本体,而态射不仅能表达相等关系,也可以描述地理本体间的多种语义关系。在态射定义的基础上,根据态射的特性定义了本体对齐和本体对齐的复合,最后对本体集成进行了阐述。     

一种基于Graphics类的产品出入库票据模型设计与实现

随着计算机技术的普及,企业信息化建设快速发展,企业中利用计算机软件完成产品管理的程度越来越广泛。企业产品出入库票据是产品流通的有效凭证,因此根据企业需求设计合理的产品出入库票据凭证显得十分重要和必要。利用.NET平台中的Graphics类的相关方法,设计一种产品出入库票据模型并实现。     

网站通用类别管理的设计与实现

类别管理是网站开发常见和基础性的功能部分,借助ASP.NET2.0提供的功能强大的服务器控件,提出一种通用类别管理的设计方法,并就编程实现的关键部分进行了详细说明。设计结构清晰,代码可移植性强,可按需扩展或精简,提高了网站的开发效率。     

一种基于类主题空间的图像场景分类方法

本文在扩展LDA（latent dirichlet allocation）的基础上提出了一种新的生成模型——基于类主题空间的潜在狄里克雷分布（CTS-LDA)用来实现自然图像场景分类。该方法不同于以往方法,它在训练时通过将图像场景类别信息引入模型推导过程中,产生各场景类的独立语义主题空间,使得每个场景类都有各自不同的主题空间,图像的最终语义表示采用与其类别相关的类主题集,是一种符合人类认知习惯的方法。以前所用的场景分类方法通常在得到图像主题表示后还需要依赖于其他分类器来完成场景分类,而CTS-LDA模型可以在分别计算图像在各类模型中的主题分布时,用最大似然法得出图像的类别信息。此外本文通过分析不同主题数对本模型性能的影响,得出了适用于本模型的最佳主题数。本文分别通过13,15等多类场景任务来检验模型的性能,实验证明该模型能够在不需要太多训练的情况下取得较好的性能。     

基于范畴论的形式语言模型建模方法研究

形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言模型范畴。在形式语言族模型的形式化理论框架内,用与特定形式语言无关的范畴论方法研究形式语言模型转换的语义一致性。初步分析形式系统的完备性,通过与形式语言理论主要研究方法的比对论证了范畴论方法的优势,为形式语言模型的范畴论方法研究提供一个便利、高效的形式化理论框架。