基于模型树的多核设计空间探索技术

处理器设计面临的重要挑战是如何在庞大的设计空间中高效地找到满足约束的设计结构,而预测模型方法是探索复杂设计空间的重要方法.为了提高预测模型的实用性,提出一种基于模型树的多核设计空间探索技术.首先对整个设计空间中部分设计结构进行采样模拟,然后通过模型树算法构建设计参数与处理器响应之间的预测模型,最后通过该模型预测出其他设计结构的响应以找到满足约束的最优设计.实验结果表明,与现有的基于支持向量机和人工神经网络的预测模型技术相比,针对性能预测,采用文中技术能够提高74.87%和38.87%的准确度;针对能耗预测,能够提高2.66%和16.82%的准确度.     

基于软构件的网络处理器编程模型设计与实现

介绍了基于网络处理器的软件开发所面临的问题,提出了一个基于软构件的网络处理器编程模型,并且对该模型的实现关键技术进行了介绍。该模型具有较好的可移植性、可扩展性。     

面向网络处理器的软件组件框架研究

网络处理器通常由多个异构的处理和内存单元通过片上网络连接构成,其目标应用需要在Gbit/s到几十Gbit/s的网络环境中以线速处理数据包。基于网络处理器的应用有实时、资源受限和异构的特点。组件技术对于复杂的嵌入式系统是一种十分有前途的方法。本文以一种典型的网络处理器为例,说明了在基于网络处理器的系统中应用组件技术时,对组件框架的要求,讨论了组件组合框架和运行时框架,并定义了组件框架服务。利用提出的组件框架,可以实现软件性能工程。     

网络处理器体系结构分析

该文旨在分析网络处理器能够同时满足高性能和灵活性要求的体系结构。而传统的网络设备单纯采用专用芯片或者基于RISC的通用处理器(GPPs),很难兼顾这两者要求。该文根据网络处理器的处理空间,将其映射为5个逻辑模块,这些模块由网络处理器中各个功能部件实现。然后分析了网络处理器的SMP和Pipeline两种并行结构,并进一步分析了隐藏延迟等实现加速的技术。最后分析了网络应用发展变化对网络处理器体系结构设计的挑战,并提出了解决办法。     

面向滑动窗口应用的设计空间探索方法

面向滑动窗口应用,提出一种设计空间探索算法,通过判断芯片面积、存储带宽和存储资源3种片上资源约束的上限,实现充分利用片上资源．实验结果表明,该算法可以将存储资源利用率提高85％以上;同时,与相关工作相比,文中的阵列分块方法可以将访存次数降低2％～20％．     

处理器芯片敏捷设计方法: 问题与挑战

中央处理器是目前最重要的算力基础设施. 为了最大化收益,架构师在设计处理器微架构时需要权衡性能、功耗、面积等多个目标. 但处理器运行负载的指令多,单个微架构设计点的评估耗时从10 min到数十小时不等. 加之微架构设计空间巨大,全设计空间暴力搜索难以实现. 近些年来许多机器学习辅助的设计空间探索加速方法被提出,以减少需要探索的设计空间或加速设计点的评估,但缺少对加速方法的全面调研和系统分类的综述. 对处理器微架构设计空间探索的加速方法进行系统总结及分类,包含软件设计空间的负载选择、负载指令的部分模拟、设计点选择、模拟工具、性能模型5类加速方法. 对比了各加速方法内文献的异同,覆盖了从软件选择到硬件设计的完整探索流程. 最后对该领域的前沿研究方向进行了总结,并放眼于未来的发展趋势.

     

Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming

A general framework for network aware programming is presented that consists of a language for programming mobile applications, a logic for specifying properties of the applications and an automatic tool for verifying such properties. The framework is based on X-KLAIM, eXtended KLAIM, an experimental programming language specifically designed to program distributed systems composed of several components interacting through multiple tuple spaces and mobile code. The proposed logic is a modal logic inspired by Hennessy-Milner logic and is interpreted over the same labelled structures used for the operational semantics of X-KLAIM. The automatic verification tool is based on a complete proof system that has been previously developed for the logic.     

基于Intel网络处理器的路由器队列管理: 设计、实现与分析

通过设计并实现的基于Intel网络处理器(IXP1200)和相对区分服务模型的队列管理服务模块和一种新的缓冲管理算法DPBS(Dynamic Partial Buffer Sharing),研究了系统同步、线程的任务分配、队列管理基本操作等几个关键问题。     

基于网络处理器关键技术的研究与应用

传统的基于ASIC和通用CPU的网络设备不能同时满足处理速度和灵活性这两方面的要求,因此,基于ASIP技术的网络处理器(NP)得到了广泛的发展。基于NP的快速发展和性能的不断提升,该文对NP的基本功能和应用进行了简要分析和研究。     

Exploring Traffic Pricing for the Virtual Private Network

This paper explores the implementation issues of network traffic pricing in Internet-based virtual Private Networks (VPNs). A simplified VPN traffic-pricing formula is derived for optimizing VPN bandwidth service welfare. We provide price formulae for both prioritized first-in-first-out bandwidth scheduling and non-prioritized round-robin bandwidth scheduling. A transaction-level pricing architecture based on proxy server technology is proposed, and a prototype traffic-pricing system, VPN Traffic-Pricing Experiment System (VTPES), has been developed to test the transaction-level pricing architecture and examine the pricing formula. Experiments conducted with VTPES show that the pricing mechanism can effectively improve a VPN's transmission efficiency.     

