土石坝坝基覆盖层动力特性参数试验研究

采用室内动力特性试验和现场剪切波速测试,对某水电站土石坝坝基各土层最大剪切模量进行了分析。其中现场剪切波速测试分别采用了单孔法和跨孔法,共获得4组剪切模量随深度变化的曲线,分析表明,4组曲线的变化规律一致,即随深度的增加,土体越密实,剪切模量总体趋势变大;数据的波动性也反应了土性差异对剪切模量的影响。文中还分土层分析了室内试验中的固结比取值、密度取值以及波速测试中土的不均匀性对波速测试和室内试验结果的影响,认为密度取值、土的不均匀性为主要影响因素,固结比为次要因素,试样制备中的密度取值越接近实际土层,所得到的室内试验值与现场测试值就越接近。     

不同植被重建模式下赣北红壤侵蚀坡地土壤养分效应

为了探讨植被重建模式与土壤养分的关系,合理改良与利用红壤侵蚀坡地,本文分析了草本、果树、果树+草、果树+草+农作物和果树+农作物等不同植被重建模式对土壤养分的影响,并运用灰色关联分析方法对不同恢复模式的土壤养分效应进行综合评价。研究结果表明:不同植被重建模式土壤养分效应差异显著,以果树+横坡套种农作物改善土壤养分效应最好,然后依次是果树+草本模式(全区覆盖优于带状覆盖)、果+草+农作物模式、果树+纵坡套种农作物,草本、果树模式改善土壤养分效应最差。赣北侵蚀坡地植被恢复,可以优先考虑恢复果树+横坡套种农作物模式和果树+草本模式。     

上海市日供水量与气象要素的相关性分析及预测模型的建立

基于上海市2010-05-2013-12日供水资料和气象观测资料,利用数学统计方法分析日供水量与气象因子的关系,并建立日供水量预报模型。结果表明:一年之中,日供水量大体呈现"单峰单谷"的波动特征,夏季(7、8月份)日均供水最多,冬季(2月份)最少;日供水量具有显著的节假日效应;除降水外,日供水量与其它气象因子均有显著的相关性,且夏半年相关系数明显高于冬半年;日供水量与温度的关系最为密切,且与前一日最高温度的相关系数最高,同时,当温度大于20℃时,日供水量对于温度变化的响应极其敏感;供水预报模型精度较高,可为城市用水规划、合理调度的气象服务保障提供科学依据。     

PKPM在进水口结构计算中的应用

本文对进水口结构进行有效简化,采用PKPM系列软件中的PMCAD模块建立模型,考虑对结构最不利的荷载组合并输入计算荷载,利用PKPM系列软件中的SATWE模块进行进水口结构的内力及配筋计算,通过计算确定结构体型及配筋情况。     

球对称n维反应扩散方程的边界观测与输出反馈控制

许多实际系统可用n 维超球坐标系来描述, 并且系统有球对称的性质, 因而可通过研究半径方向的状态变化, 得到系统的全局动态过程. 通过将高维的对称系统转化为等价的径向一维方程, 本文采用边界Backstepping 方法设计了球对称反应扩散方程的输出反馈控制器. 使用容易测量的边界状态值, 设计了状态观测器来估计系统在空间域的所有状态, 从而实现输出反馈控制. 本文扩展了连续Backstepping 方法,提出了n维球坐标的Volterra 积分映射, 从而求出了显式表达的控制器和状态观测器. 论文用Lyapunov 函数法证明了输出反馈系统在H1范数下指数稳定, 表明状态对初值的连续依赖, 确保控制系统具有较好的性质, 不会在空间某点发散. 最后进行了数值仿真, 仿真结果表明系统在输出反馈控制律的作用下收敛到稳态值.     

电力巡线无人机数据传输系统研究

针对无人机数据链系统需要同时传输不同类型信息而且其性能指标迥异的问题,提出了安全性非对称信息一体化传输技术。该技术采用直接序列扩频技术对遥测等重要数据进行附加保护,与图像数据复接后统一进行QPSK调制,解决了直接复接技术可靠性不足、UQPSK功率分配灵活性差的问题,实现了多类型信息的差别复合传输。仿真结果表明,在改善频带利用率的同时,提高了重要信息链路的接收信噪比,与理论分析一致。     

非标准约束恒模盲多用户检测的改进算法研究

针对码分多址蜂窝移动通信中存在的多址干扰问题,以瑞利分布为变步长,构造了基于瑞利分布变步长的非标准约束恒模算法;与差分形式相结合,提出了基于瑞利分布变步长的非标准约束差分恒模算法(RDV-NSCDCMA);分析了此算法的性能并与非标准约束恒模算法(NSCCMA)进行了仿真比较.     

GJK算法的一种特殊情形的形式化验证和应用

计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用.