Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明

本文提出了用轧钢废酸处理高锰酸钾生产过程中产生的废渣—锰泥—制取工业级碳酸锰的方法。其流程可分为三段:（1）还原浸出与沉铁;（2）浸出液的净化;（3）工业级碳酸锰的制备。 在第一段中,只要控制好轧钢废酸中的[H+]/[Fe2+]比就可使浸出、沉铁同时进行,使沉铁的碱用量大大减少,加Na2S除去浸出除铁液中其它重金属。用NH4HCO3制取MnCO3避免水中Ca2+带入MnCO3。所得碳酸锰符合工业级碳酸锰部颁标准的要求

槟榔 Semen Arecae 大腹皮Pericarpium Arecae 榔干Fructus Arecae Immaturi 槟榔为常用中药。始载于《名医别录》，列为 中品。槟榔碱对副交感神经有兴奋作用，促进 腺体分泌，增加人体肠管的张力和蠕动，而有 轻泻作用，从而有较好的驱虫效果

本工作应用放射性同位素90Y,通过将试样在低温有机电解液中电解的方法分离稀土夹杂物,测定了铁液中溶解态的稀土含量。用ZrO2（MgO）固体电解质组成的定氧测头测定了铁液中氧的活度。用硫化氢气体发生法测定并计算了铁液中溶解态的硫含量。由此得出1560～1660℃范围内Y—O平衡常数与温度的关系式以及1600℃下Y—S平衡常数值,并测定了Y对O,Y对S的活度相互作用系数eOY、eSY及其它有关热力学数据

第一节中国加入世界贸易组织历程 第二节中国加入世界贸易组织的法律文件 第三节中国加入世界贸易组织后的权利与义务 第四节加入世贸组织对中国经济的机遇与挑战

研究了在硫酸加草酸混台溶液中铝阳极氧化膜的生长规律。发现草酸中加入少量硫酸的混合酸中恒电流密度阳极氧化时对应的电压时间关系曲线有双峰。随着硫酸浓度的增加,第二峰向第一峰靠近且持续时间缩短。提出了孔中存在硫酸和草酸竞争吸附的机制,解释了不同草酸加入量对阳极氧化曲线,膜生长速度、膜的硬度和耐磨性的影响程度基本相同的实验现象和双蜂出现的原因

一、矿物类中药的应用概况： 无机元素尤其是微量元素对人体正常生长发育有重 要的作用。如Fe2+、Cu2+、Ca2+、Mg2+都是血液 的重要组成部分，对心血管的构造和功能起有益的 作用

用薄晶体透射电镜研究锰对热轧空冷后低碳Si-Mn双相钢的组织和力学性能的影响。实验结果表明:钢中锰含量为1.79%时,显微组织中出现珠光体。拉伸工程应力-应变曲线有明显物理屈服延伸。钢中锰含量越少、珠光体量越多时,应力-应变曲线上屈服平台越长。锰含量大于2.09%时,轧态组织中不再出现非马氏体型转变产物珠光体。轧态组织中的马氏体岛区,由几个微区组成。这些微区分别为内孪晶马氏体区和位错板条马氏体区

应用俄歇能谱仪(AES)研究了Ni-Cr-Co基高温合金中微量Mg的偏析规律。结果表明,偏析于晶界的Mg具有平衡偏析的特性;同时Mg的这种偏析在900℃附近速度最快。分析认为,这是由于偏析热力学和动力学共同控制的结果,也与该合金中碳化物M6C在晶界上析出有内在联系。研究中还发现,Mg在晶界上分布是不均匀的,且这种不均匀性随时效时间的延长而增加。研究中还应用透射电镜能谱(TEM)分析了Mg的分布,得到与AES类似的结果,进一步验证Mg在奥氏体晶界偏析的上述特性

为了更好地了解镁电解中及熔盐氯化中铁的行为,对铁离子在氯化物中的化学平衡作了研究。求出在PCl3=101.325kPa和实验温度下,反应FeCl_2(熔)+1/2Cl2(气)=FeCl3(熔)的表观平衡常数K。在PCl2=0和实验温度下,FeCl3完全分解。K的测量值与回归方程的预报值很吻合。熔盐体系、氯分压和温度对K值影响较大,总铁浓度的影响稍小一些。在其他条件相同时,体系3的K值最大,这表明,用光卤石作为电解质时,镁电解的电流效率会低一些,而氯化钾含量高时,在熔盐氯化中铁的催化作用较好