格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法

在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L2n+1P(X)上基于半正则广义文字的归结水平为M的归结自动推理算法,并验证了其可靠性和完备性.     

有机铁硫原子簇化合物薄层色谱展开剂优化快速选择

本文介绍了薄层色谱最佳展开剂组成的快速选择方法。首先利用对半优化法粗选最佳展开剂大概用量范围;其次绘制△Rt-ε0图预测展开剂系统:最后用数字分析法算出展开剂各组分最佳配比值。并用于有机铁硫原子簇化合物[1,2]的薄层分析。