期刊文献+
共找到57篇文章
< 1 2 3 >
每页显示 20 50 100
Improvement of Pseudo-static Method for Slope Stability Analysis 被引量:3
1
作者 YANG Chang-wei ZHANG Jian-jing +2 位作者 FU Xiao ZHU Chuan-bin BI Jun-wei 《Journal of Mountain Science》 SCIE CSCD 2014年第3期625-633,共9页
In this paper, two drawbacks of the traditional pseudo-static method(vertical slice method) in the slope stability evaluation have been studied. First, the sliding mass is divided into vertical slices according to thi... In this paper, two drawbacks of the traditional pseudo-static method(vertical slice method) in the slope stability evaluation have been studied. First, the sliding mass is divided into vertical slices according to this method, which is irrational to some extent in the seismic design of slope. Second,only peak ground acceleration(PGA) is considered,and the effects of shaking frequency and duration on slope stability are neglected. And then, based on the theory of elastic wave and the summarized geological model, this paper put forwards an improved method of pseudo-method by using the theory of elastic wave and Hilbert-Huang transform. The improved pseudostatic method gives reasonable considerations to the time-frequency effects of seismic wave and its rationality has been verified by the shaking table test.This method can evaluate the safety of a slope, the happening time and the scale of landslides. At the same time, this method also can improve the high accuracy of the evaluation of the safety of the slope. 展开更多
关键词 边坡稳定性分析 静态法 边坡稳定性评价 持续时间 安全评估 峰值加速度 抗震设计 地质模型
下载PDF
悬臂式挡土墙地震主动土压力计算方法 被引量:1
2
作者 李昭颖 肖世国 《岩土工程学报》 EI CAS CSCD 北大核心 2023年第1期196-205,共10页
为确定悬臂式挡土墙立臂的地震主动土压力,针对墙后填土的5种可能失稳破坏模式,基于对数螺旋式滑裂面形态,采用极限分析上限定理与拟静力法推导了作用于假想坦墙背上的地震土压力合力;在此基础上,对坦墙背后滑楔体、立臂与坦墙背之间的... 为确定悬臂式挡土墙立臂的地震主动土压力,针对墙后填土的5种可能失稳破坏模式,基于对数螺旋式滑裂面形态,采用极限分析上限定理与拟静力法推导了作用于假想坦墙背上的地震土压力合力;在此基础上,对坦墙背后滑楔体、立臂与坦墙背之间的土体分别采用斜条分与水平条分法,并通过土压力合力的上限解对坦墙背上的土压应力进行修正,进而求得立臂上的土压力分布。实例分析表明,立臂静土压力沿深度分布呈顶点位于下部的抛物线模式;地震土压力分布一般呈非线性递减模式,计算值与试验值有良好的一致性;两种工况下合力作用点分别位于立臂下半段与上半段。参数分析显示,水平地震影响系数、踵板宽度和立臂倾角的增加均使立臂中上部地震主动土压力显著增大;地震条件下增长踵板宽度会导致立臂受力增加。在强震条件下,本法得到的立臂土压力比铁路规范法的结果高出约9%~14%,立臂底端弯矩更显著高于规范法结果,规范法进行强震条件下悬臂墙的抗震设计可能偏于不安全。 展开更多
关键词 悬臂式挡土墙 地震主动土压力 极限分析 条分法 拟静力法
下载PDF
基于简化系统依赖图的静态粗粒度切片方法 被引量:10
3
作者 李必信 王云峰 +1 位作者 张勇翔 郑国梁 《软件学报》 EI CSCD 北大核心 2001年第2期204-211,共8页
基于系统依赖图是计算面向对象程序切片的一个有效方法 .但是 ,系统依赖图的缺点是太复杂 ,而且在建立系统依赖图的过程中容易出错 ,一旦出现错误就可能导致切片结果的不准确 .通过对系统依赖图进行简化 ,得到了简化的系统依赖图 .它省... 基于系统依赖图是计算面向对象程序切片的一个有效方法 .但是 ,系统依赖图的缺点是太复杂 ,而且在建立系统依赖图的过程中容易出错 ,一旦出现错误就可能导致切片结果的不准确 .通过对系统依赖图进行简化 ,得到了简化的系统依赖图 .它省略了那些表示输入参数和输出参数的结点和概括边 .同时 ,还定义了一种面向对象程序的粗粒度切片概念 ,讨论了它的性质 ,分析了它与细粒度切片的关系 ,并基于简化的系统依赖图计算面向对象程序的粗粒度切片 .最后还讨论了切片技术的简单实现 . 展开更多
关键词 系统依赖图 简化系统依赖图 粗粒度切片 面向对象 程序切片
下载PDF
一种新的过程间静态切片快速算法 被引量:3
4
作者 苏小红 龚丹丹 +1 位作者 王甜甜 马培军 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2015年第5期25-31,共7页
针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片快速算法.该算法无需使用PDG、SDG的程序中间表示形式,而是根据TOKEN序列和复合语句控制结构信息表,将程... 针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片快速算法.该算法无需使用PDG、SDG的程序中间表示形式,而是根据TOKEN序列和复合语句控制结构信息表,将程序表示为id UCf五元结构,并在此基础上计算程序的过程间静态切片.实验结果表明,该算法在保证多层嵌套结构程序的静态切片完整性的前提下,充分考虑了函数调用信息,降低了时间与空间复杂度.本算法只计算与切片相关的数据依赖、控制依赖以及函数调用信息,计算复杂度低. 展开更多
关键词 系统依赖图 静态切片 TOKEN序列 控制依赖 数据依赖
下载PDF
BPEL静态流程切片技术研究 被引量:3
5
作者 鲍亮 宋胜利 +3 位作者 陈胜 陈平 胡圣明 崔伟勇 《系统工程与电子技术》 EI CSCD 北大核心 2009年第1期241-244,F0003,共5页
提出了业务流程切片的概念和对应的静态切片算法。流程切片是根据给定的活动和活动引用的变量(称为切片准则),分析出在整个流程中能够影响切片准则的流程片段。介绍了静态切片算法在给定切片准则的前提下,首先构造BPEL控制流图,在此基... 提出了业务流程切片的概念和对应的静态切片算法。流程切片是根据给定的活动和活动引用的变量(称为切片准则),分析出在整个流程中能够影响切片准则的流程片段。介绍了静态切片算法在给定切片准则的前提下,首先构造BPEL控制流图,在此基础上生成活动依赖图,并对活动依赖图进行分析,从而确定流程中影响切片准则的活动序列(流程片段)。其结果已经在流程分析、优化和并行化等方面起到了重要作用,效果较好。 展开更多
关键词 BPEL 流程切片 流程片段 静态切片算法
下载PDF
一种改进的并发程序静态切片算法 被引量:3
6
作者 肖健宇 张德运 +1 位作者 陈海诠 董皓 《计算机工程》 CAS CSCD 北大核心 2006年第14期14-16,45,共4页
分析了Krinke切片算法对循环体内嵌套有线程的程序结构会产生切片不精确的现象,认为其原因是该算法对线程间数据依赖的定义过于粗糙,且对程序行为约束不够。该文提出一种新算法,在并发程序内部表示中,增加跨线程边界循环-承载数据依赖,... 分析了Krinke切片算法对循环体内嵌套有线程的程序结构会产生切片不精确的现象,认为其原因是该算法对线程间数据依赖的定义过于粗糙,且对程序行为约束不够。该文提出一种新算法,在并发程序内部表示中,增加跨线程边界循环-承载数据依赖,并引入区域化执行证据约束程序行为。实例研究表明,该算法克服了Krinke算法的不精确现象。 展开更多
关键词 静态程序切片 并发程序 切片算法 程序依赖图 执行证据
下载PDF
一种改进的用于并发程序静态切片的程序依赖图 被引量:2
7
作者 肖健宇 张德运 +1 位作者 陈海诠 董皓 《微电子学与计算机》 CSCD 北大核心 2006年第1期6-10,共5页
分析了KRINKE切片算法,发现当对程序循环体内嵌套有一个或多个线程的结构时会产生切片不精确的现象,原因是KRINKE算法的数据结构所定义的线程间数据依赖关系过于粗糙,相应的切片算法对程序执行路径的合法性约束不够严格。提出一种改进... 分析了KRINKE切片算法,发现当对程序循环体内嵌套有一个或多个线程的结构时会产生切片不精确的现象,原因是KRINKE算法的数据结构所定义的线程间数据依赖关系过于粗糙,相应的切片算法对程序执行路径的合法性约束不够严格。提出一种改进的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系。给出了添加跨线程边界循环-承载数据依赖关系的算法。实例分析表明,作用在新的并发程序依赖图上的切片算法克服了KRINKE算法的切片不精确现象。 展开更多
关键词 静态程序切片.并发程序 程序依赖图 循环-承载数据依赖
下载PDF
Android应用软件功能泄露漏洞挖掘工具的设计与实现 被引量:8
8
作者 方喆君 刘奇旭 张玉清 《中国科学院大学学报(中英文)》 CAS CSCD 北大核心 2015年第1期127-135,共9页
Android平台的功能泄露漏洞会导致权限提升和隐私泄露等严重危害,常被恶意软件用于绕过安全机制.针对这一问题,提出一个基于静态分析的功能泄露漏洞挖掘工具CLDroid.CLDroid使用逆向控制流的程序切片算法从源代码中提取程序逻辑,并利用... Android平台的功能泄露漏洞会导致权限提升和隐私泄露等严重危害,常被恶意软件用于绕过安全机制.针对这一问题,提出一个基于静态分析的功能泄露漏洞挖掘工具CLDroid.CLDroid使用逆向控制流的程序切片算法从源代码中提取程序逻辑,并利用可定制的安全规则库来检测违规行为.实验结果表明,CLDroid能有效挖掘Android源代码中的功能泄露漏洞,且具有较好的可扩展性. 展开更多
关键词 功能泄露漏洞 静态分析 程序切片 Android安全
下载PDF
基于约束分析与模型检测的代码安全漏洞检测方法研究 被引量:6
9
作者 王雷 陈归 金茂忠 《计算机研究与发展》 EI CSCD 北大核心 2011年第9期1659-1666,共8页
与传统的程序分析相比,模型检测具有较高的检测精度,但无法将其直接应用于缓冲区溢出、代码注入等安全漏洞的检测.为解决此问题,提出了基于约束分析与模型检测相结合的安全漏洞自动检测方法.首先,通过约束分析跟踪代码中缓冲区的信息,... 与传统的程序分析相比,模型检测具有较高的检测精度,但无法将其直接应用于缓冲区溢出、代码注入等安全漏洞的检测.为解决此问题,提出了基于约束分析与模型检测相结合的安全漏洞自动检测方法.首先,通过约束分析跟踪代码中缓冲区的信息,在涉及缓冲区操作的危险点生成相应的属性传递和属性约束语句,并将安全漏洞检测问题转化为模型检测方法可接受的可达性检测问题.然后,采用模型检测方法对安全漏洞的可达性进行判断.同时采用程序切片技术,以减少状态空间.对6个开源软件的检测结果表明,基于该方法实现的CodeAuditor原型系统发现了18个新漏洞,误报率为23%.对minicom的切片实验显示,检测性能有较大提高. 展开更多
关键词 约束分析 模型检测 安全漏洞 程序切片 静态分析
下载PDF
地学空间几何要素发布机理分析 被引量:1
10
作者 刘春娥 王占昌 +1 位作者 赵洪菊 刘荣 《中国矿业》 北大核心 2016年第S1期508-513,共6页
本文以"地学空间信息检索系统"为例,通过不同应用实例分别对地质资料中矢量数据和栅格数据的发布机理进行综合分析研究,以及投影参数统一化、栅格影像数据的静态切片(四叉树切片原理)、图块拼合与编码格式转换等关键技术的引... 本文以"地学空间信息检索系统"为例,通过不同应用实例分别对地质资料中矢量数据和栅格数据的发布机理进行综合分析研究,以及投影参数统一化、栅格影像数据的静态切片(四叉树切片原理)、图块拼合与编码格式转换等关键技术的引用,解决栅格数据海量效应的同时实现了地质资料大数据的发布、快速缩放浏览、属性解析与空间百度,归纳出了针对不同数据源采取不同方法的特点与优势,提供了极具操作性的技术流程,为后期应用提出了可供参考使用的合理化建议。 展开更多
关键词 矢量数据 栅格数据 静态切片 属性解析
下载PDF
污水回用于循环冷却水系统腐蚀影响因素的研究 被引量:24
11
作者 张颙 侯盾 +1 位作者 李雨松 卜城 《工业水处理》 CAS CSCD 2001年第3期1-3,共3页
作者利用动态、静态等多种试验手段 ,对城市生活污水回用于循环冷却水系统中有机物、浊度、Cl-、SO2 -4 、含盐量等因素对腐蚀的影响进行了深入的研究 ,为城市生活污水回用于循环冷却水的水质控制标准提供了试验依据。
关键词 城市污水回用 循环冷却水 有机物 浊度 腐蚀 静态挂片试验 动态模拟试验
下载PDF
Slithice:一个基于系统依赖图的Java程序切片工具 被引量:3
12
作者 钱巨 陶彬贤 《计算机工程与应用》 CSCD 2014年第2期31-34,共4页
当前程序切片的相关理论已经较为成熟,但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究,设计并实现了一个基于系统依赖图的Eclipse切片插件——Slithice。该插件支持不同粒度的底层分析和系统依赖图构建,从而可以使切... 当前程序切片的相关理论已经较为成熟,但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究,设计并实现了一个基于系统依赖图的Eclipse切片插件——Slithice。该插件支持不同粒度的底层分析和系统依赖图构建,从而可以使切片算法能够在精度和性能之间进行权衡,适应各种规模程序的分析需要。 展开更多
关键词 JAVA 程序切片 静态
下载PDF
时效网络及其应用研究 被引量:2
13
作者 张明智 罗凯 +1 位作者 吴曦 张庆军 《系统仿真学报》 CAS CSCD 北大核心 2019年第4期679-686,共8页
将时间段内信息聚集在一起构成静态网络的传统处理方法,无法有效反映网络节点及节点间连接关系的动态变化等性质,对时效网络及其应用进行了深入研究。引入时效网络,分析时效网络与静态网络的区别;总结归纳了时效网络类型与表示方式,将... 将时间段内信息聚集在一起构成静态网络的传统处理方法,无法有效反映网络节点及节点间连接关系的动态变化等性质,对时效网络及其应用进行了深入研究。引入时效网络,分析时效网络与静态网络的区别;总结归纳了时效网络类型与表示方式,将其分为4种类型和两种表示方式;建立了时效网络的网络模型,并重点对时效路径和时效距离进行阐述;以空间信息网络脆弱性仿真分析为例,实验结果展示了时效网络在其应用上的优势。 展开更多
关键词 时效网络 静态网络 时间片 空间信息网络 脆弱性
下载PDF
一种提高时序安全属性静态检测实用性的方法 被引量:2
14
作者 霍玮 李丰 +3 位作者 丁兆伟 桑春雷 张兆庆 冯晓兵 《计算机学报》 EI CSCD 北大核心 2012年第2期244-256,共13页
程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组... 程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组合爆炸情形出现的机会,最终使时序安全属性的静态检测在准确性和可伸缩性上都得到了提高.实验表明,FSM切片可以使Saturn的可伸缩性平均提高到原来的6.34倍,使Fastcheck的准确性平均提高到原来的1.20倍. 展开更多
关键词 有限状态自动机 时序安全属性 切片技术 程序静态检测 F-衡量
下载PDF
地震条件下倾斜挡土墙被动土压力研究 被引量:32
15
作者 杨剑 高玉峰 +1 位作者 程永锋 鲁先龙 《岩土工程学报》 EI CAS CSCD 北大核心 2009年第9期1391-1397,共7页
挡土墙的抗震设计是减小地震灾害的一项重要措施。在Mononobe-Okabe平面滑裂面假设的基础上,将随机出现的地震力按最不利工况下的静力考虑,利用水平层分析法得到了地震加速度沿墙高均匀分布时不同挡土墙倾角、填土摩擦角、墙背摩擦角下... 挡土墙的抗震设计是减小地震灾害的一项重要措施。在Mononobe-Okabe平面滑裂面假设的基础上,将随机出现的地震力按最不利工况下的静力考虑,利用水平层分析法得到了地震加速度沿墙高均匀分布时不同挡土墙倾角、填土摩擦角、墙背摩擦角下的地震被动土压力系数、被动土压力强度、被动土压力合力和被动土压力合力作用点的理论公式。分析了地震加速度系数、挡土墙倾角、填土内摩擦角对被动土压力系数和土压力分布的影响,结果表明,地震被动土压力合力与Mononobe-Okabe理论相同,地震土压力强度为非线性分布。在最不利工况下,地震力的出现大大减小了被动土压力,减小的程度随地震加速度的增加而增加。 展开更多
关键词 地震被动土压力 倾斜挡土墙 水平层法 拟静力法
下载PDF
基于瑞典条分法数值解的边坡蒙特卡罗可靠性分析 被引量:9
16
作者 郭长宝 张永双 +2 位作者 陈情来 李旭峰 王献礼 《水文地质工程地质》 CAS CSCD 北大核心 2007年第4期18-21,共4页
本文基于瑞典条分法数值解的基本思想,建立了蒙特卡罗(Monte-Carlo)边坡可靠性分析计算模型,对云南省香格里拉县冷都复杂斜坡体前缘滑动体的稳定性进行了分析,计算结果表明该复杂斜坡体在目前状况下具有较高的稳定系数和可靠度,在降雨... 本文基于瑞典条分法数值解的基本思想,建立了蒙特卡罗(Monte-Carlo)边坡可靠性分析计算模型,对云南省香格里拉县冷都复杂斜坡体前缘滑动体的稳定性进行了分析,计算结果表明该复杂斜坡体在目前状况下具有较高的稳定系数和可靠度,在降雨和地震作用下稳定性差,需要采取工程措施进行加固。 展开更多
关键词 瑞典条分法 拟静力法 可靠性分析 冷都复杂斜坡体
下载PDF
PDG算法在动态切片技术中的应用研究 被引量:1
17
作者 贾利敏 张忠林 《兰州交通大学学报》 CAS 2008年第1期141-143,152,共4页
动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维护等方面具有广泛的应用.介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序... 动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维护等方面具有广泛的应用.介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的,讨论了动态切片在程序调试和软件测试中的应用. 展开更多
关键词 静态切片 动态切片 切片准则 程序依赖图算法
下载PDF
影响加筋土挡墙地震稳定性的参数分析 被引量:2
18
作者 王恩喜 孙树林 +3 位作者 陈怿旸 刘俊 刘博 李方 《河北工程大学学报(自然科学版)》 CAS 2016年第3期24-28,共5页
针对现有挡土墙抗震设计影响因素考虑不足等问题,运用拟静力法和水平条分法分析加筋土挡墙的地震稳定性,并研究土体内摩擦角、水平地震力加速度系数、填土粘聚力、挡土墙倾角和滑动体上部荷载等参数对地震稳定性的影响。结果表明:加筋... 针对现有挡土墙抗震设计影响因素考虑不足等问题,运用拟静力法和水平条分法分析加筋土挡墙的地震稳定性,并研究土体内摩擦角、水平地震力加速度系数、填土粘聚力、挡土墙倾角和滑动体上部荷载等参数对地震稳定性的影响。结果表明:加筋土挡墙的地震稳定性与水平地震力加速度系数和滑动体上部荷载有显著关系,且变化趋势与之成正比;与土体内摩擦角和填土粘聚力的变化趋势成反比;当条件相同时,倾斜加筋土挡墙的地震稳定性比竖直挡墙的稳定性好。 展开更多
关键词 加筋土挡墙 稳定性 参数 拟静力法 水平条分法
下载PDF
拟静力法边坡稳定分析的改进 被引量:41
19
作者 吕擎峰 殷宗泽 +1 位作者 王叔华 姬凤玲 《岩土力学》 EI CAS CSCD 北大核心 2005年第S1期35-38,共4页
拟静力法简单适用,在地震边坡稳定分析中发挥了很大作用,积累了较丰富的经验。传统上滑动体都是按竖向条分的。考虑地震惯性力时,竖向条分在计算地震惯性力和抗滑力矩时存在计算上的不合理,从而使地震惯性力与实际值有误差,抗滑力矩偏... 拟静力法简单适用,在地震边坡稳定分析中发挥了很大作用,积累了较丰富的经验。传统上滑动体都是按竖向条分的。考虑地震惯性力时,竖向条分在计算地震惯性力和抗滑力矩时存在计算上的不合理,从而使地震惯性力与实际值有误差,抗滑力矩偏小。而考虑地基中的地震荷载时,安全系数的计算结果是不确定的,没有一个客观的最小安全系数计算结果。在分析了误差产生的机理后,对拟静力法的计算进行了改进。算例表明,改进后拟静力法计算结果是合理的。 展开更多
关键词 拟静力法 边坡稳定分析 条分法 水平地震惯性力 抗滑力矩
下载PDF
一种基于类的Java多线程程序数据竞争静态检测算法 被引量:3
20
作者 宋东海 贲可荣 张志祥 《计算机工程与科学》 CSCD 北大核心 2014年第2期233-237,共5页
多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分... 多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。 展开更多
关键词 多线程程序 数据竞争 程序切片 静态分析 竞争检测
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部