三肽基肽酶I的研究进展

三肽基肽酶I(Tripeptidyl Peptidase I，TPPI)是存在于溶酶体中蛋白酶，它能特异地降解寡肽和蛋白质N-末端而释放出三肽．TPPI的基因位于人的染色llpl5，含有13个外显子和12个内含子，全长为6．65Kb，编码563个氨基酸残基．TPP1是迟发型婴儿晚期神经元样脂褐质沉积症(Classical late infantile neuronal ceroid lipofuscinodid，CLN2)的病因蛋白质．由于TPP1的基因突变导致在CLN2患者的溶酶体中线粒体的ATP合成酶的亚单位C大量的堆积．现就TPP1的由来、理化性质及生物学功能加以叙述．     

基于正则蕴涵算子的a-三Ⅰ算法

给出了基于正则蕴涵算子的a-三I算法的计算公式,并考虑算法的还原性。     

基于含参量蕴涵算子的反向三Ⅰ约束算法

针对王国俊教授提出的Hα系统中的蕴涵算子给出FMP问题的反向三I约束算法计算公式和FMT问题的反向三I约束算法计算公式.