基于重写归纳技术的串行加法器的描述和验证

在用重写系统描述逻辑位，门电路，位串和自然数的基础上，对半加器，全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画，并用基于重写归纳的推理技术证明了所有描述的正确性，为用重写技术正确描述和验证复杂硬件电路奠定了基础。最后给出与其他类似工作的分析和比较。     

阴茎海绵体内注射血管活性药物治疗阳萎130例报告

国内外近期对阳萎治疗进展较快。应用血管活性药物罂粟碱和酚妥拉明行阴茎海绵体内注射治疗阳萎最早于1985年Zorgniotti即已报告,我室于近年来应用上述药物进行化学假体治疗阳萎130例,效果满意,报告如下。     

胰岛素增敏剂曲格列酮对人卵巢颗粒细胞芳香化酶活性的抑制作用

为探讨曲格列酮(troglitazone,TGZ)对人卵巢颗粒细胞芳香化酶(P450arom)活性的调节作用，以不同剂量的TGZ和(或)维甲酸类X受体(RXR)激动剂(LG100268，LG)处理来源于体外受精患者的卵巢颗粒细胞24h，然后测定细胞的芳香化酶活性和P450arom mRNA水平。结果发现，TGZ处理颗粒细胞24h可引起剂量依赖性的芳香化酶活性下降；LG单独作用可以抑制芳香化酶活性，但与TGZ合用对芳香化酶的抑制作用更明显；RT-PCR结果显示，随着芳香化酶活性的下降，P450arom mRNA表达水平也降低。表明TGZ可能是通过过氧化物酶体增殖物激活受体γ(PPARγ)：RXR异二聚体组成的核受体系统直接抑制卵巢颗粒细胞芳香化酶活性。     

15种生药提取物抑制痤疮致病菌的活性筛选

目的 :对 15种生药乙醇提取物的体外抑制痤疮致病菌活性进行敏感性测试。方法 :采用最大浓度抑菌试验和最低抑菌浓度 (MIC)比较其抑菌效果。结果 :丁香生药挥发油对痤疮致病菌痤疮短棒菌苗 (P .acne)、金黄色葡萄球菌 (S .aureus)、表皮葡萄球菌 (S .epidermidis)均有强烈的抑制作用 ,厚朴、艾叶油、金银花、蒲公英等有中等程度的抑菌作用。结论 :丁香酚的抑菌效果在所试药物中最好。     

再次液氮冷冻保存对猪主动脉瓣膜细胞活性及组织结构的影响

目的了解再次冷冻保存对主动脉瓣膜细胞活性及组织结构的影响,探讨液氮冷冻保存的主动脉瓣解冻后再次冷冻保存使用的可行性.方法将猪主动脉瓣叶在抗菌处理后按随机数字表法分成三组,每组6个瓣叶,组Ⅰ作对照,组Ⅱ、组Ⅲ控制降温速率降至-80℃后在液氮中保存,1个月后融化解冻.组Ⅲ解冻并在室温下放置15分钟后更换保存液,再次降温至-80℃后放入液氮中保存,2个月后再融化解冻.采用XTT比色法测定各组瓣膜细胞活性,用免疫荧光组织化学染色、光学显微镜、透射电子显微镜行组织学检测.结果组Ⅱ冷冻保存后瓣膜细胞活性下降到组Ⅰ的63.97%,组织结构一定程度受损;组Ⅲ瓣膜细胞活性下降至组Ⅰ的38.60%,组织结构损害也进一步加重.结论液氮冷冻保存的猪主动脉瓣一经解冻融化,不宜再次冷冻保存使用.     

注射用水系统的安装、验证及运行管理

本文在前文《注射用水系统的设计》基础上 ,从GMP对注射用水系统材质的基本要求出发 ,首先阐明了注射用水系统为何首选 316L不锈钢材质 ,为何要进行抛光与钝化的目的 ;同时阐明了一个优秀的注射用水系统的设计还必须有一个精心的安装 ,尤其是管路安装来体现 ;最后则介绍了注射用水系统的验证和运行管理的重要性及其方法。     

抗菌处理对猪肺动脉瓣膜细胞活性及组织结构的影响

目的 探讨抗菌处理对肺动脉瓣膜细胞活性和组织结构的影响因素及优化同种瓣膜的制备方法。方法 3组猪肺动脉瓣叶(n=6)浸泡在含抗生素的DMEM液中，在不同温度下孵育6h或24h。然后通过XTT比色法测定瓣膜细胞活性，用免疫组织化学荧光染色检测瓣膜细胞和细胞外基质，并行光镜观察。结果 抗菌时间为24h，37℃抗菌组与4℃抗菌组的瓣膜细胞活性与瓣膜组织结构无明显区别。抗菌6h组的瓣膜细胞活性与瓣膜组织结构明显优于抗菌24h组。结论 抗菌时间为24h时，抗菌温度对瓣膜细胞活性及结构完整性无明显影响。抗菌时间缩短至6h，有利于瓣膜细胞活性与结构完整性的保持。