期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于多语言范例的“形式语义学”教学辅助系统
1
作者
金英
郑晓娟
+1 位作者
张晶
孙旭东
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2009年第3期530-536,共7页
针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系...
针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系统使学生可以通过形象生动的动态演示和同步解释,充分理解和掌握程序设计语言的形式语义及其实现.
展开更多
关键词
形式语义学
可视
化
教学
辅助
系统
增量式设计
实践驱动
教学
在线阅读
下载PDF
职称材料
机械CAD/CAM课程基础理论虚拟仿真实验教学系统
被引量：
16
2
作者
朱斌
吴亚东
靳淇超
《实验室研究与探索》
CAS
北大核心
2022年第6期224-228,共5页
开展虚拟仿真实验教学是实现教育信息化的重要内容。针对机械CAD/CAM基础理论教学中存在的知识点抽象、教学模式单一、缺乏实践、学生不易理解等问题,提出将虚拟仿真技术应用于机械CAD/CAM基础理论的教学方法。利用C#编程语言,在.Net平...
开展虚拟仿真实验教学是实现教育信息化的重要内容。针对机械CAD/CAM基础理论教学中存在的知识点抽象、教学模式单一、缺乏实践、学生不易理解等问题,提出将虚拟仿真技术应用于机械CAD/CAM基础理论的教学方法。利用C#编程语言,在.Net平台上设计并开发了CAD/CAM虚拟仿真实验教学系统。该系统支持辅助教学、自主实验和拓展练习3种教学模式。借助该系统,教师可开展可视化辅助教学;学生也可以进行探究式实验和拓展练习,自主测试对基础知识的掌握程度和解决问题的能力。实践表明,该系统有助于学生理解隐藏在CAD/CAM系统背后的基础理论知识,激发学生学习兴趣,提升教学质量。
展开更多
关键词
CAD/CAM课程
实验
教学
虚拟仿真
可视化辅助教学
探究式学习
在线阅读
下载PDF
职称材料
题名
基于多语言范例的“形式语义学”教学辅助系统
1
作者
金英
郑晓娟
张晶
孙旭东
机构
吉林大学计算机科学与技术学院
东北师范大学软件学院
出处
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2009年第3期530-536,共7页
基金
国家自然科学基金青年基金(批准号:60603031)
文摘
针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系统使学生可以通过形象生动的动态演示和同步解释,充分理解和掌握程序设计语言的形式语义及其实现.
关键词
形式语义学
可视
化
教学
辅助
系统
增量式设计
实践驱动
教学
Keywords
formal semantics
visual instruction assistant system
incremental design
practice driven instruction
分类号
TP319 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
机械CAD/CAM课程基础理论虚拟仿真实验教学系统
被引量：
16
2
作者
朱斌
吴亚东
靳淇超
机构
长安大学公路养护装备国家工程实验室
出处
《实验室研究与探索》
CAS
北大核心
2022年第6期224-228,共5页
基金
陕西省高等教育教学改革重点攻关项目(19BG010)
长安大学2020年一流课程建设项目(300103202572)
长安大学实验教学改革研究项目(20211807)。
文摘
开展虚拟仿真实验教学是实现教育信息化的重要内容。针对机械CAD/CAM基础理论教学中存在的知识点抽象、教学模式单一、缺乏实践、学生不易理解等问题,提出将虚拟仿真技术应用于机械CAD/CAM基础理论的教学方法。利用C#编程语言,在.Net平台上设计并开发了CAD/CAM虚拟仿真实验教学系统。该系统支持辅助教学、自主实验和拓展练习3种教学模式。借助该系统,教师可开展可视化辅助教学;学生也可以进行探究式实验和拓展练习,自主测试对基础知识的掌握程度和解决问题的能力。实践表明,该系统有助于学生理解隐藏在CAD/CAM系统背后的基础理论知识,激发学生学习兴趣,提升教学质量。
关键词
CAD/CAM课程
实验
教学
虚拟仿真
可视化辅助教学
探究式学习
Keywords
CAD/CAM course
experiment teaching
virtual simulation
visual assisted instruction
inguiry learning
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于多语言范例的“形式语义学”教学辅助系统
金英
郑晓娟
张晶
孙旭东
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2009
0
在线阅读
下载PDF
职称材料
2
机械CAD/CAM课程基础理论虚拟仿真实验教学系统
朱斌
吴亚东
靳淇超
《实验室研究与探索》
CAS
北大核心
2022
16
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
