Goedel逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统/W，W，Wk中的广义重言式理论进行推广并应用到了Gooedel逻辑系统/G，G，Gn中。主要结果是：在逻辑系统/G，G中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Gn中，对任一公式最多进行n次升级算法即可得到重言式；利用可达广义重言式概念和α-矛盾式概念分别在/G，G，Gn中给出了F（S）的一个关于→同余的分划。     

2D-QSAR Studies on Phenoxybenzoic Acid Derivatives: A Novel Class of 5a-Reductase Inhibitors

The quantitative structure-activity relationship （QSAR） of 14 phenoxybenzoic acid derivatives was studied by ab initio method at the HF/6-31G level using Guassian03 software. The optimized structures together with some characteristic and electric parameters of the title compounds were obtained; some stereo-parameters were calculated by HyperChem software. Stepwise multiple regression and principal component regression methods are adopted to establish multi-parametric models between biological activity and parameters. The results indicated that the lager Ehomo, M, V and LogP, the smaller Etumo and S, and the higher biological activity. A theoretical direction was provided to synthesize some compounds with high activity.     

一种新的可数紧性

在L-fuzzy拓扑空间上，研究了可数S^＊-紧和可数S-紧的相关性质和特征。并就可数S^＊-紧、可数S-紧以及S-Lindeloef性质三者之间的关系进行了研究，得到了满足S-Lindeloef性质的可数S^＊-紧空间为S^＊-紧空间等结论。     

盐酸胍诱导的淀粉液化芽孢杆菌α-淀粉酶去折叠过程的研究

分别用内源荧光光谱法、荧光相图法、荧光探针法、荧光猝灭法、蛋白质电泳法以及体积排阻色谱法研究了盐酸胍诱导的淀粉液化芽孢杆菌a-淀粉酶的去折叠过程. 内源荧光光谱和荧光相图结果表明, 当变性液中盐酸胍浓度约为1.0 mol/L时, 芽孢杆菌a-淀粉酶的去折叠过程中出现一个部分折叠中间体, 其去折叠过程符合“三态模型”; 荧光探针结果表明, 在溶液中盐酸胍浓度约为1.0 mol/L时, 中间态芽孢杆菌a-淀粉酶分子中存在着能够与探针分子1-苯胺 基-8-萘磺酸(ANS)结合的稳定的疏水区域; 荧光猝灭研究给出了不同程度变性的淀粉液化芽孢杆菌a-淀粉酶中的Trp的分布情况, 结果表明中间态芽孢杆菌a-淀粉酶分子中能够被碘化钾猝灭的位于分子表面的色氨酸残基数目达到最大的8个; 蛋白电泳和体积排阻色谱结果表明, 在盐酸胍诱导的芽孢杆菌a-淀粉酶分子的整个去折叠过程中, 不会以共价键或非共价键形式形成芽孢杆菌a-淀粉酶分子之间的集聚体或集聚体沉淀. 在此基础上, 对盐酸胍诱导的淀粉液化芽孢杆菌a-淀粉酶的去折叠过程进行了描述.     

系统Hα中F(S)的一个分划及一种升级算法

研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并给出了各类间的一种升级算法,证明在系统Hα中,重言式不可能由对非重言式进行有限次升级算法得到。     

扰动模糊命题逻辑系统中的广义重言式

通过定义二维R0-蕴涵算子，将王国俊教授在逻辑系统形中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统西中，证明了这一系统中（μ，δ）-重言式就是某个（λ，1-λ）-重言式，最终获得与一维线性赋值格上完全相应的广义重言式分类。     

区间值模糊命题逻辑的最大子代数及其广义重言式

将S-型蕴涵算子改为R0-蕴涵算子，从而找到区间值模糊逻辑I[0，1]的一个最大子代数IQ，进而将王国俊教授在逻辑系统W中的广义重言式理论推广应用到IQ中。     

逻辑系统(W)、W、Wn中的广义矛盾式及一种降级算法

研究了多值逻辑系统(W)、W、Wn中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏.在(W)、W、Wn中给出了一种降级算法,但(W)、W中的矛盾式并不能由对非矛盾式进行降级得到.而在Wn中,矛盾式可由非矛盾式经过有限次降级得到.     

积逻辑系统中的广义重言式

讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。