基于描述逻辑的特征模型

由于特征模型缺乏严格语义基础，难以对模型进行一致性推理，无法保证模型的一致性，进而影响最终软件产品的质量。本文讨论了如何使用描述逻辑对特征模型进行形式化，给出了将特征模型转化为描述逻辑ALCQI知识库的算法，通过验证转化后的知识库的一致性得到所对应特征模型的一致性。并利用描述逻辑的推理机RACER对转换得到的知识库进行推理，自动完成特征模型的一致性检查，为特征模型的一致性检验提供一种方法，实践证明这种方法具有可靠性和高效性。     

生成式程序设计研究概述

随着软件规模越来越大、软件复杂度越来越高，如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标，已经陆续出现一些有效的方法和技术。Krzysztof Czarnecki和U．Eisenecker融合先进方法和技术的精髓，提出了一种新的软件工程范型——生成式程序设计：基于为软件系统族进行建模，对给定的需求规格说明，利用配置知识，把基本的可重用构件根据需求进行自动化的配置以产生高定制、优化的软件产品。生成式程序设计的基础是面向系统族的生成式领域模型，该模型包括三个基本成分：问题域、解域和连接这两个域的配置知识。生成式程序设计包含两个开发周期：一个是设计和实现生成式领域模型，即支持重用的开发；另一个是利用生成式领域模型生产出具体的软件系统，也即利用重用的开发。本文将详细地介绍此软件工程范型的分析与设计方法和实现技术。     

掺废旧橡胶颗粒纤维混凝土在路面工程中应用的可行性分析

橡胶混凝土作为一种新型节能环保土木工程复合材料,具有轻质高弹、耐磨减震、抗裂性好、冲击韧性高等优点,已经成为国内外学者研究的热点之一。在已有大量文献基础上,分别介绍了橡胶混凝土和纤维混凝土的基本性能与研究现状,阐述了混凝土中复掺橡胶和纤维的协同效应,讨论了路面用橡胶纤维混凝土的可行性及未来研究方向,以期为深入研究和推动路面用橡胶纤维混凝土的工程应用提供借鉴。     

煤制天然气工艺技术研究

分析了中国发展煤制天然气的必要性和煤制天然气项目概况。介绍了以煤为原料制取天然气的＂一步法＂和＂两步法＂技术路线,重点阐述了戴维甲烷化技术（CRG）、托普索甲烷化技术（TREMPTM）和鲁奇甲烷化技术3种先进的甲烷化合成工艺技术。对中国煤制天然气产业的发展提出了一些建议。