期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
11
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于特征融合的6D目标位姿估计算法
被引量:
5
1
作者
马天
蒙鑫
+2 位作者
牟琦
李占利
何志强
《计算机工程与设计》
北大核心
2023年第2期563-569,共7页
为提高弱纹理目标和遮挡目标位姿估计的准确性,提出一种基于特征融合的6D目标位姿估计算法。从RGB-D图像中提取目标的颜色特征与点云特征;通过点集抽象在小区域内提取精细的局部几何特征,并扩展到更大局部区域,获得不同层次的局部几何...
为提高弱纹理目标和遮挡目标位姿估计的准确性,提出一种基于特征融合的6D目标位姿估计算法。从RGB-D图像中提取目标的颜色特征与点云特征;通过点集抽象在小区域内提取精细的局部几何特征,并扩展到更大局部区域,获得不同层次的局部几何特征以及目标的全局几何特征;将目标的颜色特征与几何特征进行融合,训练神经网络输出初始位姿。实验结果表明,与其它经典算法相比,该方法对于LineMOD数据集及YCB-Video数据集目标的平均位姿估计精度均有提升,对于弱纹理目标和遮挡目标均有较优表现。
展开更多
关键词
位姿估计
特征融合
弱纹理
遮挡目标
点云
点集抽象
多层感知机
在线阅读
下载PDF
职称材料
非紧完备L-凸度量空间中的GLSKKM定理及其对抽象经济的应用(英文)
被引量:
8
2
作者
文开庭
《四川师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2010年第2期166-170,共5页
建立了非紧完备L-凸度量空间中的GLSKKM定理.作为应用,研究了极大元集的性质,获得了一个不动点定理.最后,研究了非紧完备L-凸度量空间中的定性对策和抽象经济的平衡点集的性质.
关键词
L-凸度量空间
极大元
不动点
抽象经济
平衡
在线阅读
下载PDF
职称材料
点集拓扑教学中提高学生的抽象思维能力探讨
被引量:
2
3
作者
王其林
廖正琦
《重庆文理学院学报(自然科学版)》
2009年第6期79-81,共3页
根据点集拓扑的特点和学生的实际情况,在点集拓扑教学过程中,从4个方面对如何提高学生的抽象思维能力进行讨论.
关键词
点集拓扑
抽象思维
拓扑空间
度量空间
在线阅读
下载PDF
职称材料
点集拓扑教学方法的探索与实践
被引量:
2
4
作者
霍承刚
晋守博
马书飞
《黄山学院学报》
2012年第5期94-96,共3页
点集拓扑课程因其理论性强,抽象难懂,致使学生失去学习兴趣。然而点集拓扑既是理工科相关专业的一门基础课,也是后续课程如拓扑学、泛函分析、概率论等课程的基础。它的许多理论与方法不仅给数学的许多分支提供一种重要的理论,而且为其...
点集拓扑课程因其理论性强,抽象难懂,致使学生失去学习兴趣。然而点集拓扑既是理工科相关专业的一门基础课,也是后续课程如拓扑学、泛函分析、概率论等课程的基础。它的许多理论与方法不仅给数学的许多分支提供一种重要的理论,而且为其它学科提供研究方法和语言。文章对缺乏点集拓扑学习兴趣进行了分析,采取了诸如加强直观图形教学,注重对比应用,完善成绩评估等教法改革,取得了一定成效。
展开更多
关键词
点集拓扑
学习兴趣
抽象思维
在线阅读
下载PDF
职称材料
点集拓扑教学方法的创新探索
被引量:
3
5
作者
霍承刚
《黄山学院学报》
2013年第3期110-112,共3页
点集拓扑课程因其理论性强,抽象难懂,致使学生缺失学习兴趣,因此点集拓扑教法改革势在必行。文章对缺乏点集拓扑学习兴趣的原因进行了分析,采取了诸如加强直观图形教学,注重对比应用,完善成绩评估等教法改革,取得了一定成效。
关键词
点集拓扑
学习兴趣
抽象思维
在线阅读
下载PDF
职称材料
抽象凸空间中KKM点的稳定性
6
作者
范晓冬
孙蕾
《纺织高校基础科学学报》
CAS
2008年第2期216-219,共4页
记M为所有抽象凸空间中KKM映射T组成的集合,F(T)为T的所有KKM点组成的集合.证明了存在一M的稠密剩余子集Q,使得T∈Q,T为稳定的,即T的KKM点的通有稳定性以及T∈M,至少存在一F(T)的本质连通区.
关键词
KKM点
抽象凸
稳定性
集值映射
在线阅读
下载PDF
职称材料
抽象凸一致空间中的新型不动点定理(英文)
被引量:
1
7
作者
刘学文
《西南大学学报(自然科学版)》
CAS
CSCD
北大核心
2009年第2期25-28,共4页
在抽象凸一致空间中定义了一组新的较佳容许集值映射组BG,并在抽象凸一致空间的子集上引入了Klee邻接性质.利用此定义和性质,在抽象凸一致空间中证明了一组涉及较佳容许集值映射组的新的不动点定理.
关键词
不动点
抽象凸一致空间
较佳容许集值映射
原文传递
一个抽象算法的收敛性定理
8
作者
俞建
《贵州工学院学报》
1989年第3期66-68,共3页
本文提出了一个抽象算法,并证明了收敛性定理。
关键词
点到集映象
抽象算法
收敛性
在线阅读
下载PDF
职称材料
抽象积分方程解的存在性
9
作者
胡适耕
《华中理工大学学报》
CSCD
北大核心
1993年第1X期189-193,共5页
考察Banach空间中形如x(t)=integral from N=G(f(t,s,x(s))ds)的非线性积分方程,在f满足一定集压缩性条件的假定下,利用Monch与Darbo的不动点定理证明了上述方程存在取值于给定闭凸集中的连续解.
关键词
抽象积分方程
集压缩映射
存在性
全文增补中
改进点集拓扑教学的策略研究
10
作者
吉蕾
《合肥师范学院学报》
2019年第6期139-141,共3页
针对点集拓扑的教学现状,结合自身教学实践,从提高学科趣味性、注重概念的形成过程、注重课程的实用价值、改革成绩评定方式四个方面进行教学改进,从而完善教学方法,提高教学质量。
关键词
点集拓扑
学习兴趣
抽象思维
实用价值
过程性考核
在线阅读
下载PDF
职称材料
一种基于抽象解释的二进制代码测试方法
11
作者
周林
孙玉龙
+1 位作者
甘水滔
秦晓军
《信息工程大学学报》
2016年第1期77-82,共6页
针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静态程序分析方法,生成目标二进制程序的过程间控制流程图,然后基于过程间控制流程图,计算出潜在脆弱点集。...
针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静态程序分析方法,生成目标二进制程序的过程间控制流程图,然后基于过程间控制流程图,计算出潜在脆弱点集。利用节点距离、节点可达性和约束条件集概率静态信息作为符号执行的制导因素,对二进制程序进行动态测试,过滤虚假的脆弱点,并对真实脆弱点生成相应的触发测试用例。实验结果表明文章提出的方法能有效避免执行无效路径,提高二进制代码测试效率。
展开更多
关键词
值集分析
静态分析
抽象解释
符号执行
脆弱点
控制流程图
在线阅读
下载PDF
职称材料
题名
基于特征融合的6D目标位姿估计算法
被引量:
5
1
作者
马天
蒙鑫
牟琦
李占利
何志强
机构
西安科技大学计算机科学与技术学院
西安科技大学机械工程学院
出处
《计算机工程与设计》
北大核心
2023年第2期563-569,共7页
基金
国家重点研发计划基金项目(2019YFB1405000)
陕西省自然科学基础研究计划基金项目(2019JM-162、2019JM-348)。
文摘
为提高弱纹理目标和遮挡目标位姿估计的准确性,提出一种基于特征融合的6D目标位姿估计算法。从RGB-D图像中提取目标的颜色特征与点云特征;通过点集抽象在小区域内提取精细的局部几何特征,并扩展到更大局部区域,获得不同层次的局部几何特征以及目标的全局几何特征;将目标的颜色特征与几何特征进行融合,训练神经网络输出初始位姿。实验结果表明,与其它经典算法相比,该方法对于LineMOD数据集及YCB-Video数据集目标的平均位姿估计精度均有提升,对于弱纹理目标和遮挡目标均有较优表现。
关键词
位姿估计
特征融合
弱纹理
遮挡目标
点云
点集抽象
多层感知机
Keywords
pose estimation
feature fusion
texture-less
occlusion object
point
cloud
point set abstract
multilayer perceptron
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
非紧完备L-凸度量空间中的GLSKKM定理及其对抽象经济的应用(英文)
被引量:
8
2
作者
文开庭
机构
毕节学院数学系
出处
《四川师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2010年第2期166-170,共5页
基金
This work was supported by the Natural Science Research Foundation of Guizhou Provincial Education Department(2008072)~~
文摘
建立了非紧完备L-凸度量空间中的GLSKKM定理.作为应用,研究了极大元集的性质,获得了一个不动点定理.最后,研究了非紧完备L-凸度量空间中的定性对策和抽象经济的平衡点集的性质.
关键词
L-凸度量空间
极大元
不动点
抽象经济
平衡
Keywords
L-convex metric space
maximal element
set
fixed
point
abstract
economy
equilibrium
分类号
O177.91 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
点集拓扑教学中提高学生的抽象思维能力探讨
被引量:
2
3
作者
王其林
廖正琦
机构
重庆交通大学理学院
出处
《重庆文理学院学报(自然科学版)》
2009年第6期79-81,共3页
基金
重庆市教育科学"十一五"规划高校重点课题(2006-GL-142)
重庆交通大学青年科学基金课题(2008L-01)
文摘
根据点集拓扑的特点和学生的实际情况,在点集拓扑教学过程中,从4个方面对如何提高学生的抽象思维能力进行讨论.
关键词
点集拓扑
抽象思维
拓扑空间
度量空间
Keywords
set
of
point
s topology
abstract
thinking
topological space
metric space
分类号
G642.4 [文化科学—高等教育学]
在线阅读
下载PDF
职称材料
题名
点集拓扑教学方法的探索与实践
被引量:
2
4
作者
霍承刚
晋守博
马书飞
机构
宿州学院数学与统计学院
禹城前油坊中学
出处
《黄山学院学报》
2012年第5期94-96,共3页
文摘
点集拓扑课程因其理论性强,抽象难懂,致使学生失去学习兴趣。然而点集拓扑既是理工科相关专业的一门基础课,也是后续课程如拓扑学、泛函分析、概率论等课程的基础。它的许多理论与方法不仅给数学的许多分支提供一种重要的理论,而且为其它学科提供研究方法和语言。文章对缺乏点集拓扑学习兴趣进行了分析,采取了诸如加强直观图形教学,注重对比应用,完善成绩评估等教法改革,取得了一定成效。
关键词
点集拓扑
学习兴趣
抽象思维
Keywords
point
set
topology
learning interest
abstract
thinking
分类号
O189.1 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
点集拓扑教学方法的创新探索
被引量:
3
5
作者
霍承刚
机构
宿州学院数学与统计学院
出处
《黄山学院学报》
2013年第3期110-112,共3页
基金
安徽省教育厅自然科学研究项目(KJ2013Z321)
宿州学院科研项目(2012yyb05)
文摘
点集拓扑课程因其理论性强,抽象难懂,致使学生缺失学习兴趣,因此点集拓扑教法改革势在必行。文章对缺乏点集拓扑学习兴趣的原因进行了分析,采取了诸如加强直观图形教学,注重对比应用,完善成绩评估等教法改革,取得了一定成效。
关键词
点集拓扑
学习兴趣
抽象思维
Keywords
point
set
Topology
learning interest
abstract
thinking
分类号
O189.1 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
抽象凸空间中KKM点的稳定性
6
作者
范晓冬
孙蕾
机构
渤海大学数学系
出处
《纺织高校基础科学学报》
CAS
2008年第2期216-219,共4页
文摘
记M为所有抽象凸空间中KKM映射T组成的集合,F(T)为T的所有KKM点组成的集合.证明了存在一M的稠密剩余子集Q,使得T∈Q,T为稳定的,即T的KKM点的通有稳定性以及T∈M,至少存在一F(T)的本质连通区.
关键词
KKM点
抽象凸
稳定性
集值映射
Keywords
KKM
point
abstract
convexity
stability
set
-valued mapping
分类号
O177.91 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
抽象凸一致空间中的新型不动点定理(英文)
被引量:
1
7
作者
刘学文
机构
重庆师范大学数学与计算机科学学院
出处
《西南大学学报(自然科学版)》
CAS
CSCD
北大核心
2009年第2期25-28,共4页
基金
国家自然科学基金资助项目(10626025)
重庆市运筹学与系统工程重点实验室资助项目
文摘
在抽象凸一致空间中定义了一组新的较佳容许集值映射组BG,并在抽象凸一致空间的子集上引入了Klee邻接性质.利用此定义和性质,在抽象凸一致空间中证明了一组涉及较佳容许集值映射组的新的不动点定理.
关键词
不动点
抽象凸一致空间
较佳容许集值映射
Keywords
fixed
point
abstract
convex uniform space
better admissible
set
-valued mapping
分类号
O177.91 [理学—基础数学]
原文传递
题名
一个抽象算法的收敛性定理
8
作者
俞建
机构
贵州工学院基础科学部
出处
《贵州工学院学报》
1989年第3期66-68,共3页
文摘
本文提出了一个抽象算法,并证明了收敛性定理。
关键词
点到集映象
抽象算法
收敛性
Keywords
point
-to-
set
maps
abstract
algorithm
convergence
分类号
O189.1 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
抽象积分方程解的存在性
9
作者
胡适耕
机构
华中理工大学数学系
出处
《华中理工大学学报》
CSCD
北大核心
1993年第1X期189-193,共5页
文摘
考察Banach空间中形如x(t)=integral from N=G(f(t,s,x(s))ds)的非线性积分方程,在f满足一定集压缩性条件的假定下,利用Monch与Darbo的不动点定理证明了上述方程存在取值于给定闭凸集中的连续解.
关键词
抽象积分方程
集压缩映射
存在性
Keywords
abstract
integral equation
set
-contractive mapping
fixed
point
theorem
分类号
O175.5 [理学—基础数学]
全文增补中
题名
改进点集拓扑教学的策略研究
10
作者
吉蕾
机构
晋中学院数理学院
出处
《合肥师范学院学报》
2019年第6期139-141,共3页
文摘
针对点集拓扑的教学现状,结合自身教学实践,从提高学科趣味性、注重概念的形成过程、注重课程的实用价值、改革成绩评定方式四个方面进行教学改进,从而完善教学方法,提高教学质量。
关键词
点集拓扑
学习兴趣
抽象思维
实用价值
过程性考核
Keywords
point
set
topology
interest in learning
abstract
thinking
practical value
process assessment
分类号
O189.1 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
一种基于抽象解释的二进制代码测试方法
11
作者
周林
孙玉龙
甘水滔
秦晓军
机构
数学工程与先进计算国家重点实验室
出处
《信息工程大学学报》
2016年第1期77-82,共6页
基金
国家863计划资助项目(2012AA7111043)
文摘
针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静态程序分析方法,生成目标二进制程序的过程间控制流程图,然后基于过程间控制流程图,计算出潜在脆弱点集。利用节点距离、节点可达性和约束条件集概率静态信息作为符号执行的制导因素,对二进制程序进行动态测试,过滤虚假的脆弱点,并对真实脆弱点生成相应的触发测试用例。实验结果表明文章提出的方法能有效避免执行无效路径,提高二进制代码测试效率。
关键词
值集分析
静态分析
抽象解释
符号执行
脆弱点
控制流程图
Keywords
value
set
analysis
static analysis
abstract
interpretation
symbolic execution
vulnerability
point
control flow graph
分类号
TN918.1 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于特征融合的6D目标位姿估计算法
马天
蒙鑫
牟琦
李占利
何志强
《计算机工程与设计》
北大核心
2023
5
在线阅读
下载PDF
职称材料
2
非紧完备L-凸度量空间中的GLSKKM定理及其对抽象经济的应用(英文)
文开庭
《四川师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2010
8
在线阅读
下载PDF
职称材料
3
点集拓扑教学中提高学生的抽象思维能力探讨
王其林
廖正琦
《重庆文理学院学报(自然科学版)》
2009
2
在线阅读
下载PDF
职称材料
4
点集拓扑教学方法的探索与实践
霍承刚
晋守博
马书飞
《黄山学院学报》
2012
2
在线阅读
下载PDF
职称材料
5
点集拓扑教学方法的创新探索
霍承刚
《黄山学院学报》
2013
3
在线阅读
下载PDF
职称材料
6
抽象凸空间中KKM点的稳定性
范晓冬
孙蕾
《纺织高校基础科学学报》
CAS
2008
0
在线阅读
下载PDF
职称材料
7
抽象凸一致空间中的新型不动点定理(英文)
刘学文
《西南大学学报(自然科学版)》
CAS
CSCD
北大核心
2009
1
原文传递
8
一个抽象算法的收敛性定理
俞建
《贵州工学院学报》
1989
0
在线阅读
下载PDF
职称材料
9
抽象积分方程解的存在性
胡适耕
《华中理工大学学报》
CSCD
北大核心
1993
0
全文增补中
10
改进点集拓扑教学的策略研究
吉蕾
《合肥师范学院学报》
2019
0
在线阅读
下载PDF
职称材料
11
一种基于抽象解释的二进制代码测试方法
周林
孙玉龙
甘水滔
秦晓军
《信息工程大学学报》
2016
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部