对象演算Ⅰ

对象演算是一个面向对象的逻辑演算系统,它建立在描述具有内部状态的动态演变实体的Trace演算之上.对象比一般意义下的动态实体具有更多和更好的特性,特别是封装性.为此,文章引入有效动作的概念,通过对象的有效动作来刻画对象的封装性,即只有对象的有效动作才能访问或修改对象的属性值,从而对Trace演算的语义模型加以限制,得到对象语义解释模型.作为逻辑系统,文章还讨论了对象演算的公理化,它是Trace演算公理系统的扩充.作为应用,文章结合实例给出了对象语义的描述及特性推理.     

内蒙古敖汉旗金厂梁金矿床地质特征及矿床成因探析

金厂梁金矿床是近年来在赤峰—朝阳金矿带东北端发现的新矿床,矿体分布于大庙二长花岗岩外接触带建平群片麻杂岩碎裂岩带的北东向、近东西向断裂中,主要呈脉状产出,由硫化物石英脉和蚀变岩组成,围岩蚀变主要为硅化、黄铁绢英岩化、绿泥石化和高岭土化等。通过收集成矿岩体年代学、岩石地球化学、成矿流体及稳定同位素资料,探讨了成岩成矿时代、构造背景、成矿物质来源及矿床成因。成矿岩体大庙二长花岗岩锆石U-Pb年龄为245 Ma±1 Ma,为早印支期侵入体,Sr、Y含量表明其具有喜马拉雅型花岗岩特征,暗示大庙二长花岗岩是在地壳加厚背景下,由下地壳泥质岩等沉积岩部分熔融形成的S型花岗岩,是对华北板块和西伯利亚板块在晚二叠世末—早三叠世初沿西拉木伦河—长春一线缝合碰撞造山的响应。石英流体包裹体完全均一温度138℃～225℃,盐度1.0%～8.1%,密度0.86～0.97 g/cm³,表明成矿流体为低盐度、低密度成矿流体。黄铜矿δ³⁴S为2.1‰～3.1‰,其成矿物质不是直接来自下地幔,而是源自下地壳中玄武岩等来自地幔岩石的部分熔融。金厂梁金矿床是在古亚洲洋闭合造山构造背...     

Al_2(SO_4)_3-Na_2SO_4-H_2O三元体系298.15K和323.15K相平衡研究

采用等温溶解平衡法获取了Al_2(SO_4)_3-Na_2SO_4-H_2O三元体系298.15 K,323.15 K下的固液相平衡数据并绘制了溶解平衡相图。研究发现:该体系在2个温度下的平衡固相,均有3个盐出现,即:298.15 K为Na_2SO_4·10H_2O,Al_2(SO_4)_3·18H_2O和相称复盐Na Al(SO_4)_2·12H_2O;在323.15 K为Na_2SO_4,Al_2(SO_4)_3·18H_2O和相称复盐Na Al(SO_4)2·6H_2O。每个温度下的2个无变量点(2盐共饱点),以Na_2SO_4,H_2O,和Al_2(SO_4)_3的质量分数计,298.15 K为(1.75,69.38,28.87)和(2.62,70.76,26.62),323.15 K为(25.60,65.69,8.71)和(19.36,65.58,15.06)。结果表明:硫酸铝的固相均为十八水盐,且相区最小;硫酸钠和复盐在2个温度下分别为2种固体形式。复盐相区在相图中占最大相区,且随着温度的升高而明显加大。     

高强度平型传动带的正确安装

主要通过对高强度平型传动带的性能比较，结果介绍，提出了高强度平型传动带的正确安装，使用的方法；从而提高了高强度平型传动带在纺织机械，精密机床及其他设备上的使用性能和寿命。     

共聚焦拉曼光谱研究Mg2+和SO42-缔合平衡作用

硫酸镁溶液是一种应用很广的电解质溶液,Mg2+和SO42-缔合平衡的特征与规律一直是人们关注的热点,具有重要的现实意义。本文利用拉曼光谱法并结合高斯-洛伦兹去卷积分峰拟合程序分析了不同浓度的MgSO4溶液在不同温度下Mg2+和SO42-缔合结构特征,计算了其缔合平衡常数KR值,并对标准状态下Mg2+与SO42?离子缔合反应及其生成的接触式离子对CIP′的表观热力学参数进行了推测计算。实验结果表明：MgSO4溶液中SO42－浓度与ν1-SO42?特征峰的峰面积和峰强度之间均存在较好的线性相关关系。自由态SO42?是ν1-SO42?特征峰的主要结构。随着溶液温度的升高,1.5和2.0mol/LMgSO4溶液ν1-SO42?特征峰的峰面积和峰强度有减小的趋势,峰位发生红移,峰的对称性发生变化,其中自由态SO42?结构比例呈下降趋势,而单齿接触式离子对结构比例相应增加,双齿接触式离子对和SO42?离子团簇结构比例变化规律不明显。Mg2+和SO42-的缔合平衡随温度升高向右移动,KR值逐渐增大。在较稀MgSO4溶液中,几乎没有双齿接触式离子对和SO42?离子团簇结构,ν1-SO42?特征峰缔合结构及KR值随温度变化没有明显规律。相同温度条件下,KR值随MgSO4溶液浓度的升高呈现指数降低的趋势。     

