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

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

乳腺钼靶X线摄影法探讨

我院使用芬兰产AlphaRJ型高频钼铑靶乳腺摄影机 ,X射线管型号为Varian -M 1 56型 ,高传输细胞滤线栅CHTC系统 ,采用屏幕蹼型压迫板 ( 1 8cm× 2 4cm ) ,具有透明表面 ,并有相应的压迫厚度显示器和压力显示器。由于乳腺呈圆锥形 ,前后厚薄不一致 ,若按乳腺的自然形态投照效果很差 ,因此必须加压固定后投照才能提高投照效果。乳腺摄影常规取轴位和斜位。轴位投照时 ,投照架处于正位 ,胸廓紧靠摄片台外缘 ,将乳腺置于摄片台暗盒上 ,启动压迫器 ,自上而下逐渐回压至手感有一定阻力 ,患者感觉局部有紧迫感而不甚疼痛为适度 ,此时乳头处于切线…     

初产妇枕后位分娩的选择（附85例临床分析）

本文分析85例初产妇枕后位分娩方式的选择及临床经过。枕后位在临床上是一种常见的头位难产，胎头位置异常是造成头位难产的重要因素之一，而枕后位在胎头位置异常中占首位。临床上如果处理不当，就会给胎儿和产妇带来危害及痛苦。此85例枕后位中，其中剖官产80例，阴道助产5例，并提出了枕后位自阴道分娩的认识及估计等问题。     

胸椎黄韧带骨化症手术并发硬脊膜损伤或脑脊液漏的原因分析及防治

目的：分析胸椎黄韧带骨化症(ossification of ligamentum flavum,OLF)手术并发硬脊膜损伤或脑脊液漏的原因，并探讨其防治方法。方法：对103例手术治疗的胸椎OLF患者中并发硬脊膜损伤或脑脊液漏病例的临床资料进行回顾性分析。结果：30例发生硬脊膜损伤，发生率为29．13％；22例术后发生脑脊液漏，发生率为21．36％，其中21例患者经以俯卧位为主的综合治疗后痊愈，1例发生伤口全层裂开，二次手术后痊愈。结论：硬脊膜损伤或脑脊液漏是胸椎OLF手术易发生的并发症；俯卧位为主的综合治疗是治疗术后脑脊液漏的有效方案，但患者较痛苦，有待改进。     

日本血吸虫副肌球蛋白T细胞表位的预测和鉴定

目的鉴定日本血吸虫副肌球蛋白的T细胞表位。方法用SYFPEITHI软件预测日本血吸虫(中国大陆株)副肌球蛋白的T细胞表位，候选表位分别命名为P20、P21、P22、P23、P24。设计并合成候选表位的编码核苷酸，定向克隆入融合表达载体pET-32c( )，经酶切及测序鉴定出重组克隆。阳性克隆经IPTG诱导表达，表达产物以Ni^2 -NTA柱亲和层析及透析纯化。纯化后的硫氧还蛋白(Trx)融合蛋白体外刺激C3H／HeJ及C57BL／6小鼠腹股沟淋巴结或脾脏单个核细胞，^3H-TdR掺入法检测其增殖。结果候选表位中P20、P21、P22、P23能有效刺激C3H鼠致敏淋巴细胞细胞增殖，P20、P22能刺激C57鼠致敏淋巴细胞增殖。结论P20和P22可能是日本血吸虫副肌球蛋白的通用性T细胞表位。     

透视下两种定位法在椎间盘手术中的比较

椎间盘突出手术中，传统的定位方法是在透视下，找出突出间隙相应的皮肤进行标记，并拍正侧位片，然后再进行手术。因定位不准而做错间隙的事常有发生，约占20％，故在一些献中有学提出了一种新方法——椎间美蓝定位法比。但目前还未见对两种方法做详细介绍和比较的报道。我院自1992年1月至2005年1月共做腰椎间盘除手术383例，现将两种定位法比较总结如下。