命题逻辑中的蕴涵置换法

引进了命题逻辑中的蕴涵置换的概念，建立了蕴涵置换法，指出了蕴涵置换法的使用范围。     

疏水吸附法分离纯化α—淀粉酶

本文报道了一种从发酵液中分离纯化α—淀粉酶的新方法。α—淀粉酶发酵液用两种高分子量的絮凝剂澄清,滤液用一种国产吸附树脂吸附,然后用40％乙醇洗脱,所得酶粉的活性约为60000U/g。产率64.22％。     

唐宋时期的“调日法”探微

调日法是中国古代历算家发明并使用的一种实数的有理逼近算法。本文根据宋代秦九韶《数书九章》中的有关史料，探讨了唐宋历法中普遍采用的１０ｘ型与１００ｘ型之日法的调取算法。结论是，唐宋时期的调日法，与南北朝何承天（３７０－４４７年）草创的算法不尽相同。     

吸附溶出伏安法测定毗喳酮的研究

本文报道了用吸附溶出伏安法测定毗喳酮.以悬汞电极为工作电极，在Na}B,O,-NaOH介质(pH=10)中，毗喳酮产生一尖锐的吸附还原峰,E，二一1. 29V (vs. SCE )，峰电流与毗喳酮浓度在2. 0 X 10-'-8. 0 X 10-smol " L-’范围内呈良好的线性关系.检测限为2. 0 X 10-0mol " L-'(富集90s).本文对毗喳酮在悬汞电极上的电化学行为进行了探讨，对测定毗喳酮的最佳条件进行了详细的选择，利用本法测定了片剂中毗喳酮含量，结果满意.     

李秉彝绝对Henstock可积函数都是Mcshane可积的

我们给出每个绝对Henstock可积函数都是Mcshane可积的一个新的证明。     

一类广义差分方程组与CDS方法的收敛性

本文首先证明了基于 ILMM 的 CDS 格式是不收敛的,然后对一类广义差分方程组给出了解的估计式,最后,在这个基础上,对基于 IMLMM 的 CDS 格式建立了收敛性定理,给出的收敛阶也是最佳的。     

非线性最优化的广义梯度投影法

梯度投影法已有许多有效算法,但这些算法还存在三个问题:1)为了保证算法的收敛性,在算法的每一迭代步,需要选取δ-主动约束集,计算量较大.2)在迭代过程中,需要跟踪主动约束集.3)只能处理非线性不等式约束问题.本文讨论非线性等式与不等式约束的优化问题,给出了一个广义梯度投影法,证明了算法的收敛性并且完满地解决了上述三个问题.本文算法结构简单且其处理技巧有普遍意义.     

顶部籽晶法生长磁光晶体硼酸铁

本文首次采用顶部籽晶泡生法在敞开体系中生长了出了磁光晶体硼酸铁单晶。选用Ｂ２Ｏ３作自助溶剂，ＬｉＦ作稀释剂，确定了原料配方。对长出的晶体作了初步的物化性能测试。讨论了晶体生长的结果。     

离子交换法降低甘草浸膏灰份的研究

本文介绍了用离子交换法降低甘草浸膏灰份的实验研究。实验表明:用国产大孔阳离子交换树脂D001-CC及强碱性阴离子交换树脂D296配合使用,可将原甘草浸膏中12％的灰份降低至5～7％,同时用氨水、稀盐酸、稀氢氧化钠溶液分次再生树脂可减少甘草浸膏有效成份的损失。并且设计了工业上可能采取的工艺路线。