电路交换、分组交换和光交换

为了提高带宽利用效率，近来分组交换逐步取代了传统的电路交换。但是随着光传输技术的发展．网络带宽已不再是主要矛盾．而分组交换所固有的非面向连接性在应用中又面临着一系列问题，使得电路交换又成为大规模应用的一个很好的选择，尤其是光电技术的融合，更使其显示出巨大的潜力。     

软件定义的内容中心网络的多域分段路由机制*

为提高软件定义的内容中心网络(SD-CCN)分域多控制器架构中的路由传输效率,减轻控制器的负载压力,设计了软件定义的内容中心网络的多域分段路由机制(MDSR)。将基于内容名称的路由查找在控制平面执行,数据平面转化为基于节点标签的路由查找,上行链路经过的每个域的控制器选取最优路径并下发分段标签序列引导各自的域内路由,通过跨域节点对域标签的识别实现域间路由中继,从而以少量控制信息实现对上行链路的整体控制。仿真结果表明,本路由机制相比于随机转发等传统路由机制提高了缓存命中率,降低了平均请求时延及平均路由跳数。     

高性能交换与调度仿真平台的设计与实现

仿真实验已成为交换结构和调度策略性能评价的重要手段,而目前存在的交换结构与调度策略的仿真软件在可继承性与可扩展性方面还存在缺陷.基于Crossbar交换结构,建立数学模型,引入系统级设计方法,采用面向对象技术,设计并实现了用于研究交换结构和调度策略的仿真平台——SPES(switching performance evaluation system).该平台集成了输入排队、输出排队、联合输入输出排队、联合输入交叉点排队等多种交换结构以及相应调度策略.设计上实现了业务流、交换结构和调度策略三者之间的分离,具有良好的可继承、可扩展特性.用户通过与仿真平台之间的简单交互,完成模块的添加与仿真环境参数的配置,在支持变长业务、区分服务质量模型和多交换平面仿真方面具有良好的特性.通过简单扩展。该平台还可以实现网络级性能仿真.最后给出了基于该平台,在CICQ(combined input and crosspoint queuing)交换结构下,对所提出的支持DiffServ模型的分布式调度策略DS(DiffServ supporting algorithm)在不同业务流模型下的性能测试结果,并与输入、输出排队交换结构进行了比较,展示了DS良好的性能,验证了仿真平台的合理性.     

拟态路由器TCP代理设计实现与形式化验证研究

拟态路由器基于拟态防御的动态异构冗余架构进行设计,对于未知漏洞后门具有良好的防御能力。协议代理在拟态路由器中处于内外联络的枢纽位置,协议代理的安全性和功能正确性对于拟态路由器有着重要意义。本文设计实现了拟态路由器的TCP协议代理,并采用形式化方法,对其安全性和功能正确性进行了验证。TCP协议代理嗅探邻居和主执行体之间的TCP报文,模拟邻居和从执行体建立TCP连接,并向上层应用层协议代理提供程序接口。基于分离逻辑与组合思想,采用Verifast定理证明器,对TCP协议代理的低级属性,包括指针安全使用、无内存泄露、无死代码等,进行了验证;同时,还对TCP协议代理的各主要功能模块的部分高级属性进行了形式化验证。搭建了包含3个执行体的拟态路由器实验环境,对实现结果进行了实际测试,结果表明所实现的TCP代理实现了预期功能。TCP协议代理实现总计1611行C代码,其中形式化验证所需人工引导定理检查器书写的证明共计588行。实际开发过程中,书写代码实现与书写人工证明所需的时间约为1:1。本文对TCP协议代理的实现与形式化验证工作证明了将形式化验证引入拟态路由器的关键组件开发中是确实可行的,且证明代价可以接受。     

一种基于带缓存crossbar的优先级排队机制及其调度算法

基于带缓存crossbar的交换结构提出了一种支持多优先级的调度方案.该方案在带缓存crossbar交换结构的输入端口提出了一种基于端口与优先级标识的层次化排队机制,并结合该排队机制提出了一种加权双轮询(DWRR)的调度算法,在crossbar内部交叉节点处的缓存队列提出了一种易于实现的补偿优先轮询(CPRR)调度算法.这种DWRR-CPRR优先级调度方案不需要在crossbar交叉节点设置多个优先级缓存队列,避免了在带缓存crossbar内部进行复杂的调度,实现简单.时延特性与带宽分配特性的仿真结果表明,该方案可以获得接近于采用加权公平排队(WFQ)调度策略的OQ交换结构的性能.     

一种可提供QoS保障的新型交换结构

本文采用带缓存交叉开关作为核心交换单元,构建了一种空分复用扩展的联合输入/交叉节点/输出排队(SDM-CICOQ)交换结构,从理论上证明了当扩展因子为2时,SDM-CICOQ交换结构可以获得100%的吞吐量,并且能够完全模拟输出排队(OQ)交换结构,从而能够提供服务质量(QoS)保障.本文还给出了一种层次化优先级调度(HPS)方案作为SDM-CICOQ交换结构调度机制的工程设计参考,仿真结果表明采用HPS调度方案SDM-CICOQ交换结构可获得良好的性能.     

智能找水测试技术在吉林油田的应用效果分析

油井智能法分层找水测试技术的核心是智能找水测试仪的研制,智能找水测试仪是集压力测试、温度测试、定时开关为一体的智能化井下找水测试装置.以该仪器为主体的分层找水测试工艺管柱的配套工具还有封隔器、后投凡尔、伸缩管及高压丝堵等,其工艺流程为在地面设定温度、压力参数采集间隔及找水开关换向时间,地面测得单层产液、含水等数据,井下测取压力、温度数据.现场进行的试验结果表明,该项技术可以明确油层特性、确定出水层位,为油藏分析及下一步措施的制定提供依据.     

采油井模块化分层流体取样与压力测试技术

为了准确掌握老油田高含水开采后期各油层分层压力及流体参数等开发动态数据,提出并研发了具有模块化、全电控、快捷化等特点的模块化分层取样与测试技术,并进行了室内测试和现场试验。模块化分层取样与测试系统由地面控制系统、井下电源、排液泵、电控锚定器、电控封隔器、电控取样器、磁定位短节、终端短节、适配管缆、快速接头等多个功能模块构成,室内测试证实各模块性能参数均达到了设计要求。系统井下功能模块耐压35 MPa,耐温85℃,电控封隔器胶筒耐压差10 MPa以上,电控锚定器锚定力大于6.9 t,并可在意外情况下强制解卡,排液泵排量0.8 m³/d,扬程500 m,电控取样器能够满足3腔各500 mL取样需求。吉林油田现场试验表明,该系统能够实现井下单个生产层段快速封隔与自验封,完成分层压力恢复测试,利用排液泵可将上下封隔器间以及近井地带的混合液体排出,获取被测层段的地层真实流体样品,提高老油田产层认识水平,为开发方案调整优化、油层改造等提高采收率措施提供重要依据。     

无输入缓存PPS结构稳定工作分析

在基于参考交换结构和库存论原理对并行分组交换(PPS)结构稳定工作进行定义的基础上，分析了无输入缓存PPS稳定工作的充要条件，并给出稳定工作时业务分配的充要条件和PPS结构分层及加速比的最小值。