李兵
- 作品数：7 被引量：12H指数：2
- 供职机构：兰州大学更多>>
- 发文基金：中央高校基本科研业务费专项资金更多>>
- 相关领域：医药卫生自动化与计算机技术理学天文地球更多>>
- 交互式并行定理证明环境的构建
- 机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。为了提高定理证明器的工作效率和自动化程度，人们开发了各种定理证明系统，主要有自动化和交互式两种类型。
Isabelle是...
- 李兵
- 关键词：并行处理自动定理证明ISABELLE
- 文献传递
- 1H-NMR法用于口腔念珠菌菌种鉴定及代谢产物分析被引量：5
- 2013年
- 目的通过检测不同口腔念珠菌的细胞外代谢产物,绘制不同念珠菌的特征性代谢谱图,探讨基于核磁共振的代谢组学方法在快速鉴别不同念珠菌的种类和分析相关代谢产物的化学物质种类的可能性。方法分别在沙保培养基中接种白色念珠菌、克柔念珠菌、光滑念珠菌、热带念珠菌,采取比浊法计数,绘制生长曲线,取生长活跃期的四种念珠菌培养液,行核磁共振检测和主成分分析,比对webspectra数据库中的化学物质种类的标准谱图,得出相关代谢组分。结果四种念珠菌的细胞外代谢产物具有各自的类聚关系,主成分分析法可以区分这四种念珠菌;四种念珠菌的代谢组化学物质种类不同,可能与不同念珠菌菌种有关。结论基于核磁共振的代谢组学检测方法在口腔念珠菌的快速检测中和相关代谢产物的分析中有很好的应用前景。
- 李兵牛文辉李淼郑艳何祥一
- 关键词：代谢组学核磁共振口腔念珠菌
- 兰州市城乡居民口腔假丝酵母菌菌种分布及其耐药性
- 2013年
- 目的:通过对兰州市城乡居民口腔假丝酵母菌的分离、鉴定及其药敏检测,调查兰州市口腔假丝酵母菌种群分布及其对常用4种抗真菌药物的敏感性,为临床口腔假丝酵母菌病的预防及早期诊断和治疗提供参考。方法:对兰州市城乡居民采用含漱法取唾液样本,利用培养法和科玛嘉显色法分离、鉴定口腔假丝酵母菌。按不同年龄、性别、口腔卫生状况等分组,分析各组口腔假丝酵母菌的检出及分布情况,并采用药敏纸片法进行氟康唑、两性霉素B、制霉菌素、5-氟胞嘧啶药物敏感性测定。结果:口腔假丝酵母菌的检出率为36.31%(342/942),其中白假丝酵母菌为15.92%(150/942),光滑假丝酵母菌9.67%(91/942)、热带假丝酵母菌9.13%(86/942)、克柔假丝酵母菌3.40%(32/942)。不同分组中,21～60岁组、有牙结石组、男性组、有义齿组、城镇组口腔假丝酵母菌的检出率均分别高于其他组,有统计学意义(P﹤0.05)。342株假丝酵母菌对氟康唑、两性霉素B、制霉菌素、5-氟胞嘧啶的总敏感率分别为61.2%、94.3%、89.6%、58.7%。口腔白假丝酵母菌对氟康唑、两性霉素B、制霉菌素、5-氟胞嘧啶的耐药率分别为35.7%、2.4%、4.8%、28.6%。结论:临床在治疗口腔假丝酵母菌菌感染时应结合菌种鉴定及药敏试验结果合理选择抗真菌药物。
- 牛文辉郑艳何祥一车团结段彦盛李兵徐华
- 关键词：口腔假丝酵母菌耐药性
- 基于~1H-NMR的代谢组学方法对四种口腔念珠菌菌种鉴定及代谢产物初步分析
- 目的： 分别对白色念珠菌、热带念珠菌、克柔念珠菌和光滑念珠菌的标准菌菌株进行培养,通过检测四种念珠菌的不同时段的代谢产物,绘制不同念珠菌的特征性代谢核磁共振谱图,作为四种念珠菌的标准谱图,为将来念珠菌的核磁共振检测...
- 李兵
- 关键词：口腔念珠菌核磁共振代谢组学
- 文献传递
- 中国新闻从业者对专业精神的追寻-以调查性报道的发展为例
- 李兵
- 关键词：调查性报道新闻专业主义
- 甘肃黑方台野狐沟演化特征及机制研究
- 黄土台塬斜坡段地质灾害的发育，严重威胁当地的公路、工厂等公共设施及居民人身安全;由于研究的不足以及治理难度较大，黑方台地区地质灾害一直是当地亟待解决的大事。据此，本文以野狐沟两岸斜坡为研究对象，充分利用研究区区域地质资料...
- 李兵
- 关键词：斜坡地质灾害空间分布特征
- 初等代数证明题答案的自动检测方法研究
- 教育信息化是实现教育现代化的重要步骤,是教育现代化的重要内容和主要标志。数学既是一门基础学科,又是一门思维学科,其教学对于培养学生的思维能力、运算能力、想象能力、实践能力和创造能力起到非常重要的作用。数学证明是数学教学的...
- 李兵
- 关键词：计算机辅助教学
- 文献传递
