-
施智平
-
-
- 所属机构:首都师范大学
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 关永
- 作品数：347被引量：1,198H指数：16
- 供职机构：首都师范大学
- 研究主题：形式化验证 定理证明 机器人 嵌入式系统 形式化
- 李晓娟
- 作品数：120被引量：269H指数：8
- 供职机构：首都师范大学
- 研究主题：形式化验证 定理证明 机器人 移动机器人 形式化方法
- 张倩颖
- 作品数：63被引量：89H指数：6
- 供职机构：首都师范大学
- 研究主题：逻辑命题 定理证明器 形式化验证 逻辑语言 机器人
- 王瑞
- 作品数：70被引量：157H指数：7
- 供职机构：首都师范大学
- 研究主题：形式化验证 机器人 ROS 移动机器人 时间自动机
- 王国辉
- 作品数：60被引量：105H指数：5
- 供职机构：首都师范大学
- 研究主题：定理证明器 形式化验证 逻辑命题 机器人 定理证明
- 串联机器人的关节旋转角度确定方法及装置
- 本公开实施例公开了串联机器人的关节旋转角度确定方法，包括：建立第一空间坐标系；以第五关节和第六关节轴线的第二交点为原点建立第二空间坐标系；在6自由度串联机器人的初始位形下，6自由度串联机器人的第一至第六关节的旋转角度为0...
- 施智平赵荣波关永张倩颖王国辉邵振洲王瑞李晓娟
- 一种用于机器人分布式控制系统的形式建模方法及装置
- 本发明实施例提供了一种用于机器人分布式控制系统的形式建模方法及装置，方法包括：针对所述机器人分布式控制系统，根据各微体系结构模型xMAS元件的同步等式，对各xMAS元件在逻辑编程语言ACL2中形式化，得到所述机器人分布式...
- 李晓娟关永李艳春王瑞施智平张倩颖谈金东邵振洲张杰王国辉刘永梅吴敏华
- 一种机器人运行状态监控方法及装置
- 本申请实施例公开了一种机器人运行状态监控方法及装置，实现了对机器人在实际运行环境中运行时状态监控的目的。其中，预先对关于事件逻辑的脚本进行解析，并根据所述事件逻辑生成事件监控程序，所述事件逻辑包括对机器人的运行状态进行判...
- 王瑞关永李晓娟施智平绍振洲张倩颖尉英霞李欣欣
- 基于结构相似度的稀疏编码模型被引量：10
- 2010年
- 已有的稀疏编码模型采用误差的平方和作为信息保持的客观评价标准,但最近的研究表明,人眼视觉系统的主要功能是从视觉区域提取图像和视频中的结构化信息.引入结构相似度来衡量信息保持的程度,通过对改进的目标函数进行优化,获得与初级视皮层中具有局部性、朝向性和带通性的感受野相类似的基函数集.实验结果表明,改进后的稀疏编码模型更符合人眼视觉系统特性.
- 李志清施智平李志欣史忠植
- 关键词：自然图像结构相似度
- 轻量级卷积神经网络的机器人抓取检测研究被引量：12
- 2020年
- 卷积神经网络在基于视觉的机器人抓取检测任务上取得了较好的检测效果,但是大多数方法都有太多的计算参数,不适合资源有限的系统。针对这个问题,基于SqueezeNet轻量级神经网络,结合DenseNet多旁路连接加强特征复用的思想,提出了轻量级抓取检测回归模型SqueezeNet-RM(SqueezeNet Regression Model),并使用SqueezeNet-RM从RGB-D图像中提取多模态特征,预测二指机器人夹持器的最佳抓取位姿。在标准的康奈尔抓取数据集上,提出的轻量级抓取检测网络与经典的抓取检测方法相比,在保证检测准确率不降低的情况下,模型占用更少的存储空间,表现出更快的检测速度和更高的泛化性能,所提出的模型占用的存储空间比AlexNet模型减少86.97%,平均检测速度快3倍,适用于FPGA(Field Programmable Gate Array)或者资源受限的移动机器人抓取检测系统。
- 马倩倩李晓娟施智平
- 用于视频行为识别的高效二维时序建模网络被引量：3
- 2023年
- 二维卷积难以对视频数据进行有效的时间信息建模。针对这个问题,提出了一个高效的基于二维卷积的时间建模网络。该网络只需要RGB图像作为输入,避免了复杂的光流计算,在低计算复杂度的前提下,可以在行为识别任务中达到先进的准确性。网络主要由两个部分组成,即运动特征增强模块和时序聚集模块。具体来说,运动特征增强模块主要实现短期时序建模,它利用当前帧与相邻帧的差异信息对当前帧中的运动信息进行自适应性的增强,让网络能够了解图像中的哪一部分将要产生运动。时序聚集模块实现长期的时序建模,主要应用于网络的后期,通过二维卷积对时序上的信息进行信息聚合,让每一帧图像经过网络提取特征后,都能够结合时序上所有帧序列的信息。在三个常见的视频动作识别数据集(UCF101、HMDB51和Something-Something V1)上进行的大量实验表明,与大多数现有方法相比,所提出的时序建模网络可以获得先进的识别性能。
- 栗志磊李俊施智平姜那张永康
- 一种运动目标提取方法及装置
- 本发明实施例公开了一种运动目标提取方法及装置，方法包括：利用分析算法，确定图像对应的矩阵模型；针对矩阵模型进行迭代处理的过程中，每次迭代对约束乘数进行两次更新；根据迭代结果提取图像中的运动目标。每次迭代对约束乘数进行两次...
- 邵振洲 吴高宇 渠瀛关永施智平 张融 谈金东
- 基于Gabor变换域的积分直方图鞋印图像检索被引量：11
- 2015年
- 案件现场提取的鞋印图像是现代刑侦中一种十分重要的线索和证据,如何快速而准确地从鞋印图像库中检索出相同或相似的鞋印图像,关系着公安部门的破案效率。针对有残缺的鞋印图像,提出一种基于Gabor变换域积分直方图的鞋印图像比对与检索方法。对图像进行Gabor滤波后,在每个像素位置用响应最大的滤波器号替代图像的像素值,然后统计图像积分直方图。对于残缺图像与完整图像的相似度计算,先通过积分直方图计算出残缺图像在完整图像中的最相似区域位置,再提取该区域的特征,最后进行相似度度量。通过求积分直方图快速准确地求出残缺图像在完整图像中的位置,从而提取局部特征。实验表明,与直接比较图像的全局特征相比,该算法的查准率提高了4.82%。
- 黎向阳吴敏华施智平
- 关键词：GABOR滤波积分直方图图像检索
- 平面并联机构形式化验证的方法及装置
- 本公开实施例公开了一种平面并联机构形式化验证的方法及装置，所述平面并联机构形式化验证的方法包括在平面并联机构上基于静平台铰链建立静坐标系，在平面并联机构上基于动平台铰链建立动坐标系；根据所述平面并联机构在所述静坐标系和所...
- 施智平王国辉关永陈琦张倩颖李希萌邵振洲
- 视频数据库的聚类索引方法被引量：10
- 2007年
- 理想的视频库组织方法应该把语义相关并且特征相似的视频的特征向量相邻存储.针对大规模视频库的特点,在语义监督下基于低层视觉特征对视频库进行层次聚类划分,当一个聚类中只包含一个语义类别的视频时,为这个聚类建立索引项,每个聚类所包含的原始特征数据在磁盘上连续存储.统计低层特征和高层特征的概率联系,构造Bayes分类器.查询时对用户的查询范例,首先确定最可能的候选聚类,然后在候选聚类范围内查询相似视频片段.实验结果表明,文中的方法不仅提高了检索速度而且提高了检索的语义敏感度.
- 施智平胡宏李清勇史俊史忠植
- 关键词：高维索引聚类视频检索
