针对混合应用业务的ARQ改进方案

在高速无线通信中,自动请求重传(ARQ)是链路层不可缺少的技术,它通过重传向上层屏蔽无线链路上包的丢失。随着无线网络的发展,无线传输速率不断提高,应用的业务类型也越来越广泛。目前,众多ARQ技术的研究都集中在如何提高该技术的确认效率,以适应更高的传输速率,但鲜有研究着手于如何使ARQ能够更好地应用于混合业务环境。针对混合业务环境下的ARQ改进提出了2种方案,并给出其中1种在实际应用中的改善效果。     

A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

光学全交叉网络与SW榕树（F＝S＝2）网络拓扑等价的多样性

本文对有关互连网络拓扑等价的分析方法作了简单评述。并采用互连网络拓扑等价的图分析法分析了自由空间光学互连全交叉网络与ＳＷ榕树网络的拓扑等价及其多样性，拓展了全交叉网络在数字光计算、光子交换及多处理机系统的潜在应用。     

Agricultural use of three organic residues: effect on orange production and on properties of a soil of the ‘Comarca Costa de Huelva’ (SW Spain)

Disposal of urban, agricultural and industrial organic residues impliesan increasing problem because of all the economic and environmentalrepercussions involved. One of the most adequate ways of managing this problemis the agricultural use of these wastes as organic amendments. Three organicresidues (AC, olive mill waste water sludge compost; MWC, municipal solid wastecompost; and PS, paper mill sludge) were used in a 3-year field experimentinvolving orange production. The effect of their application on crop productionand on soil quality was investigated. Soil samples (0–20 cm depth)collected 11 months after the last soil amendment were analysed for: pH and EC,Kjeldahl-N, available-P, available-K, total organic carbon, humic substances,dehydrogenase, phosphatase, -glucosidase, urease andbenzoyl-argininamidehydrolysing protease (BAA-protease) activities. Generally, the application of the MWC and PSincreased orange yield when compared to control. Moreover, total organic carbonand humic substances significantly increased in soils treated with all theorganic amendments. Organic fertilisation increased the Kjeldahl-N andavailable-P contents of the soil. The application of the organic residues also causedsignificant increases in dehydrogenase, -glucosidase, urease andBAA-protease activities of the soil. Significant positive correlations (p <0.01) between these enzymatic activities and total organic carbon were foundforall treatments. Significant positive correlation between dehydrogenase, urease,-glucosidase, and BAA-protease and orange yield was also found. However,a clear inhibition of phosphatase activity was observed in soils treated withPS. The results indicate that the repeated application to the soil of moderateamounts of organic amendments has positive effects on the chemical andbiochemical properties of the soil, as well as on the orange yield.     

一种基于SoC平台设计的AVS解码器软硬件分区结构

视频解码芯片的结构因硬件强大的处理能力和软件灵活的可编程功能从硬件转向软硬件分区结构。该文针对AVS标准的算法和解码实现复杂程度,根据软硬件协同设计思想提出了一种结构划分合理的AVS高清视频解码器软硬件分区结构。根据AVS算法的特点该结构将宏块层以上部分的元素解析划归到软件解码中,将宏块层解码划为硬件处理。经验证,该结构设计可实现AVS高清码流解码,并在C语言编写的硬件平台仿真程序中得以实现。     

卫星链路上的SR协议性能分析

选择重传ARQ协议兼顾了停等ARQ协议可靠性高、退后N ARQ协议传输能力强、应用广泛的优势.传统的选择重传ARQ协议模型没有考虑窗口大小对协议性能的影响,导致选择重传ARQ协议模型分析能力不足.为此,通过对选择重传ARQ协议的运行进行分析,建立了与选择重传ARQ协议运行一致的数学模型,并通过仿真验证了所建模型的合理性...     

ATM信令适配的差错控制

文章讨论了ＡＴＭ信令适配的差错控制问题,分析了ＡＴＭ信令适配层ＣＲＣ校验的可靠性以及信令协议所采用的选择重传ＡＲＱ的特点。     

Internet视频点播差错控制

针对Internet传输方式和视频点播应用的特点，提出一种基于ARQ的差错控制机制，该差错控制机制包括失序差错检测，NACK差错通告，选择重传，缓冲区管理和请求队列管理几个部分，具有差错反应迅速，允许多次请求重传，状态信息和控制信息少的特点，通过缓冲区管理和请求队列管理，避免了无交的重传请求和重传数据包，进一步降低主机和网络资源需求，接收者驱动的ARQ差错控制机制不需要修改现有网络协议，容易实现，实验证明，Internet视频点播差错控制机制在保证视频信息实时性要求的前提下，能有效降低视频数据包在Internet传输中的包丢失率，从而改善视频回放质量。     

基于SWGPSO算法的多序列比对

针对粒子群优化(PSO)易陷入局部最优、收敛速度慢的现象,提出一种新的惯性权重取值方法——分段取值惯性权重(SW)方法。该方法在算法前期增加粒子多样性,后期加速算法收敛。针对PSO仅使用2个最优值寻优的问题,引入第3个最优值GB,将SW与GB结合,改进PSO的进化方程。实验结果表明,该算法解决多序列比对问题时,可以有效地避免算法早熟,并提高解的精度。     

可靠组播中的差错检测与恢复技术

在可靠组播的实现中要解决的关键问题之一是如何进行快速有效的差错检测和恢复,主要有重传和纠错两类机制。文章介绍了这两类机制的研究现状,从模型特点、网络负荷、适用悄况等不同角度进行分析,讨沦了本地重传及其范围策略。