计算思维能力培养:大学计算机基础教育的新目标 被引量：2

1

作者 李玉 张斯雯 刘征 《工业和信息化教育》 2014年第8期40-44,55,共6页

随着社会信息化纵深发展,计算机技术与其他专业日益交融,各行各业对大学生的计算机应用能力需求日益强烈,作为计算机学科的核心课程—"大学计算机基础",如何对其准确定位,如何改革其教学内容以适应新的行业需求,如何创新其教... 随着社会信息化纵深发展,计算机技术与其他专业日益交融,各行各业对大学生的计算机应用能力需求日益强烈,作为计算机学科的核心课程—"大学计算机基础",如何对其准确定位,如何改革其教学内容以适应新的行业需求,如何创新其教学模式以提高计算机基础课程的教学质量,结合对上述问题的思考,本文以计算思维为导向,探讨了"大学计算机基础"课程的课程体系、教学内容、教学模式等问题,并提出了相应的改革建议。 展开更多

关键词 计算思维 教学模式 课程改革 课程体系

在线阅读 下载PDF 职称材料

云计算模型下的PLE构建初探 被引量：31

2

作者 尚建新 解月光 王伟 《现代教育技术》 CSSCI 2009年第4期46-49,26,共5页

从个人学习环境的概念入手,介绍了个人学习环境的特征。伴随着互联网技术的兴起,云计算受到人们的广泛关注,在介绍云计算概念的基础上,阐述了云计算的特征,接着剖析了云计算与个人学习环境结合的可能性与必要性。最后一部分详尽论述了... 从个人学习环境的概念入手,介绍了个人学习环境的特征。伴随着互联网技术的兴起,云计算受到人们的广泛关注,在介绍云计算概念的基础上,阐述了云计算的特征,接着剖析了云计算与个人学习环境结合的可能性与必要性。最后一部分详尽论述了云计算模型下PLE的构成要素及个人学习环境的特点,结合云计算与PLE的特点,提出了云计算模型下的PLE的概念框架。 展开更多

关键词 云计算 个人学习环境 PLE

在线阅读 下载PDF 职称材料

高阶思维培养取向的信息技术有效应用评价指标体系研究——以初中数学课堂教学为例 被引量：17

3

作者 魏俊杰 魏国宁 解月光 《现代教育技术》 CSSCI 2012年第1期29-33,共5页

文章在认识到高阶思维能力培养和高阶学习的关系前提下,通过对信息技术有效支持高阶学习的应用特点和数学学习活动中高阶思维能力的外显特征的研究,尝试以数学学科为例,建立了高阶思维能力培养取向的信息技术有效应用的评价指标体系。

关键词 高阶思维能力 高阶学习 信息技术有效应用 评价

在线阅读 下载PDF 职称材料

自适应学习系统中学习者特征模型及建模方法述评 被引量：25

4

作者 张舸 周东岱 葛情情 《现代教育技术》 CSSCI 2012年第5期77-82,共6页

文章主要通过文献分析法,总结归纳自适应学习系统中学习者特征模型的建模方法,研究国内外自适应学习系统及其中关键的模型——学习者特征模型,比较分析国内外学习者特征模型建模的异同,以期为自适应学习系统的研究和开发提供帮助。

关键词 自适应学习系统 学习者特征模型 建模方法

在线阅读 下载PDF 职称材料

移动学习系统理论模型研究 被引量：16

5

作者 王伟 唐烨伟 钟绍春 《现代教育技术》 CSSCI 2011年第11期17-22,共6页

首先对活动学习理论、情境学习理论、分布式认知理论、会话学习理论等移动学习主要理论依据进行了分析及对比,进而基于Sharpies的"分析移动学习的活动理论模型"、Salomon的"个体认知与分布式认知的交互模型"和Lauri... 首先对活动学习理论、情境学习理论、分布式认知理论、会话学习理论等移动学习主要理论依据进行了分析及对比,进而基于Sharpies的"分析移动学习的活动理论模型"、Salomon的"个体认知与分布式认知的交互模型"和Laurillard的"‘技术支持学习的会话模型框架"提出了用于移动学习系统分析的会话——活动——分布式CAD理论模型,对结构、边及顶点的意义以及作用进行了阐释,并结合移动学习典型案例分析了CAD模型的具体应用。 展开更多

