增强约束的角色访问控制模型

分析NIST标准RBAC模型的约束机制,针对授权过程和对客体访问过程约束能力不足,通过对约束的扩展和将具有约束能力的业务逻辑映射至模型约束中,形成一种增强约束的基于角色的访问控制模型.给出了该模型的形式化定义,并对其安全性作了简要分析.     

在役石油管道检测机器人机械设计

在役石油输油管道反蚀后,管壁变薄,甚至产生裂缝,造成漏油、如何检测管道缺陷已成为一个重要的研究课题,现提出了检测机器人总体设计方案,叙述了主要零部件的设计,了计算结果,重点说明了电动机的选择、探头盘的设计、滑环的研制、高压密封件与万向节的设计与制造等。机械部分的试制成功为整台检测机器人的研制打下了坚实的基础。