数学定理机器证明的基础研究与软件开发

在国内率先建立了内源性哇巴因（EO）测定的EL-ISA法，并对“哇马因—高血压鼠”及正常SD大鼠血清及组织内哇巴因含量进行了测定，发现两组大鼠均匀为肾上腺、下丘脑及垂体内哇巴因含量较高。哇巴因—高血压鼠血清及肾脏内哇巴因含量与大鼠血压呈显著正相关。应用分子生物学RT-PCR、原位杂交与图象分析以及免疫组化技术分别从mRNA及蛋白水平揭示了正常SD大鼠七种组织纳泵α三种亚单位的分布，同时发现长期给予小剂量哇巴因与地高辛可对大鼠组织钠泵α亚单位基因表达产生不同影响，这可能与两者的药理作用及生物学效应（包括血压调节）不同有关。研究结果为进一步揭示EO的生理作用、高血压发病及洋地黄类药物治疗与毒性作用的分子机制提供了理论及实验依据。