基于生态足迹的调水工程环境影响评价——以牛栏江-滇池补水工程为例

牛栏江-滇池补水工程调水后对水源地牛栏江流域的生物资源、工业和生活用水情况将产生一定影响,使其生态供给量和需求量发生变化,因此必须对水源地的生态承载力进行评价。利用构建的调水工程生态足迹计算模型,对牛栏江-滇池补水工程对水源地牛栏江流域的环境影响进行了评价。结果表明,补水工程对牛栏江流域生态承载力影响程度极低,处于当地生态系统可承载的范围之内。研究成果为牛栏江流域的生态环境保护规划提供了科学依据,也可为其他调水工程环境影响评价提供借鉴。      

基于GM（1，1）模型的混凝土碳化寿命预测

碳化是影响混凝土结构耐久性的一个重要因素。利用灰色理论中GM（1,1）模型,以碳化深度为特征序列,进行老信息、新信息及新陈代谢3种不同模型模拟分析。选择相对平均误差最小的新陈代谢模型预测混凝土碳化寿命。分析表明,该模型原理简单实用,预测精度高,能够反映一般大气环境下混凝土碳化发展规律,可为实际工程混凝土结构耐久性分析提供有效方法。     

刘家坡滑坡非饱和渗流情况下的稳定分析

分析研究刘家坡滑坡在暴雨作用下的渗流场,通过正交实验确定饱和———非饱和渗流计算参数。并应用粘弹塑性有限单元法对滑坡在非饱和渗流场作用下的稳定性进行了分析评价。     

浅谈网络负载均衡

通畅的网络是在一个网络的负载均衡的条件下建立的,他的存在可以说是给整个网络的性能优良打下了基础,他的建立使网络的透明化、高效化、廉价化进入了一个成熟阶段,这位网络的进一步升级提供了非常方便的服务途径,网络的带宽、吞吐量都和网络的数据处理水平都能得到优化,这样便建立了一个成熟、灵活和可靠的网络。     

自主学习在大学信息技术基础课中的运用

本文从实际教学工作出发,结合对学生信息技术基础知识和能力的考查,总结出自主学习方法在信息技术基础课程学习中的重要作用。     

基于水利信息网络的对等计算平台

我国水利行业对计算力需求不断增加,该文利用P2P技术汇聚PC的空闲CPU资源,来提供低成本的高计算力。针对水利信息网络的现状,以XtremWeb计算平台为基础,构造了基于广域网和局域网的两层XtremWeb网络,并采用多服务窗排队理论进行建模和分析,得到模型的相关参数。给出洪水淹没范围计算的具体实例,采用XtremWeb网络进行实验。实验结果表明,随着Worker数量的增加,实际计算耗时快速下降,系统吞吐量接近线性增长。     

一种基于全向视觉的运动物体检测算法

针对静态摄像头条件下的运动物体,提出一种基于全向图像特性的运动目标检测算法.首先对全向图像进行展开,并应用非线性畸变模型对展开图像校正处理,利用自适应背景建模的方法建立和更新背景模型、去除背景,实现对运动物体的识别与检测.该方法利用全向校正图像分辨率低的特点较好地解决前景提取过程中的噪声和阴影问题.实验表明,该方法对于全向视觉条件下运动物体的检测是快速有效的.     

星载高速数据路由技术的应用研究

目前我国有效栽荷数据管理系统只具备多对一、先进先出的简单功能.为满足航天器有效栽荷高速数据多路输入、多路输出的未来发展需求,该文提出了星载高速数据路由的解决方案.设计中充分利用FPGA的高速数据处理能力和SoC的灵活性,实现了对多个数据源路由存储以及针对重要数据和敏感数据优先下传等功能,提高了有效栽荷数据传输的实时性和灵活性,在空间飞行器有效载荷数据管理系统中具有广阔的应用前景和重要的实用价值.     

可实现效率提升的一种水下无线充电系统研究*

为了提高水下航行器的充电便捷性,水下无线充电系统得到发展,但同时水下无线充电技术仍然存在充电传输效率较低、传输功率较低的问题。而充电传输效率和功率与补偿网络的选取和耦合器的形状、参数等相关,因此实现对补偿网络和耦合器的优化对于无线充电系统传输效率和功率的提升有重要意义。首先,对磁感应耦合式无线充电电路中补偿网络选用原边串联-副边并联补偿方式,对传输功率、效率进行理论推导和分析。其次,对耦合器的尺寸结构进行仿真建模,得到参数符合的耦合器。在此基础上,建立水下无线充电仿真系统进行仿真,得到仿真参数。最后,进行器件选取和驱动电路、原副边电路PCB板的设计制作,进而搭建了一台无线充电系统样机平台进行实验,并得到实验结论。     

自动驾驶交叉路口测试场景建模及验证方法

自动驾驶汽车在缓解交通拥堵和消除交通事故方面发挥着重要作用.为了保证自动驾驶系统的安全性和可靠性,在自动驾驶汽车部署到公共道路之前,必须进行全面的测试.现有的测试场景数据大多来源于交通事故和交通违法场景,而且自动驾驶系统最基本的安全需求就是遵守交通法规,这充分体现了自动驾驶汽车遵守交通规则的重要性.然而,目前严重缺少针对交通法规构建的自动驾驶测试场景.因此,本文从交通法规出发,根据自动驾驶系统安全需求,提出交叉路口测试场景的Petri网建模及形式化验证方法.首先,依据自动驾驶测试场景对交规进行分类,提取适合自动驾驶汽车的文本交规,并进行半形式化表征.其次,以覆盖道路交通安全法规以及测试场景功能测试规程为目标,融合交叉路口场景要素的交互行为,合理选择并组合测试场景要素,布设交叉路口测试场景.然后,基于交规的测试场景被建模为一个Petri网,其中,库所描述自动驾驶汽车的状态,变迁表示状态的触发条件,并选择时钟约束规范语言（CCSL）作为中间语义语言,将Petri网转换为一个可进行形式化验证的中间语义模型,提出具体的转换方法.最后,通过Tina软件分析验证交规场景模型的活性、有界性和可达性,结果表明所建模型的正确性,并基于SMT的分析工具MyCCSL来分析CCSL约束,采用LTL公式以形式化方法验证交规场景模型的一致性.