Synopsys发表高速路由器，可提高速度优化DFM设计

为了满足在IC设计中利用多核微处理器架构和解决45nm可制造设计（DFM）挑战的要求，Synopsys推出TZroute编译器路由器。这种新的路由器结合了先进的路由算法和多线程技术，速度可提高到10倍以上。     

关于可测函数列各种收敛性的几点注记

关于可测函数列的收敛性．除了众所周知的处处收敛、一致收敛、几乎处处收敛外，尚有依测度收敛、平均收敛和弱收敛等．本文将主要讨论它们之间的相互关系。     

一类有不动点性的Banach空间

本文研究弱一致Opial条件的性质；弱一致Opial条件与弱一致Opial条件的对偶性；证明当对偶空间有弱一致Opial条件时该Banach空间具有不动点性．     

m-aryn-cube网络的最优路由

基于可选邻接点的概念,在m-ary n-cube网络中提出一种新的最优寻径算法.这种算法始终在当前结点的可选邻接点中选取最空闲邻接点作为下一个信息传输点.该算法使得从源结点到达目的结点路由是最短路由也是最快速路由,而且在多项式时间内可以完成.     

某类一阶非线性双曲型方程的Cauchy问题

本文考虑一类具实际物理背景的一阶非线性双曲型方程，证明了解的存在唯一及正则性。     

基于三维矩阵重构争论有向图的域间路由振荡检测算法

边界网关协议(Border G atew ay P rotoco l,BGP)是当前In ternet域间路由协议的事实标准,基于策略的路由选择过程使它不再是严格意义上的距离矢量协议,也不再具有距离矢量协议的收敛性.V aradhan指出,自治系统各自为政的策略配置方式会导致全局策略冲突,引起永久性的路由振荡.针对该问题,G riffin利用稳定路径问题(S tab le Path P rob lem,SPP)模型形式化的抽象出BGP协议行为,并以此为基础提出了一种分布式的策略冲突检测算法,尽管该算法完全避免了传统方法的缺陷,但仍然存在泄漏策略信息和对BGP协议改动太大以及浪费网络资源的问题.本文提出了一种基于安全多方计算的检测路由策略冲突的方法,用于在怀疑BGP路由发生振荡时,动态的检测系统中是否存在策略冲突.该方法采纳了G riffin的理论基础,同时由于巧妙的运用了安全多方计算协议,可以完全解决G riffin算法的问题,具有很好的实用性.     

企业级网络的设计

本文介绍设计企业级网络需要考虑的几方面问题，包括主干网技术的选择、其它园区或整个行业内部的互连，以及与Internet的连接等。     

Wiener空间上最佳一致逼近的平均误差的渐近估计

设Ｔｍ是ｍ阶积分算子，Ｋｍ是ｍ阶线性常微分算子Ｌｍ的逆算子．关于Ｗｉｅｎｅｒ测度，本文得到Ｔｍ与Ｋｍ的多项式最佳一致逼近的平均误差及ｎ－最优平均信息半径的最优阶．主要结果是Ｅａｎ（Ｔｍ，Ｗ）ｐ，∞ｎ－ｍ－１２（ｌｎｎ）１２及ｒｓｔｎ（Ｔｍ，Ｗ）ｐ，∞ｒｓｔ（Ｋｍ，Ｗ）ｐ，∞ｎ－ｍ－１２（ｌｎｎ）１２．     

含非线性阻尼的2D g-Navier-Stokes方程解的一致渐近性北大核心CSCD

研究了有界区域上含非线性阻尼的2D g-Navier-Stokes方程解的一致渐近性,通过证明过程族的一致吸收集存在和一致条件(C)成立,得到了含非线性阻尼的2D g-Navier-Stokes方程一致吸引子存在.