尾矿库及工业废渣场环保防渗措施设计

主要论述了尾矿库及工业废渣库环保防渗设计应遵循的环保法规和标准。贮存第Ⅱ类一般工业固体废物的尾矿库及渣场采用单层土工膜复合防渗衬层;危险废物库（场）则一般用双层土工膜复合防渗衬层。     

基于建筑色彩构成的城市色彩规划研究——以安庆北部新城起步区城市色彩控制性导则为例

城市建设随经济快速增长急速扩张,在城市发展过程中,使城市保持独特风貌十分必要。建筑色彩作为城市景观重要组成部分,对提升城市品质、丰富城市内涵、形成城市特色名片具有重要现实意义。文章从建筑色彩构成角度出发,通过对建筑本体分析,结合建筑色彩与城市色彩规划关系特点,甄选影响城市色彩关键元素及建筑色彩控制性表现载体,并以安庆北部新城起步区色彩控制性导则的制定为例,具体阐述基于建筑色彩构成的城市色彩景观规划研究,为城市良性有序发展提供科学有效借鉴。     

计算机在机械加工聚类分析中的应用研究

论述了如何利用计算机对产品进行聚类分析，提高聚类分析的速度和精度，阐明了如何利用产品的加工工艺进行聚类分析，给出了停机准则和程序框图及实例说明。     

二句式非充盈态有标复句关系类别的自动标识

复句关系类别的识别是对复句分句之间语义关系的甄别,是分析复句语义关系的关键。在现代汉语复句中,二句式和三句式复句占绝大多数,而三句式复句又可以拆分为二句式复句,所以多句式复句的研究归结起来就是二句式复句的研究。因此,本文以二句式非充盈态有标复句为研究对象,结合汉语复句的句法理论、关系标记搭配理论,以汉语复句语料库以及搜索引擎获取的复句为语料,进行二句式非充盈态有标复句关系类别的自动标识。使用本文提出的方法对二句式非充盈态有标复句关系类别进行自动识别,准确率达89%,实验结果证明了本文方法的有效性。     

计算机科学中的范畴数据类型的研究综述

范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采用代数从归纳的角度研究有限数据类型的构造语义和递归性质。近年来,归纳数据类型的对偶概念——共归纳数据类型逐渐引起计算机科学工作者的关注与研究,他们采用共代数从观察的角度研究无限数据类型的行为语义和共递归性质。利用范畴论可以为数据类型研究提供统一的数学理论基础,并将代数和共代数中的各种重要研究成果有机地融合在一起,如语法构造与动态行为、递归与共递归、同余与互模拟等。目前,范畴数据类型已经在程序语言、计算描述、理论证明器和并行计算等领域得到广泛的应用。对范畴数据类型的基本概念、数学理论基础、逻辑基础及应用等方面的最新研究成果进行介绍,以引起国内外相关研究领域的学者对计算机科学中的范畴数据类型理论的关注。     

归纳数据类型的范畴论方法

归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足.基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则.     

Applying Kansei engineering to industrial machinery trade show booth design

Trade shows are considered an important marketing channel for companies since they provide manufacturers and purchasers with a vital commercial platform. Traditionally, plastics and rubber industry trade shows have been ineffective due to poor booth planning. Nevertheless, few studies have examined trade show booth design and planning. Actually, most companies lack distinct goals, and their decisions regarding trade show participation may influence decisions regarding which products should be demonstrated, size of trade booth, and level of advertising. Such a decision-making is a problem involving multi-criteria decisions, and requires a logical and objective operating procedure. This work thus devises an objective procedure for trade show. This investigation focuses on booth design for plastics and rubber industry trade shows and comprises three parts: (1) selecting appropriate assessment criteria for trade show design using the Delphi method and Kansei engineering. (2) Establishing suitable booth design principles and procedures for plastics and rubber industry trade show using fuzzy product positioning. (3) Further employing the proposed method to design trade show booths and verify their performance. The results demonstrate the feasibility of the proposed method.

Relevance to industry

This study was conducted to support machinery vendors as a systematic design flow chart and related criteria to provide an objective approach to trade show booth planning.     

杭州市区古建筑白蚁危害现状及防治对策

本文介绍了杭州市区（除余杭、萧山区外）古建筑白蚁危害状况；论述了市区古建筑蚁害种类及其发生成因；提出了古建筑白蚁防治的综治措施和建议。