期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
广义MP问题的α-三Ⅰ解的形式化理论 被引量:2
1
作者 马丽娜 王国俊 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第2期13-16,22,共5页
研究了二值命题逻辑中模糊推理的全蕴涵α-三Ⅰ算法的形式化问题.提出了(F(S),)中的极小α公式的概念,当α∈{k/2n|k=0,1,…,2n,n=1,2,…}时得到如下结果:(1)全体极小α(α{0,1})公式构成(F(S),)中的反链;(2)当α=1时,全体极小α公式之... 研究了二值命题逻辑中模糊推理的全蕴涵α-三Ⅰ算法的形式化问题.提出了(F(S),)中的极小α公式的概念,当α∈{k/2n|k=0,1,…,2n,n=1,2,…}时得到如下结果:(1)全体极小α(α{0,1})公式构成(F(S),)中的反链;(2)当α=1时,全体极小α公式之集是相容的;当α≠1时,全体极小α公式之集是不相容的.证明了广义MP问题的形式化α-三Ⅰ解的存在性定理. 展开更多
关键词 广义MP问题 α-算法 极小α公式 形式化α-三ⅰ解
在线阅读 下载PDF
FMP和FMT的三I解及其性质 被引量:2
2
作者 马盈仓 李骏 《纺织高校基础科学学报》 CAS 2005年第2期138-142,共5页
利用函数观点,进一步研究模糊推理的三I方法.提出FMP和FMT的三I解概念,并给出其存在的必要的和充分的条件;对一些常见的蕴涵算子,得出了关于FMP和FMT的三I解及其满足还原性的条件.最后给出由左连续t-范数所生成的R-蕴涵关于FMP和FMT三I... 利用函数观点,进一步研究模糊推理的三I方法.提出FMP和FMT的三I解概念,并给出其存在的必要的和充分的条件;对一些常见的蕴涵算子,得出了关于FMP和FMT的三I解及其满足还原性的条件.最后给出由左连续t-范数所生成的R-蕴涵关于FMP和FMT三I解的性质. 展开更多
关键词 方法 三ⅰ解 模糊推理
在线阅读 下载PDF
Adeno-associated virus vector-mediated triple gene transfer of dopamine synthetic enzymes
3
作者 樊东升 沈扬 康德宣 《Chinese Medical Journal》 SCIE CAS CSCD 2001年第12期44-47,105,共5页
Objective To explore triple gene transfer of dopamine synthetic enzymes with separate adeno-associated virus (AAV) vectors.Methods The genes for dopamine synthetic enzymes, tyrosine hydroxylase (TH), aromatic L-amino ... Objective To explore triple gene transfer of dopamine synthetic enzymes with separate adeno-associated virus (AAV) vectors.Methods The genes for dopamine synthetic enzymes, tyrosine hydroxylase (TH), aromatic L-amino acid decarboxylase (AADC), and GTP cyclohydrolase Ⅰ (GCH, an enzyme critical for tetrahydrobiopterin synthesis) were cotransduced into 293 cells with separate AAV vectors. Expressions of TH, AADC and GCH were detected by Western blot analysis. Intracellular dopamine level was assayed by high-performance liquid chromatography.Results TH, AADC and GCH were effectively coexpressed in transduced cells with three separate AAV vectors, AAV-TH, AAV-AADC and AAV-GCH. Furthermore, the coexpression resulted in an effectively spontaneous dopamine production in cotransduced cells.Conclusion The triple transduction of TH, AADC and GCH genes with separate AAV vectors is effective, which might be important to gene therapy for Parkinson's disease. 展开更多
关键词 dopamine · GTP cyclohydrolase · adeno-associated virus
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部