排序方式: 共有19条查询结果,搜索用时 296 毫秒
1.
为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。 Abdelmajid 在 Kerberos 协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进 BAN 逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议 Kerberos *,结合可识别性和管辖性构造一种新的管辖规则,运用改进 GNY 逻辑对协议 Ker-beros *进行安全性分析。分析结果表明,协议 Kerberos *是安全的,运用改进 GNY 逻辑证明过程比改进 BAN 逻辑更详细、更严谨,此方法可运用于其它类似协议形式化分析。 相似文献
2.
3.
国家逐步城市化是大势所趋,城市各种基础设施不断投入运行,城市经济不断发展,人民生活水平不断提高,城市将是一个不断发展变化、永远处于动态过程的非常复杂、包罗万象的有机整体。而城建档案就是这个进程的真实记录和可靠依据。城市建设将与经济和社会发展同步进行,在这一过程中,离开城建档案是不行的,城建档案真实地反映了城市中各种物质对象从无到有、从小到大、从旧到新、从落后到先进的运动过程和发展规律,它是人民建设城市、建设国家、发展经济、推动社会进步的劳动和智慧、经验、知识的结晶。城市的规划、建设、管理、旧城改造、新区开发、基础设施工程的改建、扩建无不需要城建档案。 相似文献
4.
5.
河流上修建水库后,由于水位抬高,流速减小,来自上游的泥沙在库区大量落淤,直接威胁着水库的使用寿命和大坝安全.采用一维恒定非均匀不平衡输沙数学模型,计算了红水河上岩滩水库1994-1999年的冲淤过程,得到了河床纵剖面淤积形态、干流累积淤积量等结果,并与实测资料进行比较.对比分析表明,在模型参数按常规经验取值条件下,计算的库区淤积量远小于实测值.然后分析干密度、水流挟沙力参数、恢复饱和系数等参数调整对模型计算结果的影响,结合库区实际来沙及淤积情况调整了这些关键参数的取值,使得库区泥沙淤积计算结果与实测值较为接近. 相似文献
6.
空间数据挖掘作为一种从海量数据中获取有用知识的实用技术,已广泛应用于各行各业,而其在矿产资源评价中也具有巨大的潜力。本文将空间数据挖掘技术和GIS技术相结合,并采用组件式开发模式开发设计了一套矿产地质信息挖掘与评价系统,并对该系统的设计与开发过程以及该系统的功能进行了详细的论述。 相似文献
7.
基于改进蚁群算法的多机器人任务分配 总被引:1,自引:0,他引:1
研究了多机器人系统的任务分配方法,多机器人多任务分配是一个NP问题.针对多机器人系统在动态环境下自主任务分配问题,综合考虑任务约束及机器人的执行任务能力,采用了一种改进的蚁群算法,解决多机器人系统全局最优任务分配问题.通过对基本蚁群算法和改进的算法的仿真,验证了改进的算法实现了全局近似最优的任务分配. 相似文献
8.
9.
10.
在我国西部某戈壁探区,由于表层条件复杂多变,导致地震记录中干扰波发育,信噪比较低。针 对地震资料的特点,运用多种手段对噪声进行分析,认识噪声的特征及其分布规律,总结了一套噪声分 析方法并形成了配套的叠前去噪技术,该技术在资料处理中见到了良好的应用效果。 相似文献