咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 5 篇 期刊文献
  • 2 篇 学位论文
  • 2 篇 会议

馆藏范围

  • 9 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 9 篇 工学
    • 9 篇 计算机科学与技术...
    • 8 篇 软件工程

主题

  • 9 篇 分划递推法
  • 2 篇 可重用部件库
  • 2 篇 程序转换
  • 2 篇 变换
  • 2 篇 算法
  • 2 篇 归约
  • 2 篇 形式化推导
  • 2 篇 hanoi塔
  • 2 篇 egcl语言
  • 1 篇 radl语言
  • 1 篇 容错技术
  • 1 篇 程序设计
  • 1 篇 软件自动化
  • 1 篇 可靠性
  • 1 篇 抽象数据类型
  • 1 篇 ada
  • 1 篇 可重用部件
  • 1 篇 计算机算法
  • 1 篇 递推函数式
  • 1 篇 程序转换器

机构

  • 5 篇 江西师范大学
  • 2 篇 上海大学
  • 2 篇 井冈山学院
  • 1 篇 聊城大学
  • 1 篇 师范大学

作者

  • 3 篇 薛锦云
  • 2 篇 孙凌宇
  • 2 篇 冷明
  • 2 篇 杨庆红
  • 1 篇 刘润杰
  • 1 篇 sun ling-yu
  • 1 篇 leng ming
  • 1 篇 于浩
  • 1 篇 li yunqing （scho...
  • 1 篇 李欣
  • 1 篇 李云清
  • 1 篇 钟林辉

语言

  • 9 篇 中文
检索条件"主题词=分划递推法"
共 9 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
分划递推法及其应用
收藏
分享
引用
计算机工程与应用 2001年 第17期37卷 77-79,88页
作者： 李云清 江西师范大学计算机科学技术学院 南昌330027
分划递推法是一种新的算法设计技术。在分划递推法中使用逻辑符号和扩充的量词表示功能规约。分划是处理复杂问题的一般方法，而递推可用于循环不变式和算法设计开发。文中给出的三个实例呈现了使用分划递推法进行算法设计和开发的步骤... 详细信息
来源： 评论
分划递推法在Hanoi塔问题上的应用
收藏
分享
引用
广西科学院学报 2006年 第4期22卷 342-345,351页
作者： 孙凌宇 冷明 井冈山学院计算机科学系 江西吉安343009 上海大学计算机学院 上海200072
采用分划递推法通过功能归约变换,形式化推导和证明H ano i塔问题中圆盘的移动规律,从而推导出结构清晰、可读性好、效率高、占用存储空间与圆盘个数无关的非递归算法,算法比较分析地显示出形式化推导在获得高效和正确性的算法程序中的... 详细信息
来源： 评论
分划递推法在Hanoi塔问题上的应用
分划递推法在Hanoi塔问题上的应用
收藏
分享
引用
广西计算机学会2006年年会
作者： 孙凌宇 冷明 井冈山学院计算机科学系 上海大学计算机学院
采用分划递推法通过功能归约变换,形式化推导和证明Hanoi塔问题中圆盘的移动规律,从而推导出结构清晰、可读性好、效率高、占用存储空间与圆盘个数无关的非递归算法,算法比较分析地显示出形式化推导在获得高效和正确性的算法程序中的作... 详细信息
来源： 评论
基于分划递推法的计算机算法研究与运用分析
收藏
分享
引用
计算机产品与流通 2019年 第2期8卷 82-82页
作者： 于浩 聊城大学东昌学院
分划是将复杂的问题简单化,递推是进行循环不变式以及算法研究的重要组成部分,将分划与递推相互融入,建立一种新的计算机算法,通过举例进一步阐释了分划递推法在实际题目中的运用,有助于对分划递推法进行更好的研究。
来源： 评论
提高ADA可重用程序部件可靠性的两种方法
收藏
分享
引用
计算机工程 2001年 第6期27卷 9-10页
作者： 杨庆红 薛锦云 江西师范大学计算机科学与技术学院 南昌330027
建立可重用程序部件库是克服“软件危机”，提高软件生产效率的有效途径之一。主要从避错方法和容错技术两方面入手，详细阐述了提高ADA可重用程序部件可靠性的方法。
来源： 评论
RADL-EGCL程序转换器的设计与实现
RADL-EGCL程序转换器的设计与实现
收藏
分享
引用
作者： 钟林辉 江西师范大学
学位级别：硕士
该文以薛云教授当前主持的国家自然科学基金高科技探索项目和江西省跨世纪学术带头人项目为背景,对RADL(Recur Algorithm Description Language)算法描述语言进行了归纳和整理,考察了RADL语言与EGCL语言各自的语法和语义及它们之间的相... 详细信息
来源： 评论
ADL-GCL算法程序转换器的研究与实现
ADL-GCL算法程序转换器的研究与实现
收藏
分享
引用
作者： 刘润杰 江西师范大学
学位级别：硕士
该文以薛锦云教授提出的算法程序开发的分划递推法以及相关的理论为理论基础,对薛锦云教授提出ADL(Algorthm Descriptipn Language)算法描述语言进行了系统的归纳和整理,得到了ADL语言的形式规范(BNF及其指称语义).使ADL语言更加规范化... 详细信息
来源： 评论
EGCL-Java程序转换器的研究与实现
收藏
分享
引用
江西师范大学学报（自然科学版） 2001年 第2期25卷 137-143页
作者： 李欣 薛锦云 江西师范大学计算机科学与技术学院 江西南昌330027
以分划递推法等理论为基础 ,客观地分析了软件开发的全过程 ,详细阐述了将抽象程度较高的EGCL语言程序自动转换成可执行的高级Java语言程序的关键技术 ,并开发了一套基于Java语言的可重用类库用于支持程序的转换 ,得到了满意的结果 .
来源： 评论
可重用程序部件库中的两个基本问题
可重用程序部件库中的两个基本问题
收藏
分享
引用
1998年华人理论计算机科学年会
作者： 杨庆红 薛锦云 师范大学计算机软件研究所(南昌)
在可重用部件库研究中存在两个基本问题，即什么是基本的可重用部件，有了这些基本的部件就可以构造出其它可重用部件或应用系统;怎样提高各部件的可靠性，使用户可以放心地使用这些部件。这是建立可重用部件库时必须解决但尚未很好解... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件