期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
应用逻辑推导图方法对一个不可否认协议的分析
1
作者 王涛 刘永杰 《华南师范大学学报(自然科学版)》 CAS 2008年第1期46-51,共6页
以之前所提出基于模态逻辑的协议推导分析方法为基础,用Java专家系统外壳(JESS)实现了协议推导分析工具,对一个具体的不可否认协议进行分析,以验证逻辑推导图方法的作用.分析结果清晰地显示各协议内容对协议目标实现的作用,并以此为基... 以之前所提出基于模态逻辑的协议推导分析方法为基础,用Java专家系统外壳(JESS)实现了协议推导分析工具,对一个具体的不可否认协议进行分析,以验证逻辑推导图方法的作用.分析结果清晰地显示各协议内容对协议目标实现的作用,并以此为基础说明协议内容中的冗余.通过与传统协议分析方法进行比较,说明了这一方法可以更清晰地说明协议内容对协议目标的贡献作用.同时,也在分析过程中指出了SVO逻辑协议分析方法对假设的过度依赖性这一缺陷. 展开更多
关键词 安全协议 形式化分析 SVO逻辑 自动推导 JESS
在线阅读 下载PDF
刀具问题的每步两次检查策略最优解及其灵敏度分析
2
作者 陈务深 戴沨 焦军彩 《南京化工大学学报》 2001年第4期38-42,共5页
以每步两次检查策略为基础 ,对CMCM -99A题中第二问的检验方案问题建立连续的数学模型 ,并给出了在此策略下 。
关键词 最速下降法 公式自动推导 条件概率 最优化 使用寿命 数学模型 刀具 每步两次检查策略 最优解 灵敏度
在线阅读 下载PDF
Modal analysis on transverse vibration of axially moving roller chain coupled with lumped mass 被引量:4
3
作者 许立新 杨玉虎 +1 位作者 常宗瑜 刘建平 《Journal of Central South University》 SCIE EI CAS 2011年第1期108-115,共8页
The modal characteristics of the transverse vibration of an axially moving roller chain coupled with lumped mass were analyzed.The chain system was modeled by using the multi-body dynamics theory and the governing equ... The modal characteristics of the transverse vibration of an axially moving roller chain coupled with lumped mass were analyzed.The chain system was modeled by using the multi-body dynamics theory and the governing equations were derived by means of Lagrange's equations.The effects of the parameters,such as the axially moving velocity of the chain,the tension force,the weight of lumped mass and its time-variable assign position in chain span,on the modal characteristics of transverse vibration for roller chain were investigated.The numerical examples were given.It is found that the natural frequencies and the corresponding mode shapes of the transverse vibration for roller chain coupled with lumped mass change significantly when the variations of above parameters are considered.With the movement of the chain strand,the natural frequencies present a fluctuating phenomenon,which is different from the uniform chain.The higher the order of mode is,the greater the fluctuating magnitude and frequency are. 展开更多
关键词 roller chain modal analysis transverse vibration lumped mass
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部