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

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

第一节细菌在食品制造中的作用 第二节酵母菌在食品制造中的作用 第三节霍菌在食品制造中的作用 第四节微生物酶在食品工业中的应用

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

马兜铃(箩筐果) Fructus Aristolochiae 为较常用中药，始载于宋《开宝本草》。 《本草纲目》中，李时珍把本品列入草 部蔓草类。称之“体轻而虚，熟则悬而 四开，有肺之象，故能入肺。”本品性 寒、味苦，无毒。用于肺热咳嗽、痰喘 及血痔等病症

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

1.了解中医的发展史 2.了解《黄帝内经》《难经》《伤寒杂病论》《神农本草经》《本草纲目》著作的作用 3.熟悉中医学的特点，即整体观、辨证论治、恒动观概念

1.熟悉组方原则和方剂的运用变化及其对方剂功能主治的影响。 2.了解方剂学在中医学中的地位及其重要性、方剂的剂型。 3.了解常用方剂的组成功效、临床应用

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

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