由T0空间的特殊化序定义的定向空间

通过T0空间的特殊化序定义了一类新的拓扑空间——定向空间.该拓扑空间满足定向完备偏序集赋予Scott拓扑所具有的一些性质.特别地,本文证明了所有定向空间及连续函数构成的范畴是T0空间范畴的余反射子范畴并且具有cartesian闭性以及定向完备偏序集范畴是该范畴的真子范畴.     

偏序集范畴的Cartesian闭性

作者讨论了偏序集范畴的Cartesian闭性, 给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件. 特别地, 作者证明了交连续半格（不要求定向完备性）范畴是Cartesian闭范畴, L-CDCPO范畴是L-POSET范畴的极大Cartesian闭子范畴.     

相容双有限domain及相关范畴性质

将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题．并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴．还讨论了相容定向完备偏序集及相容代数domain上的几个性质．     

连通代数domain上相容紧元及范畴的研究

基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件.研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格同构.最后,证明了连通代数domain范畴与偏序集范畴等价.     

连续范畴

将定向完备偏序集上的way-below关系推广到任意小范畴上,从而在任意小范畴上引入了连续性.并进一步讨论了连续范畴的性质,证明了连续范畴有许多类似于连续偏序集的好的性质.     

拟连续domain的网式刻画

本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画:定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domain理论中关于连续domain的类似刻画.     

相容连续偏序集及其定向完备化

引入了相容连续偏序集及其定向完备化等概念,证明了相容连续偏的定向完备化是连续偏序集;利用主理想及Ｓｃｏｔｔ拓扑刻画了相容连续偏序集,得到相容定向完备偏序集是相容连续的当且仅当它的任一主理想是连续偏序也当且仅当它的Ｓｃｏｔｔ拓扑是一个完全分配格;考察了相容性连续偏序集的定向完备化的范畴意义,得到相容连续偏序集范畴以连续偏范畴作为为满的反射子范畴。     

一致连续偏序集的特征和浓度

利用连续格理论讨论了一致连续偏序集的特征和浓度,证明了一致连续偏序集的特征和浓度与一致连续偏序集带上Scott拓扑时的拓扑空间的特征和浓度相等,它们分别小于一致连续偏序集带上Law-son拓扑时拓扑空间的特征和浓度.     

偏序集上的两类序收敛

研究了在任意偏序集中网的序收敛和滤子的序收敛的关系,证明了Birkhoff-Frink的网的序收敛和Ern-éGatzke的滤子的强序收敛相互协调,Wolk的网的序收敛和Ern-éGatzke的滤子的序收敛相互协调.如果偏序集是一个格,则这两种序收敛导出的拓扑一致.引入了序收敛格的定义,证明了序收敛格导出的序拓扑是一个Hausdorff正则空间,序收敛格的有限积是序收敛格,由全体序收敛的完备格构成的偏序集范畴的满子范畴是笛卡儿闭的.     

定向空间的下幂结构

定向空间范畴推广了domain理论.该推广过程为函数式程序提供了非确定性指称语义的幂domain结构.本文以自由代数的方式定义了定向空间的下幂空间,证明了每个定向空间的下幂空间存在并给出其具体构造.一般情况下,定向空间的定向下幂空间既不同于赋予Scott拓扑的定向完备偏序集的下幂domain,也不同于Battenfeld和Schder定义的普通拓扑空间上观察诱导的下幂空间.     

基-κ-亚紧空间

引入基-κ-亚紧空间的概念,研究了基-κ-亚紧空间与其子空间的关系,基-κ-亚紧空间与κ-亚紧空间的关系,基-κ-亚紧空间与紧空间的乘积,既开又闭的有限到一映射保持基-κ-亚紧性.     

假交替单胞菌κ-卡拉胶酶的酶解工艺优化及产物分析

为探索假交替单胞菌κ-卡拉胶酶的酶解工艺,以κ-卡拉胶为底物,还原糖生成量为评价指标,对酶解工艺进行优化。采用3,5-二硝基水杨酸法和苯酚 硫酸法分别测定还原糖和总糖含量,计算酶解产物的平均聚合度,并利用质谱鉴定酶解产物。结果显示,假交替单胞菌κ-卡拉胶酶降解κ-卡拉胶的优化工艺条件为:加酶量为0.35 U（反应体系5 mL）,反应温度为40 ℃,反应pH=8.0,κ-卡拉胶底物质量浓度为9 g/L。在此条件下,酶解反应240 min后产生的还原糖质量浓度为1.531 g/L,酶解产物的平均聚合度为2。该κ-卡拉胶酶酶解反应的Km=2.07 g/L,Vmax=7.25 U/mg。质谱分析显示,假交替单胞菌κ-卡拉胶酶降解κ-卡拉胶的产物为κ-卡拉胶二糖和κ-卡拉胶四糖。     

愈结灵对溃疡性结肠炎小鼠治疗作用

目的：观察愈结灵对实验性结肠炎（UC）小鼠的治疗作用及机制。方法：C57BL/C小鼠40只随机分为正常、模型、SASP（520 mg/kg）,YJL组,每组10只,除正常组外,余以5%DSS水溶液自由饮用8 d产生UC模型,同时灌服相应药物。评价各组小鼠的体质量变化,观察结肠组织病理学改变,疾病活动指数评分（disease activity index, DAI）,Western blotting法检测结肠组织中核转录因子（NF-κB）的表达。结果：愈结灵能显著减轻结肠炎小鼠结肠组织病理学损伤。与模型组相比,各给药组DAI明显降低（ p〈0.01）,结肠组织NF-κB表达下降（ p〈0.01）。结论：TASA可能通过抑制NF-κB的表达,发挥治疗溃疡性结肠炎的作用。     

