化志章
- 作品数：20 被引量：60H指数：5
- 供职机构：江西师范大学计算机信息工程学院更多>>
- 发文基金：国家自然科学基金江西省教育厅科学技术研究项目江西省高等学校教学改革研究课题更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 数据结构实践教学体系的设计与实施被引量：8
- 2010年
- 数据结构是一门理论性与实践性都很强的课程,数据结构实践教学体系的建设对于学生实践能力和创新能力的培养起着重要的作用。该文结合数据结构课程的特点,从实践内容的设计优化、教学模式和教学手段几个方面出发,探讨了数据结构实践体系的建设思路、建设过程和取得的主要成效。
- 揭安全李云清杨庆红化志章王岚
- 关键词：数据结构实践教学体系教学改革教学模式
- UNITY与典型程序设计模型的比较
- 2003年
- UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力。该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别,并给出它们对应的等价UNITY程序转换,最后,介绍Seuss对完善UNITY的新策略。
- 肖美华薛锦云化志章
- 关键词：程序设计模型
- 项目教学模式指导的“数据结构与算法”教学改革被引量：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环境 。
- 揭安全化志章薛锦云
- 关键词：虚拟实验环境计算机辅助教学
- 软件模型检测新技术研究被引量：3
- 2007年
- 软件模型检测以其潜在的商业价值一直为学术界和工业界关注.本文通过剖析模型检测工具SLAM,探讨软件模型检测的机理、方法及若干核心技术,并总结出软件模型检测的一些新策略.
- 化志章吴传孙揭安全薛锦云
- 关键词：软件模型检测SLAM
