变截面钢管混凝土格构柱轴压极限承载力

变截面钢管混凝土格构柱的轴压试验结果表明,随着试件高度的增大和柱肢坡度的减小,其极限荷载逐渐降低.基于上述规律,在等截面钢管混凝土格构柱计算框架的基础上,研究了变截面钢管混凝土格构柱轴压极限承载力的计算方法.提出变截面钢管混凝土格构柱等效长度的概念和等效长度法的计算公式,其承载力计算结果与试验结果吻合良好.最后在有限元数值分析验证的基础上,给出适合工程应用的四肢变截面钢管混凝土格构柱轴压极限承载力的实用算法,为钢管混凝土设计规程的进一步完善提供参考.     

分数阶初值问题解的存在性与唯一性

讨论了带有Riemann-Liouville微分算子的分数阶微分方程初值问题,利用混合单调算子理论,获得了初值问题解的存在唯一性定理, 并举例说明主要结果.     

向量函数隐函数定理之新证明

隐函数定理是大学数学分析课程的一个重要定理,该定理在现代数学的许多分支都有重要应用.应用在大学常微分方程课程里学过的有关微分方程解的存在唯一性和解对初值与参数的连续性等定理给出隐函数定理的一个新证明.     

偏微分方程最优控制中的变分迭代法应用

首先使用极大值原理得到偏微分方程问题的最优性条件,然后使用变分迭代法求解Hamilton-Pontryagin方程,实现了偏微分方程最优控制问题的准确快速求解。结合两个最优控制的经典实例,对模型和算法进行了仿真实验,证明了该方法的可行性和有效性。     

一类具有细胞感染年龄和一般饱和感染率的病毒感染动力学模型的稳定性分析

为了了解病毒在人体内的感染、受制、清除等动力学过程,研究一类具有细胞感染年龄和一般饱和感染率的病毒感染动力学模型,证明当病毒的基本再生率大于1时,模型存在唯一的病毒感染稳态解。通过分析相应特征方程讨论了可行稳态解的局部稳定性,在构造Lyapunov泛函和应用LaSalle不变集原理的基础上,证明了当基本再生率小于1时,病毒未感染稳态解是全局渐近稳定的;当基本再生率大于1时,病毒感染稳态解是全局渐近稳定的。     

基于遥感技术的腾冲地热异常区识别

重点探讨用遥感技术识别腾冲火山地热区的地表热异常。考察地表温度的概率分布,提出了基于统计方法来识别地表温度异常区的思路。同时,采用按高程信息来分区识别地表温度异常区,以减小腾冲地区高程对地表温度分布的影响,并结合遥感地质构造解译和蚀变岩体遥感填图结果,圈定腾冲地区地热异常区的空间分布情况。共发现8处地热异常区,其中3处是本次研究识别出来的。与有关地热田、热泉、火山的分布资料的对比分析,结果显示所圈定的地热异常区是较合理的。腾冲地热异常区的空间分布明显受到区内地质构造控制,并跟地表高温异常和岩体蚀变等遥感反演信息有密切的联系。     

多目标博弈问题的求解算法

针对多个局中人多个支付函数的多目标博弈问题,研究每个局中人支付函数均衡协调最优值的存在性.证明了博弈系统在均衡协调意义下均衡解的存在性,并给出了求解多目标博弈问题的均衡协调算法.实例分析检验了算法的合理性和有效性.     

基于ARM的车辆视频检测技术研究

为解决交通拥堵问题, 设计并实现了一套具有实时、便捷、低成本、高精度、低误差的智能交通系统(ITS: Intelligent Transport System)。该系统由道路上架设的摄像头采集实时交通图像为主要研究对象, 在嵌入式Linux 系统下, 采用开源计算机视觉库(OpenCV)对车辆变道的行为信息进行统计计算, 并将完整程序移植到ARM11 微处理器上实现该算法。实验结果表明, 该系统的实时性好、统计结果准确; 系统工作稳定, 数据传输准确, 有效地避免了外界干扰, 具有较强的实用性。     

基于被动行走原理的双足机器人步态规划

为解决四连杆双足机器人的平面步态规划问题, 提出基于被动行走的平面步态规划。基于3毅向下坡面完全被动行走的动力学方程, 利用角度不变控制方法施加控制力矩, 得到机器人在水平面上的动力学模型。结合常数时间放缩方法对平面参考轨迹进行时间放缩, 得到机器人在水平面上步幅不变, 周期可变的行走步态。通过Matlab 软件数值仿真结果表明, 该研究方法是可行、有效的。     

含有多重临界指数和Hardy项的双调和非线性方程组解的存在性

研究了含有多重临界指数和Hardy项的双调和非线性方程组.运用变分方法和分析技巧,证明了方程组解的存在性.