关键词 移动学习 系统分析 理论模型

在线阅读 下载PDF 职称材料

信息技术应用有效性的评价指标体系研究——以初中物理课堂教学为例 被引量：49

6

作者 孙宏志 解月光 《现代教育技术》 CSSCI 2013年第2期31-36,共6页

文章论述了信息技术教学应用有效性评价指标体系构建的过程与方法。以促进学生高阶思维能力发展为信息技术应用的价值取向,文章将高阶学习作为信息技术有效应用的主要标准参照,依据活动理论和高阶思维、高阶学习相关理论,构建出学习活... 文章论述了信息技术教学应用有效性评价指标体系构建的过程与方法。以促进学生高阶思维能力发展为信息技术应用的价值取向,文章将高阶学习作为信息技术有效应用的主要标准参照,依据活动理论和高阶思维、高阶学习相关理论,构建出学习活动设计和学习活动实施两个维度下包含学习目标、活动任务、资源工具、操作交互、活动规则、学习成果等六个一级指标和十三个二级指标的评价指标体系理论模型,并在此基础上以初中物理课堂教学为例,采用分析教学案例的方法,获取评价量规设计的实践依据,为指标项的具体描述提供参考,从而进一步设计出信息技术在初中物理课堂教学中有效应用的评价量规。 展开更多

关键词 信息技术应用 有效性 评价指标体系 评价量规

在线阅读 下载PDF 职称材料

基于开源JVM的安全策略强制实施 被引量：2

7

作者 魏达 金英 +2 位作者 张晶 郑晓娟 李卓 《电子学报》 EI CAS CSCD 北大核心 2009年第B04期36-41,共6页

非信任代码的安全执行是移动代码安全的重要问题之一.携带模型代码(Model Carrying Code)方法同时考虑了移动代码生产者和使用者对安全性的支持和需求,建立了以模型为中心的安全执行非信任代码的理论框架,其中安全策略的定义和强制实施... 非信任代码的安全执行是移动代码安全的重要问题之一.携带模型代码(Model Carrying Code)方法同时考虑了移动代码生产者和使用者对安全性的支持和需求,建立了以模型为中心的安全执行非信任代码的理论框架,其中安全策略的定义和强制实施是MCC方法的重要组成部分之一.本文针对已被广泛使用的Java移动代码,以开源JVM Kaffe和Linux操作系统为研究载体,提出了基于开源JVM的安全策略实施模型,并实现从安全策略定义到实施的整个过程.本文在安全策略规范描述,可强制实施的扩展有限自动机(EFSA)模型和进程级监视以捕获系统调用等方面都做了有益的尝试,为完善MCC方法和实现安全策略的强制实施提供很好的方案. 展开更多

关键词 携带模型代码 安全策略描述和实施 开源JVM 进程级监视

在线阅读 下载PDF 职称材料

信息技术教师专业发展中的教师信念重建 被引量：13

8

作者 李岩 解月光 《现代教育技术》 CSSCI 2009年第12期12-15,共4页

在教师专业发展的研究中,教师信念、教师知识和教师能力是三个主要的维度。其中,教师信念在教师专业结构中位于较高层次,它统摄着教师专业结构中的其他方面。所以,研究信息技术教师信念对促进信息技术教师专业发展具有重要意义。文章通... 在教师专业发展的研究中,教师信念、教师知识和教师能力是三个主要的维度。其中,教师信念在教师专业结构中位于较高层次,它统摄着教师专业结构中的其他方面。所以,研究信息技术教师信念对促进信息技术教师专业发展具有重要意义。文章通过对教师专业发展与教师信念相关理论的论述,结合信息技术教师信念状况,提出重建信息技术教师信念的策略,即"应试教育的学校文化向素质教育的学校文化的变革"、"将促进信息技术教师信念生成与转变作为教师教育的重要目标"和"信息技术教师应积极在实践中进行教学反思"。 展开更多

关键词 信息技术教师 教师专业发展 教师信念 重建

在线阅读 下载PDF 职称材料

基于PI-演算的移动通信服务研究与建模 被引量：3

9

