饶红萍
作品数： 3被引量：13H指数：2
  • 所属机构:南昌航空大学
  • 所在地区:江西省 南昌市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

薛锦云
作品数：137被引量：557H指数：13
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
杨庆红
作品数：41被引量：132H指数：8
供职机构：江西师范大学计算机信息工程学院
研究主题：循环不变式 程序设计 教学改革 递归问题 递推关系
作品列表
基于PAR方法的程序设计ICAI实验系统的研究与实现
科学的程序设计理论和方法是构造高质量程序设计教育软件的基础.薛锦云教授在国家863和多项国家自然科学基金课题的资助下,根据多年从事算法程序设计理论研究的成果,提出了一种简单、实用的设计和证明算法的形式化方法一PAR方法....
饶红萍
关键词：PAR方法递归问题
文献传递
Agent技术在程序设计智能教学系统中的应用被引量：11
2005年
讨论了Agent的相关概念及其通信机制,并将多代理技术运用到程序设计智能计算机辅助教学系统中,该系统能根据学生的认知水平和学习兴趣确定教学过程中采用的基本教学策略,从而实现个性化学习和智能化教学。
饶红萍杨庆红薛锦云
关键词：AGENT
基于复杂递归类问题的可重用程序模板研究
2007年
构建复杂递归类问题的可重用程序模板主要是为了提高学习者分析和解决类似问题的能力。文章分析了构建可重用程序模板的理由及其设计思想,并且深入地研究了复杂递归类问题的非递归算法,实现了部分复杂递归类问题的可重用程序模板;在求解同类型问题时,只需向可重用程序模板输入问题的相应参数,就可获得该类问题的实例,并且通过此模板自动推理产生程序设计的全过程。文章实现了既有问题又有解答的无限题库,为生成无限题库提供了技术支持和理论依据。
饶红萍
关键词：递归问题