基于OTP的WiFi身份认证模型的设计及分析

身份认证问题成为制约无线网络发展的瓶颈.一次性口令(OTP)技术和椭圆曲线密码体制由于自身优点,比较适合无线环境中的身份认证.利用椭圆曲线密码体制(ECC)实现数字签名,基于一次性口令技术提出了一种安全的双向身份认证模型.最后,通过安全性分析和SVO逻辑方法证明了该模型的安全性.     

基于北斗的军事物联网身份认证方案研究

针对物联网的安全漏洞凸显的问题,从军事物联网的高安全需求和节点终端负载能力考虑,提出了一种适用于军事物联网的身份认证方案。该方案通过北斗导航系统的授时、定位等功能获得时间戳和位置坐标等信息作为多因素认证因子,在优化一次性口令认证方案的基础上实现节点间的双向认证,确保了节点间通信的安全性和可靠性。由基于SVO逻辑对所设计的方案进行形式化分析表明该方案可实现预期的认证目标且不存在安全漏洞,从而论证了方案的正确性。     

圆网压力成形器简介及设计要点

介绍了一种新型的圆网成形器的特点和设计要点。     

基于蒙特卡洛的高炮射击毁歼概率仿真

针对具体要地防空高炮射击环节,详细分析了射击误差模型,应用蒙特卡洛方法仿真了高炮射击过程,提出了高炮射击仿真的程序逻辑方案;并结合具体实例,得出仿真数据,定量分析了高炮射击毁伤概率.仿真结果比较符合实际防空情况,具有一定的实际应用价值,其分析问题解决问题的方法和过程对解决类似的问题有一定的借鉴意义.     

废热驱动热管溴化锂制冷机的比较

利用热力学第一定律的热力平衡方法和热力学第二定律的火用分析方法,分别对单级单效、单级双效和两级热管废热回收双效溴化锂制冷系统的热力系数和火用效率进行比较。结果表明：不管从热经济性角度,还是从能源利用的完善性（[火用]效率）与合理性（能级匹配）角度,两级热管废热回收双效溴化锂制冷系统都更具合理性和实用性。     

方圆断面渠道的临界水深和正常水深计算

本文导出了城门洞形方圆断面渠道当水深大于直墙高时，临界水深和正常水深的计算公式，对常用的断面，绘制了计算曲线图，工程中应用十分简便。     

基于“北斗”的战场移动装备域间身份认证方法

为了实现对移动装备在不同管理域间切换时身份的快速、安全认证,基于“北斗”卫星导航系统所提供的安全可靠的短报文通信功能和高精度的授时功能,提出了一种基于“北斗”的战场移动装备域间身份认证方法,设计了基于“北斗”的战场移动装备域间身份认证体系结构和战场移动装备域间身份认证协议。该认证体系采用两级认证机制。整个移动网络通过“北斗”系统的高精度授时实现全网时钟的精确同步,将“北斗”系统提供的时钟信息作为时间戳加入到身份认证信息中,并利用“北斗”系统传输身份认证信息。经过对协议的安全性分析表明,该协议安全可靠,可以实现域间身份认证时新管理域中的认证中心与移动装备的双向认证,也可以实现移动装备的匿名认证,同时具有抗重放攻击能力。此外,该协议有效地减小了家乡域认证中心的开销。     

虚拟机技术在《计算机网络》课程教学中的应用研究

针对目前计算机网络实验课教学中存在的实验设备不足、实验室维护工作量大等问题,介绍利用虚拟机技术,构建虚拟实验平台及网络环境的基本方法,并结合网络协议分析器Ethereal,通过ARP协议分析的具体实例给出在该平台上进行网络协议教学的具体应用。     

装备保障模拟训练平台集成联盟模式研究

针对传统各型装备保障模拟训练平台存在的战保脱节、指技分离、专业单一的现象,提出了基于联盟模式的装备保障模拟训练平台集成方案,构建了平台集成框架,设计了基于可变客户端的协同运行支撑环境多层体系结构,规范了基于角色的任务系统动态部署过程和训练终端运行过程。通过本研究能够屏蔽传统各型训练平台分布、异构、自治的特征,实现装备保障模拟训练平台的积木式组合,满足成建制成系统装备保障训练的开展和指技合一人才的培养。     

铝合金型材挤压时带帽原因与防止措施

在铝合金建筑型材挤压生产中,常常会遇到这种情况,即铝从挤压筒与模子接触面处泄漏出来,造成带帽。要处理掉带帽十分费力,严重影响生产效率。本文详细地分析了带帽的各种原因,并提出了处理方法与防止措施。