作者 康辉 曾莹莹 刘志勇 《通信学报》 EI CSCD 北大核心 2009年第4期11-16,共6页

在现行的移动通信业务中,为解决不同运营商提供的增值服务无法互通的问题,提出将移动通信过程定义为多个独立的Web服务,利用PI-演算理论对移动通信过程中的连接初始化、基站切换和移动通信进行建模,将其PI-演算表达式进行封装组合。采用... 在现行的移动通信业务中,为解决不同运营商提供的增值服务无法互通的问题,提出将移动通信过程定义为多个独立的Web服务,利用PI-演算理论对移动通信过程中的连接初始化、基站切换和移动通信进行建模,将其PI-演算表达式进行封装组合。采用PI-演算建模,可对移动通信服务进行优化,在设计阶段尽早发现问题,降低风险,消除不同服务商之间的重复业务,令其具有更好的重用性和互通性。 展开更多

关键词 PI-演算 移动通信服务 服务组合

在线阅读 下载PDF 职称材料

Seal演算与Boxed Ambient演算的关系分析 被引量：2

10

作者 郑晓娟 金英 金成植 《吉林大学学报（信息科学版）》 CAS 2005年第4期423-428,共6页

研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义。本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价。最后给出了Seal演算通信进程到... 研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义。本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价。最后给出了Seal演算通信进程到BoxedAmbient演算通信进程的一种结构化转换方法。 展开更多

关键词 SEAL演算 Ambient演算 通道 移动代码

在线阅读 下载PDF 职称材料

普通高中通用技术课程信息化资源利用的问题与对策研究 被引量：4

11

作者 邢志芳 解月光 《中小学信息技术教育》 CSSCI 2011年第5期72-73,共2页

信息化课程资源作为学生学习的工具，使学生的学习渠道更广阔、学习效率更高，也使学生更为广泛和有效地获取技术信息、理解技术原理、进行技术探究与技术设计。那么，如何在通用技术教学中合理、有效地利用信息化课程资源，就成为一个... 信息化课程资源作为学生学习的工具，使学生的学习渠道更广阔、学习效率更高，也使学生更为广泛和有效地获取技术信息、理解技术原理、进行技术探究与技术设计。那么，如何在通用技术教学中合理、有效地利用信息化课程资源，就成为一个十分重要的问题。本研究试图从资源利用保障、资源利用意识及资源利用效果等方面入手，通过问卷调查、访谈和课堂观察等方法进行剖析。 展开更多

关键词 技术信息 资源利用 课程信息化 普通高中 通用 信息化课程资源 学习渠道 学习效率

在线阅读 下载PDF 职称材料

基于语义的多Agent智能答疑系统 被引量：2

12

作者 刘志勇 张琳 徐曼 《长春工业大学学报》 CAS 2007年第2期217-219,共3页

论证了基于语义的多Agent智能答疑系统,学习者可以通过该系统提出问题,代理自动检查语法和语义错误。代理像真正的教师一样能够在教师离线状态下回答学生的大部分问题,随着问与答活动的进行,知识库会不断地丰富,最终达到智能回答绝大部... 论证了基于语义的多Agent智能答疑系统,学习者可以通过该系统提出问题,代理自动检查语法和语义错误。代理像真正的教师一样能够在教师离线状态下回答学生的大部分问题,随着问与答活动的进行,知识库会不断地丰富,最终达到智能回答绝大部分问题的状态。 展开更多

关键词 语法代理 语义代理 本体

在线阅读 下载PDF 职称材料

关于深入推进基础教育信息化的思考 被引量：11

13

作者 钟绍春 钟世军 +1 位作者 王伟 钟永江 《中小学信息技术教育》 2009年第10期17-19,共3页

随着信息技术在教育领域的深入应用、“校校通”工程的大面积铺开以及农村中小学现代远程教育工程的实施，我国基础教育信息化取得了前所未有的发展。然而，隐藏在成就背后的是教学实践中的各种问题和困惑，主要表现在以下方面。

关键词 基础教育信息化 现代远程教育工程 “校校通”工程 农村中小学 教育领域 信息技术 教学实践 面积

在线阅读 下载PDF 职称材料

从上网心理需求出发谈社会主义核心价值体系融入高校学生思想政治教育网络平台建设 被引量：9

14

