摘要：提出通信信息图提取方法CIG-EM,实现了从系统行为级模型到通信信息图(CIG)模型提取的自动设计流程,以帮助系统设计人员在系统设计的早期设计高效的片上通信体系结构·CIG-EM采用层次化控制/数据流图(HCDFG)模型作为系统的内部表示模型,并建立了从系统描述到CIG模型提取的整个设计流程;引入HCDFG模型的扩展M-HCDFG模型表示函数-功能单元和变量-存储器的映射信息,简化了CIG模型提取的过程;提出了3种模型HCDFG,M-HCDFG和CIG之间的转换算法,实现了其自动转换·CIG-EM能够平滑系统设计流程,减少设计周期·利用JPEG解码程序表明CIG-EM方法的正确性和有效性·

摘要：通信子系统对并行系统的计算效率有重要影响,大规模应用对并行平台的通信性能和可用性提出了挑战性的要求.多通道通信技术通过并行采用多路网络链路互连来提高并行系统通信性能和可用性.首先分析了多进程复用网络对通信性能的影响,然后以Myrinet/GM网络平台为基础,提出了基于网络接口层的通信链路动态选择与分配策略,设计和实现了支持多路Myrinet网络并行通信的协议层***支持通信进程平等,充分地利用多路Myrinet网络链路资源.在使用2路Myrinet互连的PC机群平台上,MNC进程间通信带宽相对于单链路提高了约34%,有效地提高了应用层通信性能.

摘要：多度量的服务质量路由 (QoSR)作为下一代互联网的一个重要难题 ,具有NPC的复杂度 .作者设计了启发式算法 (LFP)使用线性函数将两个度量转化成单一函数值 ,进而通过多个不同线性函数实现了与服务质量请求无关的QoSR预计算方式 .文章分析了线性函数对算法性能的影响 ,给出了服务质量约束的可行区域和不可行区域的线性函数判定方法 .实验结果表明 ,算法使用少量均匀分布的线性函数 ,即可产生具有较高路由性能的QoSR路由表 ,在可扩展性和路由性能等方面均明显优于现有算法 .

摘要：迅速发展的3G网络和覆盖范围可达整个城域的Wi-Fi网络的逐渐普及,使移动网络环境中对流媒体服务的需求迅速增长.由于移动用户主要依赖Internet上的流媒体服务资源提供服务,所以位于无线网络和Internet交界处的边缘流媒体服务器可以充当桥梁和缓冲区,对于降低网络负载和提高服务质量有显著的效果,因而提出一种新的集群架构的边缘流媒体服务器(CESS)的设计,而且针对集群服务器中最重要的负载均衡问题做了分析和测试,提出了一种新的MCLBS缓存替换算法来使CESS能够达到自适应的负载均衡.最后,实验测试和结果分析证明,相对于传统的缓冲替换算法,MCLBS算法更适合集群式的服务器体系结构,在同样的条件下,缓存命中率明显提高,大大降低远程服务器的带宽.

摘要：相比于传统内存,持久性内存具有容量大和非易失的特点,这为构建大规模键值存储系统提供了新的机遇.然而,在多核服务器架构下设计持久性内存键值系统面临着诸多挑战,包括并发控制带来的CPU缓存抖动、对持久性内存有限写带宽的消耗和竞争以及持久性内存高延迟带来的线程冲突加剧.提出一种多核友好的持久性内存键值系统(multicore-friendly persistent memory key-value store,MPKV),通过设计高效并发控制方法和减少对持久性内存的写操作,充分提高多核并发性能.为避免锁资源带来的额外持久性内存写带宽消耗,MPKV引入了易失性锁管理机制,将写锁资源从索引中分离,在DRAM(dynamic RAM)中单独维护它们.为保证崩溃一致性和提高并发查询性能,MPKV引入了2阶段原子写机制,利用CPU提供的原子写操作指令将系统从一个一致性状态原子地切换到另一个一致性状态,并支持了无锁查询.基于易失性锁管理机制,MPKV还提出一种并发写消除机制,以提高更新操作之间的并发效率.当出现2个冲突的更新操作时,并发写消除机制让其中一个操作直接返回,不做任何持久性内存的分配与写操作.实验显示,MPKV相比于pmemkv具有更良好的性能以及多核扩展性.其中,在18线程环境下,MPKV的吞吐达到pmemkv的1.7~6.2倍.

摘要：RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类.前者主要使用逻辑推理的方法,目前已在处理器验证中得到了广泛的应用,主要得益于SMT支持用于描述验证条件的基础理论;后者能够充分地利用电路中的约束信息,因而求解效率较高.介绍了每一大类中的典型研究及其所采用的重要策略,以及RTL可满足性求解方面的研究进展.

摘要：路由的自愈性是指在网络故障发生后,路由系统能够自动恢复或重建路由,保证分组转发不受影响的能力.虽然目前的域内路由协议都具备一定的自愈能力,但是它们的自愈时间通常在几秒到上百秒之间,难以完全满足用户的需求.在自愈过程中,网络路由可能是错误的,甚至会出现"路由黑洞"或"路由环路",导致分组丢失,影响网络应用.为了解决这个问题,研究者设计了很多域内自愈路由方案.本文在总结和分析了当前域内自愈路由的问题后,提出了自愈路由模型,依据模型将这些方案分成五类:调整设置权值、限制洪泛、快速重路由、多路径和本地重路由.在分析每类中典型算法的基础上,总结对比了各类方案的特点,详细分析了算法的有效性.最后探讨了域内自愈路由研究中需要进一步考虑的问题.

摘要：为了避免由于布线线序处理不当而导致无法布通的问题,提出一种基于整数规划的层次式FPGA布线算法.该算法使用一种全局优化处理的方式对布线问题进行求解,通过分析层次式FPGA的结构特点和整数规划的算法特点,导出了FPGA布线算法问题与整数规划之间的关系;然后具体描述了如何将FPGA布线问题转化成二进制整数规划问题及其相应的求解过程,其中利用层次式FPGA的结构特点对得到的整数规划问题进行简化.与可满足性布线算法进行实验比较的结果表明,文中算法具有求解速度更快、求解规模更大以及求解质量更高等方面的优势.

摘要：无模型自适应控制(Model free adaptive control,MFAC)是一种数据驱动的控制方法,具有计算简单、鲁棒性强、无需建模等优点.目前无模型自适应控制方法普遍未考虑可能出现的执行器饱和问题.本文针对这一问题,对执行器执行能力存在上限的情况设计了改进算法.该算法通过对控制输入准则函数引入约束条件,使用Hildreth方法进行数值求解,具有编程简单、计算量小的优点.在此基础上分析并证明了闭环稳定性.最后以蒸馏塔模型为控制对象,通过对比仿真实验验证了算法的有效性.

摘要：近年来,超三代移动通信系统的QoS体系结构已成为计算机网络领域和通信领域的一个研究热点.调研了相关的主要研究项目,通过对重点项目和国外该领域相关论文成果进行分析和比较,总结出未来B3G(beyond 3rdgeneration)系统QoS体系结构应是一种全IP的、层次化的、端到端的QoS体系结构,它应具有集成性、可管理性、可扩展性、自适应性和动态资源管理等特点.最后提出了B3G系统QoS体系结构的基本设计原则,并对未来工作进行了展望.