带减函数的连续型软件可靠性验证方案 被引量：6

1

作者 王学成 陆民燕 +1 位作者 李海峰 杨日盛 《重庆大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第10期136-143,共8页

针对连续型安全关键软件可靠性验证测试(SRDT)所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案(CBSDF):首先选取连续型软件可靠性参数(如失效率)的典... 针对连续型安全关键软件可靠性验证测试(SRDT)所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案(CBSDF):首先选取连续型软件可靠性参数(如失效率)的典型减函数作为失效率的先验分布密度函数(先验分布);然后根据增长测试阶段后期的失效时间数据(先验信息)计算出先验分布超参数的估计值,进而给出相应的后验分布密度函数,在此基础上得到CBSDF的具体形式;最后,将两组真实失效数据集作为先验信息的来源,将CBSDF与已有的无先验信息(CBS1)与有先验信息(CBS2)的贝叶斯验证方案进行实例对比研究,计算结果表明:在SRDT方案参数相同时,相对于CBS1与CBS2,本论文提出的CBSDF可以更为显著地降低所需的验证测试时间,且更适用于高可靠的安全关键连续型软件。 展开更多

关键词 软件可靠性 可靠性验证 安全关键软件 贝叶斯方法 减函数法 连续执行软件

在线阅读 下载PDF 职称材料

岩土工程可靠度分析中方差折减函数确定的一般规律 被引量：8

2

作者 闫澍旺 郭林坪 曹永华 《岩土力学》 EI CAS CSCD 北大核心 2014年第8期2286-2292,共7页

将可靠度理论应用于岩土工程稳定性分析过程中,即使是已证明安全的工程所得到的边坡或地基的失效概率通常较大,导致这一现象的原因是估算的方差偏大。计算土性指标的试验数据仅表征了该试验点的特征,而不是空间平均特征。在随机场理论... 将可靠度理论应用于岩土工程稳定性分析过程中,即使是已证明安全的工程所得到的边坡或地基的失效概率通常较大,导致这一现象的原因是估算的方差偏大。计算土性指标的试验数据仅表征了该试验点的特征,而不是空间平均特征。在随机场理论应用于岩土工程可靠度分析的过程中,方差折减函数是将点特性过渡为空间平均特性的必要参数。首次对闫澍旺等提出的完全不相关距离理论中完全不相关距离的确定方法进行改进,不但理论上有所突破,而且计算方法更为简洁。对折减函数值的确定过程进行了分析,得到了用完全不相关距离方法确定折减函数的一般规律。 展开更多

关键词 随机场理论 方差折减函数 相关函数法 完全不相关距离

在线阅读 下载PDF 职称材料

基于减函数的多层贝叶斯离散型软件可靠性验证测试方案 被引量：11

3

作者 刘广 黄百乔 刘畅 《计算机应用研究》 CSCD 北大核心 2017年第3期761-764,共4页

为有效降低软件可靠性验证测试工作量,满足高可靠软件的指标验证要求,在减函数理论及贝叶斯理论基础上,提出一种基于减函数的多层贝叶斯离散型软件可靠性验证测试方案(MBDFDSRDT)。选取面向失效概率的减函数作为第一层先验分布密度函数... 为有效降低软件可靠性验证测试工作量,满足高可靠软件的指标验证要求,在减函数理论及贝叶斯理论基础上,提出一种基于减函数的多层贝叶斯离散型软件可靠性验证测试方案(MBDFDSRDT)。选取面向失效概率的减函数作为第一层先验分布密度函数,然后选择第一层先验分布密度函数超参数的均匀分布函数来构造其第二层先验分布密度函数,进而给出相应的多层后验分布密度函数。选取若干组失效数据,对MBDFDSRDT方案进行实践应用,并与基于贝叶斯理论的软件可靠性验证测试方案以及基于减函数的单层贝叶斯软件可靠性验证测试方案进行对比。应用结果表明,MBDFDSRDT方案可显著地降低所需的测试工作量,特别适用于高可靠安全关键软件。 展开更多

关键词 软件可靠性 验证测试 减函数 贝叶斯 离散型

在线阅读 下载PDF 职称材料

线性规划的目标函数最速递减算法 被引量：9

4

作者 唐建国 《运筹与管理》 CSCD 2005年第4期55-59,共5页

