排序方式: 共有36条查询结果,搜索用时 15 毫秒
31.
研究添加了聚乙烯醇的石膏胶凝材料的胶凝过程,测定了这种胶凝材料的物理-力学性能.结果表明,聚乙烯醇可作为石膏材料的增强剂. 相似文献
32.
孙踊 《北京大学学报(自然科学版)》1997,33(5):658-668
首先简略介绍Coquand和Huet的构造演算以及Plotkin和孙踊的受囿算子系统。然后,将构造演算在受囿算子系统中进行公理化。此公理化无需无限级(数据)类型结构。原则上,可以在原构造演算的type空间之上引入kind空间。但是,不允许在kind上使用量词,也不允许引入y: kind。从技术上说,将忠实地把构造演算翻译进受囿算子系统中去。为了能对构造演算中的Π类型受予受囿算子系统中的类型,不得不引入新的=>算子。举例来说,构造演算中的Πx:M.N可用受囿算子系统中的Πy.u:t=>v来表达。其中,x对应于y, M对应于t,以及N对应于u。其结果是受囿算子系统具有足够的能力为构造演算提供一个等值逻辑演算环境。 相似文献
33.
Protein fold structure is more conserved than its amino acid sequence and closely associated with biological function, so calculating the similarity of protein structures is a fundamental problem in structural biology and plays a key role in protein fold classification, fold function inference, and protein structure prediction. Large progress has been made in recent years in this field and many methods for considering structural similarity have been proposed, including methods for protein structure comparison, retrieval of protein structures from databases, and ligand binding site comparison. Most of those methods can be available on the World Wide Web, but evaluation of all the methods is still a hard problem. This paper summarizes some popular methods and latest methods for structure similarities, including structure alignment, protein structure retrieval, and ligand binding site alignment. 相似文献
34.
用abinitio计算Cu^mn-CO(n=1,2;m=0,+1)考虑了CO与Cu^m2(m=0,+1)结合的端位和桥位两种构型,根据计算的结果得到Cu^m2(m=0,+1)桥位吸附有利于CO的活化,是活性中心。 相似文献
35.
36.
唐世华 《广西民族大学学报》2004,10(2):95-98
利用分光光度法,研究了不同酸度下,Cu2+与明胶结合反应的结合数、结合位置数和摩尔吸光系数.显微红外光谱的测定结果表明,Cu2+与明胶分子中的酰胺键发生了作用.推导出由吸光度计算结合平衡常数的理论公式,并计算出结合平衡常数.结果表明,随pH值增大,结合数增多; 结合平衡常数增大. 相似文献