Stereo imaging quality evaluation in a full-color three-dimensional display system

To evaluate the light field display system with a liquid crystal display (LCD) and a holographic functional screen (HFS), the voxel theory based on the ray tracing is used. By analyzing the voxels defined by the cases of corresponding pixels overlapping completely and partially in the image space, the resolution characteristics of the system are discussed. The theoretical model is verified in the reconstruction experiment of a resolution target and compared with the calculation result of the presented system. Finally, we give an optimization method for the display image quality.     

一种顽健的自校正主动队列管理机制

现有基于控制理论的主动队列管理机制（AQM）大多数是根据简化的线性被控对象模型设计的,或者根据特定的网络条件设置算法的参数,当网络条件大范围变化时算法的性能难以保证.为了解决这些问题,提出了一种自校正的主动队列管理机制STR,通过在线估计TCP/AQM闭环系统被控对象模型的参数,并相应地调节报文丢弃概率,使路由器的缓冲区队列长度与期望值之间的方差最小.通过仿真实验验证了当网络条件大范围变化时算法的队列长度、链路利用率、报文丢弃率等性能,实验结果表明该算法具有良好的顽健性.     

自适应寻径的路由器设计

本文介绍了一种高性能路由器的设计，ＨＰＲ能工作在２００ＭＨｚ的高速网络主频下，每条信道的数据传输率高达４００ＭＢ／ｓ，它具有支持高速流水式信道，自适应路由算法，改进型Ｗｏｒｍｈｏｌｅ流控策略等新的特征。     

一种加速FPGA布线的不可满足子式求解算法

随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Pro-grammable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,并且精确定位关键线网.针对如何加速FPGA详细布线过程,提出了一种基于消解否证的启发式局部搜索算法,能够快速从布尔公式中提取不可满足子式.基于典型的FPGA布线测试集,与两种求解最小不可满足子式效率最高的算法进行了比较,结果表明局部搜索算法在运行效率方面显著优于分支限界算法与贪心遗传算法,而局部搜索算法也能得到最小不可满足子式;并且深入分析了不可满足子式在FPGA详细布线中的作用,能够加速芯片的设计与验证过程.