期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
PAR平台从规约出发的算法推导与自动生成 被引量:5
1
作者 王昌晶 薛锦云 《计算机工程与应用》 CSCD 北大核心 2007年第2期41-42,59,共3页
简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。这显著地提高了算... 简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。这显著地提高了算法程序的正确性和开发效率,也有助于深刻地理解算法设计思想。 展开更多
关键词 par方法 par平台 规约 形式推导
在线阅读 下载PDF
组合优化问题简约与算法推演 被引量:5
2
作者 郑宇军 薛锦云 凌海风 《软件学报》 EI CSCD 北大核心 2011年第9期1985-1993,共9页
针对组合优化类问题定义了代数结构模型,从问题的形式规约出发,通过一阶谓词和量词演算将问题逐步简约为搜索空间更小、复杂度更低的子问题,根据问题的简约关系推导出求解算法,并在构造算法的同时也证明了算法的正确性.开发了原型系统... 针对组合优化类问题定义了代数结构模型,从问题的形式规约出发,通过一阶谓词和量词演算将问题逐步简约为搜索空间更小、复杂度更低的子问题,根据问题的简约关系推导出求解算法,并在构造算法的同时也证明了算法的正确性.开发了原型系统以支持上述形式化的开发过程.这种算法推演技术能够显著提高算法程序设计的自动化水平,而问题简约的思想也更有利于对算法本质特征的理解. 展开更多
关键词 组合优化问题 问题简约 算法推演 par(partition-and-recur) 正确性证明
在线阅读 下载PDF
算法及其时间复杂度可同步形式化推导的方法 被引量:3
3
作者 王昌晶 薛锦云 《计算机应用研究》 CSCD 北大核心 2008年第3期681-683,共3页
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到。这为开发并验证高效率的算法开辟了一... 对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到。这为开发并验证高效率的算法开辟了一条新途径。 展开更多
关键词 分划递推方法 形式化推导 时间复杂度 递归方程式
在线阅读 下载PDF
教育研究中的田野研究:研究方法还是方法论 被引量:6
4
作者 段会冬 《四川师范大学学报(社会科学版)》 CSSCI 北大核心 2017年第4期28-35,共8页
田野研究到底算是一种研究方法,还是属于研究的方法论,不但在学生那里存在困惑,在研究者那里同样有着疑虑。研究方法强调的是资料收集与分析技术,并不会对整个研究的原则思之再三,且彼此间具有清晰的边界。而田野研究下辖多种研究方法,... 田野研究到底算是一种研究方法,还是属于研究的方法论,不但在学生那里存在困惑,在研究者那里同样有着疑虑。研究方法强调的是资料收集与分析技术,并不会对整个研究的原则思之再三,且彼此间具有清晰的边界。而田野研究下辖多种研究方法,而且它强调的不仅是技术,更强调遵循整体性、长期性等研究原则,因此田野研究与研究方法之间存在明显的区别。人类学研究从书斋走向田野的转变是在实证主义方法论框架下完成的,而20世纪60年代开始对田野研究科学性的反思又体现了田野研究的基础、开始了从实证主义方法论向人文主义方法论过渡,这两次转变都表明田野研究与方法论也不可等同。要给田野研究一个合理的定位,需要打破"研究方法-方法论"的二元认识结构。田野研究属于"研究方法"和"方法论"之外的"路径范式",这一定位可以帮助教育学研究逐渐形成"范式思维",当然前提是我们不能将田野研究太过"神化"。 展开更多
关键词 教育研究 田野研究 研究方法 方法论 路径范式
在线阅读 下载PDF
战国初期魏国的经济改革再探讨 被引量:3
5
作者 李亚光 《农业考古》 北大核心 2010年第1期41-44,共4页
in the Early Warring states period,"Jin-di-li-zhi-jiao"(Teaching of utilizing land capability to the utmost)and the approach of par purchase were an important content of Marquis Weiwen’s Reform in the initi... in the Early Warring states period,"Jin-di-li-zhi-jiao"(Teaching of utilizing land capability to the utmost)and the approach of par purchase were an important content of Marquis Weiwen’s Reform in the initial stage of the Warring States.This reform,as a matter of fact,was to push ahead with farming measures under the State’s direction,and meanwhile to practice a policy that protected the peasants’fundamental interests to stabilize the grain price. 展开更多
关键词 经济改革 春秋战国 春秋时期 学术界
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部