基于Cell多核处理器的层次化运行时支持技术

基于Cell处理器的异构多核架构及软件显式管理的多级存储层次,使其面临编程困难和性能难以有效发挥等问题. 现有基于Cell/B.E.的编程模型多侧重于支持类似于流处理的“批量访存”(bulk data transfer)应用,传统非规则访存应用性能较低.通过扩展Cell/B.E.访存库增强协处理单元的自主作用,以协处理单元为中心建立Cell计算平台上的MPI和弱一致性Pthread分层并行编程运行时支持.分层的运行时支持结构及扩展后的Cell/B.E.访存库使模型具有更好的效率和可扩展性,并且提高了非规则应用的性能;模型中的MPI方便了大量传统并行应用向新架构的移植及开发,而弱一致性Pthread则为MPI提供高效的任务运行时管理支持及为系统级用户提供对架构全面控制的编程接口.实验结果表明,提出的运行时支持技术不仅可适应不同应用的要求,同时借助访存库中的剖分优化机制可有效地挖掘Cell/B.E.架构性能.     

Cell处理器上软件缓存的设计与实现

在 Cell异构多核处理器上,并行程序对不规则共享数据的访问延迟较大,共享数据的一致性维护困难。为解决上述问题,提出一种基于扩充Location Consistency存储模型一致性协议的软件缓存。测试结果表明,该软件缓存能够缩短近40%的共享数据访问时间,有效提高并行程序的执行效率。     

FMM算法中问题规模与空间划分的关系分析

从编译优化和并行优化的角度出发,根据N-Body问题求解的FMM算法的原理,将算法分解为不同的子模块。详细分析了各子模块的计算特性,包括计算量分析、并行性分析、通信量分析和存储量分析。深入剖析问题规模与空间划分层数之间的关系,提出基于问题规模的空间划分策略。以实验验证了空间划分策略的可行性。     

H.264/AVC视频编码核基于FPGA验证的设计与实现

H.264相比以前的标准具有更高的压缩率、图像质量、容错功能及网络适应性,成为当前最流行的一种高性能的视频编解码技术.基于H.264嵌入式的快速发展,对H.264编码器的验证也进入到了白热化的状态.在验证过程中,如何缩短验证时间、提高验证效率和质量从而加快芯片的上市时间也是一项艰巨的任务.文中基于H.264/AVC视频编码技术原理搭建了FPGA验证平台,从编码正确性、图像质量及性能设计了完备的验证用例,对编码核展开全面的FPGA验证.验证结果表明,H.264/AVC视频编码核功能完善,性能优良,为后续芯片提供有力的保证.     

基于B/S结构的实时监测系统在.net平台下的设计与实现

本文分析了实时监测在B/S结构下的优势,提出了在.net平台下如何设计出速度快、易扩展、操作简单、功能齐全、界面美观的解决方案,介绍了其基本结构和工作原理.并针对出现的刷屏、服务器负荷过重等种种问题给出了一种新的解决方法.     

B/S模式下的网络课程支撑平台在.net下的设计与实现

随着计算机技术的普及,教育技术应用有很大的发展空间。然而目前的教学方法却有很大的限制,基于这种情况,迫切需要对教学发式进行改进。本文概述了在.net平台上设计和实现网络课程支撑平台,并采用了较新的网络技术和编程技术,如采用B/S模式、ASP.net技术结合ADO技术访问网络数据库等。     

B/S模式下报表打印的相关技术分析与实现

本文首先比较分析了B/S模式下几种常见的报表打印解决方案,结合在实际开发中遇到的问题,详细阐述了如何综合利用多种方法来解决具体的问题,并给出了相关实现代码。     

H.264/AVC视频编码核基于FPGA验证的设计与实现

H.264相比以前的标准具有更高的压缩率、图像质量、容错功能及网络适应性,成为当前最流行的一种高性能的视频编解码技术。基于H.264嵌入式的快速发展,对H.264编码器的验证也进入到了白热化的状态。在验证过程中,如何缩短验证时间、提高验证效率和质量从而加快芯片的上市时间也是一项艰巨的任务。文中基于H.264/AVC视频编码技术原理搭建了FPGA验证平台,从编码正确性、图像质量及性能设计了完备的验证用例,对编码核展开全面的FPGA验证。验证结果表明,H.264/AVC视频编码核功能完善,性能优良,为后续芯片提供有力的保证。     

B/S模式下的化工企业计量管理系统在.net平台下的设计与实现