作者 滕继波 毛静 《改革与开放》 2009年第10X期202-203,共2页

高校网络平台是社会主义核心价值体系融入高校思想政治教育的重要渠道。以社会主义核心价值体系为指导思想,从学生的上网心理需求出发,结合"激励因素——保健因素"等心理学理论,开展高校网络平台建设。

关键词 社会主义核心价值体系 心理需求 高校网络平台建设

在线阅读 下载PDF 职称材料

信息技术与课程整合的理论与实践研究 被引量：2

15

作者 钟绍春 《中小学信息技术教育》 北大核心 2006年第4期11-12,共2页

关键词 信息技术与课程整合 实践研究 信息技术环境 现代教育 理论与实践 重点课题 有效整合 课程教学 思想理论 教学活动

在线阅读 下载PDF 职称材料

信息技术教师教学模式决策及其分析 被引量：2

16

作者 解月光 《中小学信息技术教育》 北大核心 2008年第6期26-28,共3页

要了解信息技术课程实施的状况和特征，就必须关注信息技术教师在课程实施过程中的表现，并且从信息技术教师的课程决策出发，重点考查教师做了什么，不同的教师为什么有不同的表现，哪些因素影响到他们这样的表现。教师各种各样的课程... 要了解信息技术课程实施的状况和特征，就必须关注信息技术教师在课程实施过程中的表现，并且从信息技术教师的课程决策出发，重点考查教师做了什么，不同的教师为什么有不同的表现，哪些因素影响到他们这样的表现。教师各种各样的课程决策主要体现在备课或教学设计和课堂运作阶段。在备课阶段，应该特别关注教师在内容处理、资源选择等方面的决策过程和结果。在课堂运作阶段，要特别关注课堂教学过程的模式、方法以及教师在学生学习评价方面的决策。 展开更多

关键词 信息技术教师 课程决策 教学模式 课堂教学过程 课程实施 实施过程 因素影响 教学设计

在线阅读 下载PDF 职称材料

贫困地区农村中小学信息技术教育开展策略探讨——吉林省个案调查分析 被引量：2

17

作者 姜玉莲 解月光 满海峰 《中小学信息技术教育》 2004年第12期49-51,共3页

关键词 信息技术教育 农村中小学 “十五”规划课题 舒兰 教育科学 农村教育 中国 经济发展 吉林 策略探讨

在线阅读 下载PDF 职称材料

Seal演算的信息流分析系统

18

作者 郑晓娟 金英 金成植 《吉林大学学报（信息科学版）》 CAS 2006年第2期185-191,共7页

为完善Seal演算的自身性质及形式化证明移动代码的安全性,提出了一个信息流分析系统,该系统经过seal进程的静态分析,检查出一些比较重要的语义错误,通过发送和接收的同步来实现通信和代码移动,具体分为同层、父到子、子到父3种模式。重... 为完善Seal演算的自身性质及形式化证明移动代码的安全性,提出了一个信息流分析系统,该系统经过seal进程的静态分析,检查出一些比较重要的语义错误,通过发送和接收的同步来实现通信和代码移动,具体分为同层、父到子、子到父3种模式。重点分析了父子之间的代码移动及类型相容。该系统为Seal演算的自身性质的完善及移动代码的安全性判断提供了理论依据。 展开更多

关键词 SEAL演算 类型 移动代码 环境 自由名

在线阅读 下载PDF 职称材料

Linux下Apache+MySQL+PHP的配置

19

作者 雷静 杨斌 《中小学信息技术教育》 北大核心 2005年第12期64-65,共2页

关键词 LINUX系统 配置 数据库服务器 Microsoft Windows MYSQL WEB服务器 FTP服务器 脚本语言 Web应用

在线阅读 下载PDF 职称材料

高校网络文明环境培育方案

20

作者 滕继波 毛静 贾冰 《改革与开放》 2009年第11X期249-250,共2页

高校网络文明的培育需要科学的指导。在明确培育的指导思想的基础上,确立培育目标,并目标分解为网络主体文明、网络内容文明、网络使用文明三个具体的目标。分周期、分阶段,三支队伍各负其责开展高校网络文明培育。

关键词 高校网络文明环境 培育方案

在线阅读 下载PDF 职称材料