一种基于高阶函数摘要的依赖簇检测方法

1

作者 杨嘉毅 张迎周 +3 位作者 李俊锋 马锐 汪全盛 薛渝川 《电子学报》 EI CAS CSCD 北大核心 2024年第4期1337-1348,共12页

依赖簇是相互依赖的程序组件的最大集合,依赖簇中任意一点产生变动都会引起其他组件的连锁反应.在实际生产环境中,依赖簇检测对于软件理解、测试、维护具有非常重要的意义.传统的依赖簇检测方法基于系统依赖图(System Dependence Graph,... 依赖簇是相互依赖的程序组件的最大集合,依赖簇中任意一点产生变动都会引起其他组件的连锁反应.在实际生产环境中,依赖簇检测对于软件理解、测试、维护具有非常重要的意义.传统的依赖簇检测方法基于系统依赖图(System Dependence Graph,SDG)实现过程间依赖关系的计算.但是SDG的构建过程比较复杂,时间空间的占用比较大.为提高依赖簇检测的效率并减少空间占用,本文提出了一种有效的轻量级依赖簇检测方法.该方法通过构建每个过程高阶函数形式的函数摘要,将形参和全局变量的数据依赖作为摘要参数,并用函数摘要的参数初始化过程内依赖信息.通过在调用点处对高阶函数形式的摘要进行实例化,即可将调用过程的依赖关系通过摘要参数进行传递,从而获取过程间的依赖信息.为了进一步提升检测效率,我们还提出了基于自适应计算的依赖簇检测优化策略,该策略可以减少因函数的递归调用产生的相关冗余计算.本文选取了不同规模不同领域的工程项目和基准测试集进行相关对比实验,结果表明:基于高阶函数的依赖簇检测方法相比系统依赖图的检测方法,能够提升2.689倍的分析效率并减少35.7%的空间占用;基于自适应计算的依赖簇检测优化策略在高阶函数方法的基础上能够减少56.7%的冗余计算,提升23.9%的分析效率. 展开更多

关键词 依赖簇 高阶函数 自适应计算 系统依赖图 形式概念分析

在线阅读 下载PDF 职称材料

方程式语言中扩充高阶函数

2

作者 陆汝占 奚宏伟 《上海交通大学学报》 EI CAS CSCD 北大核心 1993年第6期8-13,共6页

本文在原有的方程式语言的基础上,扩充引入高阶函数,使得方程式语言的使用更为方便,表示能力大为加强。源程序的方程式同时允许一阶和高阶两种形式.系统将高阶形式转换成Curry形式.这样整个程序在原解释下运行。

关键词 方程式语言 高阶函数 Curry形式

在线阅读 下载PDF 职称材料

特殊高阶函数的构造方法及相关性质证明 被引量：1

3

作者 孟宜成 《兰州工业学院学报》 2021年第3期83-88,共6页

以魏尔施特拉斯理论为基础,基于正、余弦2种三角函数在周期性上的自相似性,通过函数项级数构造出了特殊高阶3种函数:处处连续而处处不可微函数、处处连续而处处非赫尔德连续函数、处处赫尔德连续而不更高阶连续函数,同时证明了这3种函... 以魏尔施特拉斯理论为基础,基于正、余弦2种三角函数在周期性上的自相似性,通过函数项级数构造出了特殊高阶3种函数:处处连续而处处不可微函数、处处连续而处处非赫尔德连续函数、处处赫尔德连续而不更高阶连续函数,同时证明了这3种函数的相关性质.结果表明:例题证明所提出的构造方法切实有效. 展开更多

关键词 正弦函数 余弦函数 魏尔施特拉斯函数 赫尔德连续高阶连续函数

在线阅读 下载PDF 职称材料

基于高阶矩阵函数的广义逆波束形成改进算法 被引量：6

4

作者 陈思 张志飞 +2 位作者 徐中明 贺岩松 黎术 《振动与冲击》 EI CSCD 北大核心 2017年第10期98-103,共6页

广义逆波束形成是一种高效的声源识别定位方法,然而其计算稳健性易受随机噪声影响,阻碍了其声源识别动力学水平进一步提高。为改善广义逆波束形成声源识别方法的稳健性,基于高阶矩阵函数提出一种广义逆波束形成改进算法:定义了基于广义... 广义逆波束形成是一种高效的声源识别定位方法,然而其计算稳健性易受随机噪声影响,阻碍了其声源识别动力学水平进一步提高。为改善广义逆波束形成声源识别方法的稳健性,基于高阶矩阵函数提出一种广义逆波束形成改进算法:定义了基于广义逆波束形成的正则化矩阵;对正则化矩阵与波束形成输出进行迭代运算;利用高阶矩阵函数对迭代求解所得广义逆波束形成输出的互谱进行优化。通过数值仿真详细分析了声源频率对波束形成矩阵函数阶次取值的影响,得到阶次的最优取值区间。最后通过数值模型和实验算例对单极子与相干声源进行定位识别,结果表明:改进算法在准确识别声源基础上能有效抑制旁瓣干扰,且具有更高的声源识别精度。 展开更多

关键词 传声器阵列 声源识别 广义逆波束形成 高阶矩阵函数

在线阅读 下载PDF 职称材料

基于高阶阻抗传递函数的车辆ISD悬架优化设计与性能分析 被引量：8

5

作者 沈钰杰 刘雁玲 +2 位作者 陈龙 杨晓峰 仇成群 《振动与冲击》 EI CSCD 北大核心 2019年第22期95-100,116,共7页

为了探索应用高阶阻抗传递函数进行车辆ISD悬架结构设计时的性能提升效果。以双三次型阻抗传递函数作为研究对象,通过筛选应用机电惯容器的车辆ISD悬架的结构特征,利用无源网络综合理论的Foster变换,提出一种高阶阻抗传递函数的降阶转... 为了探索应用高阶阻抗传递函数进行车辆ISD悬架结构设计时的性能提升效果。以双三次型阻抗传递函数作为研究对象,通过筛选应用机电惯容器的车辆ISD悬架的结构特征,利用无源网络综合理论的Foster变换,提出一种高阶阻抗传递函数的降阶转换方法;在1/4车辆悬架模型的基础上,利用改进的粒子群算法对系统的元件参数进行优化求解。仿真结果表明:应用高阶阻抗传递函数的车辆ISD悬架系统的隔振性能得到显著改善,其中,悬架动行程均方根值最多减小了20.63%,轮胎动载荷均方根值减小了11.22%。根据无源网络综合的最简实现判据,将降阶转换后的双二次传递函数进行网络综合被动实现,得到了具体的机械网络结构与等效的电网络结构,并给出了车辆ISD悬架系统的结构实现方案,进一步拓展了车辆ISD悬架工程化应用的思路。 展开更多

关键词 车辆 悬架 惯容器 高阶阻抗传递函数 网络综合

在线阅读 下载PDF 职称材料

高阶模糊函数的收敛性分析 被引量：2

6

作者 李宏伟 袁保宗 《电子学报》 EI CAS CSCD 北大核心 2000年第6期64-67,共4页

本文讨论用于多项式相位信号参数估计的高阶模糊函数的收敛性质 .对于复高斯白噪声污染的时变振幅多项式相位信号 ,证明了其高阶模糊函数样本估计和相位多项式最高阶系数估计的强收敛性质 .特别地 ,对于常数振幅情形 ,得到了多项式系数... 本文讨论用于多项式相位信号参数估计的高阶模糊函数的收敛性质 .对于复高斯白噪声污染的时变振幅多项式相位信号 ,证明了其高阶模糊函数样本估计和相位多项式最高阶系数估计的强收敛性质 .特别地 ,对于常数振幅情形 ,得到了多项式系数估计的强收敛速度 .模拟实验证实了所得到的理论结果 . 展开更多

关键词 多项式相位信号 高阶模糊函数 收敛性 信号处理

在线阅读 下载PDF 职称材料

利用高阶矢量基函数求解时域磁场积分方程 被引量：1

7

作者 赵延文 聂在平 +2 位作者 武胜波 徐建华 罗曦 《电子学报》 EI CAS CSCD 北大核心 2005年第9期1618-1622,共5页

本文利用一种新的高阶矢量基函数求解了三维时域磁场积分方程,该基函数定义在一个曲边三角形贴片上并用拉格朗日插值多项式来表示每一个贴片内的未知电流密度.该基函数的实质就是将拉格朗日插值多项式的插值点选为高斯积分结点,极大地... 本文利用一种新的高阶矢量基函数求解了三维时域磁场积分方程,该基函数定义在一个曲边三角形贴片上并用拉格朗日插值多项式来表示每一个贴片内的未知电流密度.该基函数的实质就是将拉格朗日插值多项式的插值点选为高斯积分结点,极大地简化和加快了时域积分方程矩量法的繁琐的时间和空间积分运算;另外,该基函数不要求网格为规范网格,给复杂目标的网格剖分带来很大方便.在空间上利用点匹配方法求解了时域磁场积分方程,数值计算结果表明了该方法求解时域积分方程的精确性和高效性. 展开更多

关键词 高阶方法 高阶矢量基函数 点匹配 时域磁场积分方程

在线阅读 下载PDF 职称材料

高阶矢量基函数的叠层网格快速算法

8

作者 李清波 周平 陈如山 《应用科学学报》 CAS CSCD 北大核心 2009年第5期520-524,共5页

根据Andersen提出的用于矢量有限元中的高阶叠层旋度共形基函数,导出一种高阶叠层散度共形基函数,将其用于矩量法中,并结合多层快速多极子方法分析导体目标的散射问题.为了进一步提高叠层基函数的计算效率,提出了基于广义极小余量法的... 根据Andersen提出的用于矢量有限元中的高阶叠层旋度共形基函数,导出一种高阶叠层散度共形基函数,将其用于矩量法中,并结合多层快速多极子方法分析导体目标的散射问题.为了进一步提高叠层基函数的计算效率,提出了基于广义极小余量法的叠层网格迭代算法,用于基于高阶叠层矢量基函数的多层快速多极子方法中.通过计算导体球和橄榄体的雷达散射截面,验证了该文方法的高效性. 展开更多

关键词 矩量法 高阶矢量基函数 雷达散射截面 多层快速多极子方法

在线阅读 下载PDF 职称材料

基于GF(2)上高阶弹性函数构造的新方法及非线性度优化 被引量：1

9

作者 甘泉 韦永壮 高军涛 《纺织高校基础科学学报》 CAS 2002年第2期116-120,167,共6页

运用 GF( 2 )上高阶相关免疫布尔函数的级联性质及多输出函数中的无偏函数 ,给出了构造高阶弹性函数较为简洁、有效的方法 .此外 ,还对具有高阶的弹性函数的非线性度进行优化 ,使其能更好的抵抗局部线性攻击的同时 ,具有良好的整体非线... 运用 GF( 2 )上高阶相关免疫布尔函数的级联性质及多输出函数中的无偏函数 ,给出了构造高阶弹性函数较为简洁、有效的方法 .此外 ,还对具有高阶的弹性函数的非线性度进行优化 ,使其能更好的抵抗局部线性攻击的同时 ,具有良好的整体非线性度 (包括线性分析、差分分析等 ) 展开更多

关键词 高阶弹性函数 非线性度优化 免疫布尔函数 无偏函数 构造方法

在线阅读 下载PDF 职称材料

基于高阶模糊函数的进动目标平动补偿 被引量：2

10

作者 许旭光 冯存前 +1 位作者 苏于童 张文强 《探测与控制学报》 CSCD 北大核心 2019年第1期113-118,共6页

针对当前平动补偿算法存在的精度不高、稳定性较差的问题,提出了基于高阶模糊函数的进动目标平动补偿算法。该算法将平动引起的距离变化等效为三阶多项式,通过对回波各阶模糊函数进行峰值搜索,实现对各阶平动参数和微动周期的有效估计,... 针对当前平动补偿算法存在的精度不高、稳定性较差的问题,提出了基于高阶模糊函数的进动目标平动补偿算法。该算法将平动引起的距离变化等效为三阶多项式,通过对回波各阶模糊函数进行峰值搜索,实现对各阶平动参数和微动周期的有效估计,进而实现对平动的补偿。仿真实验验证表明,该算法能够实现精确稳定的补偿,为后续基于微多普勒的弹道目标特征提取打下基础。 展开更多

关键词 进动目标 复合运动 平动补偿 高阶模糊函数 峰值搜索

在线阅读 下载PDF 职称材料

三维高阶数值流形方法研究 被引量：19

11

作者 姜清辉 邓书申 周创兵 《岩土力学》 EI CAS CSCD 北大核心 2006年第9期1471-1474,共4页

将三维流形单元的位移函数从一阶拓展为二阶,基于最小势能原理建立了有限单元覆盖的高阶流形方法分析格式,详细推导了三维流形单元的刚度矩阵、等效节点荷载列阵以及位移约束矩阵。计算结果表明,提高物理覆盖函数的阶次可有效提高流形... 将三维流形单元的位移函数从一阶拓展为二阶,基于最小势能原理建立了有限单元覆盖的高阶流形方法分析格式,详细推导了三维流形单元的刚度矩阵、等效节点荷载列阵以及位移约束矩阵。计算结果表明,提高物理覆盖函数的阶次可有效提高流形方法的计算精度。 展开更多

关键词 数值流形方法 高阶位移函数 有限覆盖

在线阅读 下载PDF 职称材料

基于矩阵特殊运算的高阶流形单元分析 被引量：12

12

作者 林绍忠 祁勇峰 苏海东 《长江科学院院报》 CSCD 北大核心 2006年第3期36-39,共4页

在数值流形法的单元分析中广泛采用单纯形积分进行精确积分,然而在高阶数值流形法中采用单纯形积分并不容易,因为要求被积函数为显式多项式函数。采用Kronecker积、Hadamard积和拉直等矩阵特殊运算进行高阶流形单元分析,使得单元矩阵的... 在数值流形法的单元分析中广泛采用单纯形积分进行精确积分,然而在高阶数值流形法中采用单纯形积分并不容易,因为要求被积函数为显式多项式函数。采用Kronecker积、Hadamard积和拉直等矩阵特殊运算进行高阶流形单元分析,使得单元矩阵的推导过程简单且被积函数易表示为多项式形式。在此基础上,开发了三维弹性连续体静力分析的高阶数值流形法程序。通过实例验证了公式和程序的正确性。 展开更多

关键词 数值流形法 高阶覆盖函数 单元分析 矩阵特殊运算 单纯形积分

在线阅读 下载PDF 职称材料

高低阶覆盖函数混合的数值流形方法 被引量：10

13

作者 邓安福 朱爱军 曾祥勇 《土木工程学报》 EI CSCD 北大核心 2006年第1期75-78,共4页

在数值流形方法中混合使用高、低阶覆盖函数可以使求解精度和求解效率之间得到协调。同时,高低阶覆盖函数混合使用也体现了数值流形方法本身的灵活性和对复杂问题的适应性。本文详细推导了混合使用高、低阶覆盖函数的流形单元的数值计... 在数值流形方法中混合使用高、低阶覆盖函数可以使求解精度和求解效率之间得到协调。同时,高低阶覆盖函数混合使用也体现了数值流形方法本身的灵活性和对复杂问题的适应性。本文详细推导了混合使用高、低阶覆盖函数的流形单元的数值计算格式,有利于数值流形方法的程序实现和工程应用,并通过岩土工程中地基变形的计算证明了方法的可靠性和有效性。 展开更多

关键词 数值流形方法 低阶覆盖函数 高阶覆盖函数

在线阅读 下载PDF 职称材料

高阶数值流形方法的初应力公式 被引量：5

14

作者 苏海东 崔建华 谢小玲 《计算力学学报》 EI CAS CSCD 北大核心 2010年第2期270-274,共5页

高阶数值流形方法和高阶DDA方法可以显著提高结构变形的计算精度,但目前涉及几何非线性问题的研究成果大都计算精度差甚至不收敛,这是由高阶初应力公式的不准确或不正确引起的。本文介绍数值流形方法的大变形计算格式,基于平面三角形数... 高阶数值流形方法和高阶DDA方法可以显著提高结构变形的计算精度,但目前涉及几何非线性问题的研究成果大都计算精度差甚至不收敛,这是由高阶初应力公式的不准确或不正确引起的。本文介绍数值流形方法的大变形计算格式,基于平面三角形数学网格和多项式覆盖函数,提出高阶流形法的两种初应力处理方法,首次导出了高阶初应力的准确公式。该公式在分步计算的初应力累加中考虑了大变形结构的构形变化,并将初应力表示成多项式函数形式以满足单纯形积分的要求。文中给出的悬臂梁大变形数值算例与理论解的对比结果证明了方法的正确性。本文的方法和公式也适用于三维四面体数学网格,稍加修改后将可应用于高阶DDA方法和常规的有限元方法。 展开更多

关键词 数值流形方法 高阶多项式覆盖函数 大变形 初应力 单纯形积分

在线阅读 下载PDF 职称材料

基于距离走动校正和多普勒高阶项补偿的高超音速目标检测方法 被引量：13

15

作者 谢纪岭 王彩云 《宇航学报》 EI CAS CSCD 北大核心 2011年第9期2002-2008,共7页

针对机载雷达对高超音速运动目标的检测性能下降问题,首先建立了高超音速运动目标回波信号模型,在此基础上定量分析了目标高超音速运动引起的跨距离单元走动和多普勒频率时变现象。经过详细推导,利用Keystone变换法完成了回波的跨距离... 针对机载雷达对高超音速运动目标的检测性能下降问题,首先建立了高超音速运动目标回波信号模型,在此基础上定量分析了目标高超音速运动引起的跨距离单元走动和多普勒频率时变现象。经过详细推导,利用Keystone变换法完成了回波的跨距离单元走动校正,并将基于高阶模糊度函数的参数估计技术应用于高超音速目标多普勒参量估计中,补偿多普勒高阶项后进行相参积累处理。通过计算机仿真证明了所提方法的有效性。 展开更多

关键词 机载雷达 高超音速运动目标检测 KEYSTONE变换 高阶模糊度函数

在线阅读 下载PDF 职称材料

结合高阶矢量FE/BI方法的快速WCAWE计算 被引量：1

16

作者 班永灵 聂在平 于哲峰 《电子学报》 EI CAS CSCD 北大核心 2007年第1期170-174,共5页

将矢量有限元/边界积分混合方法(FE/BI)用于背腔式贴片天线的输入阻抗建模,在FE/BI方法中,采用基于六面体网格(hexahe dron)的高阶矢量基函数(higher order vector basis functions)展开未知场分量;结合高阶矢量FE/BI,采用最近发展起来... 将矢量有限元/边界积分混合方法(FE/BI)用于背腔式贴片天线的输入阻抗建模,在FE/BI方法中,采用基于六面体网格(hexahe dron)的高阶矢量基函数(higher order vector basis functions)展开未知场分量;结合高阶矢量FE/BI,采用最近发展起来的WCAWE技术(Well-Conditioned Asymptotic Waveform Evaluation)实现了贴片天线输入阻抗的快速计算;WCAWE技术通过正交化的方式获得低阶模型,这种方式避免了Arnoldi等子空间技术增加矩阵尺度的缺点,同时也确保具有比传统的AWE更好的频带展宽特性;关于输入阻抗计算的数值结果将证明WCAWE技术的优势. 展开更多

关键词 高阶矢量基函数 矢量有限元/边界积分方法(FE/BI) WCAWE 天线

在线阅读 下载PDF 职称材料

完整力学系统的高阶Hamilton方程 被引量：1

17

作者 董文山 《中国石油大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第2期152-154,162,共4页

依据Legendre变换,引入高阶Hamilton函数,得到了在力变率和高阶力变率作用下完整保守力学系统和完整非保守力学系统的高阶Hamilton方程。

关键词 保守力学系统 非保守力学系统 高阶Hamilton函数 高阶Hamilton方程

在线阅读 下载PDF 职称材料

高阶FE-BI方法及一种新型的预条件技术

18

作者 班永灵 聂在平 《电波科学学报》 EI CSCD 北大核心 2007年第2期196-203,共8页

将基于六面体网格的高阶矢量基函数(higher order vector basisfunction)引入到矢量有限元-边界积分(FE-BI)混合方法中,用于建模带有深腔和狭长缝隙结构三维目标的电磁散射特性;提出了一种新型的预条件技术,用于加速FE-BI系统的迭代求解... 将基于六面体网格的高阶矢量基函数(higher order vector basisfunction)引入到矢量有限元-边界积分(FE-BI)混合方法中,用于建模带有深腔和狭长缝隙结构三维目标的电磁散射特性;提出了一种新型的预条件技术,用于加速FE-BI系统的迭代求解;给出了结合该预条件技术的GMRES方法求解腔体电磁散射的算例;数值结果证明了高阶FE-BI方法相对于低阶FE-BI方法的优势以及新型预条件技术的有效性。 展开更多

关键词 高阶矢量基函数 有限元 边界积分 预条件 散射

在线阅读 下载PDF 职称材料

高阶数值流形方法的速度公式

19

作者 苏海东 《长江科学院院报》 CSCD 北大核心 2016年第7期121-125,131,共6页

高阶数值流形方法可以显著提高结构计算精度,但目前在涉及大位移的动力分析中往往得到精度很差、甚至不正确的速度结果。基于平面三角形数学网格和一阶多项式覆盖函数,通过一个刚体杆件旋转算例探讨其中的原因,得出必须考虑构形坐标变... 高阶数值流形方法可以显著提高结构计算精度,但目前在涉及大位移的动力分析中往往得到精度很差、甚至不正确的速度结果。基于平面三角形数学网格和一阶多项式覆盖函数,通过一个刚体杆件旋转算例探讨其中的原因,得出必须考虑构形坐标变化对速度的影响,并提出高阶流形法的3种速度处理方法及相应的高阶速度公式。该方法对一些在结点处增加广义自由度的类似方法(如广义有限元)的几何非线性问题分析也具有一定的参考价值。 展开更多

关键词 数值流形方法 高阶多项式覆盖函数 大位移 速度公式 广义自由度

在线阅读 下载PDF 职称材料

一种基于TRT-SKT-HAF的变加速目标快速相参积累算法

20

作者 陈锴 乔良 +1 位作者 李明 陈洪猛 《现代雷达》 CSCD 北大核心 2024年第2期95-102,共8页

在雷达高速机动目标的检测中,目标的运动特性会带来距离走动和多普勒徙动现象,不利于后续进行相参积累。传统算法为解决目标运动造成的影响,需要对目标的运动参数进行搜索,加大了计算量。针对上述问题,文中提出了一种基于慢时间序列反... 在雷达高速机动目标的检测中,目标的运动特性会带来距离走动和多普勒徙动现象,不利于后续进行相参积累。传统算法为解决目标运动造成的影响,需要对目标的运动参数进行搜索,加大了计算量。针对上述问题,文中提出了一种基于慢时间序列反转变换(TRT)-二阶keystone变换(SKT)-高阶模糊函数(HAF)的变加速目标快速相参积累算法。该算法通过TRT和SKT校正距离走动,利用HAF估计目标加速度并构建相位补偿函数以校正多普勒徙动。与广义Radon-Fourier变换相比,所提方法无需进行任何参数搜索,计算复杂度减少了3个数量级。仿真结果表明,所提方法在检测门限上相比于Radon分数阶模糊函数算法降低了5 dB,在低信噪比下有更好的检测性能。 展开更多

关键词 时间序列反转变换 相参积累 二阶keystone变换 高阶模糊函数法

在线阅读 下载PDF 职称材料