一致性证明相关论文
授权管理是系统间的协同和资源共享的重要前提和基础。考虑了授权操作的不确定性,分析了仅仅基于信任的授权管理的不足,引入风险评......
Blaze.M提出的KeyNote信任管理系统为解决分布式环境下的授权问题提供了一个新的思路.本文分析了KeyNote系统的系统结构、信任模型、......
有限单元法(FEM)广泛应用于海底管道铺设问题。本文给出了海底管道静态S型铺设问题的有限元分析基本方程和编程技巧。计算结果与OF......