基于OGC标准的水利一张图关键技术解析

为解决水利空间数据共享困难的问题,江苏省基于开放地理信息标准,采用去中心化技术路线,构建水利一张图。利用OGC(开放地理空间信息联盟)提供空间数据交换和服务互操作协议,具体接口可以在业务领域定制化实现,提出以OWS(OGC网络服务)融合异构空间数据,实现地图局部更新和统一风格展示;通过URI定位属性并与Solr搜索引擎结合,扩展WFS实现基于语义的空间信息查询;基于服务链和工作流整合水利空间功能;结合LDAP协议实现CSW服务,构建跨部门、级别、业务的细粒度空间信息目录;通过服务负载均衡,实现云端GIS等方案。从技术上实现水利一张图平台框架,可满足水利空间信息公共服务的功能、性能需求,并为基于水利一张图整合全省水利信息资源,提供理论参考和技术借鉴。     

Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L₃-valued propositional logic, a multisequent is a triple Δ|Θ|Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. Correspondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic. Dually, a comultisequent is a triple Δ : Θ : Γ, which is valid if there is an assignment v in which each formula in Δ has truth-value≠t, each formula in Θ has truth-value≠m, and each formula in Γ has truth-value≠f. Correspondingly there is a sound and complete Gentzen deduction system G⁻ for co-multisequents which is nonmonotonic.     

基于Z-buffer算法优化的大型变电站场景模型快速线消隐方法

针对现有三维模型消隐方法面向大规模三维场景模型应用中存在的计算复杂、耗时长等缺陷, 本文提出了基于改进 Z-buffer 算法对大型变电站场景消隐的快速可视化方法。首先,为了简化计算,将场景模 型数据整合并重构;其次,通过透视投影变换将变电场景模型像素化;进一步,基于 Z-buffer 算法高效的像素 化计算特性提出了快速模型筛选方法,从而得到变电场景的子模型遮挡关系。最后,实验中将所得遮挡关系列 表融合现有消隐算法,结果表明本文提出的方法能够大幅度提升消隐的运算性能。     

混凝土力学时空特性对衬砌支护设计影响研究

竖井支护设计对围岩稳定和施工安全具有重要意义,水利水电工程中采用正井法开挖引水竖井的工程案例较少。根据正井法施工特点,确定开挖、初衬以及拆模等工序需要的具体时间,考虑混凝土力学参数的时效特征,并结合所在区域的地质条件、岩体力学参数以及开挖进尺,对初衬设计厚度、强度以及拆模时间等进行了研究,形成了一套基于正井法施工,考虑衬砌混凝土力学参数时空特征条件下的衬砌设计方法。实践表明,考虑混凝土力学参数时空特征条件下的支护设计更加合理,具有一定经济和社会效益。     

基于EDEM的混凝土板桩静压贯入过程三维颗粒流数值模拟

针对混凝土板桩在干粗砂地基中的静压贯入问题,为了明确贯入过程中的挤土效应及贯入阻力的发展规律,利用离散元数值模拟软件EDEM(Engineering Discrete Element Method)对干粗砂中混凝土板桩静压贯入过程进行了三维数值模拟。为此,提出了适用于类似试验的参数标定方法,分析了贯入过程中颗粒的运动特征。针对板桩结构的特点,对长边和短边方向的挤土效应进行了对比,并以短边为例,分析了不同高度处的挤土效应。最后,根据颗粒与桩结构的接触力,提取了桩端阻力和桩侧摩阻力的值,分析了两者在贯入过程中的变化规律。结果显示:在贯入过程中,颗粒的运动呈现"涡流状",并随贯入过程演化;板桩沿短边方向的表面隆起量约为沿长边方向的隆起量的2倍;随着长宽比的增加,板桩结构在短边方向和长边方向的隆起值相应增加,且短边方向的隆起值与长边方向的隆起值的比值与相应板桩的长宽比近似相等;随着贯入的进行,桩侧摩阻力所占的比重逐渐增加,在完全贯入后,侧摩阻力值约占桩端阻力的1/25;不同长宽比的板桩结构,其桩端阻力和桩侧摩阻力的单位值近似相等,并与准二维计算结果相近。     

