Pb-Sn-Bi三元系α相固溶体的点阵参数

应用X射线衍射法测定了Pb-Sn-Bi三元系Pb基α相固溶体的点阵参数,发现点阵间距与成分呈线性变化,对两批实验数据分别进行回归分析,得到点阵参数-浓度关系的统一解析式: α=0.49495X_(Pb)+0.47813X_(Sn)+0.50629X_(Bi)。其F检验置信度大于99.9％,残余标准差σ=6.4×10~(-5) nm,分析点阵畸变的影响因素表明尺寸效应是控制固溶体点阵行为的主要因素。     

论拓扑一般Boole格的同态的可逆性

本文评述了“拓扑空间概论”一书中的一点疏忽.讨论了拓扑序集同态可逆性定义及与其相关的一些基本定理.     

分配格的二个等价条件

首先讨论了格的子集生成幻和生成对偶幻的运算性质。然后给出一个反例，指出［１］中一定理有误，并由此获得分配格的两个等价条件（即：格是分配格的两个等价命题）。     

水的相图与pH-电势图的Flash课件制作

围绕无机化学精品课课程建设，配合水的相图、pH-电势图相关内容的教学，利用二维动画制作软件Flash制作了水的相图、pH-电势图的课件。     

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．     

基于计算机技术的焊接CCT图形调用研究

通过将计算机技术与焊接技术相结合,实现了焊接CCT图的操作的计算机化,并可以在此基础上进行一系列相关操作,将焊接CCT图有关数据制作成数据库.通过调用组织图可以预测焊缝组织、调用性能图可以预测焊缝的力学性能,并且可以实现对数据库的动态添加、生成并打印报表.     

自由幺半群的一族极大自由幺子半群

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN,N≥1,文[1][2]中证明了C*是自由幺半群X*的幺子半群。以X*为顶点集构造了一个语言图,利用它证明了:对N≥1,C=B2∪XNB1,幺半群C*也是自由幺半群X*的一族极大自由幺子半群.     

碱土金属化合物晶格能计算的新方法——离子贡献法

本文提出了一种计算碱土金属化合物品格能的新方法——离子贡献法。该方法只需本文提供的离子贡献值即可计算得到晶格能,而不需要任何实验数据。对碱土金属氧化物、卤化物、氢化物、氢氧化物、硫酸盐、碳酸盐、磷酸盐等十九类75种化合物的计算结果表明,计算值与实验值之间的一致性令人满意,计算结果的平均相对误差仅0.79%,小于目前已有的所有方法的计算误差。     

对无机化学教材中引进锰的自由能——氧化态图的探讨

本文对无机化学教材中引进锰的自由能——氧化态图进行了讨论.这对无机化学的教材改革是十分有意义的.对氧化态图直观性的分析和绘制氧化态图的研究对教学更具影响.     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。