搜索筛选:
搜索耗时0.7259秒,为你在为你在102,267,441篇论文里面共找到 171 篇相符的论文内容
发布年度:
[期刊论文] 作者：游珍,薛锦云,
来源：计算机研究与发展 年份：2008
关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijk...
[期刊论文] 作者：杨淑群, 吴文兵, 丁树良,
来源：吉林化工学院学报 年份：2005
Dijkstra-Gries提出了五种循环不变式的开发技术,薛锦云教授另外又给循环不变式作为迭代算子的定义,本文从集合论的角度来看循环不变式....
[学位论文] 作者：朱小征,,
来源：江西师范大学 年份：2016
本文指导老师薛锦云主持承担的国家自然科学...
[期刊论文] 作者：卢家兴,李云清,
来源：计算机与现代化 年份：2004
简述了薛锦云教授所创的PAR方法和组合游戏(Nim)之后,本文运用PAR方法详细推演出解决组合游戏中的一个典型例子(Nim)的算法的数学模型.在此数学模型的基础之上,再次运用PAR方...
[期刊论文] 作者：邓笋根,王明文,
来源：江西师范大学学报：自然科学版 年份：2001
在基于薛锦云提出的PAR(Partition-and-Recursion)方法的思想上,通过并行划分数据空间--自然地称之为并行分划递推,给出了在PRAM和超立方互联网络模型上的并行最大和最优算法...
[学位论文] 作者：张少平,
来源：江西师范大学 年份：2003
薛锦云教授对算法程序进行深入地研究，提出了一种基于分划和递推关系的算法程序设计形式化...
[学位论文] 作者：汤沁,
来源：江西师范大学 年份：2013
当前由江西师范大学省高性能重点实验室薛锦云教授团队研发的通用高可靠软件开发平台(PAR平台)将关系代数嵌入抽...
[学位论文] 作者：薛慧琦,
来源：江西师范大学 年份：2005
薛锦云教授率领软件形式化和自动化课题组在...
[学位论文] 作者：夏鲸,,
来源：江西师范大学 年份：2004
本文指导老师薛锦云教授主持承担的国家自然科学基金重大国际合作项目“若干软件新...
[学位论文] 作者：胡玉贵,
来源：江西师范大学 年份：2005
由薛锦云教授在多项国家级课题的资助下,创造性地提出了一种简单实用的算法设计和能证明的形式化方法—PAR方法,该方法含算法设计语Radl,抽象程序设计语言Apla语言和相关程序...
[学位论文] 作者：左正康,
来源：江西师范大学 年份：2004
薛锦云教授在国家863和多项国家自然科学基金的...
[学位论文] 作者：康亮,
来源：江西师范大学 年份：2008
薛锦云教授在国家863和多项国家自然科学基金的资助下,创造性地提出了一种形式化开发方法——PAR方法。就是用数学与逻辑的方法来描述和验证软件,而PAR方法描述的程序又是经...
[学位论文] 作者：夏芸,,
来源： 年份：2006
PAR方法是薛锦云教授在国家863和多项国家自然科学基金的资助下，根据多年从事算法程序设计理论研究的成果，创造性地提出的一种新的形式化软件开发方法。该方法为有效克服“软件...
[学位论文] 作者：王武珍,,
来源： 年份：2005
江西师范大学薛锦云教授领衔的软件形式化和自动化课题组，为显著提高软件的可靠性和开发效率，历时...
[学位论文] 作者：周侃,
来源：江西师范大学 年份：2003
薛锦云教授在国家863和多项国家自然科学基金的资助下，根据多年从事算法程序设计理论研究的成果，提出了...
[期刊论文] 作者：薛锦云,
来源：江西师范大学学报：自然科学版 年份：1992
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。本文介绍了这一领域的研究现状,重点综述了作者近年来提出的复杂算法程序形式化技术,...
[期刊论文] 作者：薛锦云,
来源：江西师范大学学报：自然科学版 年份：1991
本文重点论述形式推导这类算法所需要的概念、方法和数据表示形式,其次是算法的卫式命令实现及算法本身的特性。...
[期刊论文] 作者：薛锦云,
来源：云南大学学报：自然科学版 年份：1997
从哲学理论和算法程序开发实践两方面阐述了以演绎推理为基础的算法程序形式化开发的作用和固有局限性，指出排斥算法程序形式化和对形式化方法寄予不切实际的希望都是错误的，主......
[会议论文] 作者：薛锦云,
来源：’94全国理论计算机科学年会 年份：1994
...
[会议论文] 作者：薛锦云,
来源：第四次全国软件工程会议 年份：1991
...
相关搜索：