江淮丘陵区塘坝灌溉能力估算及其演变特征

鉴于塘坝工程在江淮丘陵区蓄水灌溉中的重要作用,通过对塘坝工程与作物种植结构发展历程的综合分析,提出了基于水量供需平衡分析的塘坝灌区灌溉能力概念及其计算模型,定量评估了江淮丘陵区不同年代的塘坝灌溉能力,揭示了塘坝灌溉能力的动态演变特征。研究结果表明:江淮丘陵区全区塘坝灌溉能力在20世纪60年代达到峰值后,70～90年代呈显著下降趋势,至21世纪初有所回升。研究结果可为江淮丘陵区塘坝发展规划与灌溉制度的制定提供理论依据与技术支撑,具有重要实际指导意义。     

上拔荷载对斜桩水平承载性状影响的试验研究

斜桩在承受水平荷载的同时,往往会受到上拔荷载的作用。为研究上拔荷载对斜桩水平承载性状的影响,开展了10根直、斜桩的室内模型试验,研究上拔荷载对斜桩桩顶水平位移和水平承载力的影响,对比了直桩与斜桩桩身弯矩和剪力的差异,并分析了上拔荷载对正、负斜桩桩身内力及桩侧摩阻力的影响规律。模型试验结果表明:上拔荷载从直桩水平极限承载力的12.5%增大到75%时,正斜桩水平承载力比增大21%,负斜桩水平承载力比减小25%。上拔荷载的存在会使正、负斜桩桩身轴力均增大,且上拔荷载越大,桩身轴力越大。上拔荷载能减小正斜桩桩身弯矩和剪力,使其抵抗弯矩和剪力的能力得到提高,而增大负斜桩桩身弯矩和剪力,使其抵抗弯矩和剪力的能力被削弱;不论正斜桩还是负斜桩,其上部区段桩身侧表面均出现了方向向上的摩阻力,而下部区段桩身侧表面均为方向向下的摩阻力,随着上拔荷载的增大,斜桩桩身侧摩阻力逐渐增大。     

Probabilistic and interval reliability design of the composite pressure vessel

Considering the randomness or interval character of physical parameters and applied loads of composite pressure vessels (COPV), the COPV reliability-analyzing model is built. And then the computational expressions for the mean value, standard deviation and deviation of fiber stress are deduced by the random factor method. The probabilistic and interval reliability designs on COPV are implemented by utilizing the probabilistic method and interval method combined with the improved particle swarm optimization (PSO) algorithm, respectively. The influence of fluctuation of structure uncertain parameters on COPV design thickness is inspected. Finally, examples are given to demonstrate that both probabilistic and interval reliability methods can satisfy the safety requirement and both are of higher rationality than the traditional safety factor method. And probabilistic method has a lower relative error but a higher computational complexity contrasted with the interval method.     

监测数据网页端三维可视化展示

传统监测数据可视化目前还处于二维平面观察阶段,无法对三维模型进行整体掌握。基于三维网格模型利用支持向量机算法对监测数据进行空间插值,利用WebGL技术实现插值监测数据场空间展示。实现了在线实时查看大坝结构服务性态,克服了传统监测平台中监测数据只能以单点时程图或平面图形显示、可视化程度低等缺点。通过研究表明三维可视化能够清晰直观的显示监测数据,使大坝安全管理更加便捷高效。     

基于图像分层树的图像语义分割方法

针对传统语义分割模型缺乏空间结构信息,无法准确地描述对象轮廓的问题,提出了一种基于图像分层树的图像语义分割方法。分层树模型采用结构森林方法生成轮廓模型,为防止过度分割,运用超度量轮廓图算法得到多尺度轮廓图,然后利用支持向量机训练多尺度轮廓图生成图像分层树,通过随机森林精炼分层树,最终输出图像语义分割结果。在测试实验中,像素精确度达到82.1%,相比区域选择方法(Selecting Regions)提升了2.7%。并在较难区分的树和山脉的预测精确度上,相比层次标记方法(Stacked Labeling)分别提升了16%,25%,具有更高的稳定性。实验结果表明,在复杂的室外环境下,对图像语义分割的精确度、稳定性和速率均有明显改善。