FT-IR法研究键合剂与N-100的反应动力学

用傅里叶变换红外光谱(FT-IR)对键合剂与固化剂N-100之间的反应进行了动力学研究,得到了反应速率常数和表观活化能,测试了键合剂W01和BAG01的力学性能。结果表明,W01/N-100和BAG01/N-100反应均为二级反应;表观活化能分别为33.35kJ/mol和32.26kJ/mol;反应速率随反应温度的升高而增加;键合剂W01使推进剂的力学性能有所提高,且作用效果优于传统键合剂BAG01,键合剂W01与聚叠氮缩水甘油醚(GAP)匹配性好。     

蚀刻废液制备多种单一晶型碱式氯化铜及性能分析

以印刷电路板蚀刻废液为原料生产碱式氯化铜的过程存在产物多种晶型混杂的问题,影响产品的纯度和性能。为获得纯正的晶型产品,以酸、碱蚀刻废液为原料,通过改变连续反应结晶过程的加料速率、反应温度、pH等条件,获得了A型（Atacamite）、B型（Botallackite）和C型（Clinoatacamite）3种单一晶型产物。3种产物中单一晶型纯度分别为99.0%（A型）、99.7%（B型）和90.7%（C型）。3种产物的XRD和SEM分析表明:A型属正交晶系,为长条片状聚集物;B型属单斜晶系,为正六棱柱单晶聚集物;C型属单斜晶系,为不规则片状聚集体。3种产物的化学分析和TG-DSC热分析表明:A、B、C 3种结晶形态具有不同的化学式,分别为A型Cu₄（OH）₆Cl₂·H₂O、B型Cu₅（OH）₈Cl₂和C型CuCl₂·3Cu（OH）₂·0.5H₂O;3种产物具有不同的热分解活化能和分解热。B型碱式氯化铜在3种产物中含铜量最高,且热稳定性最强,是碱式氯化铜生产中最好的晶型产物。     

盐硝分离系统的计算机模拟与研究

本文彩系统分析方法对盐硝联产中闪急蒸发盐硝分离系统进行了变量分析，并利用序惯模块法流程模拟技术，对其进行了设计型列态模拟，通过对设计变量的１６种正交配置方案及两种优化方案的模拟计算，对该工艺做了进一步的研究。     

偏硼酸镁在氯化锂水溶液中水解的硼物种转化与分布规律

盐湖卤水含有氯化锂和硼酸盐,而硼又是盐湖提锂过程的主要干扰因素之一。为确定硼在卤水中的存在形态和分布特征,重点对硼物种在氯化锂水溶液中的分布规律开展研究。通过研究偏硼酸镁在氯化锂浓度从零到饱和的系列水溶液中水解的硼物种固液相特征,获得了液相硼物种分布和浓度状态及其随氯化锂浓度的变化规律。结果表明偏硼酸镁在水中的水解固相为多水硼镁石;在低浓度氯化锂溶液中的水解产物为章氏硼镁石和柱硼镁石,但不生成多水硼镁石;在高浓氯化锂水溶液中,只有柱硼镁石生成;虽然偏硼酸镁与水解固相共存,但它不是稳定固相,不能与液相处于固液平衡态。液相硼物种分布不仅与p H相关,还与氯化锂浓度有关,氯化锂浓度较低时B₃O₃(OH)₄^-占据液相总硼的55%以上,随着氯化锂浓度的增加,B₃O₃(OH)₄^-的分布值减小,而B₅O₆(OH)₄^-显著增加。在氯化锂全浓度...     

盐硝联产工艺的过程分析与设计

本文对采用Ｎａ_ａＳＯ_４型卤水进行盐硝联产的工艺进行了过程分析，并就多效蒸发的各效浓度、终点浓度、盐硝分离系统的母液循环量、蒸发量分配、硝罐沸点、中间闪发罐沸点、预热温度及系统的综合平衡提出设计方案。