基于Nios Ⅱ的网络处理器转发软件设计与实现*

为了进一步提高网络处理器的可编程能力,可采用软核设计网络处理器,如在Ahera FPGA中嵌入多个NiosⅡ软核实现网络处理器。首先介绍了NiosⅡ的结构特点和自定义指令,而后给出了基于NiosⅡ软核处理器的网络处理器转发软件结构,并以IPv4报文转发应用为例阐述了网络处理器转发软件的实现方法。     

基于网络处理器的IPv6高性能路由器研究

本文基于网络处理器的IPv6高性能路由器设计技术进行探索,首先弄清网络处理器的特点与功能,其次介绍了网络处理器设计需要符合的一系列标准及其应用范围,最后结合路由器的基本原理,比较IPv4与IPv6路由器的不同,并详细分析了IntelIXP2400网络处理器的硬件结构、系统架构、编程模型。网络处理器代表着下一代网络设备的核心功能单元,必定有很大的发展空间。     

网络处理器简介及其微引擎设计

网络规模的膨胀型增长、用户对宽带需求的急速增加、各种新业务的层出不穷和智能化管理、应用可升级的技术需求催生了网络处理器，形成了以网络处理器为核心的新一代网络设备体系结构。该文简要介绍了网络处理器的定义、结构及其特点，分析了网络处理器设计与通用处理器的主要不同点，着重阐述了网络处理器的核心部分——微引擎的结构和设计重点。     

64位处理器嵌入电信

近期Sun公司发布嵌入式产品400/500 MHz UltraSPARC IIe微处理器。该新品是针对嵌入式应用的高度集成的64位处理器,主要目标市场是针对电信、网络基础设施和ISP等。与该处理器同时提供的还有成套设计工具和文件,形成完整的解决方案。UltraSPARC IIe嵌入式处理器可在400 MHz和500 MHz下工作,与UltraSPARC处理器整条产品线做到应用软件二进制兼容。 Sun的这一新的嵌入式处理器得列实时操作系统(RTOS)的支持,以满足嵌入式产品市场对综合性应用和实时处理能力的需求。该处理器的高度集成降低了功率消耗、减少了芯     

基于网络处理器的路由交换方案

网络处理器是新一代网络设备的核心器件,基于网络处理器的路由器交换机开发是一个热点.由于ASIC和通用CPU各自的局限无法满足日益增长的网络流量和业务的需求,从而出现了网络处理器,网络处理器一般是由通用处理器作为控制CPU,多个转发引擎并行处理分组以隐藏访问I/O设备的延时,并通过协处理器来加速路由查找、CRC计算等功能.通过分析网络处理器的体系结构并依据当前网络处理器发展的实际情况提出了几种基于网络处理器设计的路由交换系统方案,并分析了各种方案的特点及应用场合.     

网络处理器体系结构的比较与分析

网络处理器作为路由器设计的关键部分，不仅具有ASIC的功能，同时有着通用CPU的编程能力，在速度与可编程方面均有着优良的性能。该文主要阐述IBM NP4GS3与Intel IXP 1200两款网络处理器的体系结构，并对网络处理器的总线设计、微引擎机制、存储器设计等关键部分加以比较分析，为设计网络处理器提供参考。     

基于网络处理器的路由器体系研究

随着网络带宽成指数倍增长和新服务、新协议的不断涌现,基于GPP和ASIC的传统网络解决方案由于不能兼顾速度和灵活性两方面要求,已经不能满足需求。为此,一种并行可编程的网络处理器被应用到路由器的设计中来。分析了网络处理器本身体系结构及关键处理技术,提出了一种基于网络处理器的高效、可扩展、分层路由器通用模型,并阐述了它的数据处理机制。     

用双链哈希表提高基于网络处理器的防火墙性能

基于网络处理器的防火墙中大量的内存访问会影响对高速网络流的处理速度。哈希表是防火墙中重要的数据结构,用拉链法解决冲突时一次查表的平均内存访问次数与相应拉链的长度成正比。把一条拉链划分成两条可以缩短链的长度,减少总的内存访问次数,从而提高系统性能。介绍了用两条链处理哈希表冲突问题的方法,分析了它对性能的影响,并以网络处理器IXP2400为例给出了具体设计和实现。     

网络处理器验证技术研究

网络处理器是面向网络应用领域的专用指令处理器,是面向数据分组处理的、具有特定电路的软件可编程器件.它将基于精简指令集处理器的低成本、高灵活性与专用网络处理芯片的高性能很好地结合在一起,可适应网络新协议和新应用.该文通过对网络处理器体系结构的分析,在设计过程中应用目前主流的验证技术,根据网络处理器的特点,在各阶段采取不同的验证策略,从而缩短验证周期.     

基于MPC8360处理器的通信网络设计

作为Freescale的新一代处理器,MPC8360支持ATM、TDM、以太网等多种标准通信协议,并支持协议之间的互通,大大提高了数据的处理速度。首先介绍了MPC8360的架构和支持的协议,然后结合2G/3G/4G无线接入网络提出了基于MPC8360处理器的嵌入式通信网络设计方法,可为通信网络设计提供参考。     

Solving #SAT using vertex covers

