格值时态命题逻辑LTP(X)的语义问题

在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是)，建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X)，讨论了LTP(X)与时间相关的一系列性质及时态词的重叠问题，证明了MP语义规则和HS语义规则在该系统中成立。     

尼古丁损伤大鼠肠系膜动脉内皮功能及卡托普利的干预作用

目的观察尼古丁对大鼠离体肠系膜动脉内皮依赖性舒张反应的影响以及卡托普利的干预作用。方法应用器官培养技术和离体血管环张力描记法,研究不同浓度的尼古丁(10-5、10-4、10-3mol/L)在有或无卡托普利(0.01、0.030、.1 mmol/L)的情况下,对培养24 h的成年SD大鼠肠系膜动脉环(1 mm)内皮依赖性舒张反应的影响。结果尼古丁呈浓度依赖性损伤乙酰胆碱(ACh)诱导的内皮依赖性血管舒张反应(P<0.01,与空白对照组比较)。卡托普利呈浓度依赖性改善尼古丁对血管内皮依赖性舒张反应的损害。低浓度时对尼古丁损伤没有明显影响,高浓度具有显著的保护作用(P<0.05,与尼古丁10-4mol/L组比较)。结论卡托普利对尼古丁所引起的血管内皮依赖性舒张功能的损伤具有明显的保护作用。     

肺癌性激素及其受体之间关系的研究

为研究肺癌的发病机制，探讨其性激素及其受体之间的关系，运用酶联亲合组化法对53例肺癌癌组织中雌激素受体（ER）和孕激素受体（PR）进行了检测，同时采用R抗体放射免疫分析法测定了患者外周血中的雌二醇（SEL）和孕酮水平（SPL）。结果显示ER阳性率49．1％，PR阳性率54．7％。SEL、SPL均有明显的升高（P<0．05），无论ER（＋）组还是ER（－）组，SEL均有显著的升高（P＜0．05）；ER（＋）组、PR（＋）组、ER（＋）和PR（＋）组的SEL、SPL较ER（－）组、PR（－）组、ER（－）和PR（－）组的相对低。提示受体阳性者更多地受到性激素的影响。     

肾移植患者应用更昔洛韦后环孢菌素A的药动学及临床生化指标的研究

对１０例肾移植患者应用与未用更昔洛韦后环孢菌素Ａ的药动学参数及临床生化指标进行研究。采用荧光偏振免疫法测定血药浓度，３Ｐ８７程序拟合药动学参数。结果显示：应用更昔洛韦后，环孢菌素Ａ药动学参数Ｋｅ、ｔ１／２（Ｋａ）分别由未用组的（０．１６±０．０４）ｈ－１和（１．３９±０．７６）ｈ降至（０．０９±０．０５）ｈ－１和（０．５０±０．３２）ｈ（Ｐ＜０．０５），Ｔｍａｘ由（３．６７±０．７７）ｈ减至（２．００±０．７８）ｈ（Ｐ＜０．０１），ｔ１／２（Ｋｅ）由（４．０８±１．８５）ｈ增至（１０．５１±６．４２）ｈ（Ｐ＜０．０５），峰浓度Ｃｍａｘ平均升高２７％。肾移植后应用更昔洛韦组肾功指标下降，肝功指标上升，其中血清肌酐、总胆红质与未用组相比有统计学意义。表明更昔洛韦使肾移植患者环孢菌素Ａ的药动学参数及临床生化指标发生改变，提示临床调整用药方案。     

不同参数电针对大鼠脊髓背角神经元伤害感受性反应的影响

目的　观察和比较不同参数电针对大鼠“足三里穴”的镇痛效应。方法　采用玻璃微电极细胞外记录大鼠腰部脊髓背角广动力型 (WDR)和特异伤害感受型 (NS)神经元的活动 ,观察了不同强度 (1mA ,5～ 6mA)和不同频率 (5、2 0、5 0、10 0Hz)电针对背角神经元伤害感受性反应 (C 反应 )的影响。结果　强电针时选用低频 (5Hz)较好 ,而弱电针时选用高频 (5 0Hz)为佳。结论　电针对脊髓伤害性传递的抑制作用具有强度和频率依赖性     

结肠癌血管的肾上腺素受体和内皮素受体