在对偶单纯形方法的基础上,提出了线性规划的目标函数最速递减算法。它避开求初始可行基或初始基,以目标函数全局快速递减作为选基准则,将选基过程与换基迭代合二为一,从而大大减少了迭代次数。数值算例显示了该算法的有效性和优越性。

关键词 线性规划 单纯形方法 对偶单纯形方法 目标函数最速递减算法

在线阅读 下载PDF 职称材料

探索法教学例说——利用导数判断函数增减性

5

作者 刘尧 《中国大学教学》 1989年第4期45-46,共2页

在工科中专数学教材中有一节“拉格朗日中值定理及函数增减性的判断”。我在教学实践中改变了传统的教法,采用探索法进行教学,获得了良好的教学效果。今就此例说说探索法教学。一、传统教法分析书中这一内容的安排为:拉格朗日中值定理... 在工科中专数学教材中有一节“拉格朗日中值定理及函数增减性的判断”。我在教学实践中改变了传统的教法,采用探索法进行教学,获得了良好的教学效果。今就此例说说探索法教学。一、传统教法分析书中这一内容的安排为:拉格朗日中值定理及其解释(不证明),利用拉格朗日中值定理证明其推论。然后观察增减函数图象的切线, 展开更多

关键词 判断函数 探索法 减函数 数学教材 教学效果 传统教法 几何意义 判定定理 开区间 闭区间

在线阅读 下载PDF 职称材料

图的反减边全控制 被引量：3

6

作者 徐保根 孔祥阳 +1 位作者 彭川 陈悦 《河南科技大学学报（自然科学版）》 CAS 北大核心 2011年第4期71-73,78,共4页

在减边控制数概念的基础上,定义了反减边全控制数,给出了一般图的反减边全控制数的若干上界,并确定了圈Cn,路Pn和轮Wn+1的反减边全控制数的确切值。

关键词 反减边控制函数 反减边全控制函数 反减边全控制数

在线阅读 下载PDF 职称材料

正则模糊神经网络对一类连续模糊值函数的普遍近似性 被引量：7

7

作者 刘普寅 王华兴 《电子学报》 EI CAS CSCD 北大核心 1997年第11期41-45,共5页

本文讨论了正则模糊神经网络对于定义于区间［０，Ｔ０］上连续可减模糊值函数的普遍近似性，在此基础上，证明了［０，Ｔ０］上取值为三角形模糊数的连续递增函数可用正则模糊神经网络逼近到任意精度．

关键词 正则模糊 神经网络 可减模糊值函数

在线阅读 下载PDF 职称材料

关于图的减边控制 被引量：15

8

作者 徐保根 周尚超 《江西师范大学学报（自然科学版）》 CAS 北大核心 2007年第1期21-24,47,共5页

引入了图的减边控制的概念,给出了一个图G的减边控制数γ′m(G)的两个下界,确定了完全图、圈和轮图的减边控制数,并提出了若干未解决的问题和猜想.

关键词 减边控制函数 减边控制数 符号边控制函数 符号边控制数

在线阅读 下载PDF 职称材料

三正则图的Upper减控制数 被引量：2

9

作者 赵洪涛 吕新忠 《广西师范大学学报（自然科学版）》 CAS 北大核心 2009年第4期45-48,共4页

