-
题名药物性肝损伤诊断与药物副作用分析
被引量：1
- 1
-
-
作者
张扬
-
机构
深州市医院临床医学普外科
-
出处
《中国药理学通报》
CAS
CSCD
北大核心
2021年第12期I0007-I0007,共1页
-
文摘
药物性肝损伤作为临床急、慢性肝病,会对患者的肝脏造成损伤,虽然该病可自行恢复,但严重的情况下也会对生命安全造成威胁。因此,临床上做好药物性肝损伤的诊断与药物不良反应分析十分关键。《药物性肝损伤诊治指南》一书概括性地论述了当前临床上常见的药物性肝损伤的临床表现、病理变化、诊断与治疗。
-
关键词
药物性肝损伤
慢性肝病
药物不良反应
药物副作用分析
诊治指南
诊断与治疗
生命安全
病理变化
-
分类号
R969
[医药卫生—药理学]
-
-
题名嵌入式软件中断系统资源冲突检测技术研究
被引量：13
- 2
-
-
作者
杨芳
齐璇
董丽
叶东升
-
机构
中国航天科工集团第二研究院
北京系统工程研究所
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第23期5036-5038,5059,共4页
-
文摘
由于中断触发的随机性和不确定性,导致中断缺陷引发的问题时有发生,而且通常是不易追踪的严重软件故障,因此对中断系统软件的测试就提出了很高的要求,但是目前可用于中断系统资源冲突检测的工具缺乏。为有效检测由中断的资源冲突引发的软件问题,在分析了与中断相关的典型故障模式的基础上,提出了一种针对嵌入式软件中断系统的资源冲突进行检测的技术和方法。实验结果表明,该方法可有效检测出软件中与中断相关的资源冲突问题。
-
关键词
中断
资源冲突
形式化描述
副作用分析
嵌入式软件
检测
-
Keywords
interrupt
resources conflicts
formalization describes
side effect analysis
embedded software
detecting
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名静态检测中断驱动程序的数据竞争
被引量：9
- 3
-
-
作者
霍玮
于洪涛
冯晓兵
张兆庆
-
机构
中国科学院计算技术研究所计算机体系结构国家重点实验室(筹)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第12期2290-2299,共10页
-
基金
国家"八六三"高技术研究发展计划基金项目(2008AA01Z115)
"核高基"国家重大科技专项基金项目(2009ZX01036-001-002)
+1 种基金
国家"九七三"重点基础研究发展计划基金项目(2011CB302504)
国家自然科学基金项目(60921002)
-
文摘
直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一个流敏感的、上下文敏感的、考虑中断驱动程序原子性、易变性和部分随机性的数据竞争检测算法.该算法具有高效、精确的特点.实验表明,其检测时间与代码规模基本呈线性关系,分析17850行代码仅用时3.6s;同时,相比于基于锁集技术的典型数据竞争检测方法,其准确率平均是后者的2.13倍.
-
关键词
微控制器
中断驱动程序
数据竞争检测
过程间数据流分析
副作用分析
-
Keywords
microcontroller
interrupt-driven program
data race detection
interprocedural dataflow analysis
side-effect analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
