Riemann-Lebesgue定理的推广 被引量：5

1

作者 赵红发 南广仁 《长春师范学院学报（自然科学版）》 2008年第5期3-4,共2页

本文主要讨论了积分区间为无穷区间时Riemann-Lebesgue定理的推广.

关键词 周期函数 黎曼可积 绝对收敛

下载PDF 职称材料

多项式系统的有理首次积分 被引量：3

2

作者 赵红发 黎文磊 骆昱成 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2009年第2期277-280,共4页

通过将多项式系统看作负半拟齐次系统,利用它的Kowalevsky指数,给出了多项式系统存在有理首次积分的必要条件,即给出了一个判别多项式系统有理不可积性的简单准则.

关键词 多项式系统 首次积分 半拟齐次系统 Kowalevsky指数

下载PDF 职称材料

关于微积分教学的几点建议 被引量：3

3

作者 赵红发 《长春师范学院学报（自然科学版）》 2013年第6期125-126,共2页

本文提出了五点关于微积分教学的建议,指出在教学中注重这些建议,能够有效地加深学生对微积分知识的理解,并提高他们的学习兴趣。

关键词 微积分 教学 注重

下载PDF 职称材料

三类数列的极限 被引量：1

4

作者 赵红发 《长春师范学院学报（自然科学版）》 2005年第3期1-2,共2页

本文给出由数列{(1+1n)n}推广的三类数列,并证明了其收敛,求出了其极限。

关键词 数列 极限 HEINE定理 迫切性

下载PDF 职称材料

黎曼可积的周期函数的若干性质

5

作者 赵红发 《长春师范学院学报（自然科学版）》 2009年第2期1-2,共2页

本文给出黎曼可积的周期函数的定义,并给出黎曼可积的周期函数的5条性质及其详细证明.

关键词 黎曼可积 周期函数 性质

下载PDF 职称材料

论数学中的公理化方法

6

作者 翟延慧 赵红发 周晨星 《长春师范学院学报（自然科学版）》 2004年第4期20-22,共3页

本文介绍了公理化方法的发展历程,并就公理化方法所表现的形式及存在的优劣性进行了比 较研究。

关键词 数学 公理化方法 形式 存在

下载PDF 职称材料

交错级数的比较判别法

7

作者 赵红发 《长春师范学院学报（自然科学版）》 2011年第2期25-26,共2页

本文主要讨论了正项级数的比较判别法及正项级数的比较判别法的极限形式,类比到交错级数,得到对判断交错级数收敛性具有一定意义的结论.

关键词 交错级数 比较判别法 收敛 发散

下载PDF 职称材料

一道极限题的逐步延伸分析

8

作者 赵红发 《高等数学研究》 2021年第5期18-19,50,共3页

