摘要：虚拟化技术是推动下一代互联网渐进式发展的关键技术,利用虚拟路由器构建大规模虚拟网络环境对于促进网络创新技术的研究与部署、解决互联网面临的僵化问题具有重要意义.该文基于高性能虚拟网络VegaNet(Virtual Gigabit Network),提出了一种满足保真、高效、可控、隔离和可扩展需求的虚拟路由器方案.设计了虚拟链路状态检测机制以保证VegaNet网络与物理网络的状态一致性;设计了统一数据转发引擎以提供高效的数据转发服务.实验结果表明:VegaNet网络虚拟路由器的虚拟链路状态检测速度快、统一转发引擎效率高,可以为新型网络体系结构与网络协议提供一个真实高效的实验环境.

摘要：提出一种基于平面与“点云”、平面与NURBS曲面求交计算的混合切片方法 该方法可以保证切片曲线在点云和曲面的连接处达到G1 连续 ,在此基础上的重构曲面既能保证与相邻曲面的连续性要求 ,又能满足对点云的逼近精度要求 ,对反求建模尤其是过渡特征的重建有着重要意义 文中详细探讨了平面与曲面求交和点云切片两个核心算法 ,并对基于模型特征的混合切片方案的选择原则以及不同方法进行了论述和比较

摘要：随着深亚微米工艺的迅速发展,现代网络处理器芯片广泛采用MPSoC(Multi-Processor System on Chip)体系结构实现,继而需要一种新的设计方法指导网络处理器体系结构设计.本文研究了网络处理器的设计方法,提出了一种基于遗传算法的网络应用到网络处理器异构硬件资源映射方法.该方法首先对网络处理器设计的问题空间进行分析,采用加权数据流进程网络描述网络应用,并参数化各种硬件资源,最后构建遗传算法来完成网络应用到异构硬件资源的映射,形成网络处理器体系结构设计方案.

摘要：主要内容是关于当设计高性能 Web服务器时 ,如何解决快速 CPU处理能力和慢速磁盘访问之间的矛盾 .前半部分主要讨论现有 Web服务器模型的优缺点 ,后半部分描述了异步单进程事件驱动 (ASPED)模型及其实现 .ASPED是一个综合 SPED,AMPED优势和异步 I/ O思想的 Web服务器模型 .为证明该模型的先进性 ,据此编码了一个 Web服务器 Jaguar.经 Spec Web99测试 ,Jaguar的性能要比基于 AMPED模型的 Web服务器 Flash的性能最多好 2 0 %

摘要：提高分布计算中间件的性能和可用性的一个主要方法是加强中间件的管理功能 .通过对现阶段的中间件管理产品进行研究 ,提出了中间件管理的管理框架 ,并针对 ISMQ消息通信中间件 ,介绍了消息中间件管理器 IS-MQM的设计与实现 .在给出 ISMQM的总体结构和对象模型后 ,详细论述了基于 SNMP通信协议下管理器的设计和实现方案 ,并讨论了在不同情况下的负载平衡算法 .结果表明 ,ISMQM有效地管理了消息中间件 。

摘要：针对从电路转化而来的SAT问题,通用SAT求解器存在一个缺陷——电路互连信息的缺失,这是造成很多无关推导的根源.文中提出了一个统一的基于CNF数据结构的电路SAT无界模型检验框架.首先作者提出了定值子句的概念,利用这一概念可以在CNF结构中保存电路的互连信息,在搜索过程中更早地识别可满足解,减少不必要的搜索.其次,文中提出了在CNF结构上的状态变量赋值精简方法,摆脱了以往基于SAT的无界模型检验中这一步骤对门级电路结构的依赖.实验数据表明,利用文中方法进行前像计算能够取得明显的加速.同时,文章比较了两种搜索顺序在多时帧搜索中的效果.实验结果表明利用文中方法可以验证传统模型检验方法难以验证的复杂电路属性.

摘要：在MPSoC芯片设计中,能耗问题是一个关键因素,NoC(Network-on-Chip片上网络)的能耗占芯片总能耗的50%以上.文中首先对NoC应用层协议的能耗行为进行统一的数学描述,在此基础上,针对目前Cache一致性中常用的目录协议进行深入分析,提出一种基于位置概率分布的目录协议能耗模型,其考虑目录信息与数据块节点位置分布的无关性,定位数据块在NoC中的节点位置,计算任意节点间数据传输的概率矩阵,并结合路由单元能耗、连线能耗以及网络拓扑结构,准确获得目录协议中一次数据块传输的能耗.仿真实验表明,该文提出的模型在发包概率稳定的Mesh(网孔)网络中可有效计算出不同类型目录协议产生的能耗,且精度较高(误差小于2%),为下一步协议能耗优化研究提供可信的量化的评判依据.

摘要：针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件"运算"实现,并结合进程代数中算子概念,定义了多种服务组合运算,从而建立SOA的代数模型.在代数模型基础上,进一步对SOA可信属性建模,提出多种SOA可信范式,为可信SOA软件设计提供理论支持.最后介绍了一个应用案例.

摘要：针对大批量定制生产的特点 ,提出基于产品功能结构单元的产品配置模板来完成对客户配置需求的快速响应 ,给出了产品配置模板的信息模型和配置求解策略 由于机械产品结构的复杂性 ,引入配置设计知识的混合表达方法以适应不同产品设计类型的要求

摘要：和磁盘相比,闪存作为一种新型的存储设备,具有读写速度快、抗震、省电、体积小等优点.因此,当前的研究普遍认为闪存将取代磁盘成为新一代的数据库二级存储设备.但是,由于闪存具有和磁盘不同的一些固有的读取特性,将当前基于磁盘设计的数据库直接移植到闪存上时,并不能充分发挥闪存设备的优越性.在数据库的恢复过程中,由于闪存的异地更新和重写之前先擦除的特性将带来大量高代价的小的随机写,直接使用传统的恢复方法在闪存数据库中就更难以充分利用闪存的优越性.因此,文中提出了一种对闪存中天然存在的数据的历史版本来进行管理和利用的恢复方法HV-recovery,来改进undo恢复的性能.通过和开源数据库Oracle Berkeley DB的比较,实验结果表明HV-recovery是原有的恢复算法性能的2~8倍,充分说明了其优越性.