thermodynamic properties,which were expressed in mathematical form by critical analysis of all available phase diagrams and thermodynamic data,of all phases in the above binary systems have been obtained. In the same time,the phase diagram and other thermodynamic data can be critically assessed in a thermodynamically self-consistent manner. Key words:molten salt,calculation of phase diagram,phase equili- brium,thermodynamics 前 言 相图和热力学性质有着密切的关系。在一定的条件下，已知体系的热力学性质可以 计算相图；而相图也是热力学数据的重要来源。然而，由于高温实验的困雅和实验方法 的误差，以及体系的某些热力学性质（例如过剩熵）的缺乏，就使得由现有的热力学数 据直接计算得到的相图与实测相图不能很好的吻合。只有对所涉及体系的热力学数据和 相图进行优化处理，才能使热力学数据和相图达到自相一致。二元相图和热力学性质自 相一致与否对高阶相图的计算精度影响较大1,2,3)。因此，二元相图及其热力学性质的 优化处理，不仅保证了所研究体系热力学的自相一致，，而且对高阶相图计算的准确性有 重要的意义。 1二元相图及热力学性质的优化方法 由A一B组成的二元溶液，相对纯组元的混合摩尔自由能表示为 △G=RT(XAInXA+XalnXs)+G品 (1) 式中：XA,X是A,B组元的摩尔分数；G温是A一B二元溶液相的过剩全摩尔自由能。 G温可以用含XA,X的多项展开式表示 G品=XaXg(ao+aiXa+a2X及+…) (2) 而A,B两组元的偏摩尔自由能G,GB可以表示为 GR=X台(bo+b1Xa+b2XA+…) (8) G吕=X月（q0+q:XA+q2XA+…) (4) Bale等(4)根据Gibbs一Duhem方程导出了方程(2)~(4)中系数间的关系 bn=(n+1 an (5) qo=(n+1)(an-an+1) (6) 显然，方程(2)一(4)中G品，GR,G换成任何一种过剩热力学性质（如H,S), 公式(5)一(6)仍然成立。 设A一B二元溶液相的G品及纯组元的熔化自由能已知，则液态溶液L与固溶体α两 相平衡线可以由下式计算 G+RTInX4-4G-RTInX=-AG8(f) (7) LG+RTInXi-"G-RTInXg=-AGB(f) (8) 115· ， ， ， 、 丘 一 ， ， ， 前 月曰目 亡二 相 图和 热力学 性质有着密切 的关系 。 在一 定的 条件下 ， 已知体系的 热 力学 性质可 以 计算相 图 而 相图也 是 热力学 数据的重要来源 。 然而 ， 由于高温实 验的 困难和实 验 方法 的误 差 ， 以及体系 的某些 热力学性质 例如过剩墒 的缺乏 ， 就使得 由现 有的热 力学 数 据直接计算得到 的相 图与实测 相 图不 能很好的 吻合 。 只 有对所 涉及体系的 热力学 数据 和 相 图进 行 优化处理 ， 才 能使热 力学 数据和 相图达到 自相一致 。 二元 相 图和 热 力学 性质 自 相一致与否 对高阶 相 图的计算精度影响较大 〔 ， ， 〕 。 因此 ， 二 元相 图及 其热 力学 性质 的 优化处理 ， 不 仅保证 了所 研究体系热 力学 的 自相一 致 ， 而 宜对高阶相 图计算的 准确性有 重要 的意义 。 二 元相图及热力学性质 的优化方法 由 一 组成的二元 溶液 ， 相对纯组元的混 合摩尔 自由能表示 为 △ 。 盖 、 式 中 ， 是 ， 组元的 摩尔分数 二是 一 二元 溶液 相的过剩全 摩尔 自由能 。 票可 以用 含 ， 。 的 多项展 开式表示 盖二 。 十 十 孟十 一 而 ， 两 组元 的偏 摩尔 自由能 戈 ， 葺可 以表 示 为 叉 孟 。 十 人 又 “ · 瑟二 灵 。 十 十 灵 “ · 等〔 〕根据 一 方程导 出了方程 中系数 间的关 系 。 一 。 显然 ， 方程 一 中 盖 ， 戈 公式 与 一 仍 然成立 。 心 葺换成任何一种 过剩 热 力学 性质 如 ， ， 设 一 二 元溶液 相的 盖及纯 组元的熔化 自由能 已知 ， 则液 态溶液 与 固 溶 体 两 相平衡线 可 以 由下式计算 ‘、 声 ‘主‘户二﹃ 、、、、 “ 、 叉 欠一 “ 叉一 贾 一 △ 艾 “ 瑟 右一 “ 盆一 言二 ， △ 各