文中首先讨论了极限lim_(x→0)(1/x^(n)-1/sin^(n)x)n∈N的情况,然后讨论极限lim_(x→0^(+))(1/x^(α)-1/sin^(α)x)(α>0)的情况,最后讨论了当f(x)~x(x→0)时lim_(x→0)(1/x-1/f(x))及lim_(x→0^(+))(1/x^(α)-1/f^(α)(x))(α>0... 文中首先讨论了极限lim_(x→0)(1/x^(n)-1/sin^(n)x)n∈N的情况,然后讨论极限lim_(x→0^(+))(1/x^(α)-1/sin^(α)x)(α>0)的情况,最后讨论了当f(x)~x(x→0)时lim_(x→0)(1/x-1/f(x))及lim_(x→0^(+))(1/x^(α)-1/f^(α)(x))(α>0)的情况. 展开更多

关键词 等价无穷小 极限 泰勒公式

下载PDF 职称材料

基于无监督深度学习的多模态手术轨迹快速分割方法 被引量：3

9

作者 谢劼欣 赵红发 +2 位作者 邵振洲 施智平 关永 《机器人》 EI CSCD 北大核心 2019年第3期317-326,333,共11页

传统的手术机器人轨迹分割方法存在耗时长、分割准确度差且容易产生过度分割等问题.为解决上述问题,本文提出了一种基于特征提取网络DCED-Net(密集连接的卷积编码-解码网络)的多模态手术轨迹分割方法.DCED-Net采用无监督方法,不必进行... 传统的手术机器人轨迹分割方法存在耗时长、分割准确度差且容易产生过度分割等问题.为解决上述问题,本文提出了一种基于特征提取网络DCED-Net(密集连接的卷积编码-解码网络)的多模态手术轨迹分割方法.DCED-Net采用无监督方法,不必进行十分耗时的人工标注,使用密集连接结构,使图像信息能更有效地在卷积层间传递,从而提高了特征提取质量.将特征提取后的视频数据和运动学数据投入转移状态聚类(TSC)模型得到预分割结果.为进一步提高分割精度,提出了一种基于轨迹段间相似性的合并后处理算法,通过衡量轨迹段间的4个相似性指标,包括主成分分析、互信息、数据中心距离和动态时间规整,将相似度高的分割段进行迭代合并,从而降低过度分割造成的影响.公开数据集JIGSAWS上的大量实验证明,与经典的轨迹分割聚类方法相比,本文方法的分割准确率最高提升了48.4%,分割速度加快了6倍以上. 展开更多

关键词 机器人辅助微创手术 多模态轨迹分割 无监督深度学习 合并后处理

原文传递

一种面向多模态手术轨迹的快速无监督分割方法 被引量：1

10

作者 邵振洲 赵红发 +3 位作者 渠瀛 施智平 关永 袁慧梅 《小型微型计算机系统》 CSCD 北大核心 2018年第10期2296-2302,共7页

基于视频和机器人运动学数据的多模态手术轨迹分割是机器人辅助微创手术中的一类基本任务,用于生成低复杂度的子任务进行学习和技能评估等.然而由于手术视频的高维特征空间,传统的特征提取方法存在效率低下、难以提取有效特征的缺陷.此... 基于视频和机器人运动学数据的多模态手术轨迹分割是机器人辅助微创手术中的一类基本任务,用于生成低复杂度的子任务进行学习和技能评估等.然而由于手术视频的高维特征空间,传统的特征提取方法存在效率低下、难以提取有效特征的缺陷.此外,传统轨迹分割方法未对运动学轨迹进行去噪处理,分割结果易受噪声影响.为此,本文提出了一种基于手术视频和机器人运动学数据的快速手术轨迹无监督分割方法.一方面,采用堆叠卷积自编码器方法对手术视频进行无监督的低维特征提取,提高特征提取的效率;另一方面,利用小波变换对手术运动学轨迹进行多尺度去噪处理,平滑短程轨迹,减少噪声对分割结果的影响.最后,采用非参混合模型实现手术轨迹的分割.实验表明,本文提出的手术轨迹分割方法能够在保证准确性的前提下,基于视觉和运动学特征的分割速度相较于基于深度学习转移状态聚类(TSC-DL)提高了10倍. 展开更多

关键词 机器人辅助微创手术 轨迹分割 堆叠卷积自编码 小波平滑 深度学习

下载PDF 职称材料

基于语音和图像的机器人学习系统研究

11

作者 薛洋洋 赵红发 邵振洲 《河南大学学报（自然科学版）》 CAS 2018年第5期581-589,共9页

目前,大部分机器人通过在线编程的方式来完成预先设定的功能,但是智能化水平相对有限,无法主动学习新的任务和应对新的环境.设计一个基于语音交互和神经网络的机器人自主学习系统,一方面系统根据任务需求,利用Kinect深度传感器采集目标... 目前,大部分机器人通过在线编程的方式来完成预先设定的功能,但是智能化水平相对有限,无法主动学习新的任务和应对新的环境.设计一个基于语音交互和神经网络的机器人自主学习系统,一方面系统根据任务需求,利用Kinect深度传感器采集目标的颜色和深度信息进行目标的检测和特征提取,通过语音识别自动生成神经网络模型的训练样本,用于训练和更新神经网络模型;另一方面基于神经网络模型识别目标,通过自然的语音交互方式控制机器人的运动.通过仿真和真实机器人实验验证了自动训练未知事物模型的机器人学习系统的可行性,其中还对机械臂进行了坐标校正和轨迹规划,这样无论是在笛卡尔空间还是在关节空间内,机械臂都能平滑稳定地运动,保证了路径的平滑和工作的安全性.实验结果表明,基于本文设计的自主学习系统可以快速学习和完成新的任务,具有很好的扩展性,适用于不同的任务需求的应用场景. 展开更多

关键词 语音识别 神经网络 机器人 学习系统

原文传递

解微积分题常用的数学思想方法 被引量：1

12

作者 赵红发 赵冬梅 《才智》 2010年第36期166-166,共1页

主要阐述了解微积分题常用的两种思想方法:函数思想和变换思想,并通过例题进行了详细诠释。

关键词 微积分题 函数的思想 变换的思想

原文传递

两函数值的大小与其导数大小的关系

13

作者 赵红发 张继超 金照春 《科技创新导报》 2011年第9期161-161,共1页

讨论了两个函数值的大小与其导数大小的关系,并给出已知两个可导函数的大小及两个函数值在某一点的大小的条件下,两个函数在一区间上的大小关系。

关键词 函数 导数 可导 区间

下载PDF 职称材料