检索结果-维普期刊中文期刊服务平台

基于Bernstein Copula函数的随机变量序列的Max-Sum局部等价式: 1; 作者明瑞星楼振瀚 +1 位作者崔盛龚婵《数学物理学报（A辑）》 CSCD 北大核心 2024年第4期1110-1125,共16页; 该文考虑一类具有局部长尾分布,但不一定具有相同分布的随机变量序列,其联合分布由Bernstein copula函数进行联系.研究其部分和及其最大值的局部分布的渐近性质.在假设诸随机变量服从局部次指数分布的条件下,得到了Max-Sum局部等价性.... 展开更多; 关键词 Bernstein copula max-sum局部等价性局部次指数分布一次大跳原理; 在线阅读下载PDF 职称材料

服从FGM Copula的实值重尾随机游动的局部Max-Sum等价被引量：1: 2; 作者柳福祥龚婵崔盛《江西师范大学学报（自然科学版）》 CAS 北大核心 2020年第6期609-613,共5页; 该文考虑了服从FGM copula的实值重尾随机游动.在边缘分布满足一定条件下,利用局部重尾分布理论和FGM copula的有关性质研究了部分和的尾分布局部渐近性质,进而将在该相依结构下重尾随机游动的局部Max-Sum等价成立的范围由正实数推广到... 展开更多; 关键词局部重尾分布 FGM copula 局部max-sum等价; 在线阅读下载PDF 职称材料

局部紧群上概率测度卷积幂弱收敛等价性定理: 3; 作者张慧《应用概率统计》 CSCD 北大核心 2003年第1期85-91,共7页; 本文研究拓扑代数结构上概率测度的极限性质.把Kawada-Ito等人在紧群上得到的有关卷积幂弱收敛等价性的经典结果完整地推广到局部紧群上.; 关键词等价性定理局部紧群概率测度卷积幂弱收敛; 在线阅读下载PDF 职称材料

求解恰当可满足性问题的随机局部搜索算法被引量：1: 4; 作者赵星宇王晓峰 +2 位作者杨易庞立超杨澜《计算机应用》 CSCD 北大核心 2024年第3期842-848,共7页; 可满足性问题(SAT)是一种NP完全问题,被广泛运用于人工智能和机器学习等研究。恰当可满足性问题(XSAT)是SAT中一类重要的子问题。目前的大部分关于XSAT的研究主要为理论层面,对高效的求解算法特别是具有高效验证性的随机局部搜索算法研... 展开更多; 关键词随机局部搜索算法恰当可满足性问题可满足性问题基础编码等价编码; 在线阅读下载PDF 职称材料

面向等价性验证的锁存器匹配算法被引量：2: 5; 作者郑飞君杨军 +1 位作者葛海通严晓浪《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2006年第8期1293-1296,共4页; 为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法.该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配... 展开更多; 关键词等价性验证锁存器匹配局部二叉判决图目标模拟; 在线阅读下载PDF 职称材料

T_E(X)中局部方向保序变换半群的Green关系和正则性被引量：5: 6; 作者龙伟锋龙伟芳高荣海《贵州师范大学学报（自然科学版）》 CAS 2009年第2期79-82,共4页; 设X为有限集合,OPPE(X)为TE(X)中局部方向保序变换半群.研究了OPPE(X)的G reen关系与正则性.; 关键词局部方向保序保等价关系 Green关系正则性; 在线阅读下载PDF 职称材料

题名基于Bernstein Copula函数的随机变量序列的Max-Sum局部等价式: 1; 作者明瑞星楼振瀚崔盛龚婵; 机构浙江工商大学统计与数学学院三峡大学理学院三峡数学研究中心; 出处《数学物理学报（A辑）》 CSCD 北大核心 2024年第4期1110-1125,共16页; 基金浙江省重点建设高校优势特色学科(浙江工商大学统计学) 浙江工商大学“数字+”学科建设管理项目“数据资产:经济理论,价值核算,市场交易与政策创新(SZJ2022B004)” +1 种基金宜昌市大学科学研究与应用项目(A21-3-018)。; 文摘该文考虑一类具有局部长尾分布,但不一定具有相同分布的随机变量序列,其联合分布由Bernstein copula函数进行联系.研究其部分和及其最大值的局部分布的渐近性质.在假设诸随机变量服从局部次指数分布的条件下,得到了Max-Sum局部等价性.该等价性从局部和相依的角度描述了随机游动的一次大跳原理.数值实验表明所得结果稳定可行.; 关键词 Bernstein copula max-sum局部等价性局部次指数分布一次大跳原理; Keywords Bernstein copula Local max-sum equivalence Local subexponentiality Principle of a single big jump; 分类号 O175.23 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名服从FGM Copula的实值重尾随机游动的局部Max-Sum等价被引量：1: 2; 作者柳福祥龚婵崔盛; 机构三峡大学理学院; 出处《江西师范大学学报（自然科学版）》 CAS 北大核心 2020年第6期609-613,共5页; 基金国家自然科学基金(71671166) 教育部人文社科规划基金(17YJA630066)资助项目.; 文摘该文考虑了服从FGM copula的实值重尾随机游动.在边缘分布满足一定条件下,利用局部重尾分布理论和FGM copula的有关性质研究了部分和的尾分布局部渐近性质,进而将在该相依结构下重尾随机游动的局部Max-Sum等价成立的范围由正实数推广到全体实数情形.该结果在风险理论中具有一定的应用价值.; 关键词局部重尾分布 FGM copula 局部max-sum等价; Keywords local heavy-tailed distribution FGM copula local max-sum equivalence; 分类号 O211.3 [理学—概率论与数理统计]; 在线阅读下载PDF 职称材料

