间歇性低氧及运动对大鼠红细胞膜Na+-K+-ATP酶和Ca2+-Mg2+-ATP酶活性的影响

Wistar雄性大鼠分为常氧对照组、常氧运动组、低氧对照组、低氧运动组.分别对常氧运动、低氧运动组进行游泳训练,对低氧对照、低氧运动组进行低氧刺激.用导管法测血压和心率,用比色法测红细胞膜Na+-K+-ATP酶Ca2+-Mg2+-ATP酶活性,探讨低氧和训练对红细胞膜Na+-K+-ATP酶和Ca2+-Mg2+-ATP酶活性的影响.发现低氧刺激降低大鼠红细胞膜Na+-K+-ATP酶和Ca2+-Mg2+-ATP酶的活性,而适宜负荷运动则可提高以上两种酶的活性.结果表明,间歇性低氧运动对大鼠红细胞膜的Na+-K+-ATP酶和Ca2+-Mg2+-ATP酶活性具有一定的保护作用.     

Combinator演算族的π演算语义

以SKI演算作为Combinator演算族的代表, 通过形式化的手段给出了SKI演算的π演算语义; 通过一个实例验证了所论方法的正确性. 所给出的转换方法证明了π演算的表达能力： π演算为图灵完备的. 由于高阶函数式语言与Combinator演算族之间存在着自然的转换, 所给的转换思想不仅为在π演算的理论框架下 研究Combinator演算族提供了基础, 也为探讨高阶函数式语言的表示和实现问题提供了新途径.     

物联网服务的π-演算建模与验证

针对物联网服务建模和验证问题,用π-演算理论对物联网服务和环境实体进行动态交互行为建模,并引入μ-演算刻画物联网服务能力,将其描述为物联网服务和环境实体动态交互行为的执行序列.针对特定的应用场景,使用π-演算定义了物联网服务和环境实体,利用μ-演算对物联网服务能力进行建模,使用检测工具MWB验证了模型的安全性、活性和时...     

秋水仙碱对斑马鱼肝脏和鳃组织中SOD及Na+-K+-ATPase活性的影响

将斑马鱼(Brachyclanio rerio)暴露于秋水仙碱5个浓度组(0mg·mL-1、10.00mg·mL-1、14.12mg·mL-1、19.95mg·mL-1、28.18mg·mL-1、39.80mg·mL-1)中进行96h急性毒性试验,计算其半数致死浓度(LC50),再设置秋水仙碱3个浓度(0.67mg·mL-1、1.70mg·mL-1、4.26mg·mL-1)将斑马鱼进行21d慢性毒性实验,每7天测定肝脏和鳃中的超氧化物歧化酶(SOD)及N+-K+-三磷酸腺苷酶(Na+-K+-ATPase)活性。结果表明,秋水仙碱对斑马鱼的LC50为16.90mg·mL-1,随着秋水仙碱浓度增大和染毒时间延长,斑马鱼鳃中SOD和Na+-K+-ATPase活性均显著受到抑制,肝脏中SOD活性增加,Na+-K+-ATPase活性总体呈现抑制趋势。斑马鱼肝脏和鳃中的SOD及Na+-K+-ATPase对秋水仙碱敏感,可以作为观测指标用于评价秋水仙碱的毒性。     

温控系统的π-演算的描述与验证

根据温控系统的特征以及需求说明,利用π-演算构建了该系统动态行为的交互模型,依据π-演算的反应规则仿真描述模型的行为交互过程,使用μ-演算和移动工作平台(MWB)工具分析和验证了该交互模型具有温度控制和阈值修改功能,从形式上证明了温控系统的需求说明及其π-演算模型的一致性。结果表明,π-演算能够清楚地描述和分析并发系统的行为交互,而μ-演算可以证明模型的有效性和正确性。     

基于π-演算的安全协议描述与验证

π-演算是以进程间移动通信为研究重点的并发理论，本文扼要叙述π-演算的基本概念，论述了如何用π-演算描述和验证安全协议，具体以Station-to-Station协议的一个不完全版本为例进行了分析，发现并在π-演算的工具MWB中证实了协议中存在的一个攻击，分析受到攻击的原因并给出了协议的改进版本．     

肝再生增强因子对HepG2细胞Na+,K+-ATP酶的影响

