光面爆破在隧洞开挖中的应用

在隧洞开挖中采用光面爆破，开挖面轮廓成型规则，岩面平整，增加围岩的稳定和施工安全，减少支护工作量，是一种较好的隧洞施工方法。绍兴市小舜江输水隧洞全长３９０８ｍ，开挖洞径４５ｍ，围岩为流纹质玻屑晶屑凝灰岩，采用光面爆破施工，对钻爆设计、钻爆作业和钻爆效果作了详细论述。     

Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

以网格曲线为连续条件的光滑曲面

本文提出一种以网格边界曲线定义曲面的方法。曲面的计算式唯一地由网格的四条边界线的参数而定，各网格间连接的光滑度完全由网格间的边界线的光滑度来决定。当网格间的边界线具有Ｃ~１连续以上的光滑度时，网络曲面间将自动保证是Ｃ~１连续的，否则将是Ｃ~０连续。利用这个方法，可以方便地从线框模型（ｗｉｒｅ－ｆｒａｍｅｍｏｄｅｌ）建立面模型（ｓｕｒｆａｃｅｍｏｄｅｌ）。     

激光冶炼太阳级硅材料的实验研究

通过实验研究表明，大功率ＣＯ２激光器在廉价硅材料制备中应用的可能性。     

The Solutions for Adjustment and Reconstruction of Water-Drive Surface Systems in the Old Areas of Daqing Oilfield

Introduction 　　Owing to long-time running, more facilities including stations, pipelines, vessels have become corrosive and aged ,some process has grown old, it has exert more burden for the maintenance and repair.Simultaneously, the fluid production rate, oil production rate and water injection rate has changed greatly so that the inflicts and problems from the established surface systems will become more obvious. Energy cost of production and running has increasing continuously. Capacity has been unbalance in systems and areas. 　　……     

大坝安全监控专家系统中的知识处理

在介绍产生式规则及其数学模型的基础上，论述了用成熟的关系数据库 技术来表示和存储产生式规则表示的专家知识的方法，较好地解决了知识的存储和管理问题 。同时，利用关系数据库中实体间的关系，很容易将分散存储的规则元素组合成规则供推理 时使用。在分析了大坝安全监控专家系统知识特点的基础上举例说明了用关系数据库表 示产生式规则的具体方法。     

在协议集成测试系统上开展路由协议测试

在分析路由协议的特性及其测试需求的基础上，提出利用窗口黑盒来描述被测协议，利用多通道测试方法扩展对被测实现的控制和观察，通过扩充参考实现增强系统的测试能力。将这些理论，技术应用于系统中，对路由协议开展了有效的测试活动，为国产高性能路由器的开发提供了有力的支持，也进一步增强了PITS系统的功能和适用性。     

环保型隧道防火涂料的研究

介绍了国内外公路隧道、铁路隧道及地铁火灾情况 ,研制出一种可在潮湿环境中使用、火灾发生时无有害气体产生的环保型隧道防火涂料。涂层厚度 18～2 0 mm,耐火极限达 3小时。为防止涂料加水拌和后沉淀分层 ,增加涂料的和易性 ,研制出一种分散剂。