以化工企业的计量管理系统为背景,概述了在.NET平台上采用VB.Net语言快速构建企业应用系统的过程,以及使用OWC控件生成数据分析曲线,并简要介绍了Microsoft.NET平台和OWC控件的特点。     

B/S模式下用ASP.NET实现选课系统

简要介绍了选课系统的概念,论述了B/S模式下用ASP.NET实现选课系统的方法,阐述了实现此系统所沿用的技术,对选课系统中的冲突问题进行了详细的解说,并用类PASCAL语言进行了算法实现,对开发中不断用到的存储过程技巧进行了描述,实现了选课、查询、修改等的功能.     

基于混合架构的FMM算法硬件加速

以高性能计算中的经典问题——多体问题的快速多极子(FMM)算法为例,分析FMM算法的各个步骤,根据计算、通信和存储特性将算法中的子过程归类。在CPU、GPU、FPGA和CELL上分别进行测试,提出执行FMM算法的混合可重构体系结构配置方案,并进一步优化算法,分解任务流。针对不同任务流的特点,提出可行的解决方案。结果证明,该方案可提高算法效率。     

基于Z的协议形式描述与验证

一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展[6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。     

Verification of Embedded Systems Based on Interval Analysis

The latest versions of the “International Technology Roadmap for Semiconductors” (ITRS) highlight that verification has changed from playing a relatively minor supporting role in the design process to becoming the dominant cost. This situation is the result of the exponential growth of the functional complexity of designs and the historical emphasis of CAD tools in other areas of the design process such as automatic synthesis or place-and-route. The problem is even worst in embedded systems that normally integrate functionally complex hardware and software parts. This work presents a new verification technique based on interval analysis that can handle embedded designs described at behavioural level. The proposed technique is able to verify assertions that the users insert in software and hardware tasks. It shows very promising results in systems that cannot be efficiently verified with other tools (e.g. data-dominated designs).     

基于E语言和C参考模型的IP功能验证方案

提出并实现了一种基于E语言和C参考模型的IP功能验证方案。该方案能够自动生成验证向量并自动完成仿真结果的正确性判断,可以解决验证的充分性和验证时间之间的矛盾。使用这种方案可以有效地提高功能验证效率和质量,缩短设计周期,降低设计成本。     

基于CIM/E的电网模型解析

电力系统中模型数据交换的实现具有重要的实际意义. 为了更好的解决这一问题,提高系统的互操作性,在研究由国际电工技术委员会（IEC）制定的IEC 61970系列标准中的公共信息模型（CIM）、分析XML文件的解析方法和电网物理模型的相关设备类属性描述的基础上,提出了一种使用Java语言对CIM/E文件进行解析的方案. 即将CIM/E电网模型数据解析成内存中的结构化数据,并且将数据存入数据库,以防下次使用时再次解析,提高重用性,这里使用的是MySQL数据库,并且最后用导出的电网模型CIM/E文件进行了验证. 提出的解析方案对实际电力系统中模型数据的解析具有一定的指导和参考意义.     

H.264/AVC解码芯片验证系统及验证策略

H.264/AVC视频编码标准是目前应用广泛的视频压缩标准,具有压缩比高、算法复杂等特点,给视频解码系统的设计和验证带来了挑战。文中基于一款H.264/AVC解码芯片架构,针对H.264/AVC视频解码系统的复杂性,构建了验证系统,提出多形式、分层次的验证策略,在解码芯片设计实现的各个阶段实施验证。根据RTL虚拟仿真、FPGA原型和后仿真等验证手段的特点,分别规划不同阶段的测试激励,形成基于H.264/AVC解码芯片的验证项策划,对类似H.264/AVC解码器的验证工作具有一定的帮助。     

B／S模式下报表打印的相关技术分析与实现

本文首先比较分析了B／S模式下几种常见的报表打印解决方案，结合在实际开发中遇到的问题．详细阐述了如何综合利用多种方法来解决具体的问题，并给出了相关实现代码。     

基于Web服务的B2E移动电子商务平台的设计与实现

随着电子商务技术的逐渐成熟,实施移动化成为企业考虑的重点和未来发展的趋势.在移动商务中使用Web服务,是目前较新较可行的方式,提出了一个.NET环境下的基于Web服务的B2E(企业对员工)移动商务平台的设计架构,此平台功能包括任务管理、个人事务管理、客户资料管理、订单查询等功能,采用三层结构进行设计,用户可以使用手机、PDA或桌上型浏览器,使用本平台提供的服务,以达到移动商务的目的.