自然循环自动清洗式蒸发器推动力冷模试验研究

自转扭带自动清洗是解决蒸发器盐垢问题的理想技术．以强化的自然循环推动力取代强制循环泵，可以为每个制糖、制盐、烧碱等等企业每年减少电费百万元以上．强化的自然循环推动力能否满足蒸发器自动清洗的需要?为此建立试验台，进行了自然循环推动力可行性的冷模试验研究．结果表明，只要经过加热室的蒸发循环液的温度提高3℃以上，就可以形成10000Pa以上的自然循环推动力，就可以满足蒸发器自转塑料扭带自动清洗的要求。     

实用过程描述语言的基本定义方法

在软件开发的高层阶段，对过程的描述是个常用但又不易处理的问题，其原因在于没有合适的软件工具。针对这种情况，提出了一种定义过程描述语言的实用方法，可在国内现有条件下利用已有软件工具解决“过程描述难”的问题。     

Antimutagenic unusual amino acids from plants

Summary Five unusual amino acids were identified as antimutagens against spontaneous mutation ofSalmonella typhimurium TA100: L-azetidine-2-carboxylic acid (1) from Liliaceae plants, -(methylenecyclopropyl)glycine (2) fromLitchi chinensis seeds, and 2-amino-4-methylhex-5-ynoic acid (3), hypoglycin A (4), and (2S, 4R)-2-amino-4-hydroxyhept-6-ynoic acid (5) fromEuphoria longana seeds. The absolute stereochemistry of5 was determined by its chiral synthesis from L-allylglycine, proving that5 is the C-4 epimer of the amino acid previously isolated from dried longan seeds.This work was partly supported by a Grant-in-Aid form the Ministry of Education, Science, and Culture, Japan, No. 57740283 (to HK).     

西夏的陶瓷砖瓦琉璃

本以有关史料和出土物为依据，对西夏的陶瓷砖瓦琉璃制造技术，产品特点及应用进行了探讨。     

东峡6~(-2)煤层自然性研究

本文利用“XK-1型煤低温自然发火实验台”对华亭东峡矿6~(-2)煤层自燃性进行了研究,并取得该煤层自然发火的有关参数。     

关于k-非常光滑的Banach空间

非常光滑的概念推广,给出了Banach空间中k-非常光滑性的定义.并讨论了它与光滑性、非常光滑性以及局部k-一致凸性之间的关系.     

递归定义与归纳证法

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

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

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

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

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

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

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