期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于产教融合的Co-op实习体系建设与创新实践——以计算机科学与技术专业为例
1
作者
许京然
程葳
《北京城市学院学报》
2023年第S01期41-46,共6页
在我国双教融合背景下对人才培养提出了新的要求,校外实习实践课程作为毕业前培养体系中最后一个环节,也是提升学生实践能力最重要的教学环节,然而我国大学生实践能力培养的薄弱之处主要体现在此环节。故在借鉴加拿大Co-op实习体系基础...
在我国双教融合背景下对人才培养提出了新的要求,校外实习实践课程作为毕业前培养体系中最后一个环节,也是提升学生实践能力最重要的教学环节,然而我国大学生实践能力培养的薄弱之处主要体现在此环节。故在借鉴加拿大Co-op实习体系基础上,结合计算机科学与技术专业发展情况,建设符合我国产教融合背景以及人才培养需求的Co-op实习体系。高校充分发挥企业与学生之间桥梁作用,建立“学校-企业-学生”三位一体匹配机制,不断提升企业与学生之间双向选择契合度。高校积极引入政府与企业资源,并将其合理安排到教学体系中。让政府、企业、高校和学生四者有机结合,发挥各自的优势与作用,为高校学生提供大学四年全周期贯穿式培养体系,更好地提升学生实习实践质量。
展开更多
关键词
产教融合
Co-op实习体系
计算机科学与技术专业
下载PDF
职称材料
“互联网+”背景下计算机类专业课程思政顶层设计探索
被引量:
3
2
作者
刘雪梅
许京然
张明春
《教育信息化论坛》
2022年第9期123-125,共3页
在全面推进课程思政的背景下,高校要实现各类课程与思政理论课同向同行,形成协同效应。计算机类专业课程理论与实践结合程度较高,教学内容涉及经济社会发展的各类现实问题,授课过程特别强调教师与学生、教与学、课堂与实践等多方位互动...
在全面推进课程思政的背景下,高校要实现各类课程与思政理论课同向同行,形成协同效应。计算机类专业课程理论与实践结合程度较高,教学内容涉及经济社会发展的各类现实问题,授课过程特别强调教师与学生、教与学、课堂与实践等多方位互动,同时“互联网+”已成为智能化时代的象征。因此以计算机类专业为例,探讨在“互联网+”背景下开展专业课程思政教学的可行性与必要性,从顶层方案设计、课程思政实施路径、思政元素融入方法等方面进行计算机类专业课程思政探索实践。通过知识传授与价值引领、课程思政与专业认证的有机融合,实现立德树人的根本目标。
展开更多
关键词
协同效应
课程思政
顶层设计
计算机类
“互联网+”
下载PDF
职称材料
“电路与电子学基础”课程混合式教学与建设研究
被引量:
5
3
作者
周波
刘亚军
许京然
《教育教学论坛》
2021年第29期65-68,共4页
“电路与电子学基础”课程是信息大类专业平台课,是培养学生电类和信号思维的基础课程。课程一方面将知识体系进行重构,将混合式教学的理念引入该课程,着重培养学生自主学习的意识;另一方面更加注重理论与实践的结合,突出仿真+实操的实...
“电路与电子学基础”课程是信息大类专业平台课,是培养学生电类和信号思维的基础课程。课程一方面将知识体系进行重构,将混合式教学的理念引入该课程,着重培养学生自主学习的意识;另一方面更加注重理论与实践的结合,突出仿真+实操的实验形式,考核形式过程化。通过三轮的教学实践,学生的自主学习能力显著提高,工程实践能力也有一定的增强。
展开更多
关键词
电路与电子学基础
混合式教学
仿真+实操
下载PDF
职称材料
摄动开普勒问题形式化建模与验证
4
作者
王国辉
许京然
+2 位作者
刘永梅
施智平
关永
《小型微型计算机系统》
CSCD
北大核心
2020年第2期440-444,共5页
摄动开普勒问题广泛应用于卫星轨道摄动分析,然而卫星轨道摄动分析数学模型的错误将导致灾难性后果.传统的建模与分析方法涉及到矢量代数、旋量代数、复数、四元数等多种不同的代数系统,在各个代数系统相互转换过程中极易引入错误.几何...
摄动开普勒问题广泛应用于卫星轨道摄动分析,然而卫星轨道摄动分析数学模型的错误将导致灾难性后果.传统的建模与分析方法涉及到矢量代数、旋量代数、复数、四元数等多种不同的代数系统,在各个代数系统相互转换过程中极易引入错误.几何代数方法将多种代数系统统一到相同代数结构中,弥补了传统分析方法的不足.但是基于几何代数的摄动开普勒问题数学模型的正确性并没有通过严格的形式化验证.本文采用高阶逻辑来描述该问题的属性和规范,以公认的逻辑公理和推理规则为基础构建其形式化模型并进行验证,从而最大程度确保数学模型的正确性和分析方法的可靠性.
展开更多
关键词
形式化验证
定理证明
几何代数
摄动
卫星轨道
下载PDF
职称材料
题名
基于产教融合的Co-op实习体系建设与创新实践——以计算机科学与技术专业为例
1
作者
许京然
程葳
机构
北京城市学院信息学部
出处
《北京城市学院学报》
2023年第S01期41-46,共6页
文摘
在我国双教融合背景下对人才培养提出了新的要求,校外实习实践课程作为毕业前培养体系中最后一个环节,也是提升学生实践能力最重要的教学环节,然而我国大学生实践能力培养的薄弱之处主要体现在此环节。故在借鉴加拿大Co-op实习体系基础上,结合计算机科学与技术专业发展情况,建设符合我国产教融合背景以及人才培养需求的Co-op实习体系。高校充分发挥企业与学生之间桥梁作用,建立“学校-企业-学生”三位一体匹配机制,不断提升企业与学生之间双向选择契合度。高校积极引入政府与企业资源,并将其合理安排到教学体系中。让政府、企业、高校和学生四者有机结合,发挥各自的优势与作用,为高校学生提供大学四年全周期贯穿式培养体系,更好地提升学生实习实践质量。
关键词
产教融合
Co-op实习体系
计算机科学与技术专业
Keywords
integration of industry and education
Co-op internship system
computer science and technology
分类号
G64 [文化科学—高等教育学]
下载PDF
职称材料
题名
“互联网+”背景下计算机类专业课程思政顶层设计探索
被引量:
3
2
作者
刘雪梅
许京然
张明春
机构
北京城市学院信息学部
出处
《教育信息化论坛》
2022年第9期123-125,共3页
基金
北京城市学院教育教学研究专项课题(JYC20211014)研究成果。
文摘
在全面推进课程思政的背景下,高校要实现各类课程与思政理论课同向同行,形成协同效应。计算机类专业课程理论与实践结合程度较高,教学内容涉及经济社会发展的各类现实问题,授课过程特别强调教师与学生、教与学、课堂与实践等多方位互动,同时“互联网+”已成为智能化时代的象征。因此以计算机类专业为例,探讨在“互联网+”背景下开展专业课程思政教学的可行性与必要性,从顶层方案设计、课程思政实施路径、思政元素融入方法等方面进行计算机类专业课程思政探索实践。通过知识传授与价值引领、课程思政与专业认证的有机融合,实现立德树人的根本目标。
关键词
协同效应
课程思政
顶层设计
计算机类
“互联网+”
分类号
G63 [文化科学—教育学]
下载PDF
职称材料
题名
“电路与电子学基础”课程混合式教学与建设研究
被引量:
5
3
作者
周波
刘亚军
许京然
机构
北京城市学院信息学部
出处
《教育教学论坛》
2021年第29期65-68,共4页
基金
2019年度北京城市学院第三批混合式课程改革专项课题“‘电路与电子学基础’混合式课程建设”(JYB20190723)。
文摘
“电路与电子学基础”课程是信息大类专业平台课,是培养学生电类和信号思维的基础课程。课程一方面将知识体系进行重构,将混合式教学的理念引入该课程,着重培养学生自主学习的意识;另一方面更加注重理论与实践的结合,突出仿真+实操的实验形式,考核形式过程化。通过三轮的教学实践,学生的自主学习能力显著提高,工程实践能力也有一定的增强。
关键词
电路与电子学基础
混合式教学
仿真+实操
Keywords
Fundamentals of Circuit and Electronics
mixed teaching
simulation+practical operation
分类号
G642 [文化科学—高等教育学]
下载PDF
职称材料
题名
摄动开普勒问题形式化建模与验证
4
作者
王国辉
许京然
刘永梅
施智平
关永
机构
首都师范大学信息工程学院
首都师范大学北京成像理论与技术高精尖创新中心
北京城市学院信息学部
首都师范大学电子系统可靠性与数理交叉学科国家国际科技合作示范型基地
出处
《小型微型计算机系统》
CSCD
北大核心
2020年第2期440-444,共5页
基金
国家重点研发计划项目(2017YFB1302800)资助
国家自然科学基金项目(61876111,61572331,61602325,61877040)资助
科技创新服务能力建设-基本科研业务费(科研类)项目(025185305000)资助.
文摘
摄动开普勒问题广泛应用于卫星轨道摄动分析,然而卫星轨道摄动分析数学模型的错误将导致灾难性后果.传统的建模与分析方法涉及到矢量代数、旋量代数、复数、四元数等多种不同的代数系统,在各个代数系统相互转换过程中极易引入错误.几何代数方法将多种代数系统统一到相同代数结构中,弥补了传统分析方法的不足.但是基于几何代数的摄动开普勒问题数学模型的正确性并没有通过严格的形式化验证.本文采用高阶逻辑来描述该问题的属性和规范,以公认的逻辑公理和推理规则为基础构建其形式化模型并进行验证,从而最大程度确保数学模型的正确性和分析方法的可靠性.
关键词
形式化验证
定理证明
几何代数
摄动
卫星轨道
Keywords
formal verification
theorem proof
geometric algebra
perturbation
satellite orbit
分类号
TP305 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于产教融合的Co-op实习体系建设与创新实践——以计算机科学与技术专业为例
许京然
程葳
《北京城市学院学报》
2023
0
下载PDF
职称材料
2
“互联网+”背景下计算机类专业课程思政顶层设计探索
刘雪梅
许京然
张明春
《教育信息化论坛》
2022
3
下载PDF
职称材料
3
“电路与电子学基础”课程混合式教学与建设研究
周波
刘亚军
许京然
《教育教学论坛》
2021
5
下载PDF
职称材料
4
摄动开普勒问题形式化建模与验证
王国辉
许京然
刘永梅
施智平
关永
《小型微型计算机系统》
CSCD
北大核心
2020
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部