隔震技术的工程应用实例

针对建筑物的抗震问题,探讨了建筑物的隔震技术,并从设计,施工等方面介绍了隔震技术在工程中的具体应用。     

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

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

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

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

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

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

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

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

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语言编写的此专家系统，符合注塑过程工艺参数的设定要求，而且运行速度快，程序容易理解。     

木荷夏季气体交换、光能和水分利用效率的日变化

木荷叶片净光合速率日进程曲线为“双峰”型，光合效率午间明显降低，主要由非气孔限制引起．蒸腾速率的日变化为“单峰型”，午间最高．光能利用效率和水分利用效率早晚较高，午间较低．利用多元逐步回归方法分别得到了净光合速率、蒸腾速率、气孔阻力、光能利用效率和水分利用效率与环境因子的最优方程．     

175FM发动机配气机构的可靠性仿真分析

开展机构可靠性研究必须综合地运用机构运动学、机构动力学、摩擦磨损原理及可靠性工程等学科的最新成果。本文是将概率仿真分析与机构运动学、动力学微分方程相结合，通过对影响机构可靠性的基本变量离散化，运用概率仿真的方法，最终得出准确的可靠度指标。从而影响到对产品的设计，达到对产品优化的目的。