检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

1,268 篇 会议
54 篇 期刊文献
3 册 图书
1 篇 成果

馆藏范围

1,325 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

979 篇 工学
- 493 篇 计算机科学与技术...
- 365 篇 软件工程
- 277 篇 机械工程
- 121 篇 信息与通信工程
- 116 篇 控制科学与工程
- 99 篇 仪器科学与技术
- 40 篇 网络空间安全
- 37 篇 电子科学与技术（可...
- 27 篇 公安技术
- 24 篇 力学（可授工学、理...
- 20 篇 建筑学
- 20 篇 交通运输工程
- 19 篇 土木工程
- 16 篇 测绘科学与技术
- 12 篇 材料科学与工程（可...
- 11 篇 水利工程
- 11 篇 地质资源与地质工...
273 篇 理学
- 162 篇 系统科学
- 73 篇 数学
- 15 篇 物理学
- 14 篇 地理学
149 篇 管理学
- 144 篇 管理科学与工程(可...
79 篇 文学
- 56 篇 外国语言文学
- 23 篇 中国语言文学
51 篇 教育学
- 47 篇 教育学
35 篇 军事学
- 20 篇 军队指挥学
31 篇 艺术学
- 27 篇 设计学（可授艺术学...
24 篇 医学
- 19 篇 临床医学
18 篇 法学
- 13 篇 社会学
17 篇 经济学
- 17 篇 应用经济学
6 篇 农学
1 篇 哲学
1 篇 历史学

主题

28 篇 虚拟现实
23 篇 学术会议
20 篇 容错技术
20 篇 系统设计
20 篇 计算机语言
20 篇 数学模型
19 篇 声学模型
19 篇 多媒体技术
16 篇 计算机应用
15 篇 计算机
15 篇 计算机图形学
15 篇 计算机仿真
14 篇 故障诊断
13 篇 电子政务
12 篇 会议
12 篇 神经网络
11 篇 数据处理
11 篇 机器翻译
11 篇 普适计算
10 篇 可靠性

机构

69 篇 清华大学
33 篇 理工大学
23 篇 北京理工大学
20 篇 上海交通大学
20 篇 哈尔滨工业大学
19 篇 国防科技大学
17 篇 东南大学
17 篇 山东大学
17 篇 北京大学
16 篇 山东科技大学
15 篇 吉林大学
14 篇 西北工业大学
14 篇 北京邮电大学
14 篇 浙江大学
13 篇 西安交通大学
13 篇 合肥工业大学
12 篇 交通大学
12 篇 福州大学
12 篇 北京航空航天大学
11 篇 大连理工大学

作者

15 篇 吴文虎
14 篇 王作英
11 篇 徐明星
10 篇 徐波
10 篇 郑方
9 篇 史元春
8 篇 李明
8 篇 薛青
8 篇 刘明业
8 篇 侯震
8 篇 肖自美
8 篇 温源
8 篇 张磊
8 篇 方棣棠
7 篇 蔡莲红
7 篇 吴玲达
7 篇 郑永果
7 篇 王之禹
6 篇 谈正
5 篇 刘杰

语言

1,251 篇 中文
75 篇 英文

检索条件"任意字段=第六届全国计算机数学学术会议"

共 1326 条记录，以下是21-30 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

高铁智能运维虚拟仿真实验设计与应用

高铁智能运维虚拟仿真实验设计与应用

引用

第六届中国计算机实践教育学术会议暨第十五届全国高等学校计算机实践教学论坛

作者：彭文娟李清勇周围余贶琭许华婷北京交通大学计算机与信息技术学院

针对当前物联网专业实践过程中所存在的拓展性差、时空限制、缺乏创新性实验和缺乏大型综合实训项目的教学问题,本文研究设计了基于计算机视觉的高铁智能运维实验——高铁轨道巡检视觉感知虚拟仿真实验,实验展示了高铁轨道巡检的目标对... 详细信息

针对当前物联网专业实践过程中所存在的拓展性差、时空限制、缺乏创新性实验和缺乏大型综合实训项目的教学问题,本文研究设计了基于计算机视觉的高铁智能运维实验——高铁轨道巡检视觉感知虚拟仿真实验,实验展示了高铁轨道巡检的目标对象、检测装备及关键传感器的工作原理、物联网视觉感知系统的整体构建和运行操作,在虚拟仿真环境中实现高铁轨道状态检测的教学。结果表明,该实验取得了较好的应用效果,锻炼了学生的创新思维能力和工程实践能力。

关键词：新工科物联网实验教学智能运维轨道巡检计算机视觉虚拟仿真

来源：评论

学校读者我要写书评

暂无评论

混合教学模式下的网络空间安全课程教学改革

混合教学模式下的网络空间安全课程教学改革

引用

第六届中国计算机实践教育学术会议暨第十五届全国高等学校计算机实践教学论坛

作者：李鹏伟黄佳佳吕从东南京审计大学计算机学院

新冠疫情期间,线上线下混合教学模式得到大范围推广。针对网络空间安全课程在混合教学模式下所面临的教学目标不明确、缺少实验环境、难以考核评价等问题,提出了目标导向的教学设计、基于公开软件的实验设计以及基于任务的考核机制,以... 详细信息

新冠疫情期间,线上线下混合教学模式得到大范围推广。针对网络空间安全课程在混合教学模式下所面临的教学目标不明确、缺少实验环境、难以考核评价等问题,提出了目标导向的教学设计、基于公开软件的实验设计以及基于任务的考核机制,以期提高学生的学习积极性和实践能力,为培养网络空间安全人才以及提高大学生网络空间安全能力提供支持。

关键词：网络空间安全线上线下混合教学教学改革目标导向教学教学实验

来源：评论

学校读者我要写书评

暂无评论

双一流背景下的操作系统实践课程改革研究与探索

双一流背景下的操作系统实践课程改革研究与探索

引用

第六届中国计算机实践教育学术会议暨第十五届全国高等学校计算机实践教学论坛

作者：王金凤孙微微张丽霞张猜华南农业大学数学与信息学院

在双一流建设背景下,计算机类专业课程传统的实践教学模式已不能适应专业工程认证要求。为了顺应一流高校建设需求,在软件工程专业获得国家一流本科专业认定后,本研究以操作系统实践课程为例,以产出导向为引导,成立学习小组,将课堂理论... 详细信息

在双一流建设背景下,计算机类专业课程传统的实践教学模式已不能适应专业工程认证要求。为了顺应一流高校建设需求,在软件工程专业获得国家一流本科专业认定后,本研究以操作系统实践课程为例,以产出导向为引导,成立学习小组,将课堂理论知识融入到实践训练项目中;并引入华为公司的鲲鹏服务器,依托国产欧拉操作系统,采用云容器技术,助学生从云端完成课程实践活动,既锻炼了实操动手能力,又深入理解了理论知识,还对国产操作系统开展了解。

关键词：双一流实践教学操作系统

来源：评论

学校读者我要写书评

暂无评论

《集合与图论》的联合实验课程——以欧拉图构造性证明的算法实现为例

《集合与图论》的联合实验课程——以欧拉图构造性证明的算法实现...

引用

第六届中国计算机实践教育学术会议暨第十五届全国高等学校计算机实践教学论坛

作者：吴永辉上海智能信息处理重点实验室复旦大学计算机科学技术学院

《集合与图论》是计算机科学与技术的理论基础课。《集合与图论》与程序设计类课程的联合实验课程,基于程序设计竞赛试题,以提高学生综合应用知识编程解决问题的能力为目标。本文详述《集合与图论》和《数据结构》的联合实验课程"... 详细信息

《集合与图论》是计算机科学与技术的理论基础课。《集合与图论》与程序设计类课程的联合实验课程,基于程序设计竞赛试题,以提高学生综合应用知识编程解决问题的能力为目标。本文详述《集合与图论》和《数据结构》的联合实验课程"欧拉图构造性证明的算法实现"。实验由求解欧拉链的程序设计竞赛试题及其解析构成;学生完成基于DFS的欧拉图定理的构造性证明;体会证明过程就是发现欧拉链的算法;在编程解决问题的过程中综合运用DFS、图的建模、并查集判断图的连通性等。

关键词：程序设计集合与图论欧拉图 DFS 构造性证明并查集图的建模

来源：评论

学校读者我要写书评

暂无评论

专业学位硕士研究生理实一体培养模式探索

专业学位硕士研究生理实一体培养模式探索

引用

第六届中国计算机实践教育学术会议暨第十五届全国高等学校计算机实践教学论坛

作者：李生林樊友洪张恒李方西南大学人工智能学院重庆交通职业学院大数据学院

本文分析了专业学位硕士研究生教育的现状与存在的问题,论证了专业学位硕士研究生理实一体培养模式的必要性,设计了基于人才培养方案编制、办学条件需要、产教融合配套、三环一体实践教学体系的理实一体培养模式,提出了学位论文要求、... 详细信息

本文分析了专业学位硕士研究生教育的现状与存在的问题,论证了专业学位硕士研究生理实一体培养模式的必要性,设计了基于人才培养方案编制、办学条件需要、产教融合配套、三环一体实践教学体系的理实一体培养模式,提出了学位论文要求、双师型导师配备、职业资格衔接牵引等理实一体培养模式实施的必要措施。本论文对培养特定职业领域需要,能够创造性地从事实际工作的高层次应用型专门人才有一定的指导意义。

关键词：专业学位理实一体培养模式硕士研究生

来源：评论

学校读者我要写书评

暂无评论

面向产出的计算机网络线上线下混合式教学研究及实践

面向产出的计算机网络线上线下混合式教学研究及实践

引用

第六届中国计算机实践教育学术会议暨第十五届全国高等学校计算机实践教学论坛

作者：尚凤军重庆邮电大学计算机科学与技术学院

随着网络信息技术的发展,传统的课程教学方式正面临着新的变革,线上线下教学模式是高校课程教学发展的趋势。本文介绍了计算机网络课程内容设计、在线课程建设、面向系统能力培养的实验体系、课程评价方式等方面的工作。课程内容设计方... 详细信息

随着网络信息技术的发展,传统的课程教学方式正面临着新的变革,线上线下教学模式是高校课程教学发展的趋势。本文介绍了计算机网络课程内容设计、在线课程建设、面向系统能力培养的实验体系、课程评价方式等方面的工作。课程内容设计方面引入线上线下教学模式,能支持多种课程教学评价模式,满足课程教学中对教学信息多元化和形成性课程考核的需求。在线课程方面建设了重庆市一流本科课程,拓展了计算机网络的新技术内容。课程评价方式方面使用了在线测试、课程报告、考试等多种评价方式,推进了课程改革。计算机网络课程是计算机学科的专业(基础)课,注重理论性与实践性的结合,线上线下课程能有效衔接课内课外教学,加强课程教学的连续性,提升学生学习效果,提高课程教学质量。

关键词：线上线下 MOOC 课程目标教学研究

来源：评论

学校读者我要写书评

暂无评论

面向教师赋能的师资培训方法研究与实践——以计算机专业教师为例

面向教师赋能的师资培训方法研究与实践——以计算机专业教师为例

引用

第六届中国计算机实践教育学术会议暨第十五届全国高等学校计算机实践教学论坛

作者：奎晓燕夏卓群邹北骥郭克华杨霞中南大学计算机学院长沙理工大学计算机与通信工程学院中南大学计算机学院发展规划与学科建设处

新时代对高校计算机专业老师的水平带来了全新的冲击和要求,关于教师培养途径与方法的探索,以往从推动学生成长、教育进步的视角入手来探讨教师专业发展问题,忽视了教师专业发展符合教师自身需求的本体意义。我们着眼于赋能,根据师资&qu... 详细信息

新时代对高校计算机专业老师的水平带来了全新的冲击和要求,关于教师培养途径与方法的探索,以往从推动学生成长、教育进步的视角入手来探讨教师专业发展问题,忽视了教师专业发展符合教师自身需求的本体意义。我们着眼于赋能,根据师资"质量"提高这一宗旨,把教师培养环节划分为理论知识、专业技能和学科情意三个模块,培训方式分为案例研讨、课堂反思、课堂研究、讲座交流四大类;根据教师培训需求、明确培训目标、确定受训人员、确定培训内容、安排受训者的个人任务这五个步骤展开培训工作。通过三项内容、四种方法、五种步骤的全方位、多元化教育发展计划和支持体系,最大限度地"赋能"教师,助力教师实现职业发展与个人成长的最优化。

关键词：教师赋能师资培训高等教育

来源：评论

学校读者我要写书评

暂无评论

虚拟仿真实验共享平台及资源建设探索与实践

虚拟仿真实验共享平台及资源建设探索与实践

引用

第六届中国计算机实践教育学术会议暨第十五届全国高等学校计算机实践教学论坛

作者：王文润党建武岳彪王阳萍兰州交通大学轨道交通信息与控制国家级虚拟仿真实验教学中心兰州交通大学电子与信息工程学院

建设高度共享的虚拟仿真实验资源管理平台是国家级虚拟仿真实验教学中心建设的核心任务,持续开展虚拟仿真实验资源建设是中心的重点任务。本文从校级虚拟仿真实验共享平台建设的必要性,以及学校虚拟仿真实验资源持续建设存在的问题入手... 详细信息

建设高度共享的虚拟仿真实验资源管理平台是国家级虚拟仿真实验教学中心建设的核心任务,持续开展虚拟仿真实验资源建设是中心的重点任务。本文从校级虚拟仿真实验共享平台建设的必要性,以及学校虚拟仿真实验资源持续建设存在的问题入手,对共享平台的建设思路、建设内容等方面进行了探索与实践,并提出了虚拟仿真实验资源可持续建设模式,有效解决了高校教师自主开发虚拟仿真资源难度大、技术不统一等问题,实现了校内资源的高效管理和开放共享。

关键词：虚拟仿真共享平台实验教学资源

来源：评论

学校读者我要写书评

暂无评论

面向新工科的计算机类专业软硬件协同创新实践教学模式探索

面向新工科的计算机类专业软硬件协同创新实践教学模式探索

引用

第六届中国计算机实践教育学术会议暨第十五届全国高等学校计算机实践教学论坛

作者：王彤陈景柱邓庆绪鲍玉斌于亚新东北大学计算机科学与工程学院国家级计算机实验教学示范中心东北大学计算机科学与工程学院东北大学计算机科学与工程学院国家级计算机实验教学示范中心

新工科背景下针对强化计算机类专业学生的软硬件协同创新实践能力和解决复杂工程问题能力培养,构建了立足于扎实基础、案例强化实践、软硬件协同的创新能力培养的实践教学课程模式以及多学科交叉融合的课程体系。文章基于基础知识教学... 详细信息

新工科背景下针对强化计算机类专业学生的软硬件协同创新实践能力和解决复杂工程问题能力培养,构建了立足于扎实基础、案例强化实践、软硬件协同的创新能力培养的实践教学课程模式以及多学科交叉融合的课程体系。文章基于基础知识教学、案例实践训练、自主创新扩展实践的层次循序渐进的展开,以"以多学科理论知识为基础、以案例为中枢、以项目为驱动"为主线,通过实践教学模式的改革与探索,阐述了包括教学体系总体介绍、教学目标与理念、教学内容与方案、教学方式与方法、考核与评价等的软硬件协同创新实践教学模式构建的基础上,根据当前趋势、学生兴趣点和方案可行性分析等方面因素,将基于树莓派(4B版本及其他版本)的智能系统案例作为中枢,围绕案例开展实践教学的教学形式,将案例扩展作为实践成果多样化培养实现的具体方式,配合适当的考核评价与激励机制,构建了新工科背景下计算机类专业软硬件协同培养的实践教学培养模式及相应的实施策略。通过对实验成果成效评估,结果表明,该基于案例引导的创新实践教学模式较好地达成了教学目标,同时对于双一流大学建设具有重要意义。

关键词：新工科创新实践软硬件系协同树莓派双一流

来源：评论

学校读者我要写书评

暂无评论

面向若干公开问题的Domain理论研究

面向若干公开问题的Domain理论研究

引用

作者：李庆国贾晓东郭兰坤黄梦桥周湘南

1900年，德国著名数学家Hilbert在巴黎世界数学家大会上提出23个数学问题，其中，Hilbert第10问题：是否可以设计算法来判定整系数多项式整数根的存在性，对现代计算机的问世起到了决定性的作用。1928年，Hilbert和Ackermann将其拓展到... 详细信息

1900年，德国著名数学家Hilbert在巴黎世界数学家大会上提出23个数学问题，其中，Hilbert第10问题：是否可以设计算法来判定整系数多项式整数根的存在性，对现代计算机的问世起到了决定性的作用。1928年，Hilbert和Ackermann将其拓展到更一般的可判定性问题。1936年，Church和Turing分别提出了λ-演算和图灵机的概念，同时否定地回答了可判定性问题。λ-演算是函数式程序语言的逻辑基础。为了在数学上解释λ-演算和更一般的函数式程序语言，即给出它们的指称语义，图灵奖获得者Dana Scott于上世纪70年代初提出了domain理论。利用domain理论来验证程序语言的正确性和可靠性是理论计算机科学中的重要研究领域。同时，domain理论作为序理论、拓扑理论、逻辑学的交叉学科，在现代数学的研究中也起着举足轻重的作用。该项目针对domain理论中的若干公开问题展开研究并取得了重要进展，主要体现在以下几个方面： (1)笛卡尔闭满子范畴的研究：完全解决了英国伯明翰学教授、著名domain理论学家Achim Jung在“第六届domain理论及应用国际学术会议”上提出的公开问题，得到了拟连续domain范畴的笛卡尔闭满子范畴的分类定理;原创性地给出了统一构造连续偏序集范畴中笛卡&闭满子范畴的方法。 (2)Domain结构的逻辑语构表示：利用L-信息系统给出了L-domain的逻辑语构表示，解决了陈仪香和Achim Jung于2006年提出的公开问题-L-domain的逻辑表示问题;通过约减公理体系，给出了更简洁的domain逻辑语构表示，成功地将所有Scott型信息系统纳入到统一框架下;利用查询系统得到了代数格的表示，首次建立了domain理论和信息检索理论之间的关联。 (3)Domain结构的拓扑性质研究：在拟连续L-domain框架下，回答了著名domain理论学家Michael Mislove和Jimmie Lawson在1990年提出的公开问题-函数空间Scott拓扑与Isbell拓扑的一致性;刻画了弱良滤dcpo上Scott拓扑的凝聚性，提供了一种更简洁的判定dcpo凝聚性的方法;成功解决了偏序集上网的Birkhoff型序收敛可拓扑化的公开问题。该项目成果是domain理论相关研究方向的最新进展和最好结果。这些结果不仅为domain理论的发展提供了新的研究思路和方向，也为计算机程序语言的指称语义的发展提供了重要的理论基础。法国计算机科学最高奖获得者Jean Goubault-Larrecq教授高度评价了关于拟连续domain范畴中笛卡尔闭满子范畴的分类工作。同时，研究成果还得到了德国锡根大学Dieter Spreen教授、法国图卢兹第三大学Yassine Djouadi教授等该领域国内外著名学者的高度评价。代表性论文均发表在该领域顶级SCI期刊上：《Information and Computation》(中国计算机学会A类期刊)、《Theoretical Computer Science》(中国计算机学会B类期刊〉、《Information Sciences》(中国计算机学会B类期刊)、《Topology and Its Applications》、《Houston Jouma1of Mathematics》。该项目组成员主持并完成了中英国际合作项目、国家自科基金面上项目等一批国家级科研项目。

关键词：现代数学逻辑语构表示逻辑学

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共133页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：