Lukasiewicz系统中的广义重言式理论

引入了一类特殊的公式序列ＡＫ（Ｋ＝１，２，．．．）从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，并给出了广义重言式的关系定理，即对任意真值α，α－Ｔ（Ｌ）＝β〈α，β∈（Ｌ）β－Ｔ（Ｌ）。     

赋值格为非线性序的一种4值逻辑系统G_4~2

研究赋值格为非线性序,非运算不同于Ｂｏｏｌｅ的非运算,而蕴含算子→取Ｇｏｄｅｌ的ＲＧ的一种４值逻辑系统Ｇ２４,得到一些结果,特别是,在Ｇ２４中,α－ＭＰ规则（α＞０）都成立,Ｇ２４－重言式都是Ｃ２－重言式,所有的ＩＰＣ－定理皆是Ｇ２４－重言式,以及,一个公式是Ｇ２４－重言式,当且仅当它既是Ｇ２４－中的Ｉ－重言式,又是－Ｊ重言式,即（Ｉ－Ｔ（Ｇ２４））∩（Ｊ－Ｔ（Ｇ２４））＝Ｔ（Ｇ     

多值逻辑系统中的子代数与广义重言式

研究了五个重要的多值逻辑系统Ｌｎ,Ｋｎ,Ｓｎ,Ｇｎ和Ｗｎ,讨论了这些系统子代数的特征及计数问题,以及这些系统的广义重言式理论,给出了这些系统子代数的特征性质与计数公式,证明了Ｌｎ,Ｓｎ,Ｇｎ中可达α－重言式类类不空,并探明了它们与经典逻辑系统重言式的关系。     

有限Atanassov逻辑代数及其广义重言式

讨论了有限Atanassov直觉模糊逻辑代数，给出判别其子代数的充要条件，并将王国俊教授在逻辑系统W，W^-，Wn中的广义重言式理论推广并用到Atanassov逻辑中，证明了在Atanassov逻辑中不存在绝对重（假）言式，广义重言式不随系统变大而增多和广义重言式前缀（α，β）具有不敏感性。     

系统Hα中的广义重言式理论

给出了一类带参数的[0，1]上的t-模*α及与之伴随的新的蕴涵算子Hα(0≤α≤1)，进而建立了多值系统Hα．当α＝1时，Hα就是R0型蕴涵算子；α＝0时，Hα是Godel蕴涵算子，所以R0算子与Godel算子在Hα系统中统一起来．在Hα系统中引入了带参数的非运算フα，研究了多值系统H1/2＝(フ1/2，V，→1/2)，以H1/2为赋值域建立了F(S)中重言式的分类定理，并将广义重言式分类定理推广到系统Hα(O＜α＜1)中．     

区间值模糊命题逻辑的∑-广义拟重言式

通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I2n^2和I2（n＋1）^2中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法.     

牛顿二项式（1十t）~α收敛区域扩大到无穷的一种简单方法

作者利用一个简单的代数转换，给出（１十ｔ）α（α≠０，１，２，…）一个广义的二项式展开．并证明，该广义二项式展开对任意实数α（α≠０，１，２，…）在区域内收敛于（１十ｔ）α，而对那些在ｔ＜－１时（１十ｔ）α无意义的α值，则在区域收敛于（１＋ｔ）α．因此，当趋于零时，收敛区域趋于无限大．故该广义二项式展开可在（１十ｔ）α的整个定义域内收敛于（１＋ｔ）α．而且，传统的牛顿二项式展开仅为该广义二项式展开在时之特例．     

以α－D－GPA为标准参照物测定糖化血清蛋白的方法及其反应机理初探

以α－Ｄ－葡萄糖五乙酸酯（α－Ｄ－ＧＰＡ）作为标准参照物，碱性介质中与硝基四氮唑蓝（ＮＢＴ）进行还原反应，用以测定糖化血清蛋白的含量．经２８２例正常人和６５例糖尿病人临床检验，测其糖化血清蛋白的含量分别为１１．２９±１．４０ｍｍｏｌ／Ｌ，１９．２９±５．４０ｍｍｏｌ／Ｌ（　±ｓ），两者有极显著差异（Ｐ＜０．０１）．另对配制标准物溶液所用溶剂、ＮＢＴ稳定性、反应机理等进行了初步探讨．     

F(S)在Lukasiewicz逻辑系统中的一种分划

利用McNaughton函数，研究了Lukasiewicz逻辑系统中的可达广义重言式，证明了当α为无理数时，没有可达α-重言式，进而给出了F(S)的一个分划．还证明了在Lukasiewicz逻辑系统中，重言式可由对非重言式进行有限次升级算法得到。     

TNF－α诱导的蛋白质因子与淋巴毒素基因5’端上游区特异性结合的研究

淋巴毒素（Ｌｙｍｐｈｏｔｏｘｉｎ，ＬＴ）是由活化的Ｔ淋巴细胞分泌的一种糖蛋白，凝胶迟滞电泳分析发现，ＴＮＦ－α诱导３０ｍｉｎ的Ｊｕｒｋａｔ细胞核抽提物与ＬＴ基因５＇上游片段可形成多种ＤＮＡ－蛋白质复合物．ＤＮａｓｅⅠ足迹法实验发现，ＬＴ基因５＇端上游－１０６～－８３ｂＰ（共２４ｂＰ）序列具有蛋口保护足迹：此２４ｂｐ的序列中存在一个ｋＢ样结合位点：－１００～－９０ｂＰ（５＇－ＧＧＧＧＧＣＴＴＣＣＣ－３＇）．以此蛋白保护足迹区序列而设计合成的寡核苷酸探针进行的凝胶迟滞电泳分析及竞争反应表明，ＮＦ－ｋＢ类蛋白因子参与了此序列的ＤＮＡ－蛋白质的特异性结合，提示ＴＮＦ－α可能通过激活ＮＦ－ｋＢ类蛋白质因子参与ＬＴ基因的表达调控．