Groundwater mixing between different aquifer types in a complex structural setting discerned by elemental and stable isotope geochemistry

Karst aquifers are well known for their intricate stratigraphy and geologic structures, which make groundwater characterization challenging because flowpaths and recharge sources are complex and difficult to evaluate. Geochemical data, collected from ten closely spaced production wells constructed in two karst aquifers (Bangor Limestone (Mb) and Tuscumbia Limestone/Fort Payne Chert (Mftp)) in Trussville, north‐central Alabama, illustrate two distinctive groundwater end‐members: (1) higher major ion, dissolved inorganic carbon, conductivity, alkalinity concentrations, heavier δ¹³C ratios (max: −10.2 ± 0.2‰ Vienna Pee Dee Belemnite (PDB)) and lower residence times (mean: 19.5 ± 2 years, n = 2) of groundwater in the Mb aquifer and (2) lower constituent concentrations, lighter δ¹³C ratios (min: −13.4 ± 0.2‰ PDB) and longer residence times of groundwater (mean: 23.6 ± 2 years, n = 4) in the Mftp aquifer. Summer and fall data and the binary mixing model show aquifer inter‐flow mixing along solution fractures and confirms the distinctive groundwater geochemistry of the two aquifers. Lowering of static water levels over the summer (drawdown from 2 to 5.2 m) leads to more reducing groundwater conditions (lower Eh values) and slightly enriched δ¹⁸O and δD ratios during the fall [δ¹⁸O: −4.8 ± 0.1 to −5.4 ± 0.1‰ Vienna Standard Mean Oceanic Water (VSMOW), n = 9; δD: −25.4 ± 1 to −27.4 ± 1‰ VSMOW, n = 9] when compared with summer season samples (δ¹⁸O: −5.1 ± 0.1 to −5.7 ± 0.1‰ VSMOW, n = 11; δD: −25.0 ± 1 to −30.6 ± 1‰ VSMOW, n = 11). GIS analyses confirm the localized origin of recharge to the investigated aquifers. The combination of GIS, field parameters and geochemistry analyses can be successfully used to identify recharge sources, evaluate groundwater flow and transport pathways and to improve understanding of how groundwater withdrawals impact the sustainability and susceptibility to contamination of karst aquifers. Copyright © 2015 John Wiley & Sons, Ltd.     

变分同化框架通过背景误差协方差构建动力平衡约束的研究进展

通过背景误差协方差构建动力平衡约束是变分同化框架设计的重要环节。它不仅帮助实现变量间的协同分析,提高观测使用效率,还能改善变分极小化问题的性状。本文在系统梳理通过背景误差协方差引入动力平衡约束的方式、流程的基础上,对求解目前全球和有限区域变分同化系统普遍采用的准地转平衡和静力平衡约束的共性问题和存在的不足作了归纳总结。分析了求解准地转平衡约束的三类方案:动力平衡方程方案、统计方案和动力-统计相结合方案的优缺点。对照比较了不同垂直离散方案下求解静力平衡约束时遇到的欠定问题的表现以及解决途径。最后,展望了基于背景误差协方差构建动力平衡约束在赤道等特殊地区、高分辨率同化系统、以及集合-变分混合同化系统发展中面临的挑战和机遇。     

附有物理量和气象条件约束的光学卫星国土观测有效覆盖率评估

传统光学卫星国土观测覆盖评估建立在卫星对地理想覆盖的基础上,并未考虑卫星存储、星地数据传输、观测时长等物理量及观测区域气象因素对于覆盖性能的影响。本文针对光学遥感卫星的国土观测需求.建立国土观测有效覆盖能力评估指标体系,根据卫星数据存储能力、星地数据传输能力、卫星单圈最大观测时长、卫星观测太阳高度角等性能参数,提出了基于物理性能约束下的有效覆盖计算方法。根据气象台站历年气象数据,提出了气象约束因子的计算方法。综合考虑卫星物理性能约束与观测区域气象约束,计算光学遥感卫星对地观测有效覆盖能力。最后根据专家设计的光学遥感卫星国土观测有效覆盖能力评估指标权重,利用层次分析法(AHP)评估光学遥感卫星系统对于国土观测的需求满足程度。试验结果表明,本文方法对于国土观测有效覆盖的估算和评价结果更加精确,更接近于国土观测的实际应用需求,为对地观测有效覆盖能力评估提供了一种更为精确的可行方案。     

路网约束条件下热力规则设计与试验

