您的位置: 专家智库 > >

化志章

作品数:20 被引量:60H指数:5
供职机构:江西师范大学计算机信息工程学院更多>>
发文基金:国家自然科学基金江西省教育厅科学技术研究项目江西省高等学校教学改革研究课题更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 16篇期刊文章
  • 3篇会议论文
  • 1篇学位论文

领域

  • 15篇自动化与计算...
  • 10篇文化科学

主题

  • 9篇教学
  • 5篇数据结构
  • 5篇教学改革
  • 4篇计算机
  • 4篇程序设计
  • 3篇课程
  • 3篇计算机程序
  • 3篇计算机程序设...
  • 3篇教学模式
  • 2篇递归
  • 2篇循环不变式
  • 2篇知识库
  • 2篇软件模型
  • 2篇软件模型检测
  • 2篇实践教学
  • 2篇实践教学体系
  • 2篇数据结构课程
  • 2篇助教
  • 2篇教学体系
  • 2篇结构课程

机构

  • 18篇江西师范大学
  • 2篇中国科学院软...
  • 2篇江西省高性能...

作者

  • 20篇化志章
  • 15篇揭安全
  • 9篇薛锦云
  • 7篇李云清
  • 6篇杨庆红
  • 6篇王岚
  • 1篇甘登文
  • 1篇叶继华
  • 1篇肖美华
  • 1篇万中英
  • 1篇吴传孙
  • 1篇石海鹤
  • 1篇钟林辉
  • 1篇万文涛
  • 1篇江爱文
  • 1篇杜大威

传媒

  • 4篇计算机教育
  • 3篇计算机与现代...
  • 3篇微计算机信息
  • 2篇江西师范大学...
  • 1篇数据采集与处...
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇2004年全...
  • 1篇第二届全国高...
  • 1篇第二届中国计...

年份

  • 1篇2023
  • 1篇2022
  • 1篇2013
  • 3篇2010
  • 1篇2009
  • 4篇2008
  • 3篇2007
  • 1篇2004
  • 1篇2003
  • 3篇2002
  • 1篇2000
20 条 记 录,以下是 1-10
排序方式:
数据结构实践教学体系的设计与实施被引量:8
2010年
数据结构是一门理论性与实践性都很强的课程,数据结构实践教学体系的建设对于学生实践能力和创新能力的培养起着重要的作用。该文结合数据结构课程的特点,从实践内容的设计优化、教学模式和教学手段几个方面出发,探讨了数据结构实践体系的建设思路、建设过程和取得的主要成效。
揭安全李云清杨庆红化志章王岚
关键词:数据结构实践教学体系教学改革教学模式
UNITY与典型程序设计模型的比较
2003年
UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力。该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别,并给出它们对应的等价UNITY程序转换,最后,介绍Seuss对完善UNITY的新策略。
肖美华薛锦云化志章
关键词:程序设计模型
SLAM中的软件模型检测技术研究
随着计算机软硬件系统日趋复杂,提高系统可靠性的验证技术日益受到重视.模型检测(modelchecking)以自动化程度高,实用性强而引人注目,并成功地应用于芯片设计、数字电路、通信协议、控制系统等诸多领域.如Intel,...
化志章薛锦云
关键词:软件模型检测SLAM
文献传递
项目教学模式指导的“数据结构与算法”教学改革被引量:8
2008年
“数据结构与算法”是计算机科学技术专业重要的专业课程,该课程的教与学都有相当的难度。近年来,我们在该课程中引入了项目式教学方法,通过精心设计项目,以软件工程思想指导项目式教学过程,将师范教师教育与专业教育相融合等一系列教学改革,取得了显著的教学成效。本文介绍了我院的这些经验。
揭安全李云清杨庆红化志章王岚
关键词:数据结构与算法教学改革教学模式
基于RBAC的高校办公自动化系统设计被引量:14
2009年
分析了基于角色的访问控制的工作原理,提出了一种基于Web应用的RBAC权限控制有效实现方法,并将其应用于高校办公自动化系统设计。介绍了OA系统的设计与配置方法,重点阐述了基于Web的RBAC控制模型在OA系统中的实现方法。基于该模式开发的系统具有较高的安全性与稳定性,很好地满足了高等学校办公自动化的需求。
揭安全化志章薛锦云李云清
关键词:角色权限访问控制办公自动化
形式推导支持的递归程序向非递归程序的转换被引量:5
2007年
本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法。树和图的两个算法实例说明了本方法的有效性。
化志章揭安全李云清薛锦云
关键词:PAR方法
计算机程序设计ICAI教学决策实验系统研究
该文以国家自然科学基金和国家教委教育苦新项目为背景,研究任务主要集中在通过研究各种认知理论,结合薛锦云对程序设计的若干新观点,实现程序设计ICAI模型中的教学决策部分.作者基于建构主义等认知理论以及程序设计知识的自身特点...
化志章
关键词:程序设计ICAIPAR方法教学决策知识库
文献传递
树非递归遍历统一的新解法及其形式证明被引量:1
2010年
提出树遍历统一的新解法,使其非递归算法像递归算法一样简单.首先以后序遍历为例,基于结点状态标记和遍历规则提取,从遍历定义导出遍历的递推公式,由此机械获得非递归算法和循环不变式,并用形式化方法证明其正确性.之后按不同遍历定义变换公式参数,获得二叉树前序、中序和K叉树前序、后序的递推公式,所得算法比传统算法更简洁直观,表明本解法的有效性和通用性.
化志章杨庆红揭安全
关键词:非递归算法循环不变式
计算机程序设计教学辅助平台设计初探被引量:3
2002年
吸收了几何实验室教学智能平台的一些先进思想 ,将之应用于计算机程序设计 ,提出以研究、提炼程序设计知识元件为基础 ,研发计算机程序设计教学辅助平台的设想。并对平台的内容、特色及框架作了初步探讨 ,对实现的可行性也作了简单的分析。
化志章揭安全甘登文
关键词:计算机程序设计教学辅助平台计算机辅助教学
接口技术课虚拟实验环境的设计与实现被引量:5
2002年
利用软件技术构建硬件虚拟实验环境 (VEE)是提高计算机硬件教学及实验效率、降低实验成本的一条有效途径。本文以接口技术课CAI为例 ,首先介绍了VEE的概念及特征 ,总结出VEE的一些开发原则及开发策略。并最终以接口技术CAI课件的形式部分实现了VEE环境 。
揭安全化志章薛锦云
关键词:虚拟实验环境计算机辅助教学
共2页<12>
聚类工具0