U形管热交换器振动频率的研究

本文对U形管换热器管束的固有频率进行了理论分析和实验研究。运用Hamilton变分原理推导了半园弧管振动的微分方程;提出了计算U形管固有频率的模型,得到了计算U形管固有频率的理论计算公式。根据不同的边界条件,推导出U形管的频率方程。用数值方法解频率方程,得到了计算各种U形管固有频率的频率参数并与实测值进行了比较,结果表明,理论计算值不必修正就可应用,方法简便,适合于工程计算和预测校核。     

递归定义与归纳证法

递归定义与归纳证法是数学中最基本、最原始的手段,它不象一般人所认为的那样只是自然数所特有的。本文通过揭示递归定义与归纳证法的实质表明它们是本质上不依赖于自然数的逻辑系统内的特征,因而也适用于许多非自然数的对象。     

一种新的基于假设的自然推理系统

本文在介绍自动定理证明的历史和分析自然推理研究的现有成果的基础上,提出了用以实现启发式自然推理系统HNDS的确定性推理算法。并设计了用作推理基本手段的假设机制。本系统采用知识库系统的软件结构,面向标准形式的命题逻辑和一阶谓词逻辑,对系统定理能给出清晰的类人证文过程。HNDS系统基于的推理算法理论上是合理的和完备的,这主要因为系统结合了自然推理与消解原理,并首创了量词逐层Skolem化的策略。     

用集中质量迁移法求多层框架的基本自振周期

本文通过把多层框架简化为质量集中于楼层位置的多自由度体系,再将楼层处的质量迁移到框架的顶层使其转化为单自由度体系,从而推导出多层框架基本自振周期的计算公式。公式中抗侧移刚度采用“D”值,因而多层框架基本自振周期的计算相当简便。将按本文方法计算的结果与按矩阵迭代法、能量法以及国家《建筑结构设计抗震规范》中建议的统计公式计算的结果进行了对比,证明采用本文方法计算的结果比较可靠。     

怎样求两个连续自然数积的方幂和

本文利用导数、多项式的相等及线性方程组等有关知识给出了求两个连续自然数积的方幂和的方法:把两个连续自然数积的方幂和转化为多项式。     

锌基合金型材组织与性能的研究

锌基合金可以挤压和轧制成型.挤压成型塑性偏低.通过固溶处理后自然时效,能有效地提高合金的综合力学性能;通过变形后直接人工时效,可有效地提高合金的塑性.文内提供了实验结果,并对自然时效和人工时效的机制进行了研究,为提高锌基合金型材的力学性能开拓一条新途径.     

5MW低温核供热堆的研制和运行特性

清华大学核能技术设计研究院开发的 ５ ＭＷ低温核供热试验堆已建成运行。本文简要介绍该堆的主要设计特性，其中包括一体化、自稳压和双层壳的结构设计、世界上首次采用的控制棒水力传动系统、自然循环的冷却方式以及防止放射性物质泄人热网的措施等。这些设计措施大大提高了该堆的固有安全性。还介绍了该堆的主要安全性能，重要的试验研究项目及自调节性和自稳定性等运行特性。     

试论贵池市农业自然资源及其合理利用

本文系统地分析了贵池市农业自然资源的基本特点,并根据这一特点,针对农业自然资源利用中存在的问题,提出了合理利用贵池市农业自然资源的具体措施。     

双相钢冷拔钢丝的自然时效

研究了09Mn2Si热轧态双相钢冷拔钢丝经6个月自然时效后的力学性能和显微组织的变化。结果发现,无论是冷拔态钢丝还是冷拔-回复态钢丝,均呈现明显的自然时效现象。冷拔态钢丝经6个月自然时效后,强度提高而塑性降低。但是,对于冷拔-回复态钢,不仅强度提高,而且塑性也有明显改善。用透射电镜对钢丝金属薄膜进行了组织观察,并对两种不同的自然时效特性进行了讨论。     

北京松山自然保护区两栖爬行动物调查报告

1987～1989年对北京松山自然保护区的两栖、爬行动物进行了调查。共有17种,其中北滑蜥和双斑锦蛇是北京地区的新记录。