B2上布尔函数的拟单调分解

系统地讨论了B₂上布尔函数的拟单调分解.先使用拟单调分解树来定义布尔函数拟单调分解的一般形式,使其在应用中具有很大的灵活性.然后对⊚、⊕、∪和°运算给出几种实用的拟单调分解法.最后将上述结果推广到布尔函数拟单调分解的一般形式,给出一个布尔函数可以分解成k个单调函数的逻辑组合的充分必要条件.     

低聚木糖生产用木聚糖酶的制备和测定

采用沉淀剂G处理黑曲霉1—13菌株的粗酶液获得木聚糖酶制剂。通过聚丙烯酰胺凝胶电泳酶谱分析测定该酶制剂为单-木聚糖酶组分。经一系列研究结果表明,该酶制剂无β-木糖苷酶活力和羧甲基纤维素酶活力,水解玉米芯木聚糖的产物主要为木二糖和少量木糖。由此可见,此木聚糖酶制剂的底物专一性较强,可直接以玉米芯为底物,选择性水解玉米芯中的木聚糖,生产低聚木糖。     

高拱坝河床基岩深槽处理方案

中国某300m级高拱坝在河段覆盖层之下存在一条基岩深槽,这使得该拱坝设计面临2种选择:对深槽进行基础回填混凝土处理;或者采用大开挖方式,将坝底高程设计在基岩深槽底部高程。该文建立了该高拱坝基础回填和基础大开挖2种设计方案的三维有限元模型,并基于变形加固理论,分析了2种方案在正常工况和超载下的位移、应力情况及塑性区扩展规律,并以不平衡力和塑性余能范数为评价标准,评价了2种方案的整体安全性。结果表明:2种方案在超载能力和整体稳定性上均达到要求,基础回填方案在坝体位移、应力及整体安全等方面优于大开挖方案。     

新型添加剂在拜耳法溶出A/S:5-7铝土矿时的奇特作用

简要介绍了我国铝土矿资源特点及氧化铝工业现状，扼要分析了用一水硬铝石型A／S：5-7铝土矿生产氧化铝的艺方案。采用最简单的纯拜耳法处理一水硬铝石型A／S：5-7铝土矿生产氧化铝时，加入新型溶出添加剂获得了从未有过的最佳溶出效果，并列出了主要溶出条件和溶出效果。     

《工程制图》教学方法的探讨

在分析工程制图教学特点,学习难点的基础上,探讨了提高学生学习积极性,改善教学效果的方法.通过<工程制图>在相关课程中的应用,证明这种方法是有效的.     

程序设计类课程中建立实践教学环节反馈机制的探讨

对程序设计类课程的实践教学环节中存在的一些问题进行了分析，有针对性地引入反馈机制，重点探讨了如何构建反馈机制及相应措施的实施，使反馈机制成为促进教师有效教学和学生有效学习的重要手段。     

手写体女书文字规范化处理程序研究

在研究文字细化和细化后笔划校正的基础上,提出了一种建立规范的女书字符集的方案.指出了在处理细化后骨架产生的畸变时,作为特征点之一的拐点较难寻找,根据拐点的特性给出了一种新的寻找算法.按照该算法设计了处理程序,通过具体的应用,证实该算法是有效的.     

碳还原TiO_2的产物及热力学

碳化钛不仅在硬质合金和耐热高强度合金制造过程中占有重要地位,而且在高炉冶炼钒钛磁铁矿或电炉熔炼高钛渣的过程中,都因生成钛的碳氧化物和碳化物而使渣变稠,放渣困难,渣与金属不易分离,破坏炉子的正常操作。近年来国内外的研究工作者对Ti—C—O三元系进行了不少的研究,但是,对高温条件下用碳还原TiO_2的物理化学研究却为数很少,而且实验结果也不一致。本文是对高温还原的热力学和动力学方面的问题进行研究。     

用x射线能谱仪测量样品成份的新方法

本文提出了x射线能谱测试中的一个新参数η_A~B,其物理意义是单个电子激发元素A与B的特征x射线强度之比。在此基础上,提出了一种新的测试方法。实验证明,新方法既具有全标样法的精度又具有无标样法简便迅速的优点。     

人类T细胞白血病病毒与获得性免疫缺陷综合征

1980年以来,美国国立癌症研究所肿瘤细胞生物学实验室的戈洛(Gallo)等人,从一例蕈样真菌病病人(C.R.)和一例皮肤型T细胞白血病(Sezary综合征)病人(M.B.)的淋巴结和外周血液中分离出淋巴细胞,在体外建立了HUT102、CTCL-3和CTCL-2等细胞株,经形态学和免疫学等方法证明为成熟的T