期刊文献+
共找到89篇文章
< 1 2 5 >
每页显示 20 50 100
动态顺序统计树类结构的函数式建模及其自动化验证
1
作者 左正康 刘增鑫 +2 位作者 柯雨含 游珍 王昌晶 《软件学报》 北大核心 2025年第8期3531-3553,共23页
动态顺序统计树结构是一类融合了动态集合、顺序统计量以及搜索树结构特性的数据结构,支持高效的数据检索操作,广泛应用于数据库系统、内存管理和文件管理等领域.然而,当前工作侧重讨论结构不变性,如平衡性,而忽略了功能正确性的讨论.... 动态顺序统计树结构是一类融合了动态集合、顺序统计量以及搜索树结构特性的数据结构,支持高效的数据检索操作,广泛应用于数据库系统、内存管理和文件管理等领域.然而,当前工作侧重讨论结构不变性,如平衡性,而忽略了功能正确性的讨论.且现有研究方法主要针对具体的算法程序进行手工推导或交互式机械化验证,缺乏成熟且可靠的通用验证模式,自动化水平较低.为此,设计动态顺序统计搜索树类结构的Isabelle函数式建模框架和自动化验证框架,构建经过验证的通用验证引理库,可以节省开发人员验证代码的时间和成本.基于函数式建模框架,选取不平衡的二叉搜索树、平衡的二叉搜索树(以红黑树为代表)和平衡的多叉搜索树(以2−3树为代表)作为实例化的案例来展示.借助自动验证框架,多个实例化案例可自动验证,仅需要使用归纳法并调用一次auto方法或使用try命令即可,为复杂数据结构算法功能和结构正确性的自动化验证提供了参考. 展开更多
关键词 动态顺序统计 搜索树 函数式建模 自动化验证 Isabelle定理证明器
在线阅读 下载PDF
一般指数帕累托分布下最大顺序统计量的比较
2
作者 杨永红 张正成 《应用概率统计》 CSCD 北大核心 2024年第3期365-377,共13页
本文研究了基于齐次指数或者异质指数帕累托分布下样本的最大顺序统计量的随机比较问题,给出了当总体分布关于参数存在某些序条件下最大顺序统计量之间随机比较的一些充分条件.
关键词 最大顺序统计 指数帕累托分布 似然比顺序 优化序
在线阅读 下载PDF
一种基于顺序统计量的距离扩展目标检测器 被引量:25
3
作者 戴奉周 刘宏伟 吴顺君 《电子与信息学报》 EI CSCD 北大核心 2009年第10期2488-2492,共5页
该文提出一种高斯白噪声中的距离扩展目标检测器。实际目标的宽带雷达回波能量往往集中于若干距离单元中,基于这一事实,对检测窗内的回波数据按能量降序进行排列,然后顺序进行能量积累和检测,直到做出判决为止。文中详细推导了检测器的... 该文提出一种高斯白噪声中的距离扩展目标检测器。实际目标的宽带雷达回波能量往往集中于若干距离单元中,基于这一事实,对检测窗内的回波数据按能量降序进行排列,然后顺序进行能量积累和检测,直到做出判决为止。文中详细推导了检测器的虚警概率,给出了设置检测门限的方法。最后通过Monte Carlo实验,利用两类特殊能量分布方式的距离像和一个实际目标的实测距离像,对比分析了该文提出的基于顺序统计量的距离扩展目标检测器相对于能量积累检测器的性能。对于回波能量集中于少数距离单元的距离像,该文提出的检测器比能量检测器具有更好的检测性能。 展开更多
关键词 目标检测 距离扩展目标 顺序统计 恒虚警率
在线阅读 下载PDF
基于Mel倒谱特征顺序统计滤波的语音端点检测算法 被引量:17
4
作者 陈振锋 吴蔚澜 +1 位作者 刘加 夏善红 《中国科学院大学学报(中英文)》 CAS CSCD 北大核心 2014年第4期524-529,共6页
为提高噪声环境下语音端点检测的准确性,提出一种基于Mel倒谱距离顺序统计滤波的端点检测算法.该算法首先提取每帧语音信号的Mel频率倒谱系数,以前16帧估算背景噪声,计算每帧语音与背景噪声的倒谱距离;然后将当前帧前后相继若干帧的倒... 为提高噪声环境下语音端点检测的准确性,提出一种基于Mel倒谱距离顺序统计滤波的端点检测算法.该算法首先提取每帧语音信号的Mel频率倒谱系数,以前16帧估算背景噪声,计算每帧语音与背景噪声的倒谱距离;然后将当前帧前后相继若干帧的倒谱距离,经过一组顺序统计滤波器得到加权倒谱距离;最后根据各帧加权倒谱距离对输入语音进行分类.在TIMIT语音库上的实验结果表明,该方法在白噪声、粉噪声、汽车噪声和战斗机噪声等噪声环境下,均能得到理想的端点检测结果,且在低信噪比时依然有效. 展开更多
关键词 倒谱特征 顺序统计滤波 语音端点检测 高噪声 MFCC
在线阅读 下载PDF
顺序统计量在小样本检验中的理论和方法研究 被引量:6
5
作者 潘高田 潘峰 +1 位作者 王晖 杨雷 《工程数学学报》 CSCD 北大核心 2005年第2期301-306,共6页
本文研究了均匀分布、指数分布和正态分布的顺序统计量的差商序列概率分布。讨论了它们在小样本检验问题中的应用。该理论和方法对武器装备小样本检验具有一定的意义。
关键词 顺序统计 小样本 指数分布 差商 均匀分布 正态分布 概率分布 检验 方法研究 序列
在线阅读 下载PDF
基于顺序统计的窄带通信辐射源指纹特征抽取方法 被引量:7
6
作者 唐智灵 杨小牛 李建东 《电子与信息学报》 EI CSCD 北大核心 2011年第5期1224-1228,共5页
该文提出将窄带射频功率放大器的静态非线性特性作为窄带无线通信设备的"指纹"特征。为了在未知放大器输入的前提下提取特征量,首先建立静态非线性的Hammerstein模型,然后分白化采样信号和估计泰勒级数的系数两个步骤提取特... 该文提出将窄带射频功率放大器的静态非线性特性作为窄带无线通信设备的"指纹"特征。为了在未知放大器输入的前提下提取特征量,首先建立静态非线性的Hammerstein模型,然后分白化采样信号和估计泰勒级数的系数两个步骤提取特征。应用顺序统计的方法将白化信号转换为单调递增序列,通过最小二乘法对顺序统计结果做线性回归,得到泰勒级数的系数并作为个体特征量。通过数值仿真的方法提取了4种射频功率放大器模型的指纹特征,结果表明该文所提出的算法能够在特征空间中有效地识别不同的窄带射频功放。 展开更多
关键词 窄带通信 指纹识别 顺序统计 非线性
在线阅读 下载PDF
大样本顺序统计量均值、方差和协方差计算与验证 被引量:8
7
作者 傅惠民 林逢春 《机械强度》 EI CAS CSCD 北大核心 2007年第1期48-52,共5页
顺序统计量在可靠性评估和寿命预测中有广泛的应用。目前,样本容量较小时的顺序统计量均值、方差和协方差的数值计算已得到很好的解决,但是,由于计算精度问题,样本容量较大时的顺序统计量均值、方差和协方差的数值计算尚未得到完全解决... 顺序统计量在可靠性评估和寿命预测中有广泛的应用。目前,样本容量较小时的顺序统计量均值、方差和协方差的数值计算已得到很好的解决,但是,由于计算精度问题,样本容量较大时的顺序统计量均值、方差和协方差的数值计算尚未得到完全解决。对此,文中首先从理论上推导出特殊情况下极值分布顺序统计量均值和方差计算的解析表达式,以及正态分布顺序统计量均值、方差和协方差的简化计算公式,为数值计算结果提供验证依据。然后,通过大量数值计算与验证表明,目前微机的运算速度与精度已经可以实现大样本顺序统计量均值、方差和协方差的高精度计算。文中还给出部分顺序统计量数字特征的积分计算与验证结果。 展开更多
关键词 顺序统计 均值 方差 协方差 可靠性 寿命预测
在线阅读 下载PDF
双截尾的Cauchy分布顺序统计量的渐近分布 被引量:10
8
作者 匡能晖 陈勇 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第3期385-388,共4页
设{Xk,1≤k≤n}独立同分布,X1:n,X2:n,…,Xn:n为其顺序统计量。当Xk服从参数为A和B(A<B)的双截尾的Cauchy分布时,得到其极端顺序统计量X1:n和Xn:n的渐近分布;当k(k>1)固定时,得到Xk:n和Xn-k+1:n的渐近分布;并且证明其极端顺序统计... 设{Xk,1≤k≤n}独立同分布,X1:n,X2:n,…,Xn:n为其顺序统计量。当Xk服从参数为A和B(A<B)的双截尾的Cauchy分布时,得到其极端顺序统计量X1:n和Xn:n的渐近分布;当k(k>1)固定时,得到Xk:n和Xn-k+1:n的渐近分布;并且证明其极端顺序统计量X1:n和Xn:n是渐近独立的。 展开更多
关键词 双截尾的Cauchy分布 顺序统计 渐近分布 渐近独立
在线阅读 下载PDF
改进的加权顺序统计量滤波器快速优化算法 被引量:3
9
作者 宋焕生 梁德群 刘春阳 《西安交通大学学报》 EI CAS CSCD 北大核心 1997年第1期44-48,共5页
提出一种改进的加权顺序统计量滤波器(WOS)快速迭代优化算法.与Yin算法相比,文中算法具有收敛速度快,以及收敛结果更接近全局最优的优点.
关键词 非线性滤波 顺序统计 滤波器 优化算法
在线阅读 下载PDF
自适应顺序统计滤波在地震资料处理中的应用 被引量:6
10
作者 陈仲委 尧德中 《石油地球物理勘探》 EI CSCD 北大核心 2006年第3期271-274,共4页
本文介绍了基于信号局部统计性质的、能同时压制加性高斯噪声和脉冲噪声的自适应顺序统计滤波器的基本原理。为了进一步强化滤波器保护同相轴细节的能力,文中将自适应顺序统计滤波器与加权中值滤波器相结合,针对地震资料实际情况,分别... 本文介绍了基于信号局部统计性质的、能同时压制加性高斯噪声和脉冲噪声的自适应顺序统计滤波器的基本原理。为了进一步强化滤波器保护同相轴细节的能力,文中将自适应顺序统计滤波器与加权中值滤波器相结合,针对地震资料实际情况,分别对地震剖面噪声方差的估计、自适应系数的计算以及加权中值滤波的权的设计等进行了研究,并研制了相应的软件;用实际资料对该方法进行检验,结果证明该方法有效而实用。 展开更多
关键词 顺序统计滤波 自适应L滤波器 数据处理 非线性滤波 加权中值滤波 信噪比
在线阅读 下载PDF
关于两参数瑞利分布顺序统计量的分布性质 被引量:19
11
作者 匡能晖 《江西师范大学学报(自然科学版)》 CAS 北大核心 2009年第6期648-651,共4页
利用二项式展开定理,讨论了两参数瑞利分布顺序统计量的分布性质,得到了其顺序统计量的联合概率密度函数和极端顺序统计量的密度函数及其数学期望与方差的表达式,此外还证明了其顺序统计量的样本间隔不独立,且不同分布.
关键词 两参数瑞利分布 顺序统计 数学期望 方差
在线阅读 下载PDF
关于三参数威布尔分布顺序统计量的概率分布性质探讨 被引量:3
12
作者 姜培华 范国良 《统计与决策》 CSSCI 北大核心 2015年第6期27-30,共4页
设{X_k,1≤k≤n}独立同分布,X_(1),X_(2),…,X_(n)为其顺序统计量,当总体服从参数为(μ,m,η)的威布尔分布时,文章得到了其顺序统计量的联合概率密度、极端顺序统计量的概率密度和期望与方差的表达式。证明了当参数m≠1时样本间隔不独... 设{X_k,1≤k≤n}独立同分布,X_(1),X_(2),…,X_(n)为其顺序统计量,当总体服从参数为(μ,m,η)的威布尔分布时,文章得到了其顺序统计量的联合概率密度、极端顺序统计量的概率密度和期望与方差的表达式。证明了当参数m≠1时样本间隔不独立且不同分布,当参数m=1时样本间隔独立不同分布,并由此构造一组独立同分布的指数随机变量exp(1).还探讨了其最小顺序统计量X_(1)的渐近分布。 展开更多
关键词 顺序统计 威布尔分布 三参数 数学期望 方差 渐近分布
在线阅读 下载PDF
三参数的Pareto分布顺序统计量的分布性质 被引量:9
13
作者 匡能晖 《郑州大学学报(理学版)》 CAS 北大核心 2011年第2期10-15,共6页
设{Xk,1≤k≤n}独立同分布,X1:n,X2:n,…,Xn:n为其顺序统计量,当Xk服从三参数分别为μ,σ,r(μ∈R,σ>0,r>0)的Pareto分布时,得到了(X1:n,X2:n,…,Xn:n)的联合概率密度函数,以及Xk:n(1≤k≤n)的密度函数,从而进一步得到Xk:n的q(q&... 设{Xk,1≤k≤n}独立同分布,X1:n,X2:n,…,Xn:n为其顺序统计量,当Xk服从三参数分别为μ,σ,r(μ∈R,σ>0,r>0)的Pareto分布时,得到了(X1:n,X2:n,…,Xn:n)的联合概率密度函数,以及Xk:n(1≤k≤n)的密度函数,从而进一步得到Xk:n的q(q<1r为正整数)阶原点矩E(Xqk:n)的精确表达式.证明了其顺序统计量的样本间隔X1:n,X2:n-X1:n,…,Xn:n-Xn-1:n不独立,且不同分布.此外还研究了其极端顺序统计量X1:n和Xn:n的渐近分布. 展开更多
关键词 PARETO分布 三参数 顺序统计 原点矩 渐近分布
在线阅读 下载PDF
指数分布参数基于部分顺序统计量的区间估计 被引量:2
14
作者 杨艳秋 宋立新 《统计与决策》 CSSCI 北大核心 2015年第6期18-20,共3页
对于指数分布,文章利用样本的部分顺序统计量构造了一种枢轴量。求出精确的抽样分布,并研究了Fisher信息量,进而可以进行参数的区间估计。
关键词 指数分布 顺序统计 枢轴量 抽样分布 FISHER信息量 区间估计
在线阅读 下载PDF
基于顺序统计滤波和二元积累的辐射源信号检测方法 被引量:7
15
作者 赵忠凯 弓浩 张然 《系统工程与电子技术》 EI CSCD 北大核心 2022年第4期1085-1092,共8页
现代雷达采用宽带线性调频、相位编码等低截获概率(low probability of interception,LPI)波形,发射功率较低,到达侦察接收机的辐射源信号信噪比较低,给被动侦察带来了巨大的挑战。现有的被动检测方法在检测该类信号时,存在一定的局限性... 现代雷达采用宽带线性调频、相位编码等低截获概率(low probability of interception,LPI)波形,发射功率较低,到达侦察接收机的辐射源信号信噪比较低,给被动侦察带来了巨大的挑战。现有的被动检测方法在检测该类信号时,存在一定的局限性,比如算法复杂度高、计算量大和实时性较差等。针对上述问题,提出了一种辐射源信号检测方法。在数字信道化预处理的基础上,设计了适合在工程实现的并行流水线结构,基于顺序统计滤波和二元积累完成检测,提高了检测速度,能够实现对低信噪比信号的恒虚警(constant false alarm rate,CFAR)检测。仿真试验证明了所提方法的有效性和正确性,为辐射源信号检测提供了有力的理论支撑。 展开更多
关键词 顺序统计滤波 二元积累 恒虚警 低信噪比 数字信道化
在线阅读 下载PDF
正态分布基于顺序统计量的一个结果 被引量:1
16
作者 朱宏 吕恕 《电子科技大学学报》 EI CAS CSCD 北大核心 1995年第3期313-316,共4页
关于正态分布总体给出了由两顺序统计量构成的一个函数,并讨论了其概率分布。这个结果可用于不完全的样本数据以及样本中可能存在异常值时,正态总体位置参数的区间估计。
关键词 正态分布 顺序统计 位置参数 异常值 置信区间
在线阅读 下载PDF
混合指数分布顺序统计量的性质(英文) 被引量:3
17
作者 匡能晖 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2011年第2期135-139,共5页
设{Xs,1≤s≤n}独立同分布,X1:n,X2:n,…,Xn:n为其顺序统计量.当Xs服从参数分别为p(0<p<1),λ1,λ2(0<λ1≤λ2)的混合指数分布时,得到了Xs:n的q(q为正整数)阶原点矩E(Xsq:n)(1≤s≤n)的精确表达式.证明了其顺序统计量的样本... 设{Xs,1≤s≤n}独立同分布,X1:n,X2:n,…,Xn:n为其顺序统计量.当Xs服从参数分别为p(0<p<1),λ1,λ2(0<λ1≤λ2)的混合指数分布时,得到了Xs:n的q(q为正整数)阶原点矩E(Xsq:n)(1≤s≤n)的精确表达式.证明了其顺序统计量的样本间隔不独立,且不同分布.此外还研究了其极端顺序统计量X1:n和Xn:n的渐近分布. 展开更多
关键词 混合指数分布 顺序统计 原点矩 渐近分布
在线阅读 下载PDF
关于Gamma分布顺序统计量的分布性质 被引量:3
18
作者 匡能晖 《兰州理工大学学报》 CAS 北大核心 2010年第3期166-168,共3页
设{Xk,1≤k≤n}独立同分布,X(1),X(2),…,X(n)为其顺序统计量.当Xk服从参数为λ(λ>0)和r(r为正整数)的Gamma分布时,得到(X(1),X(2),…,X(n))的联合概率密度函数,及X(1)和X(n)的密度函数.从而进一步得到X(1)和X(n)的数学期望与方差... 设{Xk,1≤k≤n}独立同分布,X(1),X(2),…,X(n)为其顺序统计量.当Xk服从参数为λ(λ>0)和r(r为正整数)的Gamma分布时,得到(X(1),X(2),…,X(n))的联合概率密度函数,及X(1)和X(n)的密度函数.从而进一步得到X(1)和X(n)的数学期望与方差的表达式.证明当r≠1时,X(1),X(2)-X(1),…,X(n)-X(n-1)不独立,且不同分布. 展开更多
关键词 GAMMA分布 顺序统计 数学期望 方差
在线阅读 下载PDF
双参数指数分布顺序统计量的矩及渐近分布探讨 被引量:2
19
作者 姜培华 《统计与决策》 CSSCI 北大核心 2015年第12期10-12,共3页
设{Xk,1≤k≤n}独立同分布,X(1)≤X(2)≤…≤X(n)为其顺序统计量。当总体服从双参数指数分布exp(μ,σ)时,得到了其顺序统计量的联合概率密度函数、极端顺序统计量的密度函数和极差的概率分布;给出了顺序统计量X(k)(1≤k≤n)与极差Rn的... 设{Xk,1≤k≤n}独立同分布,X(1)≤X(2)≤…≤X(n)为其顺序统计量。当总体服从双参数指数分布exp(μ,σ)时,得到了其顺序统计量的联合概率密度函数、极端顺序统计量的密度函数和极差的概率分布;给出了顺序统计量X(k)(1≤k≤n)与极差Rn的高阶原点矩的精确表达式。此外还研究了极端顺序统计量X(1)和X(n)的渐近分布。 展开更多
关键词 顺序统计 双参数指数分布 原点矩 渐近分布
在线阅读 下载PDF
三参数BurrⅫ分布顺序统计量的矩及渐近分布 被引量:1
20
作者 姜培华 《统计与决策》 CSSCI 北大核心 2015年第20期74-76,共3页
文章设{X_k,1≤k≤n}独立同分布,X_((1))≤X_((2))≤…≤X_((n))为其顺序统计量。当总体服从三参数BurrⅫ分布时,得到了其极端顺序统计量的概率密度函数,给出了顺序统计量X_((k))(1≤k≤n)的高阶原点矩的精确表达式。此外还研究了极端... 文章设{X_k,1≤k≤n}独立同分布,X_((1))≤X_((2))≤…≤X_((n))为其顺序统计量。当总体服从三参数BurrⅫ分布时,得到了其极端顺序统计量的概率密度函数,给出了顺序统计量X_((k))(1≤k≤n)的高阶原点矩的精确表达式。此外还研究了极端顺序统计量X_((1))和X_((n))的渐近分布。 展开更多
关键词 顺序统计 三参数Burr Ⅻ分布 原点矩 渐近分布
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部