基于逐跳方式的单链路故障保护算法

当网络中的某条链路出现故障时,互联网部署的域内路由协议需要重新收敛,在收敛过程中经过该链路的报文将会被丢弃。针对该问题,IETF(the Internet Engineering Task Force)提出了快速重路由保护框架,利用该框架可以有效地解决网络中单链路故障造成的报文丢失问题,然而该方案并不能完全保护网络中所有可能的单链路故障。基于该框架研究者提出了一种基于隧道的解决方案,该方案虽然可以提供100%的单链路故障保护,但是需要辅助机制的协助,开销较大,难以实际部署。因此,提出了一种基于逐跳方式的针对单链路故障的全保护方案,该方案可以解决网络中任意的单链路故障造成的报文丢失问题。     

基于形式化技术的帧中继信令协议一致性测试研究

帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 ,并且已经将利用协议集成测试系统取得的该一致性测试的研究成果应用到路由器的开发和研制过程中     

2-异丙基-4-甲基-6-羟基嘧啶的合成研究

以廉价易得的异丁腈和乙酰乙酸甲酯为原料,甲醇为溶剂合成了农药重要中间体2-异丙基-4-甲基-6-羟基嘧啶。详细考察了异丁脒盐酸盐合成与2-异丙基-4-甲基-6-羟基嘧啶合成两个过程,获得了两工艺过程的优化反应条件(反应温度为40℃,反应液的pH值控制为：11．3～11．8反应的时间为5～6h)。此条件下,以异丁腈计2-异丙基-4-甲基-6-羟基嘧啶的总收率最高达到了86．5％。     

L型波纹太赫兹喇叭天线

本文提出了一款高增益、低旁瓣的L型波纹太赫兹喇叭天线.该天线工作于太赫兹第一个大气窗口,由波导段、模式变换段和辐射段三部分组成,在模式变换段和辐射段内壁引入波纹结构,利用控制变量法分析L型波纹喇叭天线模式变换段的波纹数目和辐射段每个波长内的周期数目对天线辐射特性的影响.分析结果表明:该波纹喇叭天线在工作频率为320~380 GHz范围内增益均大于21.7 dB,其3 dB主瓣宽度都小于15.2°.该天线满足高增益、低旁瓣的要求,适用于太赫兹通信系统.     

协议测试中用户信息的形式化描述技术

无论是协议的一致性测试、互操作测试还是协议性能的测试,都只有在接收了用户信息后才开始实际的测试。自定义的用户信息缺乏形式化的定义,使测试系统很难具有良好的通用性。本文对协议测试中测试系统与测试用户之间的交互信息在内容上进行了合理的划分,并对其进行了形式化定义,同时还介绍了此形式化定义在实际系统中的一种应
应用。     

BWBZX-1保温包装箱设计与验证

目的根据某产品性能特性设计BWBZX-1保温包装箱,并进行验证。方法首先提出BWBZX-1保温包装箱的设计方案,然后通过数值模拟分析结构材料热物性参数对包装箱的温度场和传热特性的影响,用以对初设包装箱结构进行优化,最后通过环境试验进行验证。结果产品、包装箱内外壁、底板、法兰、底座材料不易变更,只宜优化上保温层、下保温层和连接件的热物性参数,使最终包装箱温度场满足了产品使用要求。结论 BWBZX-1保温包装箱温度场数值模拟结果与实验温度实测结果相符较好,经过温度场数值模拟和温度实验验证,BWBZX-1保温包装箱保温性能满足设计指标要求。     

基于NFC通信的标准体系分析

文章基于NFC的业务系统模型和标准体系框架,分析执行域和管理域的通信标准,为以运营商为主导的移动支付体系发展提供参考,并为NFC应用国际化互联互通奠定基础。     

云计算在省级电子政务系统建设的思路浅析

文章基于云计算架构,提出在PaaS层搭建省级集中化电子政务平台,省-市-县三级共享应用的建设模式,为我国电子政务系统建设提供参考。     

隧道协议的测试研究和实践

详细论述了隧道协议的一致性和互操作性测试的研究与实践。基于协议的测试需求分析，选择并实现了穿越测试法作为隧道协议的一致性测试方法。在实践过程中通过增加测试描述和扩充参考实现的功能，不仅实现了测试过程中对被测系统的自动配置，而且增强了测试例的可读性。对于隧道协议的互操作性测试，尝试提出一种基于并发TTCN操作语义的互操作性测试框架。