利用AUTLOG信仰逻辑,对IEEE 802.11r认证协议进行了形式化分析。分析结果表明该认证协议无法实现全部的认证及密钥协商目标,存在的安全缺陷。在深入分析产生安全缺陷原因的基
实验研究了光电导开关的非线性现象,结果表明用半导体激光脉冲串触发光电导开关,在保持激光触发GaAs光电导开关实验条件不变的情况下,产生非线性的电闲值会不断降低。测量和比较
作为一个给排水设计人员,我们在autocad的应用中亦不仅仅局限于现成软件的应用,因为再好的软件也有相对不足的地方,我们不可能要求一种软件面面俱到,并且在目前的阶段要我们的专业软件脱离autocad完全独立运行看来还为时尚早,所以我们在许多的时候仍然需要autocad本身的应用,因此我们在期待更好的设计软件的同时,也要提高自己本身auto-cad的应用水平,如熟练掌握各种图块属性的应用和简单的au
无线通讯系统是移动机器人的一个重要组成部分,在机器人自主能力有限的情况下,借助上住机与机器人进行无线通信是控制机器人的一种可行方案。文中以轮式移动机器人作为控制平台
甘南县位于黑龙江省西部、嫩江中游右岸,地处大兴安岭南麓与松嫩平原过渡地带,属半农半牧县份。甘南县自然条件优越,在经济和社会发展上具有独特的优势和巨大潜力。
跨文化交际能力的培养有赖于跨文化知识的学习,但更需要培养跨文化交际心态。针对我国应试教育的特点,大学英语教师应从课堂等本族语文化交际环境中启发和培养学生跨文化交际的
通过对晒瓦晚二叠世岩石地层和生物地层的初步研究,认为晒瓦晚二叠世地层属于深水相沉积,可划分成4段;并根据双壳类、腕足类延限和发育特征,分别建立了一个双壳类化石带(Clar
文章在对林业投融资问题中信息不对称、非公有制主体投资动力不足和林业融资中所存在的资金假溢进行分析的基础上,结合经济环境中资金流动情况,提出通过“间接引入”,建立林业政
尊敬的家宝副总理, 各位领导、各位专家、同志们: 第三届全国地层会议,是新千年伊始我国地学界的一次重要会议.其意义不仅体现在将促进地层科学的发展,更主要的是我们
LD-CELP可以全面满足16kb·s^-1算法的性能要求,已被广泛应用在会议电视系统、IP电话等领域。基于此规范,采用Verilog HDL硬件描述语言完成RTL级设计,所有编解码结构都由Ver