上海市教育委员会科技发展基金(11ZZ37)
- 作品数：3 被引量：22H指数：2
- 相关作者：郁文生杨路关强王龙何冠男更多>>
- 相关机构：华东师范大学北京化工大学北京大学更多>>
- 发文基金：上海市教育委员会科技发展基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 常用基本不等式的机器证明被引量：12
- 2011年
- 不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件BOTTEMA,对若干常用的基本不等式成功地实现了机器证明,包括算术、几何与调和平均不等式、排序不等式、Chebyshev不等式、Bernoulli不等式、三角形不等式及Jensen不等式等.所论不等式含有的变元个数是一个不确定的变量,属于Tarski模型外的不等式类型.机器证明得出的结论有时可能是已知结果的推广,其方法本身对同类不等式有示范性,更多的例子表明了该算法和软件的有效性.
- 杨路郁文生
- 关键词：基本不等式机器证明
- 局部证据RBF人体行为高层特征自相似融合识别被引量：1
- 2016年
- 针对传统人体动作识别算法通常重点解决某一类行为识别,不具有通用性的问题,提出一种局部证据RBF人体行为高层特征自相似融合识别算法。借用随时间变化的广义自相似性概念,利用时空兴趣点光流场局部特征提取方法,构建基于自相似矩阵的人体行为局部特征描述;在使用SVM算法进行独立个体行为识别后,利用提出的证据理论RBF(radial basis function)高层特征融合,实现分类结构优化,提高分类准确度。仿真结果表明,该方案能够明显提高人体行为识别算法效率和识别准确率。
- 尤鸿霞宋楚平郁文生
- 关键词：证据理论RBF网络自相似
- 线性系统的同时镇定问题被引量：9
- 2011年
- 线性系统的同时镇定问题,是系统与控制理论中的基本问题,有着广泛的理论意义和应用价值.本文介绍了线性系统同时镇定问题的研究现状和最新进展.首先回顾了同时镇定问题的研究内容、基本方法及相关结果.其次,从理论求解和控制器设计的角度对线性系统同时镇定研究中著名的"香槟问题","比利时巧克力问题"和"威士忌问题"进行了分析探讨,并基于不等式型定理机器证明理论,给出了线性系统同时镇定问题的相关工作.最后指出了对于同时镇定多个线性系统方面的若干研究方向.
- 关强何冠男王龙郁文生
- 关键词：复分析机器证明
- 月球车轨迹跟踪控制
- 数字控制情况下的月球车轨迹跟踪控制系统是一个离散控制系统。离散控制的数据采样和信息传输过程中可能存在影响控制性能的扰动。本文从月球车轨迹跟踪控制的具体实例入手,考虑采样干扰、传输延迟以及控制能源限制,基于二次型最优控制,...
- 杨梓郁文生
- 关键词：月球车最优控制
- 文献传递
