期刊文献+
共找到41篇文章
< 1 2 3 >
每页显示 20 50 100
Improved Berry-Esseen Bound for Rademacher Sum
1
作者 MA li YE Liu HAN Xin-Fang 《应用概率统计》 CSCD 北大核心 2024年第6期910-941,共32页
Let X=Σ_(i=1)^(n)a_(i)ξ_(i)be a Rademacher sum with Var(X)=1 and Z be a standard normal random variable.This paper concerns the upper bound of|P(X≤x)−P(Z≤x)|for any x∈R.Using the symmetric properties and R softwa... Let X=Σ_(i=1)^(n)a_(i)ξ_(i)be a Rademacher sum with Var(X)=1 and Z be a standard normal random variable.This paper concerns the upper bound of|P(X≤x)−P(Z≤x)|for any x∈R.Using the symmetric properties and R software,this paper gets the following improved Berry-Esseen type bound under some conditions,|P(X≤x)−P(Z≤x)|≤P(Z∈(0,a1)),∀x∈R,which is one of the modified conjecture proposed by Nathan K.and Ohad K. 展开更多
关键词 sum of i.i.d.random variables standard normal distribution QUANTILE Berry-Esseen upper bound
在线阅读 下载PDF
土质边坡的单元失效概率与失效模式研究 被引量:4
2
作者 彭普 李泽 +2 位作者 张小艳 申林方 许芸 《工程力学》 EI CSCD 北大核心 2024年第1期193-207,共15页
土质边坡系统失效概率与土体抗剪强度参数以及地下水位息息相关,在传统边坡可靠度分析中一般只考虑了土体抗剪强度参数的变异性,忽略了地下水位随机性带来的影响。该文将有限元离散技术、上限法理论、相关非高斯随机场模拟方法以及随机... 土质边坡系统失效概率与土体抗剪强度参数以及地下水位息息相关,在传统边坡可靠度分析中一般只考虑了土体抗剪强度参数的变异性,忽略了地下水位随机性带来的影响。该文将有限元离散技术、上限法理论、相关非高斯随机场模拟方法以及随机规划理论结合起来研究随机地下水位作用下考虑参数空间变异性的边坡系统失效概率。采用有限单元离散边坡土体,将边坡地下水位作为随机变量并考虑土体抗剪参数的空间变异性,基于塑性极限分析上限法构建边坡可靠度分析的随机规划模型;采用基于蒙特卡洛的迭代方法进行求解,得到边坡稳定性系数和速度场;根据边坡中单元的失效信息首次采用AP聚类分析方法来估算边坡的系统失效概率,发展了边坡系统可靠度分析理论。对一个经典的边坡算例进行了系统分析并与极限平衡分析方法、有限元方法结果进行对比,结果表明:随机地下水位作用下考虑参数空间变异性时,边坡存在多种失效模式,AP聚类分析方法可以根据失效单元的位置信息识别出边坡所有失效模式以及对应的失效概率;基于Matlab编制了高效的上限法并行程序,大大提高了计算效率。 展开更多
关键词 边坡 可靠度 空间变异性 随机地下水位 上限法
在线阅读 下载PDF
关于函数方程的可测解
3
作者 杨森 《鞍山师范学院学报》 2024年第4期1-5,共5页
可测函数类比连续函数类包含更多的函数.已知的结果是在连续函数类内,线性函数、指数函数、余弦函数、正弦函数可以分别被一组函数方程特征刻画.利用勒贝格积分的绝对连续性、勒贝格微分定理及卢津定理,证明在可测函数类内这些特征刻画... 可测函数类比连续函数类包含更多的函数.已知的结果是在连续函数类内,线性函数、指数函数、余弦函数、正弦函数可以分别被一组函数方程特征刻画.利用勒贝格积分的绝对连续性、勒贝格微分定理及卢津定理,证明在可测函数类内这些特征刻画仍然成立. 展开更多
关键词 实变函数 可测函数 绝对连续 变上限积分 卢津定理
在线阅读 下载PDF
永磁同步电机滑模变结构鲁棒控制 被引量:33
4
作者 崔家瑞 高江峰 +1 位作者 张波 李擎 《电机与控制学报》 EI CSCD 北大核心 2016年第5期84-89,共6页
为了克服常规PID速度控制器的缺点,有效抑制状态变量的超调问题,加快转子的收敛速度,增强系统的抗干扰性,提出了一种用于表面式永磁同步电动机的上下界滑模变结构速度控制器。与常规PID速度控制器不同,该控制器将速度误差与系统状态量... 为了克服常规PID速度控制器的缺点,有效抑制状态变量的超调问题,加快转子的收敛速度,增强系统的抗干扰性,提出了一种用于表面式永磁同步电动机的上下界滑模变结构速度控制器。与常规PID速度控制器不同,该控制器将速度误差与系统状态量的变化相关联,通过预设负载转矩的上下界值来实时改进滑模控制率。该控制器可取代常规PID控制器应用于永磁同步电动机矢量调速系统中。仿真和实验结果表明,基于上下界的滑模变结构控制器能够有效地提高系统的静态、动态特性与鲁棒性。 展开更多
关键词 表面式永磁同步电机 上下界 控制器 滑模变结构
在线阅读 下载PDF
不同饱和度下破碎软岩隧道掌子面破坏范围上限分析 被引量:15
5
作者 杨子汉 杨小礼 +1 位作者 张佳华 李永鑫 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2015年第6期2267-2273,共7页
基于构建的隧道掌子面二维多块体滑移破坏模式,将非线性Hoek-Brown准则与软岩强度随饱和度变化关系相结合,借助极限分析原理和数值优化手段,提出一种在不同饱和度下估算隧道掌子面破坏范围的计算方法。以广西瑶寨隧道突水突泥事故作为算... 基于构建的隧道掌子面二维多块体滑移破坏模式,将非线性Hoek-Brown准则与软岩强度随饱和度变化关系相结合,借助极限分析原理和数值优化手段,提出一种在不同饱和度下估算隧道掌子面破坏范围的计算方法。以广西瑶寨隧道突水突泥事故作为算例,计算得到不同饱和度下隧道掌子面的破坏范围。研究结果表明:岩体的抗压强度随饱和度的提高逐渐减小,且通过参数转换得到的黏聚力与内摩擦角也随之减小;隧道掌子面破坏范围和支护力随饱和度的增大而增大;当饱和度为0.8时,破坏面已延伸至地表,此时维持掌子面稳定的最小支护压力为651.541 k Pa;在破坏面扩大延伸的过程中,若不采取相应的处理措施,则隧道掌子面将产生突水突泥、塌方等地质灾害。该方法最大的优点是凭借少量的试验参数就能确定隧道掌子面的破坏范围,可作为隧道设计施工中的一种估算方法。 展开更多
关键词 破碎软岩 隧道掌子面 饱和度 上限分析 突水突泥
在线阅读 下载PDF
基于上限分析的边坡稳定可靠性评估 被引量:10
6
作者 苏永华 李帅 +1 位作者 方砚兵 苏雅 《工程地质学报》 CSCD 北大核心 2019年第2期451-458,共8页
从塑性极限分析出发,基于上限分析构建边坡极限状态可靠度计算模型;针对状态函数高度非线性导致常规可靠度方法求解时存在困难的问题,将响应面模型作为极限状态函数与可靠度计算间"桥梁",利用二次正交原理优化取样点,建立考... 从塑性极限分析出发,基于上限分析构建边坡极限状态可靠度计算模型;针对状态函数高度非线性导致常规可靠度方法求解时存在困难的问题,将响应面模型作为极限状态函数与可靠度计算间"桥梁",利用二次正交原理优化取样点,建立考虑参数相关性的二次响应面替代函数。利用JC法直接求得边坡可靠指标的一个上限解,讨论了单个及多个参数变异性对边坡可靠度的影响。 展开更多
关键词 边坡工程 可靠度 二次正交回归试验 上限分析 变异性
在线阅读 下载PDF
有界变量线性规划的基线算法 被引量:2
7
作者 徐裕生 卢志义 张俊敏 《运筹与管理》 CSCD 2006年第1期25-28,共4页
本文对有界变量线性规划的算法进行了研究,得到了一种解此问题的新算法。文中根据基线算法的算法原理,通过对BL表的旋转,在各变量满足界约束的条件下,使目标函数值不断增大,直至得到有界硬上界,从而得到问题的最优解。文中给出了有界变... 本文对有界变量线性规划的算法进行了研究,得到了一种解此问题的新算法。文中根据基线算法的算法原理,通过对BL表的旋转,在各变量满足界约束的条件下,使目标函数值不断增大,直至得到有界硬上界,从而得到问题的最优解。文中给出了有界变量线性规划基线算法的计算步骤,并给出了一个例子。与单纯形法相比,采用基线算法解有界变量线性规划操作更简单,迭代次数少,解题速度更快。 展开更多
关键词 运筹学 线性规划 基线算法 有界变量 硬上界
在线阅读 下载PDF
基于上限分析原理的岩溶桩基破坏模式与极限承载力计算 被引量:6
8
作者 汪婧 《铁道科学与工程学报》 CAS CSCD 北大核心 2019年第9期2207-2214,共8页
针对下伏溶洞顶板极限承载力问题,提出等截面桩与阶梯型变截面桩的顶板极限承载力计算方法。基于极限上限法引入摩尔库伦准则,构建圆台状顶板破坏滑裂面,提出岩溶等截面桩的桩顶荷载与顶板厚度的关系式并分析式中参数对桩顶荷载与顶板... 针对下伏溶洞顶板极限承载力问题,提出等截面桩与阶梯型变截面桩的顶板极限承载力计算方法。基于极限上限法引入摩尔库伦准则,构建圆台状顶板破坏滑裂面,提出岩溶等截面桩的桩顶荷载与顶板厚度的关系式并分析式中参数对桩顶荷载与顶板厚度曲线的影响规律,同时结合算例对比数值解和解析算法的结果,论证该算法的可靠性。在此基础上,结合极限分析法推导阶梯型变截面桩各变阶处滑裂面的上限解,并寻找最先满足上限解的滑裂面,提出该溶洞顶板破坏模式并推导出桩顶荷载与顶板厚度的关系式,通过模型试验对比验证计算方法的有效性。该计算方法对于上述2类截面桩的极限承载力计算均较适用,对岩溶区桩基设计有一定参考价值。 展开更多
关键词 岩溶桩基 极限上限定理 极限承载力 阶梯型变截面桩
在线阅读 下载PDF
关于等价无穷小代换定理的注记 被引量:2
9
作者 陈凌蕙 徐伟 《高等数学研究》 2020年第6期1-3,共3页
针对复合运算及积分变上限函数情形,对等价无穷小的代换问题作了进一步地拓展,得到了几个相关命题.之后,给出了几个应用实例,验证了结论的有效性.
关键词 等价无穷小 积分变上限函数 同阶无穷小 洛必达法则
在线阅读 下载PDF
基于分支回溯的NAE-3SAT问题求解算法
10
作者 谷文祥 傅琳璐 +1 位作者 周俊萍 姜蕴晖 《智能系统学报》 北大核心 2012年第6期506-511,共6页
NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效... NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效率.最后证明了算法在最坏情况下的时间复杂度上界为O(1.618n),其中n为公式中的变量数目. 展开更多
关键词 NAESAT NAE-3SAT 时间复杂性 NAE-3SAT问题上界 变量数目 分支回溯
在线阅读 下载PDF
一类二阶微分方程多重解的存在性(英文)
11
作者 田家财 高丽 《山东大学学报(理学版)》 CAS CSCD 北大核心 2007年第6期55-60,64,共7页
利用迭合度连续性定理,对一类应用较为广泛的二阶微分方程边值问题做了研究,在所述问题存在上下解的情况下得到了多重解的存在性,改变了以往只有一个解存在的结论,并通过例子说明其应用.
关键词 迭合度 上下解 边值问题
在线阅读 下载PDF
一个函数的单调性分析 被引量:1
12
作者 刘鹏林 《萍乡高等专科学校学报》 2006年第6期27-28,共2页
提出并证明了两个不等式(引理1和引理2),进而论证了“当λ≥1/2时,函数f(x)=(1+1/x)^(x+λ),(x>0)是单调递减函数”的结论。
关键词 单调递增 最小上界 单词递减
在线阅读 下载PDF
关于变量有上界的LPQ的一个重要定理的注记
13
作者 陈奕俊 《华南师范大学学报(自然科学版)》 CAS 1999年第4期110-113,共4页
本文给出了变量有上界的线性规划问题的一个重要定理的直接证明,由此对有关内容作了一个更便于理解的直接处理.
关键词 线性规划 基解 基可行解 LPQ 最优解
在线阅读 下载PDF
高阶微分方程第二特征值的上界
14
作者 俞金元 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第5期507-514,共8页
设(a,b)R是一个有界开区间,考虑如下的特征值问题∑tk=r+1(-1)kDk(Pk(x)Dky)=λ(-1)rD2ry,x∈(a,b)Dky(a)=Dky(b)=0,k=0,1,…,t-1其中t,r均为正整数,... 设(a,b)R是一个有界开区间,考虑如下的特征值问题∑tk=r+1(-1)kDk(Pk(x)Dky)=λ(-1)rD2ry,x∈(a,b)Dky(a)=Dky(b)=0,k=0,1,…,t-1其中t,r均为正整数,且t>r≥1,Pk(x)满足某些条件(k=r+1,r+2,…,t)。利用这些条件,运用某些著名不等式和分析技巧,对本文中的变系数微分方程的特征值估计问题,建立了用第一特征值λ1来估计第二特征值λ2(λ1≤λ2)的不等式,其估计系数与区间度量无关,其结果在物理和力学领域中有着广泛的用途。 展开更多
关键词 特征值 高阶微分方程 特征函数 上界
在线阅读 下载PDF
解变量有上、下界限制的LP问题的一种新割平面法
15
作者 杭海霞 叶祥企 易颖华 《江西科学》 2008年第1期33-36,共4页
针对变量有上、下界限制的LP问题,本文给出了求解此类问题的一种简易方法——割平面法,并以实例加以说明。
关键词 变量有上 下界的LP 割平面法 推广单纯形法
在线阅读 下载PDF
图的laplace谱半径的一个上界
16
作者 王湘平 《湖南科技学院学报》 2007年第12期18-20,共3页
本文利用了图的度平方和的不等式,得到一般简单连通无向图的laplace谱半径的一个新上界μ(G)≤2m+(n-2)m(mn+2n-4m-2)/n-1等式成立当且仅当G为星图k_(1,n-1) 。
关键词 LAPLACE谱半径 上界 度序列
在线阅读 下载PDF
关于图能量上界的注释
17
作者 王海明 《青海师范大学学报(自然科学版)》 2014年第2期13-15,共3页
对一个简单连通图G V(,E)来说,其能量表示为图G V(,E)的邻接矩阵特征值的绝对值之和.在文献[1]中,Kinkar Ch.Das和Seyed A.Mojallal用定点个数、边数、团数以及顶点的最小度数给出了一个图能量的新上界.在计算验证中我们发现一点瑕疵,... 对一个简单连通图G V(,E)来说,其能量表示为图G V(,E)的邻接矩阵特征值的绝对值之和.在文献[1]中,Kinkar Ch.Das和Seyed A.Mojallal用定点个数、边数、团数以及顶点的最小度数给出了一个图能量的新上界.在计算验证中我们发现一点瑕疵,本文给予修正,并正确给出修正的图能量的上界. 展开更多
关键词 简单连通图 图能量 图能量的上界
在线阅读 下载PDF
基于上限分析的空间变异土质边坡可靠度 被引量:9
18
作者 孙志豪 谭晓慧 +2 位作者 孙志彬 林鑫 姚玉川 《岩土力学》 EI CAS CSCD 北大核心 2021年第12期3397-3406,共10页
空间变异性是土体的固有不确定性。采用随机场理论表示土体的空间变异性,通过Karhunen–Loève(KL)展开法进行随机场的离散。使用基于离散机构的边坡上限分析,在生成速度间断面时考虑空间各点的内摩擦角随机场离散结果,并联合使用... 空间变异性是土体的固有不确定性。采用随机场理论表示土体的空间变异性,通过Karhunen–Loève(KL)展开法进行随机场的离散。使用基于离散机构的边坡上限分析,在生成速度间断面时考虑空间各点的内摩擦角随机场离散结果,并联合使用强度折减法、二分法及序列二次规划法求解边坡的安全系数,采用一阶可靠度方法(FORM)和子集模拟(SS)进行边坡的可靠度分析。针对SS与强度折减法的特点,提出二者耦合的优化算法以提高计算效率。通过对某土质边坡的计算分析,阐明了基于KL展开法的FORM及SS在求解边坡可靠指标及失效后果的异同点,分析了土体强度参数变异系数对边坡可靠指标与失效后果的影响规律,为进行边坡的风险分析与防治提供了理论依据。 展开更多
关键词 土质边坡 上限分析 空间变异性 一阶可靠度 子集模拟
在线阅读 下载PDF
双层土质边坡稳定性评价的解析上限法 被引量:1
19
作者 王识 聂文峰 +1 位作者 孙希望 李能 《科技通报》 2023年第1期67-73,共7页
极限分析上限法在边坡稳定性分析中广泛应用。基于极限分析上限定理,针对一般几何形状的双层土质边坡,通过建立两段对数螺旋线滑面和引入土层分界变量,推导得到该破坏机制下外力功率及内部能量耗散功率的解析式;在求解过程中构建了关于... 极限分析上限法在边坡稳定性分析中广泛应用。基于极限分析上限定理,针对一般几何形状的双层土质边坡,通过建立两段对数螺旋线滑面和引入土层分界变量,推导得到该破坏机制下外力功率及内部能量耗散功率的解析式;在求解过程中构建了关于土层分界变量的函数,结合最优化方法与强度折减技术,建立了以安全系数为求解目标的且含多元变量的非线性隐式方程,借助对土层分界参数与安全系数双变量的迭代求解方法,实现了体系内外功率的精确求解,进而得到适用于双层土质边坡的简便且易于实现的上限解答。依托若干典型算例,将所得结果与其它上限法、极限平衡法以及有限元强度折减法进行了对比分析,结果表明该方法合理可行。 展开更多
关键词 双层土质边坡 上限定理 对数螺旋线 稳定性分析 土层分界变量
在线阅读 下载PDF
改进的几何定理机器证明的概率性算法
20
作者 陈明雁 曾振柄 《计算机应用》 CSCD 北大核心 2014年第7期2080-2084,共5页
将几何定理机器证明的研究方法概括为确定性算法与概率性算法两大类,针对已有的确定性算法和概率性算法的证明速率偏低或占用内存过大等问题,提出一种改进的概率性算法。主要是在改进对多项式中独立变元次数的上界估计的算法的基础上,结... 将几何定理机器证明的研究方法概括为确定性算法与概率性算法两大类,针对已有的确定性算法和概率性算法的证明速率偏低或占用内存过大等问题,提出一种改进的概率性算法。主要是在改进对多项式中独立变元次数的上界估计的算法的基础上,结合Schwartz-Zippel定理和统计学理论,通过随机检验若干实例来证明几何定理,并能控制证明结果不真的概率在给定的小范围内。通过改进的概率性算法,成功在2秒内证明出代数法难以证明的五圆定理。最后的多组对比实验进一步表明,改进的概率性算法具有明显高效性。 展开更多
关键词 几何定理机器证明 确定性算法 概率性算法 构造性几何 变元次数上界
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部