Flow structure through pool‐riffle sequences and a conceptual model for their sustainability in gravel‐bed rivers

Detailed field measurements and simulations of three‐dimensional flow structure were used to develop a conceptual model to explain the sustainability of self‐formed pool‐riffle sequences in gravel‐bed rivers. The analysis was conducted at the Red River Wildlife Management Area in Idaho, USA, and enabled characterization of the flow structure through two consecutive pool‐riffle sequences, including: identification of jet concentration and dissipation zones, and the development of local turbulence features (i.e. vertical and horizontal eddies) under different flow conditions. Three‐dimensional hydraulic simulations were used to evaluate how the flow structure varies across a range of flow conditions and with different degrees of sediment aggradation within the upstream pool. The analysis demonstrated a significant influence of the residual pool depth on the flow structure, with reduced residual depth causing a shift in the orientation of the jet and a reduction in the influence of vertical eddies and the size and intensity of horizontal eddies. The proposed conceptual model seeks to explain the sustainability of pools in terms of the flow structure in pool‐riffle morphology and how this flow structure will change as a result of altered external forcing, such as upstream sediment delivery or changes in bank stability. Copyright © 2010 John Wiley & Sons, Ltd.     

低碳经济背景下建筑装饰产业集成化发展策略与实践

在当前低碳经济背景下,对实现建筑装饰产业升级重要手段的集成化设计进行研究;从当下对建筑装饰产业的具体要求入手,对集成化开发所面临的具体问题以及解决方法进行了深入研究．最后以集成化实践应用加以印证,探讨了建筑装饰产业集成化开发的可行性．     

802.11b无线网络环境下视频会议系统的流量特性研究

本文通过对MPEG4IP软件包的修改,测量了802.11b与802.3混和网络环境下视频会议系统的分组流量特性,包括不同视频码率和不同网络结构的组合.并与计算机系统和网络性能评价中常用的负指数分布假设的流量特性进行了比较,表明使用负指数分布与泊松到达模型对于描述无线网络环境下的视频会议系统存在很多不足.本文的测量结果对于设计WLAN环境下视频会议系统具有重要的参考价值.     

防空兵火控雷达网及抗干扰效能评价

雷达组网作战是防空兵武器系统的发展趋势,给出了防空兵火控雷达组网的基本形式、系统组成模型和指挥控制过程,指出了火控雷达网的发展思路,构建了火控雷达网抗干扰效能综合评估指标体系,提出了火控雷达网、抗干扰效能评判方法,并通过实例分析结果表明了该模型具有实用性,为防空兵雷达组网提供辅助决策依据.     

PIC16F877单片机在智能站用电源系统中的应用

本文简述了智能站用电源系统的工作原理、构成与功能,介绍了PIC16F877单片机在智能站用电源系统中的应用,并分析了其硬件组成和软件功能。     

中小电视台媒体资产管理系统研究与应用

广播电视行业经过几十年的发展,积累下许多珍贵的多媒体资料,如何充分利用这些资源,一直是广电行业所关注的重点.随着各级电视台非编网络的相继建成与完善,提出了媒体资产管理这一新概念和技术领域,它是对媒体资产进行其寿命期内全面管理的总体解决方案。由于媒体资产管理在构成、特点、需求等方面与常规产业资产管理有较大区别,本文特针对目前绝大多数中小电视台实际情况,研究并提出媒体资产管理的解决方案。     

一种基于序列译码的快速相关攻击算法

快速相关攻击是一种重要的序列密码分析方法。该文提出一种基于卷积码的序列译码的快速相关攻击算法,首先利用特殊的校验方程将线性分组码转化为低码率卷积码,然后用卷积码的序列译码算法恢复出密钥。当记忆长度较大时,该算法显著地降低了中算法的译码复杂度。     

Influence diagnostics in regression with complex designs through conditional bias

One of the areas of Statistics in which the influence analysis has been widely studied is the multiple linear regression model. Nevertheless, the influence diagnostics proposed in this context cannot be applied to regression in complex survey, under randomized inference, since the i.i.d. case does not incorporate any probability weighting or population structure, such as clustering, stratification or measures of size into the analysis. In this paper we introduce some influence diagnostics in regression in complex survey. They are built on the conditional bias concept (Moreno-Rebollo et al., 1999). We emphasize the similarities and differences of the proposed measures with respect to the existing ones for the i.i.d. case. Research partly supported by the Spanish MCYT grant BFM2001-3844 and Spanish MEC grant MTM2004-0111433.     

Formal verification of conflict detection algorithms

Safety assessment of new air traffic management systems is a main issue for civil aviation authorities. Standard techniques such as testing and simulation have serious limitations in new systems that are significantly more autonomous than the older ones. In this paper, we present an innovative approach for establishing the correctness of conflict detection systems. Fundamental to our approach is the concept of trajectory, and how we represent a continuous physical trajectory by a continuous path in the x-y plane constrained by physical laws and operational requirements. From the model of trajectories, we extract, and formally prove, high-level properties that can serve as a framework to analyze conflict scenarios. We use the AILS (Airborne Information for Lateral Spacing) alerting algorithm as a case study of our approach. Published online: 19 November 2002