结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

地理信息系统城市地下水管理模型研究

许多城市不同程度地存在区域性的地下水水位下降、水质恶化等问题,因此应用先进的理论和方法,确切评价及管理地下水资源,是当前城市供水中亟待解决的问题。地理信息系统（ＧＩＳ）作为一种新兴的空间信息技术系统,广泛应用于资源管理、环境监测、市政规划等许多方面,被越来越多的国家地区部门所重视,并得到了人们的认可。所以,为了更好地研究管理城市地下水资源问题,本文使用ＧＩＳ与数值模型相结合的方法,建立了ＧＩＳ城市地下水管理模型,并应用于某市的实际工作,取到较好的效果。建立的模型有一定的推广价值。     

耐热碱性磷酸酯酶基因的亚克隆及其在大肠杆菌中的表达

根据耐热碱磷酸酯酶基因的酶切图谱和ＤＮＡ序列,分别在基因的起始密友子和终止密码子设计２个突变引物。引物的５‘端分别带有ＮｄｅⅠ和ＢａｍＨⅠ酶切全点。通过ＰＣＲ从质粒ｐＴＡＰ１１８Ｂ中扩增获得了ＦＤ－ＴＡＰ基因的全序列。经过酶切将基因亚克隆于高达载体ｐＪＬＡ５０３。     

具有不变锥面族的二次系统

本文研究了以二次锥面不变曲面的空间二次系统,给出了这类二次系统在锥面上极限环的不存在性,存在性,以及唯一性的条件。     

浅析罗伯特·弗罗斯特抒情诗歌的风格

罗伯特.弗罗斯特的抒情诗歌大量地是以乡村生活和风俗人情为背景,在诗歌写作中融入了个人的情感和观点的表达。这种在描写乡村生活和风俗人情的诗歌中暗示和表达自己观点的诗歌写作成为了弗罗斯特诗歌写作的一大特点和风格。本文仅以其短诗给予浅显的分析。     

论数字图书馆与传统图书馆的关系

论述了数字图书馆的含义,对数字图书馆与传统图书馆的关系进行了分析,并探讨了怎样构建数字图书馆。     

一种防积灰的离心风机叶轮结构

提出一种能防止风机叶片非工作面积灰的结构，并采用N-S方程和标准的k-s模型方程，得到该结构下离心风机叶轮内部的粉尘浓度分布。结果表明，对于改进后的叶轮，叶片非工作面的积灰仅有原结构的1／3。     

BF3催化碳酸二甲酯合成N-环己基氨基甲酸甲酯

对碳酸二甲酯与环己胺化合生成N-环己基氨基甲酸甲酯的反应进行了研究.考察了催化剂BF3的催化活性和相关反应条件.控制反应的较佳参数为：催化剂用量为n（环己胺）：n（BF3）=20：1;反应回流时间为20 h;反应温度控制在70℃;反应物配比n（DMC）：n（环己胺）=1.5：1.最高产率为49.05%,且反应后处理简单,对环境污染少.产品纯度高,达99.94%.     

碳纤维布提高高强混凝土柱抗震能力评估方法

针对利用碳纤维布加固既有建筑中的高强混凝土柱，以及加固后抗震性能的评估问题，对7根高强混凝土柱进行试验研究，分析了碳纤维布约束高强混凝土的影响因素和约束机理．通过理论推导和统计回归的方法．提出了碳纤维布加固高强混凝土柱位移延性比的理论计算方法和基于两个回归公式的简化计算方法．两种计算方法概念清晰，简便适用，分析结果与试验值的相对误差控制在20％左右，可以满足抗震加固设计的要求．两个回归公式的决定系数R^2分别为0．97和0．99，具有很高的拟合精度，可用于碳纤维布约束混凝土柱的相关研究．     

塑料注射成型过程工艺参数设置专家系统

对专家系统和用于实现专家系统的Prolog语言及其编译环境Visual Prolog作了简述。并应用Prolog语言实现了注射成型过程工艺参数设置的专家系统ES-IMPPS（Injection Molding Process Parameters’Setting），并将此专家系统在Visual Prolog中运行，通过设计的实例表明：用Prolog语言编写的此专家系统，符合注塑过程工艺参数的设定要求，而且运行速度快，程序容易理解。