排序方式: 共有66条查询结果,搜索用时 15 毫秒
31.
比较了安全性模型Extended Canetti&Krawczyk 2007(ECK 2007)与其他4个安全模型(Bellare&Rogaway 1993(BR93),Bellare&Rogaway 1995(BR95),Bellare,Pointcheval&Rogaway 2000(BPR 2000)和Canetti&Krawczyk 2001(CK2001))的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。 相似文献
32.
时光倒流约两个世纪,德国著名科学家和探险家亚历山夫.冯.洪堡,来到这个峰峦环抱的湖区,面对旖旎的湖光山色,留下也这是"世界上最美丽的湖泊"的赞叹,引发了后人飞越的神思和向往。 相似文献
33.
针对公司工艺装备现状、存在的问题,提出精益生产是工艺装备技术发展的方向;优化产品工艺、采用新技术、提高人员素质、制定正确政策和配备必要的计算机软、硬件是工艺装备技术发展的途径。 相似文献
35.
36.
37.
摘要: 针对海洋机动目标跟踪监视问题,提出通过卫星相位重构调整进行机动目标搜索跟踪的监视策略,构建地理坐标系下机动目标航位预测模型及基于霍曼转移的卫星调相组网方式,并采用NSGA II算法进行优化求解,对比分析卫星重构组网前后的机动目标发现概率.仿真结果表明:在卫星能量消耗允许范围内进行重构组网,能够有效提升对机动目标的发现概率,为海洋机动目标的搜索跟踪问题提供了一定的方法支持. 相似文献
38.
39.
40.