用四甲基偶氮唑盐比色法(MTT法)检验重组肝再生增强因子(ALR)对人肝母细胞瘤细胞系(HepG2)细胞的增殖作用,无机磷比色法测定细胞Na, K -ATP酶的酶活,蛋白质免疫印迹分析Na ,K -ATP酶的磷酸化情况.体外实验结果表明,重组ALR能促进HepG2细胞增殖.ALR可提高HepG2细胞Na, K -ATP酶酶活,符合M ichaelis-M enten方程作用机制,ALR提高了细胞Na, K -ATP酶的转化效率,vm ax由(0.84±0.11)μmol/(mg.m in)上升到(1.68±0.07)μmol/(mg.m in)(P<0.01,差异极显著),而Km则由(23.54±0.12)mmol/L变为(20.86±0.13)mmol/L(P>0.05,差异无显著性).丝氨酸/苏氨酸残基磷酸化是酶活提高的关键因素.蛋白质免疫印迹分析也证实:ALR对Na, K -ATP酶磷酸化的影响属于剂量-时间依赖型.     

用π-演算描述网络考试系统

在分析了基于W eb的网络考试系统需求的基础上,针对其具有多进程并发通讯的特点,采用π-演算对系统进行结构和功能的描述;在简单介绍π-演算的语法和操作语义的基础上,用进程表达式对整个系统进行形式化的描述;最后,通过实际编程实现,表明用π-演算描述这一类系统是非常适合的.     

Email系统特征交互问题的π-演算检测

采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.     

尼罗罗非鱼在淡、海水中Na+-K+-ATPase活性变化

用ATPase活性测试盒测定了尼罗罗非鱼鳃和肾中Na^＋-K^＋-ATPase活性在海、淡中的变化.从淡水到海水中,尼罗罗非鱼鳃和肾Na^＋-K^＋-ATPase活性分别增强了1.61倍和1.41倍;把尼罗罗非鱼由淡水直接放入海水,鳃中的Na^＋-K^＋-ATPase活性升高较剧烈,在前期（0.5 h）最高,在鱼即将死亡的后期（8 h）次之,在中期（3 h）较低;肾中Na^＋-K^＋-ATPase活性升高较缓慢,在前期较小,中期较高,后期最高.除了在淡水中,肾的Na^＋-K^＋-ATPase活性高于鳃外,在海水中以及海水的前期、中期和后期中,鳃的Na^＋-K^＋-ATPase活性都高于肾,与肾相比,鳃对肾盐协迫更为敏感.     

中华绒螯蟹Na+-K+-Cl-协同转运蛋白基因的克隆和功能分析

为研究Na~+-K~+-Cl~-协同转运蛋白(NKCC)基因在中华绒螯蟹(Eriocheir sinensis)应对高盐胁迫过程中的作用,采用RACE技术首次克隆到中华绒螯蟹NKCC基因全长序列,运用实时荧光定量PCR(qRT-PCR)对中华绒螯蟹NKCC基因进行组织定量,并进行生物学信息分析.结果表明:该基因的cDNA全长为4 127bp,其中5非编码区(UTR)长度为18bp,3非编码区(UTR)长度为944bp,开放阅读框(ORF)长度为3 165bp,编码1 054个氨基酸.理化分析预测其分子量为51.066kDa,理论等电点为4.65.预测中华绒螯蟹NKCC二级结构由12个跨膜结构域组成.同源对比结果显示:中华绒螯蟹NKCC的氨基酸序列与拟穴青蟹(Scylla paramamosain)NKCC相似度最高,为86.17%.系统进化分析表明中华绒螯蟹NKCC与拟穴青蟹、三疣梭子蟹(Portunus trituberculatus)、可口美青蟹(Callinectes sapidus)、蓝蟹(Callinectes sapidus)聚为一支.不同组织的荧光定量结果显示:NKCC基因在中华绒螯蟹的肠、脑神经节、胸神经节、鳃、胃、肝胰腺、肌肉、眼、心脏和血清中均有表达且在中华绒螯蟹肠的表达量最高.在盐度为25‰的急性胁迫下,NKCC基因在中华绒螯蟹肠中的表达量随着胁迫时间延长变化显著(P0.05),并在胁迫72h后恢复稳定.以上结果显示,NKCC基因参与了中华绒螯蟹渗透压调节,并在其渗透压平衡中发挥重要作用.     

π-余代数的楔积

给出了π-余代数C上的楔积Xα∧Yβ的概念,把余代数上楔积的相关性质推广到π-余代数上．研究了π-余代数C上π-子余代数、π-余理想的性质,给出了X∧Y与它们之间的联系．     

π-余代数上的余模