热力图是一种能直观准确展示空间观测值的有效工具,在多个领域具有广泛应用。本文在分析设定不同道路层权重、道路技术等级分类的基础上,以反距离权重、直方图均衡化、密度补偿、参数多次迭代等方法,研究构建了以热力方式展示道路网分布及发达程度的相关规则体系。热力规则通过道路赋权、路线曲面化、密度协调、图面综合等多套规则的有机结合,实现了道路网总体发达水平信息的提取与展示,并以全球地理信息资源建设项目路网成果中的亚洲和非洲部分国家数据为例,进行了信息提取与热力分布试验。     

Closed-loop randomized kinodynamic path planning for an autonomous underwater vehicle

A randomized kinodynamic path planning algorithm based on the incremental sampling-based method is proposed here as the state-of-the-art in this field applicable in an autonomous underwater vehicle. Designing a feasible path for this vehicle from an initial position and velocity to a target position and velocity in three-dimensional spaces by considering the kinematic constraints such as obstacles avoidance and dynamic constraints such as hard bounds and non-holonomic characteristic of AUV are the main motivation of this research. For this purpose, a closed-loop rapidly-exploring random tree (CL-RRT) algorithm is presented. This CL-RRT consists of three tightly coupled components: a RRT algorithm, three fuzzy proportional-derivative controllers for heading and diving control and a six degree-of-freedom nonlinear AUV model. The branches of CL-RRT are expanded in the configuration space by considering the kinodynamic constraints of AUV. The feasibility of each branch and random offspring vertex in the CL-RRT is checked against the mentioned constraints of AUV. Next, if the planned branch is feasible by the AUV, then the control signals and related vertex are recorded through the path planner to design the final path. This proposed algorithm is implemented on a single board computer (SBC) through the xPC Target and then four test-cases are designed in 3D space. The results of the processor-in-the-loop tests are compared by the conventional RRT and indicate that the proposed CL-RRT not only in a rapid manner plans an initial path, but also the planned path is feasible by the AUV.     

Wave energy conversion under constrained wave-by-wave impedance matching with amplitude and phase-match limits

This paper investigates an approach to limit the fullness of ‘tuning’ provided by wave-by-wave impedance matching control of wave energy devices in irregular waves. A single analytical formulation based on the Lagrange multiplier approach of Evans [1] is used to limit the velocity amplitude while also limiting the closeness of the phase match between velocity and exciting force. The paper studies the effect of the present technique in concurrently limiting the device velocity and the required control/actuation force. Time domain application requires wave-profile prediction, which here is based on a deterministic propagation model. Also examined in the time domain is the effect of possible violation of the displacement constraint, which for many designs implies impacts at hard stops within the power take-off mechanism. Time domain simulations are carried out for a 2-body axisymmetric converter (with physical end-stops) in sea states reported for a site off the US east coast. It is found that the approach leads to effective power conversion in the less energetic sea states, while as desired, considerable muting of the optimal response is found in the larger sea states. Under the assumptions of this work, the end-stop collisions are found to have a minor effect on the power conversion. The present approach could be used to guide the design of power take-off systems so that their displacement stroke, maximum force, and resistive and reactive power limits are well-matched to the achievable performance of a given controlled primary energy converter.     

GNSS多天线基线网单历元模糊度同步解算法

提出多天线基线网单历元模糊度同步解算法,其具体实现步骤为:1)根据宽巷组合模糊度易于固定的优点,采用附加已知基线长度约束法同步解算各基线的宽巷模糊度,得到dm～cm级精度的近似基线分量;2)将解算得到的各近似基线分量作为约束,同步解算各基线的基频模糊度,以获取mm级精度的基线矢量。该方法的关键在于检验各历元宽巷模糊度解算的正确性,以获取可靠的近似基线分量,为解算各基线的基频模糊度提供准确的基线先验信息。由于动态情况下各历元观测信息比较少,单纯依赖ratio检验不可靠,提出结合基线误差、单位权中误差、基线网模糊度闭合环及ratio值等对多组宽巷模糊度进行检验,避免ratio值设置不当导致模糊度检验中发生纳伪和弃真问题。实测数据结果证明,该处理方法使得模糊度解算的成功率提高1%～2%,可以获取移动平台更丰富的导航信息,提高其服务能力。     

移位形成的OSV句式的句法和语义的制约因素

SVO句式是汉语的基础句式,OSV句式是在SVO基础句式的基础上移位派生而来的。在移位的过程中,要受到一定的句法、语义因素的制约,如有定性原则、有生性原则、近距离制约原则、受事NP复杂程度、受事NP受事性的强弱等。如果不能满足这些制约因素,移位形成的OSV句式语义会发生改变或者句子不能成立。     

������ʽԼ���Ĵ�ز�������

????Ω???????????????????????????????ò???????????????????????????????? ???????????????????????Ω?????????????????????????????????????????????????????????????÷????????????????????????????з??????????