期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
基于5G端到端网络切片技术的配网差动保护方法
1
作者 陈端云 苏素燕 +3 位作者 陈锦山 谢石木林 黄见虹 侯功华 《微型电脑应用》 2024年第2期81-84,共4页
在当前配网差动保护过程中,获取差动保护判据时仅能对单一参数进行处理,导致差动保护效果受故障位置影响较大,对此提出基于5G端到端网络切片技术的配网差动保护方法。根据“充分式”思想进行配网充分式故障识别与分析,选用5G端到端网络... 在当前配网差动保护过程中,获取差动保护判据时仅能对单一参数进行处理,导致差动保护效果受故障位置影响较大,对此提出基于5G端到端网络切片技术的配网差动保护方法。根据“充分式”思想进行配网充分式故障识别与分析,选用5G端到端网络切片技术进行配网端到端网络切片处理,获取配网通信网络部分判据,采集复合式判据,设定差动保护启动单元,实现配网差动保护。仿真实验结果证实,无论故障点在保护区内或是保护区外,其使用效果均不会受到故障点位置的影响,保护装置可及时启动保护单元,维护配网运行的稳定性。 展开更多
关键词 网络切片 虚拟网络功能 复合判据 充分式差动保护 “充分式”思想
下载PDF
基于局部均值分解和切片双谱的滚动轴承故障诊断研究 被引量:25
2
作者 唐贵基 王晓龙 《振动与冲击》 EI CSCD 北大核心 2013年第24期83-88,95,共7页
针对滚动轴承故障诊断问题,提出一种结合局部均值分解(LMD)和切片双谱的诊断新方法。首先利用LMD算法对故障信号进行自适应分解,分解后获得一组位于不同频带的乘积函数(PF)分量,然后利用所提出的峭度准则对分解结果进行筛选,筛选出峭度... 针对滚动轴承故障诊断问题,提出一种结合局部均值分解(LMD)和切片双谱的诊断新方法。首先利用LMD算法对故障信号进行自适应分解,分解后获得一组位于不同频带的乘积函数(PF)分量,然后利用所提出的峭度准则对分解结果进行筛选,筛选出峭度值最大的PF分量,并对其包络信号做切片双谱分析,从而提取出故障特征频率信息。为加快分解速度、减少分解运算量,对LMD算法中的循环迭代结束条件做出改进,并利用模拟信号验证了LMD算法的信号分解能力以及切片双谱的噪声抑制和非二次相位耦合谐波剔除能力。最后,运用提出的诊断方法对实测轴承内圈、外圈故障振动信号进行分析,诊断效果良好,证明该方法具有一定的可靠性。 展开更多
关键词 局部均值分解 峭度准则 切片双谱 滚动轴承
下载PDF
动态程序切片研究及其应用 被引量:1
3
作者 李英梅 伦立军 丁雪梅 《东北农业大学学报》 CAS CSCD 2005年第3期397-400,共4页
动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其... 动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其在软件测试和程序调试中的应用。 展开更多
关键词 程序切片 动态切片 切片准则
下载PDF
一种简化依赖关系的动态程序切片算法 被引量:1
4
作者 贾利敏 张忠林 《郑州大学学报(工学版)》 CAS 北大核心 2009年第2期84-87,共4页
动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定... 动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定数据依赖结点、控制依赖结点和结点可到达语句来计算变量切片.实例证明,该算法提高了动态切片的精确度,减少了计算动态程序切片的复杂度. 展开更多
关键词 动态程序切片 切片准则 动态程序切片算法 依赖关系 程序依赖图
下载PDF
PDG算法在动态切片技术中的应用研究 被引量:1
5
作者 贾利敏 张忠林 《兰州交通大学学报》 CAS 2008年第1期141-143,152,共4页
动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维护等方面具有广泛的应用.介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序... 动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维护等方面具有广泛的应用.介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的,讨论了动态切片在程序调试和软件测试中的应用. 展开更多
关键词 静态切片 动态切片 切片准则 程序依赖图算法
下载PDF
非线性破坏准则下的边坡稳定分析 被引量:3
6
作者 胡卫东 祝新念 李小强 《湖南理工学院学报(自然科学版)》 CAS 2006年第3期84-87,91,共5页
岩土介质破坏准则具有非线性。研究了在非线性破坏准则下利用静力平衡条件进行土坡极限平衡法稳定分析,对瑞典圆弧条分法和整体稳定分析法及毕肖普条分法等土坡稳定分析方法采用非线性破坏准则下的强度参数计算,推导出了安全系数计算公式。
关键词 边坡稳定性 非线性破坏准则 条分法 安全系数
下载PDF
边坡稳定性极限平衡条分法的探讨 被引量:40
7
作者 林峰 黄润秋 《地质灾害与环境保护》 1997年第4期9-13,共5页
系统分析了常用的边坡稳定性极限平衡条分法,在任意滑面条件下,推导了瑞典条分法;讨论了它们的适用性与极限平衡条分法的发展方向,具有一定的理论和实践意义。
关键词 边坡 极限平衡条分法 摩尔-库仑准则 稳定性
下载PDF
状态图描述的动态切片技术
8
作者 苗春雨 陈丽娜 《计算机科学》 CSCD 北大核心 2014年第5期204-207,214,共5页
众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的Statechart描述的动态切片概念,正式... 众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的Statechart描述的动态切片概念,正式定义了动态切片准则、动态切片生成算法和最小动态切片的概念,解释了如何提供有效的动态切片准则,并提出一种简单实用的、借助可观察语义生成最小动态切片的近似算法。 展开更多
关键词 Statechart描述 动态切片 切片准则 可观察语义
下载PDF
经验强度准则对岩坡稳定性分析SARAMA法的改进 被引量:2
9
作者 宋建波 张倬元 黄润秋 《西部探矿工程》 CAS 2001年第6期106-109,共4页
在介绍J .Bray推导的抗剪强度计算方法的基础上 ,简单阐述了基于经验强度准则改进的Sarama法进行岩坡稳定性分析的步骤。最后 ,以雅砻江锦屏水电站某边坡为例 ,说明其计算要点 ,并将Sarama法与改进Sarama法计算结果比较 ,以此分析了导... 在介绍J .Bray推导的抗剪强度计算方法的基础上 ,简单阐述了基于经验强度准则改进的Sarama法进行岩坡稳定性分析的步骤。最后 ,以雅砻江锦屏水电站某边坡为例 ,说明其计算要点 ,并将Sarama法与改进Sarama法计算结果比较 ,以此分析了导致二者计算结果有明显差异的原因。 展开更多
关键词 岩质边坡 稳定性 经验强度准则 Sarama法 抗剪强度
下载PDF
非线性破坏准则下边坡稳定性极限分析斜条分法 被引量:23
10
作者 唐高朋 李亮 +1 位作者 赵炼恒 陈静瑜 《岩土力学》 EI CAS CSCD 北大核心 2015年第7期2063-2072,共10页
考虑坡顶均布荷载和地震效应典型情况下,将边坡滑体进行任意斜条块划分,建立了具有倾斜界面的多块体破坏模型。基于极限分析上限法和非线性摩尔-库仑破坏准则,考虑岩体内正应力的不均匀性,引入多点切线法和强度折减法推导得出边坡临界... 考虑坡顶均布荷载和地震效应典型情况下,将边坡滑体进行任意斜条块划分,建立了具有倾斜界面的多块体破坏模型。基于极限分析上限法和非线性摩尔-库仑破坏准则,考虑岩体内正应力的不均匀性,引入多点切线法和强度折减法推导得出边坡临界破坏状态下的安全系数Fs通用计算公式。采用序列二次规划法对安全系数Fs的目标函数进行最优化计算,并与既有研究成果进行对比分析,其结果具有较好的一致性,相对误差不超过3.565%,表明了该方法的正确性。同时对比传统单点切线法计算结果,多点切线法较单点切线法获得的边坡安全系数值偏小,表明了多点切线斜条分法偏于保守,是安全的。参数分析表明坡顶均布荷载、地震效应和非线性参数均对边坡安全系数及潜在临界滑裂面有重要影响。多点切线法引入非线性摩尔-库仑破坏准则对边坡进行稳定性极限分析,为相关研究人员提供了一种新的思路与方法。 展开更多
关键词 极限分析上限法 非线性破坏准则 安全系数 多点切线法 斜条分法
下载PDF
一种新的程序变体测试方法
11
作者 蔡国永 钱俊彦 《计算机应用研究》 CSCD 北大核心 2008年第5期1393-1395,1399,共4页
在对程序分片技术研究的基础上,提出一种新的片变体测试方法。通过实例说明,该方法能更有效地提高变体测试的准确性及测试效率。
关键词 变体测试 程序分片 片变体测试 测试指标
下载PDF
高层建筑岩石边坡地基稳定性分析方法研究 被引量:1
12
作者 张永兴 李波 王桂林 《重庆建筑大学学报》 CSCD 1999年第2期1-4,共4页
通过工程实例对高层建筑岩石边坡地基稳定性分析方法-规范传递系数法、转动极限平衡法(瑞典条分法)及有限元法进行了研究,发现规范传递系数法所得安全系数较转动极限平衡所得安全系数大,而转动极限平衡所得结果接近有限元法。建议... 通过工程实例对高层建筑岩石边坡地基稳定性分析方法-规范传递系数法、转动极限平衡法(瑞典条分法)及有限元法进行了研究,发现规范传递系数法所得安全系数较转动极限平衡所得安全系数大,而转动极限平衡所得结果接近有限元法。建议D对高层建筑岩石边坡地基进行稳定性分析时进行转动极限平衡校核。 展开更多
关键词 岩石边坡地基 稳定性 分析方法 高层建筑
下载PDF
基于ISDG的面向对象程序分片技术研究
13
作者 朱炎 蔡国永 《计算机工程与应用》 CSCD 北大核心 2007年第4期85-89,136,共6页
程序分片是一种有效的程序分析技术,它能根据给定的分片准则从源程序中提取出所需部分进行分析,如进行程序调试、测试、程序重构分析等。程序分片技术在结构化程序中已有较广泛的应用,但对于面向对象语言程序,其研究与应用还存在一些待... 程序分片是一种有效的程序分析技术,它能根据给定的分片准则从源程序中提取出所需部分进行分析,如进行程序调试、测试、程序重构分析等。程序分片技术在结构化程序中已有较广泛的应用,但对于面向对象语言程序,其研究与应用还存在一些待解决的问题。针对面向对象语言程序,提出了一种改进后的系统依赖图:ISDG,用来更好地表示面向对象程序中的依赖关系,从而解决了对象类型参数和属性的表示问题。基于ISDG模型,提出了一种新的面向对象语言程序的分片准则,以及相应的分片算法。 展开更多
关键词 程序分片 系统依赖图 方法分片 面向对象
下载PDF
Dependence Analysis Based on Dynamic Slicing for Debugging 被引量:2
14
作者 Chen Zhen qiang 1, Xu Bao wen 1,2 1 Department of Computer Science & Engineering, Southeast University, Nanjing 210096, China 2 State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China 《Wuhan University Journal of Natural Sciences》 CAS 2001年第Z1期398-404,共7页
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains only those statements that actually a... Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains only those statements that actually affect the variables in the slicing criterion. This paper proposes a dynamic slicing method based on static dependence analysis. It uses the program dependence graph and other static information to reduce the information needed to be traced during program execution. Thus, the efficiency is dramatically improved while the precision is not depressed. The slicing criterion is modified to fit for debugging. It consists of file name and the line number at which the statement is. 展开更多
关键词 program slice slicing criterion program dependence graph
下载PDF
程序切片技术在并发程序模型检查中的应用
15
作者 高鹏飞 沈云付 《计算机技术与发展》 2008年第11期163-167,171,共6页
模型检查技术在硬件和协议设计方面已经取得很大成功,但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间。文中通过对程序切片技术的研究,来解决并发程序验证的建模问题,包括把验证公... 模型检查技术在硬件和协议设计方面已经取得很大成功,但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间。文中通过对程序切片技术的研究,来解决并发程序验证的建模问题,包括把验证公式映射到切片准则,并把得到的程序切片转化为验证所需的模型。经程序切片处理后,软件模型检查效率得到提高。 展开更多
关键词 并发程序 模型检查 程序切片 状态空间 切片准则
下载PDF
悬移支架放顶煤开采的经济分析
16
作者 赵晓波 刘立祥 马树元 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2001年第1期118-120,共3页
根据鹤岗局兴山矿两种采煤方法的实践比较,通过经济技术分析,证明开采厚煤层选用悬移支架放顶煤比分层炮采优越.
关键词 悬移支架放顶煤开采 分层炮采 经济技术指标 原煤层 支护设备费
下载PDF
基于非线性Barton-Bandis准则节理软岩边坡锚杆加固研究
17
作者 凌海明 《公路工程》 北大核心 2015年第2期273-276,共4页
采用Barton-Bandis准则可简便获取岩体的力学参数并能较好地反映节理岩体力学性质的非线性。通过回弹法量化Barton-Bandis准则参数以及得到等效的Mohr-Coulomb准则参数,并基于极限平衡条分法推导出Barton-Bandis准则下的节理岩质边坡的... 采用Barton-Bandis准则可简便获取岩体的力学参数并能较好地反映节理岩体力学性质的非线性。通过回弹法量化Barton-Bandis准则参数以及得到等效的Mohr-Coulomb准则参数,并基于极限平衡条分法推导出Barton-Bandis准则下的节理岩质边坡的稳定性分析及锚固设计。通过采用内含Barton-Bandis准则计算程序的软件SLIDE对某节理软岩边坡的稳定性分析及锚固设计,验证了采用Barton-Bandis准则进行节理岩坡分析的可行性与正确性。 展开更多
关键词 Barton-Bandis准则 节理软岩边坡 极限平衡条分法 锚杆加固
下载PDF
On spline approximation of sliced inverse regression
18
作者 Li-ping ZHU Zhou YU 《Science China Mathematics》 SCIE 2007年第9期1289-1302,共14页
The dimension reduction is helpful and often necessary in exploring the nonparametric regression structure.In this area,Sliced inverse regression (SIR) is a promising tool to estimate the central dimension reduction (... The dimension reduction is helpful and often necessary in exploring the nonparametric regression structure.In this area,Sliced inverse regression (SIR) is a promising tool to estimate the central dimension reduction (CDR) space.To estimate the kernel matrix of the SIR,we herein suggest the spline approximation using the least squares regression.The heteroscedasticity can be incorporated well by introducing an appropriate weight function.The root-n asymptotic normality can be achieved for a wide range choice of knots.This is essentially analogous to the kernel estimation.Moreover, we also propose a modified Bayes information criterion (BIC) based on the eigenvalues of the SIR matrix.This modified BIC can be applied to any form of the SIR and other related methods.The methodology and some of the practical issues are illustrated through the horse mussel data.Empirical studies evidence the performance of our proposed spline approximation by comparison of the existing estimators. 展开更多
关键词 asymptotic normality SPLINE Bayes information criterion dimension reduction sliced inverse regression structural dimensionality 62H12 62J02
原文传递
钢纤维活性粉末混凝土数值建模方法 被引量:2
19
作者 王晓飞 张晓虎 +2 位作者 王阳平 吴礼程 李静 《建筑结构学报》 EI CAS CSCD 北大核心 2015年第S2期340-345,共6页
针对含钢纤维活性粉末混凝土数值建模方法,提出了判断钢纤维在投放过程中是否交叉的优化算法(钢纤维外包六面体法)。该方法通过在当前投放钢纤维外侧构建外包六面体,把曲面图元间的交叉判别问题简化为线段与线段或矩形与矩形之间相互位... 针对含钢纤维活性粉末混凝土数值建模方法,提出了判断钢纤维在投放过程中是否交叉的优化算法(钢纤维外包六面体法)。该方法通过在当前投放钢纤维外侧构建外包六面体,把曲面图元间的交叉判别问题简化为线段与线段或矩形与矩形之间相互位置关系的判别问题,降低了数值建模过程编程难度。并通过第1次粗判与第2次细判,实现了钢纤维在投放过程中的交叉判别,有效提高了投放运算效率。利用Matlab软件编程实现上述算法,完成钢纤维活性粉末混凝土数值建模过程。通过与同钢纤维含量活性粉末混凝土圆柱体试样(h=100 mm,R=50 mm)切片比较,发现数值模型与试验试样对应切片面内钢纤维的分布较一致,能较好地模拟钢纤维在活性粉末混凝土中的分布情况。 展开更多
关键词 活性粉末混凝土 钢纤维 数值模型 交叉判据 随机投放 切片对比
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部