遗传σ-可膨胀与遗传几乎σ-可膨胀空间的逆极限

研究了四类可膨胀空间的逆极限性质，主要证明了在逆极限空间是遗传κ-仿紧条件下遗传σ-（离散）可膨胀性能够被逆极限空间所保持，在逆极限空间是遗传κ-亚紧条件下遗传几乎σ-（离散）可膨胀性也能够被逆极限空间所保持.     

山香圆总黄酮对慢性咽炎模型大鼠 NF-κB、IκBα表达的影响

以2.5%氨水喷咽部建立大鼠慢性咽炎模型,用HE染色法观察咽部病理形态学改变,用ELISA法检测血清炎症因子TNF-α、IL-1β、IL-6,用RT-qPCR测定咽部组织NF-κBp65mRNA的表达,用Western blot检测咽部组织NF-κBp65和IκBα蛋白的表达,探讨山香圆总黄酮对慢性咽炎模型大鼠 NF-κB、IκBα表达的影响.结果显示:山香圆总黄酮能明显改善模型大鼠咽部病理形态学; 与模型组比较,山香圆总黄酮各组能不同程度地下调TNF-α、IL-1β、IL-6和NF-κBp65的表达并上调IκBα的表达,其中高剂量组最显著.这表明山香圆总黄酮能通过抑制NF-κB的表达和IκBα的解离下调炎症因子TNF-α、IL-1β、IL-6的表达,从而减轻炎症,发挥抗慢性咽炎作用.     

NF-κB与疾病的关系

随着分子生物学技术和生物信息学的发展 ,生命科学进入了后基因组时代 ,对转录因子NF κB的研究越来越受到重视 ,尤其是NF κB的活性与细胞的生长分化、炎症、免疫应答、肿瘤生长及病毒繁殖等生物学过程的关系 ,以及NF κB的活化过程与某些老年性和顽固性疾病的发生关系     

NF-κB相互作用多肽原核表达载体的构建、表达与纯化

为了获得高纯度的可溶性NF-κB相互作用多肽,首先以酵母双杂交技术筛选获得的NF-κB相互作用多肽的酵母表达质粒pGAD GH/pp10为模板,扩增多肽基因片段,后经BglⅡ,StuⅠ双酶切后连接到pET-42a(+)载体中,构建GST/多肽融合蛋白的原核表达载体,并将GST/多肽融合蛋白的原核表达载体转化入BL-21菌株,用0.4 mmol/L IPTG于30 ℃诱导表达4 h,后经GST亲和纯化GST/多肽融合蛋白,SDS-PAGE电泳鉴定融合蛋白的表达和纯度.实验结果表明,成功地构建了NF-κB相互作用多肽的GST/多肽融合蛋白原核表达载体,进行了GST/多肽融合蛋白的诱导表达,融合蛋白的表达为可溶性表达,最终纯化获得纯度约为80%的可溶性GST/多肽融合蛋白,这将为后继利用GST pull-down,Bio-sensor,EMSA等实验进一步验证NF-κB相互作用多肽的功能提供可靠的材料来源奠定基础.     

细胞凋亡与NF-κB激活的信号传导研究

细胞凋亡是细胞受基因调控的主动死亡方式,对于生物体的正常发育及生理功能的维持具有重要意义。NF-κB是一类在动物细胞中广泛表达的转录因子,其主要生理功能之一是通过诱导凋亡抑制基因的转录,拮抗细胞凋亡的发生。NF-κB的活化调控是细胞生死抉择过程的关键机制之一。现已证明细胞凋亡及NF-κB活化的异常会导致多种人类疾病。本项目从凋亡的执行机制和调控机制两方面入手,对细胞凋亡的机理进行了研究。建立了基于爪蟾卵细胞提取物的非细胞凋亡诱导体系,并利用这一体系,发现爪蟾细胞凋亡特异核酸酶XAD及其特异性的抑制因子IXAD;首次证明磷酸肌酸和核质素在凋亡过程中的作用。克隆了3个新的凋亡诱导基因。在细胞凋亡的调节机制方面,克隆了7个分别作用于NF-κB活化信号通路不同步骤的新的调节基因,发现5个已知蛋白调节不同NF-κB活化途径的新功能。此外,在国际上较早开展了植物细胞凋亡的研究,首次报道体外培养植物细胞凋亡过程中有细胞色素C的释放。     

平均框架下一般多元问题的 lnκ-弱易处理性?

在平均框架下研究相应于零均值高斯测度的一般多元逼近问题.我们考虑利用有限个连续线性泛函值所构造的逼近算法.基于协方差算子的特征值,我们得到了一般多元线性问题具有lnκ-弱易处理性的充分必要条件.     

筛板洗选效果的数值模拟研究

选用雷诺平均Navier-Stokes方程,采用标准κ-ε模型,定义专门的边界模型条件,运用流体分析软件对圆弧波浪式筛板和直条式筛板的洗选过程分别进行数值模拟,得出了原煤颗粒入流速度为2m/s时,两种筛板在洗选过程中的速度分布图、密度分布图,根据模拟结果分析,对传统的直条式筛板进行优化设计,设计出圆弧波浪式筛板并进行工业性试验,与传统的直条式筛板的透筛物和分选效果进行比较,比较结果表明圆弧波浪式筛板在筛选效果上比直条式筛板更具有优越性,同时也验证了湍流模型选取的合理性。