We propose an exact algorithm for counting the models of propositional formulas in conjunctive normal form. Our algorithm is based on the detection of strong backdoor sets of bounded size; each instantiation of the variables of a strong backdoor set puts the given formula into a class of formulas for which models can be counted in polynomial time. For the backdoor set detection we utilize an efficient vertex cover algorithm applied to a certain “obstruction graph” that we associate with the given formula. This approach gives rise to a new hardness index for formulas, the clustering-width. Our algorithm runs in uniform polynomial time on formulas with bounded clustering-width. It is known that the number of models of formulas with bounded clique-width, bounded treewidth, or bounded branchwidth can be computed in polynomial time; these graph parameters are applied to formulas via certain (hyper)graphs associated with formulas. We show that clustering-width and the other parameters mentioned are incomparable: there are formulas with bounded clustering-width and arbitrarily large clique-width, treewidth, and branchwidth. Conversely, there are formulas with arbitrarily large clustering-width and bounded clique-width, treewidth, and branchwidth.     

NP控制平面OS中基于分组属性的进程调度技术

在基于NP的网络处理系统中，存在各种各样的控制平面和数据平面交互信息。不同的信息分组具有不同的重要性，某些重要分组若得不到及时处理会导致系统和网络行为的紊乱，因此需要降低分组经历的时延，且越重要的分组经历的时延应该越小。从控制层面操作系统的角度来看，这要求分组处理进程的调度属性应该与所处理分组的属性关联起来。该文提出了一种基于分组属性的进程调度策略，给出了有关设计与实现。实验结果表明，该策略较好地达到了预期的目标。     

连续系统中二次型性能函数对系统参数灵敏度的计算

本文给出了在连续系统中计算二次型性能函数对系统参数灵敏度的一般方法,结果归结为求解两个对偶的李雅普诺夫方程。同时给出了不同控制器结构时的具体算法。对于随机系统,也给出了相应的计算方法。最后举例说明本文结果在系统分析中的应用。     

船舶机舱监控系统触摸屏接口程序的设计

介绍了触摸屏接口程序的设计.分析了触摸屏输出数据格式和接口程序设计思想,详细讨论了串行通信中断服务程序、触摸屏数据处理函数以及应用接口函数的设计过程.设计的程序在机舱监控系统中获得成功应用,对类似系统触摸屏接口程序设计具有较好的参考意义.     

LOcal Uncertainty Processing (LOUP) method for multidisciplinary robust design optimization

In this paper, we develop an easy-to-implement approximate method to take uncertainties into account during a multidisciplinary optimization. Multidisciplinary robust design usually involves setting up a full uncertainty propagation within the system, requiring major modifications in every discipline and on the shared variables. Uncertainty propagation is an expensive process, but robust solutions can be obtained more easily when the disciplines affected by uncertainties have a significant effect on the objectives of the problem. A heuristic method based on local uncertainty processing (LOUP) is presented here, allowing approximate solving of specific robust optimization problems with minor changes in the initial multidisciplinary system. Uncertainty is processed within the disciplines that it impacts directly, without propagation to the other disciplines. A criterion to verify a posteriori the applicability of the method to a given multidisciplinary system is provided. The LOUP method is applied to an aircraft preliminary design industrial test case, in which it allowed to obtain robust designs whose performance is more stable than the one of deterministic solutions, relatively to uncertain parameter variations.     

具有不可测输入的线性系统观测器

具有不可测输入的多变量线性系统状态观测器的设计方法有判定法和建模法.本文给 出了在系统输出直接含有系统输入时应用判定法的充要条件.在此基础上,提出了综合设计 的方法,举例说明了设计步骤.     

Untangling parameters: A formalized framework for identifying overlapping design parameters between two disciplines for creating an interdisciplinary parametric model

Employing an interdisciplinary approach in design is an important part of the future of architecture. Therefore, taking a step toward better understanding the overlaps between disciplines, and formalizing the process of integration between disciplines accelerates progress in the field. In examining an interdisciplinary design approach using computational design and simulation tools, while considering shell structures as a special case for spanning large-span roofs, structural and daylighting discipline are considered. The aim is to understand what are the design parameters that co-exist in the structural and daylighting design disciplines, and how may these parameters be implemented in a parametric model created by designers. The parametric model that includes discipline specific parameters can later be used for interdisciplinary performance-based design. Implementing design parameters calls for an understanding of the ways in which parameters affect design and performance. This research considers the application of parametric design methods at the early stages of design for designing high-performance buildings.     

应用型本科计算机专业实践教学体系的构建与实施

分析应用型本科计算机专业实践教学体系及其实施过程中存在的不足,提出构建培养应用型人才的"基本操作"、"硬件应用"、"算法分析与程序设计"、"系统综合开发"四种专业能力的实践教学体系,并介绍了具体途径、方法及实施效果。     

基于业务模型和聚类算法的构件设计方法

针对业务构件设计一直是基于构件的企业信息系统软件开发中的研究难点这一问题,该文给出了一种基于UML语言,由业务功能视图、业务实体视图、业务组织视图、业务控制视图组成的业务模型描述方法。并在业务模型语义分析的基础上建立起聚类算法的样品间及类间关联值的计算公式,有效地将聚类算法引入业务构件划分过程,并通过谱系聚类图来确定构件划分的最优设计结果。给出了业务构件接口设计的关键步骤和方法,为构件划分和设计提供了一套可遵循的参考标准,以有效提高构件设计的质量。