WDM光网络中基于链路的动态组播共享保护算法

针对WDM光网络中单链路失效的情况,提出了一种基于链路的保护动态组播业务的优化共享保护算法(Link-based optimized shared-protection algorithm for multicast sessions,LB-OSPM).该算法在对工作树任意光纤链路失效情况寻找保护路径时,允许组播内不同保护路径共享预留波长资源,同时通过引入预留波长使用情况矩阵和波长预留矩阵记录预留波长资源的使用情况,实现了不发生冲突的不同组播的保护链路间共享预留波长资源.研究采用欧洲光网络(European Optical Network,EON)的拓扑对不同波长资源配置和网络负载情况下LB-OSPM算法的网络连接阻塞率做了仿真.结果表明,通过引入共享机制,LB-OSPM算法在对单链路失效保证100％恢复率的同时可以获得更低的连接阻塞率,提高了波长资源利用效率.     

基于TLM2.0的SPARC事务级建模

为提高可扩展处理器体系结构(SPARC)的设计抽象层次和仿真速度,设计一种符合第8版SPARC(SPARC V8)的事务级模型。该模型基于TLM2.0标准,采用解释型指令集仿真方法实现程序执行。通过构建验证环境,证明该事务级模型能够正确运行并跟踪SPARC V8程序,仿真速度比寄存器传输级提高2个数量级。     

基于SDH的MSTP中的数据交换芯片设计

针对在SDH上构建多业务传输平台(MSTP)的需求,介绍了一种能在SDH传输和接入设备中提供灵活的数据业务支持的PoS(PacketoverSDH)数据交换芯片的设计方法。该芯片基于共享存储器的交换结构,采用了先进的流水线设计方式以提高整体交换容量。芯片支持服务质量保证(QoS)和组播(Multicast)功能,可用于SDH传输和接入设备中,为SDH上的数据业务支持提供简单而高效的解决方案。     

晶粒细化对Co-5Y合金高温氧化性能的影响

采用机械合金化（MA）和热压烧结技术制备了细晶Co-5Y合金（用MACo-5Y表示），研究了其在900℃空气中的氧化行为。并与熔炼Co-5Y合金（用CACo-5Y表示）的氧化行为作了比较，讨论了晶粒细化对氧化行为的影响。晶粒细化后生成的大量晶界和相界，成为C0离子和氧离子的快速扩散通道，使得MACo-5Y合金的氧化速率要高于CACo-5Y合金。但由于晶粒细化后改变了合金基体的组织结构，合金的内氧化受到抑制。     

离心压气机流场的计算研究

针对一款典型的高压比离心压气机SRV2,采用NUMECA软件,计算其内部的流场情况,并对这些流动状态进行研究。研究表明,离心压气机中主要存在3种二次流结构,这些二次流相互作用,形成了离心压气机中常见的射流尾迹结构。该研究对于改进离心压气机设计、提高其性能具有重要意义。     

邯郸市南水北调受水区农村规模化供水分析

阐述了邯郸市农村引江水规模化供水的现状,分析了引江水规模化供水优势,指出了现状供水存在的不足及问题,提出了下一步农村规模化供水保障实际可行的建议,以期邯郸市农村引江水规模化供水可以“建得起、养得住、用得久”。     

星地协同智能海洋通信网络发展展望

随着国家海洋战略推进实施,海上运输、资源开发等经济活动日趋活跃,海洋通信需求不断增长。尽管地面蜂窝网络已进入5G时代,现有海洋通信仍主要依赖海事卫星和岸基通信手段,通信速率、通信时延和可靠性等远不能满足需求。未来6G网络有望实现天空地海全域覆盖,但由于海上环境的复杂性、海事业务的异构性等挑战,6G海洋通信网络仍面临特殊难题。在综述海洋通信现状的基础上,从传输效率、网络覆盖、信息服务3方面梳理关键技术。面向未来6G智能海洋通信网络发展,展望海上环境感知智能传输、星地协同动态组网和业务驱动资源分配技术方法与研究方向。     

前轴疲劳断裂分析

重型汽车在行驶过程中前轴发生断裂。对前轴进行了硬度、金相组织、机械性能和断口等进行分析,发现造成断裂是由于存在加工缺陷产生应力集中源和过载导致前轴的早期失效。     

游乐建筑高大空间竖向管道安装技术

本文以北京环球影城主题公园205黑暗骑乘单体项目为例,从竖向通风管道、竖向桥架以及竖向空调冷热水管、给排水管、消防水管安装等方面详细介绍了游乐建筑室内高大空间的竖向管道安装关键技术.该技术根据不同专业的竖向管道,选择适合与超高轻钢龙骨墙的固定体系,以达到管道安装可靠、施工便捷,节省工期的目的,可供类似工程项目参考.     

共识协议的形式化验证研究现状与展望

分布式系统在计算环境中发挥重要的作用,其中的共识协议算法用于保证节点间行为的一致性.共识协议的设计错误可能导致系统运行故障,严重时可能对人员和环境造成灾难性的后果,因此保证共识协议设计的正确性非常重要.形式化验证能够严格证明设计模型中目标性质的正确性,适合用于验证共识协议.然而,随着分布式系统的规模增大,问题复杂度提升,使得分布式共识协议的形式化验证更为困难.采用什么方法对共识协议的设计进行形式化验证、如何提升验证规模,是共识协议形式化验证的重要研究问题.对目前采用形式化方法验证共识协议的研究工作进行调研,总结其中提出的重要建模方法和关键验证技术,并展望该领域未来有潜力的研究方向.