期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于最大半环的DP问题函数式建模与验证
1
作者
王唱唱
游珍
+1 位作者
孙欢
王昌晶
《江西师范大学学报(自然科学版)》
CAS
北大核心
2024年第3期294-300,310,共8页
针对在DP问题算法的设计和推导中缺乏对DP问题函数式建模算法与验证的细致研究,该文首先通过深入分析最大半环与DP类问题递推关系式的对应关系,找到满足最大半环性质的一类DP问题,使用最大半环对该类DP问题进行函数式建模;然后将实现的...
针对在DP问题算法的设计和推导中缺乏对DP问题函数式建模算法与验证的细致研究,该文首先通过深入分析最大半环与DP类问题递推关系式的对应关系,找到满足最大半环性质的一类DP问题,使用最大半环对该类DP问题进行函数式建模;然后将实现的基于最大半环的函数式建模算法与Wimmer定义的递归函数结果进行等价性验证,从而保证了函数式建模算法的正确性;最后通过对lcs问题案例分析,验证了该方法的可行性和有效性.
展开更多
关键词
DP问题
最大半环
函数式建模
验证
下载PDF
职称材料
基于庐山三维场景的图算法虚拟仿真系统研究
被引量:
4
2
作者
刘嘉昕
游珍
+2 位作者
黄捷文
陈家祥
胡洪文
《计算机与现代化》
2020年第12期90-98,共9页
为应对传统计算机算法教学中理论知识存在逻辑性强、抽象程度高、教学与实验脱节、缺乏交互性等现实问题,本文借助虚拟现实技术,基于江西知名旅游胜地庐山的三维场景,使用Unity3D引擎设计图算法虚拟仿真系统。该系统实现5种图算法的仿...
为应对传统计算机算法教学中理论知识存在逻辑性强、抽象程度高、教学与实验脱节、缺乏交互性等现实问题,本文借助虚拟现实技术,基于江西知名旅游胜地庐山的三维场景,使用Unity3D引擎设计图算法虚拟仿真系统。该系统实现5种图算法的仿真实验过程,每种图算法均提供“自动展示”和“用户交互”这2种运行模式,还提供用户进入景点(对应图的结点)分场景的自由控制视角浏览庐山景观的功能;同时,探讨本虚拟仿真系统存在的理论问题,并给出解决这些问题的关键技术和实施方案;最后,通过Prim最小生成树算法验证本虚拟仿真系统的实用性和灵活性。与传统的算法讲授、个性化问题驱动教学方式相比,本文设计的图算法虚拟仿真系统具有趣味性、交互性、沉浸性,既能激发学生学习的探索性和主动性,又为算法与数据结构课程提供了一种新的教学和实验方法。
展开更多
关键词
计算机算法
算法教学
数据结构
无向图
虚拟现实
虚拟仿真
下载PDF
职称材料
题名
基于最大半环的DP问题函数式建模与验证
1
作者
王唱唱
游珍
孙欢
王昌晶
机构
江西师范大学
数字产业学院
江西师范大学
计算机信息工程学院
江西师范大学网络化支撑软件国家科技合作基地
出处
《江西师范大学学报(自然科学版)》
CAS
北大核心
2024年第3期294-300,310,共8页
基金
江西省主要学科学术与技术带头人培养项目(20232BCJ22013)
江西省自然科学基金面上项目(20212BAB202018)
+1 种基金
江西省教育厅科技重点项目(GJJ2200302)
江西省研究生创新基金(YJS2022064)资助项目。
文摘
针对在DP问题算法的设计和推导中缺乏对DP问题函数式建模算法与验证的细致研究,该文首先通过深入分析最大半环与DP类问题递推关系式的对应关系,找到满足最大半环性质的一类DP问题,使用最大半环对该类DP问题进行函数式建模;然后将实现的基于最大半环的函数式建模算法与Wimmer定义的递归函数结果进行等价性验证,从而保证了函数式建模算法的正确性;最后通过对lcs问题案例分析,验证了该方法的可行性和有效性.
关键词
DP问题
最大半环
函数式建模
验证
Keywords
DP problems
max_semiring
functional modeling
formal verification
分类号
O211.67 [理学—概率论与数理统计]
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于庐山三维场景的图算法虚拟仿真系统研究
被引量:
4
2
作者
刘嘉昕
游珍
黄捷文
陈家祥
胡洪文
机构
江西师范大学
网络化
支撑
软件
国家
国际
科技
合作
基地
江西师范大学
软件
学院
江西师范大学
计算机信息工程学院
出处
《计算机与现代化》
2020年第12期90-98,共9页
基金
国家自然科学基金资助项目(61462041,61862033,61662036)。
文摘
为应对传统计算机算法教学中理论知识存在逻辑性强、抽象程度高、教学与实验脱节、缺乏交互性等现实问题,本文借助虚拟现实技术,基于江西知名旅游胜地庐山的三维场景,使用Unity3D引擎设计图算法虚拟仿真系统。该系统实现5种图算法的仿真实验过程,每种图算法均提供“自动展示”和“用户交互”这2种运行模式,还提供用户进入景点(对应图的结点)分场景的自由控制视角浏览庐山景观的功能;同时,探讨本虚拟仿真系统存在的理论问题,并给出解决这些问题的关键技术和实施方案;最后,通过Prim最小生成树算法验证本虚拟仿真系统的实用性和灵活性。与传统的算法讲授、个性化问题驱动教学方式相比,本文设计的图算法虚拟仿真系统具有趣味性、交互性、沉浸性,既能激发学生学习的探索性和主动性,又为算法与数据结构课程提供了一种新的教学和实验方法。
关键词
计算机算法
算法教学
数据结构
无向图
虚拟现实
虚拟仿真
Keywords
computer algorithm
algorithm teaching
data structure
undirected graph
virtual reality
virtual simulation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于最大半环的DP问题函数式建模与验证
王唱唱
游珍
孙欢
王昌晶
《江西师范大学学报(自然科学版)》
CAS
北大核心
2024
0
下载PDF
职称材料
2
基于庐山三维场景的图算法虚拟仿真系统研究
刘嘉昕
游珍
黄捷文
陈家祥
胡洪文
《计算机与现代化》
2020
4
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部