设C是π-余代数,给出了π-余代数C上的C-π-余模和有理π-C*-模的概念,把余代数上的相关性质推广到π-余代数上.研究了C-π-余模、有理π-C*-模的基本性质,给出了左C*-模的极大有理π-C*-模的刻划以及它们之间的密切联系.     

Pb2+对柄海鞘代谢的影响

应用半静态双箱式生物模型,考察Pb2+对柄海鞘代谢的影响.实验结果表明:0.01mg/L的Pb2+可促进柄海鞘的氨排泄,高浓度则使柄海鞘排氨率降低;0.01和0.05mg/L的Pb2+可以提高柄海鞘的清滤率,0.2mg/L则抑制其滤水作用;Pb2+对柄海鞘的氧氮比表现出与浓度相关的抑制作用.Pb2+影响柄海鞘几种代谢酶的活力,对碱性磷酸酶和Na+-K+-ATP酶活力均表现出与浓度相关的抑制作用;暴露于Pb2+溶液后,其SOD活力先降低后回升.以柄海鞘的代谢指标:氧氮比、碱性磷酸酶、Na+-K+-ATP酶和SOD活性作为海域污染的生物指标,具有一定的可行性.     

茵栀黄注射液对新生大鼠胆红素脑损伤的保护作用

目的:探讨茵栀黄注射液对新生大鼠胆红素脑损伤的保护作用.方法:175只7日龄SD大鼠随机分成正常对照组、脑损伤组、治疗组Ⅰ、Ⅱ、Ⅲ,腹腔注射质量分数为120 mg/kg的胆红素溶液诱发新生大鼠脑损伤,治疗组Ⅰ、Ⅱ和Ⅲ新生大鼠建模同时每天分别腹腔注射质量分数分别为513.2、265.5和132.8mg/kg的茵栀黄注射液...     

基于阳离子-π的高强韧聚酰亚胺的制备及性能

为提高聚酰亚胺薄膜(PI)的强度和韧性,设计了一种含有阳离子-π结构的PI-Na薄膜。通过在聚酰亚胺中引入Na⁺和吲哚基团构筑“点对面”的多重结构,利用红外光谱、紫外-可见光谱、荧光光谱、分子动力学模拟计算以及EDS能谱等证明了阳离子-π相互作用的存在。由于阳离子-π相互作用具有相对较大的结合面积,能够简单快速地破坏和重建,PI-Na薄膜实现了优异的力学强度和韧性。与不含Na⁺的PI薄膜相比,当Na⁺与吲哚的摩尔比为1∶2时PI-Na薄膜的强度和断裂伸长率分别提高118%和51%。同时,PI-Na薄膜表现出优异的耐热性能,其5%热分解温度和玻璃化转变温度分别提高50℃和28℃。     

关于Hopfπ-余模的对偶

主要研究Hopf π-模与Hopf π-余模间的对偶问题．首先分别构造并证明了Hopf π-余代数H的对偶H^0是Hopf π-代数以及Hopf π-余模M的对偶M^0是Hopf π-模;然后讨论它们之间的密切相关性质;最后。构造并证明了Hopf π-余模同态f的对偶f是Hopf π-模同态．     

Ca2+、CaM及CaM拮抗剂对粟酒裂殖酵母质膜H+-ATP酶活性的影响

经差速离心,酸处理,蔗糖密度梯度离心制备粟酒裂殖酵母（Schizosaccharomyces pombe）质膜H^＋-ATP酶,以研究Ca^2＋、CaM以及CaM拮抗剂对纯化的质膜H＋-ATP酶活性的影响.结果表明Ca^2＋强烈的抑制该酶的活性,而CaM对该酶的活性没有影响,但TFP与Compound R24571这两类CaM拮抗剂又都能强烈地抑制该酶的活性.推测TEP等抑制该酶的活性不是通过与CaM结合作为CaM的拮抗剂竞争性抑制该酶的活性,而是直接对该酶发生作用或者通过磷脂或其它的CaM依赖性的膜蛋白间接对该酶产生作用.     

π-代数上的模及DMCπ与Rat(C*MπD*)范畴

引进了π-代数上的模的概念,研究了其相关性质.证明了π-余代数上余模的对偶是对偶π-代数上的模.最后在MCπ≌Ray(C*Mπ)的基础上,证明了DMCπ≌Rat(C*MπD*).     

π-代数上的模及~DM_π~C与Rat(C~*M_D~π*)范畴

引进了π-代数上的模的概念,研究了其相关性质.证明了π-余代数上余模的对偶是对偶π-代数上的模.最后在MπC Rat(C*Mπ)的基础上,证明了DMπC Rat(C*MπD*).