章磊

作品数：5被引量：10H指数：2
导出分析报告
供职机构：中国科学技术大学更多>>
发文主题：C/C++过程间分析C++翻译老年患者更多>>
发文领域：自动化与计算机技术医药卫生天文地球更多>>
发文期刊：《计算机工程与应用》《中国科学技术大学学报》《通信技术》《中国抗生素杂志》更多>>
所获基金：安徽省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
老年患者泌尿系真菌感染的临床分析被引量：5
《中国抗生素杂志》2020年第7期723-726,共4页章磊 邵丽洁 朱翔 汪兰兰 朱文静 王卫东 李家斌 梅清 潘爱军 
2018年安徽省自然科学基金(No.1808085MH300)。
目的了解老年患者泌尿系真菌感染的菌群分布情况及其耐药性特点,以指导临床合理使用抗真菌药物。方法对本院老年医学科2016年1月—2019年4月临床泌尿系感染老年患者分离出的真菌菌株进行回顾性分析。结果总共分离出278株真菌,其中以白...
关键词：泌尿系统 真菌感染 耐药性 菌群分布 
基于反馈的可信网络软件验证与测试集成框架研究被引量：1
《中国科学技术大学学报》2010年第2期197-202,共6页蒋凡 邢学智 章磊 
中国高技术研究发展(863)计划(2009AA01Z145)资助
形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起...
关键词：高可信软件 模型驱动测试 符号执行 约束求解 UML TTCN-3 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部