摘要：统一账号业务正是基于网络综合而提出的,这一业务是对用户发生的所有通信进行统一的管理和计费.目前人们只是提出了统一账号业务的基本思想,对其具体实现还没有相关的研究报告.作者提出了一种满足目前多业务并发和未来的统一账号业务需求的统一账号机制,详细描述了该项技术的设计思想、系统结构和处理流程.实践证明,采用这种机制可以避免同一账号多种业务并发时的计费错误.

摘要：无线网状网WMN(Wireless Mesh Network)是一种新兴的无线组网技术,支持节点多跳路由和转发功能,解决了有限发射功率条件下无线覆盖和数据吞吐率优化的两难问题。因其独特网状结构优势,无线网状网拥有比传统无线Ad hoc网络和无线局域网WLAN更高的可靠性、更高的数据吞吐率、更低的干扰以及更强的扩展性等特点,在军事通信网、公安移动数据网以及智能交通网络等领域对系统网络的设计具有重要价值。本文引入了WMN的概念及结构模型,详细介绍其特征及优势,并且分析其关键技术和热点问题,随后,提出一种轨道交通系统宽带无线覆盖应用模式,同时也介绍其他典型应用范例。最后,介绍了其标准化发展进程,并对其发展进行展望。

摘要：针对全IP核心网络的不同无线接入技术,提出一种基于预判决模糊逻辑的垂直切换算法.引入预判决方法有效减少不必要的数据量和系统开销.采用前向差分预测能够较准确地预测出下一时刻的信号强度,提高了切换触发速度和切换判决精度.采用模糊逻辑的方法,以接收信号强度、预测信号强度及可用带宽作为网络参量设计模糊逻辑控制器,进而采用归一量化的方法改进模糊逻辑系统,得到网络的综合性能值进行垂直切换判决.仿真分析表明,本文提出的算法能够较准确做出切换判决,有效消除乒乓效应,提高系统性能.

摘要：为了提高SoC系统中主设备访问外部存储器的访问带宽,设计了基于AHB总线的多端口存储器控制器IP核,并提出了基于提前仲裁和请求等待优先的仲裁策略.IP核中的多个主设备通过多个端口请求访问外部存储器,仲裁器在当前总线读/写操作完成前的提前仲裁时刻裁决出具有最高优先访问权的端口并对访问请求未获允许的端口设置请求等待时间,当提前仲裁时刻再次到达时,优先裁决等待时间到的端口.仿真和硬件验证结果表明,IP核的存储器访问带宽约为532 MB/s,最高总线利用率约为90%.

摘要：随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明技术、自然演绎和类型化的λ演算、3种编程逻辑、基于高阶逻辑的硬件验证技术、程序构造和求精技术之间的联系和发展变迁,其中,3种编程逻辑包括一阶编程逻辑及变体、Floyd-Hoare逻辑和可计算函数逻辑.然后分析、比较了各类主流证明助手的设计特点,阐述了几个具有代表性的证明助手的开发和实现.接下来对它们在数学、编译器验证、操作系统微内核验证、电路设计验证等领域的应用成果进行了细致的分析.最后,对机械化定理证明进行了总结,并提出面临的挑战和未来研究方向.

摘要：针对人工智能专业知识多,教学重点侧重算法研究,学生缺乏贯穿底层硬件和芯片算法的系统级开发能力等问题,以计算机视觉独立实验课为例,提出计算机视觉实验教学改革方法,从人工智能人才培养面对的问题着手,阐述如何设计实现华为昇腾嵌入式边缘设备Atlas200DK开发板的端到端系统实验,如何引入翻转课堂教学模式与思政元素,实现课程改革评价与反馈,最后通过案例分享和实验过程中的调查问卷总结分析说明教学效果。

摘要：为解决多端口片上系统仲裁调度中性能与代价之间的矛盾,提出了一种将提前仲裁机制和请求等待优先机制扩展到固定优先级仲裁算法之上的仲裁策略:提前仲裁机制利用数据传输时间段来裁决新的总线访问请求;请求等待机制对发出总线访问请求但未获访问允许的主设备端口设定请求等待时间,当等待时间到达时,该端口将获得对总线的优先访问权.实验结果表明,该策略的总线利用率较请求等待优先仲裁策略的提高10%左右,它不仅能够兼顾各个主设备端口间的优先性和公平性,而且能够以较低的实现代价获取较高的系统性能.

摘要：将业务接入与业务控制分离,设计并实现基于M+N结构的业务控制点(SCP)容灾系统。该系统可扩展性和可维护性好、可用性高,且对现网设备和业务影响小。测试及实际应用结果表明,其实现了快速的应用级业务恢复,保证了业务的连续性。可以容忍多个生产SCP同时发生故障并提供业务接管。避免数据备份服务的集中运行,增强了容灾SCP的业务处理能力。

摘要：研究了长期演进(long term evolution,LTE)网络中考虑机会调度并可提供不同服务质量(QoS)保障的准入控制(CAC)算法的设计.使用基于累积分布函数的调度(cumulative distributed function based scheduling,CS)作为基本调度策略.首先采用机会轮询(opportunistic roundrobin,ORR)计算CS性能下界,并通过仿真验证此计算方法的正确性.然后提出一个CS与ORR相结合的CAC算法COCDQ(CS/ORR based CAC algorithm for different QoS requirements),其可同时保障新接入用户和已存在用户的不同QoS需求.最后通过系统级仿真验证所提算法性能,结果表明联合考虑机会调度与QoS需求,COCDQ算法可有效降低新接入用户阻塞率,提供更好的QoS保障,其代价是仅总吞吐量略有降低.

摘要：非连续数据通信是指发送端将位于不同地址的多块数据传输到接收端的多个非连续地址.这种通信模式在科学计算应用中十分常见,如求解计算、FFT计算、流体力学模拟等应用均涉及矩阵的转置传输,多维矩阵的子矩阵传输,非结构化数据访问等非连续数据通信.所以,非连续数据的通信性能对众多科学计算应用有重要的影响.目前,有多种实现非连续数据通信的卸载或者非卸载的方法,但是迄今没有工作在同一平台对主流的非连续数据通信实现方法进行评测和分析,也没有工作对每一种实现方式适用的情况进行总结.本文首先总结了目前非连续数据通信的实现方式,然后,本文使用已有的测试集和自己设计的测试集对不同方式的非连续数据通信性能进行了详细的对比测试,细粒度地分析了在不同数据分布的情况下数据拷贝和RDMA通信的开销,尤其对基于RDMA sg_list(scatter-gather list)和UMR(User-mode Memory Registration)功能的卸载性能进行了分析,并总结了各种非连续数据通信方式的适用情况和存在的问题.最后,本文通过实验验证了分析结果的正确性,并对于该分析结果相关的技术提出了优化的方向.