多点非电起爆网络设计与可靠性研究

为了拦截来袭破甲弹,保护重点目标,设计了一套多点非电起爆网络,起爆线型爆炸成型弹丸(LEFP)装药,利用药型罩形成LEFP来拦截破甲弹。设计的多点非电起爆网络由中心起爆元、2级起爆元、高强度导爆管、激发爆管和起爆雷管等组成。通过设计,明确了中心起爆元与2级起爆元的结构、激发爆管的结构及工艺流程;通过试验和结果分析,可得多点非电起爆网络的可靠度为0. 993 3(γ=0. 9);对4组弹径82 mm破甲弹的动态拦截试验表明,设计的多点非电起爆网络能够满足重点目标的主动防御。     

一种数据仓库联机维护的集合刷新算法

提出了一种版本控制集合刷新算法（VSRA）.它采用增量维护、版本控制和批处理机制保证数据仓库的联机维护和数据一致性.VSRA不仅减少了数据库和数据仓库之间的通信流量,而且提高了实体化视图的刷新效率.用户可以随时使用VSRA进行联机分析处理,并能得到正确的结果.     

Needham-Schroeder公钥协议的模型检测分析

密码协议安全性的分析是当前网络安全研究领域的一个世界性难题.提出了运用模型检测工 具SMV(symbolic model verifier)分析密码协议的方法,并对著名的Needham-Schroeder(NS )公钥协议进行了分析.分析结果表明,入侵者可以轻松地对NS公钥协议进行有效攻击,而这个 攻击是BAN逻辑分析所没有发现过的.同时,给出了经SMV分析过的一个安全的NS公钥协议 的改进版本.     

基于TTCN的测试序列选择技术研究

测试序列选择技术一直是协议测试领域中一个研究热点,本文对此技术进行了深入地探讨,建立了测试集动态关系模型,并以此为基础邮综合静态选择和动态选择的一种实现方案。     

分布式路由协议BGP-4的实现与优化

边界网关协议ＢＧＰ－４是用于自治系统之间交换路由信息的动态分布式路由协议。文中介绍了清华大学研制的国产高性能路由器中分布式路由协议ＢＧＰ－４的具体实现。为了提高路由器的性能,对ＢＧＰ－４的实现进行了优化,主要优化措施包括单进程体系结构,其于二叉树的支持可变长掩码的路由表和基于静态数组的时钟队列。测试结果表明,该实现在性能上表达了Ｃｉｓｃｏ７０００系列路由器的水平,完全达到了设计要求。     

原油罐底的腐蚀及防护对策

某石油化工厂原油罐底板腐蚀泄漏严重,下文在化学分析及电化学实验的基础上,对腐蚀原因及涂料＋牺牲阳极的防护措施进行了论述。     

应用于在线测试的状态判定算法

在线测试是通过观察线路上双方协议实体的会话来进行协议测试的方法,测试中需要判定会话双方的状态.本文提出的状态同步算法将传统的协议状态机转化为“事件状态表”,并通过表运算判定双方状态.该通用算法解决了在线测试中首先要解决的状态判定问题.通过对该算法进行的复杂度分析得出了影响其复杂度的因素,并进行了改进和优化.该算法应用于作者开发的在线测试系统中,已完成了若干通信协议和路由协议的一致性测试和互操作性测试,取得了较好效果.     

网络互联设备的性能测试:原理和实践

介绍了网络互连设备性能测试领域的一些技术背景 ,包括在测试中使用的性能指标和测试中的环境设置 ,这些是对网络互连设备性能测试系统的需求 .介绍了一个网络互连设备性能测试系统的设计方案 .使用这个测试系统对Cisco1 2 0 0 0路由器进行了测试     

高性能路由器操作系统HEROS中的多处理器通信

为了适应基于分布式多处理器平台的路由器的应用需求．本文对高性能路由器操作系统HEROS(Highly Efficient Router Operating System)进行了分布式扩展,实现了分布式的消息队列机制DMQ．DMQ是一种轻负栽的,和传输介质无关的,具有容错能力的分布式消息通信机制．基于DMQ机制可以实现高性能的分布式分组转发．该DMQ机制已经用于国家“863”重大项目“高性能安全路由器”和“核心路由器”,取得了满意的效果．     

基于超磁致伸缩效应的光纤电流传感器

基于超磁致伸缩效应的光纤电流传感器是目前研究的热点,在进行理论分析的基础上搭建了以光纤布拉格光栅和超磁致伸缩材料为传感头的电流传感系统,并将实验所得的结果与理论分析的结果进行了比较,得出了可能导致误差出现的原因.