基于改进自适应遗传算法的海洋平台管路优化设计方法

针对海洋平台管路系统设计周期长、效率低等问题,以平台管路优化布置为研究对象,以管段长度、弯头数和架设高度为控制目标建立数学模型,对通用自适应遗传算法进行改进,设计了奖励函数处理约束条件。模拟计算结果表明,改进的自适应遗传算法进化时间大幅度减少,稳定性和进化效率明显增强;基于该算法的海洋平台管路优化设计方法,可用于进行多约束条件下的平台管路设计,可以提高设计效率、降低管路建设成本,并为海洋平台管路三维优化设计软件的开发提供理论支持。     

现代图学教学中的图感因素探析

为探索工程图学的有效教学方法,论文从心理学的角度在对图感因素进行深层分析和认知的基础上,研究丰富了图感的概念及其本质特性;结合教学工作实际探索了图感培养的方法,以期创造更加符合认知规律的教学模式,更好地提高学生的图学文化水平和图学思维能力。     

LHFS-支持公平服务的CICQ混合调度策略

 针对现有联合输入交叉点排队交换结构(CICQ,Combined Input and Cross-point Queuing)调度策略无法提供基于"流"的服务质量保障,探讨了在CICQ交换结构实施基于流调度的可能性,提出一种能够为到达流提供公平服务的分层混合公平服务调度策略—LHFS(Layered and Hybrid Fair Scheduling).LHFS对每个输入、输出端口可独立地进行变长分组交换,其算法复杂度为O(1),具有良好可扩展特性.理论分析结果表明,LHFS能够为业务流提供时延上限和公平性保障.最后,基于SPES(Switching Performance Evaluation System)仿真系统对LHFS的性能进行了评估.     

石油管道海底对接过程力学仿真软件平台设计

基于海底管道对接过程数值建模分析,利用Abaqus非线性模拟软件实现海底管道对接模拟仿真。采用面向对象的软件平台Visual Studio构建基于Windows系统的海底管道对接模拟仿真平台,阐述管道模拟软件的参数输入前处理模块、模拟仿真求解模块、数据后处理模块和辅助功能模块的软件流程及关键程序设计原理。该软件平台将在海底管道对接模拟领域具有广泛的应用价值和开发前景。     

普适的宽带路由器IPSec改造方案

网络安全性问题的日益突出迫切要求对现有普通宽带路由器进行支持IPSec的改造。以往的基于加密卡串接网络处理单元的改造方法导致资源利用率低、工程实现难度大及普适性差。文章提出了一种新的改造方案,能够利用宽带路由器的快通道实现加密数据包的高速传输,利用慢通道维护IPSec协议的运行及相关安全信息的下发,以一种母板结构普适地实现了对宽带路由器的高效IPSec改造。     

软件定义的内容中心网络的分段路由策略

为降低软件定义的内容中心网络(SD-CCN)的内容请求时延,减少网络拥塞,快速应对网络中的节点或链路故障,借用软件定义网络(SDN)流量工程中的分段路由思想设计了软件定义的内容中心网络的分段路由策略(SD-CCN-SR)。通过控制器选取最优的缓存或内容源节点作为目的节点查找最优路径,向入口边界节点下发分段标签序列。将分段标签序列中的标签依次作为分段的目的节点进行最短路径转发,实现控制器通过少量控制信息对兴趣包上行链路的整体控制。仿真结果表明,本策略能够有效降低平均请求时延及平均路由跳数。     

基于迭代方法的流数估计算法

流数估计是网络管控的重要参考尺度,对网络流量全局特征信息的深入挖掘具有重要意义.针对目前已有的多种估计算法以过度消耗测量设备存储资源和计算资源提高估计精度的缺陷,采用报文抽样技术,提出一种新的迭代收敛型估计算法.实验测试表明,该算法在估计精度和内存消耗上优于EM算法,在迭代更新上优于Iteration算法.     

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

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

交换结构到达分组可选输出端口个数的研究*

针对目前单一路径路由交换机制的问题,引出多下一跳路由交换机制,并在路由交换协同设计的基础上分析讨论了到达分组可选输出端口个数k的取值,基本思路是路由层面分析路由表转发表对k,取值要求特点,交换层面基于Mp-iSLIP匹配算法对比不同k取值下时延丢包率的仿真结果,综合两方面结果得出当k=3时,路由实现难度与交换性能提高得到较好的折中。     

SDN中基于效能优化的交换机动态迁移策略

交换机迁移作为一种弹性控制方式对于软件定义网络（SDN）中多控制器负载均衡具有重要作用.针对现有迁移方案存在迁移效率低下和高迁移代价问题，提出基于效能优化的交换机动态迁移策略.首先，分析控制器负载组成并构建负载差异矩阵，设置触发因子进行负载不均衡判定.然后确定迁移对象，建立迁移效能模型，同时考虑负载均衡率和迁移代价来确定迁移交换机和迁入控制器.最后，通过设定迁移三元组完成迁移映射，实现高效交换机迁移.仿真结果表明，该策略可以有效降低控制器响应时间，减小迁移代价并提高控制器吞吐量，同时将负载均衡率保持在较高水平，具有良好的拓扑适应性.