设G=(V(G),E(G))是一个三正则图,按照减控制函数的定义,将三正则图G的顶点分成若干个不交的点集,通过研究这些不交的点集之间边的关系及边的条数,证明了三正则图的U pper减控制数的一个上界Γ-(G)≤5n/8,且此上界是可达的,并构造出Γ-(G... 设G=(V(G),E(G))是一个三正则图,按照减控制函数的定义,将三正则图G的顶点分成若干个不交的点集,通过研究这些不交的点集之间边的关系及边的条数,证明了三正则图的U pper减控制数的一个上界Γ-(G)≤5n/8,且此上界是可达的,并构造出Γ-(G)=5n/8的一类图。 展开更多

关键词 减控制函数 Upper减控制数 三正则图

在线阅读 下载PDF 职称材料

关于土层相关距离计算方法的研究 被引量：28

10

作者 闫澍旺 朱红霞 +1 位作者 刘润 孙万禾 《岩土力学》 EI CAS CSCD 北大核心 2007年第8期1581-1586,共6页

根据随机场理论,对求解土层相关距离的递推空间法和相关函数法进行比较和探讨,指出两种方法所求得的相关距离值存在偏差的原因,并从理论上证明当样本容量足够大时两种方法的计算结果可以得到统一。对相关函数法作出改进,使其更易于曲线... 根据随机场理论,对求解土层相关距离的递推空间法和相关函数法进行比较和探讨,指出两种方法所求得的相关距离值存在偏差的原因,并从理论上证明当样本容量足够大时两种方法的计算结果可以得到统一。对相关函数法作出改进,使其更易于曲线的拟合和参数的确定,最后采用实际工程的勘察测试资料进行了分析计算,验证了由计算公式推导所得的结论在实际工程中也是成立的。 展开更多

关键词 随机场 相关距离 相关函数 方差折减函数

在线阅读 下载PDF 职称材料

关于随机场理论在土工可靠度计算中应用的研究 被引量：25

11

作者 闫澍旺 朱红霞 刘润 《岩土工程学报》 EI CAS CSCD 北大核心 2006年第12期2053-2059,共7页

应用随机场理论进行可靠度分析时,关键在于随机场理论求得的参数,尤其是方差折减函数如何同可靠度理论结合起来。在土工可靠度计算中正确选取并且合理应用方差折减函数是一个非常关键但又很容易被忽略的问题。本文从随机场的基本理论出... 应用随机场理论进行可靠度分析时,关键在于随机场理论求得的参数,尤其是方差折减函数如何同可靠度理论结合起来。在土工可靠度计算中正确选取并且合理应用方差折减函数是一个非常关键但又很容易被忽略的问题。本文从随机场的基本理论出发,对这一问题进行探讨和研究,提出方差折减函数的确定原则;并通过一个工程算例,说明此折减原则较为合理,且在实际工程中偏于安全。 展开更多

关键词 随机场 可靠度 方差折减函数 相关距离 相关函数

在线阅读 下载PDF 职称材料

天津港地区土层剖面随机场特征参数的估计 被引量：10

12

作者 郭林坪 杨爱武 +1 位作者 闫澍旺 侯晋芳 《工程地质学报》 CSCD 北大核心 2016年第1期130-135,共6页

天然地基或人工地基在形成过程中,不同位置的土由于成因相似,其物理力学特性指标具有空间自相关性,这种空间自相关性可以用随机场理论进行研究。为估计天津港地区土体物理力学性质的空间随机场特性,采用了现场钻孔取样、静力触探等方法... 天然地基或人工地基在形成过程中,不同位置的土由于成因相似,其物理力学特性指标具有空间自相关性,这种空间自相关性可以用随机场理论进行研究。为估计天津港地区土体物理力学性质的空间随机场特性,采用了现场钻孔取样、静力触探等方法获取了大量的描述土体物理力学性质的参数。由于静力触探试验能够连续取样以获得足够多的数据来进行随机场分析,文章主要应用静探数据检验了该地区土性指标的平稳性和各态历经性,指出应用Vanmarcke的随机场模型对土性指标进行分析具有可行性。本文的创新点在于探讨了天津港地区随机场模型的建立方法并应用改进的完全不相关距离方法估计了天津港地区典型土层剖面的随机场特征参数。为随机场理论应用于天津港地区岩土工程可靠度分析打下了坚实的基础。相同的方法可用于其他地区土层随机场特征参数的估计。 展开更多

关键词 随机场特征参数 天津港 平稳性 各态历经性 相关距离 折减函数

在线阅读 下载PDF 职称材料

渤海湾地基土随机场特性及可靠度分析 被引量：12

13

作者 刘润 闫澍旺 《岩土工程学报》 EI CAS CSCD 北大核心 2004年第4期464-467,共4页

阐述了随机场理论在进行海洋结构物地基可靠度分析中的作用。利用渤海油田在多年开发和建设中积累的大量工程地质资料,开发研制了“海洋土地基可靠度分析系统”。运用该系统的强大数理统计和分析功能,综合理论和实测数据建立起渤海海域... 阐述了随机场理论在进行海洋结构物地基可靠度分析中的作用。利用渤海油田在多年开发和建设中积累的大量工程地质资料,开发研制了“海洋土地基可靠度分析系统”。运用该系统的强大数理统计和分析功能,综合理论和实测数据建立起渤海海域海洋土竖直和水平向土性剖面的齐次正态随机场模型,计算得到土性指标的方差折减函数,进而在可靠度分析中运用强度指标的空间平均方差进行可靠度分析,强度指标折减前后的可靠度分析结果表明随机场理论的应用对可靠度分析起到了重要的作用,经过折减的土性指标的变异系数明显较小,从而使可靠度分析的结果接近工程实际。 展开更多

关键词 数据库 随机场 方差折减函数 可靠度

在线阅读 下载PDF 职称材料

随机场理论在海洋结构物地基可靠度分析中的应用 被引量：10

14

作者 刘润 闫澍旺 +1 位作者 王金英 狄慧敏 《天津大学学报（自然科学与工程技术版）》 EI CAS CSCD 北大核心 2003年第1期78-82,共5页

对随机场理论应用于海洋土地基可靠度研究中的必要性及其理论意义进行了深入的分析和探讨,提出了检验土性指标的平稳性和各态历经性的方法,结合渤海油田在开发和建设中积累的大量工程地质勘察资料,对海洋土竖直和水平向土性剖面建立齐... 对随机场理论应用于海洋土地基可靠度研究中的必要性及其理论意义进行了深入的分析和探讨,提出了检验土性指标的平稳性和各态历经性的方法,结合渤海油田在开发和建设中积累的大量工程地质勘察资料,对海洋土竖直和水平向土性剖面建立齐次正态随机场模型.并在此基础上,以渤海某油田海洋平台的地基可靠度分析为例,说明随机场理论在海洋土地基可靠度分析中的具体应用及其所发挥的重要作用. 展开更多

关键词 随机场理论 海洋结构 地基可靠度 平稳性 各态历经性 方差折减函数 可靠性指标 海洋平台

在线阅读 下载PDF 职称材料

基于改进贝叶斯方法的软件可靠性验证测试 被引量：2

15

作者 马振宇 吴纬 +2 位作者 张威 刘福胜 韩坤 《计算机工程与设计》 北大核心 2018年第10期3100-3106,共7页

针对当今软件可靠性验证测试时长过久问题,提出一种基于单调减函数的贝叶斯软件可靠性验证测试方案。根据测试阶段里的实时先验信息,对先验信息进行动态整合处理;以单调减函数的贝叶斯方法为基础,提出两种先验动态整合的方法。通过案例... 针对当今软件可靠性验证测试时长过久问题,提出一种基于单调减函数的贝叶斯软件可靠性验证测试方案。根据测试阶段里的实时先验信息,对先验信息进行动态整合处理;以单调减函数的贝叶斯方法为基础,提出两种先验动态整合的方法。通过案例分析验证了测试方案可以在保证置信度不变的条件下,大幅减少测试时长,两种先验动态整合法具有可行性。 展开更多

关键词 单调减函数 先验信息 动态整合 贝叶斯方法 可靠性验证测试

在线阅读 下载PDF 职称材料

无失效数据参数估计的模糊回归法 被引量：2

16

作者 李正 宋保维 +1 位作者 潘光 皮德福 《机械设计》 CSCD 北大核心 2005年第3期49-51,共3页

由于常规线性回归模型对个别异常数据敏感,导致回归方程欠稳定。建立了实测数据对回归直线的隶属度的计算公式,提出了以该隶属度为权重的模糊加权线性回归模型。由于无失效数据失效概率的确定对分布参数的估计结果有较大的影响,给出减... 由于常规线性回归模型对个别异常数据敏感,导致回归方程欠稳定。建立了实测数据对回归直线的隶属度的计算公式,提出了以该隶属度为权重的模糊加权线性回归模型。由于无失效数据失效概率的确定对分布参数的估计结果有较大的影响,给出减函数法确定指数分布无失效数据失效概率的 Bayes估计式和等效失效数法确定威布尔分布无失效数据可靠度的估计式,并对分布参数进行模糊加权线性回归。回归结果与传统评判结果相比,更接近工程实际。 展开更多

关键词 无失效数据 线性回归 模糊加权 减函数法 等效失效数法

在线阅读 下载PDF 职称材料

广东西部沿海铁路江门南站软土土性参数随机场特性研究 被引量：2

17

作者 汪莹鹤 《铁道工程学报》 EI 北大核心 2010年第2期93-97,共5页

研究目的:广东西部沿海铁路江门南站范围内分布有较厚的软土,其成因为潭江入海口海陆交互相冲积,土性主要为淤泥质黏土和粉质黏土,局部有沙砾夹层,为了满足承载力及工后沉降的要求,路基基底必须采用复合地基进行加固。合理选择土性参数... 研究目的:广东西部沿海铁路江门南站范围内分布有较厚的软土,其成因为潭江入海口海陆交互相冲积,土性主要为淤泥质黏土和粉质黏土,局部有沙砾夹层,为了满足承载力及工后沉降的要求,路基基底必须采用复合地基进行加固。合理选择土性参数是复合地基设计的关键,由于土体是在自然条件下形成的,其性质表现出很大的变异性,所以采用概率分析方法设计复合地基显得更加合理。土性参数随机场特性研究可以为复合地基概率设计方法提供依据,本文利用CPT资料对江门南站软土土性参数的随机场特性进行了研究。研究结论:形成了比较系统的随机场研究方法,得到了主要土层的方差折减函数;统计得到了压缩模量、承载力及抗剪强度指标的均值和方差,利用方差折减函数对方差进行了修正,为路基概率设计方法提供依据。 展开更多

关键词 软土路基 随机场 相关函数 平稳性 方差折减函数

在线阅读 下载PDF 职称材料

垃圾渗滤液重金属镉的地下水污染源强定量评价

18

作者 祝超伟 郭艳菲 +4 位作者 杨洋 李翔 李鸣晓 李娟 汪琼洋 《环境工程技术学报》 CAS 2018年第1期58-64,共7页

以某垃圾填埋场为研究区,建立了基于过程模拟法的地下水污染源强定量评价模型,对垃圾渗滤液中重金属镉的地下水污染源强进行定量评价。以研究区的包气带介质及评价模型为基础,对镉在包气带中的折减提出了几种假设,得出折减函数;提出了... 以某垃圾填埋场为研究区,建立了基于过程模拟法的地下水污染源强定量评价模型,对垃圾渗滤液中重金属镉的地下水污染源强进行定量评价。以研究区的包气带介质及评价模型为基础,对镉在包气带中的折减提出了几种假设,得出折减函数;提出了基于折减函数法的地下水污染源强定量评价方法,并建立了相应的折减函数模型。结果表明:该模型应用于研究区,在渗滤液中镉的初始浓度为0.05 mg/L;有效包气带介质为13 m,经过15.4 a镉的折减系数为0.013,进入地下水中的镉浓度为5.13×10^(-4)mg/L,与过程模拟的评价结果接近,经过15.4 a连续入渗后,地下水中镉浓度的模拟结果与监测结果较相符,评价模型的可靠性得到验证。 展开更多

关键词 过程模拟 重金属 折减函数 定量评价

在线阅读 下载PDF 职称材料

一类奇异的非线性椭圆型方程正整解

19

作者 陈世明 《华南师范大学学报（自然科学版）》 CAS 1992年第1期93-104,共12页

本文研究在R^2中一类奇异的非线性椭圆型方程的正的整体解,所用的方法是利用方程的径向对称性,将问题归结为奇异的非线性常微分方程,进而作等价的积分方程.按照问题的特点在C^1[o,∞)空间中构造一个合适的集合Y,并引进算子Φ,然后应用Sc... 本文研究在R^2中一类奇异的非线性椭圆型方程的正的整体解,所用的方法是利用方程的径向对称性,将问题归结为奇异的非线性常微分方程,进而作等价的积分方程.按照问题的特点在C^1[o,∞)空间中构造一个合适的集合Y,并引进算子Φ,然后应用Schauder——Tychonoff不动点定理证明原方程存在正的整体解,并指出当|x|→∞时所得到的解按对数增长.本文主要的结果是定理1、2还有具体的例子. 展开更多

关键词 正整解 减函数 增函数 非线性 椭圆型方程

全文增补中

高速切削刀具及其平衡 被引量：1

20

作者 杨晓 陈一奇 《工具技术》 北大核心 2004年第8期80-82,共3页

关键词 切削速度 高速切削 刀具 切削热 切削温度 切削理论 降低 博士 减函数 突破

在线阅读 下载PDF 职称材料