目的研究结肠癌患者癌动脉的收缩功能。方法取结肠癌癌患部位动脉、癌旁10 cm处动脉、非癌患者动脉,用动脉张力描记法记录血管活性物质收缩血管的量效曲线。结果去甲肾上腺素(NA)引起正常人结肠动脉的最大收缩(Emax)和最大收缩浓度的负对数(pD2)分别为(97±19)%和5.94±0.17;结肠癌动脉NA收缩的Emax和pD2明显低于癌旁动脉(P<0.01)和正常人结肠动脉(P<0.05)。ETB受体激动剂S6c在结肠动脉不引起收缩。ET-1对正常人结肠动脉收缩的Emax和pD2分别为(106±7)%和8.85±0.17;ET-1引起结肠癌动脉的Emax明显低于癌旁动脉(P<0.01);引起结肠癌动脉的pD2与癌旁动脉无明显差异(P>0.05)。结论α受体和ETA受体是结肠癌动脉的主要缩血管受体。     

银杏叶提取物对帕金森病模型大鼠多巴胺神经元的保护作用

目的 探讨银杏叶提取物(EGb)对部分损毁的帕金森病(PD)模型大鼠多巴胺(DA)能神经元的保护作用及其可能机制.方法 65只健康雄性SD大鼠随机分为4组:对照组、PD组、银杏叶提取物(EGb)低剂量组(20 mg/kg)和高剂量组(40 mg/kg).采用免疫组化法观察大鼠黑质酪氨酸羟化酶(TH)阳性细胞数目的变化,...     

TGF-β_2对体外培养的牛眼小梁细胞MMP_2表达和活性的影响

目的了解转化生长因子-β2(TGF-β2)对体外培养的牛眼小梁(TM)细胞基质金属蛋白酶-2(MMP2)的表达和活性的影响,探讨TGF-β2在原发性开角型青光眼(POAG)发病机制中的作用。方法用含有1.0μg/L TGF-β2或含1.0μg/L TGF-β2+100g/L鼠抗人PAI-1IgG(PAI-1中和抗体)的无血清DMEM分别孵育TM细胞24、36、48h。对照组(Co)加入不含实验药物的无血清DMEM,用Western印迹法检测MMP2及纤溶酶原活化抑制剂-1(PAI-1)的表达。结果TGF-β2可显著增强TM细胞MMP2前体及PAI-1的表达。PAI-1中和抗体可促进MMP2前体向其活化形式转化。结论TGF-β2可通过抑制MMP2的活化过程导致TM细胞的细胞外基质(ECM)的异常堆积,造成房水引流阻力的增加,参与POAG的发病。     

降钙素基因相关肽对家兔正常、缺血心肌细胞动作电位的影响

目的　研究降钙素基因相关肽对正常和缺血心肌细胞动作电位的直接作用。方法　采用经典玻璃微电极细胞内记录技术 ,研究 1 0 - 8mol/LCGRP对家兔正常右房肌、左室肌和缺血左室肌跨膜动作电位的影响。结果　 1 0 - 8mol/LCGRP可使家兔正常右房肌和左室肌细胞的APD95和APD50～95明显缩短 ,加速动作电位的后期复极 ;并能明显减小缺血左室肌AP异常复极程度。正常条件下 ,右房肌的APD95和APD50～ 95分别由用药前 (2 0 6± 8)ms和 (1 1 0± 8)ms缩短为 (1 96± 4)ms和 (99± 5)ms(P <0 0 5) ;左室肌的APD95和APD50～95分别由用药前 (2 67± 1 3)ms和 (54± 6)ms缩短为 (2 59± 1 2 )ms和 (45± 4)ms (P <0 0 5)。缺血条件下 ,1 0 - 8mol/LCGRP加入后 5min ,APD50 /APD95 由 (68 0± 4 5) %增大为 (75 0± 4 2 ) % (P <0 0 1 ) ;APD50～95由 (67± 8)ms缩短为 (45± 6)ms (P <0 0 1 )。结论　 1 0 - 8mol/LCGRP可加速正常右房肌和左室肌细胞动作电位的后期复极 ;并能延缓缺血左室肌细胞AP复极的异常改变 ,改善缺血对心肌细胞的影响     

Comparison of coal-based dimethyl ether and diesel as vehicle fuels from well to wheel in China

With life cycle assessment (LCA) methodology, a life cycle model of coal-based vehicle fuels (CBVFs) including coal-based dimethyl ether (CBDME) and coal-based diesel (CBD) is established. Their primary energy consumption (PEC) and global warming potential (GWP) from well to wheel including feedstock extraction, fuel production, fuel consumption in vehicle and energy transportation are calculated and compared. Results show that the life cycle PEC and GWP of CBD pathway are 1.17 and 1.34 times as CBDME pathway. Based on the above results, CBDME will become a choice with great potential to replace conventional petroleum-based diesel (CPBD) in China.     

1.6-二磷酸果糖对大面积心肌梗塞后左室功能影响的实验研究

