期刊文献+
共找到111篇文章
< 1 2 6 >
每页显示 20 50 100
计算可靠的密码协议形式化分析综述 被引量:10
1
作者 雷新锋 宋书民 +1 位作者 刘伟兵 薛锐 《计算机学报》 EI CSCD 北大核心 2014年第5期993-1016,共24页
密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应... 密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应的安全属性.在这一工作的带动下,形式化方法的计算可靠性研究越来越受到关注,成为密码协议分析研究的一个重要内容.围绕这一热点问题,人们做了大量的工作.该文首先对两类分析方法做概要介绍;其次对形式化分析的计算可靠性研究成果进行分类和总结,并对各种方法的主要思想进行了介绍;最后对该领域未来的研究方向进行了展望. 展开更多
关键词 密码协议 形式化方法 计算可靠 信息安全 网络安全
在线阅读 下载PDF
计算可靠且高效的群组密钥协商协议符号化分析方法 被引量:2
2
作者 张子剑 祝烈煌 +1 位作者 王峰 廖乐健 《计算机学报》 EI CSCD 北大核心 2012年第4期664-672,共9页
符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.针对上述两个问题,文中提出了一种计算可靠且高效的群组密钥协... 符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.针对上述两个问题,文中提出了一种计算可靠且高效的群组密钥协商协议符号化分析方法.该方法通过为符号化表达式设计一个Pattern函数,定义了模幂运算需要满足的具体安全属性,并基于此证明了符号化分析Burmester-Desmedt协议在通用可组合安全框架下是计算可靠的.进而通过数学归纳法,证明了Burmester-Desmedt协议的安全性与参与者数目无关,避免了参与者数目对符号化分析造成的影响,提高了符号化分析方法的效率. 展开更多
关键词 计算可靠 高效 符号化分析 通用可组合 群组密钥协商
在线阅读 下载PDF
具有计算可靠性的符号模型 被引量:1
3
作者 王亚弟 韩继红 +3 位作者 朱玉娜 张超 赵娟 范钰丹 《计算机工程》 CAS CSCD 北大核心 2009年第13期144-146,共3页
MW方法仅考虑使用公钥加密原语,不包含{{m}k}k'类型消息的双方协议。针对该问题,使用公钥加密和对称加密,建立扩展标记符号模型与扩展计算模型,论证扩展标记符号模型的计算可靠性,实现对MW方法的扩展。
关键词 符号模型 计算模型 计算可靠
在线阅读 下载PDF
主动攻击下数字签名的计算可靠性 被引量:1
4
作者 朱玉娜 王亚弟 +2 位作者 韩继红 张超 范钰丹 《计算机工程》 CAS CSCD 北大核心 2008年第17期170-172,共3页
研究在密码协议仅使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法,分别引入符号模型和计算模型中的协议运行状态集合,通过反证法证明符号模型中的迹与计算模型中的迹之间的对应关系,建立... 研究在密码协议仅使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法,分别引入符号模型和计算模型中的协议运行状态集合,通过反证法证明符号模型中的迹与计算模型中的迹之间的对应关系,建立数字签名的计算可靠性,即如数字签名方案满足N-UNF,则符号模型所得到的结果在计算模型中也是正确的。基于该结论,可以构建具有计算可靠性的形式化分析系统。 展开更多
关键词 密码协议 数字签名 计算可靠
在线阅读 下载PDF
考虑电压支撑的含SOP柔性配电网故障关联矩阵可靠性计算方法
5
作者 宋关羽 蔺曼 +3 位作者 于浩 熊俊杰 匡德兴 赵伟哲 《天津大学学报(自然科学与工程技术版)》 北大核心 2025年第3期274-284,共11页
配电网柔性化已成为重要发展趋势,智能软开关作为取代传统联络开关的柔性互联装置,其高响应速度及电压支撑作用有助于提升供电可靠性,但现有配电网可靠性计算方法大多忽略了故障后节点电压影响,无法适用于含智能软开关的柔性互联配电网... 配电网柔性化已成为重要发展趋势,智能软开关作为取代传统联络开关的柔性互联装置,其高响应速度及电压支撑作用有助于提升供电可靠性,但现有配电网可靠性计算方法大多忽略了故障后节点电压影响,无法适用于含智能软开关的柔性互联配电网可靠性计算.对此,本文基于故障关联矩阵可靠性计算理论,提出一种考虑电压支撑的柔性互联配电网可靠性计算方法,实现了柔性互联配电网可靠性指标的快速解析计算.首先,构建供电路径矩阵以表征故障影响范围和节点故障后供电恢复能力;然后,形成故障后支路传输功率向量以及节点电压矩阵,求取故障关联矩阵进而得到可靠性指标;最后,基于中压配电网典型算例进行测试验证.结果表明,本文所提柔性配电网可靠性计算方法得到的可靠性指标与枚举法相同,能够保证精度,同时本方法以矩阵代数运算代替故障枚举过程中的重复性网络搜索过程,搜索时间减少了87%,显著提升计算效率. 展开更多
关键词 柔性配电网 智能软开关 可靠计算 故障关联矩阵 电压支撑
在线阅读 下载PDF
机械系统相关性可靠度计算的Copula新理论 被引量:23
6
作者 唐家银 赵永翔 +1 位作者 何平 宋冬利 《机械科学与技术》 CSCD 北大核心 2009年第4期532-535,541,共5页
从零件失效相关结构角度,提出机械系统相关性可靠度计算研究的新理论方法。既给出了系统可靠度静态和动态的Copula计算模型,该模型用多重差分运算替代了传统可靠度计算的多重积分运算,简化了计算;同时,又解决了相关性强弱程度的确定问题... 从零件失效相关结构角度,提出机械系统相关性可靠度计算研究的新理论方法。既给出了系统可靠度静态和动态的Copula计算模型,该模型用多重差分运算替代了传统可靠度计算的多重积分运算,简化了计算;同时,又解决了相关性强弱程度的确定问题,保证了精度。Copula理论验证了可靠度随相关参数动态变化的界限连续性,并给出相关程度参数的估计方法。最后,通过车辆抗侧滚刚度系统的实例计算,说明该理论方法的可行性、有效性。 展开更多
关键词 机械系统 COPULA 相关性 可靠计算 相关程度
在线阅读 下载PDF
基于改进PSO的可靠性稳健优化计算方法 被引量:6
7
作者 叶南海 戚一男 +1 位作者 陈凯 翟银秀 《中国机械工程》 EI CAS CSCD 北大核心 2012年第5期551-555,共5页
基于现代设计方法和可靠性设计理论,建立了多目标约束优化数学模型,根据动态加速常数和速度自适应的改进粒子群算法(PSO),用编写的程序代码实现了数学模型的数值化求解。同时研究了加速常数和粒子速度的变化对优化计算结果的影响规律。... 基于现代设计方法和可靠性设计理论,建立了多目标约束优化数学模型,根据动态加速常数和速度自适应的改进粒子群算法(PSO),用编写的程序代码实现了数学模型的数值化求解。同时研究了加速常数和粒子速度的变化对优化计算结果的影响规律。算例表明,提出的可靠性稳健优化计算方法与传统方法相比,具有简便易行、能迅速得到结构可靠性稳健优化设计信息的优点,适合工程应用。 展开更多
关键词 稳健设计 改进PSO 可靠计算方法 多目标约束优化
在线阅读 下载PDF
可靠性计算中加快蒙特卡罗仿真收敛速度的方法 被引量:28
8
作者 丁明 李生虎 《电力系统自动化》 EI CSCD 北大核心 2000年第12期16-19,35,共5页
针对电力系统概率分析中蒙特卡罗仿真效率不高的问题 ,考虑到大型发输电组合电力系统可靠性计算的特点 ,采用改进的控制变量法来减小样本方差 ,综合考虑了影响抽样结果准确性和计算速度的诸多因素 ,如系统风险水平、收敛判据、控制变量... 针对电力系统概率分析中蒙特卡罗仿真效率不高的问题 ,考虑到大型发输电组合电力系统可靠性计算的特点 ,采用改进的控制变量法来减小样本方差 ,综合考虑了影响抽样结果准确性和计算速度的诸多因素 ,如系统风险水平、收敛判据、控制变量的选择以及参数选定等 ,并将评估范围由系统指标扩展到节点指标。在 IEEE RTS系统的测试结果表明 ,所提算法严谨、实用 ,计算效果明显 ,具有良好的应用价值。 展开更多
关键词 电力系统 蒙特卡罗仿真 减小方差 可靠计算
在线阅读 下载PDF
考虑变量相关的机械零件可靠度计算 被引量:6
9
作者 喻天翔 成刚虎 +1 位作者 张选生 张祖明 《西安理工大学学报》 CAS 2003年第1期73-75,共3页
利用应力和强度不相关理论 ,通过非线性变换 ,导出了应力和强度相关情况下的可靠度计算公式 ,同时深入分析了应力与强度相关系数
关键词 相关系数 可靠计算 误差分析
在线阅读 下载PDF
基于GA的发输电合成系统最优可靠性计算新方法 被引量:16
10
作者 宋云亭 周双喜 +1 位作者 鲁宗相 张瑞华 《电网技术》 EI CSCD 北大核心 2004年第15期25-30,共6页
将可靠性和经济性相结合,提出了基于总拥有费用法的发输电合成系统最优可靠性算法的总体框架,进而在概率安全性和概率充裕度综合评估基础上,将综合评估风险指标和可靠性经济评估理论相结合,建立了基于遗传算法和蒙特卡罗仿真相结合的最... 将可靠性和经济性相结合,提出了基于总拥有费用法的发输电合成系统最优可靠性算法的总体框架,进而在概率安全性和概率充裕度综合评估基础上,将综合评估风险指标和可靠性经济评估理论相结合,建立了基于遗传算法和蒙特卡罗仿真相结合的最优可靠性计算模型和算法。算法使最终求得的各元件的最优解所对应的规划方案的总成本最小。最后对IEEE-RTS标准测试系统进行了计算,结果表明所提模型和算法是可行的。 展开更多
关键词 电力系统 电网 发输电合成系统 GA 遗传算法 最优可靠计算方法
在线阅读 下载PDF
基于Copula函数的失效相关构件可靠度计算 被引量:7
11
作者 唐家银 何平 宋东利 《机械强度》 CAS CSCD 北大核心 2010年第5期740-744,共5页
相关性可靠度的计算是可靠性工程的重点和难点。利用刻画相关性最有力的工具Copula函数,给出关于失效相关构件可靠度计算的新方法(Copula-Reliability算法),验证多模式失效的机械零件可靠度值是介于独立假设理论计算值和薄弱环节理论计... 相关性可靠度的计算是可靠性工程的重点和难点。利用刻画相关性最有力的工具Copula函数,给出关于失效相关构件可靠度计算的新方法(Copula-Reliability算法),验证多模式失效的机械零件可靠度值是介于独立假设理论计算值和薄弱环节理论计算值之间的一个连续变化过程,克服Dietlevsen窄界、主次失效模式、独立性假设等方法的局限性。该方法不需要确定n种失效模式的联合密度函数,且用n重差分运算代替n重积分运算,简化了计算。通过实例与别的方法进行比较,说明方法的有效性、精确性。 展开更多
关键词 COPULA 相关性 多失效模式 可靠计算
在线阅读 下载PDF
复杂井况下油井套管柱的系统可靠性计算 被引量:13
12
作者 许志倩 闫相祯 +1 位作者 杨秀娟 高进伟 《中国石油大学学报(自然科学版)》 EI CAS CSCD 北大核心 2009年第4期125-129,共5页
考虑到套管几何尺寸和力学性能参数的随机性,采用Monte-Carlo方法模拟得到套管强度的随机分布规律。建立套管柱8种不同失效形式的极限状态方程,给出套管强度和载荷均为正态分布时的可靠度计算公式。依据套管柱沿井深方向上的结构、强度... 考虑到套管几何尺寸和力学性能参数的随机性,采用Monte-Carlo方法模拟得到套管强度的随机分布规律。建立套管柱8种不同失效形式的极限状态方程,给出套管强度和载荷均为正态分布时的可靠度计算公式。依据套管柱沿井深方向上的结构、强度及载荷差异将其离散为多个基本单元,利用可靠度计算公式对套管柱基本单元与整体的可靠度进行定量计算,分析不同井深下套管柱的可靠性影响因素和主要失效形式的发生概率。结果表明,影响套管可靠度的主要因素是套管抗挤强度和外挤载荷,套管失效形式以挤毁为主。 展开更多
关键词 油井套管 可靠计算 随机分布 极限状态方程 Monte—Carlo方法
在线阅读 下载PDF
基于土质边坡塑性极限分析条分法的可靠度计算方法研究 被引量:12
13
作者 王根龙 伍法权 门玉明 《工程地质学报》 CSCD 2006年第6期835-840,共6页
从土塑性极限分析上限定理出发,以土质边坡塑性极限分析条分法为基础,在引入可靠性分析方法(JC法)后,建立了土质边坡塑性极限分析条分法可靠度极限状态方程,并推导得到了塑性极限分析条分法可靠度计算公式。这种方法实现了定值计算向不... 从土塑性极限分析上限定理出发,以土质边坡塑性极限分析条分法为基础,在引入可靠性分析方法(JC法)后,建立了土质边坡塑性极限分析条分法可靠度极限状态方程,并推导得到了塑性极限分析条分法可靠度计算公式。这种方法实现了定值计算向不确定性计算的转变,同时可靠度指标β的计算结果具有概率的意义。 展开更多
关键词 土质边坡 塑性极限分析 条分法 可靠计算
在线阅读 下载PDF
跨大区联网工程中可靠性计算及其特点分析 被引量:2
14
作者 黄明良 陈冠南 +2 位作者 王鹏 王秀丽 王锡凡 《中国电力》 CSCD 北大核心 2001年第7期32-36,共5页
结合西北-华中、西北-川渝2大联网工程可靠性计算,指出现阶段可靠性计算的特点,总结出影响互联电网可靠性计算结果的主要因素有联络线运行方式、联网工程规模、两端电网电源结构及备用情况等,提出衡量可靠性计算结果有节省互联电网... 结合西北-华中、西北-川渝2大联网工程可靠性计算,指出现阶段可靠性计算的特点,总结出影响互联电网可靠性计算结果的主要因素有联络线运行方式、联网工程规模、两端电网电源结构及备用情况等,提出衡量可靠性计算结果有节省互联电网备用装机和减少两端电网停电损失费用2个效益指标。本文的研究成果对电网互联的可靠性效益评估有很大的工程参考价值。 展开更多
关键词 可靠计算 电网联网工程 电力系统 效益评估
在线阅读 下载PDF
次数折合时间的电子安全起爆系统可靠性计算 被引量:3
15
作者 杜永龙 李强 +1 位作者 陈侃 展学磊 《探测与控制学报》 CSCD 北大核心 2014年第5期22-25,共4页
针对传统机械安全起爆系统的可靠性计算方法不能适用于电子安全起爆系统的问题,提出次数折合时间的电子安全起爆系统可靠性计算方法。该方法以环境系数确定环境因子,将累计等效工作时间折合为累计等效工作次数,再按照类推的工作次数指... 针对传统机械安全起爆系统的可靠性计算方法不能适用于电子安全起爆系统的问题,提出次数折合时间的电子安全起爆系统可靠性计算方法。该方法以环境系数确定环境因子,将累计等效工作时间折合为累计等效工作次数,再按照类推的工作次数指数模型计算得到电子安全起爆系统的可靠度单侧置信下限。通过数据计算比较,无故障工作次数增加,可靠性提高,证明方法有效。 展开更多
关键词 电子安全起爆系统 可靠计算 二项分布 指数分布
在线阅读 下载PDF
灰色可维修系统可靠性分析计算新方法 被引量:2
16
作者 严聪 马岑睿 张志峰 《弹箭与制导学报》 CSCD 北大核心 2007年第1期218-219,222,共3页
从灰色可维修系统实际工作状态出发,在缺乏信息的条件下,运用灰色理论,提出其可靠性的分析计算新方法。并应用该方法对一算例分析,证明了该方法的可行性。由于该方法不依赖于系统的分布参数,可动态分析系统的可靠性,去掌握系统可靠性变... 从灰色可维修系统实际工作状态出发,在缺乏信息的条件下,运用灰色理论,提出其可靠性的分析计算新方法。并应用该方法对一算例分析,证明了该方法的可行性。由于该方法不依赖于系统的分布参数,可动态分析系统的可靠性,去掌握系统可靠性变化规律,因而可用于预测未来某时刻系统的可靠性。 展开更多
关键词 灰色系统 马尔可夫过程 可靠计算
在线阅读 下载PDF
应力-强度相关性干涉的静态和动态可靠度计算模型 被引量:6
17
作者 唐家银 赵永翔 宋冬利 《西南交通大学学报》 EI CSCD 北大核心 2010年第3期384-388,共5页
为解决机械零件可靠度计算中的应力-强度相关性干涉问题,根据两者负相关结构,运用Copula函数的相关性理论,建立了静态和动态应力-强度相关性干涉模型.根据综合应力和综合强度各构建分量之间的正相关性,给出了确定其分布的算法和估计相... 为解决机械零件可靠度计算中的应力-强度相关性干涉问题,根据两者负相关结构,运用Copula函数的相关性理论,建立了静态和动态应力-强度相关性干涉模型.根据综合应力和综合强度各构建分量之间的正相关性,给出了确定其分布的算法和估计相关程度参数的方法.分析了相关程度参数的变化对相关性模型中Copula函数的影响.结果表明,机械零件的可靠度随相关程度参数动态连续变化,下界与应力-强度完全负相关对应,上界与应力-强度独立对应.在算例条件下,传统独立模型比静态应力-强度相关性干涉模型计算的可靠度偏高2.18%. 展开更多
关键词 应力-强度干涉模型 可靠计算 相关性 COPULA函数
在线阅读 下载PDF
基于盲数的螺旋弹簧可靠性计算 被引量:6
18
作者 石博强 肖成勇 《农业机械学报》 EI CAS CSCD 北大核心 2003年第4期98-99,104,共3页
基于未确知理论中盲数的概念和运算规则 ,建立了盲数强度应力可靠度计算模型 ,并用 L ab VIEW语言编写了相应的计算程序。通过螺旋弹簧的实际可靠度计算 ,并与传统可靠度设计进行了对比分析 ,验证了模型的有效性和实用性。
关键词 盲数 螺旋弹簧 可靠计算 盲数强度 计算程序 机械设计
在线阅读 下载PDF
混凝土重力坝边界元可靠度计算 被引量:9
19
作者 吴清高 张明 姚振汉 《重庆建筑大学学报》 CSCD 2000年第6期70-73,共4页
采用对基本随机变量求偏导数的方法建立随机边界积分方程 ,并具体应用于混凝土重力坝 ,考虑了坝体材料参数、上游水位和坝基面抗剪断摩擦系数等随机因素。算例分析表明 ,本文的随机边界元法对诸如混凝土重力坝的大体积建筑物的可靠度分... 采用对基本随机变量求偏导数的方法建立随机边界积分方程 ,并具体应用于混凝土重力坝 ,考虑了坝体材料参数、上游水位和坝基面抗剪断摩擦系数等随机因素。算例分析表明 ,本文的随机边界元法对诸如混凝土重力坝的大体积建筑物的可靠度分析具有输入数据少 。 展开更多
关键词 混凝土重力坝 随机边界元 可靠计算
在线阅读 下载PDF
利用可靠性单元法计算可修工程系统可靠性 被引量:2
20
作者 郭章林 胡云昌 余建星 《机械强度》 EI CAS CSCD 北大核心 2000年第4期294-296,共3页
针对可修工程系统的可靠性计算的复杂性 ,提出了简单实用的可靠性单元法。利用这些可靠性单元的特性可以方便地估计工程系统可靠性指标 ,避免了求解复杂的微分方程组。这些可靠性单元都是基于马尔可夫过程的状态空间法分析的结果。利用... 针对可修工程系统的可靠性计算的复杂性 ,提出了简单实用的可靠性单元法。利用这些可靠性单元的特性可以方便地估计工程系统可靠性指标 ,避免了求解复杂的微分方程组。这些可靠性单元都是基于马尔可夫过程的状态空间法分析的结果。利用可靠性单元法估计工程系统的可靠性比现有方法有较大的优越性 ,可以满足工程需要。 展开更多
关键词 可靠性单元 可用度 可修工程系统 可靠计算
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部