公共文化服务平台

共 8 条记录，以下是 1-8

全选清除导出

排序方式：

太阳活动和EUV波现象研究: EUV波现象(EUV waves)是远紫外(Extreme Ultraviolet)光谱观测到的日面大尺度扰动事件(large-scale disturbances phenomenon) ,常伴随日冕物质抛射(coro...; 章磊; 关键词：日冕物质抛射; 文献传递

老年患者泌尿系真菌感染的临床分析被引量：5: 2020年; 目的了解老年患者泌尿系真菌感染的菌群分布情况及其耐药性特点,以指导临床合理使用抗真菌药物。方法对本院老年医学科2016年1月—2019年4月临床泌尿系感染老年患者分离出的真菌菌株进行回顾性分析。结果总共分离出278株真菌,其中以白念珠菌为主,占52.2%,其次是热带念珠菌,占23.7%,光滑念珠菌11.5%,克柔念珠菌6.1%,近平滑念珠菌3.2%及其他念珠菌(葡萄牙念珠菌、季也蒙念珠菌)3.3%,分离出的真菌菌株对伊曲康唑、氟康唑的耐药率相对较高,对伊曲康唑的耐药率分别为18.6%、15.1%、21.9%、35.3%、11.1%和0,对氟康唑的耐药率分别为8.9%、7.6%、25.0%、100%、0和0,分离的菌株对两性霉素B和5-氟胞嘧啶均敏感,对伏立康唑的平均耐药率为5.0%。结论本院老年医学科泌尿系真菌感染以白念珠菌、热带念珠菌为主,且检出的真菌对伊曲康唑、氟康唑、伏立康唑已出现不同程度的耐药性,因此,加强监测各种真菌的耐药情况对临床合理使用抗真菌药物显得尤为重要。; 章磊邵丽洁朱翔汪兰兰朱文静王卫东李家斌梅清潘爱军; 关键词：泌尿系统真菌感染耐药性菌群分布

TTCN-3语言类型系统到C++语言的翻译方案被引量：6: 2009年; 在程序语言翻译技术中,如何有效地减少翻译后的代码数量是一个值得研究的性能问题。综合考虑TTCN-3语言中值和模板的定义和使用,提出一种新的TTCN-3语言到C++语言翻译方案。与现有的翻译方案相比,翻译后的C++代码与原TTCN-3代码比例由1∶20降低到1∶5左右。与此同时,新方案减少了类型信息副本的保存,提高内存的利用效率,更确切地说,提高了TTCN-3语言编译器和执行器的性能。此外,因为翻译后的C++代码与原TTCN-3代码基本一致,这使得代码的可读性得到改善,进而提高代码的可维护性。; 蒋凡王建学章磊陈军成; 关键词：翻译

基于程序分析的通信软件模型驱动测试研究: 2009年; 针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型,进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展,对关心的程序路径进行测试覆盖,从而提高测试集合的有效性和完备性。; 蒋凡章磊陈军成王建学; 关键词：通信软件

Clang上的C/C++过程间分析和漏洞发掘: 程序静态分析不编译运行程序,而是对程序源代码进行分析以发现其中的错误。静态分析的目标不是证明程序完全正确,而是在程序运行前尽可能多地发现其中隐含的错误,提高程序的可靠性和健壮性。现有的C/C++程序的过程内分析已经发展得...; 章磊; 关键词：程序静态分析过程间分析漏洞发掘; 文献传递

TSN.1在TD-SCDMA中的应用研究: 2009年; 文中分析了TD-SCDMA中现有协议数据单元描述方法及编解码效率方面的一些弊端及问题,结合最新的TSN.1语言规范分析解决相关问题,在此基础上提出一套基于TSN.1的解决方案,并以TD-SCDMA中最基本单元为例从数据描述以及编解码效率两方面进行验证,实践结果表明该方案可以很好地简化TD-SCDMA中数据单元描述以及提高编解码效率。; 蒋凡陈军成王建学章磊; 关键词：时分同步码分多址协议数据单元编解码

Clang上的C/C++过程间分析: 程序静态分析不编译运行程序，而是对程序源代码进行分析以发现其中的错误。静态分析的目标不是证明程序完全正确，而是在程序运行前尽可能多地发现其中隐含的错误，提高程序的可靠性和健壮性。现有的C/C++程序的过程内分...; 章磊; 关键词：源代码代码分析; 文献传递

基于反馈的可信网络软件验证与测试集成框架研究被引量：1: 2010年; 形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起来,提高了测试的充分性和必要性.; 蒋凡邢学智章磊; 关键词：高可信软件 UML TTCN-3

全选清除导出

共1页<1>

章磊