选用雄性wistar大鼠,随机分为心肌梗塞组(MI)、1,6二磷酸果糖(FDP)治疗MI组(FDPI)、假手术对照组(CS)及正常对照组(C)。高位结扎左冠状动脉造成大面积急性心肌梗塞,观察FDP对MI后左室泵功能及舒缩性能的影响。实验结果:1、各MI组间,梗塞范围无显著差异,但FDPI似有缩小趋势。2、MI与FDPI组间,心率、每搏量、每搏量指数无明显差异;FDPI的心输出量(CO)(40.6±8.3ml/min)及心指数(CI)(164.8±30.5ml/min/kg)较之MI的CO(30.6±10.2ml/min)及CI(127.2±36.8ml/min/kg)有明显的恢复(P<0.05)。3、MI与FDPI组间,血液动力学及心肌舒缩性能虽无明显差异,但FDPI也有好转趋势。结果表明,FDP确有改善大面积MI后心泵功能的作用。     

股骨骨髓腔的形态学研究及其临床意义

目的建立国人股骨骨髓腔的形态学参数,为设计和选择适合国人的股骨髓内钉内固定器械提供形态学依据。方法选择正常成人股骨全长X线片(含标准正、侧位片)52例,应用图像分析软件进行形态学参数测量。结果股骨骨髓腔全长为(33.51±0.63)cm(男)和(33.13±0.64)cm(女);狭窄段长度为(5.61±0.49)cm(男)和(5.17±0.46)cm(女);髓腔最狭窄点位于髓腔中点近侧,距离为(3.55±0.15)cm(男)和(3.52±0.27)cm(女),狭窄点髓腔矢状径较冠状径大,分别为(1.215±0.113)cm和(1.077±0.116)cm,髓腔弧度半径为(120.608±6.089)cm。结论股骨骨髓腔长度、狭窄部形态及弧度等参数在交锁髓内钉的设计和应用中发挥着制约性作用。     

一个4f-3d双核配合物的结构和磁性研究

合成了含有镧系离子Gd的双金属4f-3d型普鲁士兰类氰基桥联配合物[Gd(DMF)4(H2O)4Fe(CN)6]Cl-。用X射线衍射单晶分析法测定了配合物的结构,晶体为单斜晶系,属于P21/n晶群,晶胞参数为a=17.617(2)"A,b=8.8683(12)"A,c=19.822(3)"A,β=96.130(2),°晶胞数为Z=4。变温磁化率和磁化曲线显示配合物为弱的反铁磁交换作用。     

胶束荧光法对兔血浆中胺碘酮药代动力学的研究

利用具有高灵敏度的胶束荧光法,对胺碘酮的血药浓度进行了监测;使用SLS为胶束试剂,以国产930型荧光光度计为主要分析仪器,得到系列药代动力学参数:t_(1/2)(α)为1.18h,t_(1/2)(β)为40.75h,K_(21)为0.278h~(-1),K_(10)为0.036h~(-1),K_(12)为0.291h~(-1)。该法的线性范围为2×10~(-9)～8×10~(-6)mol/L,检测限为1.3×10~(-9)mol/L,平均回收率为99.93%。     

(F)-Decomposition of Minimax Module over Hyper Finite Groups

Let G be a hyper finite locally solvable group, A a minimax ZG-module, (F) a locally defined formation consisting of locally solvable groups, A has no nonzero infinite irreducible ZG-factors, and G ∈(F) . The following results are proved: if A has a maximal submodule B such that A/B is central in G and B has no nonzero (F)-central ZG-factors, then A has an (F)-decomposition; if A has an irreducible (F)-central submodule B such that all ZG-composition factors of A/B are (F)-eccentric, then A has an (F)-decomposition.     

纤溶酶原激活物抑制物1与神经母细胞瘤

目的　研究纤溶酶原激活物抑制物 1 (PAI 1 )在神经母细胞瘤中的表达情况 ,评估其在肿瘤浸润转移中的作用。方法　应用免疫组化ABC法检测 42例神经母细胞瘤中PAI 1的表达 ;用RT PCR方法检测患儿骨髓和外周血中的神经蛋白基因产物 9 5 (PGP9 5 )mRNA ,确定瘤细胞的转移程度。结果　PAI 1阳性染色定位于肿瘤细胞和少许血管内皮细胞膜以及部分肿瘤细胞胞浆。PAI 1在神经母细胞瘤中的阳性表达率为 71 4% (3 0 /42 ) ,在进展期肿瘤阳性表达率是 85 7% (2 4 /2 8) ,局灶期肿瘤是 42 9% (6 /1 4) ,两者相比差异有显著性 (P <0 0 1 ) ;在预后不良组织型 (UH)病例中 ,PAI 1阳性率是 91 7% (2 2 /2 4 ) ,与预后良好型 (FH)病例的 44 4%(8/1 8)相比 ,有显著性差异 (P <0 0 1 )。在PAI 1阳性病例组 ,PGP9 5阳性检出率为 6 0 % (1 8/3 0 ) ,PAI 1阴性病例组为 8 3 % (1 /1 2 ) ,两者相比差异亦有显著性 (P <0 0 1 )。结论　PAI 1在神经母细胞瘤的浸润转移过程中发挥重要的作用。     

