关于安全协议的形式化分析方法的研究

对安全协议的形式化分析方法从历史发展和思想体系上作出分类和分析。以历史发展为线索将安全协议形式化分析方法分为四个阶段,基于观察分析的早期阶段、以BAN(Burrows,Abadi,Needham)逻辑为代表的初期阶段、基于模型检测的转折阶段和以串空间理论为代表的证明阶段。对安全协议四个阶段形式化分析方法的特点和优、缺点作了总结。分析结果为密码协议的研究人员提供一个借鉴。     

深空通信文件传输协议的交织技术研究

引入喷泉编码技术应用于深空通信,对CCSDS文件传输协议进行改进,提出了一种针对深空环境长时延、高误码率、丢包率大和链路易中断等特点的基于数据包交织的文件传输协议。根据深空通信文件传输的业务需要设计了两种不同的级别概率分布,接收端只需要接收到一定数量的数据包,就能够恢复出整个原始信息,无需或需要很少反馈确认信息。仿真验证交织技术能够简化传输协议,减少文件传输时延,增大系统的吞吐量并保证通信的有效性。
     

一种改进的适用于空间网络的密钥交互协议

因特网密钥交互协议第二版（IKEv2）正在成为新一代互联网密钥交互标准。与因特网密钥交互协议第一版（IKEv1）相比,IKEv2协议具有更可靠、更安全等优势。空间信息网络对密钥交互协议具有严格效率要求和安全性要求,文章在对空间信息网络安全需求分析的基础上,结合空间信息网络的特点,设计了一种适用于空间信息网络的密钥交互协...     

虚拟桌面技术研究与应用

IT技术的发展使得计算机的硬件系统环境与用户的实际使用环境相互分离,为了实现用户可以对计算机系统进行远程维护和管理,同时在节约计算机系统管理成本、降低设备功耗和提高可管理性方面,虚拟桌面技术能够很好满足这些需求。主要分析虚拟桌面技术的关键技术以及解决方案,并对虚拟桌面技术进行展望。     

SNMP协议的研究与实现

研究了SNMP及其相关协议，讨论了协议实现的方案，并以以太网相连的工作站为开发平台，实现了网络管理软件，完成了SNMP规定的基本功能。     

基于异型环境下的罚单对帐系统的设计与实现

目前,各大城市收取交通违章罚款是由银行负责,然后定期和交警对帐。在人工对帐过程中,会出现种种问题,为此我们开发了银行-交警罚单对帐系统,现已运行使用。本文详细介绍了银行—交警罚单对帐系统的设计与实现过程,解决了异型网络间的数据传输和处理问题。     

一种用于移动Ad Hoc网络的拥塞适应路由协议

提出局部拥塞表概念,利用旁路、局部拥塞表和hello消息机制,对动态源路由(Dynamic source routingprotocol,DSR)协议进行改进,提出了拥塞适应动态源路由(Congestion adaptive dynamic source routing,CA-DSR)协议。在CA-DSR协议中,主节点利用局部拥塞表,能在第一时间感知到网络拥塞,当拥塞发生时,拥塞节点的上一节点能建立绕过拥塞节点的旁路,当数据流到达已建立旁路的节点时,被按比例分流在主路由和旁路上,实现了路由拥塞适应功能。协议利用hello消息对局部拥塞表进行有效维护。与DSR相比,CA-DSR协议中平均端到端延迟更短、数据包递交率更高、规格化路由开销更少。仿真结果已证明了CA-DSR协议的优点。     

基于现场总线和智能变送器的风洞气流参数测量系统研制

准确测量来流雷诺数对于研究一些对雷诺数变化敏感的流动现象十分重要,为了得到较为准确雷诺数需要测量来流速度、温度和环境大气压等气流参数。本研究基于带Hart通信协议的智能变送器以及数字式振筒气压仪,在低速风洞中实现了一套简单实用的气流参数采集系统。其中,主机和差压、温度变送器之间通过Hart适配器相连接,并通过串口以Hart协议实现通信;而数字式振筒气压仪与计算机之间则直接通过串口实现通信。在系统开发过程中对Hart协议进行了解析和测试。在该系统气流参数采集的基础上,实现了来流雷诺数实时精确的计算,并对比了因温度和气压波动导致的雷诺数计算差异对旋成体大迎角雷诺数效应研究的影响,从而进一步说明了发展该系统的重要性。     

开放式FADEC系统的数据总线研究

研究了容错数据总线这个从集中式向开放式架构过渡的关键技术.在深入研究确定性、一致性、开放性、拓扑结构、调度策略、容错机制和传输带宽等开放式FADEC(全权限数字电子控制)数据总线关键特征的基础上,分析了总线数据传输的时间不确定性问题.从性能、可靠性和可用性的角度深入研究了TTP/C(time-triggered protocol/automotive class C),ARINC659,TTCAN(time-triggered controller area network)和FlexRay这4种时间触发架构数据总线的关键特征.研究结果表明:TTP/C总线是开放式FADEC的最佳选择,最后提出了一种基于TTP/C总线的航空发动机模块化DEEC(digital electronic engine controller)硬件架构.      

面向多层次网络拓扑发现算法的研究

以往的拓扑发现算法只关注网络层设备的拓扑发现,而忽略数据链路层的设备,提出一种面向多层次的拓扑结构发现算法,该算法在发现网络层设备的基础上又发现了链路层的设备,并经过优化提高了算法的效率。