Test and prediction of chloride diffusion in recycled aggregate concrete

Recycled aggregate concrete(RAC) specimens with different recycled coarse aggregate replacement ratios by mass(R) are fully immersed in a 10% chloride solution for 235 days. Both free chloride concentration(Cf) and total chloride concentration(Ct) are then measured employing a rapid chloride test(RCT) system. The Fick's second diffusion law is verified by the test data and used to predict chloride concentration distribution at different immersion periods. Additionally, pore structures of the new and old mortar in RAC are tested by mercury intrusion porosimetry(MIP). It is found that binding chloride concentration(Cb) linearly increases with Cf. In natural aggregate concrete(NAC), Cf is obviously smaller than that in the RAC in the same testing environment and this is different from the test results of Ct and Cb. Furthermore, the effects of R on the chloride concentration of RAC become severe for specimens subjected to long immersion periods, which can be explained in terms of the pore structures of the new mortar and old adhesive mortar in RAC.     

新时期广西农村生活垃圾资源化利用探索

新时期广西农村生活垃圾产生源分散、分布面广,存量与增量规模日益增大,构成成分复杂,处理难度较大。而且整体上广西农村生活垃圾处理设施不足,公共投入滞后,村民生态环保意识淡薄,环境卫生状况"脏、乱、差"严重,遭遇"垃圾围村"的困境。旨在"清洁环境、美化乡村、培育新风、造福群众"的"美丽广西·清洁乡村"大行动的最优路径是对农村生活垃圾进行资源化利用处理,最终达到减量化、资源化、无害化的处理目标,以获取较高的经济效益、环境效益和社会效益。     

一种基于灰色系统理论的分布式信任模型

在开放多Agent系统中,引入信任模型有利于选择出保证收益的交互伙伴,发挥灰色系统理论在解决贫信息、不确定性问题中的优势,构建了GTrust信任模型,设计了对证人推荐行为进行评定的方法,用灰色定权聚类的方法判定对证人的信任,克服证人提供的不准确信息带来的负面影响,指导评价者Agent合理使用来自证人的推荐.仿真实验表明,GTrust忽略了对不准确信息来源的甄别,而是只以实际交互结果为依据的策略,针对复杂的环境是一种切合实际的选择,无论在静态环境中,还是动态环境中,均可以取得好的效果.     

Investigation of electrorheological fluid for optical finishing

Electrorheological (ER) finishing is a promising technique for polishing optical mirrors lenses. Silicone oil-based ER finishing fluid with ceria particles as abrasive was developed, whose dispersed phase was alumina,titanium dioxide, silica, and starch, respectively. Experiments were performed in detail under the voltage of 3000 V, after 25 min of polishing a K9 glass. By using the ER fluid developed in this paper, with 47.62% starch, 47.62% silicone oil, and 4.76% ceria, the surface roughness of the K9 glass was reduced from 8.46 nm Ra to 3.45 nm Ra. The result verifies the validity of the developed ER fluid.     

一种带有维度抽取的Pareto协同进化算法

保证评价的可靠性和有效性是协同进化算法面临的主要挑战.近期研究显示协同进化问题域内隐含存在着一个维度系统,决定了问题解的完整评价指标.分析了维度结构表现出的个体间特征收益关系,提出了一种在线维度抽取方法,并将其集成到协同进化算法中,在进化过程中,同步抽取问题的维度,建立维度系统,为个体提供准确评价,并指导选择和保优操作,以此确保进化稳定进展.抽象问题上的实验结果验证了本算法的可行性,并表明本算法在性能和维度抽取的准确性上均高于现存同类算法.     

机器定理证明的反向归约方法

基于代数和递归函数理论，本文定义了代数递归谓词．代数递归谓词是一类广泛的谓词．基于数学归纳法，作者给出了证明代数递归谓词永真性的反向归约方法及相应的算法Ｒｅｄｕｃｔｉｏｎ．由于采用反向归约方式来完成定理证明，从根本上消除了正向组合式定理证明所产生的组合爆炸，因而极大地提高了定理证明的效率．     

专家系统工具HEST 的编译器设计

HEST是一个汉化编译型集成式的专家系统工具,在IBMPC及其兼容机上运行.它提供的逻辑/函数型通用知识表达语言,是融合了函数程序设计风格的编译型PROLOG语言.本文主要介绍:PROLOG语言的语义、语法扩充,主要是函数定义、函数调用和表达式计算;对WARREN抽象机数据结构、指令的增加和修改;编译器的主要构成模块和运行流程;语言语法结构编码的七条定义规则,并在附录中给出了编译实例.     

在扩展PROLOG中函数和面向对象的程序设计

论述了逻辑、函数和面向对象程序设计语言的差别和联系,提出了PROLOG语言的元级扩展,讨论了在此系统中函数和面向对象程序设计的实现方法.从程序设计方法学的观点看,此系统展现了多种程序设计风格,是逻辑、函数和面向对象程序设计模式的结合.     

基于期望的汉语分词模型的设计

汉语分词是汉语处理与拼音文字语言处理的一个不同点.本文回顾了汉语分词研究的发展,对现有的四种汉语分词方法进行了评述,介绍了当前的研究现状和存在的困难,并提出了一种基于期望的汉语分词方法.这种方法把分词与理解同步进行.基于这种方法的汉语分词模型是由预处理模块、词头处理模块、期望分词模块、句法分析模块、语义分析模块、学习模块以及知识库组成.