数据流语言中数据频率的自动化处理技术

数据流分析和处理是计算机应用最常见的工作之一,实际系统常常包括不同频率的数据流,而现有的程序语言要求在程序中对数据频率进行显式的处理.旨在提出一种新型的变频数据流处理框架,针对基本的频率运算进行自动化处理.我们基于函数式程序设计语言和依赖类型系统理论,定义了数据流语言FStream,在程序的类型检查过程中对数据流频率进行检查和处理,并给出了离散的Simulink模型到FStream的表示.     

基于PCIe总线的双路1394B接口模块设计与实现

为了满足航电系统中前端传感器捕获的图形图像数据实时传输的需求,设计并实现了基于PCIe总线的双路1394B接口模块。该模块通过PCIe接口与主机交互,采用S400β传输模式,软件设计符合标准OHCI规范,支持AS5643协议,异步流包数据收发采用链式队列管理,主机与1394B控制器之间通过DMA操作,实现大数据块的并行处理,两路1394B相互独立,显著提升数据传输性能。测试验证结果表明,该模块具备带宽高、可靠性高、CPU资源占用率低等特点,已在某项目获得成功应用,实现了图形图像数据的实时传输,满足系统设计要求,表现出了良好的稳定性和适应性,具有实践应用价值。     

申威处理器硬件数据预取技术的实现

硬件数据预取技术可以有效提升处理器的访存性能,是申威处理器性能优化过程中亟需突破的一项技术。硬件开销和处理器架构的制约是硬件预取技术实现中的主要难点。借鉴学术界对硬件预取技术的研究成果和工业界的应用现状,紧密结合申威处理器的结构特点,研究了申威处理器硬件预取技术的实现方法。以流预取为例,在处理器核心面积增加0.97%的情况下,硬件预取技术的应用可以将目前申威处理器的整数性能平均提升5.17%,最高提升28.88%;浮点性能平均提升6.39%,最高提升30.11%。     

Optimistic Byzantine fault tolerance

The primary concern of traditional Byzantine fault tolerance is to ensure strong replica consistency by executing incoming requests sequentially according to a total order. Speculative execution at both clients and server replicas has been proposed as a way of reducing the end-to-end latency. In this article, we introduce optimistic Byzantine fault tolerance. Optimistic Byzantine fault tolerance aims to achieve higher throughput and lower end-to-end latency by using a weaker replica consistency model. Instead of ensuring strong safety as in traditional Byzantine fault tolerance, nonfaulty replicas are brought to a consistent state periodically and on-demand in optimistic Byzantine fault tolerance. Not all applications are suitable for optimistic Byzantine fault tolerance. We identify three types of applications, namely, realtime collaborative editing, event stream processing, and services constructed with conflict-free replicated data types, as good candidates for applying optimistic Byzantine fault tolerance. Furthermore, we provide a design guideline on how to achieve eventual consistency and how to recover from conflicts at different replicas. In optimistic Byzantine fault tolerance, a replica executes a request immediately without first establishing a total order of the message, and Byzantine agreement is used only to establish a common state synchronization point and the set of individual states needed to resolve conflicts. The recovery mechanism ensures both replica consistency and the validity of the system by identifying and removing the operations introduced by faulty clients and server replicas.     

河道烧录算法提取出断裂河网的必要条件探究

河道烧录算法是比较常用的基于实际河网修正提取模拟河网的方法。该方法能有效地提取出同实际河网高相似度的模拟河网。然而,在某些情况下,所提取的河网会产生"断裂"现象。深入研究发现,出现"断裂"的必要条件是:(1)实际河网栅格中存在全局高估栅格;(2)实际河网源头栅格正好位于DEM有效数据边界上。在实际应用中,只要消除两个条件中的任何一个,即可有效地避免提取出"断裂"的模拟河网。     

面向协同系统的SRTP安全机制的研究

SRTP协议是目前应用广泛的视频流传输协议,也是视频会议协同系统进行安全实时传送的基础。但该协议在加密模式、完整性检测、报文身份验证和抵御重播攻击等方面仍有不足,该文采用增加流加密算法选择器对加密算法选择进行优化组合,通过Hash运算生成散列序列增加完整性保护模块等途径,在保证实时性的同时,增加了报文被解码的难度,改进了完整性校验过程。通过进行相关的系统安全性能评估,验证了该方案对协同系统安全机制改进的可行性及有效性。     

基于模拟退火—遗传算法的非线性密钥序列生成器线性复杂度研究

计算线性等价是研究非线性密钥序列生成器线性复杂度的有效方法。本文先介绍了计算线性等价的模拟退火法,然后使用遗传算法对该算法进行改进,最后使用一组密钥序列生成器对改进后的算法进行性能评估,并将改进后的算法和原算法进行了比较。结果表明改进后的算法能比原算法更有效的找到非线性密钥序列生成器的线性等价。     

Geomorphic comparison of two Atlantic coastal rivers: Toward an understanding of physical controls on Atlantic salmon habitat

River channel substrate size and mobility are important to Atlantic salmon spawning and rearing success. We compare morphology and bed sediment between two North American Atlantic coastal streams (Narraguagus River, Maine, USA and Jacquet River, New Brunswick, Canada). The watersheds have similar drainage areas and mean annual precipitation, but differing relief structure, channel longitudinal profiles and numbers of returning salmon. The lower‐relief Narraguagus River is segmented into steeper (gradient >0.002) and flatter reaches (gradient <0.0005). Flat reaches, including mainstem lakes, act as sediment sinks, preventing the continuity of downstream sediment transport. Based on field measurements, the Narraguagus River has a larger high‐flow width to depth ratio than the Jacquet River, but this difference is principally the result of outliers from low‐gradient channel reaches. Measurements of substrate grain size reveal finer river‐bed sediments on the Narraguagus River, however, Shields parameter calculations indicate that bed sediment should be mobile during high flows in both streams. We use the Shields equation to predict grain size based on channel slope, width and drainage area measured from digital elevation models (DEM) and aerial photographs. Predictions of median grain size agree with field measurements within a factor of 2 for 62–70% of the survey stations. We suggest ways that model misfits may provide opportunities to prioritize reach‐based restoration efforts. Based on expected grain size, we estimate 62% spawning and 68% rearing habitat along the length of the Narraguagus River, and 28 and 95% respectively on the Jacquet. Overall, glacial history and relief structure appear to be the first‐order controls on substrate grain size and habitat quality in these two rivers. Copyright © 2010 John Wiley & Sons, Ltd.     

基于多元索引后继树的时间序列数据流挖掘

本文以地电前兆观测数据流为研究对象,提出了一种新颖的基于多元索引后继树的时间序列数据流挖掘模型。该模型的主要特点是使用一种新颖的位置索引方法,通过一遍扫描创建描述一个序列的所有元素的绝对位置的多元索引后继树,使用索引匹配方法以模式增长的方式生成频繁模式。理论分析与实验表明,该方法简单、高效,具有很好的实用价值。同时,通过对大量持续的地电前兆观测数据流进行分析处理,挖掘隐藏在其中的反映地电参数正常变化规律及趋势的频繁模式,为发现地电前兆异常识别提供依据,从而辅助进行地震预报。     

高性能异构多处理器平台及其应用

在视频编解码领域,随着视频图像分辨率的提高,对处理平台的计算能力、存储、传输带宽的需求急剧增加.为满足高分辨率视频编解码对处理平台的巨大性能需求,本文结合流处理器在媒体处理上的独特优势以及FPGA灵活的可配置性,构建了一个由流处理器和FPGA组成的可配置异构多处理器平台.为了对平台进行性能测试,将MOTION JPEG...