绝对不应期电刺激对健康和衰竭豚鼠心室肌细胞舒缩及钙瞬变的影响

目的　探讨绝对不应期电刺激对正常和慢性心力衰竭豚鼠心室肌细胞收缩幅度及同步钙瞬变的影响。方法　酶解分离心室肌细胞 ,应用单细胞收缩动缘测定仪 ,在基础刺激 (S1)同时给予绝对不应期电刺激 (S2 ) ,以F3 60 /F3 80 反映细胞钙瞬变 ,观察细胞收缩幅度和细胞钙瞬变的变化。结果　健康豚鼠心室肌细胞 :收缩幅值增高 (16 .5 5±5 .4 9) % ,收缩速度峰值增加 (17.4 3± 7.0 8) % ,舒张速度峰值增加 (19.74± 9.0 8) % (n =10 ) ;细胞收缩过程F3 60 /F3 80幅值增加 (2 5 .79± 6 .88) % ,F3 60 /F3 80 增高速度与减少速度分别增加 (2 9.4 7± 9.2 5 ) %和 (2 2 .5 2± 7.81) % (n =10 )。慢性心力衰竭豚鼠心室肌细胞 :收缩幅值增高 (15 .5 3± 5 .31) % ,收缩速度峰值增加 (10 .6 0± 3.0 2 ) % ,舒张速度峰值增加(2 3.32± 8.2 6 ) % (n =6 ) ;F3 60 /F3 80 幅值增加 (16 .82± 7.0 3) % ,F3 60 /F3 80 增高速度与减少速度分别增加 (16 .2 7± 5 .91) %和 (10 .32± 2 .4 6 ) % (n =6 )。结论　适宜的绝对不应期电刺激可增强健康和衰竭豚鼠心室肌细胞舒缩能力     

~(125)Ⅰ—联结法标记人超氧化物歧化酶

~(125)I-人超氧化物歧化酶是采用联结法进行标记,先标记羟苯丙酸酯,(Bolton Hunter Reagent),再将~(125)I-B.H.R 与SOD 相联。~(125)I-B.H.R 标记率为95%,放射性比度可达0.376 mci/μg,稳定性在两个月以上。~(125)I-SOD 联结标记率为50%,放射性比度为3.04μci/μg,用醋酸纤维膜和聚丙烯酰胺凝胶电泳后进行放射性层析扫描,放化纯在95%以上,标记不影响该酶的生物活性和免疫活性,冷冻干燥,-20℃保存两个月不失去免疫活性,放化纯仍在95%以上。     

���������ھ�ij��н�ͨ��Ϣ������άģ��

经过规范化的发展,已经涌现出不少成熟的企业信息集成(EII)模型,而城市交通信息集成（UTII）方面还缺乏规范、成熟的模型。基于此,本文从流程再造、数据交互以及数据挖掘三个方面,提出了一种城市交通信息集成三维模型（3D-UTII)。这三个维度的集成即为：基于流程再造的交通信息系统内部的深度集成（DDII）,基于异构数据库技术的交通信息系统间的广度集成（EDII）,以及基于数据挖掘技术的分析式集成（ADII）。本文对这三个维度的实施框架和具体实现技术分别做出了进一步阐述,最后使用北京市奥运交通应急系统的信息集成方案为实例对模型的实施做出了说明和验证。     

基于OpenMP的并行遗传算法求解SAT问题

为了提高SAT （boolean satisfiability） 问题求解效率,在OpenMP （open multi-processing） 编程框架下,将遗传算法与局部搜索算法结合,改进了混合遗传算法中的选择算法,将原有选择操作的时间复杂度降低到O(N)级别. 算法采用OpenMP中的编译制导语句#pragma omp parallel粗粒度并行化驱动混合遗传算法,采用#pragma omp single语句块实现了子种群间个体的同步迁移操作. 与同类算法HCGA （hybrid cloud genetic algorithm）比较分析表明:改进算法HGA （hybrid genetic algorithm）以及并行后的混合遗传算法CGPHGA （coarse-grained parallel hybrid genetic algorithm）在求解成功率和求解效率上都有显著提高,部分问题求解成功率提高达5倍.