论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入分析不可行路径的基础上,提出一种基于关键分支的不可行路径确定方法.该方法利用程序的值依赖关系和控制依赖关系、确定关键分支,通过关键分支查找不可行路径.结果表明,基于关键分支的不可行路径确定方法花费较少的信息存储,有效地节省不可行路径
【机 构】
：
中南林业科技大学,计算机信息与工程学院,长沙,410004 中南大学,信息科学与工程学院,长沙,4
【出 处】
：
2010年第四届中国可信计算与信息安全学术会议
【发表日期】
：
2010年10期
其他文献
本文选取广西、湖南交界地带地缘相连的七个方言点(桂北四点：兴安高尚、资源延东、全州文桥、灌阳观音阁；湘南三点：东安、永州、祁阳)的词汇材料，运用计算机技术和统计方法等现代
近年来随着生活水平的不断提升,公众生活观念逐渐转变,对四季新鲜食品的需求越来越高,为了更好地满足消费者的需求,食品加工行业也在不断探索,优化生产工艺,从而提高产品供应
目的 探讨磁共振（MR）多种成像技术对慢性胰腺炎诊断的准确性及其临床应用价值。方法选择25例经手术病理、临床追踪和其他影像学方法证实的慢性胰腺炎MRI进行回顾性分析，其表现包
<正>按照'来多少风、能发多少电、损失了多少、损失去了哪'的思路,建立'理论发电量平衡分析法',创新风电经济运行管控及分析评价模型。实践表明,该模型能有
期刊
目的研究1-磷酸鞘氨醇（S1P）对豚鼠心室肌细胞动作电位（AP）及电压依赖性钾电流（K。）的作用及其机制。方法利用Langendorff离体心脏逆向灌流法分离豚鼠心室肌细胞，采用全细胞膜片钳技
采用环境扫描电镜(ESEM)及微操纵/微注入系统(MMI/MIS),动态观察NaCl晶体的原位溶解和结晶过程以及BiVO4晶体的原位反应.实测MMI系统的针尖在线性进退(Z-轴)、水平(X-轴)转动
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
为了解停车场空余泊位数时间变化的规律并对停车信息进行预报以帮助驾驶员进行出行前的停车决策，在对某个实际停车场空余泊位数时间变化数据统计分析的基础上，得到了一些有用的
拟通过对永久性土钉支护工程及其耐久性设计的研究，为该技术更为广泛地应用提供依据．对国内外永久性土钉支护的研究与应用进行了较为全面的概括，提出加大土钉钢筋截面、在钢筋表