题名局部紧群上概率测度卷积幂弱收敛等价性定理: 3; 作者张慧; 机构山东大学数学与系统科学院; 出处《应用概率统计》 CSCD 北大核心 2003年第1期85-91,共7页; 基金国家自然科学基金资助项目(19571049).; 文摘本文研究拓扑代数结构上概率测度的极限性质.把Kawada-Ito等人在紧群上得到的有关卷积幂弱收敛等价性的经典结果完整地推广到局部紧群上.; 关键词等价性定理局部紧群概率测度卷积幂弱收敛; 分类号 O211.4 [理学—概率论与数理统计]; 在线阅读下载PDF 职称材料

题名求解恰当可满足性问题的随机局部搜索算法被引量：1: 4; 作者赵星宇王晓峰杨易庞立超杨澜; 机构北方民族大学计算机科学与工程学院图像图形智能处理国家民委重点实验室(北方民族大学); 出处《计算机应用》 CSCD 北大核心 2024年第3期842-848,共7页; 基金国家自然科学基金资助项目(62062001) 宁夏青年拔尖人才项目(2021)。; 文摘可满足性问题(SAT)是一种NP完全问题,被广泛运用于人工智能和机器学习等研究。恰当可满足性问题(XSAT)是SAT中一类重要的子问题。目前的大部分关于XSAT的研究主要为理论层面,对高效的求解算法特别是具有高效验证性的随机局部搜索算法研究很少。针对以上问题,分析了基础编码和等价编码两种转化方式的公式的部分性质,提出一种直接求解XSAT的随机局部搜索算法WalkXSAT。首先使用随机局部搜索框架进行基础搜索与条件判定;其次加入变元所属文字的恰当不可满足计分值,优先处理不易恰当满足的变元;然后使用防重复选择翻转变元的启发式策略减小搜索空间;最后,采用多种来源以及多种格式的实例进行对比实验。在直接求解XSAT时,相较于ProbSAT,WalkXSAT的变元翻转次数与求解时间显著减少;在求解基础编码转化后的实例中,当实例变元规模大于100时,ProbSAT已失效,而WalkXSAT依然能够在短时间内求解。实验结果表明,所提WalkXSAT精确性高、稳定性强、收敛快。; 关键词随机局部搜索算法恰当可满足性问题可满足性问题基础编码等价编码; Keywords stochastic local search algorithm Exact SATisfiability problem(XSAT) SATisfiability problem(SAT) basic encoding equivalent encoding; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向等价性验证的锁存器匹配算法被引量：2: 5; 作者郑飞君杨军葛海通严晓浪; 机构浙江大学超大规模集成电路设计研究所; 出处《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2006年第8期1293-1296,共4页; 基金国家自然科学基金资助项目(90207002); 文摘为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法.该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配,提出的局部二叉判决图技术降低了发生内存爆炸的可能性,目标模拟则针对性地对锁存器作进一步的划分.ISCAS89电路实验结果表明,该算法与模拟和自动测试矢量生成等方法相比,在运行时间、占用内存和匹配精度等方面均体现出有效性,可用于处理较大规模的时序电路验证问题.; 关键词等价性验证锁存器匹配局部二叉判决图目标模拟; Keywords equivalence checking latch mapping local BDD target simulation; 分类号 TN402 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名T_E(X)中局部方向保序变换半群的Green关系和正则性被引量：5: 6; 作者龙伟锋龙伟芳高荣海; 机构贵州师范大学数学与计算机科学学院; 出处《贵州师范大学学报（自然科学版）》 CAS 2009年第2期79-82,共4页; 基金贵州师范大学学生科研研究基金; 文摘设X为有限集合,OPPE(X)为TE(X)中局部方向保序变换半群.研究了OPPE(X)的G reen关系与正则性.; 关键词局部方向保序保等价关系 Green关系正则性; Keywords partially preserving orientation preserving equivalence relation Green＇ s relations regularity; 分类号 O152.7 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于Bernstein Copula函数的随机变量序列的Max-Sum局部等价式	明瑞星楼振瀚崔盛龚婵	《数学物理学报（A辑）》 CSCD 北大核心	2024	0	在线阅读下载PDF 职称材料
2	服从FGM Copula的实值重尾随机游动的局部Max-Sum等价	柳福祥龚婵崔盛	《江西师范大学学报（自然科学版）》 CAS 北大核心	2020	1	在线阅读下载PDF 职称材料
3	局部紧群上概率测度卷积幂弱收敛等价性定理	张慧	《应用概率统计》 CSCD 北大核心	2003	0	在线阅读下载PDF 职称材料
4	求解恰当可满足性问题的随机局部搜索算法	赵星宇王晓峰杨易庞立超杨澜	《计算机应用》 CSCD 北大核心	2024	1	在线阅读下载PDF 职称材料
5	面向等价性验证的锁存器匹配算法	郑飞君杨军葛海通严晓浪	《浙江大学学报（工学版）》 EI CAS CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
6	T_E(X)中局部方向保序变换半群的Green关系和正则性	龙伟锋龙伟芳高荣海	《贵州师范大学学报（自然科学版）》 CAS	2009	5	在线阅读下载PDF 职称材料