期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
激进域敏感基于合并的指针分析 被引量:11
1
作者 于洪涛 张兆庆 《计算机学报》 EI CSCD 北大核心 2009年第9期1722-1735,共14页
指针分析是静态程序分析的基础,指针分析的精度直接影响后续的程序分析和优化.域敏感性用来描述指针分析是否需要区分结构体对象的不同域成员.文中提出一种激进的基于合并的域敏感指针分析方法,利用目标机器模型中的数据布局信息进行高... 指针分析是静态程序分析的基础,指针分析的精度直接影响后续的程序分析和优化.域敏感性用来描述指针分析是否需要区分结构体对象的不同域成员.文中提出一种激进的基于合并的域敏感指针分析方法,利用目标机器模型中的数据布局信息进行高层分析,使用基地址和偏移的组合来激进地表示一个结构体域成员以能更精确地区分结构体的不同域成员.文中还对原有类型推导规则做了重要改进,尽量避免在合并类型变量时造成的精度损失.为了保证新类型推导规则的正确性,方法将所有的结构体赋值操作转换成对每个结构体成员的赋值操作.大量实验数据表明,该方法分析精度显著高于以往方法而运行开销几乎相当.该方法还将域成员的激进表示集成至编译器的中间表示中以获得可移植性. 展开更多
关键词 域敏感的 基于合并的 Steensgaard风格 指针分析 别名分析
下载PDF
基于域敏感指向分析的区间运算在软件测试中的应用 被引量:3
2
作者 周虹伯 金大海 宫云战 《计算机研究与发展》 EI CSCD 北大核心 2012年第9期1852-1862,共11页
静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不能对其... 静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不能对其成员进行独立描述,导致数据流无法支持域敏感分析,对和其成员变量相关的缺陷的检测难以实现,产生很多漏报.基于域敏感指向分析的区间运算模型,在域敏感指向分析模型的基础上对其进行了改进,将复杂数据类型拆分成独立的成员变量进行分析,并提出一种关联抽象取值集的类型系统,该系统可以保守的描述程序在动态执行时变量的可能取值.结合赋值语句的抽象语法定义,给出了该类型系统在数据流计算时的具体推导算法,并将其应用在缺陷检测系统(DTSGCC和DTSCPP)中.选用DTSCPP作为实验平台,对6个C++开源工程进行了测试,并对其数据进行了统计分析,结果表明该方法可以减少漏报,且测试效率与非域敏感版本相当. 展开更多
关键词 静态分析 缺陷检测 敏感 指向分析 区间运算
下载PDF
英语跨文化交际敏感域和交际策略解析
3
作者 华广道 《求知导刊》 2018年第27期65-65,共1页
英语跨文化交际是跨文化交际当中最宽广且典型的领域,因为民族、地理、社会、历史等多种原因,语言之间存在的差异和异质文化冲突、误读、民族文化心理碰撞等层面在英语跨文化交际中展现得较为充分与突显地.文章对英语系统跨文化交际的... 英语跨文化交际是跨文化交际当中最宽广且典型的领域,因为民族、地理、社会、历史等多种原因,语言之间存在的差异和异质文化冲突、误读、民族文化心理碰撞等层面在英语跨文化交际中展现得较为充分与突显地.文章对英语系统跨文化交际的概念、交际敏感域与要使用的交际策略进行探究,基于此,规避非必要的交际不当、误解. 展开更多
关键词 英语跨文化交际 敏感 交际策略
下载PDF
非线性微分方程算子的敏感域应用分析
4
作者 张海侠 《科技通报》 北大核心 2014年第8期1-3,共3页
非线性微分方程算子的敏感域对于非线性微分方程的求解,非线性微分方程的实际应用分析具有重要意义。非线性微分方程敏感域分析的难点在于如何精确的对敏感域进行详细的建模,通过对方程各种影响因素的详细区分,构建对于整个非线性方程... 非线性微分方程算子的敏感域对于非线性微分方程的求解,非线性微分方程的实际应用分析具有重要意义。非线性微分方程敏感域分析的难点在于如何精确的对敏感域进行详细的建模,通过对方程各种影响因素的详细区分,构建对于整个非线性方程应用的分析模型。提出了一种非线性微分方程算子敏感域应用分析模型,采用每个独特解的解散布特性提取整体解特征,通过融合方法实现敏感域的有效分析。通过推到论证,结果证明,敏感域分析对于非线性微分方程分析具有很好的指导意义。 展开更多
关键词 非线性微分方程 敏感 Jacobi法
下载PDF
基于域敏感指针分析的细粒度数据随机化技术 被引量:2
5
作者 蔄羽佳 尹青 朱晓东 《计算机应用》 CSCD 北大核心 2016年第6期1567-1572,共6页
针对传统的数据随机化技术静态分析精度不高的问题,提出一种基于域敏感指针分析算法的细粒度数据随机化技术。在静态分析过程中,首先对中间表示进行语法抽象,得到形式化的语言表示;然后建立非标准类型系统,描述变量之间的指向关系;最后... 针对传统的数据随机化技术静态分析精度不高的问题,提出一种基于域敏感指针分析算法的细粒度数据随机化技术。在静态分析过程中,首先对中间表示进行语法抽象,得到形式化的语言表示;然后建立非标准类型系统,描述变量之间的指向关系;最后按照类型规则进行类型推断并求解,得到域敏感的指向关系。根据指向关系对数据进行随机化加密,得到经过随机化的可执行程序。实验数据表明,基于域敏感指针分析的数据随机化技术与传统的数据随机化技术相比,分析精度显著提高;处理时间开销平均增加了2%,但运行时间开销平均减少了3%。所提技术利用域敏感的指针分析,给程序带来更少的执行开销,并能够更好地提高程序的防御能力。 展开更多
关键词 随机化 指针分析 敏感 注入型攻击
下载PDF
提高路径敏感缺陷检测方法的效率及精度研究 被引量:9
6
作者 赵云山 宫云战 +2 位作者 刘莉 肖庆 杨朝红 《计算机学报》 EI CSCD 北大核心 2011年第6期1100-1113,共14页
路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率下降.为了避免全路径敏感分析时的路径爆炸问题,一般会在控制流汇合节点进行缺陷状态合并,而这种粗糙... 路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率下降.为了避免全路径敏感分析时的路径爆炸问题,一般会在控制流汇合节点进行缺陷状态合并,而这种粗糙的合并策略带来的精度损失会引起误报.针对上述问题,文中提出一种基于缺陷的程序切片方法,该方法基于缺陷特征和路径条件建立切片准则,根据控制流节点上的数据流信息与切片准则的包含关系进行程序切片,得到的切片程序在缺陷检测时切片掉了缺陷无关节点且与源程序完全等价,以提高缺陷检测效率.为了进一步减少路径敏感分析方法的误报,提出一种基于切片的缺陷状态合并策略,根据控制流分支节点的路径条件,对缺陷状态添加状态属性,从而有选择地对控制流汇合节点进行状态合并,减少精度损失.文中所述方法已在缺陷检测系统(DTSGCC)中实现.对大量Linux中GCC开源工程的测试结果表明,文中提出的方法可以提高路径敏感缺陷检测方法的效率,并减少误报. 展开更多
关键词 静态分析 缺陷检测 路径敏感 误报 程序切片 上下文敏感分析 敏感分析
下载PDF
英语跨文化交际敏感域和交际策略研究 被引量:28
7
作者 李刚 《外国语》 CSSCI 北大核心 1999年第5期38-43,共6页
英语跨文化交际是跨文化交际中最为广阔且具典型性的领域。由于民族、历史、地理和社会等诸多原因, 语言间的差异、异质文化的冲突和误读以及民族文化心理的碰撞等方面在英语跨文化交际中表现得最为充分和明显。本文主要探讨跨文化交... 英语跨文化交际是跨文化交际中最为广阔且具典型性的领域。由于民族、历史、地理和社会等诸多原因, 语言间的差异、异质文化的冲突和误读以及民族文化心理的碰撞等方面在英语跨文化交际中表现得最为充分和明显。本文主要探讨跨文化交际的英语系统的类型、交际敏感域和应采取的交际策略, 以避免不必要的交际失当和交际误解。 展开更多
关键词 跨文化交际 英语交际系统 交际敏感 交际策略
原文传递
一种面向Trace与漏洞验证的污点分析方法 被引量:2
8
作者 秦彪 郭帆 杨晨霞 《计算机工程》 CAS CSCD 北大核心 2020年第5期157-166,共10页
静态分析方法被广泛用于Android应用的隐私泄露检测,其以(Source,Sink)对形式检测潜在漏洞,但同时会产生大量虚警。针对该问题,提出一种上下文敏感和域敏感的污点分析方法。对污点传播的操作语义和一致性约束进行形式化定义,保证污点传... 静态分析方法被广泛用于Android应用的隐私泄露检测,其以(Source,Sink)对形式检测潜在漏洞,但同时会产生大量虚警。针对该问题,提出一种上下文敏感和域敏感的污点分析方法。对污点传播的操作语义和一致性约束进行形式化定义,保证污点传播的语义正确性,同时分析插桩运行Android应用后产生的Trace片段,验证漏洞是否存在虚警。基于Soot实现原型系统并对DroidBench数据集中的70个应用进行分析,实验结果表明,该方法可成功验证4个虚警并发现8个漏报,表明其能有效判断静态分析结果的正确性。 展开更多
关键词 污点分析 上下文敏感 敏感 污点传播 形式化定义
下载PDF
一种面向源代码的整数溢出缺陷静态检测方法
9
作者 黄晖 陆余良 +1 位作者 刘林涛 赵军 《中国科学技术大学学报》 CAS CSCD 北大核心 2015年第7期601-607,共7页
受限于不完备的函数调用图分析和路径可达性分析,当前静态整数溢出检测工具存在较为严重的误报情况.为解决这一问题,以源代码中外部输入可控的整数溢出缺陷的自动挖掘为目标,给出一种综合调用图分析、静态污点分析和静态符号执行的检测... 受限于不完备的函数调用图分析和路径可达性分析,当前静态整数溢出检测工具存在较为严重的误报情况.为解决这一问题,以源代码中外部输入可控的整数溢出缺陷的自动挖掘为目标,给出一种综合调用图分析、静态污点分析和静态符号执行的检测方法.提出一种域敏感的流敏感指针分析方法构建目标程序调用图的"高估计",应用静态污点-sink传播分析确定潜在的外部输入可控的整数溢出缺陷程序点,最后应用静态符号执行技术通过判定缺陷约束的可满足性对误报情况进行约减.实验验证了方法在实际整数溢出缺陷检测和误报情况约减方面的应用有效性. 展开更多
关键词 整数溢出 敏感敏感指针分析 污点分析 静态符号执行
下载PDF
Mutations around interferon sensitivity-determining region:A pilot resistance report of hepatitis C virus 1b in a Hong Kong population 被引量:3
10
作者 Xiao-Ming Zhou Paul KS Chan John S Tam 《World Journal of Gastroenterology》 SCIE CAS CSCD 2011年第48期5317-5323,共7页
AIM: To explore mutations around the interferon sensitivity-determining region (ISDR) which are associated with the resistance of hepatitis C virus lb (HCV-lb) to interferon-α treatment. METHODS: Thirty-seven H... AIM: To explore mutations around the interferon sensitivity-determining region (ISDR) which are associated with the resistance of hepatitis C virus lb (HCV-lb) to interferon-α treatment. METHODS: Thirty-seven HCV-lb samples were obtained from Hong Kong patients who had completed the combined interferon-α/ribavirin treatment for more than one year with available response data. Nineteen of them were sustained virological responders, while 18 were non-responders. The amino acid sequences of the extended ISDR (eISDR) covering 64 amino acids upstream and 67 amino acids downstream from the previously reported ISDR were analyzed. RESULTS: One amino acid variation (I2268V, P = 0.023) was significantly correlated with treatment outcome in this pilot study with a limited number of patients, while two amino acid variations (R2260H, P = 0.05 and $2278T, P = 0.05) were weakly associated with treat- ment outcome. The extent of amino acid variations within the ISDR or eISDR was not correlated with treat- ment outcome as previously reported. CONCLUSION: Three amino acid mutations near but outside of ISDR may associate with interferon treatment resistance of HCV-lb patients in Hong Kong. 展开更多
关键词 Hepatitis C virus lb Extended interferon sen-sitivity-determining region Interferon-R RESISTANCE HONGKONG Mutation
下载PDF
敏感域的形状选取对微剂量动力学模型参数的影响
11
作者 严南 周云 +3 位作者 孙向上 廖文涛 刘俊雅 蒲越虎 《中华放射医学与防护杂志》 CAS CSCD 北大核心 2023年第3期209-215,共7页
目的基于粒子径迹结构模型,利用三重积分计算粒子在球状敏感域(domain)内的单次事件剂量加权平均比能,并探讨敏感域的形状对微剂量动力学模型(MKM)参数带来的影响及其对应的物理意义。方法分别假定敏感域为圆柱状和球状。α_(0)、域半径... 目的基于粒子径迹结构模型,利用三重积分计算粒子在球状敏感域(domain)内的单次事件剂量加权平均比能,并探讨敏感域的形状对微剂量动力学模型(MKM)参数带来的影响及其对应的物理意义。方法分别假定敏感域为圆柱状和球状。α_(0)、域半径r_(d)和细胞核半径R_(n)为待定系数,3种带电粒子(^(3)He、^(12)C、^(20)Ne)的核电荷数、动能及其对应的传能线密度(LET)为自变量,D10为因变量。以D10计算值与实验值的残差均方值J^(2)为优化目标,采用稳健最小二乘法分别得到人类唾液腺肿瘤(HSG)细胞和中国仓鼠肺(V79)细胞对应待定系数的最优拟合值即为MKM最优模型参数值。结果对于HSG细胞,圆柱状敏感域:α_(0)=0.073/Gy,r_(d)=0.29μm,R_(n)=4.1μm,J^(2)=0.0397 Gy^(2);球状敏感域:α_(0)=0.023/Gy,r_(d)=0.29μm,R_(n)=4.4μm,J^(2)=0.0393 Gy^(2);对于V79细胞,圆柱状敏感域:α_(0)=0.114/Gy,r_(d)=0.25μm,R_(n)=3.8μm,J^(2)=0.0974 Gy^(2),球状敏感域:α_(0)=0.095/Gy,r_(d)=0.26μm,R_(n)=4.1μm,J^(2)=0.0969 Gy^(2)。结论对于同一种细胞,分别选取圆柱状和球状的敏感域,最终计算拟合得到的MKM参数存在明显差异,其中两种形状的敏感域半径拟合值r_(d)相差不大,而球状敏感域拟合得到的α_(0)更小,细胞核半径R_(n)更大,更接近于荧光显微镜观察的细胞核尺寸。在低LET(<20 keV/μm)区域,根据两种形状敏感域所得参数计算的D10存在明显差异,所以敏感域形状选取会对质子放疗在布拉格峰附近区域的相对生物效应(RBE)计算造成影响。 展开更多
关键词 微剂量动力学模型 剂量加权平均比能 敏感 传能线密度
原文传递
CLA视角下专门用途语言与公共用途语言的交际能力研究
12
作者 黎亮 王学成 《中国ESP研究》 2017年第2期104-109,164,共7页
在分析、比较三个影响力较强的语言交际能力理论与专门用途语言交际能力的关系基础上,本文选择以Lye F.Bachman于1990年提出的语言交际能力(CLA)模式为理论基础,研究专门用途语言交际能力与公共用途语言交际能力的关系。通过对'评... 在分析、比较三个影响力较强的语言交际能力理论与专门用途语言交际能力的关系基础上,本文选择以Lye F.Bachman于1990年提出的语言交际能力(CLA)模式为理论基础,研究专门用途语言交际能力与公共用途语言交际能力的关系。通过对'评价策略能力'和'语域敏感度'这两项语言交际能力的组成因素对两种语言交际能力的影响进行研究发现:个体的专门用途语言交际能力源于公共用途语言交际能力;专门用途语言交际能力在个体的知识图式和语言能力满足一定条件的情况下从公共用途语言能力中产生;专门用途语言交际能力产生的知识条件是个体对社会文化及客观世界更加深入的认知,语言能力条件是具备对专门用途领域语篇和公共用途领域语篇中语言使用差异的敏感度。 展开更多
关键词 专门用途语言交际能力 公共用途语言交际能力 策略能力 敏感
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部