案例教学法在网络程序设计ASP课程中的应用

分析研究了网络程序设计ASP课程教学的特点,结合留言板系统的具体教学实践,讨论了如何有效地把案例教学法运用于网络程序设计教学中的方法、步骤。实践证明,案例教学法有利于培养学生分析问题和解决问题的实践能力。     

通用网络编程接口包的设计和实现

网络计算环境中,网络编程接口的多样性给开发网络应用程序带来了很大的不便.本文给出了一个通用的、可扩充的网络编程接口包UniChannels的设计与实现.UniChannels提供了通用的网络编程接口,并且通过使用一种新的设计模式即“地址绑定“模式,将协议相关操作和一般性的通信过程分离,从而使UniChannels具有良好的协议透明性.目前,UniChannels已应用到包括消息队列中间件在内的多个网络应用程序中.     

基于排队模型的网络处理器设计验证

基干流量模型的测试在芯片设计尤其是网络处理器的设计验证中得到广泛应用.传统的芯片设计验证强调功能验证上的完备性,但网络处理器芯片对数据包的处理性能有苛刻要求.该文采用M/M/I排队模型评估网络处理器芯片数据包处理能力.仿真结果表明,该验证可在设计早期评估出网络处理器的设计性能,提高网络处理器的设计质量.     

链空间方法在密码协议设计中的应用

设计安全、有效的密码协议是密码学和通讯领域的一个十分重要的研究课题,与密码协议的形式化分析方法究同步发展。文章在研究链空间模型和认证测试思想的基础上,采用链空间方法指导密码协议的设计,并设计了一个于公钥密码体制的协议PCP。     

RanGen: A Random Network Generator for Activity-on-the-Node Networks

In this paper, we describe RanGen, a random network generator for generating activity-on-the-node networks and accompanying data for different classes of project scheduling problems. The objective is to construct random networks which satisfy preset values of the parameters used to control the hardness of a problem instance. Both parameters which are related to the network topology and resource-related parameters are implemented. The network generator meets the shortcomings of former network generators since it employs a wide range of different parameters which have been shown to serve as possible predictors of the hardness of different project scheduling problems. Some of them have been implemented in former network generators while others have not.     

基于LabVIEW与MATLAB平台的神经网络设计与应用研究

针对神经网络应用问题提出了通过LabVIEW调用MATLAB应用程序实现神经网络的方法。该方法通过LabVIEW与MATLAB的混合编程,能充分发挥了两者的优势,具有更大的灵活性和实用性。同时它使得复杂的控制算法应用于虚拟仪器实现故障诊断成为可能,为快速开发功能强大的智能化虚拟仪器探索了一条的新途径。     

基于地域文化的餐饮空间设计探讨

本文针对当前餐饮空间设计中所存在的设计趋同现象,初步探讨了地域文化在餐饮空间设计中的设计定位,并依据国内有代表性的设计案例,论述了地域文化在餐饮空间中的具体表现方法和创新途径,从而进一步强调了基于地域文化的室内设计对于发展本土化室内设计走向国际的重要意义。     

复杂参数产品形态设计中的解空间降维方法

针对产品形态设计中评价标准的模糊性问题,探索了智能化设计方法中的操作性技术.基于产品的形态编码,采用参数权重集中曲线的噪声度自动评测方式对解空间进行降维处理,并对产品形态编码分级.在降维后的系列解空间中使用交互式遗传算法搜索最优方案,并逐级完成形态的细化设计.文中方法从用户交互选择信息中提取出各参数对产品形态的重要性等级,作为细化设计过程的依据.求解过程全部基于解码的形态方案进行,为设计师的工作提供了直观的界面.     

数字地面模型在无线网络设计工程中的应用

信号在实际传播过程中因受地形，地物的影响而衰落，无线网络设计工程需要应用精确的数字地面模型数据和准确的信号传播模型。对指定站址和小区参数的基站进行覆盖质量预测。为网络优化提供依据。本文从地理信息的角度出发并结合工作经验，介绍了目前用于无线网络设计的地理数据的表达形式，及其在模型计算中的量化，鉴于移动通信专用数字地理信息制作的成本高，在实际工作中，我们借助相关规划软件，用数字地面模型数据和9999模型对蜂窝小区进行了预测分析，在此基础上对如何在网络优化工作中有效地利用地理数据作了试验和总结。     

基于混合式网络结构的控制系统设计及应用

针对太钢原有原料场自动控制系统网络经常无规律性地发生中断故障的现象以及太钢不锈钢工程建设的需要,设计了基于施耐德Quantum系列PLC混合式网络结构的自动控制系统。介绍了该系统的组成,阐述了基于S908协议的同轴电缆网络和基于Modbus Plug协议的光纤网络的设计过程,开发了基于积分分离和斜率逻辑判断功能的智能PID预配料控制算法。现场运行结果表明,该系统运行稳定,自动化程度高,维护方便,解决了原系统网络无规律性地发生中断的问题,从而确保生产正常运行。该系统的成功应用,对同行业的生产进步将起到示范和推动作用。