期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
一种理性安全协议的博弈逻辑描述模型 被引量:1
1
作者 刘海 彭长根 +1 位作者 张弘 任祉静 《计算机科学》 CSCD 北大核心 2015年第9期118-126,143,共10页
博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。但在理性环境中,由于参与者对知识的自利性,ATL和ATEL都不能形式化分析与验证理性安全协议。因此在CEGS中引入效用函数和偏好关系知识,得到新的rCEGS,并在... 博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。但在理性环境中,由于参与者对知识的自利性,ATL和ATEL都不能形式化分析与验证理性安全协议。因此在CEGS中引入效用函数和偏好关系知识,得到新的rCEGS,并在合作模态算子《Γ》中加入行为ACT参数,提出新的可形式化分析理性安全协议的交替时序认知逻辑rATEL-A。然后运用rATEL-A构建两方理性安全协议的形式化模型,并基于rCEGS的等价扩展式博弈,对具体的两方理性交换协议进行形式化分析,结果表明构建的形式化模型可以有效地形式化分析理性安全协议的正确性、理性安全性和理性公平性。 展开更多
关键词 ATEL 博弈论 理性安全协议 形式化分析 理性安全性 理性公平性
在线阅读 下载PDF
Safe retaining pressures for pressurized tunnel face using nonlinear failure criterion and reliability theory 被引量:7
2
作者 杨小礼 姚聪 张佳华 《Journal of Central South University》 SCIE EI CAS CSCD 2016年第3期708-720,共13页
Based on the active failure mechanism and passive failure mechanism for a pressurized tunnel face, the analytical solutions of the minimum collapse pressure and maximum blowout pressure that could maintain the stabili... Based on the active failure mechanism and passive failure mechanism for a pressurized tunnel face, the analytical solutions of the minimum collapse pressure and maximum blowout pressure that could maintain the stability of pressurized tunnel faces were deduced using limit analysis in conjunction with nonlinear failure criterion under the condition of pore water pressure. Due to the objective existence of the parameter randomness of soil, the statistical properties of random variables were determined by the maximum entropy principle, and the Monte Carlo method was employed to calculate the failure probability of a pressurized tunnel. The results show that the randomness of soil parameters exerts great influence on the stability of a pressurized tunnel, which indicates that the research should be done on the topic of determination of statistical distribution for geotechnical parameters and the level of variability. For the failure probability of a pressurized tunnel under multiple failure modes, the corresponding safe retaining pressures and optimal range of safe retaining pressures are calculated by introducing allowable failure probability and minimum allowable failure probability. The results can provide practical use in the pressurized tunnel engineering. 展开更多
关键词 TUNNEL limit analysis nonlinear failure criterion